JML

java.io
Class InputStream

java.lang.Object
  extended byjava.io.InputStream
All Implemented Interfaces:
Closeable

public abstract class InputStream
extends Object
implements Closeable


Field Summary
private static int SKIP_BUFFER_SIZE
           
private static byte[] skipBuffer
           
 
Constructor Summary
InputStream()
           
 
Method Summary
 int available()
           
 void close()
           
 void mark(int)
           
 boolean markSupported()
           
abstract  int read()
           
 int read(byte[])
           
 int read(byte[], int, int)
           
 void reset()
           
 long skip(long)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

SKIP_BUFFER_SIZE

private static final int SKIP_BUFFER_SIZE

skipBuffer

private static byte[] skipBuffer
Constructor Detail

InputStream

public InputStream()
Method Detail

read

public abstract int read()
                  throws IOException
Throws:
IOException

read

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

read

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

skip

public long skip(long)
          throws IOException
Throws:
IOException

available

public int available()
              throws IOException
Throws:
IOException

close

public void close()
           throws IOException
Specified by:
close in interface Closeable
Throws:
IOException

mark

public void mark(int)

reset

public void reset()
           throws IOException
Throws:
IOException

markSupported

public boolean markSupported()

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.