Package proguard.analysis.cpa.defaults

Class PrecisionAdjustmentResult<StateT extends AbstractState<StateT>>

java.lang.Object

proguard.analysis.cpa.defaults.PrecisionAdjustmentResult<StateT>

Type Parameters:

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.

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
StateT	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 Details

PrecisionAdjustmentResult

public PrecisionAdjustmentResult(StateT abstractState,
 Precision precision)

Create a precision adjustment result tuple.

Parameters:

abstractState - abstract state

precision - precision

Method Details

getAbstractState

public StateT getAbstractState()

Returns the abstract state.

getPrecision

public Precision getPrecision()

Returns the precision.