public class ReferenceStateRef
Wrapper over class StateRef
to be used when filtering reference states.
class StateRef
Constructor and Description |
---|
ReferenceStateRef(StateRef stateRef)
Wrapper over
class StateRef to be used when filtering reference states. |
Modifier and Type | Method and Description |
---|---|
StateRef |
component1() |
ReferenceStateRef |
copy(StateRef stateRef)
Wrapper over
class StateRef to be used when filtering reference states. |
boolean |
equals(java.lang.Object p) |
StateRef |
getStateRef() |
int |
hashCode() |
java.lang.String |
toString() |
public ReferenceStateRef(StateRef stateRef)
Wrapper over class StateRef
to be used when filtering reference states.
class StateRef
public StateRef getStateRef()
public StateRef component1()
public ReferenceStateRef copy(StateRef stateRef)
Wrapper over class StateRef
to be used when filtering reference states.
class StateRef
public java.lang.String toString()
public int hashCode()
public boolean equals(java.lang.Object p)