/xen/arch/ia64/linux/

--  Well known name table entries.
--  Copyright (C) 2002, 2003, 2004, 2005 Tristan Gingold
--
--  This program is free software: you can redistribute it and/or modify
--  it under the terms of the GNU General Public License as published by
--  the Free Software Foundation, either version 2 of the License, or
--  (at your option) any later version.
--
--  This program is distributed in the hope that it will be useful,
--  but WITHOUT ANY WARRANTY; without even the implied warranty of
--  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
--  GNU General Public License for more details.
--
--  You should have received a copy of the GNU General Public License
--  along with this program.  If not, see <gnu.org/licenses>.
with Name_Table;
with Ada.Exceptions;

package body Std_Names is
   procedure Std_Names_Initialize is
      procedure Def (S : String; Id : Name_Id) is
      begin
         if Name_Table.Get_Identifier (S) /= Id then
            Ada.Exceptions.Raise_Exception
              (Program_Error'Identity,
               "std_names.adb: wrong name_id for " & S);
         end if;
      end Def;
   begin
      Def ("mod", Name_Mod);
      Def ("rem", Name_Rem);

      Def ("abs", Name_Abs);
      Def ("not", Name_Not);

      Def ("access", Name_Access);
      Def ("after", Name_After);
      Def ("alias", Name_Alias);
      Def ("all", Name_All);
      Def ("architecture", Name_Architecture);
      Def ("array", Name_Array);
      Def ("assert", Name_Assert);
      Def ("attribute", Name_Attribute);

      Def ("begin", Name_Begin);
      Def ("block", Name_Block);
      Def ("body", Name_Body);
      Def ("buffer", Name_Buffer);
      Def ("bus", Name_Bus);

      Def ("case", Name_Case);
      Def ("component", Name_Component);
      Def ("configuration", Name_Configuration);
      Def ("constant", Name_Constant);

      Def ("disconnect", Name_Disconnect);
      Def ("downto", Name_Downto);

      Def ("else", Name_Else);
      Def ("elsif", Name_Elsif);
      Def ("end", Name_End);
      Def ("entity", Name_Entity);
      Def ("exit", Name_Exit);

      Def ("file", Name_File);
      Def ("for", Name_For);
      Def ("function", Name_Function);

      Def ("generate", Name_Generate);
      Def ("generic", Name_Generic);
      Def ("guarded", Name_Guarded);

      Def ("if", Name_If);
      Def ("in", Name_In);
      Def ("inout", Name_Inout);
      Def ("is", Name_Is);

      Def ("label", Name_Label);
      Def ("library", Name_Library);
      Def ("linkage", Name_Linkage);
      Def ("loop", Name_Loop);

      Def ("map", Name_Map);

      Def ("new", Name_New);
      Def ("next", Name_Next);
      Def ("null", Name_Null);

      Def ("of", Name_Of);
      Def ("on", Name_On);
      Def ("open", Name_Open);
      Def ("others", Name_Others);
      Def ("out", Name_Out);

      Def ("package", Name_Package);
      Def ("port", Name_Port);
      Def ("procedure", Name_Procedure);
      Def ("process", Name_Process);

      Def ("range", Name_Range);
      Def ("record", Name_Record);
      Def ("register", Name_Register);
      Def ("report", Name_Report);
      Def ("return", Name_Return);

      Def ("select", Name_Select);
      Def ("severity", Name_Severity);
      Def ("signal", Name_Signal);
      Def ("subtype", Name_Subtype);

      Def ("then", Name_Then);
      Def ("to", Name_To);
      Def ("transport", Name_Transport);
      Def ("type", Name_Type);

      Def ("units", Name_Units);
      Def ("until", Name_Until);
      Def ("use", Name_Use);

      Def ("variable", Name_Variable);

      Def ("wait", Name_Wait);
      Def ("when", Name_When);
      Def ("while", Name_While);
      Def ("with", Name_With);

      Def ("and", Name_And);
      Def ("or", Name_Or);
      Def ("xor", Name_Xor);
      Def ("nand", Name_Nand);
      Def ("nor", Name_Nor);

   -- VHDL93 reserved words.
      Def ("xnor", Name_Xnor);
      Def ("group", Name_Group);
      Def ("impure", Name_Impure);
      Def ("inertial", Name_Inertial);
      Def ("literal", Name_Literal);
      Def ("postponed", Name_Postponed);
      Def ("pure", Name_Pure);
      Def ("reject", Name_Reject);
      Def ("shared", Name_Shared);
      Def ("unaffected", Name_Unaffected);

      Def ("sll", Name_Sll);
      Def ("sla", Name_Sla);
      Def ("sra", Name_Sra);
      Def ("srl", Name_Srl);
      Def ("rol", Name_Rol);
      Def ("ror", Name_Ror);

      Def ("protected", Name_Protected);

      Def ("assume",             Name_Assume);
      Def ("context",            Name_Context);
      Def ("cover",              Name_Cover);
      Def ("default",            Name_Default);
      Def ("force",              Name_Force);
      Def ("parameter",          Name_Parameter);
      Def ("property",           Name_Property);
      Def ("release",            Name_Release);
      Def ("restrict",           Name_Restrict);
      Def ("restrict_guarantee", Name_Restrict_Guarantee);
      Def ("sequence",           Name_Sequence);
      Def ("inherit",            Name_Inherit);
      Def ("vmode",              Name_Vmode);
      Def ("vprop",              Name_Vprop);
      Def ("vunit",              Name_Vunit);

      Def ("across",     Name_Across);
      Def ("break",      Name_Break);
      Def ("limit",      Name_Limit);
      Def ("nature",     Name_Nature);
      Def ("noise",      Name_Noise);
      Def ("procedural", Name_Procedural);
      Def ("quantity",   Name_Quantity);
      Def ("reference",  Name_Reference);
      Def ("spectrum",   Name_Spectrum);
      Def ("subnature",  Name_Subnature);
      Def ("terminal",   Name_Terminal);
      Def ("through",    Name_Through);
      Def ("tolerance",  Name_Tolerance);

      --  Verilog keywords
      Def ("always",       Name_Always);
      Def ("assign",       Name_Assign);
      Def ("buf",          Name_Buf);
      Def ("bufif0",       Name_Bufif0);
      Def ("bufif1",       Name_Bufif1);
      Def ("casex",        Name_Casex);
      Def ("casez",        Name_Casez);
      Def ("cmos",         Name_Cmos);
      Def ("deassign",     Name_Deassign);
      Def ("defparam",     Name_Defparam);
      Def ("disable",      Name_Disable);
      Def ("edge",         Name_Edge);
      Def ("endcase",      Name_Endcase);
      Def ("endfunction",  Name_Endfunction);
      Def ("endmodule",    Name_Endmodule);
      Def ("endprimitive", Name_Endprimitive);
      Def ("endspecify",   Name_Endspecify);
      Def ("endtable",     Name_Endtable);
      Def ("endtask",      Name_Endtask);
      Def ("forever",      Name_Forever);
      Def ("fork",         Name_Fork);
      Def ("highz0",       Name_Highz0);
      Def ("highz1",       Name_Highz1);
      Def ("ifnone",       Name_Ifnone);
      Def ("initial",      Name_Initial);
      Def ("input",        Name_Input);
      Def ("join",         Name_Join);
      Def ("large",        Name_Large);
      Def ("macromodule",  Name_Macromodule);
      Def ("medium",       Name_Medium);
      Def ("module",       Name_Module);
      Def ("negedge",      Name_Negedge);
      Def ("nmos",         Name_Nmos);
      Def ("notif0",       Name_Notif0);
      Def ("notif1",       Name_Notif1);
      Def ("output",       Name_Output);
      Def ("pmos",         Name_Pmos);
      Def ("posedge",      Name_Posedge);
      Def ("primitive",    Name_Primitive);
      Def ("pull0",        Name_Pull0);
      Def ("pull1",        Name_Pull1);
      Def ("pulldown",     Name_Pulldown);
      Def ("pullup",       Name_Pullup);
      Def ("realtime",     Name_Realtime);
      Def ("reg",          Name_Reg);
      Def ("repeat",       Name_Repeat);
      Def ("rcmos",        Name_Rcmos);
      Def ("rnmos",        Name_Rnmos);
      Def ("rpmos",        Name_Rpmos);
      Def ("rtran",        Name_Rtran);
      Def ("rtranif0",     Name_Rtranif0);
      Def ("rtranif1",     Name_Rtranif1);
      Def ("scalared",     Name_Scalared);
      Def ("small",        Name_Small);
      Def ("specify",      Name_Specify);
      Def ("specparam",    Name_Specparam);
      Def ("strong0",      Name_Strong0);
      Def ("strong1",      Name_Strong1);
      Def ("supply0",      Name_Supply0);
      Def ("supply1",      Name_Supply1);
      Def ("table",        Name_Tablex);
      Def ("task",         Name_Task);
      Def ("tran",         Name_Tran);
      Def ("tranif0",      Name_Tranif0);
      Def ("tranif1",      Name_Tranif1);
      Def ("tri",          Name_Tri);
      Def ("tri0",         Name_Tri0);
      Def ("tri1",         Name_Tri1);
      Def ("triand",       Name_Triand);
      Def ("trior",        Name_Trior);
      Def ("trireg",       Name_Trireg);
      Def ("vectored",     Name_Vectored);
      Def ("wand",         Name_Wand);
      Def ("weak0",        Name_Weak0);
      Def ("weak1",        Name_Weak1);
      Def ("wire",         Name_Wire);
      Def ("wor",          Name_Wor);

      --  Verilog 2001
      Def ("automatic",    Name_Automatic);
      Def ("endgenerate",  Name_Endgenerate);
      Def ("genvar",       Name_Genvar);
      Def ("localparam",   Name_Localparam);
      Def ("unsigned",     Name_Unsigned);
      Def ("signed",       Name_Signed);

      --  Verilog 2005
      Def ("uwire",        Name_Uwire);

      --  SystemVerilog 2005
      Def ("always_comb",         Name_Always_Comb);
      Def ("always_ff",           Name_Always_Ff);
      Def ("always_latch",        Name_Always_Latch);
      Def ("bit",                 Name_Bit);
      Def ("byte",                Name_Byte);
      Def ("changed",             Name_Changed);
      Def ("char",                Name_Char);
      Def ("const",               Name_Const);
      Def ("continue",            Name_Continue);
      Def ("do",                  Name_Do);
      Def ("endinterface",        Name_Endinterface);
      Def ("endtransition",       Name_Endtransition);
      Def ("enum",                Name_Enum);
      Def ("export",              Name_Export);
      Def ("extern",              Name_Extern);
      Def ("forkjoin",            Name_Forkjoin);
      Def ("iff",                 Name_Iff);
      Def ("import",              Name_Import);
      Def ("int",                 Name_Int);
      Def ("interface",           Name_Interface);
      Def ("logic",               Name_Logic);
      Def ("longint",             Name_Longint);
      Def ("longreal",            Name_Longreal);
      Def ("modport",             Name_Modport);
      Def ("packed",              Name_Packed);
      Def ("priority",            Name_Priority);
      Def ("shortint",            Name_Shortint);
      Def ("shortreal",           Name_Shortreal);
      Def ("static",              Name_Static);
      Def ("struct",              Name_Struct);
      Def ("timeprecision",       Name_Timeprecision);
      Def ("timeunit",            Name_Timeunit);
      Def ("transition",          Name_Transition);
      Def ("typedef",             Name_Typedef);
      Def ("union",               Name_Union);
      Def ("unique",              Name_Unique);
      Def ("unique0",             Name_Unique0);
      Def ("void",                Name_Void);

      --  SystemVerilog 3.1
      Def ("chandle",             Name_Chandle);
      Def ("class",               Name_Class);
      Def ("clocking",            Name_Clocking);
      Def ("constraint",          Name_Constraint);
      Def ("cover",               Name_Cover);
      Def ("dist",                Name_Dist);
      Def ("endclass",            Name_Endclass);
      Def ("endclocking",         Name_Endclocking);
      Def ("endprogram",          Name_Endprogram);
      Def ("endproperty",         Name_Endproperty);
      Def ("endsequence",         Name_Endsequence);
      Def ("extends",             Name_Extends);
      Def ("final",               Name_Final);
      Def ("first_match",         Name_First_Match);
      Def ("inside",              Name_Inside);
      Def ("intersect",           Name_Intersect);
      Def ("join_any",            Name_Join_Any);
      Def ("join_none",           Name_Join_None);
      Def ("local",               Name_Local);
      Def ("program",             Name_Program);
      Def ("rand",                Name_Rand);
      Def ("randc",               Name_Randc);
      Def ("ref",                 Name_Ref);
      Def ("sequence",            Name_Sequence);
      Def ("solve",               Name_Solve);
      Def ("string",              Name_String);
      Def ("super",               Name_Super);
      Def ("this",                Name_This);
      Def ("throughout",          Name_Throughout);
      Def ("var",                 Name_Var);
      Def ("virtual",             Name_Virtual);
      Def ("wait_order",          Name_Wait_Order);

      --  SystemVerilog 3.1a
      Def ("covergroup",          Name_Covergroup);
      Def ("coverpoint",          Name_Coverpoint);
      Def ("endgroup",            Name_Endgroup);
      Def ("endpackage",          Name_Endpackage);
      Def ("expect",              Name_Expect);
      Def ("foreach",             Name_Foreach);
      Def ("ingore_bins",         Name_Ignore_Bins);
      Def ("illegal_bins",        Name_Illegal_Bins);
      Def ("matches",             Name_Matches);
      Def ("randcase",            Name_Randcase);
      Def ("randsequence",        Name_Randsequence);
      Def ("tagged",              Name_Tagged);
      Def ("wildcard",            Name_Wildcard);

      --  SystemVerilog 2009
      Def ("implies",             Name_Implies);
      Def ("s_until",             Name_S_Until);
      Def ("s_until_with",        Name_S_Until_With);
      Def ("until_with",          Name_Until_With);

      -- Create operators.
      Def ("=",  Name_Op_Equality);
      Def ("/=", Name_Op_Inequality);
      Def ("<",  Name_Op_Less);
      Def ("<=", Name_Op_Less_Equal);
      Def (">",  Name_Op_Greater);
      Def (">=", Name_Op_Greater_Equal);
      Def ("+",  Name_Op_Plus);
      Def ("-",  Name_Op_Minus);
      Def ("*",  Name_Op_Mul);
      Def ("/",  Name_Op_Div);
      Def ("**", Name_Op_Exp);
      Def ("&",  Name_Op_Concatenation);
      Def ("??", Name_Op_Condition);
      Def ("?=", Name_Op_Match_Equality);
      Def ("?/=", Name_Op_Match_Inequality);
      Def ("?<",  Name_Op_Match_Less);
      Def ("?<=", Name_Op_Match_Less_Equal);
      Def ("?>",  Name_Op_Match_Greater);
      Def ("?>=", Name_Op_Match_Greater_Equal);

      -- Create Attributes.
      Def ("base",          Name_Base);
      Def ("left",          Name_Left);
      Def ("right",         Name_Right);
      Def ("high",          Name_High);
      Def ("low",           Name_Low);
      Def ("pos",           Name_Pos);
      Def ("val",           Name_Val);
      Def ("succ",          Name_Succ);
      Def ("pred",          Name_Pred);
      Def ("leftof",        Name_Leftof);
      Def ("rightof",       Name_Rightof);
      Def ("reverse_range", Name_Reverse_Range);
      Def ("length",        Name_Length);
      Def ("delayed",       Name_Delayed);
      Def ("stable",        Name_Stable);
      Def ("quiet",         Name_Quiet);
      Def ("transaction",   Name_Transaction);
      Def ("event",         Name_Event);
      Def ("active",        Name_Active);
      Def ("last_event",    Name_Last_Event);
      Def ("last_active",   Name_Last_Active);
      Def ("last_value",    Name_Last_Value);

      Def ("behavior",      Name_Behavior);
      Def ("structure",     Name_Structure);

      Def ("ascending",     Name_Ascending);
      Def ("image",         Name_Image);
      Def ("value",         Name_Value);
      Def ("driving",       Name_Driving);
      Def ("driving_value", Name_Driving_Value);
      Def ("simple_name",   Name_Simple_Name);
      Def ("instance_name", Name_Instance_Name);
      Def ("path_name",     Name_Path_Name);

      Def ("element",       Name_Element);

      Def ("contribution",  Name_Contribution);
      Def ("dot",           Name_Dot);
      Def ("integ",         Name_Integ);
      Def ("above",         Name_Above);
      Def ("zoh",           Name_Zoh);
      Def ("ltf",           Name_Ltf);
      Def ("ztf",           Name_Ztf);
      Def ("ramp",          Name_Ramp);
      Def ("slew",          Name_Slew);

      --  Create standard.
      Def ("std",                 Name_Std);
      Def ("standard",            Name_Standard);
      Def ("boolean",             Name_Boolean);
      Def ("false",               Name_False);
      Def ("true",                Name_True);
      Def ("bit",                 Name_Bit);
      Def ("character",           Name_Character);
      Def ("severity_level",      Name_Severity_Level);
      Def ("note",                Name_Note);
      Def ("warning",             Name_Warning);
      Def ("error",               Name_Error);
      Def ("failure",             Name_Failure);
      Def ("UNIVERSAL_INTEGER",   Name_Universal_Integer);
      Def ("UNIVERSAL_REAL",      Name_Universal_Real);
      Def ("CONVERTIBLE_INTEGER", Name_Convertible_Integer);
      Def ("CONVERTIBLE_REAL",    Name_Convertible_Real);
      Def ("integer",             Name_Integer);
      Def ("real",                Name_Real);
      Def ("time",                Name_Time);
      Def ("fs",                  Name_Fs);
      Def ("ps",                  Name_Ps);
      Def ("ns",                  Name_Ns);
      Def ("us",                  Name_Us);
      Def ("ms",                  Name_Ms);
      Def ("sec",                 Name_Sec);
      Def ("min",                 Name_Min);
      Def ("hr",                  Name_Hr);
      Def ("max",                 Name_Max);
      Def ("delay_length",        Name_Delay_Length);
      Def ("now",                 Name_Now);
      Def ("natural",             Name_Natural);
      Def ("positive",            Name_Positive);
      Def ("string",              Name_String);
      Def ("bit_vector",          Name_Bit_Vector);
      Def ("file_open_kind",      Name_File_Open_Kind);
      Def ("read_mode",           Name_Read_Mode);
      Def ("write_mode",          Name_Write_Mode);
      Def ("append_mode",         Name_Append_Mode);
      Def ("file_open_status",    Name_File_Open_Status);
      Def ("open_ok",             Name_Open_Ok);
      Def ("status_error",        Name_Status_Error);
      Def ("name_error",          Name_Name_Error);
      Def ("mode_error",          Name_Mode_Error);
      Def ("foreign",             Name_Foreign);

      Def ("boolean_vector",      Name_Boolean_Vector);
      Def ("to_bstring",          Name_To_Bstring);
      Def ("to_binary_string",    Name_To_Binary_String);
      Def ("to_ostring",          Name_To_Ostring);
      Def ("to_octal_string",     Name_To_Octal_String);
      Def ("to_hstring",          Name_To_Hstring);
      Def ("to_hex_string",       Name_To_Hex_String);
      Def ("integer_vector",      Name_Integer_Vector);
      Def ("real_vector",         Name_Real_Vector);
      Def ("time_vector",         Name_Time_Vector);
      Def ("digits",              Name_Digits);
      Def ("format",              Name_Format);
      Def ("unit",                Name_Unit);

      Def ("domain_type",         Name_Domain_Type);
      Def ("quiescent_domain",    Name_Quiescent_Domain);
      Def ("time_domain",         Name_Time_Domain);
      Def ("frequency_domain",    Name_Frequency_Domain);
      Def ("domain",              Name_Domain);
      Def ("frequency",           Name_Frequency);
      Def ("real_vector",         Name_Real_Vector);

      Def ("nul", Name_Nul);
      Def ("soh", Name_Soh);
      Def ("stx", Name_Stx);
      Def ("etx", Name_Etx);
      Def ("eot", Name_Eot);
      Def ("enq", Name_Enq);
      Def ("ack", Name_Ack);
      Def ("bel", Name_Bel);
      Def ("bs",  Name_Bs);
      Def ("ht",  Name_Ht);
      Def ("lf",  Name_Lf);
      Def ("vt",  Name_Vt);
      Def ("ff",  Name_Ff);
      Def ("cr",  Name_Cr);
      Def ("so",  Name_So);
      Def ("si",  Name_Si);
      Def ("dle", Name_Dle);
      Def ("dc1", Name_Dc1);
      Def ("dc2", Name_Dc2);
      Def ("dc3", Name_Dc3);
      Def ("dc4", Name_Dc4);
      Def ("nak", Name_Nak);
      Def ("syn", Name_Syn);
      Def ("etb", Name_Etb);
      Def ("can", Name_Can);
      Def ("em",  Name_Em);
      Def ("sub", Name_Sub);
      Def ("esc", Name_Esc);
      Def ("fsp", Name_Fsp);
      Def ("gsp", Name_Gsp);
      Def ("rsp", Name_Rsp);
      Def ("usp", Name_Usp);
      Def ("del", Name_Del);

      Def ("c128", Name_C128);
      Def ("c129", Name_C129);
      Def ("c130", Name_C130);
      Def ("c131", Name_C131);
      Def ("c132", Name_C132);
      Def ("c133", Name_C133);
      Def ("c134", Name_C134);
      Def ("c135", Name_C135);
      Def ("c136", Name_C136);
      Def ("c137", Name_C137);
      Def ("c138", Name_C138);
      Def ("c139", Name_C139);
      Def ("c140", Name_C140);
      Def ("c141", Name_C141);
      Def ("c142", Name_C142);
      Def ("c143", Name_C143);
      Def ("c144", Name_C144);
      Def ("c145", Name_C145);
      Def ("c146", Name_C146);
      Def ("c147", Name_C147);
      Def ("c148", Name_C148);
      Def ("c149", Name_C149);
      Def ("c150", Name_C150);
      Def ("c151", Name_C151);
      Def ("c152", Name_C152);
      Def ("c153", Name_C153);
      Def ("c154", Name_C154);
      Def ("c155", Name_C155);
      Def ("c156", Name_C156);
      Def ("c157", Name_C157);
      Def ("c158", Name_C158);
      Def ("c159", Name_C159);

      -- Create misc.
      Def ("guard",                 Name_Guard);
      Def ("deallocate",            Name_Deallocate);
      Def ("file_open",             Name_File_Open);
      Def ("file_close",            Name_File_Close);
      Def ("read",                  Name_Read);
      Def ("write",                 Name_Write);
      Def ("flush",                 Name_Flush);
      Def ("endfile",               Name_Endfile);
      Def ("i",                     Name_I);
      Def ("j",                     Name_J);
      Def ("f",                     Name_F);
      Def ("l",                     Name_L);
      Def ("p",                     Name_P);
      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 ("first",                 Name_First);
      Def ("last",                  Name_Last);
      Def ("textio",                Name_Textio);
      Def ("work",                  Name_Work);
      Def ("text",                  Name_Text);
      Def ("to_string",             Name_To_String);
      Def ("minimum",               Name_Minimum);
      Def ("maximum",               Name_Maximum);
      Def ("untruncated_text_read", Name_Untruncated_Text_Read);
      Def ("textio_read_real",      Name_Textio_Read_Real);
      Def ("textio_write_real",     Name_Textio_Write_Real);
      Def ("get_resolution_limit",  Name_Get_Resolution_Limit);
      Def ("control_simulation",    Name_Control_Simulation);
      Def ("step",                  Name_Step);
      Def ("index",                 Name_Index);
      Def ("item",                  Name_Item);
      Def ("__FILE__",              Name_Uu_File_Uu);
      Def ("__LINE__",              Name_Uu_Line_Uu);
      Def ("label_applies_to",      Name_Label_Applies_To);
      Def ("return_port_name",      Name_Return_Port_Name);
      Def ("map_to_operator",       Name_Map_To_Operator);
      Def ("type_function",         Name_Type_Function);
      Def ("built_in",              Name_Built_In);
      Def ("none",                  Name_None);

      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 ("numeric_std_unsigned",  Name_Numeric_Std_Unsigned);
      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_level0",       Name_VITAL_Level0);
      Def ("vital_level1",       Name_VITAL_Level1);
      Def ("unresolved_unsigned", Name_Unresolved_Unsigned);
      Def ("unresolved_signed",  Name_Unresolved_Signed);
      Def ("to_integer",         Name_To_Integer);
      Def ("to_unsigned",        Name_To_Unsigned);
      Def ("to_signed",          Name_To_Signed);
      Def ("resize",             Name_Resize);
      Def ("std_match",          Name_Std_Match);
      Def ("shift_left",         Name_Shift_Left);
      Def ("shift_right",        Name_Shift_Right);
      Def ("rotate_left",        Name_Rotate_Left);
      Def ("rotate_right",       Name_Rotate_Right);
      Def ("to_bit",             Name_To_Bit);
      Def ("to_bitvector",       Name_To_Bitvector);
      Def ("to_stdulogic",       Name_To_Stdulogic);
      Def ("to_stdlogicvector",  Name_To_Stdlogicvector);
      Def ("to_stdulogicvector", Name_To_Stdulogicvector);
      Def ("is_x",               Name_Is_X);
      Def ("to_01",              Name_To_01);
      Def ("to_x01",             Name_To_X01);
      Def ("to_x01z",            Name_To_X01Z);
      Def ("to_ux01",            Name_To_UX01);
      Def ("conv_signed",        Name_Conv_Signed);
      Def ("conv_unsigned",      Name_Conv_Unsigned);
      Def ("conv_integer",       Name_Conv_Integer);
      Def ("conv_std_logic_vector", Name_Conv_Std_Logic_Vector);
      Def ("and_reduce",         Name_And_Reduce);
      Def ("nand_reduce",        Name_Nand_Reduce);
      Def ("or_reduce",          Name_Or_Reduce);
      Def ("nor_reduce",         Name_Nor_Reduce);
      Def ("xor_reduce",         Name_Xor_Reduce);
      Def ("xnor_reduce",        Name_Xnor_Reduce);
      Def ("ceil",               Name_Ceil);
      Def ("floor",              Name_Floor);
      Def ("round",              Name_Round);
      Def ("log2",               Name_Log2);
      Def ("sin",                Name_Sin);
      Def ("cos",                Name_Cos);
      Def ("arctan",             Name_Arctan);
      Def ("shl",                Name_Shl);
      Def ("shr",                Name_Shr);
      Def ("ext",                Name_Ext);
      Def ("sxt",                Name_Sxt);
      Def ("find_leftmost",      Name_Find_Leftmost);
      Def ("find_rightmost",     Name_Find_Rightmost);

      Def ("allconst",           Name_Allconst);
      Def ("allseq",             Name_Allseq);
      Def ("anyconst",           Name_Anyconst);
      Def ("anyseq",             Name_Anyseq);
      Def ("gclk",               Name_Gclk);
      Def ("loc",                Name_Loc);
      Def ("keep",               Name_Keep);

      --  Verilog directives
      Def ("define",          Name_Define);
      Def ("endif",           Name_Endif);
      Def ("ifdef",           Name_Ifdef);
      Def ("ifndef",          Name_Ifndef);
      Def ("include",         Name_Include);
      Def ("timescale",       Name_Timescale);
      Def ("undef",           Name_Undef);
      Def ("protect",         Name_Protect);
      Def ("begin_protected", Name_Begin_Protected);
      Def ("end_protected",   Name_End_Protected);
      Def ("key_block",       Name_Key_Block);
      Def ("data_block",      Name_Data_Block);
      Def ("line",            Name_Line);
      Def ("celldefine",      Name_Celldefine);
      Def ("endcelldefine",   Name_Endcelldefine);
      Def ("default_nettype", Name_Default_Nettype);
      Def ("resetall",        Name_Resetall);

      --  Verilog system tasks
      Def ("bits",            Name_Bits);
      Def ("$root",           Name_D_Root);
      Def ("$unit",           Name_D_Unit);

      --  SV methods.
      Def ("size",             Name_Size);
      Def ("insert",           Name_Insert);
      Def ("delete",           Name_Delete);
      Def ("pop_front",        Name_Pop_Front);
      Def ("pop_back",         Name_Pop_Back);
      Def ("push_front",       Name_Push_Front);
      Def ("push_back",        Name_Push_Back);
      Def ("name",             Name_Name);
      Def ("len",              Name_Len);
      Def ("substr",           Name_Substr);
      Def ("exists",           Name_Exists);
      Def ("atoi",             Name_Atoi);
      Def ("itoa",             Name_Itoa);
      Def ("find",             Name_Find);
      Def ("find_index",       Name_Find_Index);
      Def ("find_first",       Name_Find_First);
      Def ("find_first_index", Name_Find_First_Index);
      Def ("find_last",        Name_Find_Last);
      Def ("find_last_index",  Name_Find_Last_Index);
      Def ("num",              Name_Num);
      Def ("randomize",        Name_Randomize);
      Def ("pre_randomize",    Name_Pre_Randomize);
      Def ("post_randomize",   Name_Post_Randomize);
      Def ("srandom",          Name_Srandom);
      Def ("get_randstate",    Name_Get_Randstate);
      Def ("set_randstate",    Name_Set_Randstate);
      Def ("seed",             Name_Seed);
      Def ("state",            Name_State);

      --  BSV keywords
      Def ("Action",         Name_uAction);
      Def ("ActionValue",    Name_uActionValue);
      Def ("BVI",            Name_BVI);
      Def ("C",              Name_uC);
      Def ("CF",             Name_uCF);
      Def ("E",              Name_uE);
      Def ("SB",             Name_uSB);
      Def ("SBR",            Name_uSBR);
      Def ("action",         Name_Action);
      Def ("endaction",      Name_Endaction);
      Def ("actionvalue",    Name_Actionvalue);
      Def ("endactionvalue", Name_Endactionvalue);
      Def ("ancestor",       Name_Ancestor);
      Def ("clocked_by",     Name_Clocked_By);
      Def ("default_clock",  Name_Default_Clock);
      Def ("default_reset",  Name_Default_Reset);
      Def ("dependencies",   Name_Dependencies);
      Def ("deriving",       Name_Deriving);
      Def ("determines",     Name_Determines);
      Def ("enable",         Name_Enable);
      Def ("ifc_inout",      Name_Ifc_Inout);
      Def ("input_clock",    Name_Input_Clock);
      Def ("input_reset",    Name_Input_Reset);
      Def ("instance",       Name_Instance);
      Def ("endinstance",    Name_Endinstance);
      Def ("let",            Name_Let);
      Def ("match",          Name_Match);
      Def ("method",         Name_Method);
      Def ("endmethod",      Name_Endmethod);
      Def ("numeric",        Name_Numeric);
      Def ("output_clock",   Name_Output_Clock);
      Def ("output_reset",   Name_Output_Reset);
      Def ("par",            Name_Par);
      Def ("endpar",         Name_Endpar);
      Def ("path",           Name_Path);
      Def ("provisos",       Name_Provisos);
      Def ("ready",          Name_Ready);
      Def ("reset_by",       Name_Reset_By);
      Def ("rule",           Name_Rule);
      Def ("endrule",        Name_Endrule);
      Def ("rules",          Name_Rules);
      Def ("endrules",       Name_Endrules);
      Def ("same_family",    Name_Same_Family);
      Def ("schedule",       Name_Schedule);
      Def ("seq",            Name_Seq);
      Def ("endseq",         Name_Endseq);
      Def ("typeclass",      Name_Typeclass);
      Def ("endtypeclass",   Name_Endtypeclass);
      Def ("valueof",        Name_Valueof);
      Def ("valueOf",        Name_uValueof);

      --  Special comments
      Def ("psl",                   Name_Psl);
      Def ("pragma",                Name_Pragma);
      Def ("synthesis",             Name_Synthesis);
      Def ("synopsys",              Name_Synopsys);
      Def ("translate_off",         Name_Translate_Off);
      Def ("translate_on",          Name_Translate_On);
      Def ("translate",             Name_Translate);
      Def ("synthesis_off",         Name_Synthesis_Off);
      Def ("synthesis_on",          Name_Synthesis_On);
      Def ("off",                   Name_Off);
      Def ("full_case",             Name_Full_Case);
      Def ("parallel_case",         Name_Parallel_Case);

      --  PSL keywords
      Def ("a",                  Name_A);
      Def ("af",                 Name_Af);
      Def ("ag",                 Name_Ag);
      Def ("ax",                 Name_Ax);
      Def ("abort",              Name_Abort);
      Def ("assume_guarantee",   Name_Assume_Guarantee);
      Def ("async_abort",        Name_Async_Abort);
      Def ("before",             Name_Before);
      Def ("clock",              Name_Clock);
      Def ("const",              Name_Const);
      Def ("e",                  Name_E);
      Def ("ef",                 Name_Ef);
      Def ("eg",                 Name_Eg);
      Def ("ex",                 Name_Ex);
      Def ("endpoint",           Name_Endpoint);
      Def ("eventually",         Name_Eventually);
      Def ("fairness",           Name_Fairness);
      Def ("fell",               Name_Fell);
      Def ("forall",             Name_Forall);
      Def ("g",                  Name_G);
      Def ("inf",                Name_Inf);
      Def ("never",              Name_Never);
      Def ("next_a",             Name_Next_A);
      Def ("next_e",             Name_Next_E);
      Def ("next_event",         Name_Next_Event);
      Def ("next_event_a",       Name_Next_Event_A);
      Def ("next_event_e",       Name_Next_Event_E);
      Def ("onehot",             Name_Onehot);
      Def ("onehot0",            Name_Onehot0);
      Def ("property",           Name_Property);
      Def ("prev",               Name_Prev);
      Def ("rose",               Name_Rose);
      Def ("strong",             Name_Strong);
      Def ("sync_abort",         Name_Sync_Abort);
      Def ("union",              Name_Union);
      Def ("w",                  Name_W);
      Def ("whilenot",           Name_Whilenot);
      Def ("within",             Name_Within);
      Def ("x",                  Name_X);

      Def ("edif",               Name_Edif);
      Def ("edifversion",        Name_Edifversion);
      Def ("ediflevel",          Name_Ediflevel);
      Def ("keywordmap",         Name_Keywordmap);
      Def ("status",             Name_Status);
      Def ("written",            Name_Written);
      Def ("external",           Name_External);
      Def ("comment",            Name_Comment);
      Def ("technology",         Name_Technology);
      Def ("cell",               Name_Cell);
      Def ("celltype",           Name_Celltype);
      Def ("view",               Name_View);
      Def ("viewtype",           Name_Viewtype);
      Def ("direction",          Name_Direction);
      Def ("contents",           Name_Contents);
      Def ("net",                Name_Net);
      Def ("viewref",            Name_Viewref);
      Def ("cellref",            Name_Cellref);
      Def ("libraryref",         Name_Libraryref);
      Def ("portinstance",       Name_Portinstance);
      Def ("joined",             Name_Joined);
      Def ("portref",            Name_Portref);
      Def ("instanceref",        Name_Instanceref);
      Def ("design",             Name_Design);
      Def ("designator",         Name_Designator);
      Def ("owner",              Name_Owner);
      Def ("member",             Name_Member);
      Def ("number",             Name_Number);
      Def ("rename",             Name_Rename);
      Def ("userdata",           Name_Userdata);
   end Std_Names_Initialize;
end Std_Names;