polyorb_hi-utils.adb 5.09 KB
Newer Older
1 2 3 4 5 6 7 8
------------------------------------------------------------------------------
--                                                                          --
--                          PolyORB HI COMPONENTS                           --
--                                                                          --
--                     P O L Y O R B _ H I . U T I L S                      --
--                                                                          --
--                                 B o d y                                  --
--                                                                          --
9
--       Copyright (C) 2009 Telecom ParisTech, 2010-2014 ESA & ISAE.        --
10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28
--                                                                          --
-- PolyORB HI 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 2, or (at your option) any later.    --
-- PolyORB HI 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 PolyORB HI; see file       --
-- COPYING. If not, write  to the Free  Software Foundation, 51 Franklin    --
-- Street, Fifth Floor, Boston, MA 02111-1301, 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.                                      --
--                                                                          --
jhugues's avatar
jhugues committed
29 30
--              PolyORB-HI/Ada is maintained by the TASTE project           --
--                      (taste-users@lists.tuxfamily.org)                   --
31 32 33 34 35 36 37 38 39
--                                                                          --
------------------------------------------------------------------------------

package body PolyORB_HI.Utils is

   ------------------
   -- To_HI_String --
   ------------------

40
   function To_HI_String (S : String) return HI_String is
41
      R : String (1 .. HI_String_Size) := (others => ' ');
42
   begin
43 44 45
      if S'Length < 1 then
         return HI_String'(S => R,
                           L => 0);
46

47 48 49
      elsif S'Length <= HI_String_Size then
         for J in 1 .. S'Length loop
            R (J) := S (S'First + (J - 1));
50

51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66
         end loop;

         --  XXX GNATProve GPL2014 cannot prove the code below, which
         --  appears equivalent, TBI
         --  R (1 .. S'Length) := S (S'First .. S'Last);

         return HI_String'(S => R,
                           L => S'Length);

      else
         R (1 .. HI_String_Size) := S (S'First .. S'First + HI_String_Size - 1);
         return HI_String'(S => R,
                           L => HI_String_Size);
      end if;

   end To_HI_String;
67 68 69 70

   ----------------
   -- Swap_Bytes --
   ----------------
yoogx's avatar
yoogx committed
71
   --  XXX check intrinsic __builtint_bswapXX
72

73 74
   function Swap_Bytes (B : Interfaces.Unsigned_16)
                       return Interfaces.Unsigned_16
75 76
   is
      use System;
yoogx's avatar
yoogx committed
77

78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98
   begin
      pragma Warnings (Off);
      --  Note: this is to disable a warning on the following test
      --  being always true/false on a node.

      if Default_Bit_Order = High_Order_First then
         return B;

         pragma Warnings (On);

      --  Little-endian case. We must swap the high and low bytes

      else
         return (B / 256) + (B mod 256) * 256;
      end if;
   end Swap_Bytes;

   -------------------
   -- Internal_Code --
   -------------------

99
   function Internal_Code (P : Port_Type) return Unsigned_16 is
100
      function To_Internal_Code is new Ada.Unchecked_Conversion
101
        (Port_Type, Unsigned_16);
102 103 104 105 106 107 108 109
   begin
      return Swap_Bytes (To_Internal_Code (P));
   end Internal_Code;

   ------------------------
   -- Corresponding_Port --
   ------------------------

110
   function Corresponding_Port (I : Unsigned_16) return Port_Type is
111
      function To_Corresponding_Port is new Ada.Unchecked_Conversion
112
        (Unsigned_16, Port_Type);
113 114 115 116
   begin
      return To_Corresponding_Port (Swap_Bytes (I));
   end Corresponding_Port;

117 118 119 120 121 122 123
   ------------------
   -- Parse_String --
   ------------------

   function Parse_String (S : String; First : Integer; Delimiter : Character)
                         return Integer
   is
124
      Last : Integer := S'Last;
125
   begin
126
      for J in First .. S'Last loop
127 128 129 130 131 132 133 134 135
         if S (J) = Delimiter then
            Last := J - 1;
            exit;
         end if;
      end loop;

      return Last;
   end Parse_String;

136
end PolyORB_HI.Utils;