proguard.analysis.cpa.domain.arg

Class ArgPrecisionAdjustment

java.lang.Object

proguard.analysis.cpa.domain.arg.ArgPrecisionAdjustment

All Implemented Interfaces:

PrecisionAdjustment

public class ArgPrecisionAdjustment
extends java.lang.Object
implements PrecisionAdjustment

This wrapper precision adjustment delegates precision selection to its inner PrecisionAdjustment and wraps the adjusted AbstractState with an ARG node.

Field Summary

Fields

Modifier and Type	Field and Description
protected ArgAbstractStateFactory	argAbstractStateFactory
protected PrecisionAdjustment	wrappedPrecisionAdjustment

Constructor Summary

Constructors

Constructor and Description
ArgPrecisionAdjustment(PrecisionAdjustment wrappedPrecisionAdjustment, ArgAbstractStateFactory argAbstractStateFactory) Create a wrapper precision adjustment.

Method Summary

Modifier and Type	Method and Description
PrecisionAdjustmentResult	prec(AbstractState abstractState, Precision precision, java.util.Collection<? extends AbstractState> reachedAbstractStates) Returns a new AbstractState and Precision for the given reached abstract states.

Methods inherited from class java.lang.Object

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

Field Detail

wrappedPrecisionAdjustment

protected final PrecisionAdjustment wrappedPrecisionAdjustment

argAbstractStateFactory

protected final ArgAbstractStateFactory argAbstractStateFactory

Constructor Detail

ArgPrecisionAdjustment

public ArgPrecisionAdjustment(PrecisionAdjustment wrappedPrecisionAdjustment,
                              ArgAbstractStateFactory argAbstractStateFactory)

Create a wrapper precision adjustment.

Parameters:

wrappedPrecisionAdjustment - a precision adjustment to be wrapped

argAbstractStateFactory - an ARG node factory

Method Detail

prec

public PrecisionAdjustmentResult prec(AbstractState abstractState,
                                      Precision precision,
                                      java.util.Collection<? extends AbstractState> reachedAbstractStates)

Description copied from interface: PrecisionAdjustment

Returns a new AbstractState and Precision for the given reached abstract states.

Specified by:

prec in interface PrecisionAdjustment