Package proguard.analysis.cpa.state
Class LimitedHashMapAbstractStateFactory<KeyT,AbstractSpaceT extends LatticeAbstractState<AbstractSpaceT>>
- java.lang.Object
-
- proguard.analysis.cpa.state.LimitedHashMapAbstractStateFactory<KeyT,AbstractSpaceT>
-
- All Implemented Interfaces:
MapAbstractStateFactory<KeyT,AbstractSpaceT>
public class LimitedHashMapAbstractStateFactory<KeyT,AbstractSpaceT extends LatticeAbstractState<AbstractSpaceT>> extends java.lang.Object implements MapAbstractStateFactory<KeyT,AbstractSpaceT>
This interface contains a method creating a fresh instance ofLimitedHashMapAbstractState
.
-
-
Constructor Summary
Constructors Constructor Description LimitedHashMapAbstractStateFactory(TriFunction<LimitedHashMap<KeyT,AbstractSpaceT>,KeyT,AbstractSpaceT,java.util.Optional<KeyT>> removeElement)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description LimitedHashMapAbstractState<KeyT,AbstractSpaceT>
createMapAbstractState()
Returns an instance of MapAbstractState.
-
-
-
Constructor Detail
-
LimitedHashMapAbstractStateFactory
public LimitedHashMapAbstractStateFactory(TriFunction<LimitedHashMap<KeyT,AbstractSpaceT>,KeyT,AbstractSpaceT,java.util.Optional<KeyT>> removeElement)
-
-
Method Detail
-
createMapAbstractState
public LimitedHashMapAbstractState<KeyT,AbstractSpaceT> createMapAbstractState()
Description copied from interface:MapAbstractStateFactory
Returns an instance of MapAbstractState.- Specified by:
createMapAbstractState
in interfaceMapAbstractStateFactory<KeyT,AbstractSpaceT extends LatticeAbstractState<AbstractSpaceT>>
-
-