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 |
SimpleBlockContract.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, get, removeEldestEntry
clone, containsKey, entrySet, isEmpty, keySet, put, putAll, remove, size, values
equals, hashCode, toString
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)