[PATCH] Add names for synopsys packages.

2 files changed, 61 insertions, 55 deletions

diff --git a/src/std_names.adb b/src/std_names.adb
index aaad7ab51..1a7de9a6a 100644
--- a/src/std_names.adb
+++ b/src/std_names.adb
@@ -617,23 +617,26 @@ package body Std_Names is
 
       Def ("ieee",               Name_Ieee);
       Def ("std_logic_1164",     Name_Std_Logic_1164);
+      Def ("vital_timing",       Name_VITAL_Timing);
+      Def ("numeric_std",        Name_Numeric_Std);
+      Def ("numeric_bit",        Name_Numeric_Bit);
+      Def ("std_logic_arith",    Name_Std_Logic_Arith);
+      Def ("std_logic_signed",   Name_Std_Logic_Signed);
+      Def ("std_logic_unsigned", Name_Std_Logic_Unsigned);
+      Def ("std_logic_textio",   Name_Std_Logic_Textio);
+      Def ("std_logic_misc",     Name_Std_Logic_Misc);
+      Def ("math_real",          Name_Math_Real);
+
       Def ("std_ulogic",         Name_Std_Ulogic);
       Def ("std_ulogic_vector",  Name_Std_Ulogic_Vector);
       Def ("std_logic",          Name_Std_Logic);
       Def ("std_logic_vector",   Name_Std_Logic_Vector);
       Def ("rising_edge",        Name_Rising_Edge);
       Def ("falling_edge",       Name_Falling_Edge);
-      Def ("vital_timing",       Name_VITAL_Timing);
       Def ("vital_level0",       Name_VITAL_Level0);
       Def ("vital_level1",       Name_VITAL_Level1);
-      Def ("numeric_std",        Name_Numeric_Std);
-      Def ("numeric_bit",        Name_Numeric_Bit);
       Def ("unresolved_unsigned", Name_Unresolved_Unsigned);
       Def ("unresolved_signed",  Name_Unresolved_Signed);
-      Def ("std_logic_arith",    Name_Std_Logic_Arith);
-      Def ("std_logic_signed",   Name_Std_Logic_Signed);
-      Def ("std_logic_unsigned", Name_Std_Logic_Unsigned);
-      Def ("std_logic_textio",   Name_Std_Logic_Textio);
       Def ("to_integer",         Name_To_Integer);
       Def ("to_unsigned",        Name_To_Unsigned);
       Def ("to_signed",          Name_To_Signed);
@@ -652,7 +655,6 @@ package body Std_Names is
       Def ("conv_signed",        Name_Conv_Signed);
       Def ("conv_unsigned",      Name_Conv_Unsigned);
       Def ("conv_integer",       Name_Conv_Integer);
-      Def ("math_real",          Name_Math_Real);
       Def ("ceil",               Name_Ceil);
       Def ("round",              Name_Round);
       Def ("log2",               Name_Log2);
diff --git a/src/std_names.ads b/src/std_names.ads
index eb24904a6..d6c7621c6 100644
--- a/src/std_names.ads
+++ b/src/std_names.ads
@@ -695,53 +695,57 @@ package Std_Names is
    Name_None :                  constant Name_Id := Name_First_Misc + 041;
    Name_Last_Misc :             constant Name_Id := Name_None;
 
-   Name_First_Ieee         : constant Name_Id := Name_Last_Misc + 1;
-   Name_Ieee               : constant Name_Id := Name_First_Ieee + 000;
-   Name_Std_Logic_1164     : constant Name_Id := Name_First_Ieee + 001;
-   Name_Std_Ulogic         : constant Name_Id := Name_First_Ieee + 002;
-   Name_Std_Ulogic_Vector  : constant Name_Id := Name_First_Ieee + 003;
-   Name_Std_Logic          : constant Name_Id := Name_First_Ieee + 004;
-   Name_Std_Logic_Vector   : constant Name_Id := Name_First_Ieee + 005;
-   Name_Rising_Edge        : constant Name_Id := Name_First_Ieee + 006;
-   Name_Falling_Edge       : constant Name_Id := Name_First_Ieee + 007;
-   Name_VITAL_Timing       : constant Name_Id := Name_First_Ieee + 008;
-   Name_VITAL_Level0       : constant Name_Id := Name_First_Ieee + 009;
-   Name_VITAL_Level1       : constant Name_Id := Name_First_Ieee + 010;
-   Name_Numeric_Std        : constant Name_Id := Name_First_Ieee + 011;
-   Name_Numeric_Bit        : constant Name_Id := Name_First_Ieee + 012;
-   Name_Unresolved_Unsigned : constant Name_Id := Name_First_Ieee + 013;
-   Name_Unresolved_Signed  : constant Name_Id := Name_First_Ieee + 014;
-   Name_Std_Logic_Arith    : constant Name_Id := Name_First_Ieee + 015;
-   Name_Std_Logic_Signed   : constant Name_Id := Name_First_Ieee + 016;
-   Name_Std_Logic_Unsigned : constant Name_Id := Name_First_Ieee + 017;
-   Name_Std_Logic_Textio   : constant Name_Id := Name_First_Ieee + 018;
-   Name_To_Integer         : constant Name_Id := Name_First_Ieee + 019;
-   Name_To_Unsigned        : constant Name_Id := Name_First_Ieee + 020;
-   Name_To_Signed          : constant Name_Id := Name_First_Ieee + 021;
-   Name_Resize             : constant Name_Id := Name_First_Ieee + 022;
-   Name_Std_Match          : constant Name_Id := Name_First_Ieee + 023;
-   Name_Shift_Left         : constant Name_Id := Name_First_Ieee + 024;
-   Name_Shift_Right        : constant Name_Id := Name_First_Ieee + 025;
-   Name_Rotate_Left        : constant Name_Id := Name_First_Ieee + 026;
-   Name_Rotate_Right       : constant Name_Id := Name_First_Ieee + 027;
-   Name_To_Bit             : constant Name_Id := Name_First_Ieee + 028;
-   Name_To_Bitvector       : constant Name_Id := Name_First_Ieee + 029;
-   Name_To_Stdulogic       : constant Name_Id := Name_First_Ieee + 030;
-   Name_To_Stdlogicvector  : constant Name_Id := Name_First_Ieee + 031;
-   Name_To_Stdulogicvector : constant Name_Id := Name_First_Ieee + 032;
-   Name_Is_X               : constant Name_Id := Name_First_Ieee + 033;
-   Name_Conv_Signed        : constant Name_Id := Name_First_Ieee + 034;
-   Name_Conv_Unsigned      : constant Name_Id := Name_First_Ieee + 035;
-   Name_Conv_Integer       : constant Name_Id := Name_First_Ieee + 036;
-   Name_Math_Real          : constant Name_Id := Name_First_Ieee + 037;
-   Name_Ceil               : constant Name_Id := Name_First_Ieee + 038;
-   Name_Round              : constant Name_Id := Name_First_Ieee + 039;
-   Name_Log2               : constant Name_Id := Name_First_Ieee + 040;
-   Name_Sin                : constant Name_Id := Name_First_Ieee + 041;
-   Name_Cos                : constant Name_Id := Name_First_Ieee + 042;
-   Name_Last_Ieee          : constant Name_Id := Name_Cos;
-
-   Name_First_Synthesis    : constant Name_Id := Name_Last_Ieee + 1;
+   Name_First_Ieee_Pkg     : constant Name_Id := Name_Last_Misc + 1;
+   Name_Ieee               : constant Name_Id := Name_First_Ieee_Pkg + 000;
+   Name_Std_Logic_1164     : constant Name_Id := Name_First_Ieee_Pkg + 001;
+   Name_VITAL_Timing       : constant Name_Id := Name_First_Ieee_Pkg + 002;
+   Name_Numeric_Std        : constant Name_Id := Name_First_Ieee_Pkg + 003;
+   Name_Numeric_Bit        : constant Name_Id := Name_First_Ieee_Pkg + 004;
+   Name_Std_Logic_Arith    : constant Name_Id := Name_First_Ieee_Pkg + 005;
+   Name_Std_Logic_Signed   : constant Name_Id := Name_First_Ieee_Pkg + 006;
+   Name_Std_Logic_Unsigned : constant Name_Id := Name_First_Ieee_Pkg + 007;
+   Name_Std_Logic_Textio   : constant Name_Id := Name_First_Ieee_Pkg + 008;
+   Name_Std_Logic_Misc     : constant Name_Id := Name_First_Ieee_Pkg + 009;
+   Name_Math_Real          : constant Name_Id := Name_First_Ieee_Pkg + 010;
+   Name_Last_Ieee_Pkg      : constant Name_Id := Name_Math_Real;
+
+   Name_First_Ieee_Name    : constant Name_Id := Name_Last_Ieee_Pkg + 1;
+   Name_Std_Ulogic         : constant Name_Id := Name_First_Ieee_Name + 000;
+   Name_Std_Ulogic_Vector  : constant Name_Id := Name_First_Ieee_Name + 001;
+   Name_Std_Logic          : constant Name_Id := Name_First_Ieee_Name + 002;
+   Name_Std_Logic_Vector   : constant Name_Id := Name_First_Ieee_Name + 003;
+   Name_Rising_Edge        : constant Name_Id := Name_First_Ieee_Name + 004;
+   Name_Falling_Edge       : constant Name_Id := Name_First_Ieee_Name + 005;
+   Name_VITAL_Level0       : constant Name_Id := Name_First_Ieee_Name + 006;
+   Name_VITAL_Level1       : constant Name_Id := Name_First_Ieee_Name + 007;
+   Name_Unresolved_Unsigned : constant Name_Id := Name_First_Ieee_Name + 008;
+   Name_Unresolved_Signed  : constant Name_Id := Name_First_Ieee_Name + 009;
+   Name_To_Integer         : constant Name_Id := Name_First_Ieee_Name + 010;
+   Name_To_Unsigned        : constant Name_Id := Name_First_Ieee_Name + 011;
+   Name_To_Signed          : constant Name_Id := Name_First_Ieee_Name + 012;
+   Name_Resize             : constant Name_Id := Name_First_Ieee_Name + 013;
+   Name_Std_Match          : constant Name_Id := Name_First_Ieee_Name + 014;
+   Name_Shift_Left         : constant Name_Id := Name_First_Ieee_Name + 015;
+   Name_Shift_Right        : constant Name_Id := Name_First_Ieee_Name + 016;
+   Name_Rotate_Left        : constant Name_Id := Name_First_Ieee_Name + 017;
+   Name_Rotate_Right       : constant Name_Id := Name_First_Ieee_Name + 018;
+   Name_To_Bit             : constant Name_Id := Name_First_Ieee_Name + 019;
+   Name_To_Bitvector       : constant Name_Id := Name_First_Ieee_Name + 020;
+   Name_To_Stdulogic       : constant Name_Id := Name_First_Ieee_Name + 021;
+   Name_To_Stdlogicvector  : constant Name_Id := Name_First_Ieee_Name + 022;
+   Name_To_Stdulogicvector : constant Name_Id := Name_First_Ieee_Name + 023;
+   Name_Is_X               : constant Name_Id := Name_First_Ieee_Name + 024;
+   Name_Conv_Signed        : constant Name_Id := Name_First_Ieee_Name + 025;
+   Name_Conv_Unsigned      : constant Name_Id := Name_First_Ieee_Name + 026;
+   Name_Conv_Integer       : constant Name_Id := Name_First_Ieee_Name + 027;
+   Name_Ceil               : constant Name_Id := Name_First_Ieee_Name + 028;
+   Name_Round              : constant Name_Id := Name_First_Ieee_Name + 029;
+   Name_Log2               : constant Name_Id := Name_First_Ieee_Name + 030;
+   Name_Sin                : constant Name_Id := Name_First_Ieee_Name + 031;
+   Name_Cos                : constant Name_Id := Name_First_Ieee_Name + 032;
+   Name_Last_Ieee_Name     : constant Name_Id := Name_Cos;
+
+   Name_First_Synthesis    : constant Name_Id := Name_Last_Ieee_Name + 1;
    Name_Allconst           : constant Name_Id := Name_First_Synthesis + 000;
    Name_Allseq             : constant Name_Id := Name_First_Synthesis + 001;
    Name_Anyconst           : constant Name_Id := Name_First_Synthesis + 002;