iSystemState.java Source File

00001 package gov.nasa.arc.ase.jpf;
00002 
00003 public interface iSystemState {
00004 //#ifdef DISTRIBUTED
00005 //#ifdef CHILDREN_LOOKAHEAD
00006 
00007 
00008 
00009 
00010 //#endif CHILDREN_LOOKAHEAD
00011 //#endif DISTRIBUTED
00012   public Object        getData();  
00013   public int           getDataSize(Object o);  
00014   public iScheduler    getScheduler();  
00015   public int           getThreadCount();  
00016   public iThreadInfo   getThreadInfo(int idx);  
00017   public iTrailInfo    getTrailInfo();  
00018   public boolean       nextSuccessor();  
00019 }