1 2 20 21 22 23 package soot.options; 24 import java.util.*; 25 26 27 public class CGOptions 28 { 29 private Map options; 30 31 public CGOptions( Map options ) { 32 this.options = options; 33 } 34 35 41 public boolean enabled() { 42 return soot.PhaseOptions.getBoolean( options, "enabled" ); 43 } 44 45 59 public boolean safe_forname() { 60 return soot.PhaseOptions.getBoolean( options, "safe-forname" ); 61 } 62 63 76 public boolean safe_newinstance() { 77 return soot.PhaseOptions.getBoolean( options, "safe-newinstance" ); 78 } 79 80 90 public boolean verbose() { 91 return soot.PhaseOptions.getBoolean( options, "verbose" ); 92 } 93 94 110 public boolean all_reachable() { 111 return soot.PhaseOptions.getBoolean( options, "all-reachable" ); 112 } 113 114 123 public boolean implicit_entry() { 124 return soot.PhaseOptions.getBoolean( options, "implicit-entry" ); 125 } 126 127 141 public boolean trim_clinit() { 142 return soot.PhaseOptions.getBoolean( options, "trim-clinit" ); 143 } 144 145 154 public int jdkver() { 155 return soot.PhaseOptions.getInt( options, "jdkver" ); 156 } 157 158 } 159 | Popular Tags |