Package edu.berkeley.cs.jqf.instrument.tracing
-
Class Summary Class Description ControlFlowInstructionVisitor This is an instruction visitor that has additional convenience methods for visiting control-flow instructions.DefaultInstructionVisitor An implementation of the Janala instruction visitor interface that does nothing for each instruction.FastCoverageSnoop PrintLogger SingleSnoop ThreadTracer This class is responsible for tracing for an instruction stream generated by a single thread in the application.TraceLogger A singleton class which manages per-thread tracers.