proguard.analysis.cpa.interfaces

Interface MergeOperator

All Known Implementing Classes:

JvmMemoryLocationMergeJoinOperator, MergeJoinOperator, MergeSepOperator

public interface MergeOperator

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
AbstractState	merge(AbstractState abstractState1, AbstractState abstractState2, Precision precision) The operator uses the abstractState1 to weaken abstractState2 depending on precision.

Method Detail

merge

AbstractState merge(AbstractState abstractState1,
                    AbstractState 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.