iSearch.java Source File

00001 package gov.nasa.arc.ase.jpf;
00002 
00003 public interface iSearch {
00004    public ErrorTrailInterface getError();   
00005    public String getErrorMessage();   
00006    public Path getErrorPath();   
00007    public boolean hasFailed();   
00008    public void search();   
00009 }