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 LOC="LOC";
  12   public static final String DELTA = "delta";
  13   State state;
  14   FlowDownCheck flowDownChecker;
  15   Hashtable<TempDescriptor, Location> td2Loc;
  16
  17   public SSJavaAnalysis(State state) {
  18     this.state = state;
  19     this.td2Loc = new Hashtable<TempDescriptor, Location>();
  20   }
  21
  22   public void doCheck() {
  23     doFlowDownCheck();
  24     doLoopCheck();
  25   }
  26
  27   public void doFlowDownCheck() {
  28     flowDownChecker = new FlowDownCheck(state);
  29     flowDownChecker.flowDownCheck();
  30   }
  31
  32   public void doLoopCheck() {
  33     DefinitelyWrittenCheck checker = new DefinitelyWrittenCheck(state);
  34     checker.definitelyWrittenCheck();
  35   }
  36
  37 }