proguard.analysis.cpa.state

Class DifferentialMapAbstractStateFactory<KeyT,StateT extends LatticeAbstractState<StateT>>

java.lang.Object

proguard.analysis.cpa.state.DifferentialMapAbstractStateFactory<KeyT,StateT>

All Implemented Interfaces:

MapAbstractStateFactory<KeyT,StateT>

public class DifferentialMapAbstractStateFactory<KeyT,StateT extends LatticeAbstractState<StateT>>
extends java.lang.Object
implements MapAbstractStateFactory<KeyT,StateT>

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

Constructor Summary

Constructors

Constructor and Description
DifferentialMapAbstractStateFactory(java.util.function.Predicate<DifferentialMap<KeyT,StateT>> shouldCollapse) Create a differential map abstract state factory.

Method Summary

Modifier and Type	Method and Description
DifferentialMapAbstractState<KeyT,StateT>	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

DifferentialMapAbstractStateFactory

public DifferentialMapAbstractStateFactory(java.util.function.Predicate<DifferentialMap<KeyT,StateT>> shouldCollapse)

Create a differential map abstract state factory.

Parameters:

shouldCollapse - a collapse criterion

Method Detail

createMapAbstractState

public DifferentialMapAbstractState<KeyT,StateT> createMapAbstractState()

Description copied from interface: MapAbstractStateFactory

Returns an instance of MapAbstractState.

Specified by:

createMapAbstractState in interface MapAbstractStateFactory<KeyT,StateT extends LatticeAbstractState<StateT>>