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
IOException
boolean canRead(String filename) throws IOException
IOException
boolean canWrite(String filename) throws IOException
IOException
InputStream openFileStream(String filename) throws IOException
IOException
RandomDataInput openFileRandom(String filename) throws IOException
IOException
OutputStream writeFileStream(String filename) throws IOException
IOException
RandomDataOutput writeFileRandom(String filename) throws IOException
IOException
boolean delete(String filename) throws IOException
IOException
boolean deleteOnExit(String pathname) throws IOException
IOException
boolean mkdir(String filename) throws IOException
IOException
long length(String filename) throws IOException
IOException
boolean isDirectory(String path) throws IOException
IOException
boolean rename(String source, String destination) throws IOException
IOException
String getParent(String path) throws IOException
IOException
String[] list(String path) throws IOException
IOException
Terrier Information Retrieval Platform 5.1. Copyright © 2004-2019, University of Glasgow