Package proguard.analysis.cpa.defaults

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

java.lang.Object

java.util.AbstractMap<K,V>

java.util.HashMap<KeyT,AbstractSpaceT>

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

All Implemented Interfaces:

Serializable, Cloneable, Map<KeyT,AbstractSpaceT>, MapAbstractState<KeyT,AbstractSpaceT>, AbstractState<MapAbstractState<KeyT,AbstractSpaceT>>

public class HashMapAbstractState<KeyT,AbstractSpaceT extends AbstractState<AbstractSpaceT>>
extends HashMap<KeyT,AbstractSpaceT>
implements MapAbstractState<KeyT,AbstractSpaceT>

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

See Also:

• Serialized Form

Nested Class Summary

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

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

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

Map.Entry<K extends Object,V extends Object>

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	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, notify, notifyAll, wait, wait, wait

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

equals, getPrecision, hashCode, isLess

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.MapAbstractState

isLessOrEqual, join

Constructor Details

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(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 Details

copy

public HashMapAbstractState<KeyT,AbstractSpaceT> copy()

Description copied from interface: AbstractState

Creates a copy of itself.

Specified by:

copy in interface AbstractState<KeyT>

Specified by:

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