iState.java Source File

00001 package gov.nasa.arc.ase.jpf.jvm.examine;
00002 
00003 public interface iState {
00004   public iMethodState getMethodState(int threadNumber);  
00005   public iValue getStaticFieldValue(String className, String fieldName);  
00006   public boolean isActive(int threadNumber);  
00007   public void newState();  
00008   public int numOfThreads();  
00009 }