changed treenode tag to blockstatementnode tag

diff --git a/Robust/src/Analysis/SSJava/ImplicitTuple.java b/Robust/src/Analysis/SSJava/ImplicitTuple.java
index 60a3cb3b4726e149256b1a4f9bdb1a3ba573138d..292d404ee7271a7e2d65450dbfefc926735a7ccb 100644 (file)
--- a/Robust/src/Analysis/SSJava/ImplicitTuple.java
+++ b/Robust/src/Analysis/SSJava/ImplicitTuple.java
@@ -1,25 +1,22 @@
 package Analysis.SSJava;
 
-import IR.Tree.TreeNode;
+import IR.Tree.BlockStatementNode;
 
 //contains a varID and what branch that var has implicit flow on
-public class ImplicitTuple {
-  private VarID var;
-  private TreeNode branchID;  // interim fixes
+public class ImplicitTuple{
+    private VarID var;
+    private BlockStatementNode branchID;
 
-  // interim fixes
-  public ImplicitTuple(VarID var, TreeNode branchID) {
-    this.var = var;
-    this.branchID = branchID;
-  }
+    public ImplicitTuple(VarID var, BlockStatementNode branchID){
+       this.var = var;
+       this.branchID = branchID;
+    }
 
-  public VarID getVar() {
-    return var;
-  }
-
-  public boolean isFromBranch(TreeNode ln) {
-    // interim fixes
-    return true;
-  }
+    public VarID getVar(){
+       return var;
+    }
 
+    public boolean isFromBranch(BlockStatementNode branchID){
+       return this.branchID.equals(branchID);
+    }
 }
\ No newline at end of file