1 2 20 21 22 23 package soot.options; 24 import java.util.*; 25 26 27 public class ShimpleOptions 28 { 29 private Map options; 30 31 public ShimpleOptions( Map options ) { 32 this.options = options; 33 } 34 35 41 public boolean enabled() { 42 return soot.PhaseOptions.getBoolean( options, "enabled" ); 43 } 44 45 53 public boolean node_elim_opt() { 54 return soot.PhaseOptions.getBoolean( options, "node-elim-opt" ); 55 } 56 57 68 public boolean standard_local_names() { 69 return soot.PhaseOptions.getBoolean( options, "standard-local-names" ); 70 } 71 72 79 public boolean extended() { 80 return soot.PhaseOptions.getBoolean( options, "extended" ); 81 } 82 83 92 public boolean debug() { 93 return soot.PhaseOptions.getBoolean( options, "debug" ); 94 } 95 96 } 97 | Popular Tags |