proguard.analysis.cpa.state

Class DifferentialMapAbstractStateFactory

java.lang.Object

proguard.analysis.cpa.state.DifferentialMapAbstractStateFactory

All Implemented Interfaces:

MapAbstractStateFactory

public class DifferentialMapAbstractStateFactory
extends java.lang.Object
implements MapAbstractStateFactory

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

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
<KeyT,StateT extends LatticeAbstractState<StateT>> 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<?,?>> shouldCollapse)

Create a differential map abstract state factory.

Parameters:

shouldCollapse - a collapse criterion

Method Detail

createMapAbstractState

public <KeyT,StateT extends LatticeAbstractState<StateT>> DifferentialMapAbstractState<KeyT,StateT> createMapAbstractState()

Description copied from interface: MapAbstractStateFactory

Returns an instance of MapAbstractState.

Specified by:

createMapAbstractState in interface MapAbstractStateFactory