Robust/src/Analysis/SSJava/SSJavaAnalysis.java

   1 package Analysis.SSJava;
   2
   3 import java.util.Hashtable;
   4
   5 import IR.State;
   6 import IR.Flat.TempDescriptor;
   7 import IR.Tree.TreeNode;
   8
   9 public class SSJavaAnalysis {
  10
  11   public static final String DELTA = "delta";
  12   State state;
  13   FlowDownCheck flowDownChecker;
  14   Hashtable<TempDescriptor, Location> td2Loc;
  15
  16   public SSJavaAnalysis(State state) {
  17     this.state = state;
  18     this.td2Loc = new Hashtable<TempDescriptor, Location>();
  19   }
  20
  21   public void doCheck() {
  22     doFlowDownCheck();
  23     doLoopCheck();
  24   }
  25
  26   public void doFlowDownCheck() {
  27     flowDownChecker = new FlowDownCheck(state);
  28     flowDownChecker.flowDownCheck();
  29   }
  30
  31   public void doLoopCheck() {
  32     DefinitelyWrittenCheck checker = new DefinitelyWrittenCheck(state);
  33     checker.definitelyWrittenCheck();
  34   }
  35
  36 }