proguard.analysis.cpa.interfaces

Interface MergeOperator<StateT extends AbstractState<StateT>>

Type Parameters:

StateT - The type of the analyzed states.

All Known Implementing Classes:

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.

Method Summary

Modifier and Type	Method and Description
StateT	merge(StateT abstractState1, StateT abstractState2, Precision precision) The operator uses the abstractState1 to weaken abstractState2 depending on precision.

Method Detail

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.