Fix tabbing.... Please fix your editors so they do tabbing correctly!!! (Spaces...

[IRC.git] / Robust / src / Analysis / Disjoint / ChangeTuple.java

diff --git a/Robust/src/Analysis/Disjoint/ChangeTuple.java b/Robust/src/Analysis/Disjoint/ChangeTuple.java
index 99bf8326633387cddc8a428789bf32ed41ee41ae..9d1b96dc6e9aac585da2630d8868f8148c14ca90 100644 (file)
--- a/Robust/src/Analysis/Disjoint/ChangeTuple.java
+++ b/Robust/src/Analysis/Disjoint/ChangeTuple.java
@@ -32,27 +32,27 @@ public class ChangeTuple extends Canonical
   protected ReachState toMatch;
   protected ReachState toAdd;
 
-  public static ChangeTuple factory( ReachState toMatch,
-                                     ReachState toAdd ) {
+  public static ChangeTuple factory(ReachState toMatch,
+                                    ReachState toAdd) {
     // we don't care about the predicates hanging on
     // change tuple states, so always set them to empty
     // to ensure change tuple sets work out
     ReachState toMatchNoPreds =
-      ReachState.factory( toMatch.reachTuples,
-                          ExistPredSet.factory()
-                          );
+      ReachState.factory(toMatch.reachTuples,
+                         ExistPredSet.factory()
+                         );
     ReachState toAddNoPreds =
-      ReachState.factory( toAdd.reachTuples,
-                          ExistPredSet.factory()
-                          );
-    ChangeTuple out = new ChangeTuple( toMatchNoPreds,
-                                       toAddNoPreds );
-    out = (ChangeTuple) Canonical.makeCanonical( out );
+      ReachState.factory(toAdd.reachTuples,
+                         ExistPredSet.factory()
+                         );
+    ChangeTuple out = new ChangeTuple(toMatchNoPreds,
+                                      toAddNoPreds);
+    out = (ChangeTuple) Canonical.makeCanonical(out);
     return out;
   }
 
-  protected ChangeTuple( ReachState toMatch,
-                         ReachState toAdd ) {
+  protected ChangeTuple(ReachState toMatch,
+                        ReachState toAdd) {
     this.toMatch = toMatch;
     this.toAdd   = toAdd;
   }
@@ -63,21 +63,21 @@ public class ChangeTuple extends Canonical
   public ReachState getStateToAdd() {
     return toAdd;
   }
-  
 
-  public boolean equals( Object o ) {
+
+  public boolean equalsSpecific(Object o) {
     if( o == null ) {
       return false;
     }
-    
+
     if( !(o instanceof ChangeTuple) ) {
       return false;
     }
 
     ChangeTuple ct = (ChangeTuple) o;
     return
-      toMatch.equals( ct.toMatch ) &&
-      toAdd.equals( ct.toAdd );
+      toMatch.equals(ct.toMatch) &&
+      toAdd.equals(ct.toAdd);
   }
 
   public int hashCodeSpecific() {