public class AssertionProperty extends PropertyListenerAdapter
Constructor and Description |
---|
AssertionProperty(Config config) |
Modifier and Type | Method and Description |
---|---|
boolean |
check(Search search,
VM vm)
return true if property is NOT violated
|
void |
executeInstruction(VM vm,
ThreadInfo ti,
Instruction insn)
VM is about to execute the next instruction
|
String |
getErrorMessage() |
protected String |
getMessage(String details,
Instruction insn) |
void |
reset() |
choiceGeneratorAdvanced, choiceGeneratorProcessed, choiceGeneratorRegistered, choiceGeneratorSet, classLoaded, exceptionBailout, exceptionHandled, exceptionThrown, 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
getExplanation, printOn
public AssertionProperty(Config config)
public boolean check(Search search, VM vm)
Property
check
in interface Property
check
in class PropertyListenerAdapter
public String getErrorMessage()
getErrorMessage
in interface Property
getErrorMessage
in class GenericProperty
protected String getMessage(String details, Instruction insn)
public void executeInstruction(VM vm, ThreadInfo ti, Instruction insn)
VMListener
executeInstruction
in interface VMListener
executeInstruction
in class PropertyListenerAdapter
public void reset()
reset
in interface Property
reset
in class PropertyListenerAdapter