gov.nasa.jpf.util.test

Class JPF_gov_nasa_jpf_util_test_TestMultiProcessJPF

java.lang.Object

gov.nasa.jpf.vm.NativePeer

gov.nasa.jpf.util.test.JPF_gov_nasa_jpf_util_test_TestJPF

gov.nasa.jpf.util.test.JPF_gov_nasa_jpf_util_test_TestMultiProcessJPF

All Implemented Interfaces:

java.lang.Cloneable

public class JPF_gov_nasa_jpf_util_test_TestMultiProcessJPF
extends JPF_gov_nasa_jpf_util_test_TestJPF

Constructor Summary

Constructors

Constructor and Description
JPF_gov_nasa_jpf_util_test_TestMultiProcessJPF()

Method Summary

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)

Methods inherited from class gov.nasa.jpf.util.test.JPF_gov_nasa_jpf_util_test_TestJPF

$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

Methods inherited from class gov.nasa.jpf.vm.NativePeer

checkOrphan, getInstance, getInstance, getPeerClass, getPeerClassName, ignoreOrphan, init, initialize, initializePeerClass, loadMethods

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

JPF_gov_nasa_jpf_util_test_TestMultiProcessJPF

public JPF_gov_nasa_jpf_util_test_TestMultiProcessJPF()

Method Detail

getProcessId____I

public int getProcessId____I(MJIEnv env,
                             int objRef)

mpVerifyAssertionErrorDetails__ILjava_lang_String_2_3Ljava_lang_String_2__Z

public static boolean mpVerifyAssertionErrorDetails__ILjava_lang_String_2_3Ljava_lang_String_2__Z(MJIEnv env,
                                                                                                  int objRef,
                                                                                                  int numOfPrc,
                                                                                                  int rString1,
                                                                                                  int rString2)

mpVerifyAssertionError__I_3Ljava_lang_String_2__Z

public static boolean mpVerifyAssertionError__I_3Ljava_lang_String_2__Z(MJIEnv env,
                                                                        int objRef,
                                                                        int numOfPrc,
                                                                        int argsRef)

mpVerifyNoPropertyViolation__I_3Ljava_lang_String_2__Z

public static boolean mpVerifyNoPropertyViolation__I_3Ljava_lang_String_2__Z(MJIEnv env,
                                                                             int objRef,
                                                                             int numOfPrc,
                                                                             int argsRef)

mpVerifyUnhandledExceptionDetails__ILjava_lang_String_2Ljava_lang_String_2_3Ljava_lang_String_2__Z

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)

mpVerifyUnhandledException__ILjava_lang_String_2_3Ljava_lang_String_2__Z

public static boolean mpVerifyUnhandledException__ILjava_lang_String_2_3Ljava_lang_String_2__Z(MJIEnv env,
                                                                                               int objRef,
                                                                                               int numOfPrc,
                                                                                               int clsRef,
                                                                                               int argsRef)

mpVerifyJPFException__ILgov_nasa_jpf_util_TypeRef_2_3Ljava_lang_String_2__Z

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)

mpVerifyPropertyViolation__ILgov_nasa_jpf_util_TypeRef_2_3Ljava_lang_String_2__Z

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)

mpVerifyDeadlock__I_3Ljava_lang_String_2__Z

public static boolean mpVerifyDeadlock__I_3Ljava_lang_String_2__Z(MJIEnv env,
                                                                  int objRef,
                                                                  int numOfPrc,
                                                                  int argsRef)