org.codehaus.janino.util.resource
Interface Resource

All Known Implementing Classes:

FileResource

public interface Resource

A Resource is "something" that is typically found by a ResourceFinder, can be open()ed for reading, and optionally has a lastModified() property.

There also exists a ResourceCreator concept which opens a resource for writing, but that happens directly and not through an intermediate Resource object.

See Also:

ResourceFinder, ResourceCreator

Method Summary

java.lang.String	getFileName() Returns a decorative "file name" that can be used for reporting errors and the like.
long	lastModified() Returns the time of the last modification, in milliseconds since 1970, or 0L if the time of the last modification cannot be determined.
java.io.InputStream	open() Opens the resource.

Method Detail

open

java.io.InputStream open()
                         throws java.io.IOException

Opens the resource. The caller is responsible for closing the InputStream.

Throws:

java.io.IOException

getFileName

java.lang.String getFileName()

Returns a decorative "file name" that can be used for reporting errors and the like. It does not necessarily map to a file in the local file system!

lastModified

long lastModified()

Returns the time of the last modification, in milliseconds since 1970, or 0L if the time of the last modification cannot be determined.