proguard.analysis.cpa.defaults

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

All Superinterfaces:

AbstractState, LatticeAbstractState<MapAbstractState<KeyT,AbstractSpaceT>>, java.util.Map<KeyT,AbstractSpaceT>

All Known Implementing Classes:

DifferentialMapAbstractState, HashMapAbstractState, LimitedHashMapAbstractState

public interface MapAbstractState<KeyT,AbstractSpaceT extends LatticeAbstractState<AbstractSpaceT>>
extends java.util.Map<KeyT,AbstractSpaceT>, LatticeAbstractState<MapAbstractState<KeyT,AbstractSpaceT>>

Nested Class Summary

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

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

Method Summary

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

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

Method Detail

join

default 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

default 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

MapAbstractState<KeyT,AbstractSpaceT> copy()

Description copied from interface: AbstractState

Creates a copy of itself.

Specified by:

copy in interface AbstractState