disjointness for Java has all planned features

[IRC.git] / Robust / src / IR / Tree / CreateObjectNode.java

diff --git a/Robust/src/IR/Tree/CreateObjectNode.java b/Robust/src/IR/Tree/CreateObjectNode.java
index 5379b6f50fa514a0d13bd431614200839d667fc0..dd1d57cac4954cbeb45ac514ba0d02a9690ca2d5 100644 (file)
--- a/Robust/src/IR/Tree/CreateObjectNode.java
+++ b/Robust/src/IR/Tree/CreateObjectNode.java
@@ -9,21 +9,21 @@ public class CreateObjectNode extends ExpressionNode {
   MethodDescriptor md;
   FlagEffects fe;
   boolean isglobal;
-  boolean isdisjoint;  
+  String disjointId;
 
-  public CreateObjectNode(TypeDescriptor type, boolean isglobal, boolean isdisjoint) {
+  public CreateObjectNode(TypeDescriptor type, boolean isglobal, String disjointId) {
     td=type;
     argumentlist=new Vector();
     this.isglobal=isglobal;
-    this.isdisjoint=isdisjoint;
+    this.disjointId=disjointId;
   }
 
   public boolean isGlobal() {
     return isglobal;
   }
 
-  public boolean isDisjoint() {
-    return isdisjoint;
+  public String getDisjointId() {
+    return disjointId;
   }
 
   public void addFlagEffects(FlagEffects fe) {