de.uka.ilkd.key.util.joinrule

Class JoinRuleUtils.LocVarReplBranchUniqueMap

java.lang.Object

java.util.AbstractMap<K,V>

java.util.HashMap<ProgramVariable,ProgramVariable>

de.uka.ilkd.key.util.joinrule.JoinRuleUtils.LocVarReplBranchUniqueMap

All Implemented Interfaces:

Serializable, Cloneable, Map<ProgramVariable,ProgramVariable>

Enclosing class:

JoinRuleUtils

private static class JoinRuleUtils.LocVarReplBranchUniqueMap
extends HashMap<ProgramVariable,ProgramVariable>

Map for renaming variables to their branch-unique names. Putting things into this map has absolutely no effect; the get method just relies on the LocationVariable#getBranchUniqueName() method of the respective location variable. Therefore, this map is also a singleton object.

Author:

Dominic Scheurer

Nested Class Summary

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

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

Nested classes/interfaces inherited from interface java.util.Map

Map.Entry<K,V>

Field Summary

Fields

Modifier and Type	Field and Description
private HashMap<LocationVariable,ProgramVariable>	cache
private ImmutableSet<LocationVariable>	doNotRename
private Node	node
private static long	serialVersionUID

Constructor Summary

Constructors

Constructor and Description
LocVarReplBranchUniqueMap(Node goal, ImmutableSet<LocationVariable> doNotRename)

Method Summary

Modifier and Type	Method and Description
boolean	containsKey(Object key)
boolean	containsValue(Object value)
Set<Map.Entry<ProgramVariable,ProgramVariable>>	entrySet()
ProgramVariable	get(Object key)
boolean	isEmpty()
Set<ProgramVariable>	keySet()
ProgramVariable	put(ProgramVariable key, ProgramVariable value)
ProgramVariable	remove(Object key)
Collection<ProgramVariable>	values()

Methods inherited from class java.util.HashMap

clear, clone, compute, computeIfAbsent, computeIfPresent, forEach, getOrDefault, merge, putAll, putIfAbsent, remove, replace, replace, replaceAll, 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

equals, hashCode

Field Detail

serialVersionUID

private static final long serialVersionUID

See Also:

Constant Field Values

node

private final Node node

doNotRename

private final ImmutableSet<LocationVariable> doNotRename

cache

private final HashMap<LocationVariable,ProgramVariable> cache

Constructor Detail

LocVarReplBranchUniqueMap

public LocVarReplBranchUniqueMap(Node goal,
                                 ImmutableSet<LocationVariable> doNotRename)

Method Detail

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface Map<ProgramVariable,ProgramVariable>

Overrides:

isEmpty in class HashMap<ProgramVariable,ProgramVariable>

containsKey

public boolean containsKey(Object key)

Specified by:

containsKey in interface Map<ProgramVariable,ProgramVariable>

Overrides:

containsKey in class HashMap<ProgramVariable,ProgramVariable>

containsValue

public boolean containsValue(Object value)

Specified by:

containsValue in interface Map<ProgramVariable,ProgramVariable>

Overrides:

containsValue in class HashMap<ProgramVariable,ProgramVariable>

get

public ProgramVariable get(Object key)

Specified by:

get in interface Map<ProgramVariable,ProgramVariable>

Overrides:

get in class HashMap<ProgramVariable,ProgramVariable>

put

public ProgramVariable put(ProgramVariable key,
                           ProgramVariable value)

Specified by:

put in interface Map<ProgramVariable,ProgramVariable>

Overrides:

put in class HashMap<ProgramVariable,ProgramVariable>

remove

public ProgramVariable remove(Object key)

Specified by:

remove in interface Map<ProgramVariable,ProgramVariable>

Overrides:

remove in class HashMap<ProgramVariable,ProgramVariable>

keySet

public Set<ProgramVariable> keySet()

Specified by:

keySet in interface Map<ProgramVariable,ProgramVariable>

Overrides:

keySet in class HashMap<ProgramVariable,ProgramVariable>

values

public Collection<ProgramVariable> values()

Specified by:

values in interface Map<ProgramVariable,ProgramVariable>

Overrides:

values in class HashMap<ProgramVariable,ProgramVariable>

entrySet

public Set<Map.Entry<ProgramVariable,ProgramVariable>> entrySet()

Specified by:

entrySet in interface Map<ProgramVariable,ProgramVariable>

Overrides:

entrySet in class HashMap<ProgramVariable,ProgramVariable>