More reachability set functionality, but not all there yet

[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 06dac9fc939ba25f066a93576c2fb2de1d50d8b2..9a1f8bdfda54fe8a4b2876354cb3bb6cc1436f93 100644 (file)
--- a/Robust/src/Analysis/OwnershipAnalysis/ChangeTuple.java
+++ b/Robust/src/Analysis/OwnershipAnalysis/ChangeTuple.java
@@ -9,6 +9,9 @@ import java.io.*;
 // a change touple is a pair that indicates if the
 // first TokenTupleSet is found in a ReachabilitySet,
 // then the second TokenTupleSet should be added
+
+// THIS CLASS IS IMMUTABLE!
+
 public class ChangeTuple
 {
     private TokenTupleSet toMatch;
@@ -38,10 +41,6 @@ public class ChangeTuple
        return toMatch.hashCode() + toAdd.hashCode();
     }
 
-    public ChangeTuple copy() {
-       return new ChangeTuple( toMatch, toAdd );
-    }
-
     public String toString() {
        return new String( "<"+toMatch+" -> "+toAdd+">" );
     }