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()
Resource
public java.lang.String getName()
Resource
public java.net.URL getURL()
Resource
public java.io.InputStream openStream() throws java.io.IOException
Resource
openStream
in interface Resource
java.io.IOException
- if an I/O error occurs