table-list/src/TableList.ig


Copyright (C) 1994, Digital Equipment Corp.

GENERIC INTERFACE TableList(Key, Value, KeyValueTable);
Where Key.T and Value.T are types that are not open array types and Key contains

      PROCEDURE Equal(k1, k2: Key.T): BOOLEAN;
and KeyValueTable is the instantiation of the generic interface Table with the interfaces Key and Value.

Equal must be an equivalence relation.

Equal may be declared with a parameter mode of either VALUE or READONLY, but not VAR.

TableList.T's may be more efficient than Table.Defaults's for small tables.


TYPE
  T <: KeyValueTable.T OBJECT METHODS
    init(): T;
    keyEqual(READONLY k1, k2: Key.T): BOOLEAN
  END;

TYPE XX = Value.T;
this use of Value.T is just to prevent a warning message. sigh.

END TableList.