proguard.analysis.cpa.defaults

Class HashMapAbstractState<KeyT,AbstractSpaceT extends LatticeAbstractState<AbstractSpaceT>>

java.lang.Object

java.util.AbstractMap<K,V>

java.util.HashMap<KeyT,AbstractSpaceT>

proguard.analysis.cpa.defaults.HashMapAbstractState<KeyT,AbstractSpaceT>

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, java.util.Map<KeyT,AbstractSpaceT>, LatticeAbstractState<MapAbstractState<KeyT,AbstractSpaceT>>, MapAbstractState<KeyT,AbstractSpaceT>, AbstractState

public class HashMapAbstractState<KeyT,AbstractSpaceT extends LatticeAbstractState<AbstractSpaceT>>
extends java.util.HashMap<KeyT,AbstractSpaceT>
implements MapAbstractState<KeyT,AbstractSpaceT>

This HashMapAbstractState represents a map to LatticeAbstractStates with the semilattice operators lifted to the map.

See Also:

Serialized Form

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>

Constructor Summary

Constructors

Constructor and Description
HashMapAbstractState() Create an empty hash map abstract state.
HashMapAbstractState(int initialCapacity) Create an empty hash map abstract state with reserved initial capacity.
HashMapAbstractState(java.util.Map<? extends KeyT,? extends AbstractSpaceT> m) Create a hash map abstract state from another map.

Method Summary

Modifier and Type	Method and Description
HashMapAbstractState<KeyT,AbstractSpaceT>	copy() Creates a copy of itself.

Methods inherited from class java.util.HashMap

clear, clone, compute, computeIfAbsent, computeIfPresent, containsKey, containsValue, entrySet, forEach, get, getOrDefault, isEmpty, keySet, merge, put, putAll, putIfAbsent, remove, remove, replace, replace, replaceAll, size, values

Methods inherited from class java.util.AbstractMap

equals, hashCode, toString

Methods inherited from class java.lang.Object

finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface proguard.analysis.cpa.defaults.MapAbstractState

isLessOrEqual, join

Methods inherited from interface java.util.Map

clear, compute, computeIfAbsent, computeIfPresent, containsKey, containsValue, entrySet, equals, forEach, get, getOrDefault, hashCode, isEmpty, keySet, merge, put, putAll, putIfAbsent, remove, remove, replace, replace, replaceAll, size, values

Methods inherited from interface proguard.analysis.cpa.defaults.LatticeAbstractState

isLess

Methods inherited from interface proguard.analysis.cpa.interfaces.AbstractState

equals, getPrecision, getStateByName, hashCode

Constructor Detail

HashMapAbstractState

public HashMapAbstractState()

Create an empty hash map abstract state.

HashMapAbstractState

public HashMapAbstractState(int initialCapacity)

Create an empty hash map abstract state with reserved initial capacity.

Parameters:

initialCapacity - the initial capacity of the hash table

HashMapAbstractState

public HashMapAbstractState(java.util.Map<? extends KeyT,? extends AbstractSpaceT> m)

Create a hash map abstract state from another map.

Parameters:

m - map which elements are used for initialization

Method Detail

copy

public HashMapAbstractState<KeyT,AbstractSpaceT> copy()

Description copied from interface: AbstractState

Creates a copy of itself.

Specified by:

copy in interface MapAbstractState<KeyT,AbstractSpaceT extends LatticeAbstractState<AbstractSpaceT>>

Specified by:

copy in interface AbstractState