| |
|
| java.lang.Object gov.nasa.jpf.jvm.ThreadData
ThreadData | class ThreadData (Code) | | this is the mutable Thread data we have to keep track of
|
isDaemon | boolean isDaemon(Code) | | is this a daemon thread
|
lockCount | int lockCount(Code) | | The lock counter when the object got into a wait.
|
name | String name(Code) | | the name of this thread
(only temporarily unset, between NEW and INVOKESPECIAL)
|
objref | int objref(Code) | | The object reference that is the thread.
|
priority | int priority(Code) | | the scheduler priority of this thread
|
status | int status(Code) | | Current state of the thread.
|
target | int target(Code) | | The object reference of the target object (if any).
|
hashCode | public int hashCode()(Code) | | |
|
|
|