Methods
Modifier and Type |
Method and Description |
void |
$init____V(MJIEnv env,
int objRef) |
int |
createAndRunJPF__Ljava_lang_StackTraceElement_2_3Ljava_lang_String_2__Lgov_nasa_jpf_JPF_2(MJIEnv env,
int clsObjRef,
int a1,
int a2) |
int |
deadlock___3Ljava_lang_String_2__Lgov_nasa_jpf_JPF_2(MJIEnv env,
int clsObjRef,
int jpfArgsRef) |
int |
getProperty__Ljava_lang_String_2__Ljava_lang_String_2(MJIEnv env,
int clsObjRef,
int keyRef) |
boolean |
isJPFRun____Z(MJIEnv env,
int clsObjRef)
if any of our methods are executed, we know that we already run under JPF
|
boolean |
isJUnitRun____Z(MJIEnv env,
int clsObjRef) |
boolean |
isRunTestRun____Z(MJIEnv env,
int clsObjRef) |
int |
jpfException__Ljava_lang_Class_2_3Ljava_lang_String_2__Lgov_nasa_jpf_JPF_2(MJIEnv env,
int clsObjRef,
int xClsRef,
int jpfArgsRef) |
int |
noPropertyViolation___3Ljava_lang_String_2__Lgov_nasa_jpf_JPF_2(MJIEnv env,
int clsObjRef,
int jpfArgsRef) |
int |
propertyViolation__Ljava_lang_Class_2_3Ljava_lang_String_2__Lgov_nasa_jpf_JPF_2(MJIEnv env,
int clsObjRef,
int propClsRef,
int jpfArgsRef) |
void |
runTestsOfThisClass___3Ljava_lang_String_2__V(MJIEnv env,
int clsObjRef,
int selectedTestsRef) |
int |
unhandledException__Ljava_lang_String_2Ljava_lang_String_2_3Ljava_lang_String_2__Lgov_nasa_jpf_JPF_2(MJIEnv env,
int clsObjRef,
int xClassNameRef,
int detailsRef,
int jpfArgsRef) |
boolean |
verifyAssertionError___3Ljava_lang_String_2__Z(MJIEnv env,
int clsObjRef,
int jpfArgsRef) |
boolean |
verifyAssertionErrorDetails__Ljava_lang_String_2_3Ljava_lang_String_2__Z(MJIEnv env,
int clsObjRef,
int detailsRef,
int jpfArgsRef) |
boolean |
verifyDeadlock___3Ljava_lang_String_2__Z(MJIEnv env,
int clsObjRef,
int jpfArgsRef) |
boolean |
verifyJPFException__Lgov_nasa_jpf_util_TypeRef_2_3Ljava_lang_String_2__Z(MJIEnv env,
int clsObjRef,
int xClsRef,
int jpfArgsRef) |
boolean |
verifyNoPropertyViolation___3Ljava_lang_String_2__Z(MJIEnv env,
int clsObjRef,
int jpfArgsRef) |
boolean |
verifyPropertyViolation__Lgov_nasa_jpf_util_TypeRef_2_3Ljava_lang_String_2__Z(MJIEnv env,
int clsObjRef,
int propClsRef,
int jpfArgsRef) |
boolean |
verifyUnhandledException__Ljava_lang_String_2_3Ljava_lang_String_2__Z(MJIEnv env,
int clsObjRef,
int xClassNameRef,
int jpfArgsRef) |
boolean |
verifyUnhandledExceptionDetails__Ljava_lang_String_2Ljava_lang_String_2_3Ljava_lang_String_2__Z(MJIEnv env,
int clsObjRef,
int xClassNameRef,
int detailsRef,
int jpfArgsRef) |