diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/std_names.adb | 6 | ||||
| -rw-r--r-- | src/std_names.ads | 11 |
2 files changed, 13 insertions, 4 deletions
diff --git a/src/std_names.adb b/src/std_names.adb index cf3ffeef5..3e7a769d5 100644 --- a/src/std_names.adb +++ b/src/std_names.adb @@ -501,7 +501,11 @@ package body Std_Names is Def ("frequency_domain", Name_Frequency_Domain); Def ("domain", Name_Domain); Def ("frequency", Name_Frequency); - Def ("real_vector", Name_Real_Vector); + + Def ("env", Name_Env); + Def ("stop", Name_Stop); + Def ("finish", Name_Finish); + Def ("resolution_limit", Name_Resolution_Limit); Def ("nul", Name_Nul); Def ("soh", Name_Soh); diff --git a/src/std_names.ads b/src/std_names.ads index f1165488b..1a69d46bc 100644 --- a/src/std_names.ads +++ b/src/std_names.ads @@ -577,9 +577,14 @@ package Std_Names is Name_Domain : constant Name_Id := Name_First_Standard + 059; Name_Frequency : constant Name_Id := Name_First_Standard + 060; - Name_Last_Standard : constant Name_Id := Name_Frequency; - - Name_First_Charname : constant Name_Id := Name_Last_Standard + 1; + -- For Std.Env + Name_First_Env : constant Name_Id := Name_Frequency + 1; + Name_Env : constant Name_Id := Name_First_Env + 0; + Name_Stop : constant Name_Id := Name_First_Env + 1; + Name_Finish : constant Name_Id := Name_First_Env + 2; + Name_Resolution_Limit : constant Name_Id := Name_First_Env + 3; + + Name_First_Charname : constant Name_Id := Name_Resolution_Limit + 1; Name_Nul : constant Name_Id := Name_First_Charname + 00; Name_Soh : constant Name_Id := Name_First_Charname + 01; Name_Stx : constant Name_Id := Name_First_Charname + 02; |