---

iReporter Interface Reference

Inheritance diagram for iReporter:[legend]List of all members.

Public Methods
Thread	getThread ()
void	start ()
void	stop ()

---

Detailed Description

This interface defines a reporter. A reporter is a thread that periodically prints information about the status of the verification. This interface only specifies the method and start and stop the reporter.

Definition at line 8 of file iReporter.java.

---

The documentation for this interface was generated from the following file:

• iReporter.java

---