| java.lang.Object gov.nasa.jpf.jvm.JPF_gov_nasa_jpf_jvm_TestNativePeer
JPF_gov_nasa_jpf_jvm_TestNativePeer | public class JPF_gov_nasa_jpf_jvm_TestNativePeer (Code) | | native peer class for unit testing MJI
|
Method Summary | |
public static void | $clinit(MJIEnv env, int rcls) | public static void | $init__I(MJIEnv env, int robj, int i) | public static int | nativeCrash(MJIEnv env, int robj) | public static int | nativeCreate2DimIntArray(MJIEnv env, int robj, int size1, int size2) | public static int | nativeCreateIntArray(MJIEnv env, int robj, int size) | public static int | nativeCreateStringArray(MJIEnv env, int robj, int size) | public static void | nativeException(MJIEnv env, int robj) | public static int | nativeInstanceMethod(MJIEnv env, int robj, double d, char c, boolean b, int i) | public static long | nativeStaticMethod(MJIEnv env, int rcls, long l, int stringRef) |
$clinit | public static void $clinit(MJIEnv env, int rcls)(Code) | | |
$init__I | public static void $init__I(MJIEnv env, int robj, int i)(Code) | | |
nativeCrash | public static int nativeCrash(MJIEnv env, int robj)(Code) | | |
nativeCreate2DimIntArray | public static int nativeCreate2DimIntArray(MJIEnv env, int robj, int size1, int size2)(Code) | | |
nativeCreateIntArray | public static int nativeCreateIntArray(MJIEnv env, int robj, int size)(Code) | | |
nativeCreateStringArray | public static int nativeCreateStringArray(MJIEnv env, int robj, int size)(Code) | | |
nativeException | public static void nativeException(MJIEnv env, int robj)(Code) | | |
nativeInstanceMethod | public static int nativeInstanceMethod(MJIEnv env, int robj, double d, char c, boolean b, int i)(Code) | | |
nativeStaticMethod | public static long nativeStaticMethod(MJIEnv env, int rcls, long l, int stringRef)(Code) | | |
|
|