Package sofya.ed

Interface Summary

BlockCoverageListener	A basic block coverage listener is issued notifications by an event dispatcher that are sufficient to guarantee that all basic blocks that were executed are reported as covered.
BlockEventListener	A basic block event listener is notified by an event dispatcher each time a basic block is executed.
BranchCoverageListener	A branch coverage listener is issued notifications by an event dispatcher that are sufficient to guarantee that all branches that were executed are reported as covered.
BranchEventListener	A branch event listener is notified by an event dispatcher each time a branch is executed.
CoverageListenerManager	A coverage listener manager acts as a server to attach a single coverage listener to a ProgramEventDispatcher using a coverage processing strategy during dispatch of coverage events for a particular method.

Class Summary

BatchStructuralTracer	This class provides the ability to execute a ProgramEventDispatcher multiple times with different subjects and/or configurations within the same JVM.
BBSequenceTracer	A basic block sequence tracer records the sequence of basic blocks executed by a subject program to a trace file.
BBTracer	A basic block tracer collects basic block coverage information and writes it as a trace file.
BranchSequenceTracer	A branch sequence tracer records the sequence of branch edges executed by a subject program to a trace file.
BranchTracer	A branch tracer collects branch coverage information and writes it as a trace file.
cfInstrumentor	Front end to the Sofya structural instrumentors, used to instrument subject class files.
Instrumentor	Abstract base class for all instrumentors, which instrument Java class files for execution by an event dispatcher.
SemanticEventTracer	A semantic event tracer collects binary trace files recording the events specified in a module description file that were witnessed during execution of a program.

Exception Summary

BadParameterValueException	Indicates that a bad value was provided to a command line parameter.
ParameterValueAbsentException	Indicates that a required parameter value was not provided to a command line parameter.