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