From: jjenista <jjenista>
Date: Sun, 22 Mar 2009 19:24:46 +0000 (+0000)
Subject: see array dimensions when writing out
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=749170ccc61a6e5bec545e6a85d06e03df95dfaf;p=IRC.git

see array dimensions when writing out
---

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+")");
   }
 }