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