public class NumericValueChecker extends PropertyListenerAdapter
Constructor and Description |
---|
NumericValueChecker(Config conf) |
Modifier and Type | Method and Description |
---|---|
boolean |
check(Search search,
VM vm)
return true if property is NOT violated
|
String |
getErrorMessage() |
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 |
reset() |
choiceGeneratorAdvanced, choiceGeneratorProcessed, choiceGeneratorRegistered, choiceGeneratorSet, classLoaded, exceptionBailout, exceptionHandled, exceptionThrown, executeInstruction, gcBegin, gcEnd, 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
getExplanation, printOn
public NumericValueChecker(Config conf)
public void instructionExecuted(VM vm, ThreadInfo ti, Instruction nextInsn, Instruction executedInsn)
VMListener
instructionExecuted
in interface VMListener
instructionExecuted
in class PropertyListenerAdapter
public boolean check(Search search, VM vm)
Property
check
in interface Property
check
in class PropertyListenerAdapter
public void reset()
reset
in interface Property
reset
in class PropertyListenerAdapter
public String getErrorMessage()
getErrorMessage
in interface Property
getErrorMessage
in class GenericProperty