iScheduler.java Source File

00001 package gov.nasa.arc.ase.jpf;
00002 
00003 interface iScheduler {
00004   public int        getCurrentNotify();  
00005   public int        getCurrentThread();  
00006   public void       incCurrentThread(iScheduler sch);  
00007   public void       initialize();  
00008   public iThreadInfo locateRunningThread(iSystemState ss, iKernelState ks);  
00009   //public void       setNotifying();
00010   //public void       clearNotifying();
00011   public void       print();  
00012   public void       setCurrentThread(int thread);  
00013 }