gcc/ada/a-tiinio.adb

   1 ------------------------------------------------------------------------------
   2 --                                                                          --
   3 --                         GNAT RUN-TIME COMPONENTS                         --
   4 --                                                                          --
   5 --               A D A . 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-2005 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 2,  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.  See the GNU General Public License --
  17 -- for  more details.  You should have  received  a copy of the GNU General --
  18 -- Public License  distributed with GNAT;  see file COPYING.  If not, write --
  19 -- to  the  Free Software Foundation,  51  Franklin  Street,  Fifth  Floor, --
  20 -- Boston, MA 02110-1301, USA.                                              --
  21 --                                                                          --
  22 -- As a special exception,  if other files  instantiate  generics from this --
  23 -- unit, or you link  this unit with other files  to produce an executable, --
  24 -- this  unit  does not  by itself cause  the resulting  executable  to  be --
  25 -- covered  by the  GNU  General  Public  License.  This exception does not --
  26 -- however invalidate  any other reasons why  the executable file  might be --
  27 -- covered by the  GNU Public License.                                      --
  28 --                                                                          --
  29 -- GNAT was originally developed  by the GNAT team at  New York University. --
  30 -- Extensive contributions were provided by Ada Core Technologies Inc.      --
  31 --                                                                          --
  32 ------------------------------------------------------------------------------
  33
  34 with Ada.Text_IO.Integer_Aux;
  35
  36 package body Ada.Text_IO.Integer_IO is
  37
  38    package Aux renames Ada.Text_IO.Integer_Aux;
  39
  40    Need_LLI : constant Boolean := Num'Base'Size > Integer'Size;
  41    --  Throughout this generic body, we distinguish between the case
  42    --  where type Integer is acceptable, and where a Long_Long_Integer
  43    --  is needed. This constant Boolean is used to test for these cases
  44    --  and since it is a constant, only the code for the relevant case
  45    --  will be included in the instance.
  46
  47    ---------
  48    -- Get --
  49    ---------
  50
  51    procedure Get
  52      (File  : in File_Type;
  53       Item  : out Num;
  54       Width : in Field := 0)
  55    is
  56       --  We depend on a range check to get Data_Error
  57
  58       pragma Unsuppress (Range_Check);
  59       pragma Unsuppress (Overflow_Check);
  60
  61    begin
  62       if Need_LLI then
  63          Aux.Get_LLI (File, Long_Long_Integer (Item), Width);
  64       else
  65          Aux.Get_Int (File, Integer (Item), Width);
  66       end if;
  67
  68    exception
  69       when Constraint_Error => raise Data_Error;
  70    end Get;
  71
  72    procedure Get
  73      (Item  : out Num;
  74       Width : in Field := 0)
  75    is
  76       --  We depend on a range check to get Data_Error
  77
  78       pragma Unsuppress (Range_Check);
  79       pragma Unsuppress (Overflow_Check);
  80
  81    begin
  82       if Need_LLI then
  83          Aux.Get_LLI (Current_In, Long_Long_Integer (Item), Width);
  84       else
  85          Aux.Get_Int (Current_In, Integer (Item), Width);
  86       end if;
  87
  88    exception
  89       when Constraint_Error => raise Data_Error;
  90    end Get;
  91
  92    procedure Get
  93      (From : in String;
  94       Item : out Num;
  95       Last : out Positive)
  96    is
  97       --  We depend on a range check to get Data_Error
  98
  99       pragma Unsuppress (Range_Check);
 100       pragma Unsuppress (Overflow_Check);
 101
 102    begin
 103       if Need_LLI then
 104          Aux.Gets_LLI (From, Long_Long_Integer (Item), Last);
 105       else
 106          Aux.Gets_Int (From, Integer (Item), Last);
 107       end if;
 108
 109    exception
 110       when Constraint_Error => raise Data_Error;
 111    end Get;
 112
 113    ---------
 114    -- Put --
 115    ---------
 116
 117    procedure Put
 118      (File  : in File_Type;
 119       Item  : in Num;
 120       Width : in Field := Default_Width;
 121       Base  : in Number_Base := Default_Base)
 122    is
 123    begin
 124       if Need_LLI then
 125          Aux.Put_LLI (File, Long_Long_Integer (Item), Width, Base);
 126       else
 127          Aux.Put_Int (File, Integer (Item), Width, Base);
 128       end if;
 129    end Put;
 130
 131    procedure Put
 132      (Item  : in Num;
 133       Width : in Field := Default_Width;
 134       Base  : in Number_Base := Default_Base)
 135    is
 136    begin
 137       if Need_LLI then
 138          Aux.Put_LLI (Current_Out, Long_Long_Integer (Item), Width, Base);
 139       else
 140          Aux.Put_Int (Current_Out, Integer (Item), Width, Base);
 141       end if;
 142    end Put;
 143
 144    procedure Put
 145      (To   : out String;
 146       Item : in Num;
 147       Base : in Number_Base := Default_Base)
 148    is
 149    begin
 150       if Need_LLI then
 151          Aux.Puts_LLI (To, Long_Long_Integer (Item), Base);
 152       else
 153          Aux.Puts_Int (To, Integer (Item), Base);
 154       end if;
 155    end Put;
 156
 157 end Ada.Text_IO.Integer_IO;