Change tabbing for everything....
[IRC.git] / Robust / src / IR / Flat / TempTagPair.java
index 2231a000722413b4e8783091a3d95d290c6e4d00..e4d935d8bb984421b7931531e6716442584256ff 100644 (file)
@@ -2,47 +2,47 @@ package IR.Flat;
 import IR.TagDescriptor;
 
 public class TempTagPair {
-    TagDescriptor tagd;
-    TempDescriptor td;
-    TempDescriptor tagt;
-
-    public TempTagPair(TempDescriptor td, TagDescriptor tagd, TempDescriptor tagt) {
-       this.tagd=tagd;
-       this.tagt=tagt;
-       this.td=td;
-    }
-    public int hashCode() {
-       return td.hashCode()^tagt.hashCode();
-    }
-    
-    public TempDescriptor getTemp() {
-       return td;
-    }
-
-    public TagDescriptor getTag() {
-       return tagd;
-    }
-
-    public TempDescriptor getTagTemp() {
-       return tagt;
-    }
-
-    public boolean equals(Object o) {
-       if (!(o instanceof TempTagPair))
-           return false;
-       TempTagPair ttp=(TempTagPair)o;
-       if (ttp.tagt==tagt&&ttp.td==td) {
-           if (ttp.tagd!=null) {
-               if (!ttp.tagd.equals(tagd))
-                   throw new Error();
-           } else if (tagd!=null)
-               throw new Error();
-           
-           return true;
-       } else return false;
-    }
-
-    public String toString() {
-       return "<"+td+","+tagd+","+tagt+">";
-    }
+  TagDescriptor tagd;
+  TempDescriptor td;
+  TempDescriptor tagt;
+
+  public TempTagPair(TempDescriptor td, TagDescriptor tagd, TempDescriptor tagt) {
+    this.tagd=tagd;
+    this.tagt=tagt;
+    this.td=td;
+  }
+  public int hashCode() {
+    return td.hashCode()^tagt.hashCode();
+  }
+
+  public TempDescriptor getTemp() {
+    return td;
+  }
+
+  public TagDescriptor getTag() {
+    return tagd;
+  }
+
+  public TempDescriptor getTagTemp() {
+    return tagt;
+  }
+
+  public boolean equals(Object o) {
+    if (!(o instanceof TempTagPair))
+      return false;
+    TempTagPair ttp=(TempTagPair)o;
+    if (ttp.tagt==tagt&&ttp.td==td) {
+      if (ttp.tagd!=null) {
+       if (!ttp.tagd.equals(tagd))
+         throw new Error();
+      } else if (tagd!=null)
+       throw new Error();
+
+      return true;
+    } else return false;
+  }
+
+  public String toString() {
+    return "<"+td+","+tagd+","+tagt+">";
+  }
 }