home *** CD-ROM | disk | FTP | other *** search
/ Geek Gadgets 1 / ADE-1.bin / ade-dist / gnat-2.06-src.tgz / tar.out / fsf / gnat / ada / snames.ads < prev    next >
Text File  |  1996-09-28  |  52KB  |  1,001 lines
  1. ------------------------------------------------------------------------------
  2. --                                                                          --
  3. --                         GNAT COMPILER COMPONENTS                         --
  4. --                                                                          --
  5. --                               S N A M E S                                --
  6. --                                                                          --
  7. --                                 S p e c                                  --
  8. --                                                                          --
  9. --                            $Revision: 1.117 $                            --
  10. --                                                                          --
  11. --        Copyright (c) 1992,1993,1994,1995 NYU, All Rights Reserved        --
  12. --                                                                          --
  13. -- The GNAT library is free software; you can redistribute it and/or modify --
  14. -- it under terms of the GNU Library General Public License as published by --
  15. -- the Free Software  Foundation; either version 2, or (at your option) any --
  16. -- later version.  The GNAT library is distributed in the hope that it will --
  17. -- be useful, but WITHOUT ANY WARRANTY;  without even  the implied warranty --
  18. -- of MERCHANTABILITY  or  FITNESS FOR  A PARTICULAR PURPOSE.  See the  GNU --
  19. -- Library  General  Public  License for  more  details.  You  should  have --
  20. -- received  a copy of the GNU  Library  General Public License  along with --
  21. -- the GNAT library;  see the file  COPYING.LIB.  If not, write to the Free --
  22. -- Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.        --
  23. --                                                                          --
  24. ------------------------------------------------------------------------------
  25.  
  26. with Types; use Types;
  27.  
  28. package Snames is
  29.  
  30. --  This package contains definitions of standard names (i.e. entries in the
  31. --  Names table) that are used throughout the GNAT compiler). It also contains
  32. --  the definitions of some enumeration types whose definitions are tied to
  33. --  the order of these preset names.
  34.  
  35. --  WARNING: There is a C file, a-snames-h which duplicates some of the
  36. --  definitions in this file and must be kept properly syncrhonized.
  37.  
  38.    ------------------
  39.    -- Preset Names --
  40.    ------------------
  41.  
  42.    --  The following are preset entries in the names table, which are
  43.    --  entered at the start of every compilation for easy access. Note
  44.    --  that the order of initialization of these names in the body must
  45.    --  be coordinated with the order of names in this table.
  46.  
  47.    --  Note: a name may not appear more than once in the following list.
  48.    --  If additional pragmas or attributes are introduced which might
  49.    --  otherwise cause a duplicate, then list it only once in this table,
  50.    --  and adjust the definition of the functions for testing for pragma
  51.    --  names and attribute names, and returning their ID values. Of course
  52.    --  everything is simpler if no such duplications occur!
  53.  
  54.    --  First we have the one character names used to optimize the lookup
  55.    --  process for one character identifiers (avoid the hashing in this case)
  56.    --  There are a full 256 of these, but only the entries for lower case
  57.    --  and upper case letters have identifiers
  58.  
  59.    --  The lower case letter entries are used for one character identifiers
  60.    --  appearing in the source, for example in pragma Interface (C).
  61.  
  62.    Name_A         : constant Name_Id := First_Name_Id + Character'Pos ('a');
  63.    Name_B         : constant Name_Id := First_Name_Id + Character'Pos ('b');
  64.    Name_C         : constant Name_Id := First_Name_Id + Character'Pos ('c');
  65.    Name_D         : constant Name_Id := First_Name_Id + Character'Pos ('d');
  66.    Name_E         : constant Name_Id := First_Name_Id + Character'Pos ('e');
  67.    Name_F         : constant Name_Id := First_Name_Id + Character'Pos ('f');
  68.    Name_G         : constant Name_Id := First_Name_Id + Character'Pos ('g');
  69.    Name_H         : constant Name_Id := First_Name_Id + Character'Pos ('h');
  70.    Name_I         : constant Name_Id := First_Name_Id + Character'Pos ('i');
  71.    Name_J         : constant Name_Id := First_Name_Id + Character'Pos ('j');
  72.    Name_K         : constant Name_Id := First_Name_Id + Character'Pos ('k');
  73.    Name_L         : constant Name_Id := First_Name_Id + Character'Pos ('l');
  74.    Name_M         : constant Name_Id := First_Name_Id + Character'Pos ('m');
  75.    Name_N         : constant Name_Id := First_Name_Id + Character'Pos ('n');
  76.    Name_O         : constant Name_Id := First_Name_Id + Character'Pos ('o');
  77.    Name_P         : constant Name_Id := First_Name_Id + Character'Pos ('p');
  78.    Name_Q         : constant Name_Id := First_Name_Id + Character'Pos ('q');
  79.    Name_R         : constant Name_Id := First_Name_Id + Character'Pos ('r');
  80.    Name_S         : constant Name_Id := First_Name_Id + Character'Pos ('s');
  81.    Name_T         : constant Name_Id := First_Name_Id + Character'Pos ('t');
  82.    Name_U         : constant Name_Id := First_Name_Id + Character'Pos ('u');
  83.    Name_V         : constant Name_Id := First_Name_Id + Character'Pos ('v');
  84.    Name_W         : constant Name_Id := First_Name_Id + Character'Pos ('w');
  85.    Name_X         : constant Name_Id := First_Name_Id + Character'Pos ('x');
  86.    Name_Y         : constant Name_Id := First_Name_Id + Character'Pos ('y');
  87.    Name_Z         : constant Name_Id := First_Name_Id + Character'Pos ('z');
  88.  
  89.    --  The upper case letter entries are used by expander code for local
  90.    --  variables that do not require unique names (e.g. formal parameter
  91.    --  names in constructed procedures)
  92.  
  93.    Name_uA        : constant Name_Id := First_Name_Id + Character'Pos ('A');
  94.    Name_uB        : constant Name_Id := First_Name_Id + Character'Pos ('B');
  95.    Name_uC        : constant Name_Id := First_Name_Id + Character'Pos ('C');
  96.    Name_uD        : constant Name_Id := First_Name_Id + Character'Pos ('D');
  97.    Name_uE        : constant Name_Id := First_Name_Id + Character'Pos ('E');
  98.    Name_uF        : constant Name_Id := First_Name_Id + Character'Pos ('F');
  99.    Name_uG        : constant Name_Id := First_Name_Id + Character'Pos ('G');
  100.    Name_uH        : constant Name_Id := First_Name_Id + Character'Pos ('H');
  101.    Name_uI        : constant Name_Id := First_Name_Id + Character'Pos ('I');
  102.    Name_uJ        : constant Name_Id := First_Name_Id + Character'Pos ('J');
  103.    Name_uK        : constant Name_Id := First_Name_Id + Character'Pos ('K');
  104.    Name_uL        : constant Name_Id := First_Name_Id + Character'Pos ('L');
  105.    Name_uM        : constant Name_Id := First_Name_Id + Character'Pos ('M');
  106.    Name_uN        : constant Name_Id := First_Name_Id + Character'Pos ('N');
  107.    Name_uO        : constant Name_Id := First_Name_Id + Character'Pos ('O');
  108.    Name_uP        : constant Name_Id := First_Name_Id + Character'Pos ('P');
  109.    Name_uQ        : constant Name_Id := First_Name_Id + Character'Pos ('Q');
  110.    Name_uR        : constant Name_Id := First_Name_Id + Character'Pos ('R');
  111.    Name_uS        : constant Name_Id := First_Name_Id + Character'Pos ('S');
  112.    Name_uT        : constant Name_Id := First_Name_Id + Character'Pos ('T');
  113.    Name_uU        : constant Name_Id := First_Name_Id + Character'Pos ('U');
  114.    Name_uV        : constant Name_Id := First_Name_Id + Character'Pos ('V');
  115.    Name_uW        : constant Name_Id := First_Name_Id + Character'Pos ('W');
  116.    Name_uX        : constant Name_Id := First_Name_Id + Character'Pos ('X');
  117.    Name_uY        : constant Name_Id := First_Name_Id + Character'Pos ('Y');
  118.    Name_uZ        : constant Name_Id := First_Name_Id + Character'Pos ('Z');
  119.  
  120.    --  Note: the following table is read by the utility program XSNAMES and
  121.    --  its format should not be changed without coordinating with this program.
  122.  
  123.    N : constant Name_Id := First_Name_Id + 256;
  124.    --  Synonym used in standard name definitions
  125.  
  126.    --  Some special names used by the expander. Note that the lower case u's
  127.    --  at the start of these names get translated to extra underscores. These
  128.    --  names are only referenced internally by expander generated code.
  129.  
  130.    Name_uAbort_Signal                  : constant Name_Id := N + 000;
  131.    Name_uAssign                        : constant Name_Id := N + 001;
  132.    Name_uChain                         : constant Name_Id := N + 002;
  133.    Name_uClean                         : constant Name_Id := N + 003;
  134.    Name_uController                    : constant Name_Id := N + 004;
  135.    Name_uEntry_Bodies                  : constant Name_Id := N + 005;
  136.    Name_uExpunge                       : constant Name_Id := N + 006;
  137.    Name_uFinal_List                    : constant Name_Id := N + 007;
  138.    Name_uIdepth                        : constant Name_Id := N + 008;
  139.    Name_uInit                          : constant Name_Id := N + 009;
  140.    Name_uLocal_Final_List              : constant Name_Id := N + 010;
  141.    Name_uMaster                        : constant Name_Id := N + 011;
  142.    Name_uObject                        : constant Name_Id := N + 012;
  143.    Name_uParent                        : constant Name_Id := N + 013;
  144.    Name_uPriority                      : constant Name_Id := N + 014;
  145.    Name_uService                       : constant Name_Id := N + 015;
  146.    Name_uSize                          : constant Name_Id := N + 016;
  147.    Name_uTag                           : constant Name_Id := N + 017;
  148.    Name_uTags                          : constant Name_Id := N + 018;
  149.    Name_uTask                          : constant Name_Id := N + 019;
  150.    Name_uTask_Id                       : constant Name_Id := N + 020;
  151.    Name_uTrace_Sp                      : constant Name_Id := N + 021;
  152.  
  153.    --  Names of routines in Ada.Finalization, needed by expander
  154.  
  155.    Name_Initialize                     : constant Name_Id := N + 022;
  156.    Name_Adjust                         : constant Name_Id := N + 023;
  157.    Name_Finalize                       : constant Name_Id := N + 024;
  158.  
  159.    --  Names of fields declared in System.Finalization_Implementation,
  160.    --  needed by the expander when generating code for finalization.
  161.  
  162.    Name_Next                           : constant Name_Id := N + 025;
  163.    Name_Prev                           : constant Name_Id := N + 026;
  164.  
  165.    --  Names of TSS routines (see Exp_TSS)
  166.  
  167.    Name_uDeep_Adjust                   : constant Name_Id := N + 027;
  168.    Name_uEquality                      : constant Name_Id := N + 028;
  169.    Name_uDeep_Finalize                 : constant Name_Id := N + 029;
  170.    Name_uDeep_Initialize               : constant Name_Id := N + 030;
  171.    Name_uInit_Proc                     : constant Name_Id := N + 031;
  172.    Name_uInput                         : constant Name_Id := N + 032;
  173.    Name_uOutput                        : constant Name_Id := N + 033;
  174.    Name_uRead                          : constant Name_Id := N + 034;
  175.    Name_uRep_To_Pos                    : constant Name_Id := N + 035;
  176.    Name_uWrite                         : constant Name_Id := N + 036;
  177.  
  178.    --  Names of allocation routines, also needed by expander
  179.  
  180.    Name_Allocate                       : constant Name_Id := N + 037;
  181.    Name_Deallocate                     : constant Name_Id := N + 038;
  182.  
  183.    --  Names of Text_IO generic subpackages (see Rtsfind.Text_IO_Kludge)
  184.  
  185.    First_Text_IO_Package               : constant Name_Id := N + 039;
  186.    Name_Decimal_IO                     : constant Name_Id := N + 039;
  187.    Name_Enumeration_IO                 : constant Name_Id := N + 040;
  188.    Name_Fixed_IO                       : constant Name_Id := N + 041;
  189.    Name_Float_IO                       : constant Name_Id := N + 042;
  190.    Name_Integer_IO                     : constant Name_Id := N + 043;
  191.    Name_Modular_IO                     : constant Name_Id := N + 044;
  192.    Last_Text_IO_Package                : constant Name_Id := N + 044;
  193.  
  194.    subtype Text_IO_Package_Name is Name_Id
  195.      range First_Text_IO_Package .. Last_Text_IO_Package;
  196.  
  197.    --  Names of files in library for Ada.Text_IO and Ada.Wide_Text_IO
  198.  
  199.    Name_a_textio                       : constant Name_Id := N + 045;
  200.    Name_a_witeio                       : constant Name_Id := N + 046;
  201.  
  202.    --  Some miscellaneous names used for error detection/recovery
  203.  
  204.    Name_Const                          : constant Name_Id := N + 047;
  205.    Name_Error                          : constant Name_Id := N + 048;
  206.    Name_Go                             : constant Name_Id := N + 049;
  207.    Name_Put                            : constant Name_Id := N + 050;
  208.    Name_Put_Line                       : constant Name_Id := N + 051;
  209.    Name_To                             : constant Name_Id := N + 052;
  210.  
  211.    --  Names for packages that are treated specially by the compiler
  212.  
  213.    Name_Finalization                   : constant Name_Id := N + 053;
  214.    Name_Finalization_Implementation    : constant Name_Id := N + 054;
  215.    Name_Interfaces                     : constant Name_Id := N + 055;
  216.    Name_Standard                       : constant Name_Id := N + 056;
  217.    Name_System                         : constant Name_Id := N + 057;
  218.  
  219.    --  Names of identifiers used in expanding distribution stubs
  220.  
  221.    Name_Ast_Receiver                   : constant Name_Id := N + 058;
  222.    Name_Do_Rpc                         : constant Name_Id := N + 059;
  223.    Name_Do_Apc                         : constant Name_Id := N + 060;
  224.    Name_Exception_Identity             : constant Name_Id := N + 061;
  225.    Name_Exceptions                     : constant Name_Id := N + 062;
  226.    Name_Exception_Occurrence           : constant Name_Id := N + 063;
  227.    Name_Get_Local_Partition_ID         : constant Name_Id := N + 064;
  228.    Name_Null_Id                        : constant Name_Id := N + 065;
  229.    Name_Params                         : constant Name_Id := N + 066;
  230.    Name_Params_Stream_Type             : constant Name_Id := N + 067;
  231.    Name_Partition_Interface            : constant Name_Id := N + 068;
  232.    Name_Pid                            : constant Name_Id := N + 069;
  233.    Name_Pointer                        : constant Name_Id := N + 070;
  234.    Name_Result                         : constant Name_Id := N + 071;
  235.    Name_Rpc                            : constant Name_Id := N + 072;
  236.    Name_Rpc_Receiver                   : constant Name_Id := N + 073;
  237.    Name_Stream_Element_Offset          : constant Name_Id := N + 074;
  238.    Name_Streams                        : constant Name_Id := N + 075;
  239.  
  240.    --  Operator Symbol entries. The actual names have an upper case O at
  241.    --  the start in place of the Op_ prefix (e.g. the actual name that
  242.    --  corresponds to Name_Op_Abs is "Oabs".
  243.  
  244.    First_Operator_Name                 : constant Name_Id := N + 076;
  245.    Name_Op_Abs                         : constant Name_Id := N + 076; -- "abs"
  246.    Name_Op_And                         : constant Name_Id := N + 077; -- "and"
  247.    Name_Op_Mod                         : constant Name_Id := N + 078; -- "mod"
  248.    Name_Op_Not                         : constant Name_Id := N + 079; -- "not"
  249.    Name_Op_Or                          : constant Name_Id := N + 080; -- "or"
  250.    Name_Op_Rem                         : constant Name_Id := N + 081; -- "rem"
  251.    Name_Op_Xor                         : constant Name_Id := N + 082; -- "xor"
  252.    Name_Op_Eq                          : constant Name_Id := N + 083; -- "="
  253.    Name_Op_Ne                          : constant Name_Id := N + 084; -- "/="
  254.    Name_Op_Lt                          : constant Name_Id := N + 085; -- "<"
  255.    Name_Op_Le                          : constant Name_Id := N + 086; -- "<="
  256.    Name_Op_Gt                          : constant Name_Id := N + 087; -- ">"
  257.    Name_Op_Ge                          : constant Name_Id := N + 088; -- ">="
  258.    Name_Op_Add                         : constant Name_Id := N + 089; -- "+"
  259.    Name_Op_Subtract                    : constant Name_Id := N + 090; -- "-"
  260.    Name_Op_Concat                      : constant Name_Id := N + 091; -- "&"
  261.    Name_Op_Multiply                    : constant Name_Id := N + 092; -- "*"
  262.    Name_Op_Divide                      : constant Name_Id := N + 093; -- "/"
  263.    Name_Op_Expon                       : constant Name_Id := N + 094; -- "**"
  264.    Last_Operator_Name                  : constant Name_Id := N + 094;
  265.  
  266.    --  Names for all pragmas recognized by GNAT. The entries with the comment
  267.    --  "Ada 83" are pragmas that are defined in Ada 83, but not in Ada 95.
  268.    --  These pragmas are fully implemented in both Ada 83 and Ada 95 modes
  269.    --  in GNAT.
  270.  
  271.    --  The entries marked GNAT are pragmas that are defined by GNAT
  272.    --  and implemented in both Ada 83 and Ada 95 modes. Full descriptions
  273.    --  of these implementation dependent pragmas may be found in the
  274.    --  appropriate section in unit Sem_Prag in file sem-prag.adb.
  275.  
  276.    First_Pragma_Name                   : constant Name_Id := N + 095;
  277.    Name_Abort_Defer                    : constant Name_Id := N + 095; -- GNAT
  278.    Name_Ada_83                         : constant Name_Id := N + 096; -- GNAT
  279.    Name_Ada_95                         : constant Name_Id := N + 097; -- GNAT
  280.    Name_All_Calls_Remote               : constant Name_Id := N + 098;
  281.    Name_Annotate                       : constant Name_Id := N + 099; -- GNAT
  282.    Name_Assert                         : constant Name_Id := N + 100; -- GNAT
  283.    Name_Asynchronous                   : constant Name_Id := N + 101;
  284.    Name_Atomic                         : constant Name_Id := N + 102;
  285.    Name_Atomic_Components              : constant Name_Id := N + 103;
  286.    Name_Attach_Handler                 : constant Name_Id := N + 104;
  287.    Name_Controlled                     : constant Name_Id := N + 105;
  288.    Name_Convention                     : constant Name_Id := N + 106;
  289.    Name_CPP_Class                      : constant Name_Id := N + 107;
  290.    Name_CPP_Constructor                : constant Name_Id := N + 108; -- GNAT
  291.    Name_CPP_Destructor                 : constant Name_Id := N + 109; -- GNAT
  292.    Name_CPP_Virtual                    : constant Name_Id := N + 110; -- GNAT
  293.    Name_CPP_Vtable                     : constant Name_Id := N + 111; -- GNAT
  294.    Name_Debug                          : constant Name_Id := N + 112; -- GNAT
  295.    Name_Discard_Names                  : constant Name_Id := N + 113;
  296.    Name_Elaborate                      : constant Name_Id := N + 114; -- Ada 83
  297.    Name_Elaborate_All                  : constant Name_Id := N + 115;
  298.    Name_Elaborate_Body                 : constant Name_Id := N + 116;
  299.    Name_Error_Monitoring               : constant Name_Id := N + 117; -- GNAT
  300.    Name_Export                         : constant Name_Id := N + 118;
  301.    Name_Import                         : constant Name_Id := N + 119;
  302.    Name_Inline                         : constant Name_Id := N + 120;
  303.    Name_Inspection_Point               : constant Name_Id := N + 121;
  304.    Name_Interface                      : constant Name_Id := N + 122; -- Ada 83
  305.    Name_Interface_Name                 : constant Name_Id := N + 123; -- GNAT
  306.    Name_Interrupt_Handler              : constant Name_Id := N + 124;
  307.    Name_Interrupt_Priority             : constant Name_Id := N + 125;
  308.    Name_Linker_Options                 : constant Name_Id := N + 126;
  309.    Name_List                           : constant Name_Id := N + 127;
  310.    Name_Locking_Policy                 : constant Name_Id := N + 128;
  311.    Name_Machine_Attribute              : constant Name_Id := N + 129; -- GNAT
  312.    Name_Memory_Size                    : constant Name_Id := N + 130; -- Ada 83
  313.    Name_Normalize_Scalars              : constant Name_Id := N + 131;
  314.    Name_Optimize                       : constant Name_Id := N + 132;
  315.    Name_Pack                           : constant Name_Id := N + 133;
  316.    Name_Page                           : constant Name_Id := N + 134;
  317.    Name_Preelaborate                   : constant Name_Id := N + 135;
  318.    Name_Priority                       : constant Name_Id := N + 136;
  319.    Name_Pure                           : constant Name_Id := N + 137;
  320.    Name_Queuing_Policy                 : constant Name_Id := N + 138;
  321.    Name_Remote_Call_Interface          : constant Name_Id := N + 139;
  322.    Name_Remote_Types                   : constant Name_Id := N + 140;
  323.    Name_Restrictions                   : constant Name_Id := N + 141;
  324.    Name_Reviewable                     : constant Name_Id := N + 142;
  325.    Name_Shared                         : constant Name_Id := N + 143; -- Ada 83
  326.    Name_Shared_Passive                 : constant Name_Id := N + 144;
  327.  
  328.    --  Note: Storage_Size is not in this list because its name matches the
  329.    --  name of the corresponding attribute. However, it is included in the
  330.    --  definition of the type Attribute_Id, and the functions Get_Pragma_Id
  331.    --  and Check_Pragma_Id correcly recognize and process Name_Storage_Size.
  332.  
  333.    --  Note: Storage_Unit is also omitted from the list because of a clash
  334.    --  with an attribute name, and is treated similarly.
  335.  
  336.    Name_Source_Reference               : constant Name_Id := N + 145; -- GNAT
  337.    Name_Suppress                       : constant Name_Id := N + 146;
  338.    Name_System_Name                    : constant Name_Id := N + 147; -- Ada 83
  339.    Name_Task_Dispatching_Policy        : constant Name_Id := N + 148;
  340.    Name_Unimplemented_Unit             : constant Name_Id := N + 149; -- GNAT
  341.    Name_Unsuppress                     : constant Name_Id := N + 150; -- GNAT
  342.    Name_Volatile                       : constant Name_Id := N + 151;
  343.    Name_Volatile_Components            : constant Name_Id := N + 152;
  344.    Last_Pragma_Name                    : constant Name_Id := N + 152;
  345.  
  346.    --  Language convention names for pragma Convention/Export/Import/Interface
  347.    --  Note that Name_C is not included in this list, since it was already
  348.    --  declared earlier in the context of one-character identifier names
  349.    --  (where the order is critical to the fast look up process).
  350.  
  351.    --  Note: there are no convention names corresponding to the conventions
  352.    --  Entry and Protected, this is because these conventions cannot be
  353.    --  specified by a pragma (RM ???)
  354.  
  355.    First_Convention_Name               : constant Name_Id := N + 153;
  356.    Name_Ada                            : constant Name_Id := N + 153;
  357.    Name_Asm                            : constant Name_Id := N + 154;
  358.    Name_Assembler                      : constant Name_Id := N + 155;
  359.    Name_COBOL                          : constant Name_Id := N + 156;
  360.    Name_CPP                            : constant Name_Id := N + 157;
  361.    Name_Fortran                        : constant Name_Id := N + 158;
  362.    Name_Intrinsic                      : constant Name_Id := N + 159;
  363.    Name_Stdcall                        : constant Name_Id := N + 160;
  364.    Last_Convention_Name                : constant Name_Id := N + 160;
  365.  
  366.    --  Other special names used in processing pragma arguments
  367.  
  368.    Name_Attribute_Name                 : constant Name_Id := N + 161;
  369.    Name_Component                      : constant Name_Id := N + 162;
  370.    Name_Entity                         : constant Name_Id := N + 163;
  371.    Name_Entry_Count                    : constant Name_Id := N + 164;
  372.    Name_External_Name                  : constant Name_Id := N + 165;
  373.    Name_Gcc                            : constant Name_Id := N + 166;
  374.    Name_Gnat                           : constant Name_Id := N + 167;
  375.    Name_Link_Name                      : constant Name_Id := N + 168;
  376.    Name_Off                            : constant Name_Id := N + 169;
  377.    Name_On                             : constant Name_Id := N + 170;
  378.    Name_Space                          : constant Name_Id := N + 171;
  379.    Name_Time                           : constant Name_Id := N + 172;
  380.    Name_Vtable_Ptr                     : constant Name_Id := N + 173;
  381.  
  382.    --  Names of recognized attributes. The entries with the comment "Ada 83"
  383.    --  are attributes that are defined in Ada 83, but not in Ada 95. These
  384.    --  attributes are implemented in both Ada 83 and Ada 95 modes in GNAT.
  385.  
  386.    --  The entries marked GNAT are attributes that are defined by GNAT
  387.    --  and implemented in both Ada 83 and Ada 95 modes. Full descriptions
  388.    --  of these implementation dependent attributes may be found in the
  389.    --  appropriate section in package Sem_Attr in file sem-attr.ads.
  390.  
  391.    First_Attribute_Name                : constant Name_Id := N + 174;
  392.    Name_Abort_Signal                   : constant Name_Id := N + 174;  -- GNAT
  393.    Name_Access                         : constant Name_Id := N + 175;
  394.    Name_Address                        : constant Name_Id := N + 176;
  395.    Name_Address_Size                   : constant Name_Id := N + 177;  -- GNAT
  396.    Name_Adjacent                       : constant Name_Id := N + 178;
  397.    Name_Aft                            : constant Name_Id := N + 179;
  398.    Name_Alignment                      : constant Name_Id := N + 180;
  399.    Name_Bit_Order                      : constant Name_Id := N + 181;
  400.    Name_Body_Version                   : constant Name_Id := N + 182;
  401.    Name_Callable                       : constant Name_Id := N + 183;
  402.    Name_Caller                         : constant Name_Id := N + 184;
  403.    Name_Ceiling                        : constant Name_Id := N + 185;
  404.    Name_Component_Size                 : constant Name_Id := N + 186;
  405.    Name_Compose                        : constant Name_Id := N + 187;
  406.    Name_Constrained                    : constant Name_Id := N + 188;
  407.    Name_Copy_Sign                      : constant Name_Id := N + 189;
  408.    Name_Count                          : constant Name_Id := N + 190;
  409.    Name_Default_Bit_Order              : constant Name_Id := N + 191;
  410.    Name_Definite                       : constant Name_Id := N + 192;
  411.    Name_Delta                          : constant Name_Id := N + 193;
  412.    Name_Denorm                         : constant Name_Id := N + 194;
  413.    Name_Digits                         : constant Name_Id := N + 195;
  414.    Name_Emax                           : constant Name_Id := N + 196; -- Ada 83
  415.    Name_Enum_Rep                       : constant Name_Id := N + 197; -- GNAT
  416.    Name_Epsilon                        : constant Name_Id := N + 198; -- Ada 83
  417.    Name_Exponent                       : constant Name_Id := N + 199;
  418.    Name_External_Tag                   : constant Name_Id := N + 200;
  419.    Name_First                          : constant Name_Id := N + 201;
  420.    Name_First_Bit                      : constant Name_Id := N + 202;
  421.    Name_Fixed_Value                    : constant Name_Id := N + 203; -- GNAT
  422.    Name_Floor                          : constant Name_Id := N + 204;
  423.    Name_Fore                           : constant Name_Id := N + 205;
  424.    Name_Fraction                       : constant Name_Id := N + 206;
  425.    Name_Identity                       : constant Name_Id := N + 207;
  426.    Name_Image                          : constant Name_Id := N + 208;
  427.    Name_Img                            : constant Name_Id := N + 209; -- GNAT
  428.    Name_Input                          : constant Name_Id := N + 210;
  429.    Name_Integer_Value                  : constant Name_Id := N + 211; -- GNAT
  430.    Name_Large                          : constant Name_Id := N + 212; -- Ada 83
  431.    Name_Last                           : constant Name_Id := N + 213;
  432.    Name_Last_Bit                       : constant Name_Id := N + 214;
  433.    Name_Leading_Part                   : constant Name_Id := N + 215;
  434.    Name_Length                         : constant Name_Id := N + 216;
  435.    Name_Machine                        : constant Name_Id := N + 217;
  436.    Name_Machine_Emax                   : constant Name_Id := N + 218;
  437.    Name_Machine_Emin                   : constant Name_Id := N + 219;
  438.    Name_Machine_Mantissa               : constant Name_Id := N + 220;
  439.    Name_Machine_Overflows              : constant Name_Id := N + 221;
  440.    Name_Machine_Radix                  : constant Name_Id := N + 222;
  441.    Name_Machine_Rounds                 : constant Name_Id := N + 223;
  442.    Name_Mantissa                       : constant Name_Id := N + 224; -- Ada 83
  443.    Name_Max                            : constant Name_Id := N + 225;
  444.    Name_Max_Interrupt_Priority         : constant Name_Id := N + 226; -- GNAT
  445.    Name_Max_Priority                   : constant Name_Id := N + 227; -- GNAT
  446.    Name_Max_Size_In_Storage_Elements   : constant Name_Id := N + 228;
  447.    Name_Maximum_Alignment              : constant Name_Id := N + 229; -- GNAT
  448.    Name_Min                            : constant Name_Id := N + 230;
  449.    Name_Model                          : constant Name_Id := N + 231;
  450.    Name_Model_Emin                     : constant Name_Id := N + 232;
  451.    Name_Model_Epsilon                  : constant Name_Id := N + 233;
  452.    Name_Model_Mantissa                 : constant Name_Id := N + 234;
  453.    Name_Model_Small                    : constant Name_Id := N + 235;
  454.    Name_Modulus                        : constant Name_Id := N + 236;
  455.    Name_Output                         : constant Name_Id := N + 237;
  456.    Name_Partition_ID                   : constant Name_Id := N + 238;
  457.    Name_Passed_By_Reference            : constant Name_Id := N + 239; -- GNAT
  458.    Name_Pos                            : constant Name_Id := N + 240;
  459.    Name_Position                       : constant Name_Id := N + 241;
  460.    Name_Pred                           : constant Name_Id := N + 242;
  461.    Name_Range                          : constant Name_Id := N + 243;
  462.    Name_Range_Length                   : constant Name_Id := N + 244; -- GNAT
  463.    Name_Read                           : constant Name_Id := N + 245;
  464.    Name_Remainder                      : constant Name_Id := N + 246;
  465.    Name_Round                          : constant Name_Id := N + 247;
  466.    Name_Rounding                       : constant Name_Id := N + 248;
  467.    Name_Safe_Emax                      : constant Name_Id := N + 249; -- Ada 83
  468.    Name_Safe_First                     : constant Name_Id := N + 250;
  469.    Name_Safe_Large                     : constant Name_Id := N + 251; -- Ada 83
  470.    Name_Safe_Last                      : constant Name_Id := N + 252;
  471.    Name_Safe_Small                     : constant Name_Id := N + 253; -- Ada 83
  472.    Name_Scale                          : constant Name_Id := N + 254;
  473.    Name_Scaling                        : constant Name_Id := N + 255;
  474.    Name_Signed_Zeros                   : constant Name_Id := N + 256;
  475.    Name_Size                           : constant Name_Id := N + 257;
  476.    Name_Small                          : constant Name_Id := N + 258;
  477.    Name_Storage_Size                   : constant Name_Id := N + 259;
  478.    Name_Storage_Unit                   : constant Name_Id := N + 260; -- GNAT
  479.    Name_Succ                           : constant Name_Id := N + 261;
  480.    Name_Tag                            : constant Name_Id := N + 262;
  481.    Name_Terminated                     : constant Name_Id := N + 263;
  482.    Name_Tick                           : constant Name_Id := N + 264; -- GNAT
  483.    Name_Truncation                     : constant Name_Id := N + 265;
  484.    Name_Unbiased_Rounding              : constant Name_Id := N + 266;
  485.    Name_Unchecked_Access               : constant Name_Id := N + 267;
  486.    Name_Universal_Literal_String       : constant Name_Id := N + 268; -- GNAT
  487.    Name_Unrestricted_Access            : constant Name_Id := N + 269; -- GNAT
  488.    Name_Val                            : constant Name_Id := N + 270;
  489.    Name_Valid                          : constant Name_Id := N + 271;
  490.    Name_Value                          : constant Name_Id := N + 272;
  491.    Name_Version                        : constant Name_Id := N + 273;
  492.    Name_Wide_Image                     : constant Name_Id := N + 274;
  493.    Name_Wide_Value                     : constant Name_Id := N + 275;
  494.    Name_Wide_Width                     : constant Name_Id := N + 276;
  495.    Name_Width                          : constant Name_Id := N + 277;
  496.    Name_Word_Size                      : constant Name_Id := N + 278; -- GNAT
  497.    Name_Write                          : constant Name_Id := N + 279;
  498.  
  499.    --  Remaining attributes are ones that return entities
  500.  
  501.    First_Entity_Attribute_Name         : constant Name_Id := N + 280;
  502.    Name_Elab_Body                      : constant Name_Id := N + 280; -- GNAT
  503.    Name_Elab_Spec                      : constant Name_Id := N + 281; -- GNAT
  504.    Name_Storage_Pool                   : constant Name_Id := N + 282;
  505.  
  506.    --  These attributes are the ones that return types
  507.  
  508.    First_Type_Attribute_Name           : constant Name_Id := N + 283;
  509.    Name_Base                           : constant Name_Id := N + 283;
  510.    Name_Class                          : constant Name_Id := N + 284;
  511.    Last_Type_Attribute_Name            : constant Name_Id := N + 284;
  512.    Last_Entity_Attribute_Name          : constant Name_Id := N + 284;
  513.    Last_Attribute_Name                 : constant Name_Id := N + 284;
  514.  
  515.    --  Names of recognized locking policy identifiers
  516.  
  517.    First_Locking_Policy_Name           : constant Name_Id := N + 285;
  518.    Name_Ceiling_Locking                : constant Name_Id := N + 285;
  519.    Last_Locking_Policy_Name            : constant Name_Id := N + 285;
  520.  
  521.    --  Names of recognized locking policy identifiers
  522.  
  523.    First_Queuing_Policy_Name           : constant Name_Id := N + 286;
  524.    Name_FIFO_Queuing                   : constant Name_Id := N + 286;
  525.    Name_Priority_Queuing               : constant Name_Id := N + 287;
  526.    Last_Queuing_Policy_Name            : constant Name_Id := N + 287;
  527.  
  528.    --  Names of recognized task dispatching policy identifiers
  529.  
  530.    First_Task_Dispatching_Policy_Name  : constant Name_Id := N + 288;
  531.    Name_Fifo_Within_Priorities         : constant Name_Id := N + 288;
  532.    Last_Task_Dispatching_Policy_Name   : constant Name_Id := N + 288;
  533.  
  534.    --  Names of recognized checks for pragma Suppress
  535.  
  536.    First_Check_Name                    : constant Name_Id := N + 289;
  537.    Name_Access_Check                   : constant Name_Id := N + 289;
  538.    Name_Accessibility_Check            : constant Name_Id := N + 290;
  539.    Name_Discriminant_Check             : constant Name_Id := N + 291;
  540.    Name_Division_Check                 : constant Name_Id := N + 292;
  541.    Name_Elaboration_Check              : constant Name_Id := N + 293;
  542.    Name_Index_Check                    : constant Name_Id := N + 294;
  543.    Name_Length_Check                   : constant Name_Id := N + 295;
  544.    Name_Overflow_Check                 : constant Name_Id := N + 296;
  545.    Name_Range_Check                    : constant Name_Id := N + 297;
  546.    Name_Storage_Check                  : constant Name_Id := N + 298;
  547.    Name_Tag_Check                      : constant Name_Id := N + 299;
  548.    Name_All_Checks                     : constant Name_Id := N + 300;
  549.    Last_Check_Name                     : constant Name_Id := N + 300;
  550.  
  551.    --  Names corresponding to reserved keywords, excluding those already
  552.    --  declared in the attribute list (Access, Delta, Digits, Range).
  553.  
  554.    Name_Abort                          : constant Name_Id := N + 301;
  555.    Name_Abs                            : constant Name_Id := N + 302;
  556.    Name_Abstract                       : constant Name_Id := N + 303;
  557.    Name_Accept                         : constant Name_Id := N + 304;
  558.    Name_And                            : constant Name_Id := N + 305;
  559.    Name_All                            : constant Name_Id := N + 306;
  560.    Name_Array                          : constant Name_Id := N + 307;
  561.    Name_At                             : constant Name_Id := N + 308;
  562.    Name_Begin                          : constant Name_Id := N + 309;
  563.    Name_Body                           : constant Name_Id := N + 310;
  564.    Name_Case                           : constant Name_Id := N + 311;
  565.    Name_Constant                       : constant Name_Id := N + 312;
  566.    Name_Declare                        : constant Name_Id := N + 313;
  567.    Name_Delay                          : constant Name_Id := N + 314;
  568.    Name_Do                             : constant Name_Id := N + 315;
  569.    Name_Else                           : constant Name_Id := N + 316;
  570.    Name_Elsif                          : constant Name_Id := N + 317;
  571.    Name_End                            : constant Name_Id := N + 318;
  572.    Name_Entry                          : constant Name_Id := N + 319;
  573.    Name_Exception                      : constant Name_Id := N + 320;
  574.    Name_Exit                           : constant Name_Id := N + 321;
  575.    Name_For                            : constant Name_Id := N + 322;
  576.    Name_Function                       : constant Name_Id := N + 323;
  577.    Name_Generic                        : constant Name_Id := N + 324;
  578.    Name_Goto                           : constant Name_Id := N + 325;
  579.    Name_If                             : constant Name_Id := N + 326;
  580.    Name_In                             : constant Name_Id := N + 327;
  581.    Name_Is                             : constant Name_Id := N + 328;
  582.    Name_Limited                        : constant Name_Id := N + 329;
  583.    Name_Loop                           : constant Name_Id := N + 330;
  584.    Name_Mod                            : constant Name_Id := N + 331;
  585.    Name_New                            : constant Name_Id := N + 332;
  586.    Name_Not                            : constant Name_Id := N + 333;
  587.    Name_Null                           : constant Name_Id := N + 334;
  588.    Name_Of                             : constant Name_Id := N + 335;
  589.    Name_Or                             : constant Name_Id := N + 336;
  590.    Name_Others                         : constant Name_Id := N + 337;
  591.    Name_Out                            : constant Name_Id := N + 338;
  592.    Name_Package                        : constant Name_Id := N + 339;
  593.    Name_Pragma                         : constant Name_Id := N + 340;
  594.    Name_Private                        : constant Name_Id := N + 341;
  595.    Name_Procedure                      : constant Name_Id := N + 342;
  596.    Name_Raise                          : constant Name_Id := N + 343;
  597.    Name_Record                         : constant Name_Id := N + 344;
  598.    Name_Rem                            : constant Name_Id := N + 345;
  599.    Name_Renames                        : constant Name_Id := N + 346;
  600.    Name_Return                         : constant Name_Id := N + 347;
  601.    Name_Reverse                        : constant Name_Id := N + 348;
  602.    Name_Select                         : constant Name_Id := N + 349;
  603.    Name_Separate                       : constant Name_Id := N + 350;
  604.    Name_Subtype                        : constant Name_Id := N + 351;
  605.    Name_Task                           : constant Name_Id := N + 352;
  606.    Name_Terminate                      : constant Name_Id := N + 353;
  607.    Name_Then                           : constant Name_Id := N + 354;
  608.    Name_Type                           : constant Name_Id := N + 355;
  609.    Name_Use                            : constant Name_Id := N + 356;
  610.    Name_When                           : constant Name_Id := N + 357;
  611.    Name_While                          : constant Name_Id := N + 358;
  612.    Name_With                           : constant Name_Id := N + 359;
  613.    Name_Xor                            : constant Name_Id := N + 360;
  614.  
  615.    --  Names of intrinsic subprograms
  616.  
  617.    First_Intrinsic_Name                : constant Name_Id := N + 361;
  618.    Name_Divide                         : constant Name_Id := N + 361;
  619.    Name_Rotate_Left                    : constant Name_Id := N + 362;
  620.    Name_Rotate_Right                   : constant Name_Id := N + 363;
  621.    Name_Shift_Left                     : constant Name_Id := N + 364;
  622.    Name_Shift_Right                    : constant Name_Id := N + 365;
  623.    Name_Shift_Right_Arithmetic         : constant Name_Id := N + 366;
  624.    Name_Unchecked_Conversion           : constant Name_Id := N + 367;
  625.    Name_Unchecked_Deallocation         : constant Name_Id := N + 368;
  626.    Last_Intrinsic_Name                 : constant Name_Id := N + 368;
  627.  
  628.    --  Reserved words used only in Ada 95
  629.  
  630.    First_95_Reserved_Word              : constant Name_Id := N + 369;
  631.    Name_Aliased                        : constant Name_Id := N + 369;
  632.    Name_Protected                      : constant Name_Id := N + 370;
  633.    Name_Until                          : constant Name_Id := N + 371;
  634.    Name_Requeue                        : constant Name_Id := N + 372;
  635.    Name_Tagged                         : constant Name_Id := N + 373;
  636.    Last_95_Reserved_Word               : constant Name_Id := N + 373;
  637.  
  638.    subtype Ada_95_Reserved_Words is
  639.      Name_Id range First_95_Reserved_Word .. Last_95_Reserved_Word;
  640.  
  641.    --  Mark last defined name for consistency check in Snames body
  642.  
  643.    Last_Predefined_Name                : constant Name_Id := N + 373;
  644.  
  645.    subtype Any_Operator_Name is Name_Id range
  646.      First_Operator_Name .. Last_Operator_Name;
  647.  
  648.    ------------------------------
  649.    -- Attribute ID Definitions --
  650.    ------------------------------
  651.  
  652.    type Attribute_Id is (
  653.       Attribute_Abort_Signal,
  654.       Attribute_Access,
  655.       Attribute_Address,
  656.       Attribute_Address_Size,
  657.       Attribute_Adjacent,
  658.       Attribute_Aft,
  659.       Attribute_Alignment,
  660.       Attribute_Bit_Order,
  661.       Attribute_Body_Version,
  662.       Attribute_Callable,
  663.       Attribute_Caller,
  664.       Attribute_Ceiling,
  665.       Attribute_Component_Size,
  666.       Attribute_Compose,
  667.       Attribute_Constrained,
  668.       Attribute_Copy_Sign,
  669.       Attribute_Count,
  670.       Attribute_Default_Bit_Order,
  671.       Attribute_Definite,
  672.       Attribute_Delta,
  673.       Attribute_Denorm,
  674.       Attribute_Digits,
  675.       Attribute_Emax,
  676.       Attribute_Enum_Rep,
  677.       Attribute_Epsilon,
  678.       Attribute_Exponent,
  679.       Attribute_External_Tag,
  680.       Attribute_First,
  681.       Attribute_First_Bit,
  682.       Attribute_Fixed_Value,
  683.       Attribute_Floor,
  684.       Attribute_Fore,
  685.       Attribute_Fraction,
  686.       Attribute_Identity,
  687.       Attribute_Image,
  688.       Attribute_Img,
  689.       Attribute_Input,
  690.       Attribute_Integer_Value,
  691.       Attribute_Large,
  692.       Attribute_Last,
  693.       Attribute_Last_Bit,
  694.       Attribute_Leading_Part,
  695.       Attribute_Length,
  696.       Attribute_Machine,
  697.       Attribute_Machine_Emax,
  698.       Attribute_Machine_Emin,
  699.       Attribute_Machine_Mantissa,
  700.       Attribute_Machine_Overflows,
  701.       Attribute_Machine_Radix,
  702.       Attribute_Machine_Rounds,
  703.       Attribute_Mantissa,
  704.       Attribute_Max,
  705.       Attribute_Max_Interrupt_Priority,
  706.       Attribute_Max_Priority,
  707.       Attribute_Max_Size_In_Storage_Elements,
  708.       Attribute_Maximum_Alignment,
  709.       Attribute_Min,
  710.       Attribute_Model,
  711.       Attribute_Model_Emin,
  712.       Attribute_Model_Epsilon,
  713.       Attribute_Model_Mantissa,
  714.       Attribute_Model_Small,
  715.       Attribute_Modulus,
  716.       Attribute_Output,
  717.       Attribute_Partition_ID,
  718.       Attribute_Passed_By_Reference,
  719.       Attribute_Pos,
  720.       Attribute_Position,
  721.       Attribute_Pred,
  722.       Attribute_Range,
  723.       Attribute_Range_Length,
  724.       Attribute_Read,
  725.       Attribute_Remainder,
  726.       Attribute_Round,
  727.       Attribute_Rounding,
  728.       Attribute_Safe_Emax,
  729.       Attribute_Safe_First,
  730.       Attribute_Safe_Large,
  731.       Attribute_Safe_Last,
  732.       Attribute_Safe_Small,
  733.       Attribute_Scale,
  734.       Attribute_Scaling,
  735.       Attribute_Signed_Zeros,
  736.       Attribute_Size,
  737.       Attribute_Small,
  738.       Attribute_Storage_Size,
  739.       Attribute_Storage_Unit,
  740.       Attribute_Succ,
  741.       Attribute_Tag,
  742.       Attribute_Terminated,
  743.       Attribute_Tick,
  744.       Attribute_Truncation,
  745.       Attribute_Unbiased_Rounding,
  746.       Attribute_Unchecked_Access,
  747.       Attribute_Universal_Literal_String,
  748.       Attribute_Unrestricted_Access,
  749.       Attribute_Val,
  750.       Attribute_Valid,
  751.       Attribute_Value,
  752.       Attribute_Version,
  753.       Attribute_Wide_Image,
  754.       Attribute_Wide_Value,
  755.       Attribute_Wide_Width,
  756.       Attribute_Width,
  757.       Attribute_Word_Size,
  758.       Attribute_Write,
  759.  
  760.       --  Entity attributes (includes type attributes)
  761.  
  762.       Attribute_Elab_Body,
  763.       Attribute_Elab_Spec,
  764.       Attribute_Storage_Pool,
  765.  
  766.       --  Type attributes
  767.  
  768.       Attribute_Base,
  769.       Attribute_Class);
  770.  
  771.    -------------------------------
  772.    -- Check Name ID Definitions --
  773.    -------------------------------
  774.  
  775.    type Check_Id is (
  776.       Access_Check,
  777.       Accessibility_Check,
  778.       Discriminant_Check,
  779.       Division_Check,
  780.       Elaboration_Check,
  781.       Index_Check,
  782.       Length_Check,
  783.       Overflow_Check,
  784.       Range_Check,
  785.       Storage_Check,
  786.       Tag_Check,
  787.       All_Checks);
  788.  
  789.    ------------------------------------
  790.    -- Convention Name ID Definitions --
  791.    ------------------------------------
  792.  
  793.    type Convention_Id is (
  794.  
  795.       --  The conventions that are defined by the RM come first
  796.  
  797.       Convention_Ada,
  798.       Convention_Intrinsic,
  799.       Convention_Entry,
  800.       Convention_Protected,
  801.  
  802.       --  The remaining conventions are foreign language conventions
  803.  
  804.       Convention_Assembler,
  805.       Convention_C,
  806.       Convention_COBOL,
  807.       Convention_CPP,
  808.       Convention_Fortran,
  809.       Convention_Stdcall);
  810.  
  811.    for Convention_Id'Size use 8;
  812.    --  Plenty of space for expansion
  813.  
  814.    subtype Foreign_Convention is
  815.      Convention_Id range Convention_Assembler .. Convention_Stdcall;
  816.  
  817.    -----------------------------------
  818.    -- Locking Policy ID Definitions --
  819.    -----------------------------------
  820.  
  821.    type Locking_Policy_Id is (
  822.       Locking_Policy_Ceiling_Locking);
  823.  
  824.    ---------------------------
  825.    -- Pragma ID Definitions --
  826.    ---------------------------
  827.  
  828.    type Pragma_Id is (
  829.       Pragma_Abort_Defer,
  830.       Pragma_Ada_83,
  831.       Pragma_Ada_95,
  832.       Pragma_All_Calls_Remote,
  833.       Pragma_Annotate,
  834.       Pragma_Assert,
  835.       Pragma_Asynchronous,
  836.       Pragma_Atomic,
  837.       Pragma_Atomic_Components,
  838.       Pragma_Attach_Handler,
  839.       Pragma_Controlled,
  840.       Pragma_Convention,
  841.       Pragma_CPP_Class,
  842.       Pragma_CPP_Constructor,
  843.       Pragma_CPP_Destructor,
  844.       Pragma_CPP_Virtual,
  845.       Pragma_CPP_Vtable,
  846.       Pragma_Debug,
  847.       Pragma_Discard_Names,
  848.       Pragma_Elaborate,
  849.       Pragma_Elaborate_All,
  850.       Pragma_Elaborate_Body,
  851.       Pragma_Error_Monitoring,
  852.       Pragma_Export,
  853.       Pragma_Import,
  854.       Pragma_Inline,
  855.       Pragma_Inspection_Point,
  856.       Pragma_Interface,
  857.       Pragma_Interface_Name,
  858.       Pragma_Interrupt_Handler,
  859.       Pragma_Interrupt_Priority,
  860.       Pragma_Linker_Options,
  861.       Pragma_List,
  862.       Pragma_Locking_Policy,
  863.       Pragma_Machine_Attribute,
  864.       Pragma_Memory_Size,
  865.       Pragma_Normalize_Scalars,
  866.       Pragma_Optimize,
  867.       Pragma_Pack,
  868.       Pragma_Page,
  869.       Pragma_Preelaborate,
  870.       Pragma_Priority,
  871.       Pragma_Pure,
  872.       Pragma_Queuing_Policy,
  873.       Pragma_Remote_Call_Interface,
  874.       Pragma_Remote_Types,
  875.       Pragma_Restrictions,
  876.       Pragma_Reviewable,
  877.       Pragma_Shared,
  878.       Pragma_Shared_Passive,
  879.       Pragma_Source_Reference,
  880.       Pragma_Suppress,
  881.       Pragma_System_Name,
  882.       Pragma_Task_Dispatching_Policy,
  883.       Pragma_Unimplemented_Unit,
  884.       Pragma_Unsuppress,
  885.       Pragma_Volatile,
  886.       Pragma_Volatile_Components,
  887.  
  888.       --  The following pragmas are on their own, out of order, because of
  889.       --  the special processing required to deal with the fact that their
  890.       --  names match existing attribute names.
  891.  
  892.       Pragma_Storage_Size,
  893.       Pragma_Storage_Unit);
  894.  
  895.    ------------------------------------
  896.    -- Queueing Policy ID definitions --
  897.    ------------------------------------
  898.  
  899.    type Queuing_Policy_Id is (
  900.       Queuing_Policy_FIFO_Queuing,
  901.       Queuing_Policy_Priority_Queuing);
  902.  
  903.    --------------------------------------------
  904.    -- Task Dispatching Policy ID definitions --
  905.    --------------------------------------------
  906.  
  907.    type Task_Dispatching_Policy_Id is (
  908.       Task_Dispatching_FIFO_Within_Priorities);
  909.    --  Id values used to identify task dispatching policies
  910.  
  911.    -----------------
  912.    -- Subprograms --
  913.    -----------------
  914.  
  915.    procedure Initialize;
  916.    --  Called to initialize the preset names in the names table.
  917.  
  918.    function Is_Attribute_Name (N : Name_Id) return Boolean;
  919.    --  Test to see if the name N is the name of a recognized attribute
  920.  
  921.    function Is_Entity_Attribute_Name (N : Name_Id) return Boolean;
  922.    --  Test to see if the name N is the name of a recognized entity attribute,
  923.    --  i.e. an attribute reference that returns an entity.
  924.  
  925.    function Is_Type_Attribute_Name (N : Name_Id) return Boolean;
  926.    --  Test to see if the name N is the name of a recognized type attribute,
  927.    --  i.e. an attribute reference that returns a type
  928.  
  929.    function Is_Check_Name (N : Name_Id) return Boolean;
  930.    --  Test to see if the name N is the name of a recognized suppress check
  931.    --  as required by pragma Suppress.
  932.  
  933.    function Is_Convention_Name (N : Name_Id) return Boolean;
  934.    --  Test to see if the name N is the name of one of the recognized language
  935.    --  conventions, as required by pragma Convention, Import, Export, Interface
  936.  
  937.    function Is_Locking_Policy_Name (N : Name_Id) return Boolean;
  938.    --  Test to see if the name N is the name of a recognized locking policy
  939.  
  940.    function Is_Operator_Symbol_Name (N : Name_Id) return Boolean;
  941.    --  Test to see if the name N is the name of an operator symbol
  942.  
  943.    function Is_Pragma_Name (N : Name_Id) return Boolean;
  944.    --  Test to see if the name N is the name of a recognized pragma. Note
  945.    --  that pragma Storage_Size is recognized as a pragma by this function
  946.    --  even though its name is separate from the other pragma names.
  947.  
  948.    function Is_Queuing_Policy_Name (N : Name_Id) return Boolean;
  949.    --  Test to see if the name N is the name of a recognized queuing policy
  950.  
  951.    function Is_Task_Dispatching_Policy_Name (N : Name_Id) return Boolean;
  952.    --  Test to see if the name N is the name of a recognized
  953.    --  task dispatching policy
  954.  
  955.    function Get_Attribute_Id (N : Name_Id) return Attribute_Id;
  956.    --  Returns Id of attribute corresponding to given name. It is an error to
  957.    --  call this function with a name that is not the name of a attribute.
  958.  
  959.    function Get_Convention_Id (N : Name_Id) return Convention_Id;
  960.    --  Returns Id of language convention corresponding to given name. It is an
  961.    --  to call this function with a name that is not the name of a check.
  962.  
  963.    function Get_Check_Id (N : Name_Id) return Check_Id;
  964.    --  Returns Id of suppress check corresponding to given name. It is an error
  965.    --  to call this function with a name that is not the name of a check.
  966.  
  967.    function Get_Locking_Policy_Id (N : Name_Id) return Locking_Policy_Id;
  968.    --  Returns Id of locking policy corresponding to given name. It is an error
  969.    --  to call this function with a name that is not the name of a check.
  970.  
  971.    function Get_Pragma_Id (N : Name_Id) return Pragma_Id;
  972.    --  Returns Id of pragma corresponding to given name. It is an error to
  973.    --  call this function with a name that is not the name of a pragma. Note
  974.    --  that Name_Storage_Size correctly returns Pragma_Storage_Size, even
  975.    --  though its name is separated from the other pragma names.
  976.  
  977.    function Get_Queuing_Policy_Id (N : Name_Id) return Queuing_Policy_Id;
  978.    --  Returns Id of queuing policy corresponding to given name. It is an error
  979.    --  to call this function with a name that is not the name of a check.
  980.  
  981.    function Get_Task_Dispatching_Policy_Id
  982.      (N    : Name_Id)
  983.       return Task_Dispatching_Policy_Id;
  984.    --  Returns Id of task dispatching policy corresponding to given name. It
  985.    --  is an error to call this function with a name that is not the name
  986.    --  of a check.
  987.  
  988. private
  989.    pragma Inline (Is_Attribute_Name);
  990.    pragma Inline (Is_Entity_Attribute_Name);
  991.    pragma Inline (Is_Type_Attribute_Name);
  992.    pragma Inline (Is_Check_Name);
  993.    pragma Inline (Is_Convention_Name);
  994.    pragma Inline (Is_Locking_Policy_Name);
  995.    pragma Inline (Is_Operator_Symbol_Name);
  996.    pragma Inline (Is_Queuing_Policy_Name);
  997.    pragma Inline (Is_Pragma_Name);
  998.    pragma Inline (Is_Task_Dispatching_Policy_Name);
  999.  
  1000. end Snames;
  1001.