Storable.java Source File

00001 package gov.nasa.arc.ase.jpf.jvm;
00002 
00003 public interface Storable {
00004   public void backtrackTo(ArrayOffset storing, Object backtrack);  
00005   public Object getBacktrackData();  
00006   public int[] getStoringData();  
00007 }