Package | Description |
---|---|
gov.nasa.jpf | |
gov.nasa.jpf.listener | |
gov.nasa.jpf.report | |
gov.nasa.jpf.search | |
gov.nasa.jpf.util | |
gov.nasa.jpf.util.script | |
gov.nasa.jpf.vm | |
gov.nasa.jpf.vm.serialize |
Class and Description |
---|
Publisher
abstract base for all format specific publishers.
|
PublisherExtension
used to add sections to publishers
|
Reporter
this is our default report generator, which is heavily configurable
via our standard properties.
|
Class and Description |
---|
Publisher
abstract base for all format specific publishers.
|
PublisherExtension
used to add sections to publishers
|
Class and Description |
---|
Publisher
abstract base for all format specific publishers.
|
PublisherExtension
used to add sections to publishers
|
Reporter
this is our default report generator, which is heavily configurable
via our standard properties.
|
Statistics
simple structure to hold statistics info created by Reporters/Publishers
this is kind of a second tier SearchListener, which does not
explicitly have to be registered
<2do> this should get generic and accessible enough to replace all the
other statistics collectors, otherwise there is too much redundancy.
|
Class and Description |
---|
Reporter
this is our default report generator, which is heavily configurable
via our standard properties.
|
Class and Description |
---|
PublisherExtension
used to add sections to publishers
|
Class and Description |
---|
PublisherExtension
used to add sections to publishers
|
Class and Description |
---|
PublisherExtension
used to add sections to publishers
|
Class and Description |
---|
PublisherExtension
used to add sections to publishers
|