Package proguard.analysis.cpa.defaults

Class StaticPrecisionAdjustment

java.lang.Object

proguard.analysis.cpa.defaults.StaticPrecisionAdjustment

All Implemented Interfaces:

PrecisionAdjustment

public final class StaticPrecisionAdjustment
extends 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, 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 Details

StaticPrecisionAdjustment

public StaticPrecisionAdjustment()

Method Details

prec

public <AbstractStateT extends AbstractState<AbstractStateT>>
PrecisionAdjustmentResult<AbstractStateT> prec(AbstractStateT abstractState,
 Precision precision,
 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