|Classes of Christian Vigh||>||Random Access File||>||README.md||>||Download|
The RandomAccessFile class is used to manage random access files, ie files having fixed-length records.
You can insert new records, copy one set of records to another destination in the same file, swap or truncate records.
The class also allows you to access file data as if it were an array or an iterator.
See the file example.php for a short example on how to use this class.
NOTES FOR USERS OF VERSION 1.0
The version 1.0 was not able to process headers in random access files.
In version 1.1, a parameter, $header\_size, has been added as the third parameter of the class constructor. If you have code that already uses this class, then you should modify it to specify an additional value of 0 or false at the third position in the constructor (between the $record\_size and the $cache\_size parameters), if you are also specifying the optional $cache\_size and $filler parameters that appear after $record\_size.
Instantiates a RandomAccessFile object, without opening the specified file.
The parameters are the following :
$filename (string) - Random file name.
$record_size (integer) - Size of a record.
$cache_size (integer) - When not null, indicates how many records from the random file should be cached into memory.
$filler (char) - Character to be used for filling when an incomplete record is written.
$header_size (integer) - Size of an optional fixed header at the start of the file. The default is false, which means no header. If your random access file contains a variable-length header, whose size is specified into some fixed-part of the header itself, then you can also specify a callback function that must have the following signature :
$fd being the file descriptor which will allow you to read the part of the header that contains the real header size, then return this size. Note that the callback will be called whenever the Open() method is called.
Closes an already opened random access file.
Nothing happens if the file is already closed. Note that the class destructor systemtically closes the file.
Copies $count record starting from record from to record to. Record numbers always start from zero.
This method can handle situations where origin and destination overlap.
The method returns the number of records effectively copied. This value can be lower than the specified number of records if :
Note that :
Checks if the random access file is opened.
Checks if the random access file has been opened in read-only mode.
Opens the random file that has been instantiated.
By default, a random file is opened in write mode. Specify true for the $read_only parameter to open it in read-only mode.
Reads the record whose index has been specified (record numbers start from zero).
Note that this is equivalent to :
Returns false if :
Swaps one or more record contents.
Although this method handles overlapping ranges, the result may seem counter-intuitive. This method should be used on non-overlapping ranges.
The method returns the actual number of records swapped.
$rf -> Truncate ( $start_record ) ;
Truncates the random access file up to $start_record - 1.
Writes data in the specified record. Parameters are the following :
$record (integer) - Record number. If the specified record number is past the end of file, then empty records will be added using the filler character.
$data (string) - Record data. If the data is greater than the file's record size, it will be truncated. If smaller, it will be padded using the filler character.
Note that this is equivalent to :
The last record of an existing file can be incomplete (such a situation is allowed for example when you use the RandomAccessFile class for fast access to existing text files).
If the specified record number is past the end of file, then the last incomplete record (if any) will be filled using the filler character and intermediate records initialized with the filler character will be inserted as needed.
Number of cache misses and cache hits since the file was opened.
Number of cached records.
Underlying random access file name.
Filler character to be used when expanding incomplete records or inserting new ones.
This property will contain header data, once the Open() method has been called.
Contains the header size, as specified to the constructor, or returned by the GetHeaderSize() method when implemented by derived classes.
This property can also be set manually before calling the Open() method (but note that the results will be unpredictable if it is set after calling the method).
Random access file record size.