Copyright (C) 1994, Digital Equipment Corp.
GENERIC INTERFACETableList (Key, Value, KeyValueTable);
WhereKey.TandValue.Tare types that are not open array types andKeycontains
PROCEDURE Equal(k1, k2: Key.T): BOOLEAN;andKeyValueTableis the instantiation of the generic interfaceTablewith the interfacesKeyandValue.
Equalmust be an equivalence relation.
Equalmay be declared with a parameter mode of eitherVALUEorREADONLY, but notVAR.
TableList.T's may be more efficient thanTable.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.