| Modifier and Type | Field and Description |
|---|---|
private java.security.AccessControlContext |
context |
private java.io.File |
file |
private java.lang.String |
name |
private java.net.URL |
url |
| Constructor and Description |
|---|
FileEntryResource(java.lang.String name,
java.io.File file,
java.net.URL url,
java.security.AccessControlContext context) |
| Modifier and Type | Method and Description |
|---|---|
java.lang.String |
getName()
Get the relative resource name.
|
long |
getSize()
Get the size of the resource, if known.
|
java.net.URL |
getURL()
Get the complete URL of this resource.
|
java.io.InputStream |
openStream()
Open an input stream to this resource.
|
private final java.lang.String name
private final java.io.File file
private final java.net.URL url
private final java.security.AccessControlContext context
FileEntryResource(java.lang.String name,
java.io.File file,
java.net.URL url,
java.security.AccessControlContext context)
public long getSize()
Resourcepublic java.lang.String getName()
Resourcepublic java.net.URL getURL()
Resourcepublic java.io.InputStream openStream()
throws java.io.IOException
ResourceopenStream in interface Resourcejava.io.IOException - if an I/O error occurs