special union of reachability sets works correctly now

[IRC.git] / Robust / src / Analysis / OwnershipAnalysis / ChangeTupleSet.java

diff --git a/Robust/src/Analysis/OwnershipAnalysis/ChangeTupleSet.java b/Robust/src/Analysis/OwnershipAnalysis/ChangeTupleSet.java
index c0d90104aa4f0131b1b8a730beadd1ae0f0c5356..5593285b1ce5a2be9785e6850e5f54cc2d12736f 100644 (file)
--- a/Robust/src/Analysis/OwnershipAnalysis/ChangeTupleSet.java
+++ b/Robust/src/Analysis/OwnershipAnalysis/ChangeTupleSet.java
@@ -8,7 +8,7 @@ import java.io.*;
 
 public class ChangeTupleSet {
 
-    public HashSet<ChangeTuple> changeTuples;
+    private HashSet<ChangeTuple> changeTuples;
 
     public ChangeTupleSet() {
        changeTuples = new HashSet<ChangeTuple>();
@@ -38,6 +38,15 @@ public class ChangeTupleSet {
     }
 
     public String toString() {
-       return changeTuples.toString();
+       String s = "[";
+
+       Iterator i = this.iterator();
+       while( i.hasNext() ) {
+           s += "\n  "+i.next();
+       }
+
+       s += "\n]";
+
+       return s;
     }
 }