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
ThisRebuildOperatorreturns the originalAbstractStatewithout 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:RebuildOperatorPerforms the rebuilding of the return state.- Specified by:
rebuildin interfaceRebuildOperator- Type Parameters:
ContentT- The content of the jvm states. For example, this can be aSetAbstractStateof taints for taint analysis or aValueAbstractStatefor 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
-
-