private static class ReferenceCollectingCallback.ReferenceMapWrapper extends java.lang.Object implements ReferenceCollectingCallback.ReferenceMap
Modifier and Type | Field and Description |
---|---|
private java.util.Map<Var,ReferenceCollectingCallback.ReferenceCollection> |
referenceMap |
Constructor and Description |
---|
ReferenceMapWrapper(java.util.Map<Var,ReferenceCollectingCallback.ReferenceCollection> referenceMap) |
Modifier and Type | Method and Description |
---|---|
ReferenceCollectingCallback.ReferenceCollection |
getReferences(Var var) |
private final java.util.Map<Var,ReferenceCollectingCallback.ReferenceCollection> referenceMap
public ReferenceMapWrapper(java.util.Map<Var,ReferenceCollectingCallback.ReferenceCollection> referenceMap)
public ReferenceCollectingCallback.ReferenceCollection getReferences(Var var)
getReferences
in interface ReferenceCollectingCallback.ReferenceMap