# Section 8.10.2.2:
FILE_LOCS

###### class FILE_LOCS < $ENUMS{FILE_LOCS}

#### 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 :-

- is_eq(other : SAME) : BOOL

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

- hash : CARD

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

- create(storage : BINSTR) : SAME
- build(cursor : BIN_CURSOR) : SAME
- read(cursor : BIN_CURSOR) : SAME
- binstr : BINSTR
- write(fyle : BIN_FILE)

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

- str(lib : LIBCHARS) : STR
- str : STR

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

- build(str : STR_CURSOR) : SAME
- build(str : STR_CURSOR, lib : LIBCHARS) : SAME

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

- fmt(descr : ANCHORED_DESCR, lib : LIBCHARS) : STR
- fmt(descr : ANCHORED_DESCR) : STR

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

- create(val : CARD) : SAME
- offset : CARD
- cardinality : CARD
- enum : CARD
- card : CARD
- is_enum(str : STR) : CONVERSION_RESULTS

#### 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 :-

- Beginning - this value corresponds to the position of the first octet in a file.
- Current - this value corresponds to the current position of the file pointer.
- End - this value models the position of the last octet in the file.

| Language Index |  | Library Index |  | Input/Output Index

Comments or enquiries should be made to Keith Hopper. Page last modified: Friday, 17 November 2000. |