![]() |
Section 8.10.3.9: |
This class implements a model of a binary file.
The following routines are required to be implemented for this class in accordance with the specifications given in the abstract class $FILES :-
This feature creates a file cursor object which provides a facility for handling very large files where a computer system has not enought memory available.
cursor | ( |
size : CARD | |
) : BIN_FILE_CURSOR |
Since the return value is not an optional type this is vacuously true.
This routine creates and returns a file buffer cursor object associated with self.
This is the first of two features which are provided to send binary data to a file, extending the length of the file as needed.
This feature appends the given item to the file channel to which self is a connection, returning self if successful, otherwise returning void.
This is the variant of plus which places the value of the single octet item at the current position in the file, extending the file size if needed.
This feature appends the given octet to the file channel to which self is a connection, returning self if successful, otherwise returning void.
This is the sole direct input feature from a binary file, returning a buffer containing the entire contents of the file.
This feature returns a buffer containing the entire contents of the file (which could be empty) provided that it was possible to set the environment next-location-to-read point at the beginning of the file, otherwise void.
![]() |
Language Index | ![]() |
Library Index | ![]() |
Input/Output Index |
Comments or enquiries should be made to
Keith
Hopper. Page last modified: Monday, 6 March 2000. |
![]() |