OSDN Git Service

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