Package proguard.analysis.cpa.defaults

Class MergeSepOperator<StateT extends AbstractState<StateT>>

java.lang.Object

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

Type Parameters:

StateT - The type of the analyzed states.

All Implemented Interfaces:

MergeOperator<StateT>

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

This MergeOperator does not weaken the input AbstractState.

Constructor Summary

Constructors

Constructor	Description
MergeSepOperator()

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.

Methods inherited from class java.lang.Object

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

Constructor Details

MergeSepOperator

public MergeSepOperator()

Method Details

merge

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

Description copied from interface: 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.

Specified by:

merge in interface MergeOperator<StateT extends AbstractState<StateT>>