Fix tabbing.... Please fix your editors so they do tabbing correctly!!! (Spaces...

[IRC.git] / Robust / src / Analysis / OwnershipAnalysis / EffectsKey.java

diff --git a/Robust/src/Analysis/OwnershipAnalysis/EffectsKey.java b/Robust/src/Analysis/OwnershipAnalysis/EffectsKey.java
index 632f11b4e5dc03994b88f7a905b1d31444d325d6..1156bb99f5c20f127656d8a5228e8aa51d3f3293 100644 (file)
--- a/Robust/src/Analysis/OwnershipAnalysis/EffectsKey.java
+++ b/Robust/src/Analysis/OwnershipAnalysis/EffectsKey.java
@@ -4,83 +4,83 @@ import IR.TypeDescriptor;
 
 public class EffectsKey {
 
-       private String fd;
-       private TypeDescriptor td;
-       private Integer hrnId;
-       private String hrnUniqueId;
-       private int paramIden;
-
-       public EffectsKey(String fd, TypeDescriptor td, Integer hrnId, String hrnUniqueId, int paramIden) {
-               this.fd = fd;
-               this.td = td;
-               this.hrnId = hrnId;
-               this.hrnUniqueId=hrnUniqueId;
-               this.paramIden=paramIden;
-       }
-       
-       public int getParamIden(){
-               return paramIden;
-       }
-
-       public String getFieldDescriptor() {
-               return fd;
-       }
-
-       public TypeDescriptor getTypeDescriptor() {
-               return td;
-       }
-
-       public Integer getHRNId() {
-               return hrnId;
-       }
-       
-       public String getHRNUniqueId(){
-               return hrnUniqueId;
-       }
-
-       public String toString() {
-               return "(" + td + ")" + fd + "#" + hrnId;
-       }
-
-       public int hashCode() {
-
-               int hash = 1;
-
-               if (fd != null) {
-                       hash = hash * 31 + fd.hashCode();
-               }
-
-               if (td != null) {
-                       hash += td.getSymbol().hashCode();
-               }
-
-               if (hrnId != null) {
-                       hash += hrnId.hashCode();
-               }
-
-               return hash;
-
-       }
-
-       public boolean equals(Object o) {
-
-               if (o == null) {
-                       return false;
-               }
-
-               if (!(o instanceof EffectsKey)) {
-                       return false;
-               }
-
-               EffectsKey in = (EffectsKey) o;
-
-               if (fd.equals(in.getFieldDescriptor())
-                               && td.getSymbol().equals(in.getTypeDescriptor().getSymbol())
-                               && hrnId.equals(in.getHRNId())) {
-                       return true;
-               } else {
-                       return false;
-               }
-
-       }
+  private String fd;
+  private TypeDescriptor td;
+  private Integer hrnId;
+  private String hrnUniqueId;
+  private int paramIden;
+
+  public EffectsKey(String fd, TypeDescriptor td, Integer hrnId, String hrnUniqueId, int paramIden) {
+    this.fd = fd;
+    this.td = td;
+    this.hrnId = hrnId;
+    this.hrnUniqueId=hrnUniqueId;
+    this.paramIden=paramIden;
+  }
+
+  public int getParamIden() {
+    return paramIden;
+  }
+
+  public String getFieldDescriptor() {
+    return fd;
+  }
+
+  public TypeDescriptor getTypeDescriptor() {
+    return td;
+  }
+
+  public Integer getHRNId() {
+    return hrnId;
+  }
+
+  public String getHRNUniqueId() {
+    return hrnUniqueId;
+  }
+
+  public String toString() {
+    return "(" + td + ")" + fd + "#" + hrnId;
+  }
+
+  public int hashCode() {
+
+    int hash = 1;
+
+    if (fd != null) {
+      hash = hash * 31 + fd.hashCode();
+    }
+
+    if (td != null) {
+      hash += td.getSymbol().hashCode();
+    }
+
+    if (hrnId != null) {
+      hash += hrnId.hashCode();
+    }
+
+    return hash;
+
+  }
+
+  public boolean equals(Object o) {
+
+    if (o == null) {
+      return false;
+    }
+
+    if (!(o instanceof EffectsKey)) {
+      return false;
+    }
+
+    EffectsKey in = (EffectsKey) o;
+
+    if (fd.equals(in.getFieldDescriptor())
+        && td.getSymbol().equals(in.getTypeDescriptor().getSymbol())
+        && hrnId.equals(in.getHRNId())) {
+      return true;
+    } else {
+      return false;
+    }
+
+  }
 }