MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

use identity map for more efficient dfa state copy lookup

Browse Source
This commit is contained in:
peter
2013-09-27 13:00:16 +02:00
parent c5e43396b7
commit 083da84b79
1 changed files with 7 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
java/java-analysis-impl/src/com/intellij/codeInspection/dataFlow/StateMerger.java
+7 -4
View File
@@ -38,7 +38,7 @@ import java.util.Set;
class StateMerger {
private final Map<DfaMemoryStateImpl, Map<DfaVariableValue, DfaConstValue>> myVarValues = ContainerUtil.newIdentityHashMap();
private final Map<DfaMemoryStateImpl, List<UnorderedPair<DfaValue>>> myEqPairs = ContainerUtil.newIdentityHashMap();
private final Map<Pair<DfaMemoryStateImpl, DfaVariableValue>, DfaMemoryStateImpl> myCopyCache = ContainerUtil.newHashMap();
private final Map<DfaMemoryState, Map<DfaVariableValue, DfaMemoryStateImpl>> myCopyCache = ContainerUtil.newIdentityHashMap();
@Nullable
public List<DfaMemoryStateImpl> mergeByEquality(List<DfaMemoryStateImpl> states) {
@@ -197,12 +197,15 @@ class StateMerger {
}
private DfaMemoryStateImpl copyWithoutVar(DfaMemoryStateImpl state, DfaVariableValue var) {
Pair<DfaMemoryStateImpl, DfaVariableValue> key = Pair.create(state, var);
DfaMemoryStateImpl copy = myCopyCache.get(key);
Map<DfaVariableValue, DfaMemoryStateImpl> map = myCopyCache.get(state);
if (map == null) {
myCopyCache.put(state, map = ContainerUtil.newIdentityHashMap());
}
DfaMemoryStateImpl copy = map.get(var);
if (copy == null) {
copy = state.createCopy();
copy.flushVariable(var);
myCopyCache.put(key, copy);
map.put(var, copy);
}
return copy;
}