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 java.lang.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

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

url

protected final java.net.URL url

Constructor Detail

IRAMDictionary.URLInputStreamFactory

public IRAMDictionary.URLInputStreamFactory(java.net.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:

java.lang.NullPointerException - if the specified url 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