edu.mit.jwi

Class IRAMDictionary.URLInputStreamFactory

java.lang.Object

edu.mit.jwi.IRAMDictionary.URLInputStreamFactory

All Implemented Interfaces:

IRAMDictionary.IInputStreamFactory

Enclosing interface:

IRAMDictionary

public static class IRAMDictionary.URLInputStreamFactory
extends Object
implements IRAMDictionary.IInputStreamFactory

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

Since:

JWI 2.4.0

Version:

2.4.0

Author:

Mark A. Finlayson

Field Summary

Fields

Modifier and Type	Field and Description
protected URL	url

Constructor Summary

Constructors

Constructor and Description
URLInputStreamFactory(URL url) Creates a URLInputStreamFactory that uses the specified url.

Method Summary

Modifier and Type	Method and Description
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

url

protected final URL url

Constructor Detail

URLInputStreamFactory

public URLInputStreamFactory(URL url)

Creates a URLInputStreamFactory that uses the specified url.

Parameters:

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

Throws:

NullPointerException - if the specified url is null

Since:

JWI 2.4.0

Method Detail

makeInputStream

public InputStream makeInputStream()
                            throws 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:

IOException