|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjava.io.InputStream
java.io.FilterInputStream
java.io.BufferedInputStream
dk.statsbiblioteket.doms.summa.oai.Client.MonitoredInputStream
private class Client.MonitoredInputStream
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 |
---|
private java.net.HttpURLConnection con
Constructor Detail |
---|
public Client.MonitoredInputStream(java.net.HttpURLConnection connection) throws java.io.IOException
java.io.IOException
Method Detail |
---|
public void close() throws java.io.IOException
close
in interface java.io.Closeable
close
in class java.io.BufferedInputStream
java.io.IOException
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |