From: jjenista <jjenista>
Date: Fri, 13 May 2011 20:13:38 +0000 (+0000)
Subject: print out brackets for array count to show humans
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=4ccac3b5b4a96679b3419b5560627d598b930ac8;hp=18d774ae0c7c5e6cdf6c32f53c2741e7cc09d7c2;p=IRC.git

print out brackets for array count to show humans
---

diff --git a/Robust/src/IR/Flat/FlatNew.java b/Robust/src/IR/Flat/FlatNew.java
index 8b1a0bbb..c94684b1 100644
--- a/Robust/src/IR/Flat/FlatNew.java
+++ b/Robust/src/IR/Flat/FlatNew.java
@@ -65,8 +65,18 @@ public class FlatNew extends FlatNode {
 
   public String toString() {
     String str = "FlatNew_"+dst.toString()+"= NEW "+type.toString();
-    if (size!=null)
+
+    int numEmptyBrackets = type.getArrayCount();
+    if( size != null ) {
+      --numEmptyBrackets;
+    }
+    for( int i = 0; i < numEmptyBrackets; ++i ) {
+      str += "[]";
+    }    
+    if( size != null ) {
       str += "["+size.toString()+"]";
+    }    
+
     return str;
   }