程序包 proguard.analysis.cpa.interfaces

接口 MergeOperator<StateT extends AbstractState<StateT>>

类型参数:

StateT - The type of the analyzed states.

所有已知实现类:

JvmMemoryLocationMergeJoinOperator, MergeJoinOperator, MergeSepOperator

public interface MergeOperator<StateT extends AbstractState<StateT>>

The MergeOperator defines how (and whether) the older AbstractState should be updated with the newly discovered AbstractState.

方法概要

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

方法详细资料

merge

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

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.