proguard.analysis.cpa.domain.arg

Class ArgMergeOperator

java.lang.Object

proguard.analysis.cpa.domain.arg.ArgMergeOperator

All Implemented Interfaces:

MergeOperator

public class ArgMergeOperator
extends java.lang.Object
implements MergeOperator

This wrapper merge operator delegates merging to its inner MergeOperator and wraps the output with an ARG node.

Field Summary

Fields

Modifier and Type	Field and Description
protected ArgAbstractStateFactory	argAbstractStateFactory
protected MergeOperator	wrappedMergeOperator

Constructor Summary

Constructors

Constructor and Description
ArgMergeOperator(MergeOperator wrappedMergeOperator, ArgAbstractStateFactory argAbstractStateFactory) Create a wrapper merge operator.

Method Summary

Modifier and Type	Method and Description
ArgAbstractState	merge(AbstractState abstractState1, AbstractState 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

Field Detail

wrappedMergeOperator

protected final MergeOperator wrappedMergeOperator

argAbstractStateFactory

protected final ArgAbstractStateFactory argAbstractStateFactory

Constructor Detail

ArgMergeOperator

public ArgMergeOperator(MergeOperator wrappedMergeOperator,
                        ArgAbstractStateFactory argAbstractStateFactory)

Create a wrapper merge operator.

Parameters:

wrappedMergeOperator - a merge operator to be wrapped

argAbstractStateFactory - an ARG node factory

Method Detail

merge

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