Package 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 Object
Simple abstraction for pairing some type with aStateMachine.State
.
-
-
Constructor Summary
Constructors Constructor Description WithState(T wrapped, StateMachine.State state)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
equals(Object obj)
StateMachine.State
getState()
T
getWrapped()
int
hashCode()
String
toString()
-
-
-
Constructor Detail
-
WithState
public WithState(T wrapped, StateMachine.State state)
-
-
Method Detail
-
getState
public StateMachine.State getState()
-
getWrapped
public T getWrapped()
-
-