gov.nasa.jpf.vm

Class JPF_java_io_ObjectOutputStream

java.lang.Object

gov.nasa.jpf.vm.NativePeer

gov.nasa.jpf.vm.JPF_java_io_ObjectOutputStream

All Implemented Interfaces:

Cloneable

public class JPF_java_io_ObjectOutputStream
extends NativePeer

Constructor Summary

Constructors

Constructor and Description
JPF_java_io_ObjectOutputStream()

Method Summary

Methods

Modifier and Type	Method and Description
void	doublesToBytes___3DI_3BII__(MJIEnv env, int clsRef, int daRef, int dOff, int baRef, int bOff, int nDoubles)

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

getInstance, getInstance, getPeerClass, getPeerClassName, init, initialize, initializePeerClass

Methods inherited from class java.lang.Object

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

Constructor Detail

JPF_java_io_ObjectOutputStream

public JPF_java_io_ObjectOutputStream()

Method Detail

doublesToBytes___3DI_3BII__

public void doublesToBytes___3DI_3BII__(MJIEnv env,
                               int clsRef,
                               int daRef,
                               int dOff,
                               int baRef,
                               int bOff,
                               int nDoubles)