Sather Home Page

Section 8.10.2.2:
FILE_LOCS

class FILE_LOCS < $ENUMS{FILE_LOCS}
$ENUMS{T}

Inheritance map

Formal Types

types

SAME = FILE_LOCS ;
FILE_LOCS = token

This class implements the concept of a reference location in a file - beginning, end and the current location of the notional file pointer.

The corresponding names in the culture-dependent resources file should be the language-dependent names for the English notions 'Beginning', 'Current' and 'End'.


External specifications

The following feature is required to be implemented for this class in accordance with the specification given in $IS_EQ :-


The following feature is required to be implemented for this class in accordance with the specification given in $HASH :-


The following features are required to be implemented for this class in accordance with the specifications given in $BINARY :-


The following featuress are required to be implemented for this class in accordance with the specifications given in $STR :-


The following features are required to be implemented for this class in accordance with the specification given in $INSTR :-


The following features are required to be implemented for this class in accordance with the specifications given in $ANCHORED_FMT :-


The following features are required to be implemented for this class in accordance with the specifications given in $ENUMS{T} :-


Enumeration Values

This enumeration provides three values which model the position of a notional file pointerwhich indicates a position between two octets - the one following the pointer being the octet indicated :-


Language Index Library Index Input/Output Index
Comments or enquiries should be made toKeith Hopper.
Page last modified: Wednesday, 4 April 2001.
Produced with Amaya