Package 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
ThisAbstractWrapperState
wraps a singleAbstractState
and delegates the precision getter to it.
-
-
Field Summary
Fields Modifier and Type Field Description protected AbstractState
wrappedAbstractState
-
Constructor Summary
Constructors Constructor Description AbstractSingleWrapperState(AbstractState wrappedAbstractState)
Create a single wrapper abstract state around the given state.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description AbstractSingleWrapperState
copy()
Creates a copy of itself.Precision
getPrecision()
Returns thePrecision
used by thePrecisionAdjustment
.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 classAbstractWrapperState
-
getPrecision
public Precision getPrecision()
Description copied from interface:AbstractState
Returns thePrecision
used by thePrecisionAdjustment
.
-
copy
public AbstractSingleWrapperState copy()
Description copied from interface:AbstractState
Creates a copy of itself.
-
-