1------------------------------------------------------------------------------
2--                                                                          --
3--                         GNAT COMPILER COMPONENTS                         --
4--                                                                          --
5--                      S Y S T E M . I M G _ L F L T                       --
6--                                                                          --
7--                                 S p e c                                  --
8--                                                                          --
9--            Copyright (C) 2021, 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--  This package contains routines for the Image attribute of fixed or floating
33--  point types based on Long_Float, also used for Float_IO/Fixed_IO output.
34
35with System.Img_LLU;
36with System.Image_R;
37with System.Powten_LFlt;
38with System.Unsigned_Types;
39
40package System.Img_LFlt is
41   pragma Pure;
42
43   --  Note that the following instantiation is really for a 32-bit target,
44   --  where 128-bit integer types are not available. For a 64-bit targaet,
45   --  it is possible to use Long_Long_Unsigned and Long_Long_Long_Unsigned
46   --  instead of Unsigned and Long_Long_Unsigned, in order to double the
47   --  number of significant digits. But we do not do it by default to avoid
48   --  dragging 128-bit integer types for the sake of backward compatibility.
49
50   package Impl is new Image_R
51     (Long_Float,
52      System.Powten_LFlt.Maxpow,
53      System.Powten_LFlt.Powten'Address,
54      Unsigned_Types.Long_Long_Unsigned,
55      System.Img_LLU.Set_Image_Long_Long_Unsigned);
56
57   procedure Image_Fixed
58     (V   : Long_Float;
59      S   : in out String;
60      P   : out Natural;
61      Aft : Natural)
62     renames Impl.Image_Fixed_Point;
63
64   procedure Image_Long_Float
65     (V    : Long_Float;
66      S    : in out String;
67      P    : out Natural;
68      Digs : Natural)
69     renames Impl.Image_Floating_Point;
70
71   procedure Set_Image_Long_Float
72     (V    : Long_Float;
73      S    : in out String;
74      P    : in out Natural;
75      Fore : Natural;
76      Aft  : Natural;
77      Exp  : Natural)
78     renames Impl.Set_Image_Real;
79
80end System.Img_LFlt;
81