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
ThisPrecisionAdjustment
keeps thePrecision
the same.
-
-
Constructor Summary
Constructors Constructor Description StaticPrecisionAdjustment()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description PrecisionAdjustmentResult
prec(AbstractState abstractState, Precision precision, java.util.Collection<? extends AbstractState> reachedAbstractStates)
Returns a newAbstractState
andPrecision
for the given reached abstract states.
-
-
-
Method Detail
-
prec
public PrecisionAdjustmentResult prec(AbstractState abstractState, Precision precision, java.util.Collection<? extends AbstractState> reachedAbstractStates)
Description copied from interface:PrecisionAdjustment
Returns a newAbstractState
andPrecision
for the given reached abstract states.- Specified by:
prec
in interfacePrecisionAdjustment
-
-