<> <> <> <<>> DIRECTORY Arpa USING [Address], ArpaRouter USING [RoutingTableEntry], CommDriver USING [Buffer, Network]; ArpaRouterPrivate: CEDAR DEFINITIONS ~ { Buffer: TYPE ~ CommDriver.Buffer; Network: TYPE ~ CommDriver.Network; Route: PROC [Arpa.Address] RETURNS [network: Network, immediate: Arpa.Address]; TakeThis: PROC [network: Network, buffer: Buffer, bytes: NAT] RETURNS [Buffer]; EventReason: TYPE ~ { rip, -- change due to routing information protocol message icmp -- change due to icmp redirect message }; EventProc: TYPE ~ PROC [net: Arpa.Address, old, new: XNSRouter.RoutingTableEntry, why: EventReason]; SetEventProc: PROC [proc: EventProc]; ClearEventProc: PROC [proc: EventProc]; }.