public class JPF_gov_nasa_jpf_util_test_TestMultiProcessJPF extends JPF_gov_nasa_jpf_util_test_TestJPF
Constructor and Description |
---|
JPF_gov_nasa_jpf_util_test_TestMultiProcessJPF() |
Modifier and Type | Method and Description |
---|---|
int |
getProcessId____I(MJIEnv env,
int objRef) |
static boolean |
mpVerifyAssertionError__I_3Ljava_lang_String_2__Z(MJIEnv env,
int objRef,
int numOfPrc,
int argsRef) |
static boolean |
mpVerifyAssertionErrorDetails__ILjava_lang_String_2_3Ljava_lang_String_2__Z(MJIEnv env,
int objRef,
int numOfPrc,
int rString1,
int rString2) |
static boolean |
mpVerifyDeadlock__I_3Ljava_lang_String_2__Z(MJIEnv env,
int objRef,
int numOfPrc,
int argsRef) |
static boolean |
mpVerifyJPFException__ILgov_nasa_jpf_util_TypeRef_2_3Ljava_lang_String_2__Z(MJIEnv env,
int objRef,
int numOfPrc,
int typeRef,
int argsRef) |
static boolean |
mpVerifyNoPropertyViolation__I_3Ljava_lang_String_2__Z(MJIEnv env,
int objRef,
int numOfPrc,
int argsRef) |
static boolean |
mpVerifyPropertyViolation__ILgov_nasa_jpf_util_TypeRef_2_3Ljava_lang_String_2__Z(MJIEnv env,
int objRef,
int numOfPrc,
int typeRef,
int argsRef) |
static boolean |
mpVerifyUnhandledException__ILjava_lang_String_2_3Ljava_lang_String_2__Z(MJIEnv env,
int objRef,
int numOfPrc,
int clsRef,
int argsRef) |
static boolean |
mpVerifyUnhandledExceptionDetails__ILjava_lang_String_2Ljava_lang_String_2_3Ljava_lang_String_2__Z(MJIEnv env,
int objRef,
int numOfPrc,
int clsRef,
int details,
int argsRef) |
$init____V, createAndRunJPF__Ljava_lang_StackTraceElement_2_3Ljava_lang_String_2__Lgov_nasa_jpf_JPF_2, deadlock___3Ljava_lang_String_2__Lgov_nasa_jpf_JPF_2, getProperty__Ljava_lang_String_2__Ljava_lang_String_2, isJPFRun____Z, isJUnitRun____Z, isRunTestRun____Z, jpfException__Ljava_lang_Class_2_3Ljava_lang_String_2__Lgov_nasa_jpf_JPF_2, noPropertyViolation___3Ljava_lang_String_2__Lgov_nasa_jpf_JPF_2, propertyViolation__Ljava_lang_Class_2_3Ljava_lang_String_2__Lgov_nasa_jpf_JPF_2, runTestsOfThisClass___3Ljava_lang_String_2__V, unhandledException__Ljava_lang_String_2Ljava_lang_String_2_3Ljava_lang_String_2__Lgov_nasa_jpf_JPF_2, verifyAssertionError___3Ljava_lang_String_2__Z, verifyAssertionErrorDetails__Ljava_lang_String_2_3Ljava_lang_String_2__Z, verifyDeadlock___3Ljava_lang_String_2__Z, verifyJPFException__Lgov_nasa_jpf_util_TypeRef_2_3Ljava_lang_String_2__Z, verifyNoPropertyViolation___3Ljava_lang_String_2__Z, verifyPropertyViolation__Lgov_nasa_jpf_util_TypeRef_2_3Ljava_lang_String_2__Z, verifyUnhandledException__Ljava_lang_String_2_3Ljava_lang_String_2__Z, verifyUnhandledExceptionDetails__Ljava_lang_String_2Ljava_lang_String_2_3Ljava_lang_String_2__Z
getInstance, getInstance, getPeerClass, getPeerClassName, init, initialize, initializePeerClass
public JPF_gov_nasa_jpf_util_test_TestMultiProcessJPF()
public int getProcessId____I(MJIEnv env, int objRef)
public static boolean mpVerifyAssertionErrorDetails__ILjava_lang_String_2_3Ljava_lang_String_2__Z(MJIEnv env, int objRef, int numOfPrc, int rString1, int rString2)
public static boolean mpVerifyAssertionError__I_3Ljava_lang_String_2__Z(MJIEnv env, int objRef, int numOfPrc, int argsRef)
public static boolean mpVerifyNoPropertyViolation__I_3Ljava_lang_String_2__Z(MJIEnv env, int objRef, int numOfPrc, int argsRef)
public static boolean mpVerifyUnhandledExceptionDetails__ILjava_lang_String_2Ljava_lang_String_2_3Ljava_lang_String_2__Z(MJIEnv env, int objRef, int numOfPrc, int clsRef, int details, int argsRef)
public static boolean mpVerifyUnhandledException__ILjava_lang_String_2_3Ljava_lang_String_2__Z(MJIEnv env, int objRef, int numOfPrc, int clsRef, int argsRef)
public static boolean mpVerifyJPFException__ILgov_nasa_jpf_util_TypeRef_2_3Ljava_lang_String_2__Z(MJIEnv env, int objRef, int numOfPrc, int typeRef, int argsRef)
public static boolean mpVerifyPropertyViolation__ILgov_nasa_jpf_util_TypeRef_2_3Ljava_lang_String_2__Z(MJIEnv env, int objRef, int numOfPrc, int typeRef, int argsRef)
public static boolean mpVerifyDeadlock__I_3Ljava_lang_String_2__Z(MJIEnv env, int objRef, int numOfPrc, int argsRef)