Package | Description |
---|---|
gov.nasa.jpf | |
gov.nasa.jpf.report | |
gov.nasa.jpf.search |
Modifier and Type | Method and Description |
---|---|
Reporter |
JPF.getReporter() |
Modifier and Type | Field and Description |
---|---|
protected Reporter |
Publisher.reporter |
Constructor and Description |
---|
ConsolePublisher(Config conf,
Reporter reporter) |
Publisher(Config conf,
Reporter reporter) |
XMLPublisher(Config conf,
Reporter 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
|
Modifier and Type | Method and Description |
---|---|
void |
Search.setReporter(Reporter reporter) |