程序包 proguard.analysis.cpa.defaults

类 MergeSepOperator<StateT extends AbstractState<StateT>>

java.lang.Object

proguard.analysis.cpa.defaults.MergeSepOperator<StateT>

类型参数:

StateT - The type of the analyzed states.

所有已实现的接口:

MergeOperator<StateT>

public final class MergeSepOperator<StateT extends AbstractState<StateT>>
extends java.lang.Object
implements MergeOperator<StateT>

This MergeOperator does not weaken the input AbstractState.

构造器概要

构造器

构造器	说明
MergeSepOperator()

方法概要

修饰符和类型	方法	说明
StateT	merge(StateT abstractState1, StateT abstractState2, Precision precision)	The operator uses the abstractState1 to weaken abstractState2 depending on precision.

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

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

构造器详细资料

MergeSepOperator

public MergeSepOperator()

方法详细资料

merge

public StateT merge(StateT abstractState1,
                    StateT abstractState2,
                    Precision precision)

从接口复制的说明: MergeOperator

The operator uses the abstractState1 to weaken abstractState2 depending on precision. Thus, it is asymmetric regarding its first two parameters. E.g., return abstractState2 for no merging. To guarantee the correct behavior of the algorithm implementations must have no side effects.

指定者:

merge 在接口中 MergeOperator<StateT extends AbstractState<StateT>>