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 of LimitedHashMapAbstractState.

Constructor Summary

Constructors

Constructor and Description
LimitedHashMapAbstractStateFactory(TriFunction<LimitedHashMap<KeyT,AbstractSpaceT>,KeyT,AbstractSpaceT,java.util.Optional<KeyT>> removeElement)

Method Summary

Modifier and Type	Method and Description
LimitedHashMapAbstractState<KeyT,AbstractSpaceT>	createMapAbstractState() Returns an instance of MapAbstractState.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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 interface MapAbstractStateFactory<KeyT,AbstractSpaceT extends LatticeAbstractState<AbstractSpaceT>>