|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object edu.mit.jwi.IRAMDictionary.URLInputStreamFactory
public static class IRAMDictionary.URLInputStreamFactory
Default implementation of the IRAMDictionary.IInputStreamFactory
interface which
creates an input stream from a specified URL.
Field Summary | |
---|---|
protected java.net.URL |
url
|
Constructor Summary | |
---|---|
IRAMDictionary.URLInputStreamFactory(java.net.URL url)
Creates a URLInputStreamFactory that uses the specified url. |
Method Summary | |
---|---|
java.io.InputStream |
makeInputStream()
Returns a new input stream from this factory. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
protected final java.net.URL url
Constructor Detail |
---|
public IRAMDictionary.URLInputStreamFactory(java.net.URL url)
url
- the url from which the input streams should be created;
may not be null
java.lang.NullPointerException
- if the specified url is null
Method Detail |
---|
public java.io.InputStream makeInputStream() throws java.io.IOException
IRAMDictionary.IInputStreamFactory
makeInputStream
in interface IRAMDictionary.IInputStreamFactory
java.io.IOException
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |