X-Git-Url: http://plrg.eecs.uci.edu/git/?p=IRC.git;a=blobdiff_plain;f=Robust%2Fsrc%2FAnalysis%2FSSJava%2FFlowNode.java;h=0c83d7563af61d96fcaa78e7786821de74a3916c;hp=31a9ded33afec455c64623cadbdbd9e3b80ed1bf;hb=9d767c1f5cef3242ff67473368e5ad327c340bfa;hpb=8d750e51bc5fa6b54ed568859dd8a6a25ad9e4c4

diff --git a/Robust/src/Analysis/SSJava/FlowNode.java b/Robust/src/Analysis/SSJava/FlowNode.java
index 31a9ded3..0c83d756 100644
--- a/Robust/src/Analysis/SSJava/FlowNode.java
+++ b/Robust/src/Analysis/SSJava/FlowNode.java
@@ -28,6 +28,8 @@ public class FlowNode {
 
   private boolean isSkeleton;
 
+  private boolean isFormHolder = false;
+
   public boolean isIntermediate() {
     return isIntermediate;
   }
@@ -36,6 +38,14 @@ public class FlowNode {
     this.isIntermediate = isIntermediate;
   }
 
+  public void setFormHolder(boolean in) {
+    isFormHolder = in;
+  }
+
+  public boolean isFromHolder() {
+    return isFormHolder;
+  }
+
   public Set<FlowNode> getFieldNodeSet() {
     return fieldNodeSet;
   }