public class CGRemover extends ListenerAdapter
Modifier and Type | Method and Description |
---|---|
protected void |
addCategory(List<gov.nasa.jpf.listener.CGRemover.Category> list,
gov.nasa.jpf.listener.CGRemover.Category cat) |
void |
choiceGeneratorRegistered(VM vm,
ChoiceGenerator<?> nextCG,
ThreadInfo ti,
Instruction executedInsn)
next ChoiceGenerator was registered, which means this is the end of the current transition
the reason why we have this in addition to the choiceGeneratorSet is that listeners
can reset the registered CG and so force the current transition to continue (although the
listener in this case has to make sure the operand stack is in a consistent state for
continued execution because there might be a bottom half of an Instruction.execute() missing)
|
void |
classLoaded(VM vm,
ClassInfo loadedClass)
new class was loaded.
|
protected List<gov.nasa.jpf.listener.CGRemover.Category> |
parseCategories(Config conf) |
protected void |
parseLocationSpecs(List<LocationSpec> list,
String[] specs) |
protected void |
parseMethodSpecs(List<MethodSpec> list,
String[] specs) |
protected void |
processClass(ClassInfo ci,
gov.nasa.jpf.listener.CGRemover.Category cat) |
protected boolean |
removeCG(VM vm,
gov.nasa.jpf.listener.CGRemover.Category cat,
ChoiceGenerator<?> cg) |
choiceGeneratorAdvanced, choiceGeneratorProcessed, choiceGeneratorSet, exceptionBailout, exceptionHandled, exceptionThrown, executeInstruction, gcBegin, gcEnd, instructionExecuted, loadClass, methodEntered, methodExited, objectCreated, objectLocked, objectNotify, objectNotifyAll, objectReleased, objectUnlocked, objectWait, propertyViolated, publishConstraintHit, publishFinished, publishPropertyViolation, publishStart, publishTransition, searchConstraintHit, searchFinished, searchStarted, stateAdvanced, stateBacktracked, stateProcessed, statePurged, stateRestored, stateStored, threadBlocked, threadInterrupted, threadNotified, threadScheduled, threadStarted, threadTerminated, threadWaiting, vmInitialized
public CGRemover(Config conf)
protected List<gov.nasa.jpf.listener.CGRemover.Category> parseCategories(Config conf)
protected void addCategory(List<gov.nasa.jpf.listener.CGRemover.Category> list, gov.nasa.jpf.listener.CGRemover.Category cat)
protected void parseLocationSpecs(List<LocationSpec> list, String[] specs)
protected void parseMethodSpecs(List<MethodSpec> list, String[] specs)
protected void processClass(ClassInfo ci, gov.nasa.jpf.listener.CGRemover.Category cat)
protected boolean removeCG(VM vm, gov.nasa.jpf.listener.CGRemover.Category cat, ChoiceGenerator<?> cg)
public void classLoaded(VM vm, ClassInfo loadedClass)
VMListener
classLoaded
in interface VMListener
classLoaded
in class ListenerAdapter
public void choiceGeneratorRegistered(VM vm, ChoiceGenerator<?> nextCG, ThreadInfo ti, Instruction executedInsn)
VMListener
choiceGeneratorRegistered
in interface VMListener
choiceGeneratorRegistered
in class ListenerAdapter