changes: make location an extension of type descriptor and have an additional mapping...

[IRC.git] / Robust / src / Analysis / SSJava / SSJavaAnalysis.java

diff --git a/Robust/src/Analysis/SSJava/SSJavaAnalysis.java b/Robust/src/Analysis/SSJava/SSJavaAnalysis.java
index 05796ea43357f94a371416696801b2f07b78577d..6206b147788cf4ec443d96023807b4fe8dc87cfe 100644 (file)
--- a/Robust/src/Analysis/SSJava/SSJavaAnalysis.java
+++ b/Robust/src/Analysis/SSJava/SSJavaAnalysis.java
@@ -1,14 +1,21 @@
 package Analysis.SSJava;
 
+import java.util.Hashtable;
+
 import IR.State;
+import IR.Flat.TempDescriptor;
+import IR.Tree.TreeNode;
 
 public class SSJavaAnalysis {
 
   public static final String DELTA = "delta";
   State state;
+  FlowDownCheck flowDownChecker;
+  Hashtable<TempDescriptor, Location> td2Loc;
 
   public SSJavaAnalysis(State state) {
     this.state = state;
+    this.td2Loc = new Hashtable<TempDescriptor, Location>();
   }
 
   public void doCheck() {
@@ -17,8 +24,8 @@ public class SSJavaAnalysis {
   }
 
   public void doFlowDownCheck() {
-    FlowDownCheck checker = new FlowDownCheck(state);
-    checker.flowDownCheck();
+    flowDownChecker = new FlowDownCheck(state);
+    flowDownChecker.flowDownCheck();
   }
 
   public void doLoopCheck() {