From 6f9f7f00d61c2fac88a75133cecf80e3fcec52f2 Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Sat, 4 Aug 2018 17:23:49 +0200 Subject: reorder names. --- src/std_names.ads | 788 +++++++++++++++++++++++++++++++----------------------- 1 file changed, 458 insertions(+), 330 deletions(-) (limited to 'src/std_names.ads') diff --git a/src/std_names.ads b/src/std_names.ads index b1e39ca6e..e6e335f6f 100644 --- a/src/std_names.ads +++ b/src/std_names.ads @@ -193,7 +193,6 @@ package Std_Names is Name_Terminal : constant Name_Id := Name_First_Ams_Keyword + 010; Name_Through : constant Name_Id := Name_First_Ams_Keyword + 011; Name_Tolerance : constant Name_Id := Name_First_Ams_Keyword + 012; - Name_Last_AMS_Vhdl : constant Name_Id := Name_Tolerance; subtype Name_Id_AMS_Reserved_Words is @@ -204,20 +203,213 @@ package Std_Names is subtype Name_Id_Keywords is Name_Id range Name_First_Keyword .. Name_Last_Keyword; - Name_First_Operator : constant Name_Id := Name_Last_Keyword + 1; - Name_Op_Equality : constant Name_Id := Name_First_Operator + 000; - Name_Op_Inequality : constant Name_Id := Name_First_Operator + 001; - Name_Op_Less : constant Name_Id := Name_First_Operator + 002; - Name_Op_Less_Equal : constant Name_Id := Name_First_Operator + 003; - Name_Op_Greater : constant Name_Id := Name_First_Operator + 004; - Name_Op_Greater_Equal : constant Name_Id := Name_First_Operator + 5; - Name_Op_Plus : constant Name_Id := Name_First_Operator + 006; - Name_Op_Minus : constant Name_Id := Name_First_Operator + 007; - Name_Op_Mul : constant Name_Id := Name_First_Operator + 008; - Name_Op_Div : constant Name_Id := Name_First_Operator + 009; - Name_Op_Exp : constant Name_Id := Name_First_Operator + 010; - Name_Op_Concatenation : constant Name_Id := Name_First_Operator + 011; - Name_Op_Condition : constant Name_Id := Name_First_Operator + 012; + -- Verilog keywords. + Name_First_Verilog : constant Name_Id := Name_Last_Keyword + 1; + Name_Always : constant Name_Id := Name_First_Verilog + 00; + Name_Assign : constant Name_Id := Name_First_Verilog + 01; + Name_Buf : constant Name_Id := Name_First_Verilog + 02; + Name_Bufif0 : constant Name_Id := Name_First_Verilog + 03; + Name_Bufif1 : constant Name_Id := Name_First_Verilog + 04; + Name_Casex : constant Name_Id := Name_First_Verilog + 05; + Name_Casez : constant Name_Id := Name_First_Verilog + 06; + Name_Cmos : constant Name_Id := Name_First_Verilog + 07; + Name_Deassign : constant Name_Id := Name_First_Verilog + 08; + Name_Default : constant Name_Id := Name_First_Verilog + 09; + Name_Defparam : constant Name_Id := Name_First_Verilog + 10; + Name_Disable : constant Name_Id := Name_First_Verilog + 11; + Name_Edge : constant Name_Id := Name_First_Verilog + 12; + Name_Endcase : constant Name_Id := Name_First_Verilog + 13; + Name_Endfunction : constant Name_Id := Name_First_Verilog + 14; + Name_Endmodule : constant Name_Id := Name_First_Verilog + 15; + Name_Endprimitive : constant Name_Id := Name_First_Verilog + 16; + Name_Endspecify : constant Name_Id := Name_First_Verilog + 17; + Name_Endtable : constant Name_Id := Name_First_Verilog + 18; + Name_Endtask : constant Name_Id := Name_First_Verilog + 19; + Name_Force : constant Name_Id := Name_First_Verilog + 20; + Name_Forever : constant Name_Id := Name_First_Verilog + 21; + Name_Fork : constant Name_Id := Name_First_Verilog + 22; + Name_Highz0 : constant Name_Id := Name_First_Verilog + 23; + Name_Highz1 : constant Name_Id := Name_First_Verilog + 24; + Name_Ifnone : constant Name_Id := Name_First_Verilog + 25; + Name_Initial : constant Name_Id := Name_First_Verilog + 26; + Name_Input : constant Name_Id := Name_First_Verilog + 27; + Name_Join : constant Name_Id := Name_First_Verilog + 28; + Name_Large : constant Name_Id := Name_First_Verilog + 29; + Name_Macromodule : constant Name_Id := Name_First_Verilog + 30; + Name_Medium : constant Name_Id := Name_First_Verilog + 31; + Name_Module : constant Name_Id := Name_First_Verilog + 32; + Name_Negedge : constant Name_Id := Name_First_Verilog + 33; + Name_Nmos : constant Name_Id := Name_First_Verilog + 34; + Name_Notif0 : constant Name_Id := Name_First_Verilog + 35; + Name_Notif1 : constant Name_Id := Name_First_Verilog + 36; + Name_Output : constant Name_Id := Name_First_Verilog + 37; + Name_Pmos : constant Name_Id := Name_First_Verilog + 38; + Name_Posedge : constant Name_Id := Name_First_Verilog + 39; + Name_Primitive : constant Name_Id := Name_First_Verilog + 40; + Name_Pull0 : constant Name_Id := Name_First_Verilog + 41; + Name_Pull1 : constant Name_Id := Name_First_Verilog + 42; + Name_Pulldown : constant Name_Id := Name_First_Verilog + 43; + Name_Pullup : constant Name_Id := Name_First_Verilog + 44; + Name_Realtime : constant Name_Id := Name_First_Verilog + 45; + Name_Release : constant Name_Id := Name_First_Verilog + 46; + Name_Reg : constant Name_Id := Name_First_Verilog + 47; + Name_Repeat : constant Name_Id := Name_First_Verilog + 48; + Name_Rcmos : constant Name_Id := Name_First_Verilog + 49; + Name_Rnmos : constant Name_Id := Name_First_Verilog + 50; + Name_Rpmos : constant Name_Id := Name_First_Verilog + 51; + Name_Rtran : constant Name_Id := Name_First_Verilog + 52; + Name_Rtranif0 : constant Name_Id := Name_First_Verilog + 53; + Name_Rtranif1 : constant Name_Id := Name_First_Verilog + 54; + Name_Scalared : constant Name_Id := Name_First_Verilog + 55; + Name_Small : constant Name_Id := Name_First_Verilog + 56; + Name_Specify : constant Name_Id := Name_First_Verilog + 57; + Name_Specparam : constant Name_Id := Name_First_Verilog + 58; + Name_Strong0 : constant Name_Id := Name_First_Verilog + 59; + Name_Strong1 : constant Name_Id := Name_First_Verilog + 60; + Name_Supply0 : constant Name_Id := Name_First_Verilog + 61; + Name_Supply1 : constant Name_Id := Name_First_Verilog + 62; + Name_Tablex : constant Name_Id := Name_First_Verilog + 63; + Name_Task : constant Name_Id := Name_First_Verilog + 64; + Name_Tran : constant Name_Id := Name_First_Verilog + 65; + Name_Tranif0 : constant Name_Id := Name_First_Verilog + 66; + Name_Tranif1 : constant Name_Id := Name_First_Verilog + 67; + Name_Tri : constant Name_Id := Name_First_Verilog + 68; + Name_Tri0 : constant Name_Id := Name_First_Verilog + 69; + Name_Tri1 : constant Name_Id := Name_First_Verilog + 70; + Name_Triand : constant Name_Id := Name_First_Verilog + 71; + Name_Trior : constant Name_Id := Name_First_Verilog + 72; + Name_Trireg : constant Name_Id := Name_First_Verilog + 73; + Name_Vectored : constant Name_Id := Name_First_Verilog + 74; + Name_Wand : constant Name_Id := Name_First_Verilog + 75; + Name_Weak0 : constant Name_Id := Name_First_Verilog + 76; + Name_Weak1 : constant Name_Id := Name_First_Verilog + 77; + Name_Wire : constant Name_Id := Name_First_Verilog + 78; + Name_Wor : constant Name_Id := Name_First_Verilog + 79; + Name_Last_Verilog : constant Name_Id := Name_Wor; + + -- Verilog 2001 + Name_First_V2001 : constant Name_Id := Name_Last_Verilog + 1; + Name_Automatic : constant Name_Id := Name_First_V2001 + 0; + Name_Endgenerate : constant Name_Id := Name_First_V2001 + 1; + Name_Genvar : constant Name_Id := Name_First_V2001 + 2; + Name_Localparam : constant Name_Id := Name_First_V2001 + 3; + Name_Unsigned : constant Name_Id := Name_First_V2001 + 4; + Name_Signed : constant Name_Id := Name_First_V2001 + 5; + Name_Last_V2001 : constant Name_Id := Name_First_V2001 + 5; + + -- Verilog 2005 + Name_Uwire : constant Name_Id := Name_Last_V2001 + 1; + + -- SystemVerilog + Name_First_SV3_0 : constant Name_Id := Name_Last_V2001 + 2; + Name_Always_Comb : constant Name_Id := Name_First_SV3_0 + 0; + Name_Always_Ff : constant Name_Id := Name_First_SV3_0 + 1; + Name_Always_Latch : constant Name_Id := Name_First_SV3_0 + 2; + Name_Bit : constant Name_Id := Name_First_SV3_0 + 3; + Name_Byte : constant Name_Id := Name_First_SV3_0 + 4; + Name_Changed : constant Name_Id := Name_First_SV3_0 + 5; + Name_Char : constant Name_Id := Name_First_SV3_0 + 6; + Name_Const : constant Name_Id := Name_First_SV3_0 + 7; + Name_Continue : constant Name_Id := Name_First_SV3_0 + 8; + Name_Do : constant Name_Id := Name_First_SV3_0 + 9; + Name_Endinterface : constant Name_Id := Name_First_SV3_0 + 10; + Name_Endtransition : constant Name_Id := Name_First_SV3_0 + 11; + Name_Enum : constant Name_Id := Name_First_SV3_0 + 12; + Name_Export : constant Name_Id := Name_First_SV3_0 + 13; + Name_Extern : constant Name_Id := Name_First_SV3_0 + 14; + Name_Forkjoin : constant Name_Id := Name_First_SV3_0 + 15; + Name_Iff : constant Name_Id := Name_First_SV3_0 + 16; + Name_Import : constant Name_Id := Name_First_SV3_0 + 17; + Name_Int : constant Name_Id := Name_First_SV3_0 + 18; + Name_Interface : constant Name_Id := Name_First_SV3_0 + 19; + Name_Logic : constant Name_Id := Name_First_SV3_0 + 20; + Name_Longint : constant Name_Id := Name_First_SV3_0 + 21; + Name_Longreal : constant Name_Id := Name_First_SV3_0 + 22; + Name_Modport : constant Name_Id := Name_First_SV3_0 + 23; + Name_Packed : constant Name_Id := Name_First_SV3_0 + 24; + Name_Priority : constant Name_Id := Name_First_SV3_0 + 25; + Name_Shortint : constant Name_Id := Name_First_SV3_0 + 26; + Name_Shortreal : constant Name_Id := Name_First_SV3_0 + 27; + Name_Static : constant Name_Id := Name_First_SV3_0 + 28; + Name_Struct : constant Name_Id := Name_First_SV3_0 + 29; + Name_Timeprecision : constant Name_Id := Name_First_SV3_0 + 30; + Name_Timeunit : constant Name_Id := Name_First_SV3_0 + 31; + Name_Transition : constant Name_Id := Name_First_SV3_0 + 32; + Name_Typedef : constant Name_Id := Name_First_SV3_0 + 33; + Name_Union : constant Name_Id := Name_First_SV3_0 + 34; + Name_Unique : constant Name_Id := Name_First_SV3_0 + 35; + Name_Void : constant Name_Id := Name_First_SV3_0 + 36; + Name_Last_SV3_0 : constant Name_Id := Name_First_SV3_0 + 36; + + Name_First_SV3_1 : constant Name_Id := Name_Last_SV3_0 + 1; + Name_Chandle : constant Name_Id := Name_First_SV3_1 + 0; + Name_Class : constant Name_Id := Name_First_SV3_1 + 1; + Name_Clocking : constant Name_Id := Name_First_SV3_1 + 2; + Name_Constraint : constant Name_Id := Name_First_SV3_1 + 3; + Name_Cover : constant Name_Id := Name_First_SV3_1 + 4; + Name_Dist : constant Name_Id := Name_First_SV3_1 + 5; + Name_Endclass : constant Name_Id := Name_First_SV3_1 + 6; + Name_Endclocking : constant Name_Id := Name_First_SV3_1 + 7; + Name_Endprogram : constant Name_Id := Name_First_SV3_1 + 8; + Name_Endproperty : constant Name_Id := Name_First_SV3_1 + 9; + Name_Endsequence : constant Name_Id := Name_First_SV3_1 + 10; + Name_Extends : constant Name_Id := Name_First_SV3_1 + 11; + Name_Final : constant Name_Id := Name_First_SV3_1 + 12; + Name_First_Match : constant Name_Id := Name_First_SV3_1 + 13; + Name_Inside : constant Name_Id := Name_First_SV3_1 + 14; + Name_Intersect : constant Name_Id := Name_First_SV3_1 + 15; + Name_Join_Any : constant Name_Id := Name_First_SV3_1 + 16; + Name_Join_None : constant Name_Id := Name_First_SV3_1 + 17; + Name_Local : constant Name_Id := Name_First_SV3_1 + 18; + Name_Program : constant Name_Id := Name_First_SV3_1 + 19; + Name_Property : constant Name_Id := Name_First_SV3_1 + 20; + Name_Rand : constant Name_Id := Name_First_SV3_1 + 21; + Name_Randc : constant Name_Id := Name_First_SV3_1 + 22; + Name_Ref : constant Name_Id := Name_First_SV3_1 + 23; + Name_Sequence : constant Name_Id := Name_First_SV3_1 + 24; + Name_Solve : constant Name_Id := Name_First_SV3_1 + 25; + Name_String : constant Name_Id := Name_First_SV3_1 + 26; + Name_Super : constant Name_Id := Name_First_SV3_1 + 27; + Name_This : constant Name_Id := Name_First_SV3_1 + 28; + Name_Throughout : constant Name_Id := Name_First_SV3_1 + 29; + Name_Var : constant Name_Id := Name_First_SV3_1 + 30; + Name_Virtual : constant Name_Id := Name_First_SV3_1 + 31; + Name_Wait_Order : constant Name_Id := Name_First_SV3_1 + 32; + Name_Last_SV3_1 : constant Name_Id := Name_Wait_Order; + + Name_First_SV3_1a : constant Name_Id := Name_Last_SV3_1 + 1; + Name_Assume : constant Name_Id := Name_First_SV3_1a + 0; + Name_Covergroup : constant Name_Id := Name_First_SV3_1a + 1; + Name_Coverpoint : constant Name_Id := Name_First_SV3_1a + 2; + Name_Endgroup : constant Name_Id := Name_First_SV3_1a + 3; + Name_Endpackage : constant Name_Id := Name_First_SV3_1a + 4; + Name_Expect : constant Name_Id := Name_First_SV3_1a + 5; + Name_Foreach : constant Name_Id := Name_First_SV3_1a + 6; + Name_Ignore_Bins : constant Name_Id := Name_First_SV3_1a + 7; + Name_Illegal_Bins : constant Name_Id := Name_First_SV3_1a + 8; + Name_Matches : constant Name_Id := Name_First_SV3_1a + 9; + Name_Randcase : constant Name_Id := Name_First_SV3_1a + 10; + Name_Randsequence : constant Name_Id := Name_First_SV3_1a + 11; + Name_Tagged : constant Name_Id := Name_First_SV3_1a + 12; + Name_Wildcard : constant Name_Id := Name_First_SV3_1a + 13; + Name_Last_SV3_1a : constant Name_Id := Name_First_SV3_1a + 13; + + -- VHDL operators. Used as identifiers for declaration of overloaded + -- operators. + Name_First_Operator : constant Name_Id := Name_Last_SV3_1a + 1; + Name_Op_Equality : constant Name_Id := Name_First_Operator + 000; + Name_Op_Inequality : constant Name_Id := Name_First_Operator + 001; + Name_Op_Less : constant Name_Id := Name_First_Operator + 002; + Name_Op_Less_Equal : constant Name_Id := Name_First_Operator + 003; + Name_Op_Greater : constant Name_Id := Name_First_Operator + 004; + Name_Op_Greater_Equal : constant Name_Id := Name_First_Operator + 005; + Name_Op_Plus : constant Name_Id := Name_First_Operator + 006; + Name_Op_Minus : constant Name_Id := Name_First_Operator + 007; + Name_Op_Mul : constant Name_Id := Name_First_Operator + 008; + Name_Op_Div : constant Name_Id := Name_First_Operator + 009; + Name_Op_Exp : constant Name_Id := Name_First_Operator + 010; + Name_Op_Concatenation : constant Name_Id := Name_First_Operator + 011; + Name_Op_Condition : constant Name_Id := Name_First_Operator + 012; Name_Op_Match_Equality : constant Name_Id := Name_First_Operator + 013; Name_Op_Match_Inequality : constant Name_Id := Name_First_Operator + 014; Name_Op_Match_Less : constant Name_Id := Name_First_Operator + 015; @@ -234,36 +426,36 @@ package Std_Names is range Name_First_Operator .. Name_Last_Operator; Name_First_Attribute : constant Name_Id := Name_Last_Operator + 1; - Name_Base : constant Name_Id := Name_First_Attribute + 000; - Name_Left : constant Name_Id := Name_First_Attribute + 001; - Name_Right : constant Name_Id := Name_First_Attribute + 002; - Name_High : constant Name_Id := Name_First_Attribute + 003; - Name_Low : constant Name_Id := Name_First_Attribute + 004; - Name_Pos : constant Name_Id := Name_First_Attribute + 005; - Name_Val : constant Name_Id := Name_First_Attribute + 006; - Name_Succ : constant Name_Id := Name_First_Attribute + 007; - Name_Pred : constant Name_Id := Name_First_Attribute + 008; - Name_Leftof : constant Name_Id := Name_First_Attribute + 009; - Name_Rightof : constant Name_Id := Name_First_Attribute + 010; - Name_Reverse_Range : constant Name_Id := Name_First_Attribute + 011; - Name_Length : constant Name_Id := Name_First_Attribute + 012; - Name_Delayed : constant Name_Id := Name_First_Attribute + 013; - Name_Stable : constant Name_Id := Name_First_Attribute + 014; - Name_Quiet : constant Name_Id := Name_First_Attribute + 015; - Name_Transaction : constant Name_Id := Name_First_Attribute + 016; - Name_Event : constant Name_Id := Name_First_Attribute + 017; - Name_Active : constant Name_Id := Name_First_Attribute + 018; - Name_Last_Event : constant Name_Id := Name_First_Attribute + 019; - Name_Last_Active : constant Name_Id := Name_First_Attribute + 020; - Name_Last_Value : constant Name_Id := Name_First_Attribute + 021; - Name_Last_Attribute : constant Name_Id := Name_Last_Value; + Name_Base : constant Name_Id := Name_First_Attribute + 000; + Name_Left : constant Name_Id := Name_First_Attribute + 001; + Name_Right : constant Name_Id := Name_First_Attribute + 002; + Name_High : constant Name_Id := Name_First_Attribute + 003; + Name_Low : constant Name_Id := Name_First_Attribute + 004; + Name_Pos : constant Name_Id := Name_First_Attribute + 005; + Name_Val : constant Name_Id := Name_First_Attribute + 006; + Name_Succ : constant Name_Id := Name_First_Attribute + 007; + Name_Pred : constant Name_Id := Name_First_Attribute + 008; + Name_Leftof : constant Name_Id := Name_First_Attribute + 009; + Name_Rightof : constant Name_Id := Name_First_Attribute + 010; + Name_Reverse_Range : constant Name_Id := Name_First_Attribute + 011; + Name_Length : constant Name_Id := Name_First_Attribute + 012; + Name_Delayed : constant Name_Id := Name_First_Attribute + 013; + Name_Stable : constant Name_Id := Name_First_Attribute + 014; + Name_Quiet : constant Name_Id := Name_First_Attribute + 015; + Name_Transaction : constant Name_Id := Name_First_Attribute + 016; + Name_Event : constant Name_Id := Name_First_Attribute + 017; + Name_Active : constant Name_Id := Name_First_Attribute + 018; + Name_Last_Event : constant Name_Id := Name_First_Attribute + 019; + Name_Last_Active : constant Name_Id := Name_First_Attribute + 020; + Name_Last_Value : constant Name_Id := Name_First_Attribute + 021; + Name_Last_Attribute : constant Name_Id := Name_Last_Value; subtype Name_Id_Attributes is Name_Id range Name_First_Attribute .. Name_Last_Attribute; Name_First_Vhdl87_Attribute : constant Name_Id := Name_Last_Value + 1; - Name_Behavior : constant Name_Id := Name_First_Attribute + 022; - Name_Structure : constant Name_Id := Name_First_Attribute + 023; + Name_Behavior : constant Name_Id := Name_First_Attribute + 022; + Name_Structure : constant Name_Id := Name_First_Attribute + 023; Name_Last_Vhdl87_Attribute : constant Name_Id := Name_Structure; subtype Name_Id_Vhdl87_Attributes is Name_Id @@ -306,75 +498,73 @@ package Std_Names is range Name_Simple_Name .. Name_Path_Name; -- Names used in std.standard package. - Name_First_Standard : constant Name_Id := Name_Last_AMS_Attribute + 1; - Name_Std : constant Name_Id := Name_First_Standard + 000; - Name_Standard : constant Name_Id := Name_First_Standard + 001; - Name_Boolean : constant Name_Id := Name_First_Standard + 002; - Name_False : constant Name_Id := Name_First_Standard + 003; - Name_True : constant Name_Id := Name_First_Standard + 004; - Name_Bit : constant Name_Id := Name_First_Standard + 005; - Name_Character : constant Name_Id := Name_First_Standard + 006; - Name_Severity_Level : constant Name_Id := Name_First_Standard + 007; - Name_Note : constant Name_Id := Name_First_Standard + 008; - Name_Warning : constant Name_Id := Name_First_Standard + 009; - Name_Error : constant Name_Id := Name_First_Standard + 010; - Name_Failure : constant Name_Id := Name_First_Standard + 011; - Name_Universal_Integer : constant Name_Id := Name_First_Standard + 012; - Name_Universal_Real : constant Name_Id := Name_First_Standard + 013; - Name_Convertible_Integer : constant Name_Id := Name_First_Standard + 014; - Name_Convertible_Real : constant Name_Id := Name_First_Standard + 015; - Name_Integer : constant Name_Id := Name_First_Standard + 016; - Name_Real : constant Name_Id := Name_First_Standard + 017; - Name_Time : constant Name_Id := Name_First_Standard + 018; - Name_Fs : constant Name_Id := Name_First_Standard + 019; - Name_Ps : constant Name_Id := Name_First_Standard + 020; - Name_Ns : constant Name_Id := Name_First_Standard + 021; - Name_Us : constant Name_Id := Name_First_Standard + 022; - Name_Ms : constant Name_Id := Name_First_Standard + 023; - Name_Sec : constant Name_Id := Name_First_Standard + 024; - Name_Min : constant Name_Id := Name_First_Standard + 025; - Name_Hr : constant Name_Id := Name_First_Standard + 026; - Name_Delay_Length : constant Name_Id := Name_First_Standard + 027; - Name_Now : constant Name_Id := Name_First_Standard + 028; - Name_Natural : constant Name_Id := Name_First_Standard + 029; - Name_Positive : constant Name_Id := Name_First_Standard + 030; - Name_String : constant Name_Id := Name_First_Standard + 031; - Name_Bit_Vector : constant Name_Id := Name_First_Standard + 032; - Name_File_Open_Kind : constant Name_Id := Name_First_Standard + 033; - Name_Read_Mode : constant Name_Id := Name_First_Standard + 034; - Name_Write_Mode : constant Name_Id := Name_First_Standard + 035; - Name_Append_Mode : constant Name_Id := Name_First_Standard + 036; - Name_File_Open_Status : constant Name_Id := Name_First_Standard + 037; - Name_Open_Ok : constant Name_Id := Name_First_Standard + 038; - Name_Status_Error : constant Name_Id := Name_First_Standard + 039; - Name_Name_Error : constant Name_Id := Name_First_Standard + 040; - Name_Mode_Error : constant Name_Id := Name_First_Standard + 041; - Name_Foreign : constant Name_Id := Name_First_Standard + 042; + Name_First_Standard : constant Name_Id := Name_Last_AMS_Attribute + 1; + Name_Std : constant Name_Id := Name_First_Standard + 000; + Name_Standard : constant Name_Id := Name_First_Standard + 001; + Name_Boolean : constant Name_Id := Name_First_Standard + 002; + Name_False : constant Name_Id := Name_First_Standard + 003; + Name_True : constant Name_Id := Name_First_Standard + 004; + Name_Character : constant Name_Id := Name_First_Standard + 005; + Name_Severity_Level : constant Name_Id := Name_First_Standard + 006; + Name_Note : constant Name_Id := Name_First_Standard + 007; + Name_Warning : constant Name_Id := Name_First_Standard + 008; + Name_Error : constant Name_Id := Name_First_Standard + 009; + Name_Failure : constant Name_Id := Name_First_Standard + 010; + Name_Universal_Integer : constant Name_Id := Name_First_Standard + 011; + Name_Universal_Real : constant Name_Id := Name_First_Standard + 012; + Name_Convertible_Integer : constant Name_Id := Name_First_Standard + 013; + Name_Convertible_Real : constant Name_Id := Name_First_Standard + 014; + Name_Integer : constant Name_Id := Name_First_Standard + 015; + Name_Real : constant Name_Id := Name_First_Standard + 016; + Name_Time : constant Name_Id := Name_First_Standard + 017; + Name_Fs : constant Name_Id := Name_First_Standard + 018; + Name_Ps : constant Name_Id := Name_First_Standard + 019; + Name_Ns : constant Name_Id := Name_First_Standard + 020; + Name_Us : constant Name_Id := Name_First_Standard + 021; + Name_Ms : constant Name_Id := Name_First_Standard + 022; + Name_Sec : constant Name_Id := Name_First_Standard + 023; + Name_Min : constant Name_Id := Name_First_Standard + 024; + Name_Hr : constant Name_Id := Name_First_Standard + 025; + Name_Delay_Length : constant Name_Id := Name_First_Standard + 026; + Name_Now : constant Name_Id := Name_First_Standard + 027; + Name_Natural : constant Name_Id := Name_First_Standard + 028; + Name_Positive : constant Name_Id := Name_First_Standard + 029; + Name_Bit_Vector : constant Name_Id := Name_First_Standard + 030; + Name_File_Open_Kind : constant Name_Id := Name_First_Standard + 031; + Name_Read_Mode : constant Name_Id := Name_First_Standard + 032; + Name_Write_Mode : constant Name_Id := Name_First_Standard + 033; + Name_Append_Mode : constant Name_Id := Name_First_Standard + 034; + Name_File_Open_Status : constant Name_Id := Name_First_Standard + 035; + Name_Open_Ok : constant Name_Id := Name_First_Standard + 036; + Name_Status_Error : constant Name_Id := Name_First_Standard + 037; + Name_Name_Error : constant Name_Id := Name_First_Standard + 038; + Name_Mode_Error : constant Name_Id := Name_First_Standard + 039; + Name_Foreign : constant Name_Id := Name_First_Standard + 040; -- Added by VHDL 08 - Name_Boolean_Vector : constant Name_Id := Name_First_Standard + 043; - Name_To_Bstring : constant Name_Id := Name_First_Standard + 044; - Name_To_Binary_String : constant Name_Id := Name_First_Standard + 045; - Name_To_Ostring : constant Name_Id := Name_First_Standard + 046; - Name_To_Octal_String : constant Name_Id := Name_First_Standard + 047; - Name_To_Hstring : constant Name_Id := Name_First_Standard + 048; - Name_To_Hex_String : constant Name_Id := Name_First_Standard + 049; - Name_Integer_Vector : constant Name_Id := Name_First_Standard + 050; - Name_Real_Vector : constant Name_Id := Name_First_Standard + 051; - Name_Time_Vector : constant Name_Id := Name_First_Standard + 052; - Name_Digits : constant Name_Id := Name_First_Standard + 053; - Name_Format : constant Name_Id := Name_First_Standard + 054; - Name_Unit : constant Name_Id := Name_First_Standard + 055; + Name_Boolean_Vector : constant Name_Id := Name_First_Standard + 041; + Name_To_Bstring : constant Name_Id := Name_First_Standard + 042; + Name_To_Binary_String : constant Name_Id := Name_First_Standard + 043; + Name_To_Ostring : constant Name_Id := Name_First_Standard + 044; + Name_To_Octal_String : constant Name_Id := Name_First_Standard + 045; + Name_To_Hstring : constant Name_Id := Name_First_Standard + 046; + Name_To_Hex_String : constant Name_Id := Name_First_Standard + 047; + Name_Integer_Vector : constant Name_Id := Name_First_Standard + 048; + Name_Real_Vector : constant Name_Id := Name_First_Standard + 049; + Name_Time_Vector : constant Name_Id := Name_First_Standard + 050; + Name_Digits : constant Name_Id := Name_First_Standard + 051; + Name_Format : constant Name_Id := Name_First_Standard + 052; + Name_Unit : constant Name_Id := Name_First_Standard + 053; -- Added by AMS vhdl. - Name_Domain_Type : constant Name_Id := Name_First_Standard + 056; - Name_Quiescent_Domain : constant Name_Id := Name_First_Standard + 057; - Name_Time_Domain : constant Name_Id := Name_First_Standard + 058; - Name_Frequency_Domain : constant Name_Id := Name_First_Standard + 059; - Name_Domain : constant Name_Id := Name_First_Standard + 060; - Name_Frequency : constant Name_Id := Name_First_Standard + 061; + Name_Domain_Type : constant Name_Id := Name_First_Standard + 054; + Name_Quiescent_Domain : constant Name_Id := Name_First_Standard + 055; + Name_Time_Domain : constant Name_Id := Name_First_Standard + 056; + Name_Frequency_Domain : constant Name_Id := Name_First_Standard + 057; + Name_Domain : constant Name_Id := Name_First_Standard + 058; + Name_Frequency : constant Name_Id := Name_First_Standard + 059; - Name_Last_Standard : constant Name_Id := Name_Frequency; + Name_Last_Standard : constant Name_Id := Name_Frequency; Name_First_Charname : constant Name_Id := Name_Last_Standard + 1; Name_Nul : constant Name_Id := Name_First_Charname + 00; @@ -446,38 +636,44 @@ package Std_Names is Name_C159 : constant Name_Id := Name_First_Charname + 64; Name_Last_Charname : constant Name_Id := Name_C159; - Name_First_Misc : constant Name_Id := Name_Last_Charname + 1; - Name_Guard : constant Name_Id := Name_First_Misc + 000; - Name_Deallocate : constant Name_Id := Name_First_Misc + 001; - Name_File_Open : constant Name_Id := Name_First_Misc + 002; - Name_File_Close : constant Name_Id := Name_First_Misc + 003; - Name_Read : constant Name_Id := Name_First_Misc + 004; - Name_Write : constant Name_Id := Name_First_Misc + 005; - Name_Flush : constant Name_Id := Name_First_Misc + 006; - Name_Endfile : constant Name_Id := Name_First_Misc + 007; - Name_P : constant Name_Id := Name_First_Misc + 008; - Name_F : constant Name_Id := Name_First_Misc + 009; - 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_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_Misc : constant Name_Id := Name_Last_Charname + 1; + Name_Guard : constant Name_Id := Name_First_Misc + 000; + Name_Deallocate : constant Name_Id := Name_First_Misc + 001; + Name_File_Open : constant Name_Id := Name_First_Misc + 002; + Name_File_Close : constant Name_Id := Name_First_Misc + 003; + Name_Read : constant Name_Id := Name_First_Misc + 004; + Name_Write : constant Name_Id := Name_First_Misc + 005; + Name_Flush : constant Name_Id := Name_First_Misc + 006; + Name_Endfile : constant Name_Id := Name_First_Misc + 007; + Name_I : constant Name_Id := Name_First_Misc + 008; + Name_J : constant Name_Id := Name_First_Misc + 009; + Name_F : constant Name_Id := Name_First_Misc + 010; + Name_L : constant Name_Id := Name_First_Misc + 011; + Name_P : constant Name_Id := Name_First_Misc + 012; + Name_R : constant Name_Id := Name_First_Misc + 013; + Name_S : constant Name_Id := Name_First_Misc + 014; + Name_V : constant Name_Id := Name_First_Misc + 015; + Name_External_Name : constant Name_Id := Name_First_Misc + 016; + Name_Open_Kind : constant Name_Id := Name_First_Misc + 017; + Name_Status : constant Name_Id := Name_First_Misc + 018; + Name_First : constant Name_Id := Name_First_Misc + 019; + Name_Last : constant Name_Id := Name_First_Misc + 020; + Name_Textio : constant Name_Id := Name_First_Misc + 021; + Name_Work : constant Name_Id := Name_First_Misc + 022; + Name_Text : constant Name_Id := Name_First_Misc + 023; + Name_To_String : constant Name_Id := Name_First_Misc + 024; + Name_Minimum : constant Name_Id := Name_First_Misc + 025; + Name_Maximum : constant Name_Id := Name_First_Misc + 026; + Name_Untruncated_Text_Read : constant Name_Id := Name_First_Misc + 027; + Name_Textio_Read_Real : constant Name_Id := Name_First_Misc + 028; + Name_Textio_Write_Real : constant Name_Id := Name_First_Misc + 029; + Name_Get_Resolution_Limit : constant Name_Id := Name_First_Misc + 030; + Name_Control_Simulation : constant Name_Id := Name_First_Misc + 031; + Name_Step : constant Name_Id := Name_First_Misc + 032; + Name_Index : constant Name_Id := Name_First_Misc + 033; + Name_Uu_File_Uu : constant Name_Id := Name_First_Misc + 034; + Name_Uu_Line_Uu : constant Name_Id := Name_First_Misc + 035; + Name_Last_Misc : constant Name_Id := Name_Uu_Line_Uu; Name_First_Ieee : constant Name_Id := Name_Last_Misc + 1; Name_Ieee : constant Name_Id := Name_First_Ieee + 000; @@ -501,115 +697,47 @@ package Std_Names is Name_Std_Logic_Unsigned : constant Name_Id := Name_First_Ieee + 018; Name_Last_Ieee : constant Name_Id := Name_Std_Logic_Unsigned; - -- Verilog keywords. - Name_First_Verilog : constant Name_Id := Name_Last_Ieee + 1; - Name_Always : constant Name_Id := Name_First_Verilog + 00; - Name_Assign : constant Name_Id := Name_First_Verilog + 01; - Name_Buf : constant Name_Id := Name_First_Verilog + 02; - Name_Bufif0 : constant Name_Id := Name_First_Verilog + 03; - Name_Bufif1 : constant Name_Id := Name_First_Verilog + 04; - Name_Casex : constant Name_Id := Name_First_Verilog + 05; - Name_Casez : constant Name_Id := Name_First_Verilog + 06; - Name_Cmos : constant Name_Id := Name_First_Verilog + 07; - Name_Deassign : constant Name_Id := Name_First_Verilog + 08; - Name_Default : constant Name_Id := Name_First_Verilog + 09; - Name_Defparam : constant Name_Id := Name_First_Verilog + 10; - Name_Disable : constant Name_Id := Name_First_Verilog + 11; - Name_Endcase : constant Name_Id := Name_First_Verilog + 12; - Name_Endfunction : constant Name_Id := Name_First_Verilog + 13; - Name_Endmodule : constant Name_Id := Name_First_Verilog + 14; - Name_Endprimitive : constant Name_Id := Name_First_Verilog + 15; - Name_Endspecify : constant Name_Id := Name_First_Verilog + 16; - Name_Endtable : constant Name_Id := Name_First_Verilog + 17; - Name_Endtask : constant Name_Id := Name_First_Verilog + 18; - Name_Forever : constant Name_Id := Name_First_Verilog + 19; - Name_Fork : constant Name_Id := Name_First_Verilog + 20; - Name_Highz0 : constant Name_Id := Name_First_Verilog + 21; - Name_Highz1 : constant Name_Id := Name_First_Verilog + 22; - Name_Initial : constant Name_Id := Name_First_Verilog + 23; - Name_Input : constant Name_Id := Name_First_Verilog + 24; - Name_Join : constant Name_Id := Name_First_Verilog + 25; - Name_Large : constant Name_Id := Name_First_Verilog + 26; - Name_Medium : constant Name_Id := Name_First_Verilog + 27; - Name_Module : constant Name_Id := Name_First_Verilog + 28; - Name_Negedge : constant Name_Id := Name_First_Verilog + 29; - Name_Nmos : constant Name_Id := Name_First_Verilog + 30; - Name_Notif0 : constant Name_Id := Name_First_Verilog + 31; - Name_Notif1 : constant Name_Id := Name_First_Verilog + 32; - Name_Output : constant Name_Id := Name_First_Verilog + 33; - Name_Pmos : constant Name_Id := Name_First_Verilog + 34; - Name_Posedge : constant Name_Id := Name_First_Verilog + 35; - Name_Primitive : constant Name_Id := Name_First_Verilog + 36; - Name_Pull0 : constant Name_Id := Name_First_Verilog + 37; - Name_Pull1 : constant Name_Id := Name_First_Verilog + 38; - Name_Pulldown : constant Name_Id := Name_First_Verilog + 39; - Name_Pullup : constant Name_Id := Name_First_Verilog + 40; - Name_Reg : constant Name_Id := Name_First_Verilog + 41; - Name_Repeat : constant Name_Id := Name_First_Verilog + 42; - Name_Rcmos : constant Name_Id := Name_First_Verilog + 43; - Name_Rnmos : constant Name_Id := Name_First_Verilog + 44; - Name_Rpmos : constant Name_Id := Name_First_Verilog + 45; - Name_Rtran : constant Name_Id := Name_First_Verilog + 46; - Name_Rtranif0 : constant Name_Id := Name_First_Verilog + 47; - Name_Rtranif1 : constant Name_Id := Name_First_Verilog + 48; - Name_Small : constant Name_Id := Name_First_Verilog + 49; - Name_Specify : constant Name_Id := Name_First_Verilog + 50; - Name_Specparam : constant Name_Id := Name_First_Verilog + 51; - Name_Strong0 : constant Name_Id := Name_First_Verilog + 52; - Name_Strong1 : constant Name_Id := Name_First_Verilog + 53; - Name_Supply0 : constant Name_Id := Name_First_Verilog + 54; - Name_Supply1 : constant Name_Id := Name_First_Verilog + 55; - Name_Tablex : constant Name_Id := Name_First_Verilog + 56; - Name_Task : constant Name_Id := Name_First_Verilog + 57; - Name_Tran : constant Name_Id := Name_First_Verilog + 58; - Name_Tranif0 : constant Name_Id := Name_First_Verilog + 59; - Name_Tranif1 : constant Name_Id := Name_First_Verilog + 60; - Name_Tri : constant Name_Id := Name_First_Verilog + 61; - Name_Tri0 : constant Name_Id := Name_First_Verilog + 62; - Name_Tri1 : constant Name_Id := Name_First_Verilog + 63; - Name_Triand : constant Name_Id := Name_First_Verilog + 64; - Name_Trior : constant Name_Id := Name_First_Verilog + 65; - Name_Trireg : constant Name_Id := Name_First_Verilog + 66; - Name_Wand : constant Name_Id := Name_First_Verilog + 67; - Name_Weak0 : constant Name_Id := Name_First_Verilog + 68; - Name_Weak1 : constant Name_Id := Name_First_Verilog + 69; - Name_Wire : constant Name_Id := Name_First_Verilog + 70; - Name_Wor : constant Name_Id := Name_First_Verilog + 71; - Name_Last_Verilog : constant Name_Id := Name_Wor; - - -- Verilog 2001 - Name_First_V2001 : constant Name_Id := Name_Last_Verilog + 1; - Name_Automatic : constant Name_Id := Name_First_V2001 + 0; - Name_Endgenerate : constant Name_Id := Name_First_V2001 + 1; - Name_Genvar : constant Name_Id := Name_First_V2001 + 2; - Name_Localparam : constant Name_Id := Name_First_V2001 + 3; - Name_Unsigned : constant Name_Id := Name_First_V2001 + 4; - Name_Signed : constant Name_Id := Name_First_V2001 + 5; - Name_Last_V2001 : constant Name_Id := Name_First_V2001 + 5; - -- Verilog Directives. - Name_First_Directive : constant Name_Id := Name_Last_V2001 + 1; - Name_Define : constant Name_Id := Name_First_Directive + 00; - Name_Endif : constant Name_Id := Name_First_Directive + 01; - Name_Ifdef : constant Name_Id := Name_First_Directive + 02; - Name_Include : constant Name_Id := Name_First_Directive + 03; - Name_Timescale : constant Name_Id := Name_First_Directive + 04; - Name_Undef : constant Name_Id := Name_First_Directive + 05; - Name_Protect : constant Name_Id := Name_First_Directive + 06; - Name_Begin_Protected : constant Name_Id := Name_First_Directive + 07; - Name_End_Protected : constant Name_Id := Name_First_Directive + 08; - Name_Key_Block : constant Name_Id := Name_First_Directive + 09; - Name_Data_Block : constant Name_Id := Name_First_Directive + 10; - Name_Last_Directive : constant Name_Id := Name_Data_Block; - - -- Verilog system tasks. + Name_First_Directive : constant Name_Id := Name_Last_Ieee + 1; + Name_Define : constant Name_Id := Name_First_Directive + 00; + Name_Endif : constant Name_Id := Name_First_Directive + 01; + Name_Ifdef : constant Name_Id := Name_First_Directive + 02; + Name_Ifndef : constant Name_Id := Name_First_Directive + 03; + Name_Include : constant Name_Id := Name_First_Directive + 04; + Name_Timescale : constant Name_Id := Name_First_Directive + 05; + Name_Undef : constant Name_Id := Name_First_Directive + 06; + Name_Protect : constant Name_Id := Name_First_Directive + 07; + Name_Begin_Protected : constant Name_Id := Name_First_Directive + 08; + Name_End_Protected : constant Name_Id := Name_First_Directive + 09; + Name_Key_Block : constant Name_Id := Name_First_Directive + 10; + Name_Data_Block : constant Name_Id := Name_First_Directive + 11; + Name_Line : constant Name_Id := Name_First_Directive + 12; + Name_Last_Directive : constant Name_Id := Name_Line; + + -- Verilog system tasks/functions. Name_First_Systask : constant Name_Id := Name_Last_Directive + 1; - Name_Display : constant Name_Id := Name_First_Systask + 00; - Name_Finish : constant Name_Id := Name_First_Systask + 01; - Name_Last_Systask : constant Name_Id := Name_Finish; + Name_D_Bits : constant Name_Id := Name_First_Systask + 00; + Name_D_Root : constant Name_Id := Name_First_Systask + 01; + Name_D_Unit : constant Name_Id := Name_First_Systask + 02; + Name_Last_Systask : constant Name_Id := Name_D_Unit; + + -- Verilog methods + Name_First_SV_Method : constant Name_Id := Name_Last_Systask + 1; + Name_Size : constant Name_Id := Name_First_SV_Method + 0; + Name_Insert : constant Name_Id := Name_First_SV_Method + 1; + Name_Delete : constant Name_Id := Name_First_SV_Method + 2; + Name_Pop_Front : constant Name_Id := Name_First_SV_Method + 3; + Name_Pop_Back : constant Name_Id := Name_First_SV_Method + 4; + Name_Push_Front : constant Name_Id := Name_First_SV_Method + 5; + Name_Push_Back : constant Name_Id := Name_First_SV_Method + 6; + Name_Name : constant Name_Id := Name_First_SV_Method + 7; + Name_Len : constant Name_Id := Name_First_SV_Method + 8; + Name_Substr : constant Name_Id := Name_First_SV_Method + 9; + Name_Exists : constant Name_Id := Name_First_SV_Method + 10; + Name_Last_SV_Method : constant Name_Id := Name_Exists; -- BSV names - Name_First_BSV : constant Name_Id := Name_Last_Systask + 1; + Name_First_BSV : constant Name_Id := Name_Last_SV_Method + 1; Name_uAction : constant Name_Id := Name_First_BSV + 0; Name_uActionValue : constant Name_Id := Name_First_BSV + 1; Name_BVI : constant Name_Id := Name_First_BSV + 2; @@ -628,73 +756,73 @@ package Std_Names is -- case -- endcase Name_Clocked_By : constant Name_Id := Name_First_BSV + 13; - Name_Continue : constant Name_Id := Name_First_BSV + 14; + -- continue -- default - Name_Default_Clock : constant Name_Id := Name_First_BSV + 15; - Name_Default_Reset : constant Name_Id := Name_First_BSV + 16; - Name_Dependencies : constant Name_Id := Name_First_BSV + 17; - Name_Deriving : constant Name_Id := Name_First_BSV + 18; - Name_Determines : constant Name_Id := Name_First_BSV + 19; + Name_Default_Clock : constant Name_Id := Name_First_BSV + 14; + Name_Default_Reset : constant Name_Id := Name_First_BSV + 15; + Name_Dependencies : constant Name_Id := Name_First_BSV + 16; + Name_Deriving : constant Name_Id := Name_First_BSV + 17; + Name_Determines : constant Name_Id := Name_First_BSV + 18; -- e -- else - Name_Enable : constant Name_Id := Name_First_BSV + 20; + Name_Enable : constant Name_Id := Name_First_BSV + 19; -- end - Name_Enum : constant Name_Id := Name_First_BSV + 21; - Name_Export : constant Name_Id := Name_First_BSV + 22; + -- enum + -- export -- for -- function -- endfunction -- if - Name_Ifc_Inout : constant Name_Id := Name_First_BSV + 23; - Name_Import : constant Name_Id := Name_First_BSV + 24; + Name_Ifc_Inout : constant Name_Id := Name_First_BSV + 20; + -- import -- inout - Name_Input_Clock : constant Name_Id := Name_First_BSV + 25; - Name_Input_Reset : constant Name_Id := Name_First_BSV + 26; - Name_Instance : constant Name_Id := Name_First_BSV + 27; - Name_Endinstance : constant Name_Id := Name_First_BSV + 28; - Name_Interface : constant Name_Id := Name_First_BSV + 29; - Name_Endinterface : constant Name_Id := Name_First_BSV + 30; - Name_Let : constant Name_Id := Name_First_BSV + 31; - Name_Match : constant Name_Id := Name_First_BSV + 32; - Name_Matches : constant Name_Id := Name_First_BSV + 33; - Name_Method : constant Name_Id := Name_First_BSV + 34; - Name_Endmethod : constant Name_Id := Name_First_BSV + 35; + Name_Input_Clock : constant Name_Id := Name_First_BSV + 21; + Name_Input_Reset : constant Name_Id := Name_First_BSV + 22; + Name_Instance : constant Name_Id := Name_First_BSV + 23; + Name_Endinstance : constant Name_Id := Name_First_BSV + 24; + -- interface + -- endinterface + Name_Let : constant Name_Id := Name_First_BSV + 25; + Name_Match : constant Name_Id := Name_First_BSV + 26; + -- matches + Name_Method : constant Name_Id := Name_First_BSV + 27; + Name_Endmethod : constant Name_Id := Name_First_BSV + 28; -- module -- endmodule - Name_Numeric : constant Name_Id := Name_First_BSV + 36; - Name_Output_Clock : constant Name_Id := Name_First_BSV + 37; - Name_Output_Reset : constant Name_Id := Name_First_BSV + 38; + Name_Numeric : constant Name_Id := Name_First_BSV + 29; + Name_Output_Clock : constant Name_Id := Name_First_BSV + 30; + Name_Output_Reset : constant Name_Id := Name_First_BSV + 31; -- package - Name_Endpackage : constant Name_Id := Name_First_BSV + 39; + -- endpackage -- parameter - Name_Par : constant Name_Id := Name_First_BSV + 40; - Name_Endpar : constant Name_Id := Name_First_BSV + 41; - Name_Path : constant Name_Id := Name_First_BSV + 42; + Name_Par : constant Name_Id := Name_First_BSV + 32; + Name_Endpar : constant Name_Id := Name_First_BSV + 33; + Name_Path : constant Name_Id := Name_First_BSV + 34; -- port - Name_Provisos : constant Name_Id := Name_First_BSV + 43; - Name_Ready : constant Name_Id := Name_First_BSV + 44; - Name_Reset_By : constant Name_Id := Name_First_BSV + 45; + Name_Provisos : constant Name_Id := Name_First_BSV + 35; + Name_Ready : constant Name_Id := Name_First_BSV + 36; + Name_Reset_By : constant Name_Id := Name_First_BSV + 37; -- return - Name_Rule : constant Name_Id := Name_First_BSV + 46; - Name_Endrule : constant Name_Id := Name_First_BSV + 47; - Name_Rules : constant Name_Id := Name_First_BSV + 48; - Name_Endrules : constant Name_Id := Name_First_BSV + 49; - Name_Same_Family : constant Name_Id := Name_First_BSV + 50; - Name_Schedule : constant Name_Id := Name_First_BSV + 51; - Name_Seq : constant Name_Id := Name_First_BSV + 52; - Name_Endseq : constant Name_Id := Name_First_BSV + 53; - Name_Struct : constant Name_Id := Name_First_BSV + 54; - Name_Tagged : constant Name_Id := Name_First_BSV + 55; + Name_Rule : constant Name_Id := Name_First_BSV + 38; + Name_Endrule : constant Name_Id := Name_First_BSV + 39; + Name_Rules : constant Name_Id := Name_First_BSV + 40; + Name_Endrules : constant Name_Id := Name_First_BSV + 41; + Name_Same_Family : constant Name_Id := Name_First_BSV + 42; + Name_Schedule : constant Name_Id := Name_First_BSV + 43; + Name_Seq : constant Name_Id := Name_First_BSV + 44; + Name_Endseq : constant Name_Id := Name_First_BSV + 45; + -- struct + -- tagged -- type - Name_Typeclass : constant Name_Id := Name_First_BSV + 56; - Name_Endtypeclass : constant Name_Id := Name_First_BSV + 57; - Name_Typedef : constant Name_Id := Name_First_BSV + 58; - Name_Union : constant Name_Id := Name_First_BSV + 59; - Name_Valueof : constant Name_Id := Name_First_BSV + 60; - Name_uValueof : constant Name_Id := Name_First_BSV + 61; - Name_Void : constant Name_Id := Name_First_BSV + 62; + Name_Typeclass : constant Name_Id := Name_First_BSV + 46; + Name_Endtypeclass : constant Name_Id := Name_First_BSV + 47; + -- typedef + -- union + Name_Valueof : constant Name_Id := Name_First_BSV + 48; + Name_uValueof : constant Name_Id := Name_First_BSV + 49; + -- void -- while - Name_Last_BSV : constant Name_Id := Name_First_BSV + 62; + Name_Last_BSV : constant Name_Id := Name_First_BSV + 49; -- VHDL special comments Name_First_Comment : constant Name_Id := Name_Last_BSV + 1; @@ -711,54 +839,54 @@ package Std_Names is Name_Abort : constant Name_Id := Name_First_PSL + 04; -- Name_Always -- Name_And - Name_Assume : constant Name_Id := Name_First_PSL + 05; - Name_Assume_Guarantee : constant Name_Id := Name_First_PSL + 06; - Name_Before : constant Name_Id := Name_First_PSL + 07; + -- Name_Assume + Name_Assume_Guarantee : constant Name_Id := Name_First_PSL + 05; + Name_Before : constant Name_Id := Name_First_PSL + 06; -- Name_Boolean - Name_Clock : constant Name_Id := Name_First_PSL + 08; - Name_Const : constant Name_Id := Name_First_PSL + 09; - Name_Cover : constant Name_Id := Name_First_PSL + 10; + Name_Clock : constant Name_Id := Name_First_PSL + 07; + -- Name_Const + -- Name_Cover -- Name_Default - Name_E : constant Name_Id := Name_First_PSL + 11; - Name_Ef : constant Name_Id := Name_First_PSL + 12; - Name_Eg : constant Name_Id := Name_First_PSL + 13; - Name_Ex : constant Name_Id := Name_First_PSL + 14; - Name_Endpoint : constant Name_Id := Name_First_PSL + 15; - Name_Eventually : constant Name_Id := Name_First_PSL + 16; - Name_Fairness : constant Name_Id := Name_First_PSL + 17; - Name_Fell : constant Name_Id := Name_First_PSL + 18; - Name_Forall : constant Name_Id := Name_First_PSL + 19; - Name_G : constant Name_Id := Name_First_PSL + 20; + Name_E : constant Name_Id := Name_First_PSL + 08; + Name_Ef : constant Name_Id := Name_First_PSL + 09; + Name_Eg : constant Name_Id := Name_First_PSL + 10; + Name_Ex : constant Name_Id := Name_First_PSL + 11; + Name_Endpoint : constant Name_Id := Name_First_PSL + 12; + Name_Eventually : constant Name_Id := Name_First_PSL + 13; + Name_Fairness : constant Name_Id := Name_First_PSL + 14; + Name_Fell : constant Name_Id := Name_First_PSL + 15; + Name_Forall : constant Name_Id := Name_First_PSL + 16; + Name_G : constant Name_Id := Name_First_PSL + 17; -- Name_In - Name_Inf : constant Name_Id := Name_First_PSL + 21; - Name_Inherit : constant Name_Id := Name_First_PSL + 22; + Name_Inf : constant Name_Id := Name_First_PSL + 18; + Name_Inherit : constant Name_Id := Name_First_PSL + 19; -- Name_Is - Name_Never : constant Name_Id := Name_First_PSL + 23; + Name_Never : constant Name_Id := Name_First_PSL + 20; -- Name_Next - Name_Next_A : constant Name_Id := Name_First_PSL + 24; - Name_Next_E : constant Name_Id := Name_First_PSL + 25; - Name_Next_Event : constant Name_Id := Name_First_PSL + 26; - Name_Next_Event_A : constant Name_Id := Name_First_PSL + 27; - Name_Next_Event_E : constant Name_Id := Name_First_PSL + 28; + Name_Next_A : constant Name_Id := Name_First_PSL + 21; + Name_Next_E : constant Name_Id := Name_First_PSL + 22; + Name_Next_Event : constant Name_Id := Name_First_PSL + 23; + Name_Next_Event_A : constant Name_Id := Name_First_PSL + 24; + Name_Next_Event_E : constant Name_Id := Name_First_PSL + 25; -- Name_Not -- Name_Or - Name_Property : constant Name_Id := Name_First_PSL + 29; - Name_Prev : constant Name_Id := Name_First_PSL + 30; - Name_Restrict : constant Name_Id := Name_First_PSL + 31; - Name_Restrict_Guarantee : constant Name_Id := Name_First_PSL + 32; - Name_Rose : constant Name_Id := Name_First_PSL + 33; - Name_Sequence : constant Name_Id := Name_First_PSL + 34; - Name_Strong : constant Name_Id := Name_First_PSL + 35; + -- Name_Property + Name_Prev : constant Name_Id := Name_First_PSL + 26; + Name_Restrict : constant Name_Id := Name_First_PSL + 27; + Name_Restrict_Guarantee : constant Name_Id := Name_First_PSL + 28; + Name_Rose : constant Name_Id := Name_First_PSL + 29; + -- sequence + Name_Strong : constant Name_Id := Name_First_PSL + 30; -- union -- until - Name_Vmode : constant Name_Id := Name_First_PSL + 36; - Name_Vprop : constant Name_Id := Name_First_PSL + 37; - Name_Vunit : constant Name_Id := Name_First_PSL + 38; - Name_W : constant Name_Id := Name_First_PSL + 39; - Name_Whilenot : constant Name_Id := Name_First_PSL + 40; - Name_Within : constant Name_Id := Name_First_PSL + 41; - Name_X : constant Name_Id := Name_First_PSL + 42; - Name_Last_PSL : constant Name_Id := Name_First_PSL + 42; + Name_Vmode : constant Name_Id := Name_First_PSL + 31; + Name_Vprop : constant Name_Id := Name_First_PSL + 32; + Name_Vunit : constant Name_Id := Name_First_PSL + 33; + Name_W : constant Name_Id := Name_First_PSL + 34; + Name_Whilenot : constant Name_Id := Name_First_PSL + 35; + Name_Within : constant Name_Id := Name_First_PSL + 36; + Name_X : constant Name_Id := Name_First_PSL + 37; + Name_Last_PSL : constant Name_Id := Name_First_PSL + 37; subtype Name_Id_PSL_Keywords is Name_Id range Name_First_PSL .. Name_Last_PSL; -- cgit v1.2.3