private abstract static class SimpleBlockContract.ReplacementMap<S extends Sorted> extends LinkedHashMap<S,S>
AbstractMap.SimpleEntry<K,V>, AbstractMap.SimpleImmutableEntry<K,V>
Modifier and Type | Field and Description |
---|---|
private static long |
serialVersionUID |
Modifier | Constructor and Description |
---|---|
private |
ReplacementMap() |
Modifier and Type | Method and Description |
---|---|
protected abstract S |
convert(ProgramVariable variable,
TermServices services) |
void |
replaceFlags(Map<Label,ProgramVariable> oldFlags,
Map<Label,S> newFlags,
TermServices services) |
void |
replaceRemembranceHeaps(Map<LocationVariable,LocationVariable> oldRemembranceHeaps,
Map<LocationVariable,? extends S> newRemembranceHeaps,
Services services) |
void |
replaceRemembranceLocalVariables(Map<LocationVariable,LocationVariable> oldRemembranceLocalVariables,
Map<LocationVariable,? extends S> newRemembranceLocalVariables,
TermServices services) |
void |
replaceSelf(ProgramVariable oldSelf,
S newSelf,
TermServices services) |
void |
replaceVariable(ProgramVariable oldVariable,
S newVariable,
TermServices services) |
clear, containsValue, entrySet, forEach, get, getOrDefault, keySet, removeEldestEntry, replaceAll, values
clone, compute, computeIfAbsent, computeIfPresent, containsKey, isEmpty, merge, put, putAll, putIfAbsent, remove, remove, replace, replace, size
equals, hashCode, toString
finalize, getClass, notify, notifyAll, wait, wait, wait
compute, computeIfAbsent, computeIfPresent, containsKey, equals, hashCode, isEmpty, merge, put, putAll, putIfAbsent, remove, remove, replace, replace, size
private static final long serialVersionUID
public void replaceSelf(ProgramVariable oldSelf, S newSelf, TermServices services)
public void replaceFlags(Map<Label,ProgramVariable> oldFlags, Map<Label,S> newFlags, TermServices services)
public void replaceVariable(ProgramVariable oldVariable, S newVariable, TermServices services)
public void replaceRemembranceHeaps(Map<LocationVariable,LocationVariable> oldRemembranceHeaps, Map<LocationVariable,? extends S> newRemembranceHeaps, Services services)
public void replaceRemembranceLocalVariables(Map<LocationVariable,LocationVariable> oldRemembranceLocalVariables, Map<LocationVariable,? extends S> newRemembranceLocalVariables, TermServices services)
protected abstract S convert(ProgramVariable variable, TermServices services)