gov.nasa.jpf.vm

Class ThreadList.Count

java.lang.Object

gov.nasa.jpf.vm.ThreadList.Count

Enclosing class:

ThreadList

public static class ThreadList.Count
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
int	alive
int	blocked
int	runnableDaemons
int	runnableNonDaemons

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

alive

public final int alive

runnableNonDaemons

public final int runnableNonDaemons

runnableDaemons

public final int runnableDaemons

blocked

public final int blocked