Package proguard.analysis.cpa.jvm.state

Interface JvmAbstractStateFactory<StateT extends LatticeAbstractState<StateT>>

All Known Implementing Classes:

JvmDefaultExpandOperator, JvmDefaultReduceOperator, JvmReferenceExpandOperator, JvmReferenceReduceOperator, JvmTaintExpandOperator, JvmTaintReduceOperator, JvmValueExpandOperator, JvmValueReduceOperator

public interface JvmAbstractStateFactory<StateT extends LatticeAbstractState<StateT>>

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

Method Summary

Modifier and Type	Method	Description
default JvmAbstractState<StateT>	createJvmAbstractState(JvmCfaNode programLocation, JvmFrameAbstractState<StateT> frame, JvmHeapAbstractState<StateT> heap, MapAbstractState<java.lang.String,StateT> staticFields)	Returns an instance of JvmAbstractState.

Method Detail

createJvmAbstractState

default JvmAbstractState<StateT> createJvmAbstractState(JvmCfaNode programLocation,
                                                        JvmFrameAbstractState<StateT> frame,
                                                        JvmHeapAbstractState<StateT> heap,
                                                        MapAbstractState<java.lang.String,StateT> staticFields)

Returns an instance of JvmAbstractState.