AvailableBufferedInputStream (JPF API)

public class AvailableBufferedInputStream
extends InputStream

Constructors
Constructor and Description
`AvailableBufferedInputStream(InputStream input)`
`AvailableBufferedInputStream(InputStream input, int bufferSize)`

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

Methods inherited from class java.io.InputStream
close, mark, markSupported, read, reset, skip

public AvailableBufferedInputStream(InputStream input)

public AvailableBufferedInputStream(InputStream input,
                            int bufferSize)

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

public int peek()
         throws IOException

public void unread(int data)
            throws IOException

Class AvailableBufferedInputStream