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) {
newInferLoc.addLocation(loc);
mapDescToInferCompositeLocation.put(desc, newInferLoc);
- addMapLocSymbolToDescSet(desc.getSymbol(), desc);
+// addMapLocSymbolToDescSet(desc.getSymbol(), desc);
addMapLocSymbolToRelatedInferLoc(desc.getSymbol(), enclosingDesc, desc);
}
return mapDescToInferCompositeLocation.get(desc);