<> <> <> <> <<>> <> <> <<>> NS: CEDAR DEFINITIONS ~ BEGIN BYTE: TYPE ~ [0..100H); <

> Address: TYPE ~ MACHINE DEPENDENT RECORD [net: Net, host: Host, socket: Socket]; <<>> Net: TYPE ~ MACHINE DEPENDENT RECORD[a, b, c, d: BYTE]; Host: TYPE ~ MACHINE DEPENDENT RECORD [a, b, c, d, e, f: BYTE]; Socket: TYPE ~ MACHINE DEPENDENT RECORD[a, b: BYTE]; <> unknownNet: Net ~ [0, 0, 0, 0]; broadcastNet: Net ~ [0ffH, 0ffH, 0ffH, 0ffH]; -- Not supported <<>> unknownHost: Host ~ [0, 0, 0, 0, 0, 0]; broadcastHost: Host ~ [0ffH, 0ffH, 0ffH, 0ffH, 0ffH, 0ffH]; unknownSocket: Socket ~ [0, 0]; broadcastSocket: Socket ~ [0ffH, 0ffH]; -- Not meaningful unknownAddress: Address ~ [unknownNet, unknownHost, unknownSocket]; <> GetThisHost: PROC RETURNS [Host]; <> IsMulticastHost: PROC [host: Host] RETURNS[BOOL]; <> END.