---

iState.java

package gov.nasa.arc.ase.jpf.jvm.examine;

import gov.nasa.arc.ase.jpf.*;
import gov.nasa.arc.ase.jpf.jvm.*;

public interface iState { // KernelState query interface

  // given thread number, look at top of stack, return method for query
public iMethodState  getMethodState(int threadNumber);
  // get value of a static field
public iValue        getStaticFieldValue(String className, String fieldName);
  // is a thread active
public boolean       isActive(int threadNumber);
  // find the new state after one step in the path
public void newState();
  // number of threads 
public int           numOfThreads();
}

---