Change tabbing for everything....

[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 ee2813dd4f6bb8d66d840b17c9aca1c73b9e47e0..9bb1f54c2a67e986bef32be70ce6c310aa8007d2 100644 (file)
--- a/Robust/src/Analysis/OwnershipAnalysis/ChangeTupleSet.java
+++ b/Robust/src/Analysis/OwnershipAnalysis/ChangeTupleSet.java
@@ -8,81 +8,81 @@ import java.io.*;
 
 public class ChangeTupleSet extends Canonical {
 
-    private HashSet<ChangeTuple> changeTuples;
+  private HashSet<ChangeTuple> changeTuples;
 
-    public ChangeTupleSet() {
-       changeTuples = new HashSet<ChangeTuple>();
-    }
+  public ChangeTupleSet() {
+    changeTuples = new HashSet<ChangeTuple>();
+  }
 
-    public ChangeTupleSet( ChangeTuple ct ) {
-       this();
-       changeTuples.add( ct );
-    }
+  public ChangeTupleSet(ChangeTuple ct) {
+    this();
+    changeTuples.add(ct);
+  }
 
-    public ChangeTupleSet( ChangeTupleSet cts ) {
-       changeTuples = (HashSet<ChangeTuple>) cts.changeTuples.clone();
-    }
+  public ChangeTupleSet(ChangeTupleSet cts) {
+    changeTuples = (HashSet<ChangeTuple>)cts.changeTuples.clone();
+  }
 
-    public ChangeTupleSet makeCanonical() {
-       return (ChangeTupleSet) Canonical.makeCanonical( this );
-    }
+  public ChangeTupleSet makeCanonical() {
+    return (ChangeTupleSet) Canonical.makeCanonical(this);
+  }
 
-    public Iterator iterator() {
-       return changeTuples.iterator();
-    }
+  public Iterator iterator() {
+    return changeTuples.iterator();
+  }
 
-    public ChangeTupleSet union( ChangeTupleSet ctsIn ) {
-       assert ctsIn != null;
+  public ChangeTupleSet union(ChangeTupleSet ctsIn) {
+    assert ctsIn != null;
 
-       ChangeTupleSet ctsOut = new ChangeTupleSet( this );
-       ctsOut.changeTuples.addAll( ctsIn.changeTuples );
-       return ctsOut.makeCanonical();
-    }
+    ChangeTupleSet ctsOut = new ChangeTupleSet(this);
+    ctsOut.changeTuples.addAll(ctsIn.changeTuples);
+    return ctsOut.makeCanonical();
+  }
 
-    public ChangeTupleSet union( ChangeTuple ctIn ) {
-       assert ctIn != null;
+  public ChangeTupleSet union(ChangeTuple ctIn) {
+    assert ctIn != null;
 
-       ChangeTupleSet ctsOut = new ChangeTupleSet( this );
-       ctsOut.changeTuples.add( ctIn );
-       return ctsOut.makeCanonical();
-    }
+    ChangeTupleSet ctsOut = new ChangeTupleSet(this);
+    ctsOut.changeTuples.add(ctIn);
+    return ctsOut.makeCanonical();
+  }
 
-    public boolean isEmpty() {
-       return changeTuples.isEmpty();
-    }
-
-    public boolean isSubset( ChangeTupleSet ctsIn ) {
-       assert ctsIn != null;
-       return ctsIn.changeTuples.containsAll( this.changeTuples );
-    }
+  public boolean isEmpty() {
+    return changeTuples.isEmpty();
+  }
 
-    public boolean equals( Object o ) {
-       if( o == null ) {
-           return false;
-       }
+  public boolean isSubset(ChangeTupleSet ctsIn) {
+    assert ctsIn != null;
+    return ctsIn.changeTuples.containsAll(this.changeTuples);
+  }
 
-       if( !(o instanceof ChangeTupleSet) ) {
-           return false;
-       }
-
-       ChangeTupleSet cts = (ChangeTupleSet) o;
-       return changeTuples.equals( cts.changeTuples );
+  public boolean equals(Object o) {
+    if( o == null ) {
+      return false;
     }
 
-    public int hashCode() {
-       return changeTuples.hashCode();
+    if( !(o instanceof ChangeTupleSet) ) {
+      return false;
     }
 
-    public String toString() {
-       String s = "[";
+    ChangeTupleSet cts = (ChangeTupleSet) o;
+    return changeTuples.equals(cts.changeTuples);
+  }
 
-       Iterator i = this.iterator();
-       while( i.hasNext() ) {
-           s += "\n  "+i.next();
-       }
+  public int hashCode() {
+    return changeTuples.hashCode();
+  }
 
-       s += "\n]";
+  public String toString() {
+    String s = "[";
 
-       return s;
+    Iterator i = this.iterator();
+    while( i.hasNext() ) {
+      s += "\n  "+i.next();
     }
+
+    s += "\n]";
+
+    return s;
+  }
 }