public class JPF_java_io_ObjectInputStream extends NativePeer
Constructor and Description |
---|
JPF_java_io_ObjectInputStream() |
Modifier and Type | Method and Description |
---|---|
void |
bytesToDoubles___3BI_3DII__(MJIEnv env,
int clsRef,
int baRef,
int bOff,
int daRef,
int dOff,
int nDoubles) |
void |
bytesToFloats___3BI_3FII__(MJIEnv env,
int clsRef,
int baRef,
int bOff,
int faRef,
int fOff,
int nFloats) |
int |
latestUserDefinedLoader____Ljava_lang_ClassLoader_2(MJIEnv env,
int clsRef) |
getInstance, getInstance, getPeerClass, getPeerClassName, init, initialize, initializePeerClass
public int latestUserDefinedLoader____Ljava_lang_ClassLoader_2(MJIEnv env, int clsRef)
public void bytesToDoubles___3BI_3DII__(MJIEnv env, int clsRef, int baRef, int bOff, int daRef, int dOff, int nDoubles)
public void bytesToFloats___3BI_3FII__(MJIEnv env, int clsRef, int baRef, int bOff, int faRef, int fOff, int nFloats)