From b4e1ec64241ecf64533403ef1e2a32bcd0a5dfff Mon Sep 17 00:00:00 2001
From: jjenista <jjenista>
Date: Mon, 9 Mar 2009 18:00:59 +0000
Subject: [PATCH] changed toString so method context's produce unique names and
 therefore write unique DOT graphs during output after analysis

---
 Robust/src/Analysis/OwnershipAnalysis/MethodContext.java | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/Robust/src/Analysis/OwnershipAnalysis/MethodContext.java b/Robust/src/Analysis/OwnershipAnalysis/MethodContext.java
index d4833e6a..2383cc38 100644
--- a/Robust/src/Analysis/OwnershipAnalysis/MethodContext.java
+++ b/Robust/src/Analysis/OwnershipAnalysis/MethodContext.java
@@ -69,11 +69,14 @@ public class MethodContext {
   public String toString() {
     if( descMethodOrTask instanceof TaskDescriptor ) {
       return descMethodOrTask.getSymbol()+
-	descMethodOrTask.getNum()+
-	getAliasString();
+	     descMethodOrTask.getNum()+
+	     getAliasString();
+
     } else {
       MethodDescriptor md = (MethodDescriptor) descMethodOrTask;
-      return md.getClassMethodName();
+      return md.getClassMethodName()+
+	     md.getNum()+
+	     getAliasString();
     }
   }
 }
-- 
2.34.1