Main Page Packages Class Hierarchy Alphabetical List Compound List File List Compound Members

ErrorTrailInterface.java

00001 package gov.nasa.arc.ase.jpf;
00002 
00003 import java.io.PrintStream;
00004 
00005 public interface ErrorTrailInterface {
00006   public void print();  
00007   public void print(PrintStream out);  
00008 }

Generated at Thu Feb 7 06:45:13 2002 for Bandera by