Package | Description |
---|---|
org.h2.store.fs |
Modifier and Type | Class and Description |
---|---|
class |
FilePathDisk
This file system stores files on disk.
|
class |
FilePathMem
This file system keeps files fully in memory.
|
class |
FilePathNio
This file system stores files on disk and uses java.nio to access the files.
|
class |
FilePathNioMapped
This file system stores files on disk and uses java.nio to access the files.
|
class |
FilePathRec
A file system that records all write operations and can re-play them.
|
class |
FilePathSplit
A file system that may split files into multiple smaller files.
|
class |
FilePathWrapper
The base class for wrapping / delegating file systems such as
the split file system.
|
class |
FilePathZip
This is a read-only file system that allows
to access databases stored in a .zip or .jar file.
|
Modifier and Type | Method and Description |
---|---|
FilePath |
FilePathZip.createTempFile(String suffix,
boolean deleteOnExit,
boolean inTempDir) |
FilePath |
FilePathWrapper.createTempFile(String suffix,
boolean deleteOnExit,
boolean inTempDir) |
FilePath |
FilePathRec.createTempFile(String suffix,
boolean deleteOnExit,
boolean inTempDir) |
FilePath |
FilePathDisk.createTempFile(String suffix,
boolean deleteOnExit,
boolean inTempDir) |
FilePath |
FilePath.createTempFile(String suffix,
boolean deleteOnExit,
boolean inTempDir)
Create a new temporary file.
|
static FilePath |
FilePath.get(String path)
Get the file path object for the given path.
|
protected FilePath |
FilePathWrapper.getBase() |
FilePath |
FilePathZip.getParent() |
FilePath |
FilePathWrapper.getParent() |
FilePath |
FilePathDisk.getParent() |
abstract FilePath |
FilePath.getParent()
Get the parent directory of a file or directory.
|
abstract FilePath |
FilePath.getPath(String path)
Convert a file to a path.
|
FilePath |
FilePathZip.toRealPath() |
FilePath |
FilePathWrapper.toRealPath() |
abstract FilePath |
FilePath.toRealPath()
Normalize a file name.
|
FilePath |
FilePathWrapper.unwrap() |
FilePath |
FilePath.unwrap()
Get the unwrapped file name (without wrapper prefixes if wrapping /
delegating file systems are used).
|
protected FilePath |
FilePathWrapper.unwrap(String path)
Get the base path for the given wrapped path.
|
FilePath |
FilePathSplit.unwrap(String fileName) |
Modifier and Type | Method and Description |
---|---|
ArrayList<FilePath> |
FilePathZip.newDirectoryStream() |
List<FilePath> |
FilePathWrapper.newDirectoryStream() |
ArrayList<FilePath> |
FilePathSplit.newDirectoryStream() |
List<FilePath> |
FilePathMem.newDirectoryStream() |
List<FilePath> |
FilePathDisk.newDirectoryStream() |
abstract List<FilePath> |
FilePath.newDirectoryStream()
List the files and directories in the given directory.
|
Modifier and Type | Method and Description |
---|---|
void |
FilePathZip.moveTo(FilePath newName) |
void |
FilePathWrapper.moveTo(FilePath newName) |
void |
FilePathSplit.moveTo(FilePath path) |
void |
FilePathRec.moveTo(FilePath newPath) |
void |
FilePathMem.moveTo(FilePath newName) |
void |
FilePathDisk.moveTo(FilePath newName) |
abstract void |
FilePath.moveTo(FilePath newName)
Rename a file if this is allowed.
|
static void |
FilePath.register(FilePath provider)
Register a file provider.
|
static void |
FilePath.unregister(FilePath provider)
Unregister a file provider.
|
FilePathWrapper |
FilePathWrapper.wrap(FilePath base)
Create a wrapped path instance for the given base path.
|
Copyright © 2012 JBoss by Red Hat. All Rights Reserved.