|
111
|
1 ------------------------------------------------------------------------------
|
|
|
2 -- --
|
|
|
3 -- GNAT RUN-TIME COMPONENTS --
|
|
|
4 -- --
|
|
|
5 -- A D A . T E X T _ I O . E N U M E R A T I O N _ A U X --
|
|
|
6 -- --
|
|
|
7 -- B o d y --
|
|
|
8 -- --
|
|
131
|
9 -- Copyright (C) 1992-2018, Free Software Foundation, Inc. --
|
|
111
|
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 with Ada.Text_IO.Generic_Aux; use Ada.Text_IO.Generic_Aux;
|
|
|
33 with Ada.Characters.Handling; use Ada.Characters.Handling;
|
|
|
34
|
|
|
35 -- Note: this package does not yet deal properly with wide characters ???
|
|
|
36
|
|
|
37 package body Ada.Text_IO.Enumeration_Aux is
|
|
|
38
|
|
|
39 ------------------
|
|
|
40 -- Get_Enum_Lit --
|
|
|
41 ------------------
|
|
|
42
|
|
|
43 procedure Get_Enum_Lit
|
|
|
44 (File : File_Type;
|
|
|
45 Buf : out String;
|
|
|
46 Buflen : out Natural)
|
|
|
47 is
|
|
|
48 ch : Integer;
|
|
|
49 C : Character;
|
|
|
50
|
|
|
51 begin
|
|
|
52 Buflen := 0;
|
|
|
53 Load_Skip (File);
|
|
|
54 ch := Getc (File);
|
|
|
55 C := Character'Val (ch);
|
|
|
56
|
|
|
57 -- Character literal case. If the initial character is a quote, then
|
|
|
58 -- we read as far as we can without backup (see ACVC test CE3905L)
|
|
|
59
|
|
|
60 if C = ''' then
|
|
|
61 Store_Char (File, ch, Buf, Buflen);
|
|
|
62
|
|
|
63 ch := Getc (File);
|
|
|
64
|
|
|
65 if ch in 16#20# .. 16#7E# or else ch >= 16#80# then
|
|
|
66 Store_Char (File, ch, Buf, Buflen);
|
|
|
67
|
|
|
68 ch := Getc (File);
|
|
|
69
|
|
|
70 if ch = Character'Pos (''') then
|
|
|
71 Store_Char (File, ch, Buf, Buflen);
|
|
|
72 else
|
|
|
73 Ungetc (ch, File);
|
|
|
74 end if;
|
|
|
75
|
|
|
76 else
|
|
|
77 Ungetc (ch, File);
|
|
|
78 end if;
|
|
|
79
|
|
|
80 -- Similarly for identifiers, read as far as we can, in particular,
|
|
|
81 -- do read a trailing underscore (again see ACVC test CE3905L to
|
|
|
82 -- understand why we do this, although it seems somewhat peculiar).
|
|
|
83
|
|
|
84 else
|
|
|
85 -- Identifier must start with a letter
|
|
|
86
|
|
|
87 if not Is_Letter (C) then
|
|
|
88 Ungetc (ch, File);
|
|
|
89 return;
|
|
|
90 end if;
|
|
|
91
|
|
|
92 -- If we do have a letter, loop through the characters quitting on
|
|
|
93 -- the first non-identifier character (note that this includes the
|
|
|
94 -- cases of hitting a line mark or page mark).
|
|
|
95
|
|
|
96 loop
|
|
|
97 C := Character'Val (ch);
|
|
|
98 Store_Char (File, Character'Pos (To_Upper (C)), Buf, Buflen);
|
|
|
99
|
|
|
100 ch := Getc (File);
|
|
|
101 exit when ch = EOF_Char;
|
|
|
102 C := Character'Val (ch);
|
|
|
103
|
|
|
104 exit when not Is_Letter (C)
|
|
|
105 and then not Is_Digit (C)
|
|
|
106 and then C /= '_';
|
|
|
107
|
|
|
108 exit when C = '_'
|
|
|
109 and then Buf (Buflen) = '_';
|
|
|
110 end loop;
|
|
|
111
|
|
|
112 Ungetc (ch, File);
|
|
|
113 end if;
|
|
|
114 end Get_Enum_Lit;
|
|
|
115
|
|
|
116 ---------
|
|
|
117 -- Put --
|
|
|
118 ---------
|
|
|
119
|
|
|
120 procedure Put
|
|
|
121 (File : File_Type;
|
|
|
122 Item : String;
|
|
|
123 Width : Field;
|
|
|
124 Set : Type_Set)
|
|
|
125 is
|
|
|
126 Actual_Width : constant Count := Count'Max (Count (Width), Item'Length);
|
|
|
127
|
|
|
128 begin
|
|
|
129 -- Deal with limited line length of output file
|
|
|
130
|
|
|
131 if Line_Length (File) /= 0 then
|
|
|
132
|
|
|
133 -- If actual width exceeds line length, raise Layout_Error
|
|
|
134
|
|
|
135 if Actual_Width > Line_Length (File) then
|
|
|
136 raise Layout_Error;
|
|
|
137 end if;
|
|
|
138
|
|
|
139 -- If full width cannot fit on current line move to new line
|
|
|
140
|
|
|
141 if Actual_Width + (Col (File) - 1) > Line_Length (File) then
|
|
|
142 New_Line (File);
|
|
|
143 end if;
|
|
|
144 end if;
|
|
|
145
|
|
|
146 -- Output in lower case if necessary
|
|
|
147
|
|
|
148 if Set = Lower_Case and then Item (Item'First) /= ''' then
|
|
|
149 declare
|
|
|
150 Iteml : String (Item'First .. Item'Last);
|
|
|
151
|
|
|
152 begin
|
|
|
153 for J in Item'Range loop
|
|
|
154 Iteml (J) := To_Lower (Item (J));
|
|
|
155 end loop;
|
|
|
156
|
|
|
157 Put_Item (File, Iteml);
|
|
|
158 end;
|
|
|
159
|
|
|
160 -- Otherwise output in upper case
|
|
|
161
|
|
|
162 else
|
|
|
163 Put_Item (File, Item);
|
|
|
164 end if;
|
|
|
165
|
|
|
166 -- Fill out item with spaces to width
|
|
|
167
|
|
|
168 for J in 1 .. Actual_Width - Item'Length loop
|
|
|
169 Put (File, ' ');
|
|
|
170 end loop;
|
|
|
171 end Put;
|
|
|
172
|
|
|
173 ----------
|
|
|
174 -- Puts --
|
|
|
175 ----------
|
|
|
176
|
|
|
177 procedure Puts
|
|
|
178 (To : out String;
|
|
|
179 Item : String;
|
|
|
180 Set : Type_Set)
|
|
|
181 is
|
|
|
182 Ptr : Natural;
|
|
|
183
|
|
|
184 begin
|
|
|
185 if Item'Length > To'Length then
|
|
|
186 raise Layout_Error;
|
|
|
187
|
|
|
188 else
|
|
|
189 Ptr := To'First;
|
|
|
190 for J in Item'Range loop
|
|
|
191 if Set = Lower_Case and then Item (Item'First) /= ''' then
|
|
|
192 To (Ptr) := To_Lower (Item (J));
|
|
|
193 else
|
|
|
194 To (Ptr) := Item (J);
|
|
|
195 end if;
|
|
|
196
|
|
|
197 Ptr := Ptr + 1;
|
|
|
198 end loop;
|
|
|
199
|
|
|
200 while Ptr <= To'Last loop
|
|
|
201 To (Ptr) := ' ';
|
|
|
202 Ptr := Ptr + 1;
|
|
|
203 end loop;
|
|
|
204 end if;
|
|
|
205 end Puts;
|
|
|
206
|
|
|
207 -------------------
|
|
|
208 -- Scan_Enum_Lit --
|
|
|
209 -------------------
|
|
|
210
|
|
|
211 procedure Scan_Enum_Lit
|
|
|
212 (From : String;
|
|
|
213 Start : out Natural;
|
|
|
214 Stop : out Natural)
|
|
|
215 is
|
|
|
216 C : Character;
|
|
|
217
|
|
|
218 -- Processing for Scan_Enum_Lit
|
|
|
219
|
|
|
220 begin
|
|
|
221 String_Skip (From, Start);
|
|
|
222
|
|
|
223 -- Character literal case. If the initial character is a quote, then
|
|
|
224 -- we read as far as we can without backup (see ACVC test CE3905L
|
|
|
225 -- which is for the analogous case for reading from a file).
|
|
|
226
|
|
|
227 if From (Start) = ''' then
|
|
|
228 Stop := Start;
|
|
|
229
|
|
|
230 if Stop = From'Last then
|
|
|
231 raise Data_Error;
|
|
|
232 else
|
|
|
233 Stop := Stop + 1;
|
|
|
234 end if;
|
|
|
235
|
|
|
236 if From (Stop) in ' ' .. '~'
|
|
|
237 or else From (Stop) >= Character'Val (16#80#)
|
|
|
238 then
|
|
|
239 if Stop = From'Last then
|
|
|
240 raise Data_Error;
|
|
|
241 else
|
|
|
242 Stop := Stop + 1;
|
|
|
243
|
|
|
244 if From (Stop) = ''' then
|
|
|
245 return;
|
|
|
246 end if;
|
|
|
247 end if;
|
|
|
248 end if;
|
|
|
249
|
|
|
250 raise Data_Error;
|
|
|
251
|
|
|
252 -- Similarly for identifiers, read as far as we can, in particular,
|
|
|
253 -- do read a trailing underscore (again see ACVC test CE3905L to
|
|
|
254 -- understand why we do this, although it seems somewhat peculiar).
|
|
|
255
|
|
|
256 else
|
|
|
257 -- Identifier must start with a letter
|
|
|
258
|
|
|
259 if not Is_Letter (From (Start)) then
|
|
|
260 raise Data_Error;
|
|
|
261 end if;
|
|
|
262
|
|
|
263 -- If we do have a letter, loop through the characters quitting on
|
|
|
264 -- the first non-identifier character (note that this includes the
|
|
|
265 -- cases of hitting a line mark or page mark).
|
|
|
266
|
|
|
267 Stop := Start;
|
|
|
268 while Stop < From'Last loop
|
|
|
269 C := From (Stop + 1);
|
|
|
270
|
|
|
271 exit when not Is_Letter (C)
|
|
|
272 and then not Is_Digit (C)
|
|
|
273 and then C /= '_';
|
|
|
274
|
|
|
275 exit when C = '_'
|
|
|
276 and then From (Stop) = '_';
|
|
|
277
|
|
|
278 Stop := Stop + 1;
|
|
|
279 end loop;
|
|
|
280 end if;
|
|
|
281 end Scan_Enum_Lit;
|
|
|
282
|
|
|
283 end Ada.Text_IO.Enumeration_Aux;
|
