+ private Location parseFieldLocDeclaraton(String decl) {
+
+ int idx = decl.indexOf(".");
+ String className = decl.substring(0, idx);
+ String fieldName = decl.substring(idx + 1);
+
+ Descriptor d = state.getClassSymbolTable().get(className);
+
+ assert (d instanceof ClassDescriptor);
+ SSJavaLattice<String> lattice = ssjava.getClassLattice((ClassDescriptor) d);
+ if (!lattice.containsKey(fieldName)) {
+ throw new Error("The location " + fieldName + " is not defined in the field lattice of '"
+ + className + "'.");
+ }
+
+ return new Location(d, fieldName);
+ }
+