iScheduler.java Source File

00001 package gov.nasa.arc.ase.jpf;
00002 
00003 import gov.nasa.arc.ase.jpf.jvm.Storable;
00004 
00005 public interface iScheduler {
00006   public int         getRandom();  
00007   public int         getThread();  
00008   public void        initialize(iSystemState ss);  
00009   public iThreadInfo locateThread(iSystemState ss);  
00010   public void        next();  
00011   public int         random(int max);  
00012 }