From: jjenista <jjenista>
Date: Mon, 9 Mar 2009 18:00:59 +0000 (+0000)
Subject: changed toString so method context's produce unique names and therefore write unique... 
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=b4e1ec64241ecf64533403ef1e2a32bcd0a5dfff;p=IRC.git

changed toString so method context's produce unique names and therefore write unique DOT graphs during output after analysis
---

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();
     }
   }
 }