Robust/src/Analysis/SSJava/SSJavaAnalysis.java

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