iThreadInfo.java Source File

00001 package gov.nasa.arc.ase.jpf;
00002 
00003 public interface iThreadInfo {
00004   public boolean isAlive();  
00005   public boolean isEnabled();  
00006   public boolean isNotified();  
00007   public boolean isRunnable(iSystemState ss, iKernelState ks);  
00008   public boolean isRunning();  
00009   public boolean isSafe();  
00010 }