From 749170ccc61a6e5bec545e6a85d06e03df95dfaf Mon Sep 17 00:00:00 2001
From: jjenista <jjenista>
Date: Sun, 22 Mar 2009 19:24:46 +0000
Subject: [PATCH] see array dimensions when writing out

---
 Robust/src/Analysis/OwnershipAnalysis/ReferenceEdge.java | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/Robust/src/Analysis/OwnershipAnalysis/ReferenceEdge.java b/Robust/src/Analysis/OwnershipAnalysis/ReferenceEdge.java
index 2f7df028..51389d48 100644
--- 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+")");
   }
 }
-- 
2.34.1