From 9b9646154096af4b37d0e0c5c44c3fab90546c22 Mon Sep 17 00:00:00 2001
From: jjenista <jjenista>
Date: Thu, 5 Mar 2009 23:30:24 +0000
Subject: [PATCH] fiddling with debug util

---
 .../OwnershipAnalysis/OwnershipAnalysis.java  | 20 +++++++++++++------
 1 file changed, 14 insertions(+), 6 deletions(-)

diff --git a/Robust/src/Analysis/OwnershipAnalysis/OwnershipAnalysis.java b/Robust/src/Analysis/OwnershipAnalysis/OwnershipAnalysis.java
index 7d6670a8..650f29b4 100644
--- a/Robust/src/Analysis/OwnershipAnalysis/OwnershipAnalysis.java
+++ b/Robust/src/Analysis/OwnershipAnalysis/OwnershipAnalysis.java
@@ -562,9 +562,11 @@ public class OwnershipAnalysis {
                            returnNodesToCombineForCompleteOwnershipGraph,
                            og);
 
-
-      //debugSnapshot(og,fn);
-
+      /*
+      if( mc.getDescriptor().getSymbol().equals( "addFlightPlan" ) ) {
+	debugSnapshot(og,fn);
+      }
+      */
 
 
       // if the results of the new graph are different from
@@ -801,10 +803,14 @@ public class OwnershipAnalysis {
   // successive captures of the analysis state
   int debugCounter        = 0;
   int numStartCountReport = 0;
-  int freqCountReport     = 1000;
-  int iterStartCapture    = 20000;
-  int numIterToCapture    = 400;
+  int freqCountReport     = 1;
+  int iterStartCapture    = 0;
+  int numIterToCapture    = 500;
   void debugSnapshot(OwnershipGraph og, FlatNode fn) {
+    if( debugCounter > numStartCountReport + numIterToCapture ) {
+      return;
+    }
+
     ++debugCounter;
     if( debugCounter > numStartCountReport &&
         debugCounter % freqCountReport == 0 ) {
@@ -823,10 +829,12 @@ public class OwnershipAnalysis {
 	System.exit(0);
       }
     }
+    /*
     if( debugCounter == iterStartCapture + numIterToCapture ) {
       System.out.println("Stopping analysis after debug captures.");
       System.exit(0);
     }
+    */
   }
 
 
-- 
2.34.1