This commit was manufactured by cvs2svn to create tag 'buildscript'.

[IRC.git] / Robust / src / Analysis / TaskStateAnalysis / TagBinding.java

diff --git a/Robust/src/Analysis/TaskStateAnalysis/TagBinding.java b/Robust/src/Analysis/TaskStateAnalysis/TagBinding.java
deleted file mode 100644 (file)
index e7360b9..0000000
--- a/Robust/src/Analysis/TaskStateAnalysis/TagBinding.java
+++ /dev/null
@@ -1,66 +0,0 @@
-package Analysis.TaskStateAnalysis;
-import IR.MethodDescriptor;
-import IR.TagDescriptor;
-import Util.GraphNode;
-import java.util.HashSet;
-import java.util.Set;
-
-public class TagBinding extends GraphNode {
-    private MethodDescriptor md;
-    private TagDescriptor[] tdarray;
-    private HashSet allocations;
-
-    public TagBinding(MethodDescriptor md) {
-       this.md=md;
-       tdarray=new TagDescriptor[md.numParameters()];
-       allocations=new HashSet();
-    }
-
-    public String toString() {
-       String st=md.toString();
-       for(int i=0;i<tdarray.length;i++)
-           st+=tdarray[i]+" ";
-       return st;
-    }
-
-    public Set getAllocations() {
-       return allocations;
-    }
-
-    public void setBinding(int i, TagDescriptor td) {
-       tdarray[i]=td;
-    }
-
-    public MethodDescriptor getMethod() {
-       return md;
-    }
-
-    public TagDescriptor getBinding(int i) {
-       return tdarray[i];
-    }
-
-    public boolean equals(Object o) {
-       if (o instanceof TagBinding) {
-           TagBinding tb=(TagBinding)o;
-           if (md!=tb.md)
-               return false;
-           for(int i=0;i<tdarray.length;i++)
-               if (tdarray[i]!=null) {
-                   if (!tdarray[i].equals(tb.tdarray[i]))
-                       return false;
-               } else if(tb.tdarray[i]!=null)
-                   return false;
-           return true;
-       }
-       return false;
-    }
-
-    public int hashCode() {
-       int hashcode=md.hashCode();
-       for(int i=0;i<tdarray.length;i++) {
-           if (tdarray[i]!=null)
-               hashcode^=tdarray[i].hashCode();
-       }
-       return hashcode;
-    }
-}