private static class JoinRuleUtils.LocVarReplBranchUniqueMap extends HashMap<ProgramVariable,ProgramVariable>
LocationVariable#getBranchUniqueName()
method of the respective
location variable. Therefore, this map is also a singleton object.AbstractMap.SimpleEntry<K,V>, AbstractMap.SimpleImmutableEntry<K,V>
Modifier and Type | Field and Description |
---|---|
private HashMap<LocationVariable,ProgramVariable> |
cache |
private ImmutableSet<LocationVariable> |
doNotRename |
private Node |
node |
private static long |
serialVersionUID |
Constructor and Description |
---|
LocVarReplBranchUniqueMap(Node goal,
ImmutableSet<LocationVariable> doNotRename) |
Modifier and Type | Method and Description |
---|---|
boolean |
containsKey(Object key) |
boolean |
containsValue(Object value) |
Set<Map.Entry<ProgramVariable,ProgramVariable>> |
entrySet() |
ProgramVariable |
get(Object key) |
boolean |
isEmpty() |
Set<ProgramVariable> |
keySet() |
ProgramVariable |
put(ProgramVariable key,
ProgramVariable value) |
ProgramVariable |
remove(Object key) |
Collection<ProgramVariable> |
values() |
clear, clone, compute, computeIfAbsent, computeIfPresent, forEach, getOrDefault, merge, putAll, putIfAbsent, remove, replace, replace, replaceAll, size
equals, hashCode, toString
private static final long serialVersionUID
private final Node node
private final ImmutableSet<LocationVariable> doNotRename
private final HashMap<LocationVariable,ProgramVariable> cache
public LocVarReplBranchUniqueMap(Node goal, ImmutableSet<LocationVariable> doNotRename)
public boolean isEmpty()
isEmpty
in interface Map<ProgramVariable,ProgramVariable>
isEmpty
in class HashMap<ProgramVariable,ProgramVariable>
public boolean containsKey(Object key)
containsKey
in interface Map<ProgramVariable,ProgramVariable>
containsKey
in class HashMap<ProgramVariable,ProgramVariable>
public boolean containsValue(Object value)
containsValue
in interface Map<ProgramVariable,ProgramVariable>
containsValue
in class HashMap<ProgramVariable,ProgramVariable>
public ProgramVariable get(Object key)
get
in interface Map<ProgramVariable,ProgramVariable>
get
in class HashMap<ProgramVariable,ProgramVariable>
public ProgramVariable put(ProgramVariable key, ProgramVariable value)
put
in interface Map<ProgramVariable,ProgramVariable>
put
in class HashMap<ProgramVariable,ProgramVariable>
public ProgramVariable remove(Object key)
remove
in interface Map<ProgramVariable,ProgramVariable>
remove
in class HashMap<ProgramVariable,ProgramVariable>
public Set<ProgramVariable> keySet()
keySet
in interface Map<ProgramVariable,ProgramVariable>
keySet
in class HashMap<ProgramVariable,ProgramVariable>
public Collection<ProgramVariable> values()
values
in interface Map<ProgramVariable,ProgramVariable>
values
in class HashMap<ProgramVariable,ProgramVariable>
public Set<Map.Entry<ProgramVariable,ProgramVariable>> entrySet()
entrySet
in interface Map<ProgramVariable,ProgramVariable>
entrySet
in class HashMap<ProgramVariable,ProgramVariable>