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