Package proguard.analysis.cpa.defaults

Class StaticPrecisionAdjustment

java.lang.Object

proguard.analysis.cpa.defaults.StaticPrecisionAdjustment

All Implemented Interfaces:

PrecisionAdjustment

public final class StaticPrecisionAdjustment
extends java.lang.Object
implements PrecisionAdjustment

This PrecisionAdjustment keeps the Precision the same.

Constructor Summary

Constructors

Constructor	Description
StaticPrecisionAdjustment()

Method Summary

Modifier and Type	Method	Description
<AbstractStateT extends AbstractState<AbstractStateT>> PrecisionAdjustmentResult<AbstractStateT>	prec(AbstractStateT abstractState, Precision precision, java.util.Collection<? extends AbstractStateT> 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

Constructor Detail

StaticPrecisionAdjustment

public StaticPrecisionAdjustment()

Method Detail

prec

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

Description copied from interface: PrecisionAdjustment

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

Specified by:

prec in interface PrecisionAdjustment