gov.nasa.jpf.util

Class AvailableBufferedInputStream

java.lang.Object

java.io.InputStream

gov.nasa.jpf.util.AvailableBufferedInputStream

All Implemented Interfaces:

java.io.Closeable, java.lang.AutoCloseable

public class AvailableBufferedInputStream
extends java.io.InputStream

Constructor Summary

Constructors

Constructor and Description
AvailableBufferedInputStream(java.io.InputStream input)
AvailableBufferedInputStream(java.io.InputStream input, int bufferSize)

Method Summary

Modifier and Type	Method and Description
int	available()
int	getBufferSize()
int	peek()
int	read()
int	read(byte[] buffer, int offset, int length)
java.lang.String	toString()
void	unread(int data)

Methods inherited from class java.io.InputStream

close, mark, markSupported, read, reset, skip

Methods inherited from class java.lang.Object

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

Constructor Detail

AvailableBufferedInputStream

public AvailableBufferedInputStream(java.io.InputStream input)

AvailableBufferedInputStream

public AvailableBufferedInputStream(java.io.InputStream input,
                                    int bufferSize)

Method Detail

getBufferSize

public int getBufferSize()

read

public int read()
         throws java.io.IOException

Specified by:

read in class java.io.InputStream

Throws:

java.io.IOException

read

public int read(byte[] buffer,
                int offset,
                int length)
         throws java.io.IOException

Overrides:

read in class java.io.InputStream

Throws:

java.io.IOException

peek

public int peek()
         throws java.io.IOException

Throws:

java.io.IOException

available

public int available()
              throws java.io.IOException

Overrides:

available in class java.io.InputStream

Throws:

java.io.IOException

unread

public void unread(int data)
            throws java.io.IOException

Throws:

java.io.IOException

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object