public soot.PhaseOptions soot_PhaseOptions() { if (instance_soot_PhaseOptions == null) { synchronized (this) { if (instance_soot_PhaseOptions == null) instance_soot_PhaseOptions = new soot.PhaseOptions(g); } } return instance_soot_PhaseOptions; } protected void release_soot_PhaseOptions() {
public soot.PhaseOptions soot_PhaseOptions() { if( instance_soot_PhaseOptions == null ) instance_soot_PhaseOptions = new soot.PhaseOptions( g ); return instance_soot_PhaseOptions; }
public soot.PhaseOptions soot_PhaseOptions() { if( instance_soot_PhaseOptions == null ) instance_soot_PhaseOptions = new soot.PhaseOptions( g ); return instance_soot_PhaseOptions; }