程序包 proguard.analysis.cpa.bam

类 NoOpRebuildOperator

java.lang.Object

proguard.analysis.cpa.bam.NoOpRebuildOperator

所有已实现的接口:

RebuildOperator

public class NoOpRebuildOperator
extends java.lang.Object
implements RebuildOperator

This RebuildOperator returns the original AbstractState without performing any rebuilding.

构造器概要

构造器

构造器	说明
NoOpRebuildOperator()

方法概要

修饰符和类型	方法	说明
<ContentT extends AbstractState<ContentT>> JvmAbstractState<ContentT>	rebuild(JvmAbstractState<ContentT> predecessorCallState, JvmAbstractState<ContentT> expandedOutputState)	Performs the rebuilding of the return state.

从类继承的方法 java.lang.Object

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

构造器详细资料

NoOpRebuildOperator

public NoOpRebuildOperator()

方法详细资料

rebuild

public <ContentT extends AbstractState<ContentT>> JvmAbstractState<ContentT> rebuild(JvmAbstractState<ContentT> predecessorCallState,
                                                                                     JvmAbstractState<ContentT> expandedOutputState)

从接口复制的说明: RebuildOperator

Performs the rebuilding of the return state.

指定者:

rebuild 在接口中 RebuildOperator

类型参数:

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.

参数:

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

expandedOutputState - the output of ExpandOperator

返回:

The state of the caller after the procedure call