1------------------------------------------------------------------------------ 2-- -- 3-- GNAT RUN-TIME COMPONENTS -- 4-- -- 5-- S Y S T E M . I M G _ L L W -- 6-- -- 7-- B o d y -- 8-- -- 9-- Copyright (C) 1992-2009 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 32with System.Unsigned_Types; use System.Unsigned_Types; 33 34package body System.Img_LLW is 35 36 --------------------------------------- 37 -- Set_Image_Width_Long_Long_Integer -- 38 --------------------------------------- 39 40 procedure Set_Image_Width_Long_Long_Integer 41 (V : Long_Long_Integer; 42 W : Integer; 43 S : out String; 44 P : in out Natural) 45 is 46 Start : Natural; 47 48 begin 49 -- Positive case can just use the unsigned circuit directly 50 51 if V >= 0 then 52 Set_Image_Width_Long_Long_Unsigned 53 (Long_Long_Unsigned (V), W, S, P); 54 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. 57 58 else 59 P := P + 1; 60 S (P) := ' '; 61 Start := P; 62 63 declare 64 pragma Suppress (Overflow_Check); 65 pragma Suppress (Range_Check); 66 begin 67 Set_Image_Width_Long_Long_Unsigned 68 (Long_Long_Unsigned (-V), W - 1, S, P); 69 end; 70 71 -- Set minus sign in last leading blank location. Because of the 72 -- code above, there must be at least one such location. 73 74 while S (Start + 1) = ' ' loop 75 Start := Start + 1; 76 end loop; 77 78 S (Start) := '-'; 79 end if; 80 81 end Set_Image_Width_Long_Long_Integer; 82 83 ---------------------------------------- 84 -- Set_Image_Width_Long_Long_Unsigned -- 85 ---------------------------------------- 86 87 procedure Set_Image_Width_Long_Long_Unsigned 88 (V : Long_Long_Unsigned; 89 W : Integer; 90 S : out String; 91 P : in out Natural) 92 is 93 Start : constant Natural := P; 94 F, T : Natural; 95 96 procedure Set_Digits (T : Long_Long_Unsigned); 97 -- Set digits of absolute value of T 98 99 procedure Set_Digits (T : Long_Long_Unsigned) is 100 begin 101 if T >= 10 then 102 Set_Digits (T / 10); 103 P := P + 1; 104 S (P) := Character'Val (T mod 10 + Character'Pos ('0')); 105 else 106 P := P + 1; 107 S (P) := Character'Val (T + Character'Pos ('0')); 108 end if; 109 end Set_Digits; 110 111 -- Start of processing for Set_Image_Width_Long_Long_Unsigned 112 113 begin 114 Set_Digits (V); 115 116 -- Add leading spaces if required by width parameter 117 118 if P - Start < W then 119 F := P; 120 P := P + (W - (P - Start)); 121 T := P; 122 123 while F > Start loop 124 S (T) := S (F); 125 T := T - 1; 126 F := F - 1; 127 end loop; 128 129 for J in Start + 1 .. T loop 130 S (J) := ' '; 131 end loop; 132 end if; 133 134 end Set_Image_Width_Long_Long_Unsigned; 135 136end System.Img_LLW; 137