iReporter.java Source File

00001 package gov.nasa.arc.ase.jpf;
00002 
00003 /**
00004  * This interface defines a reporter. A reporter is a thread that periodically
00005  * prints information about the status of the verification. This interface
00006  * only specifies the method and start and stop the reporter.
00007  */
00008 public interface iReporter {
00009   public Thread getThread();  
00010   public void start();  
00011   public void stop();  
00012 }