proguard.analysis.cpa.jvm.domain.reference

Class JvmReferenceReduceOperator

java.lang.Object

proguard.analysis.cpa.jvm.operators.JvmDefaultReduceOperator<SetAbstractState<Reference>>

proguard.analysis.cpa.jvm.domain.reference.JvmReferenceReduceOperator

All Implemented Interfaces:

ReduceOperator<JvmCfaNode,JvmCfaEdge,MethodSignature>, JvmAbstractStateFactory<SetAbstractState<Reference>>

public class JvmReferenceReduceOperator
extends JvmDefaultReduceOperator<SetAbstractState<Reference>>

This reduce operator behaves the same as the JvmDefaultReduceOperator but operates on JvmReferenceAbstractStates.

Constructor Summary

Constructors

Constructor and Description
JvmReferenceReduceOperator()

Method Summary

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

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

reduce

Methods inherited from class java.lang.Object

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

Constructor Detail

JvmReferenceReduceOperator

public JvmReferenceReduceOperator()

Method Detail

createJvmAbstractState

public JvmReferenceAbstractState createJvmAbstractState(JvmCfaNode programLocation,
                                                        JvmFrameAbstractState<SetAbstractState<Reference>> frame,
                                                        JvmHeapAbstractState<SetAbstractState<Reference>> heap,
                                                        MapAbstractState<java.lang.String,SetAbstractState<Reference>> staticFields)

Description copied from interface: JvmAbstractStateFactory

Returns an instance of JvmAbstractState.