changed toString so method context's produce unique names and therefore write unique...

diff --git a/Robust/src/Analysis/OwnershipAnalysis/MethodContext.java b/Robust/src/Analysis/OwnershipAnalysis/MethodContext.java
index d4833e6a3f306be4daf8b3a864eec275bef4e56a..2383cc383f2dae117dc0f5fe490dcf70fc5f6496 100644 (file)
--- 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();
     }
   }
 }