JML

java.io
Interface DataInput

All Known Implementing Classes:
RandomAccessFile

public interface DataInput


Method Summary
 boolean readBoolean()
           
 byte readByte()
           
 char readChar()
           
 double readDouble()
           
 float readFloat()
           
 void readFully(byte[])
           
 void readFully(byte[], int, int)
           
 int readInt()
           
 String readLine()
           
 long readLong()
           
 short readShort()
           
 int readUnsignedByte()
           
 int readUnsignedShort()
           
 String readUTF()
           
 int skipBytes(int)
           
 

Method Detail

readFully

public void readFully(byte[])
                        throws IOException
Throws:
IOException

readFully

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

skipBytes

public int skipBytes(int)
                       throws IOException
Throws:
IOException

readBoolean

public boolean readBoolean()
                             throws IOException
Throws:
IOException

readByte

public byte readByte()
                       throws IOException
Throws:
IOException

readUnsignedByte

public int readUnsignedByte()
                              throws IOException
Throws:
IOException

readShort

public short readShort()
                         throws IOException
Throws:
IOException

readUnsignedShort

public int readUnsignedShort()
                               throws IOException
Throws:
IOException

readChar

public char readChar()
                       throws IOException
Throws:
IOException

readInt

public int readInt()
                     throws IOException
Throws:
IOException

readLong

public long readLong()
                       throws IOException
Throws:
IOException

readFloat

public float readFloat()
                         throws IOException
Throws:
IOException

readDouble

public double readDouble()
                           throws IOException
Throws:
IOException

readLine

public String readLine()
                         throws IOException
Throws:
IOException

readUTF

public String readUTF()
                        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.