gcc/ada/libgnat/a-wtinio.adb

   1 ------------------------------------------------------------------------------
   2 --                                                                          --
   3 --                         GNAT RUN-TIME COMPONENTS                         --
   4 --                                                                          --
   5 --           A D A . W I D E _ T E X T _ I O . I N T E G E R _ I O          --
   6 --                                                                          --
   7 --                                 B o d y                                  --
   8 --                                                                          --
   9 --          Copyright (C) 1992-2024, Free Software Foundation, Inc.         --
  10 --                                                                          --
  11 -- GNAT is free software;  you can  redistribute it  and/or modify it under --
  12 -- terms of the  GNU General Public License as published  by the Free Soft- --
  13 -- ware  Foundation;  either version 3,  or (at your option) any later ver- --
  14 -- sion.  GNAT is distributed in the hope that it will be useful, but WITH- --
  15 -- OUT ANY WARRANTY;  without even the  implied warranty of MERCHANTABILITY --
  16 -- or FITNESS FOR A PARTICULAR PURPOSE.                                     --
  17 --                                                                          --
  18 -- As a special exception under Section 7 of GPL version 3, you are granted --
  19 -- additional permissions described in the GCC Runtime Library Exception,   --
  20 -- version 3.1, as published by the Free Software Foundation.               --
  21 --                                                                          --
  22 -- You should have received a copy of the GNU General Public License and    --
  23 -- a copy of the GCC Runtime Library Exception along with this program;     --
  24 -- see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see    --
  25 -- <http://www.gnu.org/licenses/>.                                          --
  26 --                                                                          --
  27 -- GNAT was originally developed  by the GNAT team at  New York University. --
  28 -- Extensive contributions were provided by Ada Core Technologies Inc.      --
  29 --                                                                          --
  30 ------------------------------------------------------------------------------
  31
  32 with Ada.Wide_Text_IO.Integer_Aux;
  33 with System.Img_BIU; use System.Img_BIU;
  34 with System.Img_Int; use System.Img_Int;
  35 with System.Img_LLB; use System.Img_LLB;
  36 with System.Img_LLI; use System.Img_LLI;
  37 with System.Img_LLW; use System.Img_LLW;
  38 with System.Img_WIU; use System.Img_WIU;
  39 with System.Val_Int; use System.Val_Int;
  40 with System.Val_LLI; use System.Val_LLI;
  41 with System.WCh_Con; use System.WCh_Con;
  42 with System.WCh_WtS; use System.WCh_WtS;
  43
  44 package body Ada.Wide_Text_IO.Integer_IO is
  45
  46    package Aux_Int is new
  47      Ada.Wide_Text_IO.Integer_Aux
  48        (Integer,
  49         Scan_Integer,
  50         Set_Image_Integer,
  51         Set_Image_Width_Integer,
  52         Set_Image_Based_Integer);
  53
  54    package Aux_LLI is new
  55      Ada.Wide_Text_IO.Integer_Aux
  56        (Long_Long_Integer,
  57         Scan_Long_Long_Integer,
  58         Set_Image_Long_Long_Integer,
  59         Set_Image_Width_Long_Long_Integer,
  60         Set_Image_Based_Long_Long_Integer);
  61
  62    Need_LLI : constant Boolean := Num'Base'Size > Integer'Size;
  63    --  Throughout this generic body, we distinguish between the case where type
  64    --  Integer is acceptable, and where a Long_Long_Integer is needed. This
  65    --  Boolean is used to test for these cases and since it is a constant, only
  66    --  code for the relevant case will be included in the instance.
  67
  68    ---------
  69    -- Get --
  70    ---------
  71
  72    procedure Get
  73      (File  : File_Type;
  74       Item  : out Num;
  75       Width : Field := 0)
  76    is
  77       --  We depend on a range check to get Data_Error
  78
  79       pragma Unsuppress (Range_Check);
  80       pragma Unsuppress (Overflow_Check);
  81
  82    begin
  83       if Need_LLI then
  84          Aux_LLI.Get (File, Long_Long_Integer (Item), Width);
  85       else
  86          Aux_Int.Get (File, Integer (Item), Width);
  87       end if;
  88
  89    exception
  90       when Constraint_Error => raise Data_Error;
  91    end Get;
  92
  93    procedure Get
  94      (Item  : out Num;
  95       Width : Field := 0)
  96    is
  97    begin
  98       Get (Current_In, Item, Width);
  99    end Get;
 100
 101    procedure Get
 102      (From : Wide_String;
 103       Item : out Num;
 104       Last : out Positive)
 105    is
 106       --  We depend on a range check to get Data_Error
 107
 108       pragma Unsuppress (Range_Check);
 109       pragma Unsuppress (Overflow_Check);
 110
 111       S : constant String := Wide_String_To_String (From, WCEM_Upper);
 112       --  String on which we do the actual conversion. Note that the method
 113       --  used for wide character encoding is irrelevant, since if there is
 114       --  a character outside the Standard.Character range then the call to
 115       --  Aux.Gets will raise Data_Error in any case.
 116
 117    begin
 118       if Need_LLI then
 119          Aux_LLI.Gets (S, Long_Long_Integer (Item), Last);
 120       else
 121          Aux_Int.Gets (S, Integer (Item), Last);
 122       end if;
 123
 124    exception
 125       when Constraint_Error => raise Data_Error;
 126    end Get;
 127
 128    ---------
 129    -- Put --
 130    ---------
 131
 132    procedure Put
 133      (File  : File_Type;
 134       Item  : Num;
 135       Width : Field := Default_Width;
 136       Base  : Number_Base := Default_Base)
 137    is
 138    begin
 139       if Need_LLI then
 140          Aux_LLI.Put (File, Long_Long_Integer (Item), Width, Base);
 141       else
 142          Aux_Int.Put (File, Integer (Item), Width, Base);
 143       end if;
 144    end Put;
 145
 146    procedure Put
 147      (Item  : Num;
 148       Width : Field := Default_Width;
 149       Base  : Number_Base := Default_Base)
 150    is
 151    begin
 152       Put (Current_Out, Item, Width, Base);
 153    end Put;
 154
 155    procedure Put
 156      (To   : out Wide_String;
 157       Item : Num;
 158       Base : Number_Base := Default_Base)
 159    is
 160       S : String (To'First .. To'Last);
 161
 162    begin
 163       if Need_LLI then
 164          Aux_LLI.Puts (S, Long_Long_Integer (Item), Base);
 165       else
 166          Aux_Int.Puts (S, Integer (Item), Base);
 167       end if;
 168
 169       for J in S'Range loop
 170          To (J) := Wide_Character'Val (Character'Pos (S (J)));
 171       end loop;
 172    end Put;
 173
 174 end Ada.Wide_Text_IO.Integer_IO;