|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectorg.cruxframework.crux.scanner.URLStreamManager
public class URLStreamManager
Wrapper for handling the opening of URL input streams.
Only necessary because of a buggy behavior of JarURLConnection,
that keeps the lock of the jar file despite of we call urlInputStream.close().
| Constructor Summary | |
|---|---|
URLStreamManager(URL url)
Creates a stream manager for a given URL. |
|
| Method Summary | |
|---|---|
static ByteArrayInputStream |
bufferedRead(URL url)
Reads and stores a resource into memory |
void |
close()
Closes the underlying input stream |
InputStream |
open()
Opens the URL's stream |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
|---|
public URLStreamManager(URL url)
url - | Method Detail |
|---|
public InputStream open()
IOExceptionpublic static ByteArrayInputStream bufferedRead(URL url)
public void close()
IOException
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||