a bug fix.

diff --git a/Robust/src/Analysis/SSJava/LocationInference.java b/Robust/src/Analysis/SSJava/LocationInference.java
index e5487a1de8a93d1ecc8d44f458e7408e1e8b7061..89447622995c3cccc3963c11cb5e65058c7f3b4a 100644 (file)
--- a/Robust/src/Analysis/SSJava/LocationInference.java
+++ b/Robust/src/Analysis/SSJava/LocationInference.java
@@ -2728,7 +2728,13 @@ public class LocationInference {
         MethodDescriptor parentMethodDesc = getParentMethodDesc(md.getClassDesc(), md);
         if (parentMethodDesc != null) {
           Map<TripleItem, String> parentMap = buildLattice.getIntermediateLocMap(parentMethodDesc);
-          buildLattice.setIntermediateLocMap(md, parentMap);
+          Map<TripleItem, String> childMap = new HashMap<TripleItem, String>();
+          Set<TripleItem> keySet = parentMap.keySet();
+          for (Iterator iterator2 = keySet.iterator(); iterator2.hasNext();) {
+            TripleItem key = (TripleItem) iterator2.next();
+            childMap.put(key, parentMap.get(key));
+          }
+          buildLattice.setIntermediateLocMap(md, childMap);
         }
         buildLattice(md);
       }