Package proguard.analysis.cpa.bam

Class NoOpReduceOperator<CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,SignatureT extends Signature>

java.lang.Object

proguard.analysis.cpa.bam.NoOpReduceOperator<CfaNodeT,CfaEdgeT,SignatureT>

All Implemented Interfaces:

ReduceOperator<CfaNodeT,CfaEdgeT,SignatureT>

public class NoOpReduceOperator<CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,SignatureT extends Signature>
extends java.lang.Object
implements ReduceOperator<CfaNodeT,CfaEdgeT,SignatureT>

This ReduceOperator returns the original AbstractState without performing any reduction.

Constructor Summary

Constructors

Constructor	Description
NoOpReduceOperator()

Method Summary

Modifier and Type	Method	Description
AbstractState	reduceImpl(AbstractState expandedInitialState, CfaNodeT blockEntryNode, Call call)	Creates the initial state of the called procedure discarding the useless information from the state of the caller.

Methods inherited from class java.lang.Object

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

Methods inherited from interface proguard.analysis.cpa.bam.ReduceOperator

onMethodEntry, reduce

Constructor Detail

NoOpReduceOperator

public NoOpReduceOperator()

Method Detail

reduceImpl

public AbstractState reduceImpl(AbstractState expandedInitialState,
                                CfaNodeT blockEntryNode,
                                Call call)

Description copied from interface: ReduceOperator

Creates the initial state of the called procedure discarding the useless information from the state of the caller.

Specified by:

reduceImpl in interface ReduceOperator<CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,SignatureT extends Signature>

Parameters:

expandedInitialState - the entry state of the called procedure before any reduction

blockEntryNode - the entry node of the called procedure

call - the information of the call to the procedure

Returns:

The entry state of the called procedure