public class JPF_java_io_ObjectOutputStream extends NativePeer
Constructor and Description |
---|
JPF_java_io_ObjectOutputStream() |
Modifier and Type | Method and Description |
---|---|
void |
doublesToBytes___3DI_3BII__(MJIEnv env,
int clsRef,
int daRef,
int dOff,
int baRef,
int bOff,
int nDoubles) |
getInstance, getInstance, getPeerClass, getPeerClassName, init, initialize, initializePeerClass
public void doublesToBytes___3DI_3BII__(MJIEnv env, int clsRef, int daRef, int dOff, int baRef, int bOff, int nDoubles)