Package 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
ThisRebuildOperator
returns the originalAbstractState
without performing any rebuilding.
-
-
Constructor Summary
Constructors Constructor Description NoOpRebuildOperator()
-
Method Summary
All Methods Instance Methods Concrete Methods 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.
-
-
-
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 interfaceRebuildOperator
- Type Parameters:
ContentT
- The content of the jvm states. For example, this can be aSetAbstractState
of taints for taint analysis or aValueAbstractState
for value analysis.- Parameters:
predecessorCallState
- the state of the caller at the moment of the procedure callexpandedOutputState
- the output ofExpandOperator
- Returns:
- The state of the caller after the procedure call
-
-