1 2 20 21 22 23 package soot.options; 24 import java.util.*; 25 26 27 public class AETOptions 28 { 29 private Map options; 30 31 public AETOptions( Map options ) { 32 this.options = options; 33 } 34 35 41 public boolean enabled() { 42 return soot.PhaseOptions.getBoolean( options, "enabled" ); 43 } 44 45 public static final int kind_optimistic = 1; 46 public static final int kind_pessimistic = 2; 47 53 public int kind() { 54 String s = soot.PhaseOptions.getString( options, "kind" ); 55 56 if( s.equalsIgnoreCase( "optimistic" ) ) 57 return kind_optimistic; 58 59 if( s.equalsIgnoreCase( "pessimistic" ) ) 60 return kind_pessimistic; 61 62 throw new RuntimeException ( "Invalid value "+s+" of phase option kind" ); 63 } 64 65 } 66 | Popular Tags |