proguard.analysis.cpa.defaults

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

All Superinterfaces:

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

All Known Implementing Classes:

HashMapAbstractState

public interface MapAbstractState<KeyT,AbstractSpaceT extends AbstractState<AbstractSpaceT>>
extends java.util.Map<KeyT,AbstractSpaceT>, AbstractState<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 (i.e., compare the states on the partial order provided by the domain of the analysis).
default MapAbstractState<KeyT,AbstractSpaceT>	join(MapAbstractState<KeyT,AbstractSpaceT> abstractState) Computes a join over itself and another abstract state abstractState (i.e., finds the least upper bound on the semilattice).

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.interfaces.AbstractState

equals, getPrecision, hashCode, isLess

Method Detail

join

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

Description copied from interface: AbstractState

Computes a join over itself and another abstract state abstractState (i.e., finds the least upper bound on the semilattice).

Specified by:

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

isLessOrEqual

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

Description copied from interface: AbstractState

Compares itself to the abstractState (i.e., compare the states on the partial order provided by the domain of the analysis).

Specified by:

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

copy

MapAbstractState<KeyT,AbstractSpaceT> copy()

Description copied from interface: AbstractState

Creates a copy of itself.

Specified by:

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