proguard.analysis.cpa.domain.arg

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

java.lang.Object

proguard.analysis.cpa.domain.arg.ArgReduceOperator<CfaNodeT,CfaEdgeT,SignatureT>

All Implemented Interfaces:

ReduceOperator<CfaNodeT,CfaEdgeT,SignatureT>

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

This ReduceOperator delegates reduction to its inner reduce operator and creates an ARG node to its output.

Field Summary

Fields

Modifier and Type	Field and Description
protected ArgAbstractStateFactory	argAbstractStateFactory
protected ReduceOperator<CfaNodeT,CfaEdgeT,SignatureT>	wrappedReduceOperator

Constructor Summary

Constructors

Constructor and Description
ArgReduceOperator(ReduceOperator<CfaNodeT,CfaEdgeT,SignatureT> wrappedReduceOperator, ArgAbstractStateFactory argAbstractStateFactory) Create a wrapper reduce operator.

Method Summary

Modifier and Type	Method and Description
ArgAbstractState	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

Field Detail

wrappedReduceOperator

protected final ReduceOperator<CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,SignatureT extends Signature> wrappedReduceOperator

argAbstractStateFactory

protected final ArgAbstractStateFactory argAbstractStateFactory

Constructor Detail

ArgReduceOperator

public ArgReduceOperator(ReduceOperator<CfaNodeT,CfaEdgeT,SignatureT> wrappedReduceOperator,
                         ArgAbstractStateFactory argAbstractStateFactory)

Create a wrapper reduce operator.

Parameters:

wrappedReduceOperator - a reduce operator to be wrapped

argAbstractStateFactory - an abstract state factory to wrap the operator result

Method Detail

reduce

public ArgAbstractState 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