de.uka.ilkd.key.util.mergerule

Class MergeRuleUtils.LocVarReplBranchUniqueMap

java.lang.Object

java.util.AbstractMap<K,V>

java.util.HashMap<ProgramVariable,ProgramVariable>

de.uka.ilkd.key.util.mergerule.MergeRuleUtils.LocVarReplBranchUniqueMap

All Implemented Interfaces:

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

Enclosing class:

MergeRuleUtils

private static class MergeRuleUtils.LocVarReplBranchUniqueMap
extends java.util.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

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

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

java.util.Map.Entry<K,V>

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.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(java.lang.Object key)
boolean	containsValue(java.lang.Object value)
java.util.Set<java.util.Map.Entry<ProgramVariable,ProgramVariable>>	entrySet()
ProgramVariable	get(java.lang.Object key)
boolean	isEmpty()
java.util.Set<ProgramVariable>	keySet()
ProgramVariable	put(ProgramVariable key, ProgramVariable value)
ProgramVariable	remove(java.lang.Object key)
java.util.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 java.util.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 java.util.Map<ProgramVariable,ProgramVariable>

Overrides:

isEmpty in class java.util.HashMap<ProgramVariable,ProgramVariable>

containsKey

public boolean containsKey(java.lang.Object key)

Specified by:

containsKey in interface java.util.Map<ProgramVariable,ProgramVariable>

Overrides:

containsKey in class java.util.HashMap<ProgramVariable,ProgramVariable>

containsValue

public boolean containsValue(java.lang.Object value)

Specified by:

containsValue in interface java.util.Map<ProgramVariable,ProgramVariable>

Overrides:

containsValue in class java.util.HashMap<ProgramVariable,ProgramVariable>

get

public ProgramVariable get(java.lang.Object key)

Specified by:

get in interface java.util.Map<ProgramVariable,ProgramVariable>

Overrides:

get in class java.util.HashMap<ProgramVariable,ProgramVariable>

put

public ProgramVariable put(ProgramVariable key,
                           ProgramVariable value)

Specified by:

put in interface java.util.Map<ProgramVariable,ProgramVariable>

Overrides:

put in class java.util.HashMap<ProgramVariable,ProgramVariable>

remove

public ProgramVariable remove(java.lang.Object key)

Specified by:

remove in interface java.util.Map<ProgramVariable,ProgramVariable>

Overrides:

remove in class java.util.HashMap<ProgramVariable,ProgramVariable>

keySet

public java.util.Set<ProgramVariable> keySet()

Specified by:

keySet in interface java.util.Map<ProgramVariable,ProgramVariable>

Overrides:

keySet in class java.util.HashMap<ProgramVariable,ProgramVariable>

values

public java.util.Collection<ProgramVariable> values()

Specified by:

values in interface java.util.Map<ProgramVariable,ProgramVariable>

Overrides:

values in class java.util.HashMap<ProgramVariable,ProgramVariable>

entrySet

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

Specified by:

entrySet in interface java.util.Map<ProgramVariable,ProgramVariable>

Overrides:

entrySet in class java.util.HashMap<ProgramVariable,ProgramVariable>