Package proguard.analysis.cpa.bam

Class NoOpRebuildOperator

java.lang.Object

proguard.analysis.cpa.bam.NoOpRebuildOperator

All Implemented Interfaces:

RebuildOperator

public class NoOpRebuildOperator
extends Object
implements RebuildOperator

This RebuildOperator returns the original AbstractState without performing any rebuilding.

Constructor Summary

Constructors

Constructor	Description
NoOpRebuildOperator()

Method Summary

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

NoOpRebuildOperator

public NoOpRebuildOperator()

Method Details

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