1 ------------------------------------------------------------------------------
3 -- GNAT RUN-TIME COMPONENTS --
5 -- A D A . T E X T _ I O . E N U M E R A T I O N _ A U X --
9 -- Copyright (C) 1992-2013, 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 Ada.Text_IO.Generic_Aux; use Ada.Text_IO.Generic_Aux;
33 with Ada.Characters.Handling; use Ada.Characters.Handling;
35 -- Note: this package does not yet deal properly with wide characters ???
37 package body Ada.Text_IO.Enumeration_Aux is
43 procedure Get_Enum_Lit
55 C := Character'Val (ch);
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)
61 Store_Char (File, ch, Buf, Buflen);
65 if ch in 16#20# .. 16#7E# or else ch >= 16#80# then
66 Store_Char (File, ch, Buf, Buflen);
70 if ch = Character'Pos (''') then
71 Store_Char (File, ch, Buf, Buflen);
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).
85 -- Identifier must start with a letter
87 if not Is_Letter (C) then
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).
97 C := Character'Val (ch);
98 Store_Char (File, Character'Pos (To_Upper (C)), Buf, Buflen);
101 exit when ch = EOF_Char;
102 C := Character'Val (ch);
104 exit when not Is_Letter (C)
105 and then not Is_Digit (C)
109 and then Buf (Buflen) = '_';
126 Actual_Width : constant Count := Count'Max (Count (Width), Item'Length);
129 -- Deal with limited line length of output file
131 if Line_Length (File) /= 0 then
133 -- If actual width exceeds line length, raise Layout_Error
135 if Actual_Width > Line_Length (File) then
139 -- If full width cannot fit on current line move to new line
141 if Actual_Width + (Col (File) - 1) > Line_Length (File) then
146 -- Output in lower case if necessary
148 if Set = Lower_Case and then Item (Item'First) /= ''' then
150 Iteml : String (Item'First .. Item'Last);
153 for J in Item'Range loop
154 Iteml (J) := To_Lower (Item (J));
157 Put_Item (File, Iteml);
160 -- Otherwise output in upper case
163 Put_Item (File, Item);
166 -- Fill out item with spaces to width
168 for J in 1 .. Actual_Width - Item'Length loop
185 if Item'Length > To'Length then
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));
194 To (Ptr) := Item (J);
200 while Ptr <= To'Last loop
211 procedure Scan_Enum_Lit
218 -- Processing for Scan_Enum_Lit
221 String_Skip (From, Start);
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).
227 if From (Start) = ''' then
230 if Stop = From'Last then
236 if From (Stop) in ' ' .. '~'
237 or else From (Stop) >= Character'Val (16#80#)
239 if Stop = From'Last then
244 if From (Stop) = ''' then
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).
257 -- Identifier must start with a letter
259 if not Is_Letter (From (Start)) then
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).
268 while Stop < From'Last loop
269 C := From (Stop + 1);
271 exit when not Is_Letter (C)
272 and then not Is_Digit (C)
276 and then From (Stop) = '_';
283 end Ada.Text_IO.Enumeration_Aux;