(30 . 7)(30 . 6)
54
55 type Payload is array(1 .. Payload_Size) of Unsigned_8;
56
57 -- type IP_Address is array(1 .. 4) of Unsigned_8;
58 subtype IP_Address is Unsigned_32;
59 subtype IP_Port is Unsigned_16;
60
(63 . 7)(62 . 7)
62 procedure Open_Socket(S : out Socket;
63 Local_Endpoint : in Endpoint);
64
65 -- Permanently close the given open given socket
66 -- Permanently close the given open socket
67 procedure Close_Socket(S : in out Socket);
68
69 -- Transmit the Payload, via Socket, to given Destination
(84 . 6)(83 . 7)
71 UDP_Failed_SetOpt : exception;
72 UDP_Failed_Bind : exception;
73 UDP_Failed_Transmit : exception;
74 UDP_Truncated_Send : exception;
75 UDP_Failed_Receive : exception;
76
77 private