iKernelState.java Source File

00001 package gov.nasa.arc.ase.jpf;
00002 
00003 import java.io.*;
00004 import java.util.*;
00005 
00006 public interface iKernelState {
00007 // ifdef NO_COMPRESSION
00008   public Object       getStoringData();  
00009   public int          getThreadCount();  
00010   public iThreadInfo  getThreadInfo(int thread);  
00011   public boolean      isTerminated();  
00012 //#endif NO_COMPRESSION
00013   public void         newThread(iThreadInfo ti);  
00014 }