INTERFACETypeTbl ; IMPORT Type; TYPE T <: REFANY; PROCEDURE Put (VAR t: T; key: Type.T; value: REFANY): REFANY;
Add the pair(key,value)
tot
and return the previous value. Ift
isNIL
, create a fresh one.
PROCEDURE Get (t: T; key: Type.T): REFANY;
If a pair(u,v)
exists such that Type.IsEqual(u,key), returnv
. Othewise, return NIL
PROCEDURE Reset (t: T);
Remove all entries from 't'
END TypeTbl.