iVirtualMachine.java Source File

00001 package gov.nasa.arc.ase.jpf;
00002 
00003 import java.util.*;
00004 //#ifdef BANDERA
00005 import edu.ksu.cis.bandera.jjjc.decompiler.FilenameLinePair;
00006 //#endif BANDERA
00007 import java.lang.reflect.Method;
00008 //#ifdef DISTRIBUTED || PARALLEL
00009 
00010 //#endif DISTRIBUTED || PARALLEL
00011 
00012 public interface iVirtualMachine {
00013 //#endif BUCHI
00014 
00015 //#ifdef HEURISTIC
00016 //#ifdef HEURISTIC_DEBUG
00017 
00018 //#endif HEURISTIC_DEBUG
00019 
00020 
00021 
00022 
00023 
00024 
00025 //#endif HEURISTIC
00026   public boolean        Backtrack();  
00027   public boolean BuchiBacktrack();  
00028   public boolean BuchiEvaluate(Method method);  
00029   public boolean BuchiEvaluate(Method method, Object[] args);  
00030 //#endif BANDERA
00031 
00032 //#ifdef DISTRIBUTED || PARALLEL
00033 
00034 
00035 
00036 
00037 
00038 //#ifdef CHILDREN_LOOKAHEAD
00039 
00040 
00041 
00042 
00043 
00044 
00045 //#endif CHILDREN_LOOKAHEAD
00046 //#ifdef PARALLEL
00047 
00048 
00049 //#endif PARALLEL
00050 //#endif DISTRIBUTED || PARALLEL
00051 
00052 //#ifdef BUCHI
00053   public int BuchiForward();  
00054   public BuchiSet BuchiGet();  
00055   public void BuchiInitSch();  
00056   public void BuchiObservable(String event);  
00057   public void BuchiSetState(int buchi_state);  
00058   public FilenameLinePair       ErrorBackward();  
00059   public FilenameLinePair       ErrorForward();  
00060   public FilenameLinePair       ErrorInit();  
00061   public int                    ErrorPathLength();  
00062   public int            Forward();  
00063   public String         getErrorMessage();  
00064   public ErrorTrailInterface    getErrorTrail();  
00065   public Path                   getErrorTrail_from_file();  
00066   /************************************************************/
00067   public Path                   getErrorTrail_to_file();  
00068   public Path                   getErrorTrail1();  
00069   public iSystemState       getSystemState();  
00070   public void           init(String[] args);  
00071   public boolean        isDeadlocked();  
00072   public int                    nextThreadToExecute();  
00073   public int                    previousThreadToExecute();  
00074   public void           reinit();  
00075   public void           ShowErrorTrail();  
00076   /************************************************************/
00077 
00078 //#ifdef BANDERA
00079   public void           ShowErrorTrail(Path p);  
00080   public iScheduler     xForward(iScheduler sch);  
00081 }