edu.mit.jwi
Class IRAMDictionary.FileInputStreamFactory

java.lang.Object
  edu.mit.jwi.IRAMDictionary.FileInputStreamFactory

All Implemented Interfaces:

IRAMDictionary.IInputStreamFactory

Enclosing interface:

IRAMDictionary

public static class IRAMDictionary.FileInputStreamFactory
extends java.lang.Object
implements IRAMDictionary.IInputStreamFactory

Default implementation of the IRAMDictionary.IInputStreamFactory interface which creates an input stream from a specified File object.

Since:

JWI 2.4.0

Version:

2.4.0

Author:

Mark A. Finlayson

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

file

protected final java.io.File file

Constructor Detail

IRAMDictionary.FileInputStreamFactory

public IRAMDictionary.FileInputStreamFactory(java.io.File file)

Creates a FileInputStreamFactory that uses the specified file.

Parameters:

file - the file from which the input streams should be created; may not be null

Throws:

java.lang.NullPointerException - if the specified file is null

Since:

JWI 2.4.0

Method Detail

makeInputStream

public java.io.InputStream makeInputStream()
                                    throws java.io.IOException

Description copied from interface: IRAMDictionary.IInputStreamFactory

Returns a new input stream from this factory.

Specified by:

makeInputStream in interface IRAMDictionary.IInputStreamFactory

Returns:

a new, unused input stream from this factory.

Throws:

java.io.IOException