| Constructor and Description |
|---|
FileResource(java.io.File file) |
| Modifier and Type | Method and Description |
|---|---|
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() |
public final java.lang.String getFileName()
ResourcegetFileName in interface Resourcepublic final java.io.InputStream open()
throws java.io.IOException
ResourceInputStream.public final long lastModified()
Resource0L if the time of the last modification cannot
be determined.lastModified in interface Resourcepublic final java.io.File getFile()
public final java.lang.String toString()
toString in class java.lang.Object