X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=Robust%2Fsrc%2FAnalysis%2FSSJava%2FGlobalFlowNode.java;h=5b7cfb07be589fc3801281f62d19b6dcce52c969;hb=e993e72e1d2bfe7921c32573245ad85781dffba3;hp=3f5c72d1ed4c90724deec7c7409070dd9c24c53a;hpb=76263fb08dca40e3c50ec9403ff4ddd02c35bfe1;p=IRC.git

diff --git a/Robust/src/Analysis/SSJava/GlobalFlowNode.java b/Robust/src/Analysis/SSJava/GlobalFlowNode.java
index 3f5c72d1..5b7cfb07 100644
--- a/Robust/src/Analysis/SSJava/GlobalFlowNode.java
+++ b/Robust/src/Analysis/SSJava/GlobalFlowNode.java
@@ -6,12 +6,19 @@ public class GlobalFlowNode {
 
   NTuple<Location> locTuple;
   CompositeLocation compLoc;
+  boolean isParamNodeWithIncomingFlows;
 
   public GlobalFlowNode(NTuple<Location> in) {
     locTuple = in;
-    if (in.size() == 0) {
-      throw new Error();
-    }
+    isParamNodeWithIncomingFlows = false;
+  }
+
+  public void setParamNodeWithIncomingFlows(boolean in) {
+    isParamNodeWithIncomingFlows = in;
+  }
+
+  public boolean isParamNodeWithIncomingFlows() {
+    return isParamNodeWithIncomingFlows;
   }
 
   public int hashCode() {