diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2005-01-03 16:32:19 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2005-01-03 16:32:19 +0100 |
| commit | 5f3ab6fbf007f309b823cd77f1d3eed52ee0d0a7 (patch) | |
| tree | b913840c88dfad71cc2715a06794206e2889a7a3 /gcc/ada/snames.ads | |
| parent | b1c1e25cb023b3b8f26f9ad3701a7fd61c9e25f4 (diff) | |
| download | gcc-5f3ab6fbf007f309b823cd77f1d3eed52ee0d0a7.zip gcc-5f3ab6fbf007f309b823cd77f1d3eed52ee0d0a7.tar.gz gcc-5f3ab6fbf007f309b823cd77f1d3eed52ee0d0a7.tar.bz2 | |
s-atacco.ads, [...]: Protect use of 'Constrained by warnings on/off...
* s-atacco.ads, a-direio.adb: Protect use of 'Constrained by warnings
on/off, since this is an obsolescent feature, for which we now generate
a warning.
* sem_attr.adb (Analyze_Attribute, case Constrained): Issue warning if
warning mode is set and obsolescent usage of this attribute occurs.
(Resolve_Access, case 'Access): Note that GNAT uses the context type to
disambiguate overloaded prefixes, in accordance with AI-235. GNAT code
predates, and partly motivates, the adoption of the AI.
Implement new Ada 2005 attribute Mod
* exp_attr.adb (Expand_N_Attribute_Reference): Implement Ada 2005
attribute Mod.
* par-ch4.adb (P_Name): In Ada 2005 mode, recognize new attribute Mod
* snames.h, snames.ads, snames.adb: Add entry for No_Dependence for
pragma restrictions.
New entry for Ada 2005 attribute Mod.
* par-prag.adb:
Add recognition of new pragma Restrictions No_Dependence
Recognize restriction No_Obsolescent_Features at parse time
* bcheck.adb: Add circuitry for checking for consistency of
No_Dependence restrictions.
* lib-writ.ads, lib-writ.adb: Output new R lines for No_Dependence
restrictions.
* restrict.ads, restrict.adb: Add subprograms to deal with
No_Dependence restrictions.
* rtsfind.adb: Check that implicit with's do not violate No_Dependence
restrictions.
* sem_ch3.adb, sem_ch11.adb, sem_ch13.adb, lib-xref.adb,
sem_attr.adb: Add check for new restriction No_Obsolescent_Features
* scn.ads, prj-err.ads, prj-err.adb, ali-util.adb, gprep.adb: Add new
dummy parameter to scng instantiation.
Needed for new restriction No_Obsolescent_Features
* scn.adb: (Obsolescent_Check): New procedure
Needed for new restriction No_Obsolescent_Features
* scng.ads, scng.adb: Always allow wide characters in Ada 2005 mode, as
specified by AI-285, needed for implementation of AI-388 (adding greek
pi to Ada.Numerics).
Add new generic formal to scng, needed for new restriction
No_Obsolescent_Features.
* s-rident.ads: Add new restriction No_Obsolescent_Features.
* ali.ads, ali.adb: Adjustments for reading new No_Dependence
restrictions lines.
(Scan_ALI): When finding an unexpected character on an R line, raise
exception Bad_R_Line, instead of calling Fatal_Error, so that, when
Ignore_Errors is True, default restrictions are set and scanning of the
ALI file continues with the next line. Also, when Bad_R_Line is raised
and Ignore_Errors is True, skip to the end of le line.
* sem_ch10.adb: Check that explicit with's do not violate
No_Dependence restrictions.
(Install_Withed_Unit): Add code to implement AI-377 and diagnose
illegal context clauses containing child units of instance.
* sem_prag.adb: Processing and checking for new No_Dependence
restrictions.
(Analyze_Pragma, case Psect_Object): Call Check_Arg_Is_External_Name to
analyze and check the External argument.
* a-numeri.ads: Add greek letter pi as alternative spelling of Pi
From-SVN: r92829
Diffstat (limited to 'gcc/ada/snames.ads')
| -rw-r--r-- | gcc/ada/snames.ads | 715 |
1 files changed, 359 insertions, 356 deletions
diff --git a/gcc/ada/snames.ads b/gcc/ada/snames.ads index 4fb6c25..5d48007 100644 --- a/gcc/ada/snames.ads +++ b/gcc/ada/snames.ads @@ -559,43 +559,44 @@ package Snames is Name_Name : constant Name_Id := N + 296; Name_NCA : constant Name_Id := N + 297; Name_No : constant Name_Id := N + 298; - Name_On : constant Name_Id := N + 299; - Name_Parameter_Types : constant Name_Id := N + 300; - Name_Reference : constant Name_Id := N + 301; - Name_No_Dynamic_Attachment : constant Name_Id := N + 302; - Name_No_Dynamic_Interrupts : constant Name_Id := N + 303; - Name_No_Requeue : constant Name_Id := N + 304; - Name_No_Requeue_Statements : constant Name_Id := N + 305; - Name_No_Task_Attributes : constant Name_Id := N + 306; - Name_No_Task_Attributes_Package : constant Name_Id := N + 307; - Name_Restricted : constant Name_Id := N + 308; - Name_Result_Mechanism : constant Name_Id := N + 309; - Name_Result_Type : constant Name_Id := N + 310; - Name_Runtime : constant Name_Id := N + 311; - Name_SB : constant Name_Id := N + 312; - Name_Secondary_Stack_Size : constant Name_Id := N + 313; - Name_Section : constant Name_Id := N + 314; - Name_Semaphore : constant Name_Id := N + 315; - Name_Simple_Barriers : constant Name_Id := N + 316; - Name_Spec_File_Name : constant Name_Id := N + 317; - Name_Static : constant Name_Id := N + 318; - Name_Stack_Size : constant Name_Id := N + 319; - Name_Subunit_File_Name : constant Name_Id := N + 320; - Name_Task_Stack_Size_Default : constant Name_Id := N + 321; - Name_Task_Type : constant Name_Id := N + 322; - Name_Time_Slicing_Enabled : constant Name_Id := N + 323; - Name_Top_Guard : constant Name_Id := N + 324; - Name_UBA : constant Name_Id := N + 325; - Name_UBS : constant Name_Id := N + 326; - Name_UBSB : constant Name_Id := N + 327; - Name_Unit_Name : constant Name_Id := N + 328; - Name_Unknown : constant Name_Id := N + 329; - Name_Unrestricted : constant Name_Id := N + 330; - Name_Uppercase : constant Name_Id := N + 331; - Name_User : constant Name_Id := N + 332; - Name_VAX_Float : constant Name_Id := N + 333; - Name_VMS : constant Name_Id := N + 334; - Name_Working_Storage : constant Name_Id := N + 335; + Name_No_Dependence : constant Name_Id := N + 299; + Name_No_Dynamic_Attachment : constant Name_Id := N + 300; + Name_No_Dynamic_Interrupts : constant Name_Id := N + 301; + Name_No_Requeue : constant Name_Id := N + 302; + Name_No_Requeue_Statements : constant Name_Id := N + 303; + Name_No_Task_Attributes : constant Name_Id := N + 304; + Name_No_Task_Attributes_Package : constant Name_Id := N + 305; + Name_On : constant Name_Id := N + 306; + Name_Parameter_Types : constant Name_Id := N + 307; + Name_Reference : constant Name_Id := N + 308; + Name_Restricted : constant Name_Id := N + 309; + Name_Result_Mechanism : constant Name_Id := N + 310; + Name_Result_Type : constant Name_Id := N + 311; + Name_Runtime : constant Name_Id := N + 312; + Name_SB : constant Name_Id := N + 313; + Name_Secondary_Stack_Size : constant Name_Id := N + 314; + Name_Section : constant Name_Id := N + 315; + Name_Semaphore : constant Name_Id := N + 316; + Name_Simple_Barriers : constant Name_Id := N + 317; + Name_Spec_File_Name : constant Name_Id := N + 318; + Name_Static : constant Name_Id := N + 319; + Name_Stack_Size : constant Name_Id := N + 320; + Name_Subunit_File_Name : constant Name_Id := N + 321; + Name_Task_Stack_Size_Default : constant Name_Id := N + 322; + Name_Task_Type : constant Name_Id := N + 323; + Name_Time_Slicing_Enabled : constant Name_Id := N + 324; + Name_Top_Guard : constant Name_Id := N + 325; + Name_UBA : constant Name_Id := N + 326; + Name_UBS : constant Name_Id := N + 327; + Name_UBSB : constant Name_Id := N + 328; + Name_Unit_Name : constant Name_Id := N + 329; + Name_Unknown : constant Name_Id := N + 330; + Name_Unrestricted : constant Name_Id := N + 331; + Name_Uppercase : constant Name_Id := N + 332; + Name_User : constant Name_Id := N + 333; + Name_VAX_Float : constant Name_Id := N + 334; + Name_VMS : constant Name_Id := N + 335; + Name_Working_Storage : constant Name_Id := N + 336; -- Names of recognized attributes. The entries with the comment "Ada 83" -- are attributes that are defined in Ada 83, but not in Ada 95. These @@ -609,159 +610,161 @@ package Snames is -- The entries marked VMS are recognized only in OpenVMS implementations -- of GNAT, and are treated as illegal in all other contexts. - First_Attribute_Name : constant Name_Id := N + 336; - Name_Abort_Signal : constant Name_Id := N + 336; -- GNAT - Name_Access : constant Name_Id := N + 337; - Name_Address : constant Name_Id := N + 338; - Name_Address_Size : constant Name_Id := N + 339; -- GNAT - Name_Aft : constant Name_Id := N + 340; - Name_Alignment : constant Name_Id := N + 341; - Name_Asm_Input : constant Name_Id := N + 342; -- GNAT - Name_Asm_Output : constant Name_Id := N + 343; -- GNAT - Name_AST_Entry : constant Name_Id := N + 344; -- VMS - Name_Bit : constant Name_Id := N + 345; -- GNAT - Name_Bit_Order : constant Name_Id := N + 346; - Name_Bit_Position : constant Name_Id := N + 347; -- GNAT - Name_Body_Version : constant Name_Id := N + 348; - Name_Callable : constant Name_Id := N + 349; - Name_Caller : constant Name_Id := N + 350; - Name_Code_Address : constant Name_Id := N + 351; -- GNAT - Name_Component_Size : constant Name_Id := N + 352; - Name_Compose : constant Name_Id := N + 353; - Name_Constrained : constant Name_Id := N + 354; - Name_Count : constant Name_Id := N + 355; - Name_Default_Bit_Order : constant Name_Id := N + 356; -- GNAT - Name_Definite : constant Name_Id := N + 357; - Name_Delta : constant Name_Id := N + 358; - Name_Denorm : constant Name_Id := N + 359; - Name_Digits : constant Name_Id := N + 360; - Name_Elaborated : constant Name_Id := N + 361; -- GNAT - Name_Emax : constant Name_Id := N + 362; -- Ada 83 - Name_Enum_Rep : constant Name_Id := N + 363; -- GNAT - Name_Epsilon : constant Name_Id := N + 364; -- Ada 83 - Name_Exponent : constant Name_Id := N + 365; - Name_External_Tag : constant Name_Id := N + 366; - Name_First : constant Name_Id := N + 367; - Name_First_Bit : constant Name_Id := N + 368; - Name_Fixed_Value : constant Name_Id := N + 369; -- GNAT - Name_Fore : constant Name_Id := N + 370; - Name_Has_Access_Values : constant Name_Id := N + 371; -- GNAT - Name_Has_Discriminants : constant Name_Id := N + 372; -- GNAT - Name_Identity : constant Name_Id := N + 373; - Name_Img : constant Name_Id := N + 374; -- GNAT - Name_Integer_Value : constant Name_Id := N + 375; -- GNAT - Name_Large : constant Name_Id := N + 376; -- Ada 83 - Name_Last : constant Name_Id := N + 377; - Name_Last_Bit : constant Name_Id := N + 378; - Name_Leading_Part : constant Name_Id := N + 379; - Name_Length : constant Name_Id := N + 380; - Name_Machine_Emax : constant Name_Id := N + 381; - Name_Machine_Emin : constant Name_Id := N + 382; - Name_Machine_Mantissa : constant Name_Id := N + 383; - Name_Machine_Overflows : constant Name_Id := N + 384; - Name_Machine_Radix : constant Name_Id := N + 385; - Name_Machine_Rounds : constant Name_Id := N + 386; - Name_Machine_Size : constant Name_Id := N + 387; -- GNAT - Name_Mantissa : constant Name_Id := N + 388; -- Ada 83 - Name_Max_Size_In_Storage_Elements : constant Name_Id := N + 389; - Name_Maximum_Alignment : constant Name_Id := N + 390; -- GNAT - Name_Mechanism_Code : constant Name_Id := N + 391; -- GNAT - Name_Model_Emin : constant Name_Id := N + 392; - Name_Model_Epsilon : constant Name_Id := N + 393; - Name_Model_Mantissa : constant Name_Id := N + 394; - Name_Model_Small : constant Name_Id := N + 395; - Name_Modulus : constant Name_Id := N + 396; - Name_Null_Parameter : constant Name_Id := N + 397; -- GNAT - Name_Object_Size : constant Name_Id := N + 398; -- GNAT - Name_Partition_ID : constant Name_Id := N + 399; - Name_Passed_By_Reference : constant Name_Id := N + 400; -- GNAT - Name_Pool_Address : constant Name_Id := N + 401; - Name_Pos : constant Name_Id := N + 402; - Name_Position : constant Name_Id := N + 403; - Name_Range : constant Name_Id := N + 404; - Name_Range_Length : constant Name_Id := N + 405; -- GNAT - Name_Round : constant Name_Id := N + 406; - Name_Safe_Emax : constant Name_Id := N + 407; -- Ada 83 - Name_Safe_First : constant Name_Id := N + 408; - Name_Safe_Large : constant Name_Id := N + 409; -- Ada 83 - Name_Safe_Last : constant Name_Id := N + 410; - Name_Safe_Small : constant Name_Id := N + 411; -- Ada 83 - Name_Scale : constant Name_Id := N + 412; - Name_Scaling : constant Name_Id := N + 413; - Name_Signed_Zeros : constant Name_Id := N + 414; - Name_Size : constant Name_Id := N + 415; - Name_Small : constant Name_Id := N + 416; - Name_Storage_Size : constant Name_Id := N + 417; - Name_Storage_Unit : constant Name_Id := N + 418; -- GNAT - Name_Tag : constant Name_Id := N + 419; - Name_Target_Name : constant Name_Id := N + 420; -- GNAT - Name_Terminated : constant Name_Id := N + 421; - Name_To_Address : constant Name_Id := N + 422; -- GNAT - Name_Type_Class : constant Name_Id := N + 423; -- GNAT - Name_UET_Address : constant Name_Id := N + 424; -- GNAT - Name_Unbiased_Rounding : constant Name_Id := N + 425; - Name_Unchecked_Access : constant Name_Id := N + 426; - Name_Unconstrained_Array : constant Name_Id := N + 427; - Name_Universal_Literal_String : constant Name_Id := N + 428; -- GNAT - Name_Unrestricted_Access : constant Name_Id := N + 429; -- GNAT - Name_VADS_Size : constant Name_Id := N + 430; -- GNAT - Name_Val : constant Name_Id := N + 431; - Name_Valid : constant Name_Id := N + 432; - Name_Value_Size : constant Name_Id := N + 433; -- GNAT - Name_Version : constant Name_Id := N + 434; - Name_Wchar_T_Size : constant Name_Id := N + 435; -- GNAT - Name_Wide_Width : constant Name_Id := N + 436; - Name_Width : constant Name_Id := N + 437; - Name_Word_Size : constant Name_Id := N + 438; -- GNAT + First_Attribute_Name : constant Name_Id := N + 337; + Name_Abort_Signal : constant Name_Id := N + 337; -- GNAT + Name_Access : constant Name_Id := N + 338; + Name_Address : constant Name_Id := N + 339; + Name_Address_Size : constant Name_Id := N + 340; -- GNAT + Name_Aft : constant Name_Id := N + 341; + Name_Alignment : constant Name_Id := N + 342; + Name_Asm_Input : constant Name_Id := N + 343; -- GNAT + Name_Asm_Output : constant Name_Id := N + 344; -- GNAT + Name_AST_Entry : constant Name_Id := N + 345; -- VMS + Name_Bit : constant Name_Id := N + 346; -- GNAT + Name_Bit_Order : constant Name_Id := N + 347; + Name_Bit_Position : constant Name_Id := N + 348; -- GNAT + Name_Body_Version : constant Name_Id := N + 349; + Name_Callable : constant Name_Id := N + 350; + Name_Caller : constant Name_Id := N + 351; + Name_Code_Address : constant Name_Id := N + 352; -- GNAT + Name_Component_Size : constant Name_Id := N + 353; + Name_Compose : constant Name_Id := N + 354; + Name_Constrained : constant Name_Id := N + 355; + Name_Count : constant Name_Id := N + 356; + Name_Default_Bit_Order : constant Name_Id := N + 357; -- GNAT + Name_Definite : constant Name_Id := N + 358; + Name_Delta : constant Name_Id := N + 359; + Name_Denorm : constant Name_Id := N + 360; + Name_Digits : constant Name_Id := N + 361; + Name_Elaborated : constant Name_Id := N + 362; -- GNAT + Name_Emax : constant Name_Id := N + 363; -- Ada 83 + Name_Enum_Rep : constant Name_Id := N + 364; -- GNAT + Name_Epsilon : constant Name_Id := N + 365; -- Ada 83 + Name_Exponent : constant Name_Id := N + 366; + Name_External_Tag : constant Name_Id := N + 367; + Name_First : constant Name_Id := N + 368; + Name_First_Bit : constant Name_Id := N + 369; + Name_Fixed_Value : constant Name_Id := N + 370; -- GNAT + Name_Fore : constant Name_Id := N + 371; + Name_Has_Access_Values : constant Name_Id := N + 372; -- GNAT + Name_Has_Discriminants : constant Name_Id := N + 373; -- GNAT + Name_Identity : constant Name_Id := N + 374; + Name_Img : constant Name_Id := N + 375; -- GNAT + Name_Integer_Value : constant Name_Id := N + 376; -- GNAT + Name_Large : constant Name_Id := N + 377; -- Ada 83 + Name_Last : constant Name_Id := N + 378; + Name_Last_Bit : constant Name_Id := N + 379; + Name_Leading_Part : constant Name_Id := N + 380; + Name_Length : constant Name_Id := N + 381; + Name_Machine_Emax : constant Name_Id := N + 382; + Name_Machine_Emin : constant Name_Id := N + 383; + Name_Machine_Mantissa : constant Name_Id := N + 384; + Name_Machine_Overflows : constant Name_Id := N + 385; + Name_Machine_Radix : constant Name_Id := N + 386; + Name_Machine_Rounds : constant Name_Id := N + 387; + Name_Machine_Size : constant Name_Id := N + 388; -- GNAT + Name_Mantissa : constant Name_Id := N + 389; -- Ada 83 + Name_Max_Size_In_Storage_Elements : constant Name_Id := N + 390; + Name_Maximum_Alignment : constant Name_Id := N + 391; -- GNAT + Name_Mechanism_Code : constant Name_Id := N + 392; -- GNAT + Name_Mod : constant Name_Id := N + 393; + Name_Model_Emin : constant Name_Id := N + 394; + Name_Model_Epsilon : constant Name_Id := N + 395; + Name_Model_Mantissa : constant Name_Id := N + 396; + Name_Model_Small : constant Name_Id := N + 397; + Name_Modulus : constant Name_Id := N + 398; + Name_Null_Parameter : constant Name_Id := N + 399; -- GNAT + Name_Object_Size : constant Name_Id := N + 400; -- GNAT + Name_Partition_ID : constant Name_Id := N + 401; + Name_Passed_By_Reference : constant Name_Id := N + 402; -- GNAT + Name_Pool_Address : constant Name_Id := N + 403; + Name_Pos : constant Name_Id := N + 404; + Name_Position : constant Name_Id := N + 405; + Name_Range : constant Name_Id := N + 406; + Name_Range_Length : constant Name_Id := N + 407; -- GNAT + Name_Round : constant Name_Id := N + 408; + Name_Safe_Emax : constant Name_Id := N + 409; -- Ada 83 + Name_Safe_First : constant Name_Id := N + 410; + Name_Safe_Large : constant Name_Id := N + 411; -- Ada 83 + Name_Safe_Last : constant Name_Id := N + 412; + Name_Safe_Small : constant Name_Id := N + 413; -- Ada 83 + Name_Scale : constant Name_Id := N + 414; + Name_Scaling : constant Name_Id := N + 415; + Name_Signed_Zeros : constant Name_Id := N + 416; + Name_Size : constant Name_Id := N + 417; + Name_Small : constant Name_Id := N + 418; + Name_Storage_Size : constant Name_Id := N + 419; + Name_Storage_Unit : constant Name_Id := N + 420; -- GNAT + Name_Tag : constant Name_Id := N + 421; + Name_Target_Name : constant Name_Id := N + 422; -- GNAT + Name_Terminated : constant Name_Id := N + 423; + Name_To_Address : constant Name_Id := N + 424; -- GNAT + Name_Type_Class : constant Name_Id := N + 425; -- GNAT + Name_UET_Address : constant Name_Id := N + 426; -- GNAT + Name_Unbiased_Rounding : constant Name_Id := N + 427; + Name_Unchecked_Access : constant Name_Id := N + 428; + Name_Unconstrained_Array : constant Name_Id := N + 429; + Name_Universal_Literal_String : constant Name_Id := N + 430; -- GNAT + Name_Unrestricted_Access : constant Name_Id := N + 431; -- GNAT + Name_VADS_Size : constant Name_Id := N + 432; -- GNAT + Name_Val : constant Name_Id := N + 433; + Name_Valid : constant Name_Id := N + 434; + Name_Value_Size : constant Name_Id := N + 435; -- GNAT + Name_Version : constant Name_Id := N + 436; + Name_Wchar_T_Size : constant Name_Id := N + 437; -- GNAT + Name_Wide_Width : constant Name_Id := N + 438; + Name_Width : constant Name_Id := N + 439; + Name_Word_Size : constant Name_Id := N + 440; -- GNAT -- Attributes that designate attributes returning renamable functions, - -- i.e. functions that return other than a universal value. - - First_Renamable_Function_Attribute : constant Name_Id := N + 439; - Name_Adjacent : constant Name_Id := N + 439; - Name_Ceiling : constant Name_Id := N + 440; - Name_Copy_Sign : constant Name_Id := N + 441; - Name_Floor : constant Name_Id := N + 442; - Name_Fraction : constant Name_Id := N + 443; - Name_Image : constant Name_Id := N + 444; - Name_Input : constant Name_Id := N + 445; - Name_Machine : constant Name_Id := N + 446; - Name_Max : constant Name_Id := N + 447; - Name_Min : constant Name_Id := N + 448; - Name_Model : constant Name_Id := N + 449; - Name_Pred : constant Name_Id := N + 450; - Name_Remainder : constant Name_Id := N + 451; - Name_Rounding : constant Name_Id := N + 452; - Name_Succ : constant Name_Id := N + 453; - Name_Truncation : constant Name_Id := N + 454; - Name_Value : constant Name_Id := N + 455; - Name_Wide_Image : constant Name_Id := N + 456; - Name_Wide_Value : constant Name_Id := N + 457; - Last_Renamable_Function_Attribute : constant Name_Id := N + 457; + -- i.e. functions that return other than a universal value and that + -- have non-universal arguments. + + First_Renamable_Function_Attribute : constant Name_Id := N + 441; + Name_Adjacent : constant Name_Id := N + 441; + Name_Ceiling : constant Name_Id := N + 442; + Name_Copy_Sign : constant Name_Id := N + 443; + Name_Floor : constant Name_Id := N + 444; + Name_Fraction : constant Name_Id := N + 445; + Name_Image : constant Name_Id := N + 446; + Name_Input : constant Name_Id := N + 447; + Name_Machine : constant Name_Id := N + 448; + Name_Max : constant Name_Id := N + 449; + Name_Min : constant Name_Id := N + 450; + Name_Model : constant Name_Id := N + 451; + Name_Pred : constant Name_Id := N + 452; + Name_Remainder : constant Name_Id := N + 453; + Name_Rounding : constant Name_Id := N + 454; + Name_Succ : constant Name_Id := N + 455; + Name_Truncation : constant Name_Id := N + 456; + Name_Value : constant Name_Id := N + 457; + Name_Wide_Image : constant Name_Id := N + 458; + Name_Wide_Value : constant Name_Id := N + 459; + Last_Renamable_Function_Attribute : constant Name_Id := N + 459; -- Attributes that designate procedures - First_Procedure_Attribute : constant Name_Id := N + 458; - Name_Output : constant Name_Id := N + 458; - Name_Read : constant Name_Id := N + 459; - Name_Write : constant Name_Id := N + 460; - Last_Procedure_Attribute : constant Name_Id := N + 460; + First_Procedure_Attribute : constant Name_Id := N + 460; + Name_Output : constant Name_Id := N + 460; + Name_Read : constant Name_Id := N + 461; + Name_Write : constant Name_Id := N + 462; + Last_Procedure_Attribute : constant Name_Id := N + 462; -- Remaining attributes are ones that return entities - First_Entity_Attribute_Name : constant Name_Id := N + 461; - Name_Elab_Body : constant Name_Id := N + 461; -- GNAT - Name_Elab_Spec : constant Name_Id := N + 462; -- GNAT - Name_Storage_Pool : constant Name_Id := N + 463; + First_Entity_Attribute_Name : constant Name_Id := N + 463; + Name_Elab_Body : constant Name_Id := N + 463; -- GNAT + Name_Elab_Spec : constant Name_Id := N + 464; -- GNAT + Name_Storage_Pool : constant Name_Id := N + 465; -- These attributes are the ones that return types - First_Type_Attribute_Name : constant Name_Id := N + 464; - Name_Base : constant Name_Id := N + 464; - Name_Class : constant Name_Id := N + 465; - Last_Type_Attribute_Name : constant Name_Id := N + 465; - Last_Entity_Attribute_Name : constant Name_Id := N + 465; - Last_Attribute_Name : constant Name_Id := N + 465; + First_Type_Attribute_Name : constant Name_Id := N + 466; + Name_Base : constant Name_Id := N + 466; + Name_Class : constant Name_Id := N + 467; + Last_Type_Attribute_Name : constant Name_Id := N + 467; + Last_Entity_Attribute_Name : constant Name_Id := N + 467; + Last_Attribute_Name : constant Name_Id := N + 467; -- Names of recognized locking policy identifiers @@ -769,10 +772,10 @@ package Snames is -- name (e.g. C for Ceiling_Locking). If new policy names are added, -- the first character must be distinct. - First_Locking_Policy_Name : constant Name_Id := N + 466; - Name_Ceiling_Locking : constant Name_Id := N + 466; - Name_Inheritance_Locking : constant Name_Id := N + 467; - Last_Locking_Policy_Name : constant Name_Id := N + 467; + First_Locking_Policy_Name : constant Name_Id := N + 468; + Name_Ceiling_Locking : constant Name_Id := N + 468; + Name_Inheritance_Locking : constant Name_Id := N + 469; + Last_Locking_Policy_Name : constant Name_Id := N + 469; -- Names of recognized queuing policy identifiers. @@ -780,10 +783,10 @@ package Snames is -- name (e.g. F for FIFO_Queuing). If new policy names are added, -- the first character must be distinct. - First_Queuing_Policy_Name : constant Name_Id := N + 468; - Name_FIFO_Queuing : constant Name_Id := N + 468; - Name_Priority_Queuing : constant Name_Id := N + 469; - Last_Queuing_Policy_Name : constant Name_Id := N + 469; + First_Queuing_Policy_Name : constant Name_Id := N + 470; + Name_FIFO_Queuing : constant Name_Id := N + 470; + Name_Priority_Queuing : constant Name_Id := N + 471; + Last_Queuing_Policy_Name : constant Name_Id := N + 471; -- Names of recognized task dispatching policy identifiers @@ -791,205 +794,204 @@ package Snames is -- name (e.g. F for FIFO_WIthinn_Priorities). If new policy names -- are added, the first character must be distinct. - First_Task_Dispatching_Policy_Name : constant Name_Id := N + 470; - Name_FIFO_Within_Priorities : constant Name_Id := N + 470; - Last_Task_Dispatching_Policy_Name : constant Name_Id := N + 470; + First_Task_Dispatching_Policy_Name : constant Name_Id := N + 472; + Name_FIFO_Within_Priorities : constant Name_Id := N + 472; + Last_Task_Dispatching_Policy_Name : constant Name_Id := N + 472; -- Names of recognized checks for pragma Suppress - First_Check_Name : constant Name_Id := N + 471; - Name_Access_Check : constant Name_Id := N + 471; - Name_Accessibility_Check : constant Name_Id := N + 472; - Name_Discriminant_Check : constant Name_Id := N + 473; - Name_Division_Check : constant Name_Id := N + 474; - Name_Elaboration_Check : constant Name_Id := N + 475; - Name_Index_Check : constant Name_Id := N + 476; - Name_Length_Check : constant Name_Id := N + 477; - Name_Overflow_Check : constant Name_Id := N + 478; - Name_Range_Check : constant Name_Id := N + 479; - Name_Storage_Check : constant Name_Id := N + 480; - Name_Tag_Check : constant Name_Id := N + 481; - Name_All_Checks : constant Name_Id := N + 482; - Last_Check_Name : constant Name_Id := N + 482; + First_Check_Name : constant Name_Id := N + 473; + Name_Access_Check : constant Name_Id := N + 473; + Name_Accessibility_Check : constant Name_Id := N + 474; + Name_Discriminant_Check : constant Name_Id := N + 475; + Name_Division_Check : constant Name_Id := N + 476; + Name_Elaboration_Check : constant Name_Id := N + 477; + Name_Index_Check : constant Name_Id := N + 478; + Name_Length_Check : constant Name_Id := N + 479; + Name_Overflow_Check : constant Name_Id := N + 480; + Name_Range_Check : constant Name_Id := N + 481; + Name_Storage_Check : constant Name_Id := N + 482; + Name_Tag_Check : constant Name_Id := N + 483; + Name_All_Checks : constant Name_Id := N + 484; + Last_Check_Name : constant Name_Id := N + 484; -- Names corresponding to reserved keywords, excluding those already - -- declared in the attribute list (Access, Delta, Digits, Range). - - Name_Abort : constant Name_Id := N + 483; - Name_Abs : constant Name_Id := N + 484; - Name_Accept : constant Name_Id := N + 485; - Name_And : constant Name_Id := N + 486; - Name_All : constant Name_Id := N + 487; - Name_Array : constant Name_Id := N + 488; - Name_At : constant Name_Id := N + 489; - Name_Begin : constant Name_Id := N + 490; - Name_Body : constant Name_Id := N + 491; - Name_Case : constant Name_Id := N + 492; - Name_Constant : constant Name_Id := N + 493; - Name_Declare : constant Name_Id := N + 494; - Name_Delay : constant Name_Id := N + 495; - Name_Do : constant Name_Id := N + 496; - Name_Else : constant Name_Id := N + 497; - Name_Elsif : constant Name_Id := N + 498; - Name_End : constant Name_Id := N + 499; - Name_Entry : constant Name_Id := N + 500; - Name_Exception : constant Name_Id := N + 501; - Name_Exit : constant Name_Id := N + 502; - Name_For : constant Name_Id := N + 503; - Name_Function : constant Name_Id := N + 504; - Name_Generic : constant Name_Id := N + 505; - Name_Goto : constant Name_Id := N + 506; - Name_If : constant Name_Id := N + 507; - Name_In : constant Name_Id := N + 508; - Name_Is : constant Name_Id := N + 509; - Name_Limited : constant Name_Id := N + 510; - Name_Loop : constant Name_Id := N + 511; - Name_Mod : constant Name_Id := N + 512; - Name_New : constant Name_Id := N + 513; - Name_Not : constant Name_Id := N + 514; - Name_Null : constant Name_Id := N + 515; - Name_Of : constant Name_Id := N + 516; - Name_Or : constant Name_Id := N + 517; - Name_Others : constant Name_Id := N + 518; - Name_Out : constant Name_Id := N + 519; - Name_Package : constant Name_Id := N + 520; - Name_Pragma : constant Name_Id := N + 521; - Name_Private : constant Name_Id := N + 522; - Name_Procedure : constant Name_Id := N + 523; - Name_Raise : constant Name_Id := N + 524; - Name_Record : constant Name_Id := N + 525; - Name_Rem : constant Name_Id := N + 526; - Name_Renames : constant Name_Id := N + 527; - Name_Return : constant Name_Id := N + 528; - Name_Reverse : constant Name_Id := N + 529; - Name_Select : constant Name_Id := N + 530; - Name_Separate : constant Name_Id := N + 531; - Name_Subtype : constant Name_Id := N + 532; - Name_Task : constant Name_Id := N + 533; - Name_Terminate : constant Name_Id := N + 534; - Name_Then : constant Name_Id := N + 535; - Name_Type : constant Name_Id := N + 536; - Name_Use : constant Name_Id := N + 537; - Name_When : constant Name_Id := N + 538; - Name_While : constant Name_Id := N + 539; - Name_With : constant Name_Id := N + 540; - Name_Xor : constant Name_Id := N + 541; + -- declared in the attribute list (Access, Delta, Digits, Mod, Range). + + Name_Abort : constant Name_Id := N + 485; + Name_Abs : constant Name_Id := N + 486; + Name_Accept : constant Name_Id := N + 487; + Name_And : constant Name_Id := N + 488; + Name_All : constant Name_Id := N + 489; + Name_Array : constant Name_Id := N + 490; + Name_At : constant Name_Id := N + 491; + Name_Begin : constant Name_Id := N + 492; + Name_Body : constant Name_Id := N + 493; + Name_Case : constant Name_Id := N + 494; + Name_Constant : constant Name_Id := N + 495; + Name_Declare : constant Name_Id := N + 496; + Name_Delay : constant Name_Id := N + 497; + Name_Do : constant Name_Id := N + 498; + Name_Else : constant Name_Id := N + 499; + Name_Elsif : constant Name_Id := N + 500; + Name_End : constant Name_Id := N + 501; + Name_Entry : constant Name_Id := N + 502; + Name_Exception : constant Name_Id := N + 503; + Name_Exit : constant Name_Id := N + 504; + Name_For : constant Name_Id := N + 505; + Name_Function : constant Name_Id := N + 506; + Name_Generic : constant Name_Id := N + 507; + Name_Goto : constant Name_Id := N + 508; + Name_If : constant Name_Id := N + 509; + Name_In : constant Name_Id := N + 510; + Name_Is : constant Name_Id := N + 511; + Name_Limited : constant Name_Id := N + 512; + Name_Loop : constant Name_Id := N + 513; + Name_New : constant Name_Id := N + 514; + Name_Not : constant Name_Id := N + 515; + Name_Null : constant Name_Id := N + 516; + Name_Of : constant Name_Id := N + 517; + Name_Or : constant Name_Id := N + 518; + Name_Others : constant Name_Id := N + 519; + Name_Out : constant Name_Id := N + 520; + Name_Package : constant Name_Id := N + 521; + Name_Pragma : constant Name_Id := N + 522; + Name_Private : constant Name_Id := N + 523; + Name_Procedure : constant Name_Id := N + 524; + Name_Raise : constant Name_Id := N + 525; + Name_Record : constant Name_Id := N + 526; + Name_Rem : constant Name_Id := N + 527; + Name_Renames : constant Name_Id := N + 528; + Name_Return : constant Name_Id := N + 529; + Name_Reverse : constant Name_Id := N + 530; + Name_Select : constant Name_Id := N + 531; + Name_Separate : constant Name_Id := N + 532; + Name_Subtype : constant Name_Id := N + 533; + Name_Task : constant Name_Id := N + 534; + Name_Terminate : constant Name_Id := N + 535; + Name_Then : constant Name_Id := N + 536; + Name_Type : constant Name_Id := N + 537; + Name_Use : constant Name_Id := N + 538; + Name_When : constant Name_Id := N + 539; + Name_While : constant Name_Id := N + 540; + Name_With : constant Name_Id := N + 541; + Name_Xor : constant Name_Id := N + 542; -- Names of intrinsic subprograms -- Note: Asm is missing from this list, since Asm is a legitimate -- convention name. So is To_Adress, which is a GNAT attribute. - First_Intrinsic_Name : constant Name_Id := N + 542; - Name_Divide : constant Name_Id := N + 542; - Name_Enclosing_Entity : constant Name_Id := N + 543; - Name_Exception_Information : constant Name_Id := N + 544; - Name_Exception_Message : constant Name_Id := N + 545; - Name_Exception_Name : constant Name_Id := N + 546; - Name_File : constant Name_Id := N + 547; - Name_Import_Address : constant Name_Id := N + 548; - Name_Import_Largest_Value : constant Name_Id := N + 549; - Name_Import_Value : constant Name_Id := N + 550; - Name_Is_Negative : constant Name_Id := N + 551; - Name_Line : constant Name_Id := N + 552; - Name_Rotate_Left : constant Name_Id := N + 553; - Name_Rotate_Right : constant Name_Id := N + 554; - Name_Shift_Left : constant Name_Id := N + 555; - Name_Shift_Right : constant Name_Id := N + 556; - Name_Shift_Right_Arithmetic : constant Name_Id := N + 557; - Name_Source_Location : constant Name_Id := N + 558; - Name_Unchecked_Conversion : constant Name_Id := N + 559; - Name_Unchecked_Deallocation : constant Name_Id := N + 560; - Name_To_Pointer : constant Name_Id := N + 561; - Last_Intrinsic_Name : constant Name_Id := N + 561; + First_Intrinsic_Name : constant Name_Id := N + 543; + Name_Divide : constant Name_Id := N + 543; + Name_Enclosing_Entity : constant Name_Id := N + 544; + Name_Exception_Information : constant Name_Id := N + 545; + Name_Exception_Message : constant Name_Id := N + 546; + Name_Exception_Name : constant Name_Id := N + 547; + Name_File : constant Name_Id := N + 548; + Name_Import_Address : constant Name_Id := N + 549; + Name_Import_Largest_Value : constant Name_Id := N + 550; + Name_Import_Value : constant Name_Id := N + 551; + Name_Is_Negative : constant Name_Id := N + 552; + Name_Line : constant Name_Id := N + 553; + Name_Rotate_Left : constant Name_Id := N + 554; + Name_Rotate_Right : constant Name_Id := N + 555; + Name_Shift_Left : constant Name_Id := N + 556; + Name_Shift_Right : constant Name_Id := N + 557; + Name_Shift_Right_Arithmetic : constant Name_Id := N + 558; + Name_Source_Location : constant Name_Id := N + 559; + Name_Unchecked_Conversion : constant Name_Id := N + 560; + Name_Unchecked_Deallocation : constant Name_Id := N + 561; + Name_To_Pointer : constant Name_Id := N + 562; + Last_Intrinsic_Name : constant Name_Id := N + 562; -- Reserved words used only in Ada 95 - First_95_Reserved_Word : constant Name_Id := N + 562; - Name_Abstract : constant Name_Id := N + 562; - Name_Aliased : constant Name_Id := N + 563; - Name_Protected : constant Name_Id := N + 564; - Name_Until : constant Name_Id := N + 565; - Name_Requeue : constant Name_Id := N + 566; - Name_Tagged : constant Name_Id := N + 567; - Last_95_Reserved_Word : constant Name_Id := N + 567; + First_95_Reserved_Word : constant Name_Id := N + 563; + Name_Abstract : constant Name_Id := N + 563; + Name_Aliased : constant Name_Id := N + 564; + Name_Protected : constant Name_Id := N + 565; + Name_Until : constant Name_Id := N + 566; + Name_Requeue : constant Name_Id := N + 567; + Name_Tagged : constant Name_Id := N + 568; + Last_95_Reserved_Word : constant Name_Id := N + 568; subtype Ada_95_Reserved_Words is Name_Id range First_95_Reserved_Word .. Last_95_Reserved_Word; -- Miscellaneous names used in semantic checking - Name_Raise_Exception : constant Name_Id := N + 568; + Name_Raise_Exception : constant Name_Id := N + 569; -- Additional reserved words and identifiers used in GNAT Project Files -- Note that Name_External is already previously declared - Name_Ada_Roots : constant Name_Id := N + 569; - Name_Binder : constant Name_Id := N + 570; - Name_Binder_Driver : constant Name_Id := N + 571; - Name_Body_Suffix : constant Name_Id := N + 572; - Name_Builder : constant Name_Id := N + 573; - Name_Compiler : constant Name_Id := N + 574; - Name_Compiler_Driver : constant Name_Id := N + 575; - Name_Compiler_Kind : constant Name_Id := N + 576; - Name_Compute_Dependency : constant Name_Id := N + 577; - Name_Cross_Reference : constant Name_Id := N + 578; - Name_Default_Linker : constant Name_Id := N + 579; - Name_Default_Switches : constant Name_Id := N + 580; - Name_Dependency_Option : constant Name_Id := N + 581; - Name_Exec_Dir : constant Name_Id := N + 582; - Name_Executable : constant Name_Id := N + 583; - Name_Executable_Suffix : constant Name_Id := N + 584; - Name_Extends : constant Name_Id := N + 585; - Name_Externally_Built : constant Name_Id := N + 586; - Name_Finder : constant Name_Id := N + 587; - Name_Global_Configuration_Pragmas : constant Name_Id := N + 588; - Name_Gnatls : constant Name_Id := N + 589; - Name_Gnatstub : constant Name_Id := N + 590; - Name_Implementation : constant Name_Id := N + 591; - Name_Implementation_Exceptions : constant Name_Id := N + 592; - Name_Implementation_Suffix : constant Name_Id := N + 593; - Name_Include_Option : constant Name_Id := N + 594; - Name_Language_Processing : constant Name_Id := N + 595; - Name_Languages : constant Name_Id := N + 596; - Name_Library_Dir : constant Name_Id := N + 597; - Name_Library_Auto_Init : constant Name_Id := N + 598; - Name_Library_GCC : constant Name_Id := N + 599; - Name_Library_Interface : constant Name_Id := N + 600; - Name_Library_Kind : constant Name_Id := N + 601; - Name_Library_Name : constant Name_Id := N + 602; - Name_Library_Options : constant Name_Id := N + 603; - Name_Library_Reference_Symbol_File : constant Name_Id := N + 604; - Name_Library_Src_Dir : constant Name_Id := N + 605; - Name_Library_Symbol_File : constant Name_Id := N + 606; - Name_Library_Symbol_Policy : constant Name_Id := N + 607; - Name_Library_Version : constant Name_Id := N + 608; - Name_Linker : constant Name_Id := N + 609; - Name_Local_Configuration_Pragmas : constant Name_Id := N + 610; - Name_Locally_Removed_Files : constant Name_Id := N + 611; - Name_Metrics : constant Name_Id := N + 612; - Name_Naming : constant Name_Id := N + 613; - Name_Object_Dir : constant Name_Id := N + 614; - Name_Pretty_Printer : constant Name_Id := N + 615; - Name_Project : constant Name_Id := N + 616; - Name_Separate_Suffix : constant Name_Id := N + 617; - Name_Source_Dirs : constant Name_Id := N + 618; - Name_Source_Files : constant Name_Id := N + 619; - Name_Source_List_File : constant Name_Id := N + 620; - Name_Spec : constant Name_Id := N + 621; - Name_Spec_Suffix : constant Name_Id := N + 622; - Name_Specification : constant Name_Id := N + 623; - Name_Specification_Exceptions : constant Name_Id := N + 624; - Name_Specification_Suffix : constant Name_Id := N + 625; - Name_Switches : constant Name_Id := N + 626; + Name_Ada_Roots : constant Name_Id := N + 570; + Name_Binder : constant Name_Id := N + 571; + Name_Binder_Driver : constant Name_Id := N + 572; + Name_Body_Suffix : constant Name_Id := N + 573; + Name_Builder : constant Name_Id := N + 574; + Name_Compiler : constant Name_Id := N + 575; + Name_Compiler_Driver : constant Name_Id := N + 576; + Name_Compiler_Kind : constant Name_Id := N + 577; + Name_Compute_Dependency : constant Name_Id := N + 578; + Name_Cross_Reference : constant Name_Id := N + 579; + Name_Default_Linker : constant Name_Id := N + 580; + Name_Default_Switches : constant Name_Id := N + 581; + Name_Dependency_Option : constant Name_Id := N + 582; + Name_Exec_Dir : constant Name_Id := N + 583; + Name_Executable : constant Name_Id := N + 584; + Name_Executable_Suffix : constant Name_Id := N + 585; + Name_Extends : constant Name_Id := N + 586; + Name_Externally_Built : constant Name_Id := N + 587; + Name_Finder : constant Name_Id := N + 588; + Name_Global_Configuration_Pragmas : constant Name_Id := N + 589; + Name_Gnatls : constant Name_Id := N + 590; + Name_Gnatstub : constant Name_Id := N + 591; + Name_Implementation : constant Name_Id := N + 592; + Name_Implementation_Exceptions : constant Name_Id := N + 593; + Name_Implementation_Suffix : constant Name_Id := N + 594; + Name_Include_Option : constant Name_Id := N + 595; + Name_Language_Processing : constant Name_Id := N + 596; + Name_Languages : constant Name_Id := N + 597; + Name_Library_Dir : constant Name_Id := N + 598; + Name_Library_Auto_Init : constant Name_Id := N + 599; + Name_Library_GCC : constant Name_Id := N + 600; + Name_Library_Interface : constant Name_Id := N + 601; + Name_Library_Kind : constant Name_Id := N + 602; + Name_Library_Name : constant Name_Id := N + 603; + Name_Library_Options : constant Name_Id := N + 604; + Name_Library_Reference_Symbol_File : constant Name_Id := N + 605; + Name_Library_Src_Dir : constant Name_Id := N + 606; + Name_Library_Symbol_File : constant Name_Id := N + 607; + Name_Library_Symbol_Policy : constant Name_Id := N + 608; + Name_Library_Version : constant Name_Id := N + 609; + Name_Linker : constant Name_Id := N + 610; + Name_Local_Configuration_Pragmas : constant Name_Id := N + 611; + Name_Locally_Removed_Files : constant Name_Id := N + 612; + Name_Metrics : constant Name_Id := N + 613; + Name_Naming : constant Name_Id := N + 614; + Name_Object_Dir : constant Name_Id := N + 615; + Name_Pretty_Printer : constant Name_Id := N + 616; + Name_Project : constant Name_Id := N + 617; + Name_Separate_Suffix : constant Name_Id := N + 618; + Name_Source_Dirs : constant Name_Id := N + 619; + Name_Source_Files : constant Name_Id := N + 620; + Name_Source_List_File : constant Name_Id := N + 621; + Name_Spec : constant Name_Id := N + 622; + Name_Spec_Suffix : constant Name_Id := N + 623; + Name_Specification : constant Name_Id := N + 624; + Name_Specification_Exceptions : constant Name_Id := N + 625; + Name_Specification_Suffix : constant Name_Id := N + 626; + Name_Switches : constant Name_Id := N + 627; -- Other miscellaneous names used in front end - Name_Unaligned_Valid : constant Name_Id := N + 627; + Name_Unaligned_Valid : constant Name_Id := N + 628; -- Mark last defined name for consistency check in Snames body - Last_Predefined_Name : constant Name_Id := N + 627; + Last_Predefined_Name : constant Name_Id := N + 628; subtype Any_Operator_Name is Name_Id range First_Operator_Name .. Last_Operator_Name; @@ -1055,6 +1057,7 @@ package Snames is Attribute_Max_Size_In_Storage_Elements, Attribute_Maximum_Alignment, Attribute_Mechanism_Code, + Attribute_Mod, Attribute_Model_Emin, Attribute_Model_Epsilon, Attribute_Model_Mantissa, |