+ public Location(Descriptor d, int type) {
+ this.d = d;
+ this.type = type;
+ if (type == TOP) {
+ loc = SSJavaAnalysis.TOP;
+ } else if (type == BOTTOM) {
+ loc = SSJavaAnalysis.BOTTOM;
+ }
+ }
+
+ public void setLocDescriptor(Descriptor d) {
+ locDesc = d;
+ }
+
+ public Descriptor getLocDescriptor() {
+ return locDesc;