1 ------------------------------------------------------------------------------
3 -- GNAT RUN-TIME COMPONENTS --
5 -- S Y S T E M . I M G _ B I U --
9 -- Copyright (C) 1992-2009 Free Software Foundation, Inc. --
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. --
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. --
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/>. --
27 -- GNAT was originally developed by the GNAT team at New York University. --
28 -- Extensive contributions were provided by Ada Core Technologies Inc. --
30 ------------------------------------------------------------------------------
32 with System
.Unsigned_Types
; use System
.Unsigned_Types
;
34 package body System
.Img_BIU
is
36 -----------------------------
37 -- Set_Image_Based_Integer --
38 -----------------------------
40 procedure Set_Image_Based_Integer
50 -- Positive case can just use the unsigned circuit directly
53 Set_Image_Based_Unsigned
(Unsigned
(V
), B
, W
, S
, P
);
55 -- Negative case has to set a minus sign. Note also that we have to be
56 -- careful not to generate overflow with the largest negative number.
64 pragma Suppress
(Overflow_Check
);
65 pragma Suppress
(Range_Check
);
67 Set_Image_Based_Unsigned
(Unsigned
(-V
), B
, W
- 1, S
, P
);
70 -- Set minus sign in last leading blank location. Because of the
71 -- code above, there must be at least one such location.
73 while S
(Start
+ 1) = ' ' loop
80 end Set_Image_Based_Integer
;
82 ------------------------------
83 -- Set_Image_Based_Unsigned --
84 ------------------------------
86 procedure Set_Image_Based_Unsigned
93 Start
: constant Natural := P
;
95 BU
: constant Unsigned
:= Unsigned
(B
);
97 (Unsigned
range 0 .. 15) of Character := "0123456789ABCDEF";
99 procedure Set_Digits
(T
: Unsigned
);
100 -- Set digits of absolute value of T
102 procedure Set_Digits
(T
: Unsigned
) is
107 S
(P
) := Hex
(T
mod BU
);
114 -- Start of processing for Set_Image_Based_Unsigned
124 S
(P
) := Character'Val (Character'Pos ('0') + B
mod 10);
134 -- Add leading spaces if required by width parameter
136 if P
- Start
< W
then
147 for J
in Start
+ 1 .. T
loop
152 end Set_Image_Based_Unsigned
;