------------------------------------------------------------------------------
-- --
--- GNAT RUNTIME COMPONENTS --
+-- GNAT RUN-TIME COMPONENTS --
-- --
-- S Y S T E M . I M G _ D E C --
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2001 Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2009, Free Software Foundation, Inc. --
-- --
-- GNAT is free software; you can redistribute it and/or modify it under --
-- terms of the GNU General Public License as published by the Free Soft- --
--- ware Foundation; either version 2, or (at your option) any later ver- --
+-- ware Foundation; either version 3, or (at your option) any later ver- --
-- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
-- OUT 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 GNAT; see file COPYING. If not, write --
--- to the Free Software Foundation, 59 Temple Place - Suite 330, Boston, --
--- MA 02111-1307, USA. --
+-- or FITNESS FOR A PARTICULAR PURPOSE. --
-- --
--- 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. --
+-- As a special exception under Section 7 of GPL version 3, you are granted --
+-- additional permissions described in the GCC Runtime Library Exception, --
+-- version 3.1, as published by the Free Software Foundation. --
+-- --
+-- You should have received a copy of the GNU General Public License and --
+-- a copy of the GCC Runtime Library Exception along with this program; --
+-- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see --
+-- <http://www.gnu.org/licenses/>. --
-- --
-- GNAT was originally developed by the GNAT team at New York University. --
-- Extensive contributions were provided by Ada Core Technologies Inc. --
-- Image_Decimal --
-------------------
- function Image_Decimal
+ procedure Image_Decimal
(V : Integer;
+ S : in out String;
+ P : out Natural;
Scale : Integer)
- return String
is
- P : Natural := 0;
- S : String (1 .. 64);
+ pragma Assert (S'First = 1);
begin
- Set_Image_Decimal (V, S, P, Scale, 1, Integer'Max (1, Scale), 0);
-
- -- Mess around to make sure we have the objectionable space at the
- -- start for positive numbers in accordance with the annoying rules!
+ -- Add space at start for non-negative numbers
- if S (1) /= ' ' and then S (1) /= '-' then
- S (2 .. P + 1) := S (1 .. P);
+ if V >= 0 then
S (1) := ' ';
- return S (1 .. P + 1);
+ P := 1;
else
- return S (1 .. P);
+ P := 0;
end if;
+
+ Set_Image_Decimal (V, S, P, Scale, 1, Integer'Max (1, Scale), 0);
end Image_Decimal;
------------------------
Aft : Natural;
Exp : Natural)
is
- Minus : constant Boolean := (Digs (1) = '-');
+ Minus : constant Boolean := (Digs (Digs'First) = '-');
-- Set True if input is negative
- Zero : Boolean := (Digs (2) = '0');
+ Zero : Boolean := (Digs (Digs'First + 1) = '0');
-- Set True if input is exactly zero (only case when a leading zero
-- is permitted in the input string given to this procedure). This
-- flag can get set later if rounding causes the value to become zero.
pragma Inline (Set_Zeroes);
-- Set N zeroes, no effect if N is negative
+ -----------
+ -- Round --
+ -----------
+
procedure Round (N : Natural) is
D : Character;
-- The result is zero, unless we are rounding just before
-- the first digit, and the first digit is five or more.
- if N = 1 and then Digs (2) >= '5' then
- Digs (1) := '1';
+ if N = 1 and then Digs (Digs'First + 1) >= '5' then
+ Digs (Digs'First) := '1';
else
- Digs (1) := '0';
+ Digs (Digs'First) := '0';
Zero := True;
end if;
-- OK, because we already captured the value of the sign and
-- we are in any case destroying the value in the Digs buffer
- Digs (1) := '1';
+ Digs (Digs'First) := '1';
FD := 1;
ND := ND + 1;
Digits_Before_Point := Digits_Before_Point + 1;
end if;
end Round;
+ ---------
+ -- Set --
+ ---------
+
procedure Set (C : Character) is
begin
P := P + 1;
S (P) := C;
end Set;
+ -------------------------
+ -- Set_Blanks_And_Sign --
+ -------------------------
+
procedure Set_Blanks_And_Sign (N : Integer) is
W : Integer := N;
end if;
end Set_Blanks_And_Sign;
+ ----------------
+ -- Set_Digits --
+ ----------------
+
procedure Set_Digits (S, E : Natural) is
begin
for J in S .. E loop
end loop;
end Set_Digits;
+ ----------------
+ -- Set_Zeroes --
+ ----------------
+
procedure Set_Zeroes (N : Integer) is
begin
for J in 1 .. N loop
if Exp > 0 then
Set_Blanks_And_Sign (Fore - 1);
- Round (Aft + 2);
+ Round (Digits_After_Point + 2);
Set (Digs (FD));
FD := FD + 1;
ND := ND - 1;
if ND >= Digits_After_Point then
Set_Digits (FD, FD + Digits_After_Point - 1);
-
else
Set_Digits (FD, LD);
Set_Zeroes (Digits_After_Point - ND);
Set_Blanks_And_Sign (Fore - 1);
Set ('0');
Set ('.');
-
- Set_Zeroes (Digits_After_Point - ND);
+ Set_Zeroes (-Digits_Before_Point);
Set_Digits (FD, LD);
+ Set_Zeroes (Digits_After_Point - Scale);
-- At least one digit before point in input
else
- Set_Blanks_And_Sign (Fore - Digits_Before_Point);
-
-- Less digits in input than are needed before point
-- Input: 1PP Output: 100.000
if ND < Digits_Before_Point then
- Set_Digits (FD, LD);
- Set_Zeroes (Digits_Before_Point - ND);
+
+ -- Special case, if the input is the single digit 0, then we
+ -- do not want 000.000, but instead 0.000.
+
+ if ND = 1 and then Digs (FD) = '0' then
+ Set_Blanks_And_Sign (Fore - 1);
+ Set ('0');
+
+ -- Normal case where we need to output scaling zeroes
+
+ else
+ Set_Blanks_And_Sign (Fore - Digits_Before_Point);
+ Set_Digits (FD, LD);
+ Set_Zeroes (Digits_Before_Point - ND);
+ end if;
+
+ -- Set period and zeroes after the period
+
Set ('.');
Set_Zeroes (Digits_After_Point);
-- Input has full amount of digits before decimal point
else
+ Set_Blanks_And_Sign (Fore - Digits_Before_Point);
Set_Digits (FD, FD + Digits_Before_Point - 1);
Set ('.');
Set_Digits (FD + Digits_Before_Point, LD);
end if;
end if;
end if;
-
end Set_Decimal_Digits;
-----------------------
procedure Set_Image_Decimal
(V : Integer;
- S : out String;
+ S : in out String;
P : in out Natural;
Scale : Integer;
Fore : Natural;
Aft : Natural;
Exp : Natural)
is
- Digs : String := Image_Integer (V);
+ Digs : String := Integer'Image (V);
-- Sign and digits of decimal value
begin