de.uka.ilkd.key.speclang

Class AbstractAuxiliaryContractImpl.TermReplacementMap

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

de.uka.ilkd.key.speclang.AbstractAuxiliaryContractImpl.TermReplacementMap

All Implemented Interfaces:

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

Enclosing class:

AbstractAuxiliaryContractImpl

private static class AbstractAuxiliaryContractImpl.TermReplacementMap
extends AbstractAuxiliaryContractImpl.ReplacementMap<Term>

A replacement map for terms.

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

Method Summary

Modifier and Type	Method and Description
protected Term	convert(ProgramVariable variable, TermServices services)
void	replaceHeap(Term newHeap, Services 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

TermReplacementMap

private TermReplacementMap()

Method Detail

replaceHeap

public void replaceHeap(Term newHeap,
                        Services services)

convert

protected Term convert(ProgramVariable variable,
                       TermServices services)

Specified by:

convert in class AbstractAuxiliaryContractImpl.ReplacementMap<Term>

Parameters:

variable - a variable.

services - services.

Returns:

a conversion of the specified variable to the type S.