Break aging into smaller procedures and improve graphing for method call work.

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

diff --git a/Robust/src/Analysis/OwnershipAnalysis/OwnershipAnalysis.java b/Robust/src/Analysis/OwnershipAnalysis/OwnershipAnalysis.java
index a7dfd223138f57ed3c1c690c189f582b3db1ffd3..016929e88a0d8c6695ca3652e7ec25d5aae2f775 100644 (file)
--- a/Robust/src/Analysis/OwnershipAnalysis/OwnershipAnalysis.java
+++ b/Robust/src/Analysis/OwnershipAnalysis/OwnershipAnalysis.java
@@ -280,7 +280,7 @@ public class OwnershipAnalysis {
            if( !og.equals( ogPrev ) ) {
                mapDescriptorToCompleteOwnershipGraph.put( d, og );
 
-               og.writeGraph( d, true, true, false );
+               og.writeGraph( d, true, true, true, false );
 
                // only methods have dependents, tasks cannot
                // be invoked by any user program calls
@@ -532,6 +532,9 @@ public class OwnershipAnalysis {
     }
 
 
+    // this method should generate integers strictly greater than zero!
+    // special "shadow" regions are made from a heap region by negating
+    // the ID
     static public Integer generateUniqueHeapRegionNodeID() {
        ++uniqueIDcount;
        return new Integer( uniqueIDcount );