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
<ContentT extends AbstractState<ContentT>> JvmAbstractState<ContentT>	rebuild(JvmAbstractState<ContentT> predecessorCallState, JvmAbstractState<ContentT> 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 <ContentT extends AbstractState<ContentT>> JvmAbstractState<ContentT> rebuild(JvmAbstractState<ContentT> predecessorCallState,
                                                                                     JvmAbstractState<ContentT> expandedOutputState)

Description copied from interface: RebuildOperator

Performs the rebuilding of the return state.

Specified by:

rebuild in interface RebuildOperator

Type Parameters:

ContentT - The content of the jvm states. For example, this can be a SetAbstractState of taints for taint analysis or a ValueAbstractState for value analysis.

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