iStore.java Source File

00001 package gov.nasa.arc.ase.jpf;
00002 
00003 import java.util.Hashtable;
00004 
00005 public interface iStore {
00006   public static final int ONSTACK = 0;
00007   public static final int OFFSTACK = 1;
00008   public static final int NEW = 2;
00009 
00010 //#endif BUCHI
00011 //#ifdef BUCHI
00012   public BuchiSet BuchiGet(iSystemState state);  
00013   public int check(iSystemState state);  
00014   public int check(Object o);  
00015   public void initial(iVirtualMachine vm);  
00016   public void offStack(iSystemState state);  
00017   public int put(iVirtualMachine vm);  
00018 }