From: jjenista <jjenista>
Date: Tue, 9 Sep 2008 18:02:34 +0000 (+0000)
Subject: capture some debugging code
X-Git-Tag: buildscript^6~30
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=ed6b19514be17a5d5e3e687f9b930d6bc58501d7;p=IRC.git

capture some debugging code
---

diff --git a/Robust/src/Analysis/OwnershipAnalysis/OwnershipAnalysis.java b/Robust/src/Analysis/OwnershipAnalysis/OwnershipAnalysis.java
index 6eceedfe..6078c166 100644
--- a/Robust/src/Analysis/OwnershipAnalysis/OwnershipAnalysis.java
+++ b/Robust/src/Analysis/OwnershipAnalysis/OwnershipAnalysis.java
@@ -457,6 +457,8 @@ public class OwnershipAnalysis {
     TempDescriptor rhs;
     FieldDescriptor fld;
 
+    //System.out.println("  "+fn.kind());
+
     // use node type to decide what alterations to make
     // to the ownership graph
     switch( fn.kind() ) {
@@ -580,7 +582,7 @@ public class OwnershipAnalysis {
 	}
       }
 
-      og = ogMergeOfAllPossibleCalleeResults;
+      og = ogMergeOfAllPossibleCalleeResults;      
       break;
 
     case FKind.FlatReturnNode:
@@ -595,10 +597,26 @@ public class OwnershipAnalysis {
       break;
     }
 
+
+    /*
+    ++x;
+    if( x > 10000 ) {
+      og.writeGraph( String.format("test%04d",x-10000)+fn, true, true, true, false );
+    }
+    if( x == 10050 ) {
+      System.exit( 0 );
+    }
+    */
+
+
     return og;
   }
 
 
+  //int x = 0;
+
+
+
   // this method should generate integers strictly greater than zero!
   // special "shadow" regions are made from a heap region by negating
   // the ID