|
Web Site | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.codehaus.janino.util.resource.FileResource
Representation of a resource that is a File
.
Constructor Summary | |
FileResource(java.io.File file)
|
Method Summary | |
java.io.File |
getFile()
|
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. |
java.lang.String |
toString()
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
public FileResource(java.io.File file)
Method Detail |
public final java.lang.String getFileName()
Resource
getFileName
in interface Resource
public final java.io.InputStream open() throws java.io.IOException
Resource
InputStream
.
open
in interface Resource
java.io.IOException
public final long lastModified()
Resource
0L
if the time of the last modification cannot
be determined.
lastModified
in interface Resource
public java.io.File getFile()
public java.lang.String toString()
|
Web Site | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |