class JarDBFile extends InputStreamFile
Modifier and Type | Field and Description |
---|---|
private JarStorageFactory |
storageFactory |
nameStart, path
EXCLUSIVE_FILE_LOCK, EXCLUSIVE_FILE_LOCK_NOT_AVAILABLE, NO_FILE_LOCK_SUPPORT
Modifier | Constructor and Description |
---|---|
(package private) |
JarDBFile(JarDBFile dir,
java.lang.String name) |
(package private) |
JarDBFile(JarStorageFactory storageFactory,
java.lang.String path) |
private |
JarDBFile(JarStorageFactory storageFactory,
java.lang.String child,
int pathLen) |
(package private) |
JarDBFile(JarStorageFactory storageFactory,
java.lang.String parent,
java.lang.String name) |
Modifier and Type | Method and Description |
---|---|
boolean |
exists()
Tests whether the named file exists.
|
private java.util.zip.ZipEntry |
getEntry() |
java.io.InputStream |
getInputStream()
Creates an input stream from a file name.
|
(package private) StorageFile |
getParentDir(int pathLen)
Get the name of the parent directory if this name includes a parent.
|
java.net.URL |
getURL()
Return a URL for this file (resource).
|
long |
length()
Returns the length of the named file if it is not a directory.
|
java.lang.String |
toString()
Get the file name for diagnostic purposes.
|
canWrite, createNewFile, delete, deleteAll, equals, getCanonicalPath, getExclusiveFileLock, getName, getOutputStream, getOutputStream, getParentDir, getPath, getRandomAccessFile, hashCode, isDirectory, limitAccessToOwner, list, mkdir, mkdirs, releaseExclusiveFileLock, renameTo, setReadOnly
private final JarStorageFactory storageFactory
JarDBFile(JarStorageFactory storageFactory, java.lang.String path)
JarDBFile(JarStorageFactory storageFactory, java.lang.String parent, java.lang.String name)
JarDBFile(JarDBFile dir, java.lang.String name)
private JarDBFile(JarStorageFactory storageFactory, java.lang.String child, int pathLen)
public boolean exists()
exists
in interface StorageFile
exists
in class InputStreamFile
private java.util.zip.ZipEntry getEntry()
public long length()
length
in interface StorageFile
length
in class InputStreamFile
StorageFile getParentDir(int pathLen)
getParentDir
in class InputStreamFile
pathLen
- the length of the parent's path name.public java.io.InputStream getInputStream() throws java.io.FileNotFoundException
getInputStream
in interface StorageFile
getInputStream
in class InputStreamFile
java.io.FileNotFoundException
- if the file is not found.public java.lang.String toString()
toString
in class InputStreamFile
public java.net.URL getURL() throws java.net.MalformedURLException
getURL
in interface StorageFile
getURL
in class InputStreamFile
java.net.MalformedURLException
- File cannot be represented as a URL.StorageFile.getURL()
Apache Derby V10.10 Internals - Copyright © 2004,2013 The Apache Software Foundation. All Rights Reserved.