|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object edu.mit.jwi.IRAMDictionary.FileInputStreamFactory
public static class IRAMDictionary.FileInputStreamFactory
Default implementation of the IRAMDictionary.IInputStreamFactory
interface which
creates an input stream from a specified File object.
Field Summary | |
---|---|
protected java.io.File |
file
|
Constructor Summary | |
---|---|
IRAMDictionary.FileInputStreamFactory(java.io.File file)
Creates a FileInputStreamFactory that uses the specified file. |
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.io.File file
Constructor Detail |
---|
public IRAMDictionary.FileInputStreamFactory(java.io.File file)
file
- the file from which the input streams should be created;
may not be null
java.lang.NullPointerException
- if the specified file 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 |