public Map<Descriptor, CompositeLocation> getMapDescToInferLocation() {
return mapDescToInferCompositeLocation;
}
-
+
public void addMapLocSymbolToRelatedInferLoc(String locSymbol, Descriptor enclosingDesc,
Descriptor desc) {
if (!mapLocSymbolToRelatedInferLocSet.containsKey(locSymbol)) {
}
mapLocSymbolToRelatedInferLocSet.get(locSymbol).add(
new Pair<Descriptor, Descriptor>(enclosingDesc, desc));
-
+
addMapLocSymbolToDescSet(locSymbol, desc);
}
public Set<Pair<Descriptor, Descriptor>> getRelatedInferLocSet(String locSymbol) {
+
+ if (!mapLocSymbolToRelatedInferLocSet.containsKey(locSymbol)) {
+ mapLocSymbolToRelatedInferLocSet.put(locSymbol, new HashSet<Pair<Descriptor, Descriptor>>());
+ }
return mapLocSymbolToRelatedInferLocSet.get(locSymbol);
}
newInferLoc.addLocation(loc);
mapDescToInferCompositeLocation.put(desc, newInferLoc);
-// addMapLocSymbolToDescSet(desc.getSymbol(), desc);
+ // addMapLocSymbolToDescSet(desc.getSymbol(), desc);
addMapLocSymbolToRelatedInferLoc(desc.getSymbol(), enclosingDesc, desc);
}
return mapDescToInferCompositeLocation.get(desc);