int type;
Descriptor d;
String loc;
+ Descriptor locDesc;
+
+ public Location(Descriptor enclosingDesc, Descriptor locDescriptor) {
+ this.d = enclosingDesc;
+ this.locDesc = locDescriptor;
+ this.loc = locDescriptor.getSymbol();
+ }
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) {
this.d = d;
this.type = type;
if (type == TOP) {
- loc = SSJavaLattice.TOP;
+ loc = SSJavaAnalysis.TOP;
} else if (type == BOTTOM) {
- loc = SSJavaLattice.BOTTOM;
+ loc = SSJavaAnalysis.BOTTOM;
}
}
+ public void setLocIdentifier(String s) {
+ loc = s;
+ }
+
+ public void setLocDescriptor(Descriptor d) {
+ locDesc = d;
+ }
+
+ public Descriptor getLocDescriptor() {
+ return locDesc;
+ }
+
public void setType(int type) {
this.type = type;
}