private static class SimpleBlockContract.VariableReplacementMap extends SimpleBlockContract.ReplacementMap<ProgramVariable>
AbstractMap.SimpleEntry<K,V>, AbstractMap.SimpleImmutableEntry<K,V>
Modifier and Type | Field and Description |
---|---|
private static long |
serialVersionUID |
Modifier | Constructor and Description |
---|---|
private |
SimpleBlockContract.VariableReplacementMap() |
Modifier and Type | Method and Description |
---|---|
protected ProgramVariable |
convert(ProgramVariable variable,
TermServices services) |
replaceFlags, replaceRemembranceHeaps, replaceRemembranceLocalVariables, replaceSelf, replaceVariable
clear, containsValue, get, removeEldestEntry
clone, containsKey, entrySet, isEmpty, keySet, put, putAll, remove, size, values
equals, hashCode, toString
private static final long serialVersionUID
private SimpleBlockContract.VariableReplacementMap()
protected ProgramVariable convert(ProgramVariable variable, TermServices services)
convert
in class SimpleBlockContract.ReplacementMap<ProgramVariable>