gov.nasa.jpf.util

Class LimitedInputStream

java.lang.Object

java.io.InputStream

gov.nasa.jpf.util.LimitedInputStream

All Implemented Interfaces:

Closeable, AutoCloseable

public class LimitedInputStream
extends InputStream

Constructor Summary

Constructors

Constructor and Description
LimitedInputStream(InputStream source)

Method Summary

Methods

Modifier and Type	Method and Description
int	available()
void	close()
int	getLimit()
int	read()
int	read(byte[] buffer, int offset, int length)
void	setLimit(int length)
long	skip(long n)

Methods inherited from class java.io.InputStream

mark, markSupported, read, reset

Methods inherited from class java.lang.Object

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

Constructor Detail

LimitedInputStream

public LimitedInputStream(InputStream source)

Method Detail

getLimit

public int getLimit()

setLimit

public void setLimit(int length)

read

public int read()
         throws IOException

Specified by:

read in class InputStream

Throws:

IOException

read

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

Overrides:

read in class InputStream

Throws:

IOException

skip

public long skip(long n)
          throws IOException

Overrides:

skip in class InputStream

Throws:

IOException

available

public int available()
              throws IOException

Overrides:

available in class InputStream

Throws:

IOException

close

public void close()
           throws IOException

Specified by:

close in interface Closeable

Specified by:

close in interface AutoCloseable

Overrides:

close in class InputStream

Throws:

IOException