make reach graph visualizations tractable

diff --git a/Robust/src/Analysis/Disjoint/RefEdge.java b/Robust/src/Analysis/Disjoint/RefEdge.java
index 4657208633b8d9d3757258bb2a5726964a986473..ef94365def5fd3b527941f5c068fba9d4dbe075d 100644 (file)
--- a/Robust/src/Analysis/Disjoint/RefEdge.java
+++ b/Robust/src/Analysis/Disjoint/RefEdge.java
@@ -275,7 +275,7 @@ public class RefEdge {
 
     if( !hideEdgeTaints ) {      
       if( !taints.isEmpty() ) {
-        s += "\\nt: "+taints.toString();
+        s += "\\n"+taints.toStringEscNewline();
       }
     }
 

diff --git a/Robust/src/Analysis/Disjoint/TaintSet.java b/Robust/src/Analysis/Disjoint/TaintSet.java
index b0005b3b5c5b82b4eb8015e6c9913f87bd9a48d4..49319c50deef63f31486b340e8ca2de1887707c7 100644 (file)
--- a/Robust/src/Analysis/Disjoint/TaintSet.java
+++ b/Robust/src/Analysis/Disjoint/TaintSet.java
@@ -111,6 +111,22 @@ public class TaintSet extends Canonical {
   public int hashCodeSpecific() {
     return taints.hashCode();
   }
+
+  public String toStringEscNewline() {
+    String s = "taints[";
+
+    Iterator<Taint> tItr = taints.iterator();
+    while( tItr.hasNext() ) {
+      Taint t = tItr.next();
+
+      s += t.toString();
+      if( tItr.hasNext() ) {
+        s += ",\\n";
+      }
+    }
+    s += "]";
+    return s;
+  }
   
   public String toString() {
     return taints.toString();