Remove unused Random from net.Utils, expose Hex in spec

PSU-Capstone-Team24 · Feb 20, 2024 · 8488d15 · 8488d15
1 parent 5a440c4
commit 8488d15
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 8 deletions.
diff --git a/eRINA_STM32F7/src/net/net-utils.adb b/eRINA_STM32F7/src/net/net-utils.adb
@@ -18,14 +18,10 @@
 with Interfaces;
 package body Net.Utils is
 
-   function Hex (Value : in Uint8) return String;
    function Image (Value : in Uint8) return String;
 
    Hex_String : constant String := "0123456789ABCDEF";
 
-   --  Get a 32-bit random number.
-   function Random return Uint32 is separate;
-
    function Hex (Value : in Uint8) return String is
       use Interfaces;
 

diff --git a/eRINA_STM32F7/src/net/net-utils.ads b/eRINA_STM32F7/src/net/net-utils.ads
@@ -17,13 +17,13 @@
 -----------------------------------------------------------------------
 package Net.Utils is
 
+   pragma Preelaborate;
+
    --  Convert the IPv4 address to a dot string representation.
    function To_String (Ip : in Ip_Addr) return String;
 
    --  Convert the Ethernet address to a string representation.
    function To_String (Mac : in Ether_Addr) return String;
-
-   --  Get a 32-bit random number.
-   function Random return Uint32;
-
+
+   function Hex (Value : in Uint8) return String;
 end Net.Utils;