proguard.analysis.cpa.state

Interface MapAbstractStateFactory

All Known Implementing Classes:

DifferentialMapAbstractStateFactory, HashMapAbstractStateFactory

public interface MapAbstractStateFactory

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

Method Summary

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

Method Detail

createMapAbstractState

<KeyT,StateT extends LatticeAbstractState<StateT>> MapAbstractState<KeyT,StateT> createMapAbstractState()

Returns an instance of MapAbstractState.