Package proguard.analysis.cpa.jvm.domain.value

Class ValueExpandOperator

java.lang.Object

proguard.analysis.cpa.jvm.operators.DefaultExpandOperator<ValueAbstractState>

proguard.analysis.cpa.jvm.domain.value.ValueExpandOperator

All Implemented Interfaces:

ExpandOperator<ValueAbstractState>

public class ValueExpandOperator
extends DefaultExpandOperator<ValueAbstractState>

A DefaultExpandOperator that creates JvmValueAbstractStates.

Constructor Summary

Constructors

Constructor	Description
ValueExpandOperator(ValueFactory valueFactory, ExecutingInvocationUnit executingInvocationUnit, JvmCfa cfa)
ValueExpandOperator(ValueFactory valueFactory, ExecutingInvocationUnit executingInvocationUnit, JvmCfa cfa, boolean expandHeap)

Method Summary

Modifier and Type	Method	Description
protected JvmAbstractState<ValueAbstractState>	createJvmAbstractState(JvmCfaNode programLocation, JvmFrameAbstractState<ValueAbstractState> frame, JvmHeapAbstractState<ValueAbstractState> heap, MapAbstractState<java.lang.String,ValueAbstractState> staticFields)

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

calculateReturnValues, expand, expandHeap

Methods inherited from class java.lang.Object

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

Constructor Detail

ValueExpandOperator

public ValueExpandOperator(ValueFactory valueFactory,
                           ExecutingInvocationUnit executingInvocationUnit,
                           JvmCfa cfa)

ValueExpandOperator

public ValueExpandOperator(ValueFactory valueFactory,
                           ExecutingInvocationUnit executingInvocationUnit,
                           JvmCfa cfa,
                           boolean expandHeap)

Method Detail

createJvmAbstractState

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

Overrides:

createJvmAbstractState in class DefaultExpandOperator<ValueAbstractState>