print preds stacked for DOT

diff --git a/Robust/src/Analysis/Disjoint/ExistPredSet.java b/Robust/src/Analysis/Disjoint/ExistPredSet.java
index 3d9ae6bee3a70892546f376f694342ffb90938b0..9e07aee09832bf9e564d989c12ab64b21b766b4d 100644 (file)
--- a/Robust/src/Analysis/Disjoint/ExistPredSet.java
+++ b/Robust/src/Analysis/Disjoint/ExistPredSet.java
@@ -108,6 +108,22 @@ public class ExistPredSet extends Canonical {
     return preds.hashCode();
   }
 
+
+  public String toStringEscNewline() {
+    String s = "P[";
+
+    Iterator<ExistPred> predItr = preds.iterator();
+    while( predItr.hasNext() ) {
+      ExistPred pred = predItr.next();
+      s += pred.toString();
+      if( predItr.hasNext() ) {
+        s += " ||\\n";
+      }
+    }
+    s += "]";
+    return s;
+  }
+
   
   public String toString() {
     String s = "P[";

diff --git a/Robust/src/Analysis/Disjoint/HeapRegionNode.java b/Robust/src/Analysis/Disjoint/HeapRegionNode.java
index 392eefb2118682ca6ac3fdfacfd8801f4300f715..ddc507256b23d356446aaa61fb54d524b74cab4e 100644 (file)
--- a/Robust/src/Analysis/Disjoint/HeapRegionNode.java
+++ b/Robust/src/Analysis/Disjoint/HeapRegionNode.java
@@ -316,7 +316,7 @@ public class HeapRegionNode extends RefSrcNode {
                        typeStr+"\\n"+
                        description+"\\n"+
                        alpha.toStringEscNewline( hideSubsetReach )+"\\n"+
-                       preds+"\"]"
+                       preds.toStringEscNewline()+"\"]"
                        );
   }
 

diff --git a/Robust/src/Analysis/Disjoint/RefEdge.java b/Robust/src/Analysis/Disjoint/RefEdge.java
index c66b699d1a185fdba67a0f46742757918692aaa5..8d8e09b0a7e53ae4a59729a149e3c158cd794306 100644 (file)
--- a/Robust/src/Analysis/Disjoint/RefEdge.java
+++ b/Robust/src/Analysis/Disjoint/RefEdge.java
@@ -226,7 +226,7 @@ public class RefEdge {
                        type.toPrettyString()+"\\n"+
                        field+"\\n"+
                        beta.toStringEscNewline( hideSubsetReach )+"\\n"+
-                       preds.toString()+"\",decorate"+
+                       preds.toStringEscNewline()+"\",decorate"+
                        otherAttributes+"]"
                        );
   }