see array dimensions when writing out

diff --git a/Robust/src/Analysis/OwnershipAnalysis/ReferenceEdge.java b/Robust/src/Analysis/OwnershipAnalysis/ReferenceEdge.java
index 2f7df028fd453a773654fc56d832f11c1faecfdc..51389d48caaf2981e59ab590400acb98bd9c1651 100644 (file)
--- a/Robust/src/Analysis/OwnershipAnalysis/ReferenceEdge.java
+++ b/Robust/src/Analysis/OwnershipAnalysis/ReferenceEdge.java
@@ -208,7 +208,7 @@ public class ReferenceEdge {
     String edgeLabel = "";
 
     if( type != null ) {
-      edgeLabel += type+"\\n";
+      edgeLabel += type.toPrettyString()+"\\n";
     }
 
     if( field != null ) {
@@ -225,6 +225,10 @@ public class ReferenceEdge {
   }
 
   public String toString() {
+    if( type != null ) {
+      return new String("("+src+"->"+type.toPrettyString()+" "+field+"->"+dst+")");
+    }
+
     return new String("("+src+"->"+type+" "+field+"->"+dst+")");
   }
 }