From ed6b19514be17a5d5e3e687f9b930d6bc58501d7 Mon Sep 17 00:00:00 2001
From: jjenista <jjenista>
Date: Tue, 9 Sep 2008 18:02:34 +0000
Subject: [PATCH] capture some debugging code

---
 .../OwnershipAnalysis/OwnershipAnalysis.java  | 20 ++++++++++++++++++-
 1 file changed, 19 insertions(+), 1 deletion(-)

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
-- 
2.34.1