diff options
| -rw-r--r-- | src/libraries.adb | 2 | ||||
| -rw-r--r-- | src/std_names.adb | 1 | ||||
| -rw-r--r-- | src/std_names.ads | 33 |
3 files changed, 19 insertions, 17 deletions
diff --git a/src/libraries.adb b/src/libraries.adb index 49ae64fa8..ca9616571 100644 --- a/src/libraries.adb +++ b/src/libraries.adb @@ -425,7 +425,7 @@ package body Libraries is -- Parse header. Scan; if Current_Token /= Tok_Identifier - or else Nam_Length /= 1 or else Nam_Buffer (1) /= 'v' + or else Current_Identifier /= Std_Names.Name_V then Bad_Library_Format; end if; diff --git a/src/std_names.adb b/src/std_names.adb index 0fd7abf89..b14c3fc4b 100644 --- a/src/std_names.adb +++ b/src/std_names.adb @@ -386,6 +386,7 @@ package body Std_Names is Def ("l", Name_L); Def ("r", Name_R); Def ("s", Name_S); + Def ("v", Name_V); Def ("external_name", Name_External_Name); Def ("open_kind", Name_Open_Kind); Def ("status", Name_Status); diff --git a/src/std_names.ads b/src/std_names.ads index 8ce3922ed..4b2da18e9 100644 --- a/src/std_names.ads +++ b/src/std_names.ads @@ -459,22 +459,23 @@ package Std_Names is Name_L : constant Name_Id := Name_First_Misc + 010; Name_R : constant Name_Id := Name_First_Misc + 011; Name_S : constant Name_Id := Name_First_Misc + 012; - Name_External_Name : constant Name_Id := Name_First_Misc + 013; - Name_Open_Kind : constant Name_Id := Name_First_Misc + 014; - Name_Status : constant Name_Id := Name_First_Misc + 015; - Name_First : constant Name_Id := Name_First_Misc + 016; - Name_Last : constant Name_Id := Name_First_Misc + 017; - Name_Textio : constant Name_Id := Name_First_Misc + 018; - Name_Work : constant Name_Id := Name_First_Misc + 019; - Name_Text : constant Name_Id := Name_First_Misc + 020; - Name_To_String : constant Name_Id := Name_First_Misc + 021; - Name_Minimum : constant Name_Id := Name_First_Misc + 022; - Name_Maximum : constant Name_Id := Name_First_Misc + 023; - Name_Untruncated_Text_Read : constant Name_Id := Name_First_Misc + 024; - Name_Textio_Read_Real : constant Name_Id := Name_First_Misc + 025; - Name_Textio_Write_Real : constant Name_Id := Name_First_Misc + 026; - Name_Get_Resolution_Limit : constant Name_Id := Name_First_Misc + 027; - Name_Control_Simulation : constant Name_Id := Name_First_Misc + 028; + Name_V : constant Name_Id := Name_First_Misc + 013; + Name_External_Name : constant Name_Id := Name_First_Misc + 014; + Name_Open_Kind : constant Name_Id := Name_First_Misc + 015; + Name_Status : constant Name_Id := Name_First_Misc + 016; + Name_First : constant Name_Id := Name_First_Misc + 017; + Name_Last : constant Name_Id := Name_First_Misc + 018; + Name_Textio : constant Name_Id := Name_First_Misc + 019; + Name_Work : constant Name_Id := Name_First_Misc + 020; + Name_Text : constant Name_Id := Name_First_Misc + 021; + Name_To_String : constant Name_Id := Name_First_Misc + 022; + Name_Minimum : constant Name_Id := Name_First_Misc + 023; + Name_Maximum : constant Name_Id := Name_First_Misc + 024; + Name_Untruncated_Text_Read : constant Name_Id := Name_First_Misc + 025; + Name_Textio_Read_Real : constant Name_Id := Name_First_Misc + 026; + Name_Textio_Write_Real : constant Name_Id := Name_First_Misc + 027; + Name_Get_Resolution_Limit : constant Name_Id := Name_First_Misc + 028; + Name_Control_Simulation : constant Name_Id := Name_First_Misc + 029; Name_Last_Misc : constant Name_Id := Name_Control_Simulation; Name_First_Ieee : constant Name_Id := Name_Last_Misc + 1; |