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

[IRC.git] / Robust / src / Analysis / SSJava / Location.java

diff --git a/Robust/src/Analysis/SSJava/Location.java b/Robust/src/Analysis/SSJava/Location.java
index 7f04ce9a52814aaa52c1d43b4fd7b76b1a6ea2de..decaee7c0b4fec7fe648437e817a5ab8bc0db1e4 100644 (file)
--- a/Robust/src/Analysis/SSJava/Location.java
+++ b/Robust/src/Analysis/SSJava/Location.java
@@ -49,13 +49,13 @@ public class Location  implements TypeExtension {
 
     if (loc.getClassDescriptor().equals(getClassDescriptor())) {
       if (loc.getLocIdentifier() == null || getLocIdentifier() == null) {
-        if (loc.getType() == getType()) {
-          return true;
-        }
+       if (loc.getType() == getType()) {
+         return true;
+       }
       } else {
-        if (loc.getLocIdentifier().equals(getLocIdentifier())) {
-          return true;
-        }
+       if (loc.getLocIdentifier().equals(getLocIdentifier())) {
+         return true;
+       }
       }
     }
 
@@ -89,8 +89,8 @@ public class Location  implements TypeExtension {
     bottomLoc.loc = "_bottom_";
     return bottomLoc;
   }
-  
-  public boolean isTop(){
+
+  public boolean isTop() {
     return type==TOP;
   }