public interface FileSystem
| Modifier and Type | Method and Description |
|---|---|
boolean |
canRead(String filename)
returns true if filename can be read
|
boolean |
canWrite(String filename)
returns true if filename can be written to
|
byte |
capabilities()
capabilities of the filesystem
|
boolean |
delete(String filename)
delete the named file
|
boolean |
deleteOnExit(String pathname)
delete the file after the JVM exits
|
boolean |
exists(String filename)
returns true if the path exists
|
String |
getParent(String path)
whats the parent path to this path - eg directory containing a file
|
boolean |
isDirectory(String path)
returns true if path is a directory
|
long |
length(String filename)
returns the length of the specified file
|
String[] |
list(String path)
list contents of a directory etc
|
boolean |
mkdir(String filename)
mkdir the specified path
|
String |
name()
returns a name for the filesystem
|
RandomDataInput |
openFileRandom(String filename)
open a file for random input
|
InputStream |
openFileStream(String filename)
open a file of given filename for readinng
|
boolean |
rename(String source,
String destination)
rename a file/dir to another name, on the same file system
|
String[] |
schemes()
URI schemes supported by this class
|
RandomDataOutput |
writeFileRandom(String filename)
open a file of given filename for random writing
|
OutputStream |
writeFileStream(String filename)
open a file of given filename for writing
|
String name()
byte capabilities()
String[] schemes()
boolean exists(String filename) throws IOException
IOExceptionboolean canRead(String filename) throws IOException
IOExceptionboolean canWrite(String filename) throws IOException
IOExceptionInputStream openFileStream(String filename) throws IOException
IOExceptionRandomDataInput openFileRandom(String filename) throws IOException
IOExceptionOutputStream writeFileStream(String filename) throws IOException
IOExceptionRandomDataOutput writeFileRandom(String filename) throws IOException
IOExceptionboolean delete(String filename) throws IOException
IOExceptionboolean deleteOnExit(String pathname) throws IOException
IOExceptionboolean mkdir(String filename) throws IOException
IOExceptionlong length(String filename) throws IOException
IOExceptionboolean isDirectory(String path) throws IOException
IOExceptionboolean rename(String source, String destination) throws IOException
IOExceptionString getParent(String path) throws IOException
IOExceptionString[] list(String path) throws IOException
IOExceptionTerrier Information Retrieval Platform4.1. Copyright © 2004-2015, University of Glasgow