<> <> <> <> <> <> <> DIRECTORY CommDriver USING [Buffer], Rope USING [ROPE], IPDefs USING [Datagram, Address, InternetHeader]; IPRouter: CEDAR DEFINITIONS = BEGIN BestAddress: PROC [addresses: LIST OF IPDefs.Address] RETURNS [IPDefs.Address]; GoodAddress: PROC [address: IPDefs.Address] RETURNS [yes: BOOL]; SortAddresses: PROC [list: LIST OF IPDefs.Address] RETURNS[result: LIST OF IPDefs.Address]; DatagramPointer: UNSAFE PROC [b: CommDriver.Buffer] RETURNS [d: LONG POINTER TO IPDefs.InternetHeader]; <> SendDatagram: PROC [data: IPDefs.Datagram]; <> Redirect: PROC [dest, gateway: IPDefs.Address, source: IPDefs.Address]; <> SetStateChangeProc: PROC [proc: PROC [Rope.ROPE] ]; END.