Uses of Class
gov.nasa.jpf.vm.ThreadInfo.State

Packages that use ThreadInfo.State

Package	Description
gov.nasa.jpf.vm

Uses of ThreadInfo.State in gov.nasa.jpf.vm

Methods in gov.nasa.jpf.vm that return ThreadInfo.State

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.

Methods in gov.nasa.jpf.vm with parameters of type ThreadInfo.State

Modifier and Type	Method and Description
void	ThreadInfo.setState(ThreadInfo.State newStatus) Updates the status of the thread.