From: david <david>
Date: Fri, 21 Oct 2011 00:43:18 +0000 (+0000)
Subject: changed treenode tag to blockstatementnode tag
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=09d8d67e4290095a2ef8ad1f31c92b703c0459c4;p=IRC.git

changed treenode tag to blockstatementnode tag
---

diff --git a/Robust/src/Analysis/SSJava/ImplicitTuple.java b/Robust/src/Analysis/SSJava/ImplicitTuple.java
index 60a3cb3b..292d404e 100644
--- 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