de.uka.ilkd.key.speclang

Class SimpleBlockContract.ReplacementMap<S extends Sorted>

java.lang.Object

java.util.AbstractMap<K,V>

java.util.HashMap<K,V>

java.util.LinkedHashMap<S,S>

de.uka.ilkd.key.speclang.SimpleBlockContract.ReplacementMap<S>

All Implemented Interfaces:

Serializable, Cloneable, Map<S,S>

Direct Known Subclasses:

SimpleBlockContract.TermReplacementMap, SimpleBlockContract.VariableReplacementMap

Enclosing class:

SimpleBlockContract

private abstract static class SimpleBlockContract.ReplacementMap<S extends Sorted>
extends LinkedHashMap<S,S>

Nested Class Summary

Nested classes/interfaces inherited from class java.util.AbstractMap

AbstractMap.SimpleEntry<K,V>, AbstractMap.SimpleImmutableEntry<K,V>

Field Summary

Fields

Modifier and Type	Field and Description
private static long	serialVersionUID

Constructor Summary

Constructors

Modifier	Constructor and Description
private	ReplacementMap()

Method Summary

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)

Methods inherited from class java.util.LinkedHashMap

clear, containsValue, entrySet, forEach, get, getOrDefault, keySet, removeEldestEntry, replaceAll, values

Methods inherited from class java.util.HashMap

clone, compute, computeIfAbsent, computeIfPresent, containsKey, isEmpty, merge, put, putAll, putIfAbsent, remove, remove, replace, replace, size

Methods inherited from class java.util.AbstractMap

equals, hashCode, toString

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Map

compute, computeIfAbsent, computeIfPresent, containsKey, equals, hashCode, isEmpty, merge, put, putAll, putIfAbsent, remove, remove, replace, replace, size

Field Detail

serialVersionUID

private static final long serialVersionUID

See Also:

Constant Field Values

Constructor Detail

ReplacementMap

private ReplacementMap()

Method Detail

replaceSelf

public void replaceSelf(ProgramVariable oldSelf,
                        S newSelf,
                        TermServices services)

replaceFlags

public void replaceFlags(Map<Label,ProgramVariable> oldFlags,
                         Map<Label,S> newFlags,
                         TermServices services)

replaceVariable

public void replaceVariable(ProgramVariable oldVariable,
                            S newVariable,
                            TermServices services)

replaceRemembranceHeaps

public void replaceRemembranceHeaps(Map<LocationVariable,LocationVariable> oldRemembranceHeaps,
                                    Map<LocationVariable,? extends S> newRemembranceHeaps,
                                    Services services)

replaceRemembranceLocalVariables

public void replaceRemembranceLocalVariables(Map<LocationVariable,LocationVariable> oldRemembranceLocalVariables,
                                             Map<LocationVariable,? extends S> newRemembranceLocalVariables,
                                             TermServices services)

convert

protected abstract S convert(ProgramVariable variable,
                             TermServices services)