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 doCheck() {
  15     doFlowDownCheck();
  16     doLoopCheck();
  17   }
  18
  19   public void doFlowDownCheck() {
  20     FlowDownCheck checker = new FlowDownCheck(state);
  21     checker.flowDownCheck();
  22   }
  23
  24   public void doLoopCheck() {
  25     DefinitelyWrittenCheck checker = new DefinitelyWrittenCheck(state);
  26     checker.definitelyWrittenCheck();
  27   }
  28
  29 }