proguard.analysis.cpa.bam

Class NoOpRebuildOperator

java.lang.Object

proguard.analysis.cpa.bam.NoOpRebuildOperator

All Implemented Interfaces:

RebuildOperator

public class NoOpRebuildOperator
extends java.lang.Object
implements RebuildOperator

This RebuildOperator returns the original AbstractState without performing any rebuilding.

Constructor Summary

Constructors

Constructor and Description
NoOpRebuildOperator()

Method Summary

Modifier and Type	Method and Description
AbstractState	rebuild(AbstractState predecessorCallState, AbstractState expandedOutputState) Performs the rebuilding of the return state.

Methods inherited from class java.lang.Object

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

Constructor Detail

NoOpRebuildOperator

public NoOpRebuildOperator()

Method Detail

rebuild

public AbstractState rebuild(AbstractState predecessorCallState,
                             AbstractState expandedOutputState)

Description copied from interface: RebuildOperator

Performs the rebuilding of the return state.

Specified by:

rebuild in interface RebuildOperator

Parameters:

predecessorCallState - the state of the caller at the moment of the procedure call

expandedOutputState - the output of ExpandOperator

Returns:

The state of the caller after the procedure call