proguard.analysis.cpa.defaults

Class PrecisionAdjustmentResult

java.lang.Object

proguard.analysis.cpa.defaults.PrecisionAdjustmentResult

public class PrecisionAdjustmentResult
extends java.lang.Object

This is the result of PrecisionAdjustment, namely an AbstractState and Precision.

Constructor Summary

Constructors

Constructor and Description
PrecisionAdjustmentResult(AbstractState abstractState, Precision precision) Create a precision adjustment result tuple.

Method Summary

Modifier and Type	Method and Description
AbstractState	getAbstractState() Returns the abstract state.
Precision	getPrecision() Returns the precision.

Methods inherited from class java.lang.Object

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

Constructor Detail

PrecisionAdjustmentResult

public PrecisionAdjustmentResult(AbstractState abstractState,
                                 Precision precision)

Create a precision adjustment result tuple.

Parameters:

abstractState - abstract state

precision - precision

Method Detail

getAbstractState

public AbstractState getAbstractState()

Returns the abstract state.

getPrecision

public Precision getPrecision()

Returns the precision.