HashMapAbstractState (ProGuardCORE)

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>, MapAbstractState<KeyT,AbstractSpaceT>, AbstractState<MapAbstractState<KeyT,AbstractSpaceT>>
```
public class HashMapAbstractState<KeyT,AbstractSpaceT extends AbstractState<AbstractSpaceT>>
extends java.util.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
  java.util.AbstractMap.SimpleEntry<K extends java.lang.Object,V extends java.lang.Object>, java.util.AbstractMap.SimpleImmutableEntry<K extends java.lang.Object,V extends java.lang.Object>
- Nested classes/interfaces inherited from interface java.util.Map
  java.util.Map.Entry<K extends java.lang.Object,V extends java.lang.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(java.util.Map<? extends KeyT,? extends AbstractSpaceT> m)`	Create a hash map abstract state from another map.

Method Summary

All Methods Instance Methods Concrete Methods
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 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 AbstractState<KeyT>
    
    Specified by:
    
    copy in interface MapAbstractState<KeyT,AbstractSpaceT extends AbstractState<AbstractSpaceT>>