Robust/src/Analysis/SSJava/SSJavaAnalysis.java

   1 package Analysis.SSJava;
   2
   3 import java.util.HashSet;
   4
   5 import IR.State;
   6
   7 public class SSJavaAnalysis {
   8
   9   public static final String DELTA = "delta";
  10   State state;
  11   HashSet toanalyze;
  12
  13   public SSJavaAnalysis(State state) {
  14     this.state = state;
  15   }
  16
  17   public void doCheck() {
  18     FlowDownCheck checker = new FlowDownCheck(state);
  19     checker.flowDownCheck();
  20     // doMoreAnalysis();
  21   }
  22
  23 }