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 java.lang.Object

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

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and 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 Detail

PrecisionAdjustmentResult

public PrecisionAdjustmentResult(StateT abstractState,
                                 Precision precision)

Create a precision adjustment result tuple.

Parameters:

abstractState - abstract state

precision - precision

Method Detail

getAbstractState

public StateT getAbstractState()

Returns the abstract state.

getPrecision

public Precision getPrecision()

Returns the precision.