程序包 proguard.analysis.cpa.defaults

类 StaticPrecisionAdjustment

java.lang.Object

proguard.analysis.cpa.defaults.StaticPrecisionAdjustment

所有已实现的接口:

PrecisionAdjustment

public final class StaticPrecisionAdjustment
extends Object
implements PrecisionAdjustment

This PrecisionAdjustment keeps the Precision the same.

构造器概要

构造器

构造器	说明
StaticPrecisionAdjustment()

方法概要

修饰符和类型	方法	说明
<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.

从类继承的方法 java.lang.Object

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

构造器详细资料

StaticPrecisionAdjustment

public StaticPrecisionAdjustment()

方法详细资料

prec

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

从接口复制的说明: PrecisionAdjustment

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

指定者:

prec 在接口中 PrecisionAdjustment