Package proguard.analysis.cpa.defaults
Class AbstractWrapperState
- java.lang.Object
-
- proguard.analysis.cpa.defaults.AbstractWrapperState
-
- All Implemented Interfaces:
AbstractState
- Direct Known Subclasses:
AbstractSingleWrapperState
public abstract class AbstractWrapperState extends java.lang.Object implements AbstractState
ThisAbstractState
wraps an arbitrary number of otherAbstractState
s.
-
-
Constructor Summary
Constructors Constructor Description AbstractWrapperState()
-
Method Summary
All Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description boolean
equals(java.lang.Object obj)
abstract java.lang.Iterable<? extends AbstractState>
getWrappedStates()
Returns the wrapped abstract states.int
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
copy, getPrecision, getStateByName
-
-
-
-
Method Detail
-
getWrappedStates
public abstract java.lang.Iterable<? extends AbstractState> getWrappedStates()
Returns the wrapped abstract states.
-
equals
public boolean equals(java.lang.Object obj)
- Specified by:
equals
in interfaceAbstractState
- Overrides:
equals
in classjava.lang.Object
-
hashCode
public int hashCode()
- Specified by:
hashCode
in interfaceAbstractState
- Overrides:
hashCode
in classjava.lang.Object
-
-