X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=Robust%2Fsrc%2FAnalysis%2FTaskStateAnalysis%2FTagBinding.java;fp=Robust%2Fsrc%2FAnalysis%2FTaskStateAnalysis%2FTagBinding.java;h=adc81a5ac0b72a2f55ad9783eb734c26fa44ce56;hb=ac6191b514c0e54b468623bf868134e1ce809df5;hp=e7360b96f6edf95411d6f168b46c48786e5ea9db;hpb=b9df1caacff3dbe5959bc12e0e6ba46500fcd3e2;p=IRC.git

diff --git a/Robust/src/Analysis/TaskStateAnalysis/TagBinding.java b/Robust/src/Analysis/TaskStateAnalysis/TagBinding.java
index e7360b96..adc81a5a 100644
--- a/Robust/src/Analysis/TaskStateAnalysis/TagBinding.java
+++ b/Robust/src/Analysis/TaskStateAnalysis/TagBinding.java
@@ -6,61 +6,61 @@ import java.util.HashSet;
 import java.util.Set;
 
 public class TagBinding extends GraphNode {
-    private MethodDescriptor md;
-    private TagDescriptor[] tdarray;
-    private HashSet allocations;
+  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 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 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 Set getAllocations() {
+    return allocations;
+  }
 
-    public void setBinding(int i, TagDescriptor td) {
-	tdarray[i]=td;
-    }
+  public void setBinding(int i, TagDescriptor td) {
+    tdarray[i]=td;
+  }
 
-    public MethodDescriptor getMethod() {
-	return md;
-    }
+  public MethodDescriptor getMethod() {
+    return md;
+  }
 
-    public TagDescriptor getBinding(int i) {
-	return tdarray[i];
-    }
+  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;
-	}
+  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;
+  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;
+  }
 }