proguard.analysis.cpa.defaults

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

java.lang.Object

java.util.AbstractMap<K,V>

java.util.HashMap<KeyT,AbstractSpaceT>

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

All Implemented Interfaces:

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

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

This MapAbstractState 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
MapAbstractState()
MapAbstractState(int initialCapacity)

Method Summary

Modifier and Type	Method and Description
MapAbstractState<KeyT,AbstractSpaceT>	copy() Creates a copy of itself.
boolean	isLessOrEqual(MapAbstractState<KeyT,AbstractSpaceT> abstractState) Compares itself to the abstractState.
MapAbstractState<KeyT,AbstractSpaceT>	join(MapAbstractState<KeyT,AbstractSpaceT> abstractState) Computes a join over itself and the abstractState.

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

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

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

isLess

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

equals, getPrecision, getStateByName, hashCode

Methods inherited from interface java.util.Map

equals, hashCode

Constructor Detail

MapAbstractState

public MapAbstractState()

MapAbstractState

public MapAbstractState(int initialCapacity)

Method Detail

join

public MapAbstractState<KeyT,AbstractSpaceT> join(MapAbstractState<KeyT,AbstractSpaceT> abstractState)

Description copied from interface: LatticeAbstractState

Computes a join over itself and the abstractState.

Specified by:

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

isLessOrEqual

public boolean isLessOrEqual(MapAbstractState<KeyT,AbstractSpaceT> abstractState)

Description copied from interface: LatticeAbstractState

Compares itself to the abstractState.

Specified by:

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

copy

public MapAbstractState<KeyT,AbstractSpaceT> copy()

Description copied from interface: AbstractState

Creates a copy of itself.

Specified by:

copy in interface AbstractState