edu.princeton.toy

Class TResourceLoader

java.lang.Object

edu.princeton.toy.TResourceLoader

public abstract class TResourceLoader
extends java.lang.Object

TResourceLoader is a convenient library of functions which allow the other classes to easily access resources from within the JAR file. In centralizing all resource loading, we also give ourselves the ability to change the implementation easily.

Constructor Summary

Constructors

Constructor and Description
TResourceLoader()

Method Summary

Methods

Modifier and Type	Method and Description
static java.io.BufferedReader	getBufferedReader(java.lang.String path) Returns the BufferedReader object for a JARed file.
static java.awt.Image	getImage(java.lang.String path) Returns the Image object for a JARed picture.
static java.io.InputStream	getInputStream(java.lang.String path) Returns the InputStream object for a JARed file.
static java.io.Reader	getReader(java.lang.String path) Returns the Reader object for a JARed file.
static java.net.URL	getUrl(java.lang.String path) Returns the URL object for a JARed resource.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

TResourceLoader

public TResourceLoader()

Method Detail

getUrl

public static java.net.URL getUrl(java.lang.String path)

Returns the URL object for a JARed resource.

Parameters:

path - The path of the resource relative to the root of the JAR archive.

Returns:

The URL corresponding to the JARed resource.

getImage

public static java.awt.Image getImage(java.lang.String path)

Returns the Image object for a JARed picture.

Parameters:

path - The path of the picture relative to the root of the JAR archive.

Returns:

The Image corresponding to the JARed picture.

getInputStream

public static java.io.InputStream getInputStream(java.lang.String path)
                                          throws java.io.IOException

Returns the InputStream object for a JARed file.

Parameters:

path - The path of the file relative to the root of the JAR archive.

Returns:

The InputStream which reads from that file.

Throws:

java.io.IOException

getReader

public static java.io.Reader getReader(java.lang.String path)
                                throws java.io.IOException

Returns the Reader object for a JARed file.

Parameters:

path - The path of the file relative to the root of the JAR archive.

Returns:

The Reader which reads from that file.

Throws:

java.io.IOException

getBufferedReader

public static java.io.BufferedReader getBufferedReader(java.lang.String path)
                                                throws java.io.IOException

Returns the BufferedReader object for a JARed file.

Parameters:

path - The path of the file relative to the root of the JAR archive.

Returns:

The BufferedReader which reads from that file.

Throws:

java.io.IOException