From: jjenista <jjenista>
Date: Thu, 4 Sep 2008 18:17:45 +0000 (+0000)
Subject: add allocation depth to alias output file
X-Git-Tag: buildscript^6~45
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=4ab4d5d15ccb5930069b0cd66b10914c812e7cd0;p=IRC.git

add allocation depth to alias output file
---

diff --git a/Robust/src/Analysis/OwnershipAnalysis/OwnershipAnalysis.java b/Robust/src/Analysis/OwnershipAnalysis/OwnershipAnalysis.java
index 05a21976..6eceedfe 100644
--- a/Robust/src/Analysis/OwnershipAnalysis/OwnershipAnalysis.java
+++ b/Robust/src/Analysis/OwnershipAnalysis/OwnershipAnalysis.java
@@ -70,13 +70,14 @@ public class OwnershipAnalysis {
 
     BufferedWriter bw = new BufferedWriter(new FileWriter(outputFile) );
 
+    bw.write("Conducting ownership analysis with allocation depth = "+allocationDepth);
+
     // look through every task for potential aliases
     Iterator taskItr = state.getTaskSymbolTable().getDescriptorsIterator();
     while( taskItr.hasNext() ) {
       TaskDescriptor td = (TaskDescriptor) taskItr.next();
 
       bw.write("\n---------"+td+"--------\n");
-      bw.flush();
 
       HashSet<AllocationSite> allocSites = getFlaggedAllocationSitesReachableFromTask(td);