1 2 20 21 22 23 package soot.options; 24 import java.util.*; 25 26 27 public class PurityOptions 28 { 29 private Map options; 30 31 public PurityOptions( Map options ) { 32 this.options = options; 33 } 34 35 41 public boolean enabled() { 42 return soot.PhaseOptions.getBoolean( options, "enabled" ); 43 } 44 45 51 public boolean dump_summaries() { 52 return soot.PhaseOptions.getBoolean( options, "dump-summaries" ); 53 } 54 55 61 public boolean dump_cg() { 62 return soot.PhaseOptions.getBoolean( options, "dump-cg" ); 63 } 64 65 71 public boolean dump_intra() { 72 return soot.PhaseOptions.getBoolean( options, "dump-intra" ); 73 } 74 75 81 public boolean print() { 82 return soot.PhaseOptions.getBoolean( options, "print" ); 83 } 84 85 91 public boolean verbose() { 92 return soot.PhaseOptions.getBoolean( options, "verbose" ); 93 } 94 95 } 96 | Popular Tags |