Added reachability classes, all of which are extensions of Canonical such that

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

diff --git a/Robust/src/Analysis/OwnershipAnalysis/ChangeTuple.java b/Robust/src/Analysis/OwnershipAnalysis/ChangeTuple.java
index 9a1f8bdfda54fe8a4b2876354cb3bb6cc1436f93..296e578d353900ec1f8af3d9e0fb3dc352a2f9f6 100644 (file)
--- a/Robust/src/Analysis/OwnershipAnalysis/ChangeTuple.java
+++ b/Robust/src/Analysis/OwnershipAnalysis/ChangeTuple.java
@@ -12,7 +12,7 @@ import java.io.*;
 
 // THIS CLASS IS IMMUTABLE!
 
-public class ChangeTuple
+public class ChangeTuple extends Canonical
 {
     private TokenTupleSet toMatch;
     private TokenTupleSet toAdd;
@@ -23,6 +23,10 @@ public class ChangeTuple
        this.toAdd   = toAdd;
     }
 
+    public ChangeTuple makeCanonical() {
+       return (ChangeTuple) Canonical.makeCanonical( this );
+    }
+
     public TokenTupleSet getSetToMatch() { return toMatch; }
     public TokenTupleSet getSetToAdd()   { return toAdd;   }