Sather Home Page

Section 8.10.2.2:
FILE_LOCS

class FILE_LOCS < $ENUMS{FILE_LOCS}

Inheritance map $ENUMS{T}

Formal Types

types

SAME = FILE_LOCS ;

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

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 to Keith Hopper.
Page last modified: Monday, 17 July 2000.
Produced with Amaya