From: jjenista <jjenista>
Date: Fri, 5 Sep 2008 17:33:23 +0000 (+0000)
Subject: never needed this
X-Git-Tag: buildscript^6~38
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=f9842440c79c9ad2a1d1b0ae451e523d2b6331f6;p=IRC.git

never needed this
---

diff --git a/Robust/src/Analysis/OwnershipAnalysis/SubstitutionTuple.java b/Robust/src/Analysis/OwnershipAnalysis/SubstitutionTuple.java
deleted file mode 100644
index 62ddef67..00000000
--- a/Robust/src/Analysis/OwnershipAnalysis/SubstitutionTuple.java
+++ /dev/null
@@ -1,59 +0,0 @@
-package Analysis.OwnershipAnalysis;
-
-import IR.*;
-import IR.Flat.*;
-import java.util.*;
-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 extends Canonical
-{
-  private TokenTupleSet toMatch;
-  private TokenTupleSet toAdd;
-
-  public ChangeTuple(TokenTupleSet toMatch,
-                     TokenTupleSet toAdd) {
-    this.toMatch = toMatch;
-    this.toAdd   = toAdd;
-  }
-
-  public ChangeTuple makeCanonical() {
-    return (ChangeTuple) Canonical.makeCanonical(this);
-  }
-
-  public TokenTupleSet getSetToMatch() {
-    return toMatch;
-  }
-  public TokenTupleSet getSetToAdd() {
-    return toAdd;
-  }
-
-  public boolean equals(Object o) {
-    if( o == null ) {
-      return false;
-    }
-
-    if( !(o instanceof ChangeTuple) ) {
-      return false;
-    }
-
-    ChangeTuple ct = (ChangeTuple) o;
-
-    return toMatch.equals(ct.getSetToMatch() ) &&
-           toAdd.equals(ct.getSetToAdd()   );
-  }
-
-  public int hashCode() {
-    return toMatch.hashCode() + toAdd.hashCode();
-  }
-
-  public String toString() {
-    return new String("<"+toMatch+" -> "+toAdd+">");
-  }
-}