Package sofya.ed.structural

Interface Summary

ActiveComponent	An active component can be any component used by or attached to an event listener that maintains a configurable internal state that may be sensitive to the lifecycle of the event dispatcher, and that actively performs work during delivery of the event stream.
BlockInstrumentationStrategy	Specifies that a component uses or depends on a basic block instrumentation strategy.
BranchInstrumentationStrategy	Specifies that a component uses or depends on a branch instrumentation strategy.
JUnitProcessingStrategy	A JUnit processing strategy implements a strategy to be used by a JUnitEventDispatcher to receive probes received from a subject instrumented for execution in a JUnit test runner and dispatch them as events.
SocketProcessingStrategy	A socket processing strategy implements a strategy to be used by a ProgramEventDispatcher to receive probes received from a subject communicating using a socket connection and dispatch them as events.

Class Summary

AbstractEventDispatcher	This is the abstract base class of all event dispatchers that produce structural event streams.
BlockCoverageTrace	A basic block coverage trace records the coverage of basic blocks in a method.
BlockInstrumentationConfiguration	A basic block instrumentation configuration stores the types of basic blocks that have been selected for instrumentation or observation by an event dispatcher.
BlockInstrumentor	The Sofya basic block instrumentor.
BranchCoverageTrace	A branch coverage trace records the coverage of branches in a method.
BranchInstrumentationConfiguration	A branch instrumentation configuration stores the types of branches that have been selected for instrumentation or observation by an event dispatcher.
BranchInstrumentor	The Sofya branch edge instrumentor.
ControlData	This class provides thread identity and synchronization variables that are used by a ProgramEventDispatcher when it is executed with another ProgramEventDispatcher as its subject.
CoverageTrace	A coverage traces records the coverage of structural program entities (basic blocks or branches) observed through execution of an instrumented program by a ProgramEventDispatcher.
EventDispatcherConfiguration	An event dispatcher configuration stores global configuration parameters and resources that may be required by various components attached to an event dispatcher.
JUnitEventDispatcher	A JUnitEventDispatcher is designed to be used by a specially modified JUnit test runner to dispatch an event stream from JUnit test cases run on instrumented code.
JUnitEventDispatcher.InstrumentationMode	Callback class used to safely transfer the instrumentation mode constant to the processing strategy.
ProgramEventDispatcher	A program event dispatcher is responsible for launching a subject program and dispatching an event stream of structural events observed during execution.
SequenceTraceWriter	The sequence trace writer is responsible for generating basic block and branch edge sequence trace files from the event streams produced by a structural event dispatcher.
SocketProbe	The SocketProbe class is responsible for transmitting instrumentation trace statements from the subject to the event dispatcher.
TraceHandler	The trace handler provides routines to manipulate Sofya coverage trace (.tr) files and to create coverage trace objects.

Exception Summary

AbstractEventDispatcher.CreateException	Exception that indicates an error occurred during instantiation of an event dispatcher.
AbstractEventDispatcher.ExecException	Exception that indicates an error occurred in an event dispatcher while executing a subject class.
AbstractEventDispatcher.SetupException	Exception that indicates an error occurred while preparing to execute a subject class.
AbstractEventDispatcher.TraceFileException	Exception that indicates an error occurred while creating or writing a trace file.