All Superinterfaces:: AbstractState<MapAbstractState<KeyT,AbstractSpaceT>>, Map<KeyT,AbstractSpaceT>

public interface MapAbstractState<KeyT,AbstractSpaceT extends AbstractState<AbstractSpaceT>> extends Map<KeyT,AbstractSpaceT>, AbstractState<MapAbstractState<KeyT,AbstractSpaceT>>

Nested Class Summary

Nested classes/interfaces inherited from interface java.util.Map
Map.Entry<K extends Object,V extends 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 (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 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

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

Nested Class Summary