Package | Description |
---|---|
gov.nasa.jpf.vm |
Modifier and Type | Method and Description |
---|---|
ThreadInfo.State |
ThreadInfo.getState()
Returns the current status of the thread.
|
ThreadInfo.State |
ThreadData.getState() |
static ThreadInfo.State |
ThreadInfo.State.valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static ThreadInfo.State[] |
ThreadInfo.State.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
Modifier and Type | Method and Description |
---|---|
void |
ThreadInfo.setState(ThreadInfo.State newStatus)
Updates the status of the thread.
|