Main Page Namespace List Class Hierarchy Alphabetical List Compound List File List Namespace Members Compound Members
io::RandomAccessFile Class ReferenceAn abstract representation of a physical file.
More...
Inheritance diagram for io::RandomAccessFile:
[legend]Collaboration diagram for io::RandomAccessFile:
[legend]List of all members.
Detailed Description
An abstract representation of a physical file.
An instance of this class presents an abstract, system-independent view of a physical file. User interfaces and operating systems use system-dependent pathname strings to identify physical files. GAT, however, uses an operating system independent pathname string to identify a physical file. A physical file in GAT is identified by a URI.
An instance of this File class allows for various high-level operations to be preformed on a physical file. For example, one can, with a single API call, copy a physical file from one location to a second location, move a physical file from one location to a second location, delete a physical file, and preform various other operations on a physical file. The utility of this high-level view of a physical file is multi-fold. The client of an instance of this class does not have to concern themselves with the details of reading every single byte of a physical file when all they wish to do is copy the physical file to a new location. Similarly, a client does not have to deal with all the various error states that can occur when moving a physical file ( Have all the various bytes been read correctly? Have all the various bytes been saved correctly? Did the deletion of the original file proceed correctly? ); the client simply has to call a single API call and the physical file is moved.
Definition at line 35 of file RandomAccessFile.java.
Constructor & Destructor Documentation
| io::RandomAccessFile::RandomAccessFile |
( |
GATContext |
gatContext, |
|
|
Preferences |
preferences, |
|
|
File |
file, |
|
|
String |
mode |
|
) |
throws FileNotFoundException [inline, protected] |
|
Member Function Documentation
| RandomAccessFile io::RandomAccessFile::create |
( |
GATContext |
gatContext, |
|
|
File |
file, |
|
|
String |
mode |
|
) |
throws FileNotFoundException [inline, static] |
|
| RandomAccessFile io::RandomAccessFile::create |
( |
GATContext |
gatContext, |
|
|
Preferences |
preferences, |
|
|
File |
file, |
|
|
String |
mode |
|
) |
throws FileNotFoundException [inline, static] |
|
| boolean io::RandomAccessFile::equals |
( |
Object |
object |
) |
[inline] |
|
|
|
Tests this File for equality with the passed Object.
If the given object is not a File, then this method immediately returns false.
If the given object is a File, then it is deemed equal to this instance if a URI object constructed from this File's location and a URI object constructed from the passed File's URI are equal as determined by the Equals method of URI. - Parameters:
-
| object |
The Object to test for equality |
- Returns:
-
A boolean indicating equality
Definition at line 135 of file RandomAccessFile.java.
References io::File::equals(). |
Member Data Documentation
File io::RandomAccessFile::file [protected]
|
|
String io::RandomAccessFile::mode [protected]
|
|
GATContext io::RandomAccessFile::gatContext [protected]
|
|
Preferences io::RandomAccessFile::preferences [protected]
|
|
The documentation for this class was generated from the following file:
|