OSDN Git Service

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