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