public class NoOpReduceOperator<CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,SignatureT extends Signature> extends java.lang.Object implements ReduceOperator<CfaNodeT,CfaEdgeT,SignatureT>
ReduceOperator
returns the original AbstractState
without performing any reduction.Constructor and Description |
---|
NoOpReduceOperator() |
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.
|
public AbstractState reduce(AbstractState expandedInitialState, CfaNodeT blockEntryNode, Call call)
ReduceOperator
reduce
in interface ReduceOperator<CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,SignatureT extends Signature>
expandedInitialState
- the entry state of the called procedure before any reductionblockEntryNode
- the entry node of the called procedurecall
- the information of the call to the procedure