class JarDBFile extends InputStreamFile
| Modifier and Type | Field and Description |
|---|---|
private JarStorageFactory |
storageFactory |
nameStart, pathEXCLUSIVE_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, setReadOnlyprivate 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 StorageFileexists in class InputStreamFileprivate java.util.zip.ZipEntry getEntry()
public long length()
length in interface StorageFilelength in class InputStreamFileStorageFile getParentDir(int pathLen)
getParentDir in class InputStreamFilepathLen - the length of the parent's path name.public java.io.InputStream getInputStream()
throws java.io.FileNotFoundException
getInputStream in interface StorageFilegetInputStream in class InputStreamFilejava.io.FileNotFoundException - if the file is not found.public java.lang.String toString()
toString in class InputStreamFilepublic java.net.URL getURL()
throws java.net.MalformedURLException
getURL in interface StorageFilegetURL in class InputStreamFilejava.net.MalformedURLException - File cannot be represented as a URL.StorageFile.getURL()Apache Derby V10.10 Internals - Copyright © 2004,2014 The Apache Software Foundation. All Rights Reserved.