STATUS.java Source File

00001 package gov.nasa.arc.ase.jpf;
00002 
00003 public class STATUS{
00004   static final public int NEW      = 0;
00005   static final public int RUNNING  = 1;
00006   static final public int WAITING  = 2;
00007   static final public int NOTIFIED = 3;
00008   static final public int STOPPED  = 4;
00009 }