org.apache.derby.iapi.services.io
Class CloseFilterInputStream

java.lang.Object
  java.io.InputStream
      java.io.FilterInputStream
          org.apache.derby.iapi.services.io.CloseFilterInputStream

All Implemented Interfaces:

java.io.Closeable

public class CloseFilterInputStream
extends java.io.FilterInputStream

A stream that will throw an exception if its methods are invoked after it has been closed.

Field Summary

private boolean	closed Tells if this stream has been closed.
private static java.lang.String	MESSAGE Message, modeled after CloseFilterInputStream in the client.

Fields inherited from class java.io.FilterInputStream

in

Constructor Summary

CloseFilterInputStream(java.io.InputStream in)

Method Summary

int	available()
private void	checkIfClosed() Throws exception if this stream has been closed.
void	close()
int	read()
int	read(byte[] b)
int	read(byte[] b, int off, int len)
long	skip(long n)

Methods inherited from class java.io.FilterInputStream

mark, markSupported, reset

Methods inherited from class java.lang.Object

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

Field Detail

MESSAGE

private static final java.lang.String MESSAGE

Message, modeled after CloseFilterInputStream in the client.

closed

private boolean closed

Tells if this stream has been closed.

Constructor Detail

CloseFilterInputStream

public CloseFilterInputStream(java.io.InputStream in)

Method Detail

close

public void close()
           throws java.io.IOException

Specified by:

close in interface java.io.Closeable

Overrides:

close in class java.io.FilterInputStream

Throws:

java.io.IOException

available

public int available()
              throws java.io.IOException

Overrides:

available in class java.io.FilterInputStream

Throws:

java.io.IOException

read

public int read()
         throws java.io.IOException

Overrides:

read in class java.io.FilterInputStream

Throws:

java.io.IOException

read

public int read(byte[] b)
         throws java.io.IOException

Overrides:

read in class java.io.FilterInputStream

Throws:

java.io.IOException

read

public int read(byte[] b,
                int off,
                int len)
         throws java.io.IOException

Overrides:

read in class java.io.FilterInputStream

Throws:

java.io.IOException

skip

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

Overrides:

skip in class java.io.FilterInputStream

Throws:

java.io.IOException

checkIfClosed

private void checkIfClosed()
                    throws java.io.IOException

Throws exception if this stream has been closed.

Throws:

java.io.IOException