de.uka.ilkd.key.speclang

Class AbstractAuxiliaryContractImpl.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.AbstractAuxiliaryContractImpl.ReplacementMap<S>

Type Parameters:

S - the key and value type.

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, java.util.Map<S,S>

Direct Known Subclasses:

AbstractAuxiliaryContractImpl.TermReplacementMap, AbstractAuxiliaryContractImpl.VariableReplacementMap

Enclosing class:

AbstractAuxiliaryContractImpl

private abstract static class AbstractAuxiliaryContractImpl.ReplacementMap<S extends Sorted>
extends java.util.LinkedHashMap<S,S>

A map from some type to the same type.

Nested Class Summary

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

java.util.AbstractMap.SimpleEntry<K,V>, java.util.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(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.

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)

Adds a mapping for the self variable.

Parameters:

oldSelf - the old self variable.

newSelf - the new self variable.

services - services.

replaceFlags

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

Adds a mapping for every flag.

Parameters:

oldFlags - old flags.

newFlags - new flags.

services - services.

replaceVariable

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

Adds a mapping for a variable.

Parameters:

oldVariable - old variable.

newVariable - new variable.

services - services.

replaceRemembranceHeaps

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

Adds mappings for the remembrance heaps.

Parameters:

oldRemembranceHeaps - old remembrance heaps.

newRemembranceHeaps - new remembrance heaps.

services - services.

replaceRemembranceLocalVariables

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

Adds mappings for the remembrance variables.

Parameters:

oldRemembranceLocalVariables - old remembrance variables.

newRemembranceLocalVariables - new remembrance variables.

services - services

convert

protected abstract S convert(ProgramVariable variable,
                             TermServices services)

Parameters:

variable - a variable.

services - services.

Returns:

a conversion of the specified variable to the type S.