fixing pr42337
[official-gcc.git] / gcc / ada / a-timoau.adb
blob7b204c85dda0f64bb538bcd50379006f437ec250
1 ------------------------------------------------------------------------------
2 -- --
3 -- GNAT RUN-TIME COMPONENTS --
4 -- --
5 -- A D A . T E X T _ I O . M O D U L A R _ A U X --
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 ------------------------------------------------------------------------------
32 with Ada.Text_IO.Generic_Aux; use Ada.Text_IO.Generic_Aux;
34 with System.Img_BIU; use System.Img_BIU;
35 with System.Img_Uns; use System.Img_Uns;
36 with System.Img_LLB; use System.Img_LLB;
37 with System.Img_LLU; use System.Img_LLU;
38 with System.Img_LLW; use System.Img_LLW;
39 with System.Img_WIU; use System.Img_WIU;
40 with System.Val_Uns; use System.Val_Uns;
41 with System.Val_LLU; use System.Val_LLU;
43 package body Ada.Text_IO.Modular_Aux is
45 use System.Unsigned_Types;
47 -----------------------
48 -- Local Subprograms --
49 -----------------------
51 procedure Load_Modular
52 (File : File_Type;
53 Buf : out String;
54 Ptr : in out Natural);
55 -- This is an auxiliary routine that is used to load an possibly signed
56 -- modular literal value from the input file into Buf, starting at Ptr + 1.
57 -- Ptr is left set to the last character stored.
59 -------------
60 -- Get_LLU --
61 -------------
63 procedure Get_LLU
64 (File : File_Type;
65 Item : out Long_Long_Unsigned;
66 Width : Field)
68 Buf : String (1 .. Field'Last);
69 Stop : Integer := 0;
70 Ptr : aliased Integer := 1;
72 begin
73 if Width /= 0 then
74 Load_Width (File, Width, Buf, Stop);
75 String_Skip (Buf, Ptr);
76 else
77 Load_Modular (File, Buf, Stop);
78 end if;
80 Item := Scan_Long_Long_Unsigned (Buf, Ptr'Access, Stop);
81 Check_End_Of_Field (Buf, Stop, Ptr, Width);
82 end Get_LLU;
84 -------------
85 -- Get_Uns --
86 -------------
88 procedure Get_Uns
89 (File : File_Type;
90 Item : out Unsigned;
91 Width : Field)
93 Buf : String (1 .. Field'Last);
94 Stop : Integer := 0;
95 Ptr : aliased Integer := 1;
97 begin
98 if Width /= 0 then
99 Load_Width (File, Width, Buf, Stop);
100 String_Skip (Buf, Ptr);
101 else
102 Load_Modular (File, Buf, Stop);
103 end if;
105 Item := Scan_Unsigned (Buf, Ptr'Access, Stop);
106 Check_End_Of_Field (Buf, Stop, Ptr, Width);
107 end Get_Uns;
109 --------------
110 -- Gets_LLU --
111 --------------
113 procedure Gets_LLU
114 (From : String;
115 Item : out Long_Long_Unsigned;
116 Last : out Positive)
118 Pos : aliased Integer;
120 begin
121 String_Skip (From, Pos);
122 Item := Scan_Long_Long_Unsigned (From, Pos'Access, From'Last);
123 Last := Pos - 1;
125 exception
126 when Constraint_Error =>
127 raise Data_Error;
128 end Gets_LLU;
130 --------------
131 -- Gets_Uns --
132 --------------
134 procedure Gets_Uns
135 (From : String;
136 Item : out Unsigned;
137 Last : out Positive)
139 Pos : aliased Integer;
141 begin
142 String_Skip (From, Pos);
143 Item := Scan_Unsigned (From, Pos'Access, From'Last);
144 Last := Pos - 1;
146 exception
147 when Constraint_Error =>
148 raise Data_Error;
149 end Gets_Uns;
151 ------------------
152 -- Load_Modular --
153 ------------------
155 procedure Load_Modular
156 (File : File_Type;
157 Buf : out String;
158 Ptr : in out Natural)
160 Hash_Loc : Natural;
161 Loaded : Boolean;
163 begin
164 Load_Skip (File);
166 -- Note: it is a bit strange to allow a minus sign here, but it seems
167 -- consistent with the general behavior expected by the ACVC tests
168 -- which is to scan past junk and then signal data error, see ACVC
169 -- test CE3704F, case (6), which is for signed integer exponents,
170 -- which seems a similar case.
172 Load (File, Buf, Ptr, '+', '-');
173 Load_Digits (File, Buf, Ptr, Loaded);
175 if Loaded then
176 Load (File, Buf, Ptr, '#', ':', Loaded);
178 if Loaded then
179 Hash_Loc := Ptr;
180 Load_Extended_Digits (File, Buf, Ptr);
181 Load (File, Buf, Ptr, Buf (Hash_Loc));
182 end if;
184 Load (File, Buf, Ptr, 'E', 'e', Loaded);
186 if Loaded then
188 -- Note: it is strange to allow a minus sign, since the syntax
189 -- does not, but that is what ACVC test CE3704F, case (6) wants
190 -- for the signed case, and there seems no good reason to treat
191 -- exponents differently for the signed and unsigned cases.
193 Load (File, Buf, Ptr, '+', '-');
194 Load_Digits (File, Buf, Ptr);
195 end if;
196 end if;
197 end Load_Modular;
199 -------------
200 -- Put_LLU --
201 -------------
203 procedure Put_LLU
204 (File : File_Type;
205 Item : Long_Long_Unsigned;
206 Width : Field;
207 Base : Number_Base)
209 Buf : String (1 .. Field'Last);
210 Ptr : Natural := 0;
212 begin
213 if Base = 10 and then Width = 0 then
214 Set_Image_Long_Long_Unsigned (Item, Buf, Ptr);
215 elsif Base = 10 then
216 Set_Image_Width_Long_Long_Unsigned (Item, Width, Buf, Ptr);
217 else
218 Set_Image_Based_Long_Long_Unsigned (Item, Base, Width, Buf, Ptr);
219 end if;
221 Put_Item (File, Buf (1 .. Ptr));
222 end Put_LLU;
224 -------------
225 -- Put_Uns --
226 -------------
228 procedure Put_Uns
229 (File : File_Type;
230 Item : Unsigned;
231 Width : Field;
232 Base : Number_Base)
234 Buf : String (1 .. Field'Last);
235 Ptr : Natural := 0;
237 begin
238 if Base = 10 and then Width = 0 then
239 Set_Image_Unsigned (Item, Buf, Ptr);
240 elsif Base = 10 then
241 Set_Image_Width_Unsigned (Item, Width, Buf, Ptr);
242 else
243 Set_Image_Based_Unsigned (Item, Base, Width, Buf, Ptr);
244 end if;
246 Put_Item (File, Buf (1 .. Ptr));
247 end Put_Uns;
249 --------------
250 -- Puts_LLU --
251 --------------
253 procedure Puts_LLU
254 (To : out String;
255 Item : Long_Long_Unsigned;
256 Base : Number_Base)
258 Buf : String (1 .. Field'Last);
259 Ptr : Natural := 0;
261 begin
262 if Base = 10 then
263 Set_Image_Width_Long_Long_Unsigned (Item, To'Length, Buf, Ptr);
264 else
265 Set_Image_Based_Long_Long_Unsigned (Item, Base, To'Length, Buf, Ptr);
266 end if;
268 if Ptr > To'Length then
269 raise Layout_Error;
270 else
271 To (To'First .. To'First + Ptr - 1) := Buf (1 .. Ptr);
272 end if;
273 end Puts_LLU;
275 --------------
276 -- Puts_Uns --
277 --------------
279 procedure Puts_Uns
280 (To : out String;
281 Item : Unsigned;
282 Base : Number_Base)
284 Buf : String (1 .. Field'Last);
285 Ptr : Natural := 0;
287 begin
288 if Base = 10 then
289 Set_Image_Width_Unsigned (Item, To'Length, Buf, Ptr);
290 else
291 Set_Image_Based_Unsigned (Item, Base, To'Length, Buf, Ptr);
292 end if;
294 if Ptr > To'Length then
295 raise Layout_Error;
296 else
297 To (To'First .. To'First + Ptr - 1) := Buf (1 .. Ptr);
298 end if;
299 end Puts_Uns;
301 end Ada.Text_IO.Modular_Aux;