Package 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:

HashMapAbstractState

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 extends java.lang.Object,V extends java.lang.Object>

Method Summary

Modifier and Type	Method	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 proguard.analysis.cpa.interfaces.AbstractState

equals, getPrecision, hashCode

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

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

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<KeyT>

isLessOrEqual

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

Description copied from interface: LatticeAbstractState

Compares itself to the abstractState.

Specified by:

isLessOrEqual in interface LatticeAbstractState<KeyT>

copy

MapAbstractState<KeyT,AbstractSpaceT> copy()

Description copied from interface: AbstractState

Creates a copy of itself.

Specified by:

copy in interface AbstractState