proguard.analysis.cpa.jvm.domain.value

Class JvmValueReduceOperator

java.lang.Object

proguard.analysis.cpa.jvm.operators.JvmDefaultReduceOperator<JvmAbstractState<ValueAbstractState>>

proguard.analysis.cpa.jvm.domain.value.JvmValueReduceOperator

All Implemented Interfaces:

ReduceOperator<JvmCfaNode,JvmCfaEdge,MethodSignature>, JvmAbstractStateFactory<JvmAbstractState<ValueAbstractState>>

public class JvmValueReduceOperator
extends JvmDefaultReduceOperator<JvmAbstractState<ValueAbstractState>>

A JvmDefaultReduceOperator that creates JvmValueAbstractStates.

Constructor Summary

Constructors

Constructor and Description
JvmValueReduceOperator(ValueFactory valueFactory, ExecutingInvocationUnit executingInvocationUnit)

Method Summary

Modifier and Type	Method and Description
JvmValueAbstractState	createJvmAbstractState(JvmCfaNode programLocation, JvmFrameAbstractState frame, JvmHeapAbstractState heap, MapAbstractState staticFields) Returns an instance of JvmAbstractState.

Methods inherited from class proguard.analysis.cpa.jvm.operators.JvmDefaultReduceOperator

reduce, reduceHeap, reduceStaticFields

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

JvmValueReduceOperator

public JvmValueReduceOperator(ValueFactory valueFactory,
                              ExecutingInvocationUnit executingInvocationUnit)

Method Detail

createJvmAbstractState

public JvmValueAbstractState createJvmAbstractState(JvmCfaNode programLocation,
                                                    JvmFrameAbstractState frame,
                                                    JvmHeapAbstractState heap,
                                                    MapAbstractState staticFields)

Description copied from interface: JvmAbstractStateFactory

Returns an instance of JvmAbstractState.