stephes_ada_library_3.7.3_08b48307/source/sal-network_order.adb

--  Abstract :
--
--  See spec.
--
--  Copyright (C) 2004, 2005, 2009, 2011, 2019 Stephen Leake.  All Rights Reserved.
--
--  This library is free software; you can redistribute it and/or
--  modify it under terms of the GNU General Public License as
--  published by the Free Software Foundation; either version 3, or (at
--  your option) any later version. This library is distributed in the
--  hope that it will be useful, but WITHOUT ANY WARRANTY; without even
--  the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR
--  PURPOSE. See the GNU General Public License for more details. You
--  should have received a copy of the GNU General Public License
--  distributed with this program; see file COPYING. If not, write to
--  the Free Software Foundation, 59 Temple Place - Suite 330, Boston,
--  MA 02111-1307, USA.
--
--  As a special exception, if other files instantiate generics from
--  this unit, or you link this unit with other files to produce an
--  executable, this  unit  does not  by itself cause  the resulting
--  executable to be covered by the GNU General Public License. This
--  exception does not however invalidate any other reasons why the
--  executable file  might be covered by the  GNU Public License.

pragma License (Modified_GPL);

with SAL.Endianness; use SAL.Endianness;
with Ada.Unchecked_Conversion;
package body SAL.Network_Order is

   use type Ada.Streams.Stream_Element_Offset;

   function To_1_Byte is new Ada.Unchecked_Conversion
     (Target => Ada.Streams.Stream_Element,
      Source => Interfaces.Integer_8);

   function From_1_Byte is new Ada.Unchecked_Conversion
     (Target => Interfaces.Integer_8,
      Source => Ada.Streams.Stream_Element);

   function To_1_Byte is new Ada.Unchecked_Conversion
     (Target => Ada.Streams.Stream_Element,
      Source => Interfaces.Unsigned_8);

   function From_1_Byte is new Ada.Unchecked_Conversion
     (Target => Interfaces.Unsigned_8,
      Source => Ada.Streams.Stream_Element);

   function To_2_Byte is new Ada.Unchecked_Conversion
     (Target => Network_Byte_Array_2_Type,
      Source => Interfaces.Integer_16);

   function From_2_Byte is new Ada.Unchecked_Conversion
     (Target => Interfaces.Integer_16,
      Source => Network_Byte_Array_2_Type);

   function To_2_Byte is new Ada.Unchecked_Conversion
     (Target => Network_Byte_Array_2_Type,
      Source => Interfaces.Unsigned_16);

   function From_2_Byte is new Ada.Unchecked_Conversion
     (Target => Interfaces.Unsigned_16,
      Source => Network_Byte_Array_2_Type);

   function To_4_Byte is new Ada.Unchecked_Conversion
     (Target => Network_Byte_Array_4_Type,
      Source => Interfaces.Integer_32);

   function From_4_Byte is new Ada.Unchecked_Conversion
     (Target => Interfaces.Integer_32,
      Source => Network_Byte_Array_4_Type);

   function To_4_Byte is new Ada.Unchecked_Conversion
     (Target => Network_Byte_Array_4_Type,
      Source => Interfaces.Unsigned_32);

   function From_4_Byte is new Ada.Unchecked_Conversion
     (Target => Interfaces.Unsigned_32,
      Source => Network_Byte_Array_4_Type);

   procedure To_Network
     (Item   : in     Ada.Streams.Stream_Element;
      Buffer : in out Ada.Streams.Stream_Element_Array;
      Last   : in out Ada.Streams.Stream_Element_Offset)
   is begin
      Last := Last + 1;
      Buffer (Last) := Item;
   end To_Network;

   procedure To_Network
     (Item   : in     Ada.Streams.Stream_Element_Array;
      Buffer : in out Ada.Streams.Stream_Element_Array;
      Last   : in out Ada.Streams.Stream_Element_Offset)
   is begin
      Buffer (Last + 1 .. Last + Item'Length) := Item;
      Last := Last + Item'Length;
   end To_Network;

   procedure From_Network
     (Item   :    out Ada.Streams.Stream_Element;
      Buffer : in     Ada.Streams.Stream_Element_Array;
      Last   : in out Ada.Streams.Stream_Element_Offset)
   is begin
      Last := Last + 1;
      Item := Buffer (Last);
   end From_Network;

   procedure To_Network
     (Item   : in     Boolean;
      Buffer : in out Ada.Streams.Stream_Element_Array;
      Last   : in out Ada.Streams.Stream_Element_Offset)
   is begin
      Last := Last + 1;
      Buffer (Last) := Boolean'Pos (Item);
   end To_Network;

   procedure From_Network
     (Item   :    out Boolean;
      Buffer : in     Ada.Streams.Stream_Element_Array;
      Last   : in out Ada.Streams.Stream_Element_Offset)
   is begin
      Last := Last + 1;
      Item := Boolean'Val (Buffer (Last));
   end From_Network;

   procedure To_Network
     (Item   : in     Interfaces.Unsigned_8;
      Buffer : in out Ada.Streams.Stream_Element_Array;
      Last   : in out Ada.Streams.Stream_Element_Offset)
   is begin
      Last := Last + 1;
      Buffer (Last) := To_1_Byte (Item);
   end To_Network;

   procedure From_Network
     (Item   :    out Interfaces.Unsigned_8;
      Buffer : in     Ada.Streams.Stream_Element_Array;
      Last   : in out Ada.Streams.Stream_Element_Offset)
   is begin
      Last := Last + 1;
      Item := From_1_Byte (Buffer (Last));
   end From_Network;

   procedure From_Network
     (Item   :    out Interfaces.Integer_8;
      Buffer : in     Ada.Streams.Stream_Element_Array;
      Last   : in out Ada.Streams.Stream_Element_Offset)
   is
   begin
      Last := Last + 1;
      Item := From_1_Byte (Buffer (Last));
   end From_Network;

   procedure To_Network
     (Item   : in     Interfaces.Integer_8;
      Buffer : in out Ada.Streams.Stream_Element_Array;
      Last   : in out Ada.Streams.Stream_Element_Offset)
   is begin
      Last := Last + 1;
      Buffer (Last) := To_1_Byte (Item);
   end To_Network;

   procedure To_Network
     (Item   : in     Interfaces.Integer_16;
      Buffer : in out Ada.Streams.Stream_Element_Array;
      Last   : in out Ada.Streams.Stream_Element_Offset)
   is begin
      case Byte_Order is
      when Big_Endian =>
         Buffer (Last + 1 .. Last + 2) := To_2_Byte (Item);

      when Little_Endian =>
         declare
            Temp : constant Network_Byte_Array_2_Type := To_2_Byte (Item);
         begin
            Buffer (Last + 1) := Temp (2);
            Buffer (Last + 2) := Temp (1);
         end;
      end case;
      Last := Last + 2;
   end To_Network;

   procedure From_Network
     (Item   :    out Interfaces.Integer_16;
      Buffer : in     Ada.Streams.Stream_Element_Array;
      Last   : in out Ada.Streams.Stream_Element_Offset)
   is begin
      case Byte_Order is
      when Big_Endian =>
         Item := From_2_Byte (Buffer (Last + 1 .. Last + 2));
      when Little_Endian =>
         declare
            Temp : Network_Byte_Array_2_Type;
         begin
            Temp (1) := Buffer (Last + 2);
            Temp (2) := Buffer (Last + 1);
            Item := From_2_Byte (Temp);
         end;
      end case;
      Last := Last + 2;
   end From_Network;

   procedure To_Network
     (Item   : in     Interfaces.Unsigned_16;
      Buffer : in out Ada.Streams.Stream_Element_Array;
      Last   : in out Ada.Streams.Stream_Element_Offset)
   is begin
      case Byte_Order is
      when Big_Endian =>
         Buffer (Last + 1 .. Last + 2) := To_2_Byte (Item);

      when Little_Endian =>
         declare
            Temp : constant Network_Byte_Array_2_Type := To_2_Byte (Item);
         begin
            Buffer (Last + 1) := Temp (2);
            Buffer (Last + 2) := Temp (1);
         end;
      end case;
      Last := Last + 2;
   end To_Network;

   procedure From_Network
     (Item   :    out Interfaces.Unsigned_16;
      Buffer : in     Ada.Streams.Stream_Element_Array;
      Last   : in out Ada.Streams.Stream_Element_Offset)
   is begin
      case Byte_Order is
      when Big_Endian =>
         Item := From_2_Byte (Buffer (Last + 1 .. Last + 2));
      when Little_Endian =>
         declare
            Temp : Network_Byte_Array_2_Type;
         begin
            Temp (1) := Buffer (Last + 2);
            Temp (2) := Buffer (Last + 1);
            Item := From_2_Byte (Temp);
         end;
      end case;
      Last := Last + 2;
   end From_Network;

   procedure To_Network
     (Item   : in     Interfaces.Integer_32;
      Buffer : in out Ada.Streams.Stream_Element_Array;
      Last   : in out Ada.Streams.Stream_Element_Offset)
   is begin
      case Byte_Order is
      when Big_Endian =>
         Buffer (Last + 1 .. Last + 4) := To_4_Byte (Item);

      when Little_Endian =>
         declare
            Temp : constant Network_Byte_Array_4_Type := To_4_Byte (Item);
         begin
            Buffer (Last + 1) := Temp (4);
            Buffer (Last + 2) := Temp (3);
            Buffer (Last + 3) := Temp (2);
            Buffer (Last + 4) := Temp (1);
         end;
      end case;
      Last := Last + 4;
   end To_Network;

   procedure From_Network
     (Item   :    out Interfaces.Integer_32;
      Buffer : in     Ada.Streams.Stream_Element_Array;
      Last   : in out Ada.Streams.Stream_Element_Offset)
   is begin
      case Byte_Order is
      when Big_Endian =>
         Item := From_4_Byte (Buffer (Last + 1 .. Last + 4));

      when Little_Endian =>
         declare
            Temp : Network_Byte_Array_4_Type;
         begin
            Temp (1) := Buffer (Last + 4);
            Temp (2) := Buffer (Last + 3);
            Temp (3) := Buffer (Last + 2);
            Temp (4) := Buffer (Last + 1);
            Item := From_4_Byte (Temp);
         end;
      end case;
      Last := Last + 4;
   end From_Network;

   procedure To_Network
     (Item   : in     Interfaces.Unsigned_32;
      Buffer : in out Ada.Streams.Stream_Element_Array;
      Last   : in out Ada.Streams.Stream_Element_Offset)
   is begin
      case Byte_Order is
      when Big_Endian =>
         Buffer (Last + 1 .. Last + 4) := To_4_Byte (Item);

      when Little_Endian =>
         declare
            Temp : constant Network_Byte_Array_4_Type := To_4_Byte (Item);
         begin
            Buffer (Last + 1) := Temp (4);
            Buffer (Last + 2) := Temp (3);
            Buffer (Last + 3) := Temp (2);
            Buffer (Last + 4) := Temp (1);
         end;
      end case;
      Last := Last + 4;
   end To_Network;

   procedure From_Network
     (Item   :    out Interfaces.Unsigned_32;
      Buffer : in     Ada.Streams.Stream_Element_Array;
      Last   : in out Ada.Streams.Stream_Element_Offset)
   is begin
      case Byte_Order is
      when Big_Endian =>
         Item := From_4_Byte (Buffer (Last + 1 .. Last + 4));

      when Little_Endian =>
         declare
            Temp : Network_Byte_Array_4_Type;
         begin
            Temp (1) := Buffer (Last + 4);
            Temp (2) := Buffer (Last + 3);
            Temp (3) := Buffer (Last + 2);
            Temp (4) := Buffer (Last + 1);
            Item := From_4_Byte (Temp);
         end;
      end case;
      Last := Last + 4;
   end From_Network;

   procedure To_Network
     (Item   : in     String;
      Buffer : in out Ada.Streams.Stream_Element_Array;
      Last   : in out Ada.Streams.Stream_Element_Offset)
   is begin
      for Char of Item loop
         Last          := Last + 1;
         Buffer (Last) := Ada.Streams.Stream_Element (Character'Pos (Char));
      end loop;
   end To_Network;

   procedure From_Network
     (Item   :    out String;
      Buffer : in     Ada.Streams.Stream_Element_Array;
      Last   : in out Ada.Streams.Stream_Element_Offset)
   is begin
      for I in Item'Range loop
         Last          := Last + 1;
         Item (I) := Character'Val (Buffer (Last));
      end loop;
   end From_Network;

end SAL.Network_Order;