proguard.analysis.cpa.state

Interface MapAbstractStateFactory<KeyT,StateT extends LatticeAbstractState<StateT>>

All Known Implementing Classes:

DifferentialMapAbstractStateFactory, HashMapAbstractStateFactory, LimitedHashMapAbstractStateFactory

public interface MapAbstractStateFactory<KeyT,StateT extends LatticeAbstractState<StateT>>

This interface contains a method creating a fresh instance of MapAbstractState.

Method Summary

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

Method Detail

createMapAbstractState

MapAbstractState<KeyT,StateT> createMapAbstractState()

Returns an instance of MapAbstractState.