disjointness for Java has all planned features

[IRC.git] / Robust / src / Analysis / OwnershipAnalysis / AllocationSite.java

diff --git a/Robust/src/Analysis/OwnershipAnalysis/AllocationSite.java b/Robust/src/Analysis/OwnershipAnalysis/AllocationSite.java
index 7829ea112c8f33870fa902c8b961149e0f661806..9ccece7b02bbfda72f8cc7e06405950d6b2fa946 100644 (file)
--- a/Robust/src/Analysis/OwnershipAnalysis/AllocationSite.java
+++ b/Robust/src/Analysis/OwnershipAnalysis/AllocationSite.java
@@ -28,7 +28,7 @@ public class AllocationSite {
   protected Vector<Integer> ithOldest;
   protected Integer summary;
   protected FlatNew flatNew;
-  protected boolean forceAnalyze;
+  protected String disjointId;
 
   public static final int AGE_notInThisSite = 100;
   public static final int AGE_in_I          = 101;
@@ -41,12 +41,12 @@ public class AllocationSite {
   public static final int SHADOWAGE_summary       = -103;
 
 
-  public AllocationSite(int allocationDepth, FlatNew flatNew, boolean forceAnalyze) {
+  public AllocationSite(int allocationDepth, FlatNew flatNew, String disjointId) {
     assert allocationDepth >= 1;
 
     this.allocationDepth = allocationDepth;
     this.flatNew         = flatNew;
-    this.forceAnalyze    = forceAnalyze;
+    this.disjointId      = disjointId;
 
     ithOldest = new Vector<Integer>(allocationDepth);
     id        = generateUniqueAllocationSiteID();
@@ -58,8 +58,8 @@ public class AllocationSite {
   }
 
 
-  public boolean doForceAnalyze() {
-    return forceAnalyze;
+  public String getDisjointId() {
+    return disjointId;
   }
 
 
@@ -182,4 +182,8 @@ public class AllocationSite {
   public String toStringVerbose() {
     return "allocSite" + id + " "+flatNew.getType().toPrettyString();
   }
+
+  public String toStringForDOT() {
+    return "disjoint "+disjointId+"\\n"+toString()+"\\n"+getType();
+  }
 }