Uses of Class
gov.nasa.jpf.report.Reporter

Packages that use Reporter

Package	Description
gov.nasa.jpf
gov.nasa.jpf.report
gov.nasa.jpf.search

Uses of Reporter in gov.nasa.jpf

Methods in gov.nasa.jpf that return Reporter

Modifier and Type	Method and Description
Reporter	JPF.getReporter()

Uses of Reporter in gov.nasa.jpf.report

Fields in gov.nasa.jpf.report declared as Reporter

Modifier and Type	Field and Description
protected Reporter	Publisher.reporter

Constructors in gov.nasa.jpf.report with parameters of type Reporter

Constructor and Description
ConsolePublisher(Config conf, Reporter reporter)
Publisher(Config conf, Reporter reporter)
XMLPublisher(Config conf, Reporter reporter)

Uses of Reporter in gov.nasa.jpf.search

Fields in gov.nasa.jpf.search declared as Reporter

Modifier and Type	Field and Description
protected Reporter	Search.reporter this is a special SearchListener that is always notified last, so that PublisherExtensions can be sure the notification has been processed by all listeners

Methods in gov.nasa.jpf.search with parameters of type Reporter

Modifier and Type	Method and Description
void	Search.setReporter(Reporter reporter)