gov.nasa.jpf

Interface JPFListener

All Known Subinterfaces:

SearchListener, VMListener

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, ReferenceLocator, Reporter, SearchListenerAdapter, SearchMonitor, SearchStats, SimpleDot, SimpleIdleFilter, StackDepthChecker, StackTracker, StateCountEstimator, StateExtensionListener, StateSpaceAnalyzer, StateSpaceDot, StateTracker, Statistics, StopWatchFuzzer, Trace, TraceStorer, VarRecorder, VarTracker

public interface JPFListener

this is just a common root type for VMListeners and SearchListeners. No own interface, just a type tag. It's main purpose is to provide some typechecks during config-based reflection instantiation