OSDN Git Service

b7a7ab12fc1381f74bed0bd2e0a5dfdda9195352
[pf3gnuchains/gcc-fork.git] / gcc / ada / snames.ads
1 ------------------------------------------------------------------------------
2 --                                                                          --
3 --                         GNAT COMPILER COMPONENTS                         --
4 --                                                                          --
5 --                               S N A M E S                                --
6 --                                                                          --
7 --                                 S p e c                                  --
8 --                                                                          --
9 --          Copyright (C) 1992-2007, 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 2,  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.  See the GNU General Public License --
17 -- for  more details.  You should have  received  a copy of the GNU General --
18 -- Public License  distributed with GNAT;  see file COPYING.  If not, write --
19 -- to  the  Free Software Foundation,  51  Franklin  Street,  Fifth  Floor, --
20 -- Boston, MA 02110-1301, USA.                                              --
21 --                                                                          --
22 -- As a special exception,  if other files  instantiate  generics from this --
23 -- unit, or you link  this unit with other files  to produce an executable, --
24 -- this  unit  does not  by itself cause  the resulting  executable  to  be --
25 -- covered  by the  GNU  General  Public  License.  This exception does not --
26 -- however invalidate  any other reasons why  the executable file  might be --
27 -- covered by the  GNU Public License.                                      --
28 --                                                                          --
29 -- GNAT was originally developed  by the GNAT team at  New York University. --
30 -- Extensive contributions were provided by Ada Core Technologies Inc.      --
31 --                                                                          --
32 ------------------------------------------------------------------------------
33
34 with Namet; use Namet;
35
36 package Snames is
37
38 --  This package contains definitions of standard names (i.e. entries in the
39 --  Names table) that are used throughout the GNAT compiler). It also contains
40 --  the definitions of some enumeration types whose definitions are tied to
41 --  the order of these preset names.
42
43 --  WARNING: There is a C file, a-snames.h which duplicates some of the
44 --  definitions in this file and must be kept properly synchronized.
45
46    ------------------
47    -- Preset Names --
48    ------------------
49
50    --  The following are preset entries in the names table, which are entered
51    --  at the start of every compilation for easy access. Note that the order
52    --  of initialization of these names in the body must be coordinated with
53    --  the order of names in this table.
54
55    --  Note: a name may not appear more than once in the following list. If
56    --  additional pragmas or attributes are introduced which might otherwise
57    --  cause a duplicate, then list it only once in this table, and adjust the
58    --  definition of the functions for testing for pragma names and attribute
59    --  names, and returning their ID values. Of course everything is simpler
60    --  if no such duplications occur!
61
62    --  First we have the one character names used to optimize the lookup
63    --  process for one character identifiers (to avoid the hashing in this
64    --  case) There are a full 256 of these, but only the entries for lower
65    --  case and upper case letters have identifiers
66
67    --  The lower case letter entries are used for one character identifiers
68    --  appearing in the source, for example in pragma Interface (C).
69
70    Name_A : constant Name_Id := First_Name_Id + Character'Pos ('a');
71    Name_B : constant Name_Id := First_Name_Id + Character'Pos ('b');
72    Name_C : constant Name_Id := First_Name_Id + Character'Pos ('c');
73    Name_D : constant Name_Id := First_Name_Id + Character'Pos ('d');
74    Name_E : constant Name_Id := First_Name_Id + Character'Pos ('e');
75    Name_F : constant Name_Id := First_Name_Id + Character'Pos ('f');
76    Name_G : constant Name_Id := First_Name_Id + Character'Pos ('g');
77    Name_H : constant Name_Id := First_Name_Id + Character'Pos ('h');
78    Name_I : constant Name_Id := First_Name_Id + Character'Pos ('i');
79    Name_J : constant Name_Id := First_Name_Id + Character'Pos ('j');
80    Name_K : constant Name_Id := First_Name_Id + Character'Pos ('k');
81    Name_L : constant Name_Id := First_Name_Id + Character'Pos ('l');
82    Name_M : constant Name_Id := First_Name_Id + Character'Pos ('m');
83    Name_N : constant Name_Id := First_Name_Id + Character'Pos ('n');
84    Name_O : constant Name_Id := First_Name_Id + Character'Pos ('o');
85    Name_P : constant Name_Id := First_Name_Id + Character'Pos ('p');
86    Name_Q : constant Name_Id := First_Name_Id + Character'Pos ('q');
87    Name_R : constant Name_Id := First_Name_Id + Character'Pos ('r');
88    Name_S : constant Name_Id := First_Name_Id + Character'Pos ('s');
89    Name_T : constant Name_Id := First_Name_Id + Character'Pos ('t');
90    Name_U : constant Name_Id := First_Name_Id + Character'Pos ('u');
91    Name_V : constant Name_Id := First_Name_Id + Character'Pos ('v');
92    Name_W : constant Name_Id := First_Name_Id + Character'Pos ('w');
93    Name_X : constant Name_Id := First_Name_Id + Character'Pos ('x');
94    Name_Y : constant Name_Id := First_Name_Id + Character'Pos ('y');
95    Name_Z : constant Name_Id := First_Name_Id + Character'Pos ('z');
96
97    --  The upper case letter entries are used by expander code for local
98    --  variables that do not require unique names (e.g. formal parameter
99    --  names in constructed procedures)
100
101    Name_uA : constant Name_Id := First_Name_Id + Character'Pos ('A');
102    Name_uB : constant Name_Id := First_Name_Id + Character'Pos ('B');
103    Name_uC : constant Name_Id := First_Name_Id + Character'Pos ('C');
104    Name_uD : constant Name_Id := First_Name_Id + Character'Pos ('D');
105    Name_uE : constant Name_Id := First_Name_Id + Character'Pos ('E');
106    Name_uF : constant Name_Id := First_Name_Id + Character'Pos ('F');
107    Name_uG : constant Name_Id := First_Name_Id + Character'Pos ('G');
108    Name_uH : constant Name_Id := First_Name_Id + Character'Pos ('H');
109    Name_uI : constant Name_Id := First_Name_Id + Character'Pos ('I');
110    Name_uJ : constant Name_Id := First_Name_Id + Character'Pos ('J');
111    Name_uK : constant Name_Id := First_Name_Id + Character'Pos ('K');
112    Name_uL : constant Name_Id := First_Name_Id + Character'Pos ('L');
113    Name_uM : constant Name_Id := First_Name_Id + Character'Pos ('M');
114    Name_uN : constant Name_Id := First_Name_Id + Character'Pos ('N');
115    Name_uO : constant Name_Id := First_Name_Id + Character'Pos ('O');
116    Name_uP : constant Name_Id := First_Name_Id + Character'Pos ('P');
117    Name_uQ : constant Name_Id := First_Name_Id + Character'Pos ('Q');
118    Name_uR : constant Name_Id := First_Name_Id + Character'Pos ('R');
119    Name_uS : constant Name_Id := First_Name_Id + Character'Pos ('S');
120    Name_uT : constant Name_Id := First_Name_Id + Character'Pos ('T');
121    Name_uU : constant Name_Id := First_Name_Id + Character'Pos ('U');
122    Name_uV : constant Name_Id := First_Name_Id + Character'Pos ('V');
123    Name_uW : constant Name_Id := First_Name_Id + Character'Pos ('W');
124    Name_uX : constant Name_Id := First_Name_Id + Character'Pos ('X');
125    Name_uY : constant Name_Id := First_Name_Id + Character'Pos ('Y');
126    Name_uZ : constant Name_Id := First_Name_Id + Character'Pos ('Z');
127
128    --  Note: the following table is read by the utility program XSNAMES and
129    --  its format should not be changed without coordinating with this program.
130
131    N : constant Name_Id := First_Name_Id + 256;
132    --  Synonym used in standard name definitions
133
134    --  Some names that are used by gigi, and whose definitions are reflected
135    --  in the C header file a-snames.h. They are placed at the start so that
136    --  the need to modify a-snames.h is minimized.
137
138    Name_uParent                        : constant Name_Id := N + 000;
139    Name_uTag                           : constant Name_Id := N + 001;
140    Name_Off                            : constant Name_Id := N + 002;
141    Name_Space                          : constant Name_Id := N + 003;
142    Name_Time                           : constant Name_Id := N + 004;
143
144    --  Some special names used by the expander. Note that the lower case u's
145    --  at the start of these names get translated to extra underscores. These
146    --  names are only referenced internally by expander generated code.
147
148    Name_uAbort_Signal                  : constant Name_Id := N + 005;
149    Name_uAlignment                     : constant Name_Id := N + 006;
150    Name_uAssign                        : constant Name_Id := N + 007;
151    Name_uATCB                          : constant Name_Id := N + 008;
152    Name_uChain                         : constant Name_Id := N + 009;
153    Name_uClean                         : constant Name_Id := N + 010;
154    Name_uController                    : constant Name_Id := N + 011;
155    Name_uEntry_Bodies                  : constant Name_Id := N + 012;
156    Name_uExpunge                       : constant Name_Id := N + 013;
157    Name_uFinal_List                    : constant Name_Id := N + 014;
158    Name_uIdepth                        : constant Name_Id := N + 015;
159    Name_uInit                          : constant Name_Id := N + 016;
160    Name_uLocal_Final_List              : constant Name_Id := N + 017;
161    Name_uMaster                        : constant Name_Id := N + 018;
162    Name_uObject                        : constant Name_Id := N + 019;
163    Name_uPriority                      : constant Name_Id := N + 020;
164    Name_uProcess_ATSD                  : constant Name_Id := N + 021;
165    Name_uSecondary_Stack               : constant Name_Id := N + 022;
166    Name_uService                       : constant Name_Id := N + 023;
167    Name_uSize                          : constant Name_Id := N + 024;
168    Name_uStack                         : constant Name_Id := N + 025;
169    Name_uTags                          : constant Name_Id := N + 026;
170    Name_uTask                          : constant Name_Id := N + 027;
171    Name_uTask_Id                       : constant Name_Id := N + 028;
172    Name_uTask_Info                     : constant Name_Id := N + 029;
173    Name_uTask_Name                     : constant Name_Id := N + 030;
174    Name_uTrace_Sp                      : constant Name_Id := N + 031;
175
176    --  Names of routines used in the expansion of asynchronous, conditional
177    --  and timed dispatching selects.
178
179    Name_uDisp_Asynchronous_Select      : constant Name_Id := N + 032;
180    Name_uDisp_Conditional_Select       : constant Name_Id := N + 033;
181    Name_uDisp_Get_Prim_Op_Kind         : constant Name_Id := N + 034;
182    Name_uDisp_Timed_Select             : constant Name_Id := N + 035;
183
184    --  Names of routines used in the expansion of Abort, attributes 'Callable
185    --  and 'Terminated for task interface class-wide types.
186
187    Name_uDisp_Get_Task_Id              : constant Name_Id := N + 036;
188
189    --  Names of routines in Ada.Finalization, needed by expander
190
191    Name_Initialize                     : constant Name_Id := N + 037;
192    Name_Adjust                         : constant Name_Id := N + 038;
193    Name_Finalize                       : constant Name_Id := N + 039;
194
195    --  Names of fields declared in System.Finalization_Implementation,
196    --  needed by the expander when generating code for finalization.
197
198    Name_Next                           : constant Name_Id := N + 040;
199    Name_Prev                           : constant Name_Id := N + 041;
200
201    --  Names of TSS routines for implementation of DSA over PolyORB
202
203    Name_uTypeCode                      : constant Name_Id := N + 042;
204    Name_uFrom_Any                      : constant Name_Id := N + 043;
205    Name_uTo_Any                        : constant Name_Id := N + 044;
206
207    --  Names of allocation routines, also needed by expander
208
209    Name_Allocate                       : constant Name_Id := N + 045;
210    Name_Deallocate                     : constant Name_Id := N + 046;
211    Name_Dereference                    : constant Name_Id := N + 047;
212
213    --  Names of Text_IO generic subpackages (see Rtsfind.Text_IO_Kludge)
214
215    First_Text_IO_Package               : constant Name_Id := N + 048;
216    Name_Decimal_IO                     : constant Name_Id := N + 048;
217    Name_Enumeration_IO                 : constant Name_Id := N + 049;
218    Name_Fixed_IO                       : constant Name_Id := N + 050;
219    Name_Float_IO                       : constant Name_Id := N + 051;
220    Name_Integer_IO                     : constant Name_Id := N + 052;
221    Name_Modular_IO                     : constant Name_Id := N + 053;
222    Last_Text_IO_Package                : constant Name_Id := N + 053;
223
224    subtype Text_IO_Package_Name is Name_Id
225      range First_Text_IO_Package .. Last_Text_IO_Package;
226
227    --  Some miscellaneous names used for error detection/recovery
228
229    Name_Const                          : constant Name_Id := N + 054;
230    Name_Error                          : constant Name_Id := N + 055;
231    Name_Go                             : constant Name_Id := N + 056;
232    Name_Put                            : constant Name_Id := N + 057;
233    Name_Put_Line                       : constant Name_Id := N + 058;
234    Name_To                             : constant Name_Id := N + 059;
235
236    --  Names for packages that are treated specially by the compiler
237
238    Name_Exception_Traces               : constant Name_Id := N + 060;
239    Name_Finalization                   : constant Name_Id := N + 061;
240    Name_Finalization_Root              : constant Name_Id := N + 062;
241    Name_Interfaces                     : constant Name_Id := N + 063;
242    Name_Most_Recent_Exception          : constant Name_Id := N + 064;
243    Name_Standard                       : constant Name_Id := N + 065;
244    Name_System                         : constant Name_Id := N + 066;
245    Name_Text_IO                        : constant Name_Id := N + 067;
246    Name_Wide_Text_IO                   : constant Name_Id := N + 068;
247    Name_Wide_Wide_Text_IO              : constant Name_Id := N + 069;
248
249    --  Names of implementations of the distributed systems annex
250
251    First_PCS_Name                      : constant Name_Id := N + 070;
252    Name_No_DSA                         : constant Name_Id := N + 070;
253    Name_GARLIC_DSA                     : constant Name_Id := N + 071;
254    Name_PolyORB_DSA                    : constant Name_Id := N + 072;
255    Last_PCS_Name                       : constant Name_Id := N + 072;
256
257    subtype PCS_Names is Name_Id
258      range First_PCS_Name .. Last_PCS_Name;
259
260    --  Names of identifiers used in expanding distribution stubs
261
262    Name_Addr                           : constant Name_Id := N + 073;
263    Name_Async                          : constant Name_Id := N + 074;
264    Name_Get_Active_Partition_ID        : constant Name_Id := N + 075;
265    Name_Get_RCI_Package_Receiver       : constant Name_Id := N + 076;
266    Name_Get_RCI_Package_Ref            : constant Name_Id := N + 077;
267    Name_Origin                         : constant Name_Id := N + 078;
268    Name_Params                         : constant Name_Id := N + 079;
269    Name_Partition                      : constant Name_Id := N + 080;
270    Name_Partition_Interface            : constant Name_Id := N + 081;
271    Name_Ras                            : constant Name_Id := N + 082;
272    Name_uCall                          : constant Name_Id := N + 083;
273    Name_RCI_Name                       : constant Name_Id := N + 084;
274    Name_Receiver                       : constant Name_Id := N + 085;
275    Name_Result                         : constant Name_Id := N + 086;
276    Name_Rpc                            : constant Name_Id := N + 087;
277    Name_Subp_Id                        : constant Name_Id := N + 088;
278    Name_Operation                      : constant Name_Id := N + 089;
279    Name_Argument                       : constant Name_Id := N + 090;
280    Name_Arg_Modes                      : constant Name_Id := N + 091;
281    Name_Handler                        : constant Name_Id := N + 092;
282    Name_Target                         : constant Name_Id := N + 093;
283    Name_Req                            : constant Name_Id := N + 094;
284    Name_Obj_TypeCode                   : constant Name_Id := N + 095;
285    Name_Stub                           : constant Name_Id := N + 096;
286
287    --  Operator Symbol entries. The actual names have an upper case O at
288    --  the start in place of the Op_ prefix (e.g. the actual name that
289    --  corresponds to Name_Op_Abs is "Oabs".
290
291    First_Operator_Name                 : constant Name_Id := N + 097;
292    Name_Op_Abs                         : constant Name_Id := N + 097; -- "abs"
293    Name_Op_And                         : constant Name_Id := N + 098; -- "and"
294    Name_Op_Mod                         : constant Name_Id := N + 099; -- "mod"
295    Name_Op_Not                         : constant Name_Id := N + 100; -- "not"
296    Name_Op_Or                          : constant Name_Id := N + 101; -- "or"
297    Name_Op_Rem                         : constant Name_Id := N + 102; -- "rem"
298    Name_Op_Xor                         : constant Name_Id := N + 103; -- "xor"
299    Name_Op_Eq                          : constant Name_Id := N + 104; -- "="
300    Name_Op_Ne                          : constant Name_Id := N + 105; -- "/="
301    Name_Op_Lt                          : constant Name_Id := N + 106; -- "<"
302    Name_Op_Le                          : constant Name_Id := N + 107; -- "<="
303    Name_Op_Gt                          : constant Name_Id := N + 108; -- ">"
304    Name_Op_Ge                          : constant Name_Id := N + 109; -- ">="
305    Name_Op_Add                         : constant Name_Id := N + 110; -- "+"
306    Name_Op_Subtract                    : constant Name_Id := N + 111; -- "-"
307    Name_Op_Concat                      : constant Name_Id := N + 112; -- "&"
308    Name_Op_Multiply                    : constant Name_Id := N + 113; -- "*"
309    Name_Op_Divide                      : constant Name_Id := N + 114; -- "/"
310    Name_Op_Expon                       : constant Name_Id := N + 115; -- "**"
311    Last_Operator_Name                  : constant Name_Id := N + 115;
312
313    --  Names for all pragmas recognized by GNAT. The entries with the comment
314    --  "Ada 83" are pragmas that are defined in Ada 83, but not in Ada 95.
315    --  These pragmas are fully implemented in both Ada 83 and Ada 95 modes
316    --  in GNAT.
317
318    --  The entries marked GNAT are pragmas that are defined by GNAT
319    --  and implemented in both Ada 83 and Ada 95 modes. Full descriptions
320    --  of these implementation dependent pragmas may be found in the
321    --  appropriate section in unit Sem_Prag in file sem-prag.adb.
322
323    --  The entries marked Ada05 are technically implementation dependent
324    --  pragmas, but they correspond to standard proposals for Ada 2005.
325
326    --  The entries marked VMS are VMS specific pragmas that are recognized
327    --  only in OpenVMS versions of GNAT. They are ignored in other versions
328    --  with an appropriate warning.
329
330    --  The entries marked AAMP are AAMP specific pragmas that are recognized
331    --  only in GNAT for the AAMP. They are ignored in other versions with
332    --  appropriate warnings.
333
334    First_Pragma_Name                   : constant Name_Id := N + 116;
335
336    --  Configuration pragmas are grouped at start
337
338    Name_Ada_83                         : constant Name_Id := N + 116; -- GNAT
339    Name_Ada_95                         : constant Name_Id := N + 117; -- GNAT
340    Name_Ada_05                         : constant Name_Id := N + 118; -- GNAT
341    Name_Ada_2005                       : constant Name_Id := N + 119; -- GNAT
342    Name_Assertion_Policy               : constant Name_Id := N + 120; -- Ada 05
343    Name_C_Pass_By_Copy                 : constant Name_Id := N + 121; -- GNAT
344    Name_Check_Name                     : constant Name_Id := N + 122; -- GNAT
345    Name_Compile_Time_Error             : constant Name_Id := N + 123; -- GNAT
346    Name_Compile_Time_Warning           : constant Name_Id := N + 124; -- GNAT
347    Name_Compiler_Unit                  : constant Name_Id := N + 125; -- GNAT
348    Name_Component_Alignment            : constant Name_Id := N + 126; -- GNAT
349    Name_Convention_Identifier          : constant Name_Id := N + 127; -- GNAT
350    Name_Debug_Policy                   : constant Name_Id := N + 128; -- GNAT
351    Name_Detect_Blocking                : constant Name_Id := N + 129; -- Ada 05
352    Name_Discard_Names                  : constant Name_Id := N + 130;
353    Name_Elaboration_Checks             : constant Name_Id := N + 131; -- GNAT
354    Name_Eliminate                      : constant Name_Id := N + 132; -- GNAT
355    Name_Extend_System                  : constant Name_Id := N + 133; -- GNAT
356    Name_Extensions_Allowed             : constant Name_Id := N + 134; -- GNAT
357    Name_External_Name_Casing           : constant Name_Id := N + 135; -- GNAT
358    Name_Float_Representation           : constant Name_Id := N + 136; -- GNAT
359    Name_Implicit_Packing               : constant Name_Id := N + 137; -- GNAT
360    Name_Initialize_Scalars             : constant Name_Id := N + 138; -- GNAT
361    Name_Interrupt_State                : constant Name_Id := N + 139; -- GNAT
362    Name_License                        : constant Name_Id := N + 140; -- GNAT
363    Name_Locking_Policy                 : constant Name_Id := N + 141;
364    Name_Long_Float                     : constant Name_Id := N + 142; -- VMS
365    Name_No_Run_Time                    : constant Name_Id := N + 143; -- GNAT
366    Name_No_Strict_Aliasing             : constant Name_Id := N + 144; -- GNAT
367    Name_Normalize_Scalars              : constant Name_Id := N + 145;
368    Name_Polling                        : constant Name_Id := N + 146; -- GNAT
369    Name_Persistent_BSS                 : constant Name_Id := N + 147; -- GNAT
370    Name_Priority_Specific_Dispatching  : constant Name_Id := N + 148; -- Ada 05
371    Name_Profile                        : constant Name_Id := N + 149; -- Ada 05
372    Name_Profile_Warnings               : constant Name_Id := N + 150; -- GNAT
373    Name_Propagate_Exceptions           : constant Name_Id := N + 151; -- GNAT
374    Name_Queuing_Policy                 : constant Name_Id := N + 152;
375    Name_Ravenscar                      : constant Name_Id := N + 153; -- GNAT
376    Name_Restricted_Run_Time            : constant Name_Id := N + 154; -- GNAT
377    Name_Restrictions                   : constant Name_Id := N + 155;
378    Name_Restriction_Warnings           : constant Name_Id := N + 156; -- GNAT
379    Name_Reviewable                     : constant Name_Id := N + 157;
380    Name_Source_File_Name               : constant Name_Id := N + 158; -- GNAT
381    Name_Source_File_Name_Project       : constant Name_Id := N + 159; -- GNAT
382    Name_Style_Checks                   : constant Name_Id := N + 160; -- GNAT
383    Name_Suppress                       : constant Name_Id := N + 161;
384    Name_Suppress_Exception_Locations   : constant Name_Id := N + 162; -- GNAT
385    Name_Task_Dispatching_Policy        : constant Name_Id := N + 163;
386    Name_Universal_Data                 : constant Name_Id := N + 164; -- AAMP
387    Name_Unsuppress                     : constant Name_Id := N + 165; -- GNAT
388    Name_Use_VADS_Size                  : constant Name_Id := N + 166; -- GNAT
389    Name_Validity_Checks                : constant Name_Id := N + 167; -- GNAT
390    Name_Warnings                       : constant Name_Id := N + 168; -- GNAT
391    Name_Wide_Character_Encoding        : constant Name_Id := N + 169; -- GNAT
392    Last_Configuration_Pragma_Name      : constant Name_Id := N + 169;
393
394    --  Remaining pragma names
395
396    Name_Abort_Defer                    : constant Name_Id := N + 170; -- GNAT
397    Name_All_Calls_Remote               : constant Name_Id := N + 171;
398    Name_Annotate                       : constant Name_Id := N + 172; -- GNAT
399
400    --  Note: AST_Entry is not in this list because its name matches the
401    --  name of the corresponding attribute. However, it is included in the
402    --  definition of the type Pragma_Id, and the functions Get_Pragma_Id
403    --  and Check_Pragma_Id correctly recognize and process Name_AST_Entry.
404    --  AST_Entry is a VMS specific pragma.
405
406    Name_Assert                         : constant Name_Id := N + 173; -- Ada 05
407    Name_Asynchronous                   : constant Name_Id := N + 174;
408    Name_Atomic                         : constant Name_Id := N + 175;
409    Name_Atomic_Components              : constant Name_Id := N + 176;
410    Name_Attach_Handler                 : constant Name_Id := N + 177;
411    Name_CIL_Constructor                : constant Name_Id := N + 178; -- GNAT
412    Name_Comment                        : constant Name_Id := N + 179; -- GNAT
413    Name_Common_Object                  : constant Name_Id := N + 180; -- GNAT
414    Name_Complete_Representation        : constant Name_Id := N + 181; -- GNAT
415    Name_Complex_Representation         : constant Name_Id := N + 182; -- GNAT
416    Name_Controlled                     : constant Name_Id := N + 183;
417    Name_Convention                     : constant Name_Id := N + 184;
418    Name_CPP_Class                      : constant Name_Id := N + 185; -- GNAT
419    Name_CPP_Constructor                : constant Name_Id := N + 186; -- GNAT
420    Name_CPP_Virtual                    : constant Name_Id := N + 187; -- GNAT
421    Name_CPP_Vtable                     : constant Name_Id := N + 188; -- GNAT
422    Name_Debug                          : constant Name_Id := N + 189; -- GNAT
423    Name_Elaborate                      : constant Name_Id := N + 190; -- Ada 83
424    Name_Elaborate_All                  : constant Name_Id := N + 191;
425    Name_Elaborate_Body                 : constant Name_Id := N + 192;
426    Name_Export                         : constant Name_Id := N + 193;
427    Name_Export_Exception               : constant Name_Id := N + 194; -- VMS
428    Name_Export_Function                : constant Name_Id := N + 195; -- GNAT
429    Name_Export_Object                  : constant Name_Id := N + 196; -- GNAT
430    Name_Export_Procedure               : constant Name_Id := N + 197; -- GNAT
431    Name_Export_Value                   : constant Name_Id := N + 198; -- GNAT
432    Name_Export_Valued_Procedure        : constant Name_Id := N + 199; -- GNAT
433    Name_External                       : constant Name_Id := N + 200; -- GNAT
434    Name_Finalize_Storage_Only          : constant Name_Id := N + 201; -- GNAT
435    Name_Ident                          : constant Name_Id := N + 202; -- VMS
436    Name_Import                         : constant Name_Id := N + 203;
437    Name_Import_Exception               : constant Name_Id := N + 204; -- VMS
438    Name_Import_Function                : constant Name_Id := N + 205; -- GNAT
439    Name_Import_Object                  : constant Name_Id := N + 206; -- GNAT
440    Name_Import_Procedure               : constant Name_Id := N + 207; -- GNAT
441    Name_Import_Valued_Procedure        : constant Name_Id := N + 208; -- GNAT
442    Name_Inline                         : constant Name_Id := N + 209;
443    Name_Inline_Always                  : constant Name_Id := N + 210; -- GNAT
444    Name_Inline_Generic                 : constant Name_Id := N + 211; -- GNAT
445    Name_Inspection_Point               : constant Name_Id := N + 212;
446    Name_Interface_Name                 : constant Name_Id := N + 213; -- GNAT
447    Name_Interrupt_Handler              : constant Name_Id := N + 214;
448    Name_Interrupt_Priority             : constant Name_Id := N + 215;
449    Name_Java_Constructor               : constant Name_Id := N + 216; -- GNAT
450    Name_Java_Interface                 : constant Name_Id := N + 217; -- GNAT
451    Name_Keep_Names                     : constant Name_Id := N + 218; -- GNAT
452    Name_Link_With                      : constant Name_Id := N + 219; -- GNAT
453    Name_Linker_Alias                   : constant Name_Id := N + 220; -- GNAT
454    Name_Linker_Constructor             : constant Name_Id := N + 221; -- GNAT
455    Name_Linker_Destructor              : constant Name_Id := N + 222; -- GNAT
456    Name_Linker_Options                 : constant Name_Id := N + 223;
457    Name_Linker_Section                 : constant Name_Id := N + 224; -- GNAT
458    Name_List                           : constant Name_Id := N + 225;
459    Name_Machine_Attribute              : constant Name_Id := N + 226; -- GNAT
460    Name_Main                           : constant Name_Id := N + 227; -- GNAT
461    Name_Main_Storage                   : constant Name_Id := N + 228; -- GNAT
462    Name_Memory_Size                    : constant Name_Id := N + 229; -- Ada 83
463    Name_No_Body                        : constant Name_Id := N + 230; -- GNAT
464    Name_No_Return                      : constant Name_Id := N + 231; -- GNAT
465    Name_Obsolescent                    : constant Name_Id := N + 232; -- GNAT
466    Name_Optimize                       : constant Name_Id := N + 233;
467    Name_Pack                           : constant Name_Id := N + 234;
468    Name_Page                           : constant Name_Id := N + 235;
469    Name_Passive                        : constant Name_Id := N + 236; -- GNAT
470    Name_Preelaborable_Initialization   : constant Name_Id := N + 237; -- Ada 05
471    Name_Preelaborate                   : constant Name_Id := N + 238;
472    Name_Preelaborate_05                : constant Name_Id := N + 239; -- GNAT
473
474    --  Note: Priority is not in this list because its name matches the
475    --  name of the corresponding attribute. However, it is included in the
476    --  definition of the type Pragma_Id, and the functions Get_Pragma_Id
477    --  and Check_Pragma_Id correctly recognize and process Priority.
478    --  Priority is a standard Ada 95 pragma.
479
480    Name_Psect_Object                   : constant Name_Id := N + 240; -- VMS
481    Name_Pure                           : constant Name_Id := N + 241;
482    Name_Pure_05                        : constant Name_Id := N + 242; -- GNAT
483    Name_Pure_Function                  : constant Name_Id := N + 243; -- GNAT
484    Name_Remote_Call_Interface          : constant Name_Id := N + 244;
485    Name_Remote_Types                   : constant Name_Id := N + 245;
486    Name_Share_Generic                  : constant Name_Id := N + 246; -- GNAT
487    Name_Shared                         : constant Name_Id := N + 247; -- Ada 83
488    Name_Shared_Passive                 : constant Name_Id := N + 248;
489
490    --  Note: Storage_Size is not in this list because its name matches the
491    --  name of the corresponding attribute. However, it is included in the
492    --  definition of the type Attribute_Id, and the functions Get_Pragma_Id
493    --  and Check_Pragma_Id correctly recognize and process Name_Storage_Size.
494
495    --  Note: Storage_Unit is also omitted from the list because of a clash
496    --  with an attribute name, and is treated similarly.
497
498    Name_Source_Reference               : constant Name_Id := N + 249; -- GNAT
499    Name_Static_Elaboration_Desired     : constant Name_Id := N + 250; -- GNAT
500    Name_Stream_Convert                 : constant Name_Id := N + 251; -- GNAT
501    Name_Subtitle                       : constant Name_Id := N + 252; -- GNAT
502    Name_Suppress_All                   : constant Name_Id := N + 253; -- GNAT
503    Name_Suppress_Debug_Info            : constant Name_Id := N + 254; -- GNAT
504    Name_Suppress_Initialization        : constant Name_Id := N + 255; -- GNAT
505    Name_System_Name                    : constant Name_Id := N + 256; -- Ada 83
506    Name_Task_Info                      : constant Name_Id := N + 257; -- GNAT
507    Name_Task_Name                      : constant Name_Id := N + 258; -- GNAT
508    Name_Task_Storage                   : constant Name_Id := N + 259; -- VMS
509    Name_Time_Slice                     : constant Name_Id := N + 260; -- GNAT
510    Name_Title                          : constant Name_Id := N + 261; -- GNAT
511    Name_Unchecked_Union                : constant Name_Id := N + 262; -- GNAT
512    Name_Unimplemented_Unit             : constant Name_Id := N + 263; -- GNAT
513    Name_Universal_Aliasing             : constant Name_Id := N + 264; -- GNAT
514    Name_Unreferenced                   : constant Name_Id := N + 265; -- GNAT
515    Name_Unreferenced_Objects           : constant Name_Id := N + 266; -- GNAT
516    Name_Unreserve_All_Interrupts       : constant Name_Id := N + 267; -- GNAT
517    Name_Volatile                       : constant Name_Id := N + 268;
518    Name_Volatile_Components            : constant Name_Id := N + 269;
519    Name_Weak_External                  : constant Name_Id := N + 270; -- GNAT
520    Last_Pragma_Name                    : constant Name_Id := N + 270;
521
522    --  Language convention names for pragma Convention/Export/Import/Interface
523    --  Note that Name_C is not included in this list, since it was already
524    --  declared earlier in the context of one-character identifier names
525    --  (where the order is critical to the fast look up process).
526
527    --  Note: there are no convention names corresponding to the conventions
528    --  Entry and Protected, this is because these conventions cannot be
529    --  specified by a pragma.
530
531    First_Convention_Name               : constant Name_Id := N + 271;
532    Name_Ada                            : constant Name_Id := N + 271;
533    Name_Assembler                      : constant Name_Id := N + 272;
534    Name_CIL                            : constant Name_Id := N + 273;
535    Name_COBOL                          : constant Name_Id := N + 274;
536    Name_CPP                            : constant Name_Id := N + 275;
537    Name_Fortran                        : constant Name_Id := N + 276;
538    Name_Intrinsic                      : constant Name_Id := N + 277;
539    Name_Java                           : constant Name_Id := N + 278;
540    Name_Stdcall                        : constant Name_Id := N + 279;
541    Name_Stubbed                        : constant Name_Id := N + 280;
542    Last_Convention_Name                : constant Name_Id := N + 280;
543
544    --  The following names are preset as synonyms for Assembler
545
546    Name_Asm                            : constant Name_Id := N + 281;
547    Name_Assembly                       : constant Name_Id := N + 282;
548
549    --  The following names are preset as synonyms for C
550
551    Name_Default                        : constant Name_Id := N + 283;
552    --  Name_Exernal (previously defined as pragma)
553
554    --  The following names are preset as synonyms for CPP
555
556    Name_C_Plus_Plus                    : constant Name_Id := N + 284;
557
558    --  The following names are present as synonyms for Stdcall
559
560    Name_DLL                            : constant Name_Id := N + 285;
561    Name_Win32                          : constant Name_Id := N + 286;
562
563    --  Other special names used in processing pragmas
564
565    Name_As_Is                          : constant Name_Id := N + 287;
566    Name_Attribute_Name                 : constant Name_Id := N + 288;
567    Name_Body_File_Name                 : constant Name_Id := N + 289;
568    Name_Boolean_Entry_Barriers         : constant Name_Id := N + 290;
569    Name_Check                          : constant Name_Id := N + 291;
570    Name_Casing                         : constant Name_Id := N + 292;
571    Name_Code                           : constant Name_Id := N + 293;
572    Name_Component                      : constant Name_Id := N + 294;
573    Name_Component_Size_4               : constant Name_Id := N + 295;
574    Name_Copy                           : constant Name_Id := N + 296;
575    Name_D_Float                        : constant Name_Id := N + 297;
576    Name_Descriptor                     : constant Name_Id := N + 298;
577    Name_Dot_Replacement                : constant Name_Id := N + 299;
578    Name_Dynamic                        : constant Name_Id := N + 300;
579    Name_Entity                         : constant Name_Id := N + 301;
580    Name_Entry_Count                    : constant Name_Id := N + 302;
581    Name_External_Name                  : constant Name_Id := N + 303;
582    Name_First_Optional_Parameter       : constant Name_Id := N + 304;
583    Name_Form                           : constant Name_Id := N + 305;
584    Name_G_Float                        : constant Name_Id := N + 306;
585    Name_Gcc                            : constant Name_Id := N + 307;
586    Name_Gnat                           : constant Name_Id := N + 308;
587    Name_GPL                            : constant Name_Id := N + 309;
588    Name_IEEE_Float                     : constant Name_Id := N + 310;
589    Name_Ignore                         : constant Name_Id := N + 311;
590    Name_Info                           : constant Name_Id := N + 312;
591    Name_Internal                       : constant Name_Id := N + 313;
592    Name_Link_Name                      : constant Name_Id := N + 314;
593    Name_Lowercase                      : constant Name_Id := N + 315;
594    Name_Max_Entry_Queue_Depth          : constant Name_Id := N + 316;
595    Name_Max_Entry_Queue_Length         : constant Name_Id := N + 317;
596    Name_Max_Size                       : constant Name_Id := N + 318;
597    Name_Mechanism                      : constant Name_Id := N + 319;
598    Name_Message                        : constant Name_Id := N + 320;
599    Name_Mixedcase                      : constant Name_Id := N + 321;
600    Name_Modified_GPL                   : constant Name_Id := N + 322;
601    Name_Name                           : constant Name_Id := N + 323;
602    Name_NCA                            : constant Name_Id := N + 324;
603    Name_No                             : constant Name_Id := N + 325;
604    Name_No_Dependence                  : constant Name_Id := N + 326;
605    Name_No_Dynamic_Attachment          : constant Name_Id := N + 327;
606    Name_No_Dynamic_Interrupts          : constant Name_Id := N + 328;
607    Name_No_Requeue                     : constant Name_Id := N + 329;
608    Name_No_Requeue_Statements          : constant Name_Id := N + 330;
609    Name_No_Task_Attributes             : constant Name_Id := N + 331;
610    Name_No_Task_Attributes_Package     : constant Name_Id := N + 332;
611    Name_On                             : constant Name_Id := N + 333;
612    Name_Parameter_Types                : constant Name_Id := N + 334;
613    Name_Reference                      : constant Name_Id := N + 335;
614    Name_Restricted                     : constant Name_Id := N + 336;
615    Name_Result_Mechanism               : constant Name_Id := N + 337;
616    Name_Result_Type                    : constant Name_Id := N + 338;
617    Name_Runtime                        : constant Name_Id := N + 339;
618    Name_SB                             : constant Name_Id := N + 340;
619    Name_Secondary_Stack_Size           : constant Name_Id := N + 341;
620    Name_Section                        : constant Name_Id := N + 342;
621    Name_Semaphore                      : constant Name_Id := N + 343;
622    Name_Simple_Barriers                : constant Name_Id := N + 344;
623    Name_Spec_File_Name                 : constant Name_Id := N + 345;
624    Name_State                          : constant Name_Id := N + 346;
625    Name_Static                         : constant Name_Id := N + 347;
626    Name_Stack_Size                     : constant Name_Id := N + 348;
627    Name_Subunit_File_Name              : constant Name_Id := N + 349;
628    Name_Task_Stack_Size_Default        : constant Name_Id := N + 350;
629    Name_Task_Type                      : constant Name_Id := N + 351;
630    Name_Time_Slicing_Enabled           : constant Name_Id := N + 352;
631    Name_Top_Guard                      : constant Name_Id := N + 353;
632    Name_UBA                            : constant Name_Id := N + 354;
633    Name_UBS                            : constant Name_Id := N + 355;
634    Name_UBSB                           : constant Name_Id := N + 356;
635    Name_Unit_Name                      : constant Name_Id := N + 357;
636    Name_Unknown                        : constant Name_Id := N + 358;
637    Name_Unrestricted                   : constant Name_Id := N + 359;
638    Name_Uppercase                      : constant Name_Id := N + 360;
639    Name_User                           : constant Name_Id := N + 361;
640    Name_VAX_Float                      : constant Name_Id := N + 362;
641    Name_VMS                            : constant Name_Id := N + 363;
642    Name_Vtable_Ptr                     : constant Name_Id := N + 364;
643    Name_Working_Storage                : constant Name_Id := N + 365;
644
645    --  Names of recognized attributes. The entries with the comment "Ada 83"
646    --  are attributes that are defined in Ada 83, but not in Ada 95. These
647    --  attributes are implemented in both Ada 83 and Ada 95 modes in GNAT.
648
649    --  The entries marked GNAT are attributes that are defined by GNAT
650    --  and implemented in both Ada 83 and Ada 95 modes. Full descriptions
651    --  of these implementation dependent attributes may be found in the
652    --  appropriate section in package Sem_Attr in file sem-attr.ads.
653
654    --  The entries marked VMS are recognized only in OpenVMS implementations
655    --  of GNAT, and are treated as illegal in all other contexts.
656
657    First_Attribute_Name                : constant Name_Id := N + 366;
658    Name_Abort_Signal                   : constant Name_Id := N + 366; -- GNAT
659    Name_Access                         : constant Name_Id := N + 367;
660    Name_Address                        : constant Name_Id := N + 368;
661    Name_Address_Size                   : constant Name_Id := N + 369; -- GNAT
662    Name_Aft                            : constant Name_Id := N + 370;
663    Name_Alignment                      : constant Name_Id := N + 371;
664    Name_Asm_Input                      : constant Name_Id := N + 372; -- GNAT
665    Name_Asm_Output                     : constant Name_Id := N + 373; -- GNAT
666    Name_AST_Entry                      : constant Name_Id := N + 374; -- VMS
667    Name_Bit                            : constant Name_Id := N + 375; -- GNAT
668    Name_Bit_Order                      : constant Name_Id := N + 376;
669    Name_Bit_Position                   : constant Name_Id := N + 377; -- GNAT
670    Name_Body_Version                   : constant Name_Id := N + 378;
671    Name_Callable                       : constant Name_Id := N + 379;
672    Name_Caller                         : constant Name_Id := N + 380;
673    Name_Code_Address                   : constant Name_Id := N + 381; -- GNAT
674    Name_Component_Size                 : constant Name_Id := N + 382;
675    Name_Compose                        : constant Name_Id := N + 383;
676    Name_Constrained                    : constant Name_Id := N + 384;
677    Name_Count                          : constant Name_Id := N + 385;
678    Name_Default_Bit_Order              : constant Name_Id := N + 386; -- GNAT
679    Name_Definite                       : constant Name_Id := N + 387;
680    Name_Delta                          : constant Name_Id := N + 388;
681    Name_Denorm                         : constant Name_Id := N + 389;
682    Name_Digits                         : constant Name_Id := N + 390;
683    Name_Elaborated                     : constant Name_Id := N + 391; -- GNAT
684    Name_Emax                           : constant Name_Id := N + 392; -- Ada 83
685    Name_Enabled                        : constant Name_Id := N + 393; -- GNAT
686    Name_Enum_Rep                       : constant Name_Id := N + 394; -- GNAT
687    Name_Epsilon                        : constant Name_Id := N + 395; -- Ada 83
688    Name_Exponent                       : constant Name_Id := N + 396;
689    Name_External_Tag                   : constant Name_Id := N + 397;
690    Name_First                          : constant Name_Id := N + 398;
691    Name_First_Bit                      : constant Name_Id := N + 399;
692    Name_Fixed_Value                    : constant Name_Id := N + 400; -- GNAT
693    Name_Fore                           : constant Name_Id := N + 401;
694    Name_Has_Access_Values              : constant Name_Id := N + 402; -- GNAT
695    Name_Has_Discriminants              : constant Name_Id := N + 403; -- GNAT
696    Name_Identity                       : constant Name_Id := N + 404;
697    Name_Img                            : constant Name_Id := N + 405; -- GNAT
698    Name_Integer_Value                  : constant Name_Id := N + 406; -- GNAT
699    Name_Large                          : constant Name_Id := N + 407; -- Ada 83
700    Name_Last                           : constant Name_Id := N + 408;
701    Name_Last_Bit                       : constant Name_Id := N + 409;
702    Name_Leading_Part                   : constant Name_Id := N + 410;
703    Name_Length                         : constant Name_Id := N + 411;
704    Name_Machine_Emax                   : constant Name_Id := N + 412;
705    Name_Machine_Emin                   : constant Name_Id := N + 413;
706    Name_Machine_Mantissa               : constant Name_Id := N + 414;
707    Name_Machine_Overflows              : constant Name_Id := N + 415;
708    Name_Machine_Radix                  : constant Name_Id := N + 416;
709    Name_Machine_Rounding               : constant Name_Id := N + 417; -- Ada 05
710    Name_Machine_Rounds                 : constant Name_Id := N + 418;
711    Name_Machine_Size                   : constant Name_Id := N + 419; -- GNAT
712    Name_Mantissa                       : constant Name_Id := N + 420; -- Ada 83
713    Name_Max_Size_In_Storage_Elements   : constant Name_Id := N + 421;
714    Name_Maximum_Alignment              : constant Name_Id := N + 422; -- GNAT
715    Name_Mechanism_Code                 : constant Name_Id := N + 423; -- GNAT
716    Name_Mod                            : constant Name_Id := N + 424; -- Ada 05
717    Name_Model_Emin                     : constant Name_Id := N + 425;
718    Name_Model_Epsilon                  : constant Name_Id := N + 426;
719    Name_Model_Mantissa                 : constant Name_Id := N + 427;
720    Name_Model_Small                    : constant Name_Id := N + 428;
721    Name_Modulus                        : constant Name_Id := N + 429;
722    Name_Null_Parameter                 : constant Name_Id := N + 430; -- GNAT
723    Name_Object_Size                    : constant Name_Id := N + 431; -- GNAT
724    Name_Partition_ID                   : constant Name_Id := N + 432;
725    Name_Passed_By_Reference            : constant Name_Id := N + 433; -- GNAT
726    Name_Pool_Address                   : constant Name_Id := N + 434;
727    Name_Pos                            : constant Name_Id := N + 435;
728    Name_Position                       : constant Name_Id := N + 436;
729    Name_Priority                       : constant Name_Id := N + 437; -- Ada 05
730    Name_Range                          : constant Name_Id := N + 438;
731    Name_Range_Length                   : constant Name_Id := N + 439; -- GNAT
732    Name_Round                          : constant Name_Id := N + 440;
733    Name_Safe_Emax                      : constant Name_Id := N + 441; -- Ada 83
734    Name_Safe_First                     : constant Name_Id := N + 442;
735    Name_Safe_Large                     : constant Name_Id := N + 443; -- Ada 83
736    Name_Safe_Last                      : constant Name_Id := N + 444;
737    Name_Safe_Small                     : constant Name_Id := N + 445; -- Ada 83
738    Name_Scale                          : constant Name_Id := N + 446;
739    Name_Scaling                        : constant Name_Id := N + 447;
740    Name_Signed_Zeros                   : constant Name_Id := N + 448;
741    Name_Size                           : constant Name_Id := N + 449;
742    Name_Small                          : constant Name_Id := N + 450;
743    Name_Storage_Size                   : constant Name_Id := N + 451;
744    Name_Storage_Unit                   : constant Name_Id := N + 452; -- GNAT
745    Name_Stream_Size                    : constant Name_Id := N + 453; -- Ada 05
746    Name_Tag                            : constant Name_Id := N + 454;
747    Name_Target_Name                    : constant Name_Id := N + 455; -- GNAT
748    Name_Terminated                     : constant Name_Id := N + 456;
749    Name_To_Address                     : constant Name_Id := N + 457; -- GNAT
750    Name_Type_Class                     : constant Name_Id := N + 458; -- GNAT
751    Name_UET_Address                    : constant Name_Id := N + 459; -- GNAT
752    Name_Unbiased_Rounding              : constant Name_Id := N + 460;
753    Name_Unchecked_Access               : constant Name_Id := N + 461;
754    Name_Unconstrained_Array            : constant Name_Id := N + 462;
755    Name_Universal_Literal_String       : constant Name_Id := N + 463; -- GNAT
756    Name_Unrestricted_Access            : constant Name_Id := N + 464; -- GNAT
757    Name_VADS_Size                      : constant Name_Id := N + 465; -- GNAT
758    Name_Val                            : constant Name_Id := N + 466;
759    Name_Valid                          : constant Name_Id := N + 467;
760    Name_Value_Size                     : constant Name_Id := N + 468; -- GNAT
761    Name_Version                        : constant Name_Id := N + 469;
762    Name_Wchar_T_Size                   : constant Name_Id := N + 470; -- GNAT
763    Name_Wide_Wide_Width                : constant Name_Id := N + 471; -- Ada 05
764    Name_Wide_Width                     : constant Name_Id := N + 472;
765    Name_Width                          : constant Name_Id := N + 473;
766    Name_Word_Size                      : constant Name_Id := N + 474; -- GNAT
767
768    --  Attributes that designate attributes returning renamable functions,
769    --  i.e. functions that return other than a universal value and that
770    --  have non-universal arguments.
771
772    First_Renamable_Function_Attribute  : constant Name_Id := N + 475;
773    Name_Adjacent                       : constant Name_Id := N + 475;
774    Name_Ceiling                        : constant Name_Id := N + 476;
775    Name_Copy_Sign                      : constant Name_Id := N + 477;
776    Name_Floor                          : constant Name_Id := N + 478;
777    Name_Fraction                       : constant Name_Id := N + 479;
778    Name_Image                          : constant Name_Id := N + 480;
779    Name_Input                          : constant Name_Id := N + 481;
780    Name_Machine                        : constant Name_Id := N + 482;
781    Name_Max                            : constant Name_Id := N + 483;
782    Name_Min                            : constant Name_Id := N + 484;
783    Name_Model                          : constant Name_Id := N + 485;
784    Name_Pred                           : constant Name_Id := N + 486;
785    Name_Remainder                      : constant Name_Id := N + 487;
786    Name_Rounding                       : constant Name_Id := N + 488;
787    Name_Succ                           : constant Name_Id := N + 489;
788    Name_Truncation                     : constant Name_Id := N + 490;
789    Name_Value                          : constant Name_Id := N + 491;
790    Name_Wide_Image                     : constant Name_Id := N + 492;
791    Name_Wide_Wide_Image                : constant Name_Id := N + 493;
792    Name_Wide_Value                     : constant Name_Id := N + 494;
793    Name_Wide_Wide_Value                : constant Name_Id := N + 495;
794    Last_Renamable_Function_Attribute   : constant Name_Id := N + 495;
795
796    --  Attributes that designate procedures
797
798    First_Procedure_Attribute           : constant Name_Id := N + 496;
799    Name_Output                         : constant Name_Id := N + 496;
800    Name_Read                           : constant Name_Id := N + 497;
801    Name_Write                          : constant Name_Id := N + 498;
802    Last_Procedure_Attribute            : constant Name_Id := N + 498;
803
804    --  Remaining attributes are ones that return entities
805
806    First_Entity_Attribute_Name         : constant Name_Id := N + 499;
807    Name_Elab_Body                      : constant Name_Id := N + 499; -- GNAT
808    Name_Elab_Spec                      : constant Name_Id := N + 500; -- GNAT
809    Name_Storage_Pool                   : constant Name_Id := N + 501;
810
811    --  These attributes are the ones that return types
812
813    First_Type_Attribute_Name           : constant Name_Id := N + 502;
814    Name_Base                           : constant Name_Id := N + 502;
815    Name_Class                          : constant Name_Id := N + 503;
816    Name_Stub_Type                      : constant Name_Id := N + 504;
817    Last_Type_Attribute_Name            : constant Name_Id := N + 504;
818    Last_Entity_Attribute_Name          : constant Name_Id := N + 504;
819    Last_Attribute_Name                 : constant Name_Id := N + 504;
820
821    --  Names of recognized locking policy identifiers
822
823    --  Note: policies are identified by the first character of the
824    --  name (e.g. C for Ceiling_Locking). If new policy names are added,
825    --  the first character must be distinct.
826
827    First_Locking_Policy_Name           : constant Name_Id := N + 505;
828    Name_Ceiling_Locking                : constant Name_Id := N + 505;
829    Name_Inheritance_Locking            : constant Name_Id := N + 506;
830    Last_Locking_Policy_Name            : constant Name_Id := N + 506;
831
832    --  Names of recognized queuing policy identifiers
833
834    --  Note: policies are identified by the first character of the
835    --  name (e.g. F for FIFO_Queuing). If new policy names are added,
836    --  the first character must be distinct.
837
838    First_Queuing_Policy_Name           : constant Name_Id := N + 507;
839    Name_FIFO_Queuing                   : constant Name_Id := N + 507;
840    Name_Priority_Queuing               : constant Name_Id := N + 508;
841    Last_Queuing_Policy_Name            : constant Name_Id := N + 508;
842
843    --  Names of recognized task dispatching policy identifiers
844
845    --  Note: policies are identified by the first character of the
846    --  name (e.g. F for FIFO_Within_Priorities). If new policy names
847    --  are added, the first character must be distinct.
848
849    First_Task_Dispatching_Policy_Name  : constant Name_Id := N + 509;
850    Name_EDF_Across_Priorities          : constant Name_Id := N + 509;
851    Name_FIFO_Within_Priorities         : constant Name_Id := N + 510;
852    Name_Non_Preemptive_Within_Priorities : constant Name_Id := N + 511;
853    Name_Round_Robin_Within_Priorities  : constant Name_Id := N + 512;
854    Last_Task_Dispatching_Policy_Name   : constant Name_Id := N + 512;
855
856    --  Names of recognized checks for pragma Suppress
857
858    First_Check_Name                    : constant Name_Id := N + 513;
859    Name_Access_Check                   : constant Name_Id := N + 513;
860    Name_Accessibility_Check            : constant Name_Id := N + 514;
861    Name_Alignment_Check                : constant Name_Id := N + 515; -- GNAT
862    Name_Discriminant_Check             : constant Name_Id := N + 516;
863    Name_Division_Check                 : constant Name_Id := N + 517;
864    Name_Elaboration_Check              : constant Name_Id := N + 518;
865    Name_Index_Check                    : constant Name_Id := N + 519;
866    Name_Length_Check                   : constant Name_Id := N + 520;
867    Name_Overflow_Check                 : constant Name_Id := N + 521;
868    Name_Range_Check                    : constant Name_Id := N + 522;
869    Name_Storage_Check                  : constant Name_Id := N + 523;
870    Name_Tag_Check                      : constant Name_Id := N + 524;
871    Name_Validity_Check                 : constant Name_Id := N + 525; -- GNAT
872    Name_All_Checks                     : constant Name_Id := N + 526;
873    Last_Check_Name                     : constant Name_Id := N + 526;
874
875    --  Names corresponding to reserved keywords, excluding those already
876    --  declared in the attribute list (Access, Delta, Digits, Mod, Range).
877
878    Name_Abort                          : constant Name_Id := N + 527;
879    Name_Abs                            : constant Name_Id := N + 528;
880    Name_Accept                         : constant Name_Id := N + 529;
881    Name_And                            : constant Name_Id := N + 530;
882    Name_All                            : constant Name_Id := N + 531;
883    Name_Array                          : constant Name_Id := N + 532;
884    Name_At                             : constant Name_Id := N + 533;
885    Name_Begin                          : constant Name_Id := N + 534;
886    Name_Body                           : constant Name_Id := N + 535;
887    Name_Case                           : constant Name_Id := N + 536;
888    Name_Constant                       : constant Name_Id := N + 537;
889    Name_Declare                        : constant Name_Id := N + 538;
890    Name_Delay                          : constant Name_Id := N + 539;
891    Name_Do                             : constant Name_Id := N + 540;
892    Name_Else                           : constant Name_Id := N + 541;
893    Name_Elsif                          : constant Name_Id := N + 542;
894    Name_End                            : constant Name_Id := N + 543;
895    Name_Entry                          : constant Name_Id := N + 544;
896    Name_Exception                      : constant Name_Id := N + 545;
897    Name_Exit                           : constant Name_Id := N + 546;
898    Name_For                            : constant Name_Id := N + 547;
899    Name_Function                       : constant Name_Id := N + 548;
900    Name_Generic                        : constant Name_Id := N + 549;
901    Name_Goto                           : constant Name_Id := N + 550;
902    Name_If                             : constant Name_Id := N + 551;
903    Name_In                             : constant Name_Id := N + 552;
904    Name_Is                             : constant Name_Id := N + 553;
905    Name_Limited                        : constant Name_Id := N + 554;
906    Name_Loop                           : constant Name_Id := N + 555;
907    Name_New                            : constant Name_Id := N + 556;
908    Name_Not                            : constant Name_Id := N + 557;
909    Name_Null                           : constant Name_Id := N + 558;
910    Name_Of                             : constant Name_Id := N + 559;
911    Name_Or                             : constant Name_Id := N + 560;
912    Name_Others                         : constant Name_Id := N + 561;
913    Name_Out                            : constant Name_Id := N + 562;
914    Name_Package                        : constant Name_Id := N + 563;
915    Name_Pragma                         : constant Name_Id := N + 564;
916    Name_Private                        : constant Name_Id := N + 565;
917    Name_Procedure                      : constant Name_Id := N + 566;
918    Name_Raise                          : constant Name_Id := N + 567;
919    Name_Record                         : constant Name_Id := N + 568;
920    Name_Rem                            : constant Name_Id := N + 569;
921    Name_Renames                        : constant Name_Id := N + 570;
922    Name_Return                         : constant Name_Id := N + 571;
923    Name_Reverse                        : constant Name_Id := N + 572;
924    Name_Select                         : constant Name_Id := N + 573;
925    Name_Separate                       : constant Name_Id := N + 574;
926    Name_Subtype                        : constant Name_Id := N + 575;
927    Name_Task                           : constant Name_Id := N + 576;
928    Name_Terminate                      : constant Name_Id := N + 577;
929    Name_Then                           : constant Name_Id := N + 578;
930    Name_Type                           : constant Name_Id := N + 579;
931    Name_Use                            : constant Name_Id := N + 580;
932    Name_When                           : constant Name_Id := N + 581;
933    Name_While                          : constant Name_Id := N + 582;
934    Name_With                           : constant Name_Id := N + 583;
935    Name_Xor                            : constant Name_Id := N + 584;
936
937    --  Names of intrinsic subprograms
938
939    --  Note: Asm is missing from this list, since Asm is a legitimate
940    --  convention name. So is To_Adress, which is a GNAT attribute.
941
942    First_Intrinsic_Name                 : constant Name_Id := N + 585;
943    Name_Divide                          : constant Name_Id := N + 585;
944    Name_Enclosing_Entity                : constant Name_Id := N + 586;
945    Name_Exception_Information           : constant Name_Id := N + 587;
946    Name_Exception_Message               : constant Name_Id := N + 588;
947    Name_Exception_Name                  : constant Name_Id := N + 589;
948    Name_File                            : constant Name_Id := N + 590;
949    Name_Generic_Dispatching_Constructor : constant Name_Id := N + 591;
950    Name_Import_Address                  : constant Name_Id := N + 592;
951    Name_Import_Largest_Value            : constant Name_Id := N + 593;
952    Name_Import_Value                    : constant Name_Id := N + 594;
953    Name_Is_Negative                     : constant Name_Id := N + 595;
954    Name_Line                            : constant Name_Id := N + 596;
955    Name_Rotate_Left                     : constant Name_Id := N + 597;
956    Name_Rotate_Right                    : constant Name_Id := N + 598;
957    Name_Shift_Left                      : constant Name_Id := N + 599;
958    Name_Shift_Right                     : constant Name_Id := N + 600;
959    Name_Shift_Right_Arithmetic          : constant Name_Id := N + 601;
960    Name_Source_Location                 : constant Name_Id := N + 602;
961    Name_Unchecked_Conversion            : constant Name_Id := N + 603;
962    Name_Unchecked_Deallocation          : constant Name_Id := N + 604;
963    Name_To_Pointer                      : constant Name_Id := N + 605;
964    Last_Intrinsic_Name                  : constant Name_Id := N + 605;
965
966    --  Names used in processing intrinsic calls
967
968    Name_Free                           : constant Name_Id := N + 606;
969
970    --  Reserved words used only in Ada 95
971
972    First_95_Reserved_Word              : constant Name_Id := N + 607;
973    Name_Abstract                       : constant Name_Id := N + 607;
974    Name_Aliased                        : constant Name_Id := N + 608;
975    Name_Protected                      : constant Name_Id := N + 609;
976    Name_Until                          : constant Name_Id := N + 610;
977    Name_Requeue                        : constant Name_Id := N + 611;
978    Name_Tagged                         : constant Name_Id := N + 612;
979    Last_95_Reserved_Word               : constant Name_Id := N + 612;
980
981    subtype Ada_95_Reserved_Words is
982      Name_Id range First_95_Reserved_Word .. Last_95_Reserved_Word;
983
984    --  Miscellaneous names used in semantic checking
985
986    Name_Raise_Exception                : constant Name_Id := N + 613;
987
988    --  Additional reserved words and identifiers used in GNAT Project Files
989    --  Note that Name_External is already previously declared
990
991    Name_Ada_Roots                      : constant Name_Id := N + 614;
992    Name_Archive_Builder                : constant Name_Id := N + 615;
993    Name_Archive_Indexer                : constant Name_Id := N + 616;
994    Name_Archive_Suffix                 : constant Name_Id := N + 617;
995    Name_Binder                         : constant Name_Id := N + 618;
996    Name_Binder_Prefix                  : constant Name_Id := N + 619;
997    Name_Body_Suffix                    : constant Name_Id := N + 620;
998    Name_Builder                        : constant Name_Id := N + 621;
999    Name_Builder_Switches               : constant Name_Id := N + 622;
1000    Name_Compiler                       : constant Name_Id := N + 623;
1001    Name_Compiler_Kind                  : constant Name_Id := N + 624;
1002    Name_Config_Body_File_Name          : constant Name_Id := N + 625;
1003    Name_Config_Body_File_Name_Pattern  : constant Name_Id := N + 626;
1004    Name_Config_File_Switches           : constant Name_Id := N + 627;
1005    Name_Config_File_Unique             : constant Name_Id := N + 628;
1006    Name_Config_Spec_File_Name          : constant Name_Id := N + 629;
1007    Name_Config_Spec_File_Name_Pattern  : constant Name_Id := N + 630;
1008    Name_Cross_Reference                : constant Name_Id := N + 631;
1009    Name_Default_Language               : constant Name_Id := N + 632;
1010    Name_Default_Switches               : constant Name_Id := N + 633;
1011    Name_Dependency_Driver              : constant Name_Id := N + 634;
1012    Name_Dependency_File_Kind           : constant Name_Id := N + 635;
1013    Name_Dependency_Switches            : constant Name_Id := N + 636;
1014    Name_Driver                         : constant Name_Id := N + 637;
1015    Name_Excluded_Source_Dirs           : constant Name_Id := N + 638;
1016    Name_Excluded_Source_Files          : constant Name_Id := N + 639;
1017    Name_Exec_Dir                       : constant Name_Id := N + 640;
1018    Name_Executable                     : constant Name_Id := N + 641;
1019    Name_Executable_Suffix              : constant Name_Id := N + 642;
1020    Name_Extends                        : constant Name_Id := N + 643;
1021    Name_Externally_Built               : constant Name_Id := N + 644;
1022    Name_Finder                         : constant Name_Id := N + 645;
1023    Name_Global_Configuration_Pragmas   : constant Name_Id := N + 646;
1024    Name_Global_Config_File             : constant Name_Id := N + 647;
1025    Name_Gnatls                         : constant Name_Id := N + 648;
1026    Name_Gnatstub                       : constant Name_Id := N + 649;
1027    Name_Implementation                 : constant Name_Id := N + 650;
1028    Name_Implementation_Exceptions      : constant Name_Id := N + 651;
1029    Name_Implementation_Suffix          : constant Name_Id := N + 652;
1030    Name_Include_Switches               : constant Name_Id := N + 653;
1031    Name_Include_Path                   : constant Name_Id := N + 654;
1032    Name_Include_Path_File              : constant Name_Id := N + 655;
1033    Name_Language_Kind                  : constant Name_Id := N + 656;
1034    Name_Language_Processing            : constant Name_Id := N + 657;
1035    Name_Languages                      : constant Name_Id := N + 658;
1036    Name_Library_Ali_Dir                : constant Name_Id := N + 659;
1037    Name_Library_Auto_Init              : constant Name_Id := N + 660;
1038    Name_Library_Auto_Init_Supported    : constant Name_Id := N + 661;
1039    Name_Library_Builder                : constant Name_Id := N + 662;
1040    Name_Library_Dir                    : constant Name_Id := N + 663;
1041    Name_Library_GCC                    : constant Name_Id := N + 664;
1042    Name_Library_Interface              : constant Name_Id := N + 665;
1043    Name_Library_Kind                   : constant Name_Id := N + 666;
1044    Name_Library_Name                   : constant Name_Id := N + 667;
1045    Name_Library_Major_Minor_Id_Supported : constant Name_Id := N + 668;
1046    Name_Library_Options                : constant Name_Id := N + 669;
1047    Name_Library_Partial_Linker         : constant Name_Id := N + 670;
1048    Name_Library_Reference_Symbol_File  : constant Name_Id := N + 671;
1049    Name_Library_Src_Dir                : constant Name_Id := N + 672;
1050    Name_Library_Support                : constant Name_Id := N + 673;
1051    Name_Library_Symbol_File            : constant Name_Id := N + 674;
1052    Name_Library_Symbol_Policy          : constant Name_Id := N + 675;
1053    Name_Library_Version                : constant Name_Id := N + 676;
1054    Name_Library_Version_Switches       : constant Name_Id := N + 677;
1055    Name_Linker                         : constant Name_Id := N + 678;
1056    Name_Linker_Executable_Option       : constant Name_Id := N + 679;
1057    Name_Linker_Lib_Dir_Option          : constant Name_Id := N + 680;
1058    Name_Linker_Lib_Name_Option         : constant Name_Id := N + 681;
1059    Name_Local_Config_File              : constant Name_Id := N + 682;
1060    Name_Local_Configuration_Pragmas    : constant Name_Id := N + 683;
1061    Name_Locally_Removed_Files          : constant Name_Id := N + 684;
1062    Name_Mapping_File_Switches          : constant Name_Id := N + 685;
1063    Name_Mapping_Spec_Suffix            : constant Name_Id := N + 686;
1064    Name_Mapping_Body_Suffix            : constant Name_Id := N + 687;
1065    Name_Metrics                        : constant Name_Id := N + 688;
1066    Name_Naming                         : constant Name_Id := N + 689;
1067    Name_Objects_Path                   : constant Name_Id := N + 690;
1068    Name_Objects_Path_File              : constant Name_Id := N + 691;
1069    Name_Object_Dir                     : constant Name_Id := N + 692;
1070    Name_Pic_Option                     : constant Name_Id := N + 693;
1071    Name_Pretty_Printer                 : constant Name_Id := N + 694;
1072    Name_Prefix                         : constant Name_Id := N + 695;
1073    Name_Project                        : constant Name_Id := N + 696;
1074    Name_Roots                          : constant Name_Id := N + 697;
1075    Name_Required_Switches              : constant Name_Id := N + 698;
1076    Name_Run_Path_Option                : constant Name_Id := N + 699;
1077    Name_Runtime_Project                : constant Name_Id := N + 700;
1078    Name_Shared_Library_Minimum_Switches : constant Name_Id := N + 701;
1079    Name_Shared_Library_Prefix          : constant Name_Id := N + 702;
1080    Name_Shared_Library_Suffix          : constant Name_Id := N + 703;
1081    Name_Separate_Suffix                : constant Name_Id := N + 704;
1082    Name_Source_Dirs                    : constant Name_Id := N + 705;
1083    Name_Source_Files                   : constant Name_Id := N + 706;
1084    Name_Source_List_File               : constant Name_Id := N + 707;
1085    Name_Spec                           : constant Name_Id := N + 708;
1086    Name_Spec_Suffix                    : constant Name_Id := N + 709;
1087    Name_Specification                  : constant Name_Id := N + 710;
1088    Name_Specification_Exceptions       : constant Name_Id := N + 711;
1089    Name_Specification_Suffix           : constant Name_Id := N + 712;
1090    Name_Stack                          : constant Name_Id := N + 713;
1091    Name_Switches                       : constant Name_Id := N + 714;
1092    Name_Symbolic_Link_Supported        : constant Name_Id := N + 715;
1093    Name_Toolchain_Description          : constant Name_Id := N + 716;
1094    Name_Toolchain_Version              : constant Name_Id := N + 717;
1095    Name_Runtime_Library_Dir            : constant Name_Id := N + 718;
1096
1097    --  Other miscellaneous names used in front end
1098
1099    Name_Unaligned_Valid                : constant Name_Id := N + 719;
1100
1101    --  Ada 2005 reserved words
1102
1103    First_2005_Reserved_Word            : constant Name_Id := N + 720;
1104    Name_Interface                      : constant Name_Id := N + 720;
1105    Name_Overriding                     : constant Name_Id := N + 721;
1106    Name_Synchronized                   : constant Name_Id := N + 722;
1107    Last_2005_Reserved_Word             : constant Name_Id := N + 722;
1108
1109    subtype Ada_2005_Reserved_Words is
1110      Name_Id range First_2005_Reserved_Word .. Last_2005_Reserved_Word;
1111
1112    --  Mark last defined name for consistency check in Snames body
1113
1114    Last_Predefined_Name                : constant Name_Id := N + 722;
1115
1116    ---------------------------------------
1117    -- Subtypes Defining Name Categories --
1118    ---------------------------------------
1119
1120    subtype Any_Operator_Name is Name_Id range
1121      First_Operator_Name .. Last_Operator_Name;
1122
1123    subtype Configuration_Pragma_Names is Name_Id range
1124      First_Pragma_Name .. Last_Configuration_Pragma_Name;
1125
1126    ------------------------------
1127    -- Attribute ID Definitions --
1128    ------------------------------
1129
1130    type Attribute_Id is (
1131       Attribute_Abort_Signal,
1132       Attribute_Access,
1133       Attribute_Address,
1134       Attribute_Address_Size,
1135       Attribute_Aft,
1136       Attribute_Alignment,
1137       Attribute_Asm_Input,
1138       Attribute_Asm_Output,
1139       Attribute_AST_Entry,
1140       Attribute_Bit,
1141       Attribute_Bit_Order,
1142       Attribute_Bit_Position,
1143       Attribute_Body_Version,
1144       Attribute_Callable,
1145       Attribute_Caller,
1146       Attribute_Code_Address,
1147       Attribute_Component_Size,
1148       Attribute_Compose,
1149       Attribute_Constrained,
1150       Attribute_Count,
1151       Attribute_Default_Bit_Order,
1152       Attribute_Definite,
1153       Attribute_Delta,
1154       Attribute_Denorm,
1155       Attribute_Digits,
1156       Attribute_Elaborated,
1157       Attribute_Emax,
1158       Attribute_Enabled,
1159       Attribute_Enum_Rep,
1160       Attribute_Epsilon,
1161       Attribute_Exponent,
1162       Attribute_External_Tag,
1163       Attribute_First,
1164       Attribute_First_Bit,
1165       Attribute_Fixed_Value,
1166       Attribute_Fore,
1167       Attribute_Has_Access_Values,
1168       Attribute_Has_Discriminants,
1169       Attribute_Identity,
1170       Attribute_Img,
1171       Attribute_Integer_Value,
1172       Attribute_Large,
1173       Attribute_Last,
1174       Attribute_Last_Bit,
1175       Attribute_Leading_Part,
1176       Attribute_Length,
1177       Attribute_Machine_Emax,
1178       Attribute_Machine_Emin,
1179       Attribute_Machine_Mantissa,
1180       Attribute_Machine_Overflows,
1181       Attribute_Machine_Radix,
1182       Attribute_Machine_Rounding,
1183       Attribute_Machine_Rounds,
1184       Attribute_Machine_Size,
1185       Attribute_Mantissa,
1186       Attribute_Max_Size_In_Storage_Elements,
1187       Attribute_Maximum_Alignment,
1188       Attribute_Mechanism_Code,
1189       Attribute_Mod,
1190       Attribute_Model_Emin,
1191       Attribute_Model_Epsilon,
1192       Attribute_Model_Mantissa,
1193       Attribute_Model_Small,
1194       Attribute_Modulus,
1195       Attribute_Null_Parameter,
1196       Attribute_Object_Size,
1197       Attribute_Partition_ID,
1198       Attribute_Passed_By_Reference,
1199       Attribute_Pool_Address,
1200       Attribute_Pos,
1201       Attribute_Position,
1202       Attribute_Priority,
1203       Attribute_Range,
1204       Attribute_Range_Length,
1205       Attribute_Round,
1206       Attribute_Safe_Emax,
1207       Attribute_Safe_First,
1208       Attribute_Safe_Large,
1209       Attribute_Safe_Last,
1210       Attribute_Safe_Small,
1211       Attribute_Scale,
1212       Attribute_Scaling,
1213       Attribute_Signed_Zeros,
1214       Attribute_Size,
1215       Attribute_Small,
1216       Attribute_Storage_Size,
1217       Attribute_Storage_Unit,
1218       Attribute_Stream_Size,
1219       Attribute_Tag,
1220       Attribute_Target_Name,
1221       Attribute_Terminated,
1222       Attribute_To_Address,
1223       Attribute_Type_Class,
1224       Attribute_UET_Address,
1225       Attribute_Unbiased_Rounding,
1226       Attribute_Unchecked_Access,
1227       Attribute_Unconstrained_Array,
1228       Attribute_Universal_Literal_String,
1229       Attribute_Unrestricted_Access,
1230       Attribute_VADS_Size,
1231       Attribute_Val,
1232       Attribute_Valid,
1233       Attribute_Value_Size,
1234       Attribute_Version,
1235       Attribute_Wchar_T_Size,
1236       Attribute_Wide_Wide_Width,
1237       Attribute_Wide_Width,
1238       Attribute_Width,
1239       Attribute_Word_Size,
1240
1241       --  Attributes designating renamable functions
1242
1243       Attribute_Adjacent,
1244       Attribute_Ceiling,
1245       Attribute_Copy_Sign,
1246       Attribute_Floor,
1247       Attribute_Fraction,
1248       Attribute_Image,
1249       Attribute_Input,
1250       Attribute_Machine,
1251       Attribute_Max,
1252       Attribute_Min,
1253       Attribute_Model,
1254       Attribute_Pred,
1255       Attribute_Remainder,
1256       Attribute_Rounding,
1257       Attribute_Succ,
1258       Attribute_Truncation,
1259       Attribute_Value,
1260       Attribute_Wide_Image,
1261       Attribute_Wide_Wide_Image,
1262       Attribute_Wide_Value,
1263       Attribute_Wide_Wide_Value,
1264
1265       --  Attributes designating procedures
1266
1267       Attribute_Output,
1268       Attribute_Read,
1269       Attribute_Write,
1270
1271       --  Entity attributes (includes type attributes)
1272
1273       Attribute_Elab_Body,
1274       Attribute_Elab_Spec,
1275       Attribute_Storage_Pool,
1276
1277       --  Type attributes
1278
1279       Attribute_Base,
1280       Attribute_Class,
1281       Attribute_Stub_Type);
1282
1283    ------------------------------------
1284    -- Convention Name ID Definitions --
1285    ------------------------------------
1286
1287    type Convention_Id is (
1288
1289       --  The conventions that are defined by the RM come first
1290
1291       Convention_Ada,
1292       Convention_Intrinsic,
1293       Convention_Entry,
1294       Convention_Protected,
1295
1296       --  The remaining conventions are foreign language conventions
1297
1298       Convention_Assembler,  --  also Asm, Assembly
1299       Convention_C,          --  also Default, External
1300       Convention_CIL,
1301       Convention_COBOL,
1302       Convention_CPP,
1303       Convention_Fortran,
1304       Convention_Java,
1305       Convention_Stdcall,    --  also DLL, Win32
1306       Convention_Stubbed);
1307
1308       --  Note: Convention C_Pass_By_Copy is allowed only for record
1309       --  types (where it is treated like C except that the appropriate
1310       --  flag is set in the record type). Recognizion of this convention
1311       --  is specially handled in Sem_Prag.
1312
1313    for Convention_Id'Size use 8;
1314    --  Plenty of space for expansion
1315
1316    subtype Foreign_Convention is
1317      Convention_Id range Convention_Assembler .. Convention_Stdcall;
1318
1319    -----------------------------------
1320    -- Locking Policy ID Definitions --
1321    -----------------------------------
1322
1323    type Locking_Policy_Id is (
1324       Locking_Policy_Inheritance_Locking,
1325       Locking_Policy_Ceiling_Locking);
1326
1327    ---------------------------
1328    -- Pragma ID Definitions --
1329    ---------------------------
1330
1331    type Pragma_Id is (
1332
1333       --  Configuration pragmas
1334
1335       Pragma_Ada_83,
1336       Pragma_Ada_95,
1337       Pragma_Ada_05,
1338       Pragma_Ada_2005,
1339       Pragma_Assertion_Policy,
1340       Pragma_C_Pass_By_Copy,
1341       Pragma_Check_Name,
1342       Pragma_Compile_Time_Error,
1343       Pragma_Compile_Time_Warning,
1344       Pragma_Compiler_Unit,
1345       Pragma_Component_Alignment,
1346       Pragma_Convention_Identifier,
1347       Pragma_Debug_Policy,
1348       Pragma_Detect_Blocking,
1349       Pragma_Discard_Names,
1350       Pragma_Elaboration_Checks,
1351       Pragma_Eliminate,
1352       Pragma_Extend_System,
1353       Pragma_Extensions_Allowed,
1354       Pragma_External_Name_Casing,
1355       Pragma_Float_Representation,
1356       Pragma_Implicit_Packing,
1357       Pragma_Initialize_Scalars,
1358       Pragma_Interrupt_State,
1359       Pragma_License,
1360       Pragma_Locking_Policy,
1361       Pragma_Long_Float,
1362       Pragma_No_Run_Time,
1363       Pragma_No_Strict_Aliasing,
1364       Pragma_Normalize_Scalars,
1365       Pragma_Polling,
1366       Pragma_Persistent_BSS,
1367       Pragma_Priority_Specific_Dispatching,
1368       Pragma_Profile,
1369       Pragma_Profile_Warnings,
1370       Pragma_Propagate_Exceptions,
1371       Pragma_Queuing_Policy,
1372       Pragma_Ravenscar,
1373       Pragma_Restricted_Run_Time,
1374       Pragma_Restrictions,
1375       Pragma_Restriction_Warnings,
1376       Pragma_Reviewable,
1377       Pragma_Source_File_Name,
1378       Pragma_Source_File_Name_Project,
1379       Pragma_Style_Checks,
1380       Pragma_Suppress,
1381       Pragma_Suppress_Exception_Locations,
1382       Pragma_Task_Dispatching_Policy,
1383       Pragma_Universal_Data,
1384       Pragma_Unsuppress,
1385       Pragma_Use_VADS_Size,
1386       Pragma_Validity_Checks,
1387       Pragma_Warnings,
1388       Pragma_Wide_Character_Encoding,
1389
1390       --  Remaining (non-configuration) pragmas
1391
1392       Pragma_Abort_Defer,
1393       Pragma_All_Calls_Remote,
1394       Pragma_Annotate,
1395       Pragma_Assert,
1396       Pragma_Asynchronous,
1397       Pragma_Atomic,
1398       Pragma_Atomic_Components,
1399       Pragma_Attach_Handler,
1400       Pragma_CIL_Constructor,
1401       Pragma_Comment,
1402       Pragma_Common_Object,
1403       Pragma_Complete_Representation,
1404       Pragma_Complex_Representation,
1405       Pragma_Controlled,
1406       Pragma_Convention,
1407       Pragma_CPP_Class,
1408       Pragma_CPP_Constructor,
1409       Pragma_CPP_Virtual,
1410       Pragma_CPP_Vtable,
1411       Pragma_Debug,
1412       Pragma_Elaborate,
1413       Pragma_Elaborate_All,
1414       Pragma_Elaborate_Body,
1415       Pragma_Export,
1416       Pragma_Export_Exception,
1417       Pragma_Export_Function,
1418       Pragma_Export_Object,
1419       Pragma_Export_Procedure,
1420       Pragma_Export_Value,
1421       Pragma_Export_Valued_Procedure,
1422       Pragma_External,
1423       Pragma_Finalize_Storage_Only,
1424       Pragma_Ident,
1425       Pragma_Import,
1426       Pragma_Import_Exception,
1427       Pragma_Import_Function,
1428       Pragma_Import_Object,
1429       Pragma_Import_Procedure,
1430       Pragma_Import_Valued_Procedure,
1431       Pragma_Inline,
1432       Pragma_Inline_Always,
1433       Pragma_Inline_Generic,
1434       Pragma_Inspection_Point,
1435       Pragma_Interface_Name,
1436       Pragma_Interrupt_Handler,
1437       Pragma_Interrupt_Priority,
1438       Pragma_Java_Constructor,
1439       Pragma_Java_Interface,
1440       Pragma_Keep_Names,
1441       Pragma_Link_With,
1442       Pragma_Linker_Alias,
1443       Pragma_Linker_Constructor,
1444       Pragma_Linker_Destructor,
1445       Pragma_Linker_Options,
1446       Pragma_Linker_Section,
1447       Pragma_List,
1448       Pragma_Machine_Attribute,
1449       Pragma_Main,
1450       Pragma_Main_Storage,
1451       Pragma_Memory_Size,
1452       Pragma_No_Body,
1453       Pragma_No_Return,
1454       Pragma_Obsolescent,
1455       Pragma_Optimize,
1456       Pragma_Pack,
1457       Pragma_Page,
1458       Pragma_Passive,
1459       Pragma_Preelaborable_Initialization,
1460       Pragma_Preelaborate,
1461       Pragma_Preelaborate_05,
1462       Pragma_Psect_Object,
1463       Pragma_Pure,
1464       Pragma_Pure_05,
1465       Pragma_Pure_Function,
1466       Pragma_Remote_Call_Interface,
1467       Pragma_Remote_Types,
1468       Pragma_Share_Generic,
1469       Pragma_Shared,
1470       Pragma_Shared_Passive,
1471       Pragma_Source_Reference,
1472       Pragma_Static_Elaboration_Desired,
1473       Pragma_Stream_Convert,
1474       Pragma_Subtitle,
1475       Pragma_Suppress_All,
1476       Pragma_Suppress_Debug_Info,
1477       Pragma_Suppress_Initialization,
1478       Pragma_System_Name,
1479       Pragma_Task_Info,
1480       Pragma_Task_Name,
1481       Pragma_Task_Storage,
1482       Pragma_Time_Slice,
1483       Pragma_Title,
1484       Pragma_Unchecked_Union,
1485       Pragma_Unimplemented_Unit,
1486       Pragma_Universal_Aliasing,
1487       Pragma_Unreferenced,
1488       Pragma_Unreferenced_Objects,
1489       Pragma_Unreserve_All_Interrupts,
1490       Pragma_Volatile,
1491       Pragma_Volatile_Components,
1492       Pragma_Weak_External,
1493
1494       --  The following pragmas are on their own, out of order, because of the
1495       --  special processing required to deal with the fact that their names
1496       --  match existing attribute names.
1497
1498       Pragma_AST_Entry,
1499       Pragma_Interface,
1500       Pragma_Priority,
1501       Pragma_Storage_Size,
1502       Pragma_Storage_Unit,
1503
1504       --  The value to represent an unknown or unrecognized pragma
1505
1506       Unknown_Pragma);
1507
1508    -----------------------------------
1509    -- Queuing Policy ID definitions --
1510    -----------------------------------
1511
1512    type Queuing_Policy_Id is (
1513       Queuing_Policy_FIFO_Queuing,
1514       Queuing_Policy_Priority_Queuing);
1515
1516    --------------------------------------------
1517    -- Task Dispatching Policy ID definitions --
1518    --------------------------------------------
1519
1520    type Task_Dispatching_Policy_Id is (
1521       Task_Dispatching_FIFO_Within_Priorities);
1522    --  Id values used to identify task dispatching policies
1523
1524    -----------------
1525    -- Subprograms --
1526    -----------------
1527
1528    procedure Initialize;
1529    --  Called to initialize the preset names in the names table
1530
1531    function Is_Attribute_Name (N : Name_Id) return Boolean;
1532    --  Test to see if the name N is the name of a recognized attribute
1533
1534    function Is_Entity_Attribute_Name (N : Name_Id) return Boolean;
1535    --  Test to see if the name N is the name of a recognized entity attribute,
1536    --  i.e. an attribute reference that returns an entity.
1537
1538    function Is_Procedure_Attribute_Name (N : Name_Id) return Boolean;
1539    --  Test to see if the name N is the name of a recognized attribute that
1540    --  designates a procedure (and can therefore appear as a statement).
1541
1542    function Is_Function_Attribute_Name (N : Name_Id) return Boolean;
1543    --  Test to see if the name N is the name of a recognized attribute
1544    --  that designates a renameable function, and can therefore appear in
1545    --  a renaming statement. Note that not all attributes designating
1546    --  functions are renamable, in particular, thos returning a universal
1547    --  value cannot be renamed.
1548
1549    function Is_Type_Attribute_Name (N : Name_Id) return Boolean;
1550    --  Test to see if the name N is the name of a recognized type attribute,
1551    --  i.e. an attribute reference that returns a type
1552
1553    function Is_Convention_Name (N : Name_Id) return Boolean;
1554    --  Test to see if the name N is the name of one of the recognized
1555    --  language conventions, as required by pragma Convention, Import,
1556    --  Export, Interface. Returns True if so. Also returns True for a
1557    --  name that has been specified by a Convention_Identifier pragma.
1558    --  If neither case holds, returns False.
1559
1560    function Is_Keyword_Name (N : Name_Id) return Boolean;
1561    --  Test to see if the name N is one of the (reserved) keyword names. This
1562    --  includes all the keywords defined in the Ada standard (taking into
1563    --  effect the Ada version). It also includes additional keywords in
1564    --  contexts where additional keywords have been added. For example, in the
1565    --  context of parsing project files, keywords such as PROJECT are included.
1566
1567    function Is_Locking_Policy_Name (N : Name_Id) return Boolean;
1568    --  Test to see if the name N is the name of a recognized locking policy
1569
1570    function Is_Operator_Symbol_Name (N : Name_Id) return Boolean;
1571    --  Test to see if the name N is the name of an operator symbol
1572
1573    function Is_Pragma_Name (N : Name_Id) return Boolean;
1574    --  Test to see if the name N is the name of a recognized pragma. Note
1575    --  that pragmas AST_Entry, Priority, Storage_Size, and Storage_Unit are
1576    --  recognized as pragmas by this function even though their names are
1577    --  separate from the other pragma names.
1578
1579    function Is_Queuing_Policy_Name (N : Name_Id) return Boolean;
1580    --  Test to see if the name N is the name of a recognized queuing policy
1581
1582    function Is_Task_Dispatching_Policy_Name (N : Name_Id) return Boolean;
1583    --  Test to see if the name N is the name of a recognized task
1584    --  dispatching policy.
1585
1586    function Get_Attribute_Id (N : Name_Id) return Attribute_Id;
1587    --  Returns Id of attribute corresponding to given name. It is an error to
1588    --  call this function with a name that is not the name of a attribute.
1589
1590    function Get_Convention_Id (N : Name_Id) return Convention_Id;
1591    --  Returns Id of language convention corresponding to given name. It is an
1592    --  to call this function with a name that is not the name of a convention,
1593    --  or one previously given in a call to Record_Convention_Identifier.
1594
1595    function Get_Convention_Name (C : Convention_Id) return Name_Id;
1596    --  Returns the name of language convention correspoding to given
1597    --  convention id.
1598
1599    function Get_Locking_Policy_Id (N : Name_Id) return Locking_Policy_Id;
1600    --  Returns Id of locking policy corresponding to given name. It is an error
1601    --  to call this function with a name that is not the name of a check.
1602
1603    function Get_Pragma_Id (N : Name_Id) return Pragma_Id;
1604    --  Returns Id of pragma corresponding to given name. Returns Unknown_Pragma
1605    --  if N is not a name of a known (Ada defined or GNAT-specific) pragma.
1606    --  Note that the function also works correctly for names of pragmas that
1607    --  are not included in the main list of pragma Names (AST_Entry, Priority,
1608    --  Storage_Size, and Storage_Unit (e.g. Name_Storage_Size returns
1609    --  Pragma_Storage_Size).
1610
1611    function Get_Queuing_Policy_Id (N : Name_Id) return Queuing_Policy_Id;
1612    --  Returns Id of queuing policy corresponding to given name. It is an error
1613    --  to call this function with a name that is not the name of a check.
1614
1615    function Get_Task_Dispatching_Policy_Id
1616      (N    : Name_Id)
1617       return Task_Dispatching_Policy_Id;
1618    --  Returns Id of task dispatching policy corresponding to given name.
1619    --  It is an error to call this function with a name that is not the
1620    --  name of a check.
1621
1622    procedure Record_Convention_Identifier
1623      (Id         : Name_Id;
1624       Convention : Convention_Id);
1625    --  A call to this procedure, resulting from an occurrence of a pragma
1626    --  Convention_Identifier, records that from now on an occurrence of
1627    --  Id will be recognized as a name for the specified convention.
1628
1629 private
1630    pragma Inline (Is_Attribute_Name);
1631    pragma Inline (Is_Entity_Attribute_Name);
1632    pragma Inline (Is_Type_Attribute_Name);
1633    pragma Inline (Is_Locking_Policy_Name);
1634    pragma Inline (Is_Operator_Symbol_Name);
1635    pragma Inline (Is_Queuing_Policy_Name);
1636    pragma Inline (Is_Pragma_Name);
1637    pragma Inline (Is_Task_Dispatching_Policy_Name);
1638
1639 end Snames;