程序包 proguard.analysis.cpa.defaults

类 PrecisionAdjustmentResult<StateT extends AbstractState<StateT>>

java.lang.Object
proguard.analysis.cpa.defaults.PrecisionAdjustmentResult<StateT>
类型参数:
StateT - The type of the analyzed states.
public class PrecisionAdjustmentResult<StateT extends AbstractState<StateT>> extends Object
This is the result of PrecisionAdjustment, namely an AbstractState and Precision.

  • 构造器详细资料

    • PrecisionAdjustmentResult

      public PrecisionAdjustmentResult(StateT abstractState, Precision precision)
      Create a precision adjustment result tuple.
      参数:
      abstractState - abstract state
      precision - precision

  • 方法详细资料

    • getAbstractState

      public StateT getAbstractState()
      Returns the abstract state.

    • getPrecision

      public Precision getPrecision()
      Returns the precision.