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

  • Method Details

    • 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.