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   State state;
  10   HashSet toanalyze;
  11
  12   public SSJavaAnalysis(State state) {
  13     this.state = state;
  14   }
  15
  16   public void doCheck() {
  17     FlowDownCheck checker = new FlowDownCheck(state);
  18     checker.flowDownCheck();
  19     // doMoreAnalysis();
  20   }
  21
  22 }