import java.util.HashMap;
import java.util.HashSet;
-import java.util.Iterator;
import java.util.Map;
import java.util.Set;
this.cd = cd;
}
+ public Descriptor getDescIdentifier() {
+ if (md != null) {
+ return md;
+ }
+ {
+ return cd;
+ }
+ }
+
public Map<String, Set<Descriptor>> getMapLocSymbolToDescSet() {
return mapLocSymbolToDescSet;
}
public void removeRelatedInferLocSet(String oldLocSymbol, String newSharedLoc) {
Set<Descriptor> descSet = getDescSet(oldLocSymbol);
getDescSet(newSharedLoc).addAll(descSet);
+ // getRelatedInferLocSet(newSharedLoc).addAll(getRelatedInferLocSet(oldLocSymbol));
mapLocSymbolToDescSet.remove(oldLocSymbol);
mapLocSymbolToRelatedInferLocSet.remove(oldLocSymbol);
}