INTERFACEThe Proxy Maker (PM) procedure for KeyCB.T is registered by assigning it to MkProxyT.KeyCBProxy ; IMPORT CB, ProxiedObj; FROM KeyCB IMPORT T, Rec;
VAR MkProxyT : PROCEDURE (x : T) := NIL; TYPE Proxy = ProxiedObj.Proxy OBJECT METHODS invoke (kr : Rec) RAISES {CB.BadMethod}; END; END KeyCBProxy.