sofya.ed
Interfaces 
BlockCoverageListener
BlockEventListener
BranchCoverageListener
BranchEventListener
CoverageListenerManager
Classes 
BatchStructuralTracer
BBSequenceTracer
BBTracer
BranchSequenceTracer
BranchTracer
cfInstrumentor
Instrumentor
SemanticEventTracer
Exceptions 
BadParameterValueException
ParameterValueAbsentException