iThreadInfo.java Source File

00001 package gov.nasa.arc.ase.jpf;
00002 
00003 public interface iThreadInfo {
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   static final public int INTERRUPTED = 5;
00010 
00011   public void interrupt();  
00012   public boolean isAlive();  
00013   public boolean isEnabled();  
00014   public boolean isRunnable();  
00015   public boolean isSafe();  
00016 }