X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=Robust%2Fsrc%2FAnalysis%2FSSJava%2FLocation.java;h=98a05497131af40d7898f5fd74b086067678750f;hb=d421edc382984588192603ed519923beadeb4d3a;hp=1c90d577e1ce714ef9f82b4a9dfb7341cad5bfd3;hpb=8cdbc33c57507d06e986e888a9ea170ee5c50c1b;p=IRC.git

diff --git a/Robust/src/Analysis/SSJava/Location.java b/Robust/src/Analysis/SSJava/Location.java
index 1c90d577..98a05497 100644
--- a/Robust/src/Analysis/SSJava/Location.java
+++ b/Robust/src/Analysis/SSJava/Location.java
@@ -17,7 +17,15 @@ public class Location implements TypeExtension {
   public Location(Descriptor d, String loc) {
     this.d = d;
     this.loc = loc;
-    this.type = NORMAL;
+
+    if (loc.equals(SSJavaAnalysis.TOP)) {
+      type = TOP;
+    } else if (loc.equals(SSJavaAnalysis.BOTTOM)) {
+      type = BOTTOM;
+    } else {
+      type = NORMAL;
+    }
+
   }
 
   public Location(Descriptor d, int type) {