S
- the key and value type.private abstract static class AbstractAuxiliaryContractImpl.ReplacementMap<S extends Sorted>
extends java.util.LinkedHashMap<S,S>
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(java.util.Map<Label,ProgramVariable> oldFlags,
java.util.Map<Label,S> newFlags,
TermServices services)
Adds a mapping for every flag.
|
void |
replaceRemembranceHeaps(java.util.Map<LocationVariable,LocationVariable> oldRemembranceHeaps,
java.util.Map<LocationVariable,? extends S> newRemembranceHeaps,
Services services)
Adds mappings for the remembrance heaps.
|
void |
replaceRemembranceLocalVariables(java.util.Map<LocationVariable,LocationVariable> oldRemembranceLocalVariables,
java.util.Map<LocationVariable,? extends S> newRemembranceLocalVariables,
TermServices services)
Adds mappings for the remembrance variables.
|
void |
replaceSelf(ProgramVariable oldSelf,
S newSelf,
TermServices services)
Adds a mapping for the self variable.
|
void |
replaceVariable(ProgramVariable oldVariable,
S newVariable,
TermServices services)
Adds a mapping for a variable.
|
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
private static final long serialVersionUID
public void replaceSelf(ProgramVariable oldSelf, S newSelf, TermServices services)
oldSelf
- the old self variable.newSelf
- the new self variable.services
- services.public void replaceFlags(java.util.Map<Label,ProgramVariable> oldFlags, java.util.Map<Label,S> newFlags, TermServices services)
oldFlags
- old flags.newFlags
- new flags.services
- services.public void replaceVariable(ProgramVariable oldVariable, S newVariable, TermServices services)
oldVariable
- old variable.newVariable
- new variable.services
- services.public void replaceRemembranceHeaps(java.util.Map<LocationVariable,LocationVariable> oldRemembranceHeaps, java.util.Map<LocationVariable,? extends S> newRemembranceHeaps, Services services)
oldRemembranceHeaps
- old remembrance heaps.newRemembranceHeaps
- new remembrance heaps.services
- services.public void replaceRemembranceLocalVariables(java.util.Map<LocationVariable,LocationVariable> oldRemembranceLocalVariables, java.util.Map<LocationVariable,? extends S> newRemembranceLocalVariables, TermServices services)
oldRemembranceLocalVariables
- old remembrance variables.newRemembranceLocalVariables
- new remembrance variables.services
- servicesprotected abstract S convert(ProgramVariable variable, TermServices services)
variable
- a variable.services
- services.S
.