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 and Description
StaticPrecisionAdjustment()

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

Constructor Detail

StaticPrecisionAdjustment

public StaticPrecisionAdjustment()

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