Class FileResource
- java.lang.Object
-
- org.codehaus.janino.util.resource.FileResource
-
-
Constructor Summary
Constructors Constructor Description FileResource(java.io.File file)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description java.io.FilegetFile()java.lang.StringgetFileName()Returns a decorative "file name" that can be used for reporting errors and the like.longlastModified()Returns the time of the last modification, in milliseconds since 1970, or0Lif the time of the last modification cannot be determined.java.io.InputStreamopen()Opens the resource.java.lang.StringtoString()
-
-
-
Method Detail
-
getFileName
public final java.lang.String getFileName()
Description copied from interface:ResourceReturns 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!- Specified by:
getFileNamein interfaceResource
-
open
public final java.io.InputStream open() throws java.io.IOExceptionDescription copied from interface:ResourceOpens the resource. The caller is responsible for closing theInputStream.
-
lastModified
public final long lastModified()
Description copied from interface:ResourceReturns the time of the last modification, in milliseconds since 1970, or0Lif the time of the last modification cannot be determined.- Specified by:
lastModifiedin interfaceResource
-
getFile
public final java.io.File getFile()
-
toString
public final java.lang.String toString()
- Overrides:
toStringin classjava.lang.Object
-
-