next up previous contents
Next: Simple List Up: Hoof Files in Detail Previous: Type Specifications in Hoof   Contents

Collection Types

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 list.

David Heine