com.ibm.wala.demandpa.alg

Class WithState<T>

java.lang.Object

com.ibm.wala.demandpa.alg.WithState<T>

Direct Known Subclasses:

InstanceFieldKeyAndState, InstanceKeyAndState, PointerKeyAndState

public abstract class WithState<T>
extends java.lang.Object

Simple abstraction for pairing some type with a StateMachine.State.

Constructor Summary

Constructors

Constructor and Description
WithState(T wrapped, StateMachine.State state)

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object obj)
StateMachine.State	getState()
T	getWrapped()
int	hashCode()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

WithState

public WithState(T wrapped,
                 StateMachine.State state)

Method Detail

getState

public StateMachine.State getState()

getWrapped

public T getWrapped()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object