From: yeom <yeom>
Date: Sat, 8 Dec 2012 01:29:21 +0000 (+0000)
Subject: a bug fix.
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=IRC.git;a=commitdiff_plain;h=2ab2e6efcb5547f4112ee71f32b28149796b2df1

a bug fix.
---

diff --git a/Robust/src/Analysis/SSJava/LocationInference.java b/Robust/src/Analysis/SSJava/LocationInference.java
index e5487a1d..89447622 100644
--- 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);
       }