gov.nasa.jpf.report

Interface PublisherExtension

All Known Implementing Classes:

AssertionProperty, BudgetChecker, CallMonitor, CGMonitor, CGRemover, ChoiceSelector, ChoiceTracker, ConstInsnPathTime, CoverageAnalyzer, DeadlockAnalyzer, DynamicAbstractionSerializer.Attributor, EndlessLoopDetector, ErrorTraceGenerator, EventGeneratorFactory, ExceptionInjector, ExecTracker, HeapTracker, IdleFilter, InsnCounter, ListenerAdapter, LockedStackDepth, MethodAnalyzer, MethodTracker, NoStateCycles, NumericValueChecker, ObjectTracker, OOMEInjector, OverlappingMethodAnalyzer, PathOutputMonitor, Perturbator, PreciseRaceDetector, PropertyListenerAdapter, PublisherExtensionAdapter, ReferenceLocator, SearchMonitor, SearchStats, SimpleDot, SimpleIdleFilter, StackDepthChecker, StackTracker, StateCountEstimator, StateExtensionListener, StateSpaceAnalyzer, StateSpaceDot, StateTracker, Statistics, StopWatchFuzzer, Trace, TraceStorer, VarRecorder, VarTracker

public interface PublisherExtension

used to add sections to publishers

Method Summary

Methods

Modifier and Type	Method and Description
void	publishConstraintHit(Publisher publisher)
void	publishFinished(Publisher publisher)
void	publishPropertyViolation(Publisher publisher)
void	publishStart(Publisher publisher)
void	publishTransition(Publisher publisher)

Method Detail

publishStart

void publishStart(Publisher publisher)

publishTransition

void publishTransition(Publisher publisher)

publishPropertyViolation

void publishPropertyViolation(Publisher publisher)

publishConstraintHit

void publishConstraintHit(Publisher publisher)

publishFinished

void publishFinished(Publisher publisher)