X-Git-Url: http://plrg.eecs.uci.edu/git/?p=IRC.git;a=blobdiff_plain;f=Robust%2Fsrc%2FAnalysis%2FSSJava%2FFlowNode.java;h=eb9c2a7e9a7a5fa581183e50e8a2fcd643812eca;hp=21a2e089be9da54397dd6729c0b5fec0431d513c;hb=031636263ce6e4b6f35f3d9162460eb0ef536c2a;hpb=f0aec2e998d39bd8474da2e98da70bbf7a4f5b15

diff --git a/Robust/src/Analysis/SSJava/FlowNode.java b/Robust/src/Analysis/SSJava/FlowNode.java
index 21a2e089..eb9c2a7e 100644
--- a/Robust/src/Analysis/SSJava/FlowNode.java
+++ b/Robust/src/Analysis/SSJava/FlowNode.java
@@ -18,6 +18,9 @@ public class FlowNode {
   // set true if this node is driven from a paramter
   private boolean isParameter;
 
+  // set true if this node stores a return value
+  private boolean isReturn;
+
   public Set<FlowNode> getFieldNodeSet() {
     return fieldNodeSet;
   }
@@ -63,6 +66,14 @@ public class FlowNode {
     return descTuple.get(descTuple.size() - 1);
   }
 
+  public boolean isReturn() {
+    return isReturn;
+  }
+
+  public void setReturn(boolean isReturn) {
+    this.isReturn = isReturn;
+  }
+
   public String toString() {
     String rtr = "[FlowNode]:";
     if (isParameter()) {