| java.lang.Object gov.nasa.jpf.jvm.TestNativePeer
TestNativePeer | public class TestNativePeer (Code) | | model class of MJI test
|
TestNativePeer | TestNativePeer()(Code) | | |
TestNativePeer | TestNativePeer(int data)(Code) | | |
nativeCrash | native int nativeCrash()(Code) | | |
nativeCreate2DimIntArray | native int[][] nativeCreate2DimIntArray(int s1, int s2)(Code) | | |
nativeCreateIntArray | native int[] nativeCreateIntArray(int size)(Code) | | |
nativeCreateStringArray | native String[] nativeCreateStringArray(int size)(Code) | | |
nativeException | native void nativeException()(Code) | | |
nativeInstanceMethod | native int nativeInstanceMethod(double d, char c, boolean b, int i)(Code) | | |
nativeStaticMethod | native long nativeStaticMethod(long l, String s)(Code) | | |
testClInit | public void testClInit()(Code) | | |
testInit | public void testInit()(Code) | | |
testNativeCrash | public void testNativeCrash()(Code) | | |
testNativeCreate2DimIntArray | public void testNativeCreate2DimIntArray()(Code) | | |
testNativeCreateIntArray | public void testNativeCreateIntArray()(Code) | | |
testNativeCreateStringArray | public void testNativeCreateStringArray()(Code) | | |
testNativeException | public void testNativeException()(Code) | | |
testNativeInstanceMethod | public void testNativeInstanceMethod()(Code) | | |
testNativeStaticMethod | public void testNativeStaticMethod()(Code) | | |
|
|