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 |
VariableReplacementMap() |
Modifier and Type | Method and Description |
---|---|
protected ProgramVariable |
convert(ProgramVariable variable,
TermServices services) |
replaceFlags, replaceRemembranceHeaps, replaceRemembranceLocalVariables, replaceSelf, replaceVariable
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
protected ProgramVariable convert(ProgramVariable variable, TermServices services)
convert
in class SimpleBlockContract.ReplacementMap<ProgramVariable>