(64 . 6)(64 . 8)
      
   end if;
   
   UDP.Close_Socket(Socket);
   
   Put_Line("Done.");

end UDP_Echo_Demo;

(45 . 6)(45 . 7)
pragma Restrictions(No_Floating_Point);
pragma Restrictions(No_Implementation_Aspect_Specifications);
pragma Restrictions(No_Implementation_Units);
pragma Restrictions(No_Implicit_Conditionals);
pragma Restrictions(No_Implicit_Dynamic_Code);
pragma Restrictions(No_Implicit_Heap_Allocations);
pragma Restrictions(No_Implicit_Protected_Object_Allocations);

(71 . 7)(71 . 7)
   end Open_Socket;
   
   
   -- Permanently close the given open given socket
   -- Permanently close the given open socket
   procedure Close_Socket(S : in out Socket) is
   begin
      Unix_UDP_Socket_Close(Socket => S'Address);
(94 . 8)(94 . 11)
            Close_Socket(S);
            raise UDP_Failed_Transmit;
         when others =>
            -- No eggog
            null;
            -- No eggog, but must check if sent all bytes:
            if (Result /= Payload'Length) then
               Close_Socket(S);
               raise UDP_Truncated_Send;
            end if;
      end case;
   end Transmit;
   

(30 . 7)(30 . 6)
   
   type Payload is array(1 .. Payload_Size) of Unsigned_8;
   
   --  type IP_Address is array(1 .. 4) of Unsigned_8;
   subtype IP_Address is Unsigned_32;
   subtype IP_Port is Unsigned_16;
   
(63 . 7)(62 . 7)
   procedure Open_Socket(S              : out    Socket;
                         Local_Endpoint : in     Endpoint);
   
   -- Permanently close the given open given socket
   -- Permanently close the given open socket
   procedure Close_Socket(S             : in out Socket);
   
   -- Transmit the Payload, via Socket, to given Destination
(84 . 6)(83 . 7)
   UDP_Failed_SetOpt   : exception;
   UDP_Failed_Bind     : exception;
   UDP_Failed_Transmit : exception;
   UDP_Truncated_Send  : exception;
   UDP_Failed_Receive  : exception;
   
private

(41 . 6)(41 . 7)
  char *txt = inet_ntoa(addr);
  strncpy(buf, txt, buf_size);
}
/* Should be replaced with native routine */


/* string to local-endian ip conversion */
(51 . 6)(52 . 7)
  *ip = ntohl(addr.s_addr);
  return 0;
}
/* Should be replaced with native routine */


int unix_udp_socket_open(UDP_Socket *S,

(1 . 1)(1 . 2)
543080 udp_genesis diana_coman Regrind of asciilifeform's UDP lib genesis, to bring it to current format (Keccak hashes, manifest file and standard compliant names for vpatches). A minimal library for UDP communications with fixed-size payloads sent/received over the wire. Uses Ada and C code.
543081 udp_errata_asciilifeform diana_coman Regrind of asciilifeform's errata on his UDP lib: adds closing socket calls, corrects and adds to comments.

(88 . 6)(88 . 8)
      
   end if;
   
   UDP.Close_Socket(Socket);
   
   Put_Line("Done.");

end UDP_Tx_Demo;