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 and Description
NoOpReduceOperator()

Method Summary

Modifier and Type	Method and Description
AbstractState	reduce(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

Constructor Detail

NoOpReduceOperator

public NoOpReduceOperator()

Method Detail

reduce

public AbstractState reduce(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:

reduce 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