janino.net

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.


janino.net