Sather Home Page

Section 8.3.2.14:
INFO_KINDS

immutable class INFO_KINDS < $ENUMS{INFO_KINDS}

$ENUMS{INFO_KINDS} INFO_KINDS
Inheritance Diagram

Formal Types

types

SAME = INFO_KINDS ;
INFO_KINDS = token ;

This enumeration class provides an enumeration of the codes used to indicate the kind of value following in the header section of a binary mapping file.


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 feature is required to be implemented for this class in accordance with the specification given in $TEXT which is a sub-type of the class $ENUMS{INFO_KINDS} :-


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 values which may be given the interpretation indicated :-


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