proguard.analysis.cpa.defaults

Class AbstractSingleWrapperState

java.lang.Object

proguard.analysis.cpa.defaults.AbstractWrapperState

proguard.analysis.cpa.defaults.AbstractSingleWrapperState

All Implemented Interfaces:

AbstractState

public class AbstractSingleWrapperState
extends AbstractWrapperState

This AbstractWrapperState wraps a single AbstractState and delegates the precision getter to it.

Field Summary

Fields

Modifier and Type	Field and Description
protected AbstractState	wrappedAbstractState

Constructor Summary

Constructors

Constructor and Description
AbstractSingleWrapperState(AbstractState wrappedAbstractState) Create a single wrapper abstract state around the given state.

Method Summary

Modifier and Type	Method and Description
AbstractSingleWrapperState	copy() Creates a copy of itself.
Precision	getPrecision() Returns the Precision used by the PrecisionAdjustment.
AbstractState	getWrappedState() Returns the wrapped abstract state.
java.util.List<AbstractState>	getWrappedStates() Returns the wrapped abstract states.

Methods inherited from class proguard.analysis.cpa.defaults.AbstractWrapperState

equals, hashCode

Methods inherited from class java.lang.Object

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

Methods inherited from interface proguard.analysis.cpa.interfaces.AbstractState

getStateByName

Field Detail

wrappedAbstractState

protected final AbstractState wrappedAbstractState

Constructor Detail

AbstractSingleWrapperState

public AbstractSingleWrapperState(AbstractState wrappedAbstractState)

Create a single wrapper abstract state around the given state.

Parameters:

wrappedAbstractState - an inner abstract state

Method Detail

getWrappedState

public AbstractState getWrappedState()

Returns the wrapped abstract state.

getWrappedStates

public java.util.List<AbstractState> getWrappedStates()

Description copied from class: AbstractWrapperState

Returns the wrapped abstract states.

Specified by:

getWrappedStates in class AbstractWrapperState

getPrecision

public Precision getPrecision()

Description copied from interface: AbstractState

Returns the Precision used by the PrecisionAdjustment.

copy

public AbstractSingleWrapperState copy()

Description copied from interface: AbstractState

Creates a copy of itself.