Package 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>>
-
-
Method Summary
All Methods Instance Methods Abstract Methods Default Methods Modifier and Type Method Description MapAbstractState<KeyT,AbstractSpaceT>
copy()
Creates a copy of itself.default boolean
isLessOrEqual(MapAbstractState<KeyT,AbstractSpaceT> abstractState)
Compares itself to theabstractState
(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 stateabstractState
(i.e., finds the least upper bound on the semilattice).-
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 stateabstractState
(i.e., finds the least upper bound on the semilattice).- Specified by:
join
in interfaceAbstractState<KeyT>
-
isLessOrEqual
default boolean isLessOrEqual(MapAbstractState<KeyT,AbstractSpaceT> abstractState)
Description copied from interface:AbstractState
Compares itself to theabstractState
(i.e., compare the states on the partial order provided by the domain of the analysis).- Specified by:
isLessOrEqual
in interfaceAbstractState<KeyT>
-
copy
MapAbstractState<KeyT,AbstractSpaceT> copy()
Description copied from interface:AbstractState
Creates a copy of itself.- Specified by:
copy
in interfaceAbstractState<KeyT>
-
-