de.uka.ilkd.key.speclang

Class AbstractAuxiliaryContractImpl.VariableReplacementMap

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<ProgramVariable>

de.uka.ilkd.key.speclang.AbstractAuxiliaryContractImpl.VariableReplacementMap

All Implemented Interfaces:

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

Enclosing class:

AbstractAuxiliaryContractImpl

private static class AbstractAuxiliaryContractImpl.VariableReplacementMap
extends AbstractAuxiliaryContractImpl.ReplacementMap<ProgramVariable>

A replacement map for variables.

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	VariableReplacementMap()

Method Summary

Modifier and Type	Method and Description
protected ProgramVariable	convert(ProgramVariable variable, TermServices services)

Methods inherited from class de.uka.ilkd.key.speclang.AbstractAuxiliaryContractImpl.ReplacementMap

replaceFlags, replaceRemembranceHeaps, replaceRemembranceLocalVariables, replaceSelf, replaceVariable

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

VariableReplacementMap

private VariableReplacementMap()

Method Detail

convert

protected ProgramVariable convert(ProgramVariable variable,
                                  TermServices services)

Specified by:

convert in class AbstractAuxiliaryContractImpl.ReplacementMap<ProgramVariable>

Parameters:

variable - a variable.

services - services.

Returns:

a conversion of the specified variable to the type S.