From: jjenista <jjenista>
Date: Mon, 19 Oct 2009 17:31:05 +0000 (+0000)
Subject: little changes to keep, debugging removed
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=a07329b3d1c8196fc7503b25f0ad58bbe4c23640;p=IRC.git

little changes to keep, debugging removed
---

diff --git a/Robust/src/Analysis/OwnershipAnalysis/OwnershipAnalysis.java b/Robust/src/Analysis/OwnershipAnalysis/OwnershipAnalysis.java
index 87d53ba8..f7ff02f6 100644
--- a/Robust/src/Analysis/OwnershipAnalysis/OwnershipAnalysis.java
+++ b/Robust/src/Analysis/OwnershipAnalysis/OwnershipAnalysis.java
@@ -746,7 +746,6 @@ public class OwnershipAnalysis {
 	  mc.getDescriptor().getSymbol().equals( mcDescSymbolDebug ) ) {
 	debugSnapshot(og,fn);
       }
-     
 
 
       // if the results of the new graph are different from
diff --git a/Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java b/Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java
index cf17e071..4f8567f3 100644
--- a/Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java
+++ b/Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java
@@ -2249,7 +2249,6 @@ public class OwnershipGraph {
     Hashtable< Integer, Set<Vector> > edges_up_dr = new Hashtable< Integer, Set<Vector> >();
     Hashtable< Integer, Set<Vector> > edges_up_r  = new Hashtable< Integer, Set<Vector> >();
 
-
     // so again, with respect to some arg i...
     lnArgItr = paramIndex2ln.entrySet().iterator();
     while( lnArgItr.hasNext() ) {
@@ -2757,6 +2756,7 @@ public class OwnershipGraph {
     // in the caller graph
     Set      sCallee = ogCallee.id2hrn.entrySet();
     Iterator iCallee = sCallee.iterator();
+
     while( iCallee.hasNext() ) {
       Map.Entry      meCallee  = (Map.Entry)      iCallee.next();
       Integer        idCallee  = (Integer)        meCallee.getKey();
@@ -2884,6 +2884,7 @@ public class OwnershipGraph {
     }
 
 
+
     // return value may need to be assigned in caller
     TempDescriptor returnTemp = fc.getReturnTemp();
     if( returnTemp != null && !returnTemp.getType().isImmutable() ) {
@@ -2957,6 +2958,7 @@ public class OwnershipGraph {
     }
 
 
+    /*
     if( debugCallMap &&
 	mc.getDescriptor().getSymbol().equals( debugCaller ) &&
 	fm.getMethod().getSymbol().equals( debugCallee ) 
@@ -2973,7 +2975,7 @@ public class OwnershipGraph {
 		   true); // hide edge taints
       } catch( IOException e ) {}
     }
-
+    */
 
 
     // merge the shadow nodes of allocation sites back down to normal capacity
@@ -3043,6 +3045,7 @@ public class OwnershipGraph {
     }
 
 
+    /*
     if( debugCallMap &&
 	mc.getDescriptor().getSymbol().equals( debugCaller ) &&
 	fm.getMethod().getSymbol().equals( debugCallee ) 
@@ -3059,6 +3062,7 @@ public class OwnershipGraph {
 		    true); // hide edge taints
       } catch( IOException e ) {}
     }
+    */
 
 
     // improve reachability as much as possible
@@ -3085,7 +3089,7 @@ public class OwnershipGraph {
       System.out.println( "  "+mc+" done calling "+fm );      
       ++x;
       if( x == debugCallMapCount ) {
-	System.exit( -1 );   
+	System.exit( 0 );   
       }
     }
   }
diff --git a/Robust/src/Benchmarks/mlp/directto/mlp-small-for-testing/makefile b/Robust/src/Benchmarks/mlp/directto/mlp-small-for-testing/makefile
index bf80219e..5a62e8d3 100644
--- a/Robust/src/Benchmarks/mlp/directto/mlp-small-for-testing/makefile
+++ b/Robust/src/Benchmarks/mlp/directto/mlp-small-for-testing/makefile
@@ -6,8 +6,8 @@ SOURCE_FILES=D2.java
 BUILDSCRIPT=~/research/Robust/src/buildscript
 BSFLAGS= -debug -nooptimize -mainclass $(MAIN_CLASS) 
 
-#DBCALLFLAGS= -owndebugcaller main -owndebugcallee executeAll 
-DBCALLFLAGS= -owndebugcaller executeAll -owndebugcallee executeMessage -owndebugcallcount 1
+DBCALLFLAGS= -owndebugcaller main -owndebugcallee executeAll 
+#DBCALLFLAGS= -owndebugcaller executeAll -owndebugcallee executeMessage -owndebugcallcount 0
 #DBCALLFLAGS= -owndebugcaller executeMessage -owndebugcallee amendFlightPlan
 
 ANALYZEFLAGS= -justanalyze $(DBCALLFLAGS) -ownership -ownallocdepth 1 -ownwritedots final -ownaliasfile aliases.txt -enable-assertions