gov.nasa.jpf.util

Class LimitedInputStream

java.lang.Object

java.io.InputStream

gov.nasa.jpf.util.LimitedInputStream

All Implemented Interfaces:

java.io.Closeable, java.lang.AutoCloseable

public class LimitedInputStream
extends java.io.InputStream

Constructor Summary

Constructors

Constructor and Description
LimitedInputStream(java.io.InputStream source)

Method Summary

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(java.io.InputStream source)

Method Detail

getLimit

public int getLimit()

setLimit

public void setLimit(int length)

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

skip

public long skip(long n)
          throws java.io.IOException

Overrides:

skip in class java.io.InputStream

Throws:

java.io.IOException

available

public int available()
              throws java.io.IOException

Overrides:

available in class java.io.InputStream

Throws:

java.io.IOException

close

public void close()
           throws java.io.IOException

Specified by:

close in interface java.io.Closeable

Specified by:

close in interface java.lang.AutoCloseable

Overrides:

close in class java.io.InputStream

Throws:

java.io.IOException