uk.ac.gla.terrier.utility.io
Class HTTPFileSystem

java.lang.Object
  uk.ac.gla.terrier.utility.io.HTTPFileSystem

All Implemented Interfaces:

FileSystem

public class HTTPFileSystem
extends java.lang.Object
implements FileSystem

Implements a read-only HTTP file system for Terrier. Files can be read directly from a URL

Since:

2.1

Version:

$Revision: 1.4 $

Author:

Craig Macdonald

Constructor Summary

HTTPFileSystem()

Method Summary

boolean	canRead(java.lang.String filename) returns true if filename can be read
boolean	canWrite(java.lang.String filename) returns true if filename can be written to
byte	capabilities() capabilities of the filesystem
boolean	delete(java.lang.String filename) delete the named file
boolean	deleteOnExit(java.lang.String pathname) delete the file when the JVM exits
boolean	exists(java.lang.String filename) returns true if the path exists
java.lang.String	getParent(java.lang.String path) whats the parent path to this path - eg directory containing a file
boolean	isDirectory(java.lang.String path) returns true if path is a directory
long	length(java.lang.String filename) returns the length of the specified file
java.lang.String[]	list(java.lang.String path) list contents of a directory etc
boolean	mkdir(java.lang.String filename) mkdir the specified path
java.lang.String	name() return the name of the file system
RandomDataInput	openFileRandom(java.lang.String filename) open a file for random input
java.io.InputStream	openFileStream(java.lang.String filename) open a file of given filename for reading
boolean	rename(java.lang.String source, java.lang.String destination) rename a file/dir to another name, on the same file system
java.lang.String[]	schemes() URI schemes supported by this class: http, ftp, https
RandomDataOutput	writeFileRandom(java.lang.String filename) open a file of given filename for random writing
java.io.OutputStream	writeFileStream(java.lang.String filename) open a file of given filename for writing

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

HTTPFileSystem

public HTTPFileSystem()

Method Detail

name

public java.lang.String name()

return the name of the file system

Specified by:

name in interface FileSystem

capabilities

public byte capabilities()

capabilities of the filesystem

Specified by:

capabilities in interface FileSystem

schemes

public java.lang.String[] schemes()

URI schemes supported by this class: http, ftp, https

Specified by:

schemes in interface FileSystem

exists

public boolean exists(java.lang.String filename)
               throws java.io.IOException

returns true if the path exists

Specified by:

exists in interface FileSystem

Throws:

java.io.IOException

openFileStream

public java.io.InputStream openFileStream(java.lang.String filename)
                                   throws java.io.IOException

open a file of given filename for reading

Specified by:

openFileStream in interface FileSystem

Throws:

java.io.IOException

openFileRandom

public RandomDataInput openFileRandom(java.lang.String filename)
                               throws java.io.IOException

open a file for random input

Specified by:

openFileRandom in interface FileSystem

Throws:

java.io.IOException

writeFileStream

public java.io.OutputStream writeFileStream(java.lang.String filename)
                                     throws java.io.IOException

open a file of given filename for writing

Specified by:

writeFileStream in interface FileSystem

Throws:

java.io.IOException

writeFileRandom

public RandomDataOutput writeFileRandom(java.lang.String filename)
                                 throws java.io.IOException

open a file of given filename for random writing

Specified by:

writeFileRandom in interface FileSystem

Throws:

java.io.IOException

delete

public boolean delete(java.lang.String filename)
               throws java.io.IOException

delete the named file

Specified by:

delete in interface FileSystem

Throws:

java.io.IOException

deleteOnExit

public boolean deleteOnExit(java.lang.String pathname)
                     throws java.io.IOException

delete the file when the JVM exits

Specified by:

deleteOnExit in interface FileSystem

Throws:

java.io.IOException

mkdir

public boolean mkdir(java.lang.String filename)
              throws java.io.IOException

mkdir the specified path

Specified by:

mkdir in interface FileSystem

Throws:

java.io.IOException

canRead

public boolean canRead(java.lang.String filename)

returns true if filename can be read

Specified by:

canRead in interface FileSystem

canWrite

public boolean canWrite(java.lang.String filename)

returns true if filename can be written to

Specified by:

canWrite in interface FileSystem

length

public long length(java.lang.String filename)
            throws java.io.IOException

returns the length of the specified file

Specified by:

length in interface FileSystem

Throws:

java.io.IOException

isDirectory

public boolean isDirectory(java.lang.String path)
                    throws java.io.IOException

returns true if path is a directory

Specified by:

isDirectory in interface FileSystem

Throws:

java.io.IOException

rename

public boolean rename(java.lang.String source,
                      java.lang.String destination)
               throws java.io.IOException

rename a file/dir to another name, on the same file system

Specified by:

rename in interface FileSystem

Throws:

java.io.IOException

getParent

public java.lang.String getParent(java.lang.String path)
                           throws java.io.IOException

whats the parent path to this path - eg directory containing a file

Specified by:

getParent in interface FileSystem

Throws:

java.io.IOException

list

public java.lang.String[] list(java.lang.String path)
                        throws java.io.IOException

list contents of a directory etc

Specified by:

list in interface FileSystem

Throws:

java.io.IOException