JML

java.io
Interface ObjectOutput

All Superinterfaces:
DataOutput

public interface ObjectOutput
extends DataOutput


Method Summary
 void close()
           
 void flush()
           
 void write(byte[])
           
 void write(byte[], int, int)
           
 void write(int)
           
 void writeObject(Object)
           
 
Methods inherited from interface java.io.DataOutput
writeBoolean, writeByte, writeBytes, writeChar, writeChars, writeDouble, writeFloat, writeInt, writeLong, writeShort, writeUTF
 

Method Detail

close

public void close()
                    throws IOException
Throws:
IOException

flush

public void flush()
                    throws IOException
Throws:
IOException

write

public void write(int)
                    throws IOException
Specified by:
write in interface DataOutput
Throws:
IOException

write

public void write(byte[])
                    throws IOException
Specified by:
write in interface DataOutput
Throws:
IOException

write

public void write(byte[],
                  int,
                  int)
                    throws IOException
Specified by:
write in interface DataOutput
Throws:
IOException

writeObject

public void writeObject(Object)
                          throws IOException
Throws:
IOException

JML

JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.