projects
/
IRC.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
b722578
)
a bug fix.
author
yeom
<yeom>
Sat, 8 Dec 2012 01:29:21 +0000
(
01:29
+0000)
committer
yeom
<yeom>
Sat, 8 Dec 2012 01:29:21 +0000
(
01:29
+0000)
Robust/src/Analysis/SSJava/LocationInference.java
patch
|
blob
|
history
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);
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);
}
}
buildLattice(md);
}