---

Reporter.java

package gov.nasa.arc.ase.jpf;

import gov.nasa.arc.ase.util.Debug;

/**
 * This class defines the reporter for the non distributed model checker. A
 * reporter is a thread that periodically prints information about the status
 * of the verification. This class implements the iReporter interface for a
 * non-distributed search.
 */
public class Reporter implements iReporter, Runnable {
  /**
   * The Thread that periodically reports information about the search.
   */
  private Thread thread;

  /**
   * It is set to true when the reporter is running.
   */
  private boolean running;

  /**
   * Inizialize the Reporter.
   */
  public Reporter() {
    thread = new Thread(this);
    thread.setDaemon(true);
  }  
  public Thread getThread() {
    return thread;
  }  
  /**
   * Periodically prints a report line.
   */
  public void run() {
    try {
      long t = Engine.options.report_period * 1000;

      if(t != 0) {
    while(running) {
      try {
        Thread.sleep(t);
        Engine.getJPF().report();
      } catch(InterruptedException e) {
      }
    }
      }
    } catch(JPFErrorException e) {
      Debug.println(Debug.ERROR, "jpf: " + e.getMessage());
      System.exit(1);
    }
  }  
  /**
   * Starts the reporter.
   */
  public void start() {
    running = true;
    thread.start();
  }  
  /**
   * Stops the reporter.
   */
  public void stop() {
    running = false;
    thread.interrupt();
  }  
}

---