State.java Source File

00001 package gov.nasa.arc.ase.jpf.jvm;
00002 
00003 public interface State {
00004   public Reference getClass(String name);  
00005   public Reference getObject(int reference);  
00006   public Thread getThread(int index);  
00007   public Thread getThread(Reference reference);  
00008   public int getThreadCount();  
00009 }