JML

java.io
Interface ObjectInput

All Superinterfaces:
DataInput
All Known Implementing Classes:
ObjectInputStream

public interface ObjectInput
extends DataInput


Model Field Summary
 
Model fields inherited from interface java.io.DataInput
bytesRead, input
 
Method Summary
 int available()
           
 void close()
           
 int read()
           
 int read(byte[])
           
 int read(byte[], int, int)
           
 Object readObject()
           
 long skip(long)
           
 
Methods inherited from interface java.io.DataInput
readBoolean, readByte, readChar, readDouble, readFloat, readFully, readFully, readInt, readLine, readLong, readShort, readUnsignedByte, readUnsignedShort, readUTF, skipBytes
 

Method Detail

available

public int available()
                       throws IOException
Throws:
IOException

read

public int read()
                  throws IOException
Throws:
IOException

close

public void close()
                    throws IOException
Throws:
IOException

skip

public long skip(long)
                   throws IOException
Throws:
IOException

read

public int read(byte[])
                  throws IOException
Throws:
IOException

read

public int read(byte[],
                int,
                int)
                  throws IOException
Throws:
IOException

readObject

public Object readObject()
                           throws ClassNotFoundException,
                                  IOException
Throws:
ClassNotFoundException
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.