proguard.analysis.cpa.defaults

Class AbstractWrapperState

java.lang.Object

proguard.analysis.cpa.defaults.AbstractWrapperState

All Implemented Interfaces:

AbstractState

Direct Known Subclasses:

AbstractSingleWrapperState, CompositeHeapJvmAbstractState

public abstract class AbstractWrapperState
extends java.lang.Object
implements AbstractState

This AbstractState wraps an arbitrary number of other AbstractStates.

Constructor Summary

Constructors

Constructor and Description
AbstractWrapperState()

Method Summary

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

Constructor Detail

AbstractWrapperState

public AbstractWrapperState()

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 interface AbstractState

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Specified by:

hashCode in interface AbstractState

Overrides:

hashCode in class java.lang.Object