public class CoverageAnalyzer extends ListenerAdapter implements PublisherExtension
Constructor and Description |
---|
CoverageAnalyzer(Config conf,
JPF jpf) |
Modifier and Type | Method and Description |
---|---|
void |
choiceGeneratorSet(VM vm,
ChoiceGenerator<?> newCG)
a new ChoiceGenerator was set, which means we are at the beginning of a new transition.
|
void |
classLoaded(VM vm,
ClassInfo ci)
print uncovered source ranges
|
void |
instructionExecuted(VM vm,
ThreadInfo ti,
Instruction nextInsn,
Instruction executedInsn)
VM has executed the next instruction
(can be used to analyze branches, monitor PUTFIELD / GETFIELD and
INVOKExx / RETURN instructions)
|
void |
publishFinished(Publisher publisher) |
choiceGeneratorAdvanced, choiceGeneratorProcessed, choiceGeneratorRegistered, exceptionBailout, exceptionHandled, exceptionThrown, executeInstruction, gcBegin, gcEnd, loadClass, methodEntered, methodExited, objectCreated, objectLocked, objectNotify, objectNotifyAll, objectReleased, objectUnlocked, objectWait, propertyViolated, publishConstraintHit, publishPropertyViolation, publishStart, publishTransition, searchConstraintHit, searchFinished, searchStarted, stateAdvanced, stateBacktracked, stateProcessed, statePurged, stateRestored, stateStored, threadBlocked, threadInterrupted, threadNotified, threadScheduled, threadStarted, threadTerminated, threadWaiting, vmInitialized
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
publishConstraintHit, publishPropertyViolation, publishStart, publishTransition
public void classLoaded(VM vm, ClassInfo ci)
classLoaded
in interface VMListener
classLoaded
in class ListenerAdapter
public void instructionExecuted(VM vm, ThreadInfo ti, Instruction nextInsn, Instruction executedInsn)
VMListener
instructionExecuted
in interface VMListener
instructionExecuted
in class ListenerAdapter
public void choiceGeneratorSet(VM vm, ChoiceGenerator<?> newCG)
VMListener
choiceGeneratorSet
in interface VMListener
choiceGeneratorSet
in class ListenerAdapter
public void publishFinished(Publisher publisher)
publishFinished
in interface PublisherExtension
publishFinished
in class ListenerAdapter