dk.statsbiblioteket.doms.summa.oai
Class Client.MonitoredInputStream

java.lang.Object
  java.io.InputStream
      java.io.FilterInputStream
          java.io.BufferedInputStream
              dk.statsbiblioteket.doms.summa.oai.Client.MonitoredInputStream

All Implemented Interfaces:

java.io.Closeable

Enclosing class:

Client

private class Client.MonitoredInputStream
extends java.io.BufferedInputStream

A special input stream that disconnects an underlying HttpURLConnection when closed. Used to wrap input streams of Response objects.

Field Summary

private java.net.HttpURLConnection

con

Fields inherited from class java.io.BufferedInputStream

buf, count, marklimit, markpos, pos

Fields inherited from class java.io.FilterInputStream

in

Constructor Summary

Client.MonitoredInputStream(java.net.HttpURLConnection connection)

Method Summary

void

close()

Methods inherited from class java.io.BufferedInputStream

available, mark, markSupported, read, read, reset, skip

Methods inherited from class java.io.FilterInputStream

read

Methods inherited from class java.lang.Object

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

Field Detail

con

private java.net.HttpURLConnection con

Constructor Detail

Client.MonitoredInputStream

public Client.MonitoredInputStream(java.net.HttpURLConnection connection)
                            throws java.io.IOException

Throws:

java.io.IOException

Method Detail

close

public void close()
           throws java.io.IOException

Specified by:

close in interface java.io.Closeable

Overrides:

close in class java.io.BufferedInputStream

Throws:

java.io.IOException