Change tabbing for everything....

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

diff --git a/Robust/src/Analysis/TaskStateAnalysis/TagBinding.java b/Robust/src/Analysis/TaskStateAnalysis/TagBinding.java
index e7360b96f6edf95411d6f168b46c48786e5ea9db..adc81a5ac0b72a2f55ad9783eb734c26fa44ce56 100644 (file)
--- 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;
+  }
 }