From 4ab4d5d15ccb5930069b0cd66b10914c812e7cd0 Mon Sep 17 00:00:00 2001
From: jjenista <jjenista>
Date: Thu, 4 Sep 2008 18:17:45 +0000
Subject: [PATCH] add allocation depth to alias output file

---
 Robust/src/Analysis/OwnershipAnalysis/OwnershipAnalysis.java | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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