Next: Simple List
Up: Hoof Files in Detail
Previous: Type Specifications in Hoof
There are a number of predefined template types in SUIF. These are
handled differently from ordinary types in a number of ways:
- The fields are omitted from the create routine parameter lists.
- There are additional methods associated with the symbols.
- The type names in the Hoof file can differ from the type names
actually used in the implementation. Different Hoof type can
be used to get different methods even though the
implementations of the fields is the same.
In the following descriptions of the collection types, the term
field means the name of the field declared in the
Hooffile. If it is plural, it will be converted to the
singular. element_type is the type of element for
a list. key_type is the key type of an indexed