protected JPF |
TestJPF.assertionError(StackTraceElement testMethod,
String... args)
run JPF expecting a AssertionError in the SuT
|
protected JPF |
TestJPF.assertionErrorDetails(StackTraceElement testMethod,
String details,
String... args) |
protected JPF |
TestJPF.createAndRunJPF(StackTraceElement testMethod,
String[] args)
needs to be broken up into two methods for cases that do additional
JPF initialization (jpf-inspector)
this is called from the various verifyX() methods (i.e.
|
protected JPF |
TestJPF.createJPF(StackTraceElement testMethod,
String[] args)
this is never executed under JPF
|
protected JPF |
TestJPF.jpfException(StackTraceElement testMethod,
Class<? extends Throwable> xCls,
String... args)
run JPF expecting it to throw an exception
NOTE - xClassName needs to be the concrete exception, not a super class
|
protected JPF |
TestJPF.noPropertyViolation(StackTraceElement testMethod,
String... args)
run JPF expecting no SuT property violations or JPF exceptions
|
protected JPF |
TestJPF.propertyViolation(StackTraceElement testMethod,
Class<? extends Property> propertyCls,
String... args)
run JPF expecting a property violation of the SuT
|
protected void |
TestJPF.setTestTargetKeys(Config conf,
StackTraceElement testMethod) |
protected void |
TestMultiProcessJPF.setTestTargetKeys(Config conf,
StackTraceElement testMethod) |
protected JPF |
TestJPF.unhandledException(StackTraceElement testMethod,
String xClassName,
String details,
String... args)
NOTE: this uses the exception class name because it might be an
exception type that is only known to JPF (i.e.
|