Package | Description |
---|---|
gov.nasa.jpf | |
gov.nasa.jpf.listener | |
gov.nasa.jpf.report |
Modifier and Type | Method and Description |
---|---|
<T extends Publisher> |
JPF.addPublisherExtension(Class<T> pCls,
PublisherExtension e) |
<T extends Publisher> |
JPF.setPublisherTopics(Class<T> pCls,
int category,
String[] topics) |
Modifier and Type | Method and Description |
---|---|
void |
PropertyListenerAdapter.publishConstraintHit(Publisher publisher) |
void |
ListenerAdapter.publishConstraintHit(Publisher publisher) |
void |
PropertyListenerAdapter.publishFinished(Publisher publisher) |
void |
ListenerAdapter.publishFinished(Publisher publisher) |
void |
PropertyListenerAdapter.publishPropertyViolation(Publisher publisher) |
void |
ListenerAdapter.publishPropertyViolation(Publisher publisher) |
void |
PropertyListenerAdapter.publishStart(Publisher publisher) |
void |
ListenerAdapter.publishStart(Publisher publisher) |
void |
PropertyListenerAdapter.publishTransition(Publisher publisher) |
void |
ListenerAdapter.publishTransition(Publisher publisher) |
Modifier and Type | Method and Description |
---|---|
void |
SimpleDot.publishFinished(Publisher publisher) |
void |
HeapTracker.publishFinished(Publisher publisher)
PublisherExtension interface
|
void |
CoverageAnalyzer.publishFinished(Publisher publisher) |
void |
StateSpaceAnalyzer.publishFinished(Publisher publisher) |
void |
PathOutputMonitor.publishFinished(Publisher publisher) |
void |
MethodAnalyzer.publishPropertyViolation(Publisher publisher) |
void |
ChoiceTracker.publishPropertyViolation(Publisher publisher) |
void |
DeadlockAnalyzer.publishPropertyViolation(Publisher publisher) |
void |
VarTracker.publishPropertyViolation(Publisher publisher) |
void |
ErrorTraceGenerator.publishPropertyViolation(Publisher p) |
Modifier and Type | Class and Description |
---|---|
class |
ConsolePublisher |
class |
XMLPublisher |
Modifier and Type | Field and Description |
---|---|
protected List<Publisher> |
Reporter.publishers |
Modifier and Type | Method and Description |
---|---|
<T extends Publisher> |
Reporter.addPublisherExtension(Class<T> publisherCls,
PublisherExtension e) |
<T extends Publisher> |
Reporter.setPublisherTopics(Class<T> publisherCls,
int category,
String[] topics) |
Modifier and Type | Method and Description |
---|---|
List<Publisher> |
Reporter.getPublishers() |
Modifier and Type | Method and Description |
---|---|
void |
Reporter.addPublisher(Publisher newPublisher) |
void |
PublisherExtension.publishConstraintHit(Publisher publisher) |
void |
PublisherExtensionAdapter.publishConstraintHit(Publisher publisher) |
void |
PublisherExtension.publishFinished(Publisher publisher) |
void |
PublisherExtensionAdapter.publishFinished(Publisher publisher) |
void |
PublisherExtension.publishPropertyViolation(Publisher publisher) |
void |
PublisherExtensionAdapter.publishPropertyViolation(Publisher publisher) |
void |
PublisherExtension.publishStart(Publisher publisher) |
void |
PublisherExtensionAdapter.publishStart(Publisher publisher) |
void |
PublisherExtension.publishTransition(Publisher publisher) |
void |
PublisherExtensionAdapter.publishTransition(Publisher publisher) |