From 7ca14ac72c36c363d8f874c266c2730f209a0edd Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Sat, 4 May 2019 21:59:35 +0200 Subject: vhdl: move tokens as vhdl child package. --- src/ghdldrv/ghdlprint.adb | 8 +- src/libraries.adb | 4 +- src/vhdl/disp_tree.adb | 4 +- src/vhdl/disp_tree.ads | 4 +- src/vhdl/disp_vhdl.adb | 8 +- src/vhdl/errorout.adb | 4 +- src/vhdl/errorout.ads | 6 +- src/vhdl/ieee-vital_timing.adb | 2 +- src/vhdl/iirs.ads | 2 +- src/vhdl/iirs_utils.adb | 2 +- src/vhdl/nodes_meta.ads | 2 +- src/vhdl/nodes_meta.ads.in | 2 +- src/vhdl/parse.adb | 2 +- src/vhdl/parse_psl.ads | 2 +- src/vhdl/sem_decls.adb | 4 +- src/vhdl/sem_specs.adb | 12 +- src/vhdl/sem_specs.ads | 4 +- src/vhdl/simulate/simul-debugger.adb | 4 +- src/vhdl/tokens.adb | 455 ---------------------------------- src/vhdl/tokens.ads | 302 ----------------------- src/vhdl/vhdl-scanner.ads | 2 +- src/vhdl/vhdl-tokens.adb | 456 +++++++++++++++++++++++++++++++++++ src/vhdl/vhdl-tokens.ads | 303 +++++++++++++++++++++++ 23 files changed, 798 insertions(+), 796 deletions(-) delete mode 100644 src/vhdl/tokens.adb delete mode 100644 src/vhdl/tokens.ads create mode 100644 src/vhdl/vhdl-tokens.adb create mode 100644 src/vhdl/vhdl-tokens.ads diff --git a/src/ghdldrv/ghdlprint.adb b/src/ghdldrv/ghdlprint.adb index d72b1747d..a9a9f2627 100644 --- a/src/ghdldrv/ghdlprint.adb +++ b/src/ghdldrv/ghdlprint.adb @@ -27,7 +27,7 @@ with Files_Map; with Libraries; with Errorout; use Errorout; with Iirs_Utils; use Iirs_Utils; -with Tokens; +with Vhdl.Tokens; with Vhdl.Scanner; with Parse; with Canon; @@ -86,7 +86,7 @@ package body Ghdlprint is is use Flags; use Vhdl.Scanner; - use Tokens; + use Vhdl.Tokens; use Files_Map; use Ada.Characters.Latin_1; @@ -856,7 +856,7 @@ package body Ghdlprint is is pragma Unreferenced (Cmd); use Vhdl.Scanner; - use Tokens; + use Vhdl.Tokens; use Files_Map; use Ada.Characters.Latin_1; @@ -1047,7 +1047,7 @@ package body Ghdlprint is Args : Argument_List) is pragma Unreferenced (Cmd); - use Tokens; + use Vhdl.Tokens; use Vhdl.Scanner; package Ref_Tokens is new Tables diff --git a/src/libraries.adb b/src/libraries.adb index ff499717c..bf0d63503 100644 --- a/src/libraries.adb +++ b/src/libraries.adb @@ -25,7 +25,7 @@ with Vhdl.Scanner; with Iirs_Utils; use Iirs_Utils; with Name_Table; use Name_Table; with Str_Table; -with Tokens; +with Vhdl.Tokens; with Files_Map; with Flags; with Std_Package; @@ -328,7 +328,7 @@ package body Libraries is function Load_Library (Library: Iir_Library_Declaration) return Boolean is use Vhdl.Scanner; - use Tokens; + use Vhdl.Tokens; File : Source_File_Entry; diff --git a/src/vhdl/disp_tree.adb b/src/vhdl/disp_tree.adb index e39c267f9..d5b1cc8a8 100644 --- a/src/vhdl/disp_tree.adb +++ b/src/vhdl/disp_tree.adb @@ -337,8 +337,8 @@ package body Disp_Tree is end case; end Image_Iir_Direction; - function Image_Token_Type (Tok : Tokens.Token_Type) return String - renames Tokens.Image; + function Image_Token_Type (Tok : Vhdl.Tokens.Token_Type) return String + renames Vhdl.Tokens.Image; function Image_String8 (N : Iir) return String is diff --git a/src/vhdl/disp_tree.ads b/src/vhdl/disp_tree.ads index 9c48a0ffc..324094008 100644 --- a/src/vhdl/disp_tree.ads +++ b/src/vhdl/disp_tree.ads @@ -17,7 +17,7 @@ -- 02111-1307, USA. with Types; use Types; with Iirs; use Iirs; -with Tokens; use Tokens; +with Vhdl.Tokens; use Vhdl.Tokens; package Disp_Tree is -- Disp TREE recursively. @@ -48,6 +48,6 @@ package Disp_Tree is return String; function Image_Location_Type (Loc : Location_Type) return String; function Image_Iir_Direction (Dir : Iir_Direction) return String; - function Image_Token_Type (Tok : Tokens.Token_Type) return String; + function Image_Token_Type (Tok : Vhdl.Tokens.Token_Type) return String; function Image_String8 (N : Iir) return String; end Disp_Tree; diff --git a/src/vhdl/disp_vhdl.adb b/src/vhdl/disp_vhdl.adb index df4b071a5..ea3fc34be 100644 --- a/src/vhdl/disp_vhdl.adb +++ b/src/vhdl/disp_vhdl.adb @@ -28,7 +28,7 @@ with Iirs_Utils; use Iirs_Utils; with Name_Table; with Str_Table; with Std_Names; -with Tokens; +with Vhdl.Tokens; with PSL.Nodes; with PSL.Prints; with PSL.NFAs; @@ -1610,9 +1610,9 @@ package body Disp_Vhdl is Disp_Ident (Get_Identifier (Attr)); end Disp_Attribute_Name; - procedure Disp_Entity_Kind (Tok : Tokens.Token_Type) is + procedure Disp_Entity_Kind (Tok : Vhdl.Tokens.Token_Type) is begin - Put (Tokens.Image (Tok)); + Put (Vhdl.Tokens.Image (Tok)); end Disp_Entity_Kind; procedure Disp_Entity_Name_List (List : Iir_Flist) @@ -1667,7 +1667,7 @@ package body Disp_Vhdl is procedure Disp_Group_Template_Declaration (Decl : Iir) is - use Tokens; + use Vhdl.Tokens; Ent : Iir; begin Put ("group "); diff --git a/src/vhdl/errorout.adb b/src/vhdl/errorout.adb index fb6211ce4..cc292b4b2 100644 --- a/src/vhdl/errorout.adb +++ b/src/vhdl/errorout.adb @@ -147,7 +147,7 @@ package body Errorout is return (Kind => Earg_Id, Val_Id => V); end "+"; - function "+" (V : Tokens.Token_Type) return Earg_Type is + function "+" (V : Vhdl.Tokens.Token_Type) return Earg_Type is begin return (Kind => Earg_Token, Val_Tok => V); end "+"; @@ -330,7 +330,7 @@ package body Errorout is when 't' => -- A token declare - use Tokens; + use Vhdl.Tokens; Arg : Earg_Type renames Args (Argn); Tok : Token_Type; begin diff --git a/src/vhdl/errorout.ads b/src/vhdl/errorout.ads index 9b802c0c2..0df0e6fbc 100644 --- a/src/vhdl/errorout.ads +++ b/src/vhdl/errorout.ads @@ -17,7 +17,7 @@ -- 02111-1307, USA. with Types; use Types; with Iirs; use Iirs; -with Tokens; +with Vhdl.Tokens; package Errorout is Option_Error: exception; @@ -166,7 +166,7 @@ package Errorout is function "+" (V : Iir) return Earg_Type; function "+" (V : Location_Type) return Earg_Type; function "+" (V : Name_Id) return Earg_Type; - function "+" (V : Tokens.Token_Type) return Earg_Type; + function "+" (V : Vhdl.Tokens.Token_Type) return Earg_Type; function "+" (V : Character) return Earg_Type; function "+" (V : String8_Len_Type) return Earg_Type; @@ -346,7 +346,7 @@ private when Earg_Char => Val_Char : Character; when Earg_Token => - Val_Tok : Tokens.Token_Type; + Val_Tok : Vhdl.Tokens.Token_Type; when Earg_String8 => Val_Str8 : String8_Len_Type; end case; diff --git a/src/vhdl/ieee-vital_timing.adb b/src/vhdl/ieee-vital_timing.adb index fc3f26349..ee60bbd15 100644 --- a/src/vhdl/ieee-vital_timing.adb +++ b/src/vhdl/ieee-vital_timing.adb @@ -19,7 +19,7 @@ with Types; use Types; with Std_Names; with Errorout; use Errorout; with Std_Package; use Std_Package; -with Tokens; use Tokens; +with Vhdl.Tokens; use Vhdl.Tokens; with Name_Table; with Ieee.Std_Logic_1164; use Ieee.Std_Logic_1164; with Sem_Scopes; diff --git a/src/vhdl/iirs.ads b/src/vhdl/iirs.ads index 04e410815..e1226db1f 100644 --- a/src/vhdl/iirs.ads +++ b/src/vhdl/iirs.ads @@ -17,7 +17,7 @@ -- 02111-1307, USA. with Ada.Unchecked_Deallocation; with Types; use Types; -with Tokens; use Tokens; +with Vhdl.Tokens; use Vhdl.Tokens; with Nodes; with Lists; with Flists; diff --git a/src/vhdl/iirs_utils.adb b/src/vhdl/iirs_utils.adb index 3ea7aed3c..034fdd051 100644 --- a/src/vhdl/iirs_utils.adb +++ b/src/vhdl/iirs_utils.adb @@ -16,7 +16,7 @@ -- Software Foundation, 59 Temple Place - Suite 330, Boston, MA -- 02111-1307, USA. with Vhdl.Scanner; use Vhdl.Scanner; -with Tokens; use Tokens; +with Vhdl.Tokens; use Vhdl.Tokens; with Errorout; use Errorout; with Name_Table; with Str_Table; diff --git a/src/vhdl/nodes_meta.ads b/src/vhdl/nodes_meta.ads index 4f913b7c1..e3a0113ca 100644 --- a/src/vhdl/nodes_meta.ads +++ b/src/vhdl/nodes_meta.ads @@ -18,7 +18,7 @@ with Types; use Types; with Iirs; use Iirs; -with Tokens; use Tokens; +with Vhdl.Tokens; use Vhdl.Tokens; package Nodes_Meta is -- The enumeration of all possible types in the nodes. diff --git a/src/vhdl/nodes_meta.ads.in b/src/vhdl/nodes_meta.ads.in index 18e7dca29..d48c9ec07 100644 --- a/src/vhdl/nodes_meta.ads.in +++ b/src/vhdl/nodes_meta.ads.in @@ -18,7 +18,7 @@ with Types; use Types; with Iirs; use Iirs; -with Tokens; use Tokens; +with Vhdl.Tokens; use Vhdl.Tokens; package Nodes_Meta is -- The enumeration of all possible types in the nodes. diff --git a/src/vhdl/parse.adb b/src/vhdl/parse.adb index d4e8b6121..a5875e5c5 100644 --- a/src/vhdl/parse.adb +++ b/src/vhdl/parse.adb @@ -16,7 +16,7 @@ -- Software Foundation, 59 Temple Place - Suite 330, Boston, MA -- 02111-1307, USA. with Iir_Chains; use Iir_Chains; -with Tokens; use Tokens; +with Vhdl.Tokens; use Vhdl.Tokens; with Vhdl.Scanner; use Vhdl.Scanner; with Iirs_Utils; use Iirs_Utils; with Errorout; use Errorout; diff --git a/src/vhdl/parse_psl.ads b/src/vhdl/parse_psl.ads index 1df993e82..c24e65091 100644 --- a/src/vhdl/parse_psl.ads +++ b/src/vhdl/parse_psl.ads @@ -17,7 +17,7 @@ -- 02111-1307, USA. with Types; use Types; -with Tokens; use Tokens; +with Vhdl.Tokens; use Vhdl.Tokens; package Parse_Psl is function Parse_Psl_Sequence (Full_Hdl_Expr : Boolean) return PSL_Node; diff --git a/src/vhdl/sem_decls.adb b/src/vhdl/sem_decls.adb index 6363acc98..6e1a745c0 100644 --- a/src/vhdl/sem_decls.adb +++ b/src/vhdl/sem_decls.adb @@ -18,7 +18,7 @@ with Errorout; use Errorout; with Types; use Types; with Std_Names; -with Tokens; +with Vhdl.Tokens; with Flags; use Flags; with Std_Package; use Std_Package; with Evaluation; use Evaluation; @@ -1790,7 +1790,7 @@ package body Sem_Decls is procedure Sem_Group_Declaration (Group : Iir_Group_Declaration) is - use Tokens; + use Vhdl.Tokens; Constituent_List : Iir_Flist; Template : Iir_Group_Template_Declaration; diff --git a/src/vhdl/sem_specs.adb b/src/vhdl/sem_specs.adb index e1584d904..429431539 100644 --- a/src/vhdl/sem_specs.adb +++ b/src/vhdl/sem_specs.adb @@ -34,9 +34,9 @@ with Xrefs; use Xrefs; with Back_End; package body Sem_Specs is - function Get_Entity_Class_Kind (Decl : Iir) return Tokens.Token_Type + function Get_Entity_Class_Kind (Decl : Iir) return Vhdl.Tokens.Token_Type is - use Tokens; + use Vhdl.Tokens; begin case Get_Kind (Decl) is when Iir_Kind_Entity_Declaration => @@ -186,7 +186,7 @@ package body Sem_Specs is Check_Class : Boolean; Check_Defined : Boolean) is - use Tokens; + use Vhdl.Tokens; Attr_Expr : constant Iir := Get_Expression (Attr); El : Iir_Attribute_Value; @@ -380,7 +380,7 @@ package body Sem_Specs is -- Note: ENT and DECL are different for aliases. function Sem_Named_Entity1 (Ent : Iir; Decl : Iir) return Boolean is - use Tokens; + use Vhdl.Tokens; Ent_Id : constant Name_Id := Get_Identifier (Ent); begin if (not Is_Designator or else Ent_Id = Get_Identifier (Name)) @@ -738,7 +738,7 @@ package body Sem_Specs is (+Name, "no %i for attribute specification", (1 => +Name)); end Error_Attribute_Specification; - use Tokens; + use Vhdl.Tokens; Name : Iir; Attr : Iir_Attribute_Declaration; @@ -877,7 +877,7 @@ package body Sem_Specs is procedure Check_Post_Attribute_Specification (Attr_Spec_Chain : Iir; Decl : Iir) is - use Tokens; + use Vhdl.Tokens; Has_Error : Boolean; Spec : Iir; diff --git a/src/vhdl/sem_specs.ads b/src/vhdl/sem_specs.ads index 50049e671..170df72fb 100644 --- a/src/vhdl/sem_specs.ads +++ b/src/vhdl/sem_specs.ads @@ -17,7 +17,7 @@ -- 02111-1307, USA. with Types; use Types; with Iirs; use Iirs; -with Tokens; +with Vhdl.Tokens; package Sem_Specs is -- Return the attribute_value for named entity ENT and attribute identifier @@ -29,7 +29,7 @@ package Sem_Specs is -- is also the parent of the declaration, but there are exceptions... function Get_Attribute_Value_Chain_Parent (Decl : Iir) return Iir; - function Get_Entity_Class_Kind (Decl : Iir) return Tokens.Token_Type; + function Get_Entity_Class_Kind (Decl : Iir) return Vhdl.Tokens.Token_Type; procedure Sem_Attribute_Specification (Spec : Iir_Attribute_Specification; Scope : Iir); diff --git a/src/vhdl/simulate/simul-debugger.adb b/src/vhdl/simulate/simul-debugger.adb index 3e868a44a..c257b909d 100644 --- a/src/vhdl/simulate/simul-debugger.adb +++ b/src/vhdl/simulate/simul-debugger.adb @@ -25,7 +25,7 @@ with Str_Table; with Files_Map; with Parse; with Vhdl.Scanner; -with Tokens; +with Vhdl.Tokens; with Sem_Expr; with Sem_Scopes; with Canon; @@ -1869,7 +1869,7 @@ package body Simul.Debugger is procedure Print_Proc (Line : String) is - use Tokens; + use Vhdl.Tokens; Index_Str : String := Natural'Image (Buffer_Index); File : Source_File_Entry; Expr : Iir; diff --git a/src/vhdl/tokens.adb b/src/vhdl/tokens.adb deleted file mode 100644 index a46edf017..000000000 --- a/src/vhdl/tokens.adb +++ /dev/null @@ -1,455 +0,0 @@ --- Scanner token definitions. --- Copyright (C) 2002, 2003, 2004, 2005 Tristan Gingold --- --- GHDL 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, or (at your option) any later --- version. --- --- GHDL 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 GHDL; see the file COPYING. If not, write to the Free --- Software Foundation, 59 Temple Place - Suite 330, Boston, MA --- 02111-1307, USA. -package body Tokens is - -- Return the name of the token. - function Image (Token: Token_Type) return String is - begin - case Token is - when Tok_Invalid => - return ""; - when Tok_Left_Paren => - return "("; - when Tok_Right_Paren => - return ")"; - when Tok_Left_Bracket => - return "["; - when Tok_Right_Bracket => - return "]"; - when Tok_Colon => - return ":"; - when Tok_Semi_Colon => - return ";"; - when Tok_Comma => - return ","; - when Tok_Tick => - return "'"; - when Tok_Double_Star => - return "**"; - when Tok_Double_Arrow => - return "=>"; - when Tok_Assign => - return ":="; - when Tok_Bar => - return "|"; - when Tok_Box => - return "<>"; - when Tok_Dot => - return "."; - - when Tok_Eof => - return ""; - when Tok_Newline => - return ""; - when Tok_Comment => - return ""; - when Tok_Character => - return ""; - when Tok_Identifier => - return ""; - when Tok_Integer - | Tok_Integer_Letter => - return ""; - when Tok_Real => - return ""; - when Tok_String => - return ""; - when Tok_Bit_String => - return ""; - - when Tok_Equal_Equal => - return "=="; - - -- relational_operator: - when Tok_Equal => - return "="; - when Tok_Not_Equal => - return "/="; - when Tok_Less => - return "<"; - when Tok_Less_Equal => - return "<="; - when Tok_Greater => - return ">"; - when Tok_Greater_Equal => - return ">="; - - when Tok_Match_Equal => - return "?="; - when Tok_Match_Not_Equal => - return "?/="; - when Tok_Match_Less => - return "?<"; - when Tok_Match_Less_Equal => - return "?<="; - when Tok_Match_Greater => - return "?>"; - when Tok_Match_Greater_Equal => - return "?>="; - - -- sign token - when Tok_Plus => - return "+"; - when Tok_Minus => - return "-"; - -- and adding_operator - when Tok_Ampersand => - return "&"; - - when Tok_Condition => - return "??"; - - when Tok_Double_Less => - return "<<"; - when Tok_Double_Greater => - return ">>"; - when Tok_Caret => - return "^"; - - -- multiplying operator - when Tok_Star => - return "*"; - when Tok_Slash => - return "/"; - when Tok_Mod => - return "mod"; - when Tok_Rem => - return "rem"; - - -- relation token: - when Tok_And => - return "and"; - when Tok_Or => - return "or"; - when Tok_Xor => - return "xor"; - when Tok_Nand => - return "nand"; - when Tok_Nor => - return "nor"; - when Tok_Xnor => - return "xnor"; - - -- Reserved words. - when Tok_Abs => - return "abs"; - when Tok_Access => - return "access"; - when Tok_After => - return "after"; - when Tok_Alias => - return "alias"; - when Tok_All => - return "all"; - when Tok_Architecture => - return "architecture"; - when Tok_Array => - return "array"; - when Tok_Assert => - return "assert"; - when Tok_Attribute => - return "attribute"; - - when Tok_Begin => - return "begin"; - when Tok_Block => - return "block"; - when Tok_Body => - return "body"; - when Tok_Buffer => - return "buffer"; - when Tok_Bus => - return "bus"; - - when Tok_Case => - return "case"; - when Tok_Component => - return "component"; - when Tok_Configuration => - return "configuration"; - when Tok_Constant => - return "constant"; - - when Tok_Disconnect => - return "disconnect"; - when Tok_Downto => - return "downto"; - - when Tok_Else => - return "else"; - when Tok_Elsif => - return "elsif"; - when Tok_End => - return "end"; - when Tok_Entity => - return "entity"; - when Tok_Exit => - return "exit"; - - when Tok_File => - return "file"; - when Tok_For => - return "for"; - when Tok_Function => - return "function"; - - when Tok_Generate => - return "generate"; - when Tok_Generic => - return "generic"; - when Tok_Group => - return "group"; - when Tok_Guarded => - return "guarded"; - - when Tok_If => - return "if"; - when Tok_Impure => - return "impure"; - when Tok_In => - return "in"; - when Tok_Inertial => - return "inertial"; - when Tok_Inout => - return "inout"; - when Tok_Is => - return "is"; - - when Tok_Label => - return "label"; - when Tok_Library => - return "library"; - when Tok_Linkage => - return "linkage"; - when Tok_Literal => - return "literal"; - when Tok_Loop => - return "loop"; - - when Tok_Map => - return "map"; - - when Tok_New => - return "new"; - when Tok_Next => - return "next"; - when Tok_Not => - return "not"; - when Tok_Null => - return "null"; - - when Tok_Of => - return "of"; - when Tok_On => - return "on"; - when Tok_Open => - return "open"; - when Tok_Out => - return "out"; - when Tok_Others => - return "others"; - - when Tok_Package => - return "package"; - when Tok_Port => - return "port"; - when Tok_Postponed => - return "postponed"; - when Tok_Procedure => - return "procedure"; - when Tok_Process => - return "process"; - when Tok_Pure => - return "pure"; - - when Tok_Range => - return "range"; - when Tok_Record => - return "record"; - when Tok_Register => - return "register"; - when Tok_Reject => - return "reject"; - when Tok_Report => - return "report"; - when Tok_Return => - return "return"; - - when Tok_Select => - return "select"; - when Tok_Severity => - return "severity"; - when Tok_Shared => - return "shared"; - when Tok_Signal => - return "signal"; - when Tok_Subtype => - return "subtype"; - - when Tok_Then => - return "then"; - when Tok_To => - return "to"; - when Tok_Transport => - return "transport"; - when Tok_Type => - return "type"; - - when Tok_Unaffected => - return "unaffected"; - when Tok_Units => - return "units"; - when Tok_Until => - return "until"; - when Tok_Use => - return "use"; - - when Tok_Variable => - return "variable"; - - when Tok_Wait => - return "wait"; - when Tok_When => - return "when"; - when Tok_While => - return "while"; - when Tok_With => - return "with"; - - -- shift_operator - when Tok_Sll => - return "sll"; - when Tok_Sla => - return "sla"; - when Tok_Sra => - return "sra"; - when Tok_Srl => - return "srl"; - when Tok_Rol => - return "rol"; - when Tok_Ror => - return "ror"; - - -- VHDL 00 - when Tok_Protected => - return "protected"; - - -- VHDL 08 - when Tok_Context => - return "context"; - when Tok_Parameter => - return "parameter"; - - -- AMS-VHDL - when Tok_Across => - return "across"; - when Tok_Break => - return "break"; - when Tok_Limit => - return "limit"; - when Tok_Nature => - return "nature"; - when Tok_Noise => - return "noise"; - when Tok_Procedural => - return "procedural"; - when Tok_Quantity => - return "quantity"; - when Tok_Reference => - return "reference"; - when Tok_Spectrum => - return "spectrum"; - when Tok_Subnature => - return "subnature"; - when Tok_Terminal => - return "terminal"; - when Tok_Through => - return "through"; - when Tok_Tolerance => - return "tolerance"; - - when Tok_And_And => - return "&&"; - when Tok_Bar_Bar => - return "||"; - when Tok_Left_Curly => - return "{"; - when Tok_Right_Curly => - return "}"; - when Tok_Exclam_Mark => - return "!"; - when Tok_Brack_Star => - return "[*"; - when Tok_Brack_Plus_Brack => - return "[+]"; - when Tok_Brack_Arrow => - return "[->"; - when Tok_Brack_Equal => - return "[="; - when Tok_Bar_Arrow => - return "|->"; - when Tok_Bar_Double_Arrow => - return "|=>"; - when Tok_Minus_Greater => - return "->"; - when Tok_Arobase => - return "@"; - - when Tok_Psl_Default => - return "default"; - when Tok_Psl_Clock => - return "clock"; - when Tok_Psl_Property => - return "property"; - when Tok_Psl_Sequence => - return "sequence"; - when Tok_Psl_Endpoint => - return "endpoint"; - when Tok_Psl_Cover => - return "cover"; - when Tok_Psl_Const => - return "const"; - when Tok_Psl_Boolean => - return "boolean"; - when Tok_Inf => - return "inf"; - when Tok_Within => - return "within"; - when Tok_Abort => - return "abort"; - when Tok_Before => - return "before"; - when Tok_Always => - return "always"; - when Tok_Never => - return "never"; - when Tok_Eventually => - return "eventually"; - when Tok_Next_A => - return "next_a"; - when Tok_Next_E => - return "next_e"; - when Tok_Next_Event => - return "next_event"; - when Tok_Next_Event_A => - return "next_event_a"; - when Tok_Next_Event_E => - return "next_event_e"; - end case; - end Image; - -end Tokens; diff --git a/src/vhdl/tokens.ads b/src/vhdl/tokens.ads deleted file mode 100644 index 16cccb572..000000000 --- a/src/vhdl/tokens.ads +++ /dev/null @@ -1,302 +0,0 @@ --- Scanner token definitions. --- Copyright (C) 2002, 2003, 2004, 2005 Tristan Gingold --- --- GHDL 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, or (at your option) any later --- version. --- --- GHDL 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 GHDL; see the file COPYING. If not, write to the Free --- Software Foundation, 59 Temple Place - Suite 330, Boston, MA --- 02111-1307, USA. -package Tokens is - pragma Pure (Tokens); - - type Token_Type is - ( - Tok_Invalid, -- current_token is not valid. - - Tok_Left_Paren, -- ( - Tok_Right_Paren, -- ) - Tok_Left_Bracket, -- [ - Tok_Right_Bracket, -- ] - Tok_Colon, -- : - Tok_Semi_Colon, -- ; - Tok_Comma, -- , - Tok_Double_Arrow, -- => - Tok_Tick, -- ' - Tok_Double_Star, -- ** - Tok_Assign, -- := - Tok_Bar, -- | - Tok_Box, -- <> - Tok_Dot, -- . - - Tok_Equal_Equal, -- == (AMS Vhdl) - - Tok_Eof, -- End of file. - Tok_Newline, - Tok_Comment, - Tok_Character, - Tok_Identifier, - Tok_Integer, - Tok_Real, - Tok_String, - - -- This token corresponds to a base specifier followed by bit_value. - -- The base specifier is stored in Name_Buffer/Name_Length like an - -- identifier (in lowercase), the String8_Id contains the expanded bit - -- value. - Tok_Bit_String, - - -- An integer immediately followed by a letter. This is used by to - -- scan vhdl 2008 (and later) bit string with a length. - Tok_Integer_Letter, - - -- relational_operator - Tok_Equal, -- = - Tok_Not_Equal, -- /= - Tok_Less, -- < - Tok_Less_Equal, -- <= - Tok_Greater, -- > - Tok_Greater_Equal, -- >= - - Tok_Match_Equal, -- ?= - Tok_Match_Not_Equal, -- ?/= - Tok_Match_Less, -- ?< - Tok_Match_Less_Equal, -- ?<= - Tok_Match_Greater, -- ?> - Tok_Match_Greater_Equal, -- ?>= - - -- sign token - Tok_Plus, -- + - Tok_Minus, -- - - -- and adding_operator - Tok_Ampersand, -- & - - -- VHDL 2008 - Tok_Condition, -- ?? - Tok_Double_Less, -- << - Tok_Double_Greater, -- >> - Tok_Caret, -- ^ - - -- PSL - Tok_And_And, -- && - Tok_Bar_Bar, -- || - Tok_Left_Curly, -- { - Tok_Right_Curly, -- } - Tok_Exclam_Mark, -- ! - Tok_Brack_Star, -- [* - Tok_Brack_Plus_Brack, -- [+] - Tok_Brack_Arrow, -- [-> - Tok_Brack_Equal, -- [= - Tok_Bar_Arrow, -- |-> - Tok_Bar_Double_Arrow, -- |=> - Tok_Minus_Greater, -- -> - Tok_Arobase, -- @ - - -- multiplying operator - Tok_Star, -- * - Tok_Slash, -- / - Tok_Mod, -- mod - Tok_Rem, -- rem - - -- miscellaneous operator - Tok_Abs, - Tok_Not, - - -- Key words - Tok_Access, - Tok_After, - Tok_Alias, - Tok_All, - Tok_Architecture, - Tok_Array, - Tok_Assert, - Tok_Attribute, - - Tok_Begin, - Tok_Block, - Tok_Body, - Tok_Buffer, - Tok_Bus, - - Tok_Case, - Tok_Component, - Tok_Configuration, - Tok_Constant, - - Tok_Disconnect, - Tok_Downto, - - Tok_Else, - Tok_Elsif, - Tok_End, - Tok_Entity, - Tok_Exit, - - Tok_File, - Tok_For, - Tok_Function, - - Tok_Generate, - Tok_Generic, - Tok_Guarded, - - Tok_If, - Tok_In, - Tok_Inout, - Tok_Is, - - Tok_Label, - Tok_Library, - Tok_Linkage, - Tok_Loop, - - Tok_Map, - - Tok_New, - Tok_Next, - Tok_Null, - - Tok_Of, - Tok_On, - Tok_Open, - Tok_Others, - Tok_Out, - - Tok_Package, - Tok_Port, - Tok_Procedure, - Tok_Process, - - Tok_Range, - Tok_Record, - Tok_Register, - Tok_Report, - Tok_Return, - - Tok_Select, - Tok_Severity, - Tok_Signal, - Tok_Subtype, - - Tok_Then, - Tok_To, - Tok_Transport, - Tok_Type, - - Tok_Units, - Tok_Until, - Tok_Use, - - Tok_Variable, - - Tok_Wait, - Tok_When, - Tok_While, - Tok_With, - - -- logical token: - Tok_And, - Tok_Or, - Tok_Xor, - Tok_Nand, - Tok_Nor, - - -- Tokens below this line are key words in vhdl93 but not in vhdl87 - -- Note: xnor is the first one, as it is a logical token. - Tok_Xnor, - - Tok_Group, - Tok_Impure, - Tok_Inertial, - Tok_Literal, - Tok_Postponed, - Tok_Pure, - Tok_Reject, - Tok_Shared, - Tok_Unaffected, - - -- shift_operator - Tok_Sll, - Tok_Sla, - Tok_Sra, - Tok_Srl, - Tok_Rol, - Tok_Ror, - - -- Added by Vhdl 2000: - Tok_Protected, - - -- Added by vhdl 2008: - Tok_Context, - Tok_Parameter, - - -- AMS reserved words - Tok_Across, - Tok_Break, - Tok_Limit, - Tok_Nature, - Tok_Noise, - Tok_Procedural, - Tok_Quantity, - Tok_Reference, - Tok_Spectrum, - Tok_Subnature, - Tok_Terminal, - Tok_Through, - Tok_Tolerance, - - -- PSL words - Tok_Psl_Default, - Tok_Psl_Clock, - Tok_Psl_Property, - Tok_Psl_Sequence, - Tok_Psl_Endpoint, - Tok_Psl_Cover, - - Tok_Psl_Const, - Tok_Psl_Boolean, - Tok_Inf, - - Tok_Within, - Tok_Abort, - Tok_Before, - Tok_Always, - Tok_Never, - Tok_Eventually, - Tok_Next_A, - Tok_Next_E, - Tok_Next_Event, - Tok_Next_Event_A, - Tok_Next_Event_E - ); - - -- To ease interfacing - pragma Convention (C, Token_Type); - - subtype Token_Logical_Type is Token_Type range - Tok_And .. Tok_Xnor; - - subtype Token_Relational_Operator_Type is Token_Type range - Tok_Equal .. Tok_Match_Greater_Equal; - subtype Token_Shift_Operator_Type is Token_Type range - Tok_Sll .. Tok_Ror; - subtype Token_Sign_Type is Token_Type range - Tok_Plus .. Tok_Minus; - subtype Token_Adding_Operator_Type is Token_Type range - Tok_Plus .. Tok_Ampersand; - subtype Token_Multiplying_Operator_Type is Token_Type range - Tok_Star .. Tok_Rem; - - Tok_First_Keyword : constant Tokens.Token_Type := Tokens.Tok_Mod; - - -- Return the name of the token. - function Image (Token: Token_Type) return String; -end Tokens; diff --git a/src/vhdl/vhdl-scanner.ads b/src/vhdl/vhdl-scanner.ads index 221defd91..797e2f6e1 100644 --- a/src/vhdl/vhdl-scanner.ads +++ b/src/vhdl/vhdl-scanner.ads @@ -16,7 +16,7 @@ -- Software Foundation, 59 Temple Place - Suite 330, Boston, MA -- 02111-1307, USA. with Types; use Types; -with Tokens; use Tokens; +with Vhdl.Tokens; use Vhdl.Tokens; package Vhdl.Scanner is -- Global variables diff --git a/src/vhdl/vhdl-tokens.adb b/src/vhdl/vhdl-tokens.adb new file mode 100644 index 000000000..fc32c475c --- /dev/null +++ b/src/vhdl/vhdl-tokens.adb @@ -0,0 +1,456 @@ +-- Scanner token definitions. +-- Copyright (C) 2002, 2003, 2004, 2005 Tristan Gingold +-- +-- GHDL 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, or (at your option) any later +-- version. +-- +-- GHDL 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 GHDL; see the file COPYING. If not, write to the Free +-- Software Foundation, 59 Temple Place - Suite 330, Boston, MA +-- 02111-1307, USA. + +package body Vhdl.Tokens is + -- Return the name of the token. + function Image (Token: Token_Type) return String is + begin + case Token is + when Tok_Invalid => + return ""; + when Tok_Left_Paren => + return "("; + when Tok_Right_Paren => + return ")"; + when Tok_Left_Bracket => + return "["; + when Tok_Right_Bracket => + return "]"; + when Tok_Colon => + return ":"; + when Tok_Semi_Colon => + return ";"; + when Tok_Comma => + return ","; + when Tok_Tick => + return "'"; + when Tok_Double_Star => + return "**"; + when Tok_Double_Arrow => + return "=>"; + when Tok_Assign => + return ":="; + when Tok_Bar => + return "|"; + when Tok_Box => + return "<>"; + when Tok_Dot => + return "."; + + when Tok_Eof => + return ""; + when Tok_Newline => + return ""; + when Tok_Comment => + return ""; + when Tok_Character => + return ""; + when Tok_Identifier => + return ""; + when Tok_Integer + | Tok_Integer_Letter => + return ""; + when Tok_Real => + return ""; + when Tok_String => + return ""; + when Tok_Bit_String => + return ""; + + when Tok_Equal_Equal => + return "=="; + + -- relational_operator: + when Tok_Equal => + return "="; + when Tok_Not_Equal => + return "/="; + when Tok_Less => + return "<"; + when Tok_Less_Equal => + return "<="; + when Tok_Greater => + return ">"; + when Tok_Greater_Equal => + return ">="; + + when Tok_Match_Equal => + return "?="; + when Tok_Match_Not_Equal => + return "?/="; + when Tok_Match_Less => + return "?<"; + when Tok_Match_Less_Equal => + return "?<="; + when Tok_Match_Greater => + return "?>"; + when Tok_Match_Greater_Equal => + return "?>="; + + -- sign token + when Tok_Plus => + return "+"; + when Tok_Minus => + return "-"; + -- and adding_operator + when Tok_Ampersand => + return "&"; + + when Tok_Condition => + return "??"; + + when Tok_Double_Less => + return "<<"; + when Tok_Double_Greater => + return ">>"; + when Tok_Caret => + return "^"; + + -- multiplying operator + when Tok_Star => + return "*"; + when Tok_Slash => + return "/"; + when Tok_Mod => + return "mod"; + when Tok_Rem => + return "rem"; + + -- relation token: + when Tok_And => + return "and"; + when Tok_Or => + return "or"; + when Tok_Xor => + return "xor"; + when Tok_Nand => + return "nand"; + when Tok_Nor => + return "nor"; + when Tok_Xnor => + return "xnor"; + + -- Reserved words. + when Tok_Abs => + return "abs"; + when Tok_Access => + return "access"; + when Tok_After => + return "after"; + when Tok_Alias => + return "alias"; + when Tok_All => + return "all"; + when Tok_Architecture => + return "architecture"; + when Tok_Array => + return "array"; + when Tok_Assert => + return "assert"; + when Tok_Attribute => + return "attribute"; + + when Tok_Begin => + return "begin"; + when Tok_Block => + return "block"; + when Tok_Body => + return "body"; + when Tok_Buffer => + return "buffer"; + when Tok_Bus => + return "bus"; + + when Tok_Case => + return "case"; + when Tok_Component => + return "component"; + when Tok_Configuration => + return "configuration"; + when Tok_Constant => + return "constant"; + + when Tok_Disconnect => + return "disconnect"; + when Tok_Downto => + return "downto"; + + when Tok_Else => + return "else"; + when Tok_Elsif => + return "elsif"; + when Tok_End => + return "end"; + when Tok_Entity => + return "entity"; + when Tok_Exit => + return "exit"; + + when Tok_File => + return "file"; + when Tok_For => + return "for"; + when Tok_Function => + return "function"; + + when Tok_Generate => + return "generate"; + when Tok_Generic => + return "generic"; + when Tok_Group => + return "group"; + when Tok_Guarded => + return "guarded"; + + when Tok_If => + return "if"; + when Tok_Impure => + return "impure"; + when Tok_In => + return "in"; + when Tok_Inertial => + return "inertial"; + when Tok_Inout => + return "inout"; + when Tok_Is => + return "is"; + + when Tok_Label => + return "label"; + when Tok_Library => + return "library"; + when Tok_Linkage => + return "linkage"; + when Tok_Literal => + return "literal"; + when Tok_Loop => + return "loop"; + + when Tok_Map => + return "map"; + + when Tok_New => + return "new"; + when Tok_Next => + return "next"; + when Tok_Not => + return "not"; + when Tok_Null => + return "null"; + + when Tok_Of => + return "of"; + when Tok_On => + return "on"; + when Tok_Open => + return "open"; + when Tok_Out => + return "out"; + when Tok_Others => + return "others"; + + when Tok_Package => + return "package"; + when Tok_Port => + return "port"; + when Tok_Postponed => + return "postponed"; + when Tok_Procedure => + return "procedure"; + when Tok_Process => + return "process"; + when Tok_Pure => + return "pure"; + + when Tok_Range => + return "range"; + when Tok_Record => + return "record"; + when Tok_Register => + return "register"; + when Tok_Reject => + return "reject"; + when Tok_Report => + return "report"; + when Tok_Return => + return "return"; + + when Tok_Select => + return "select"; + when Tok_Severity => + return "severity"; + when Tok_Shared => + return "shared"; + when Tok_Signal => + return "signal"; + when Tok_Subtype => + return "subtype"; + + when Tok_Then => + return "then"; + when Tok_To => + return "to"; + when Tok_Transport => + return "transport"; + when Tok_Type => + return "type"; + + when Tok_Unaffected => + return "unaffected"; + when Tok_Units => + return "units"; + when Tok_Until => + return "until"; + when Tok_Use => + return "use"; + + when Tok_Variable => + return "variable"; + + when Tok_Wait => + return "wait"; + when Tok_When => + return "when"; + when Tok_While => + return "while"; + when Tok_With => + return "with"; + + -- shift_operator + when Tok_Sll => + return "sll"; + when Tok_Sla => + return "sla"; + when Tok_Sra => + return "sra"; + when Tok_Srl => + return "srl"; + when Tok_Rol => + return "rol"; + when Tok_Ror => + return "ror"; + + -- VHDL 00 + when Tok_Protected => + return "protected"; + + -- VHDL 08 + when Tok_Context => + return "context"; + when Tok_Parameter => + return "parameter"; + + -- AMS-VHDL + when Tok_Across => + return "across"; + when Tok_Break => + return "break"; + when Tok_Limit => + return "limit"; + when Tok_Nature => + return "nature"; + when Tok_Noise => + return "noise"; + when Tok_Procedural => + return "procedural"; + when Tok_Quantity => + return "quantity"; + when Tok_Reference => + return "reference"; + when Tok_Spectrum => + return "spectrum"; + when Tok_Subnature => + return "subnature"; + when Tok_Terminal => + return "terminal"; + when Tok_Through => + return "through"; + when Tok_Tolerance => + return "tolerance"; + + when Tok_And_And => + return "&&"; + when Tok_Bar_Bar => + return "||"; + when Tok_Left_Curly => + return "{"; + when Tok_Right_Curly => + return "}"; + when Tok_Exclam_Mark => + return "!"; + when Tok_Brack_Star => + return "[*"; + when Tok_Brack_Plus_Brack => + return "[+]"; + when Tok_Brack_Arrow => + return "[->"; + when Tok_Brack_Equal => + return "[="; + when Tok_Bar_Arrow => + return "|->"; + when Tok_Bar_Double_Arrow => + return "|=>"; + when Tok_Minus_Greater => + return "->"; + when Tok_Arobase => + return "@"; + + when Tok_Psl_Default => + return "default"; + when Tok_Psl_Clock => + return "clock"; + when Tok_Psl_Property => + return "property"; + when Tok_Psl_Sequence => + return "sequence"; + when Tok_Psl_Endpoint => + return "endpoint"; + when Tok_Psl_Cover => + return "cover"; + when Tok_Psl_Const => + return "const"; + when Tok_Psl_Boolean => + return "boolean"; + when Tok_Inf => + return "inf"; + when Tok_Within => + return "within"; + when Tok_Abort => + return "abort"; + when Tok_Before => + return "before"; + when Tok_Always => + return "always"; + when Tok_Never => + return "never"; + when Tok_Eventually => + return "eventually"; + when Tok_Next_A => + return "next_a"; + when Tok_Next_E => + return "next_e"; + when Tok_Next_Event => + return "next_event"; + when Tok_Next_Event_A => + return "next_event_a"; + when Tok_Next_Event_E => + return "next_event_e"; + end case; + end Image; + +end Vhdl.Tokens; diff --git a/src/vhdl/vhdl-tokens.ads b/src/vhdl/vhdl-tokens.ads new file mode 100644 index 000000000..b18735859 --- /dev/null +++ b/src/vhdl/vhdl-tokens.ads @@ -0,0 +1,303 @@ +-- Scanner token definitions. +-- Copyright (C) 2002-2019 Tristan Gingold +-- +-- GHDL 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, or (at your option) any later +-- version. +-- +-- GHDL 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 GHDL; see the file COPYING. If not, write to the Free +-- Software Foundation, 59 Temple Place - Suite 330, Boston, MA +-- 02111-1307, USA. + +package Vhdl.Tokens is + pragma Pure (Vhdl.Tokens); + + type Token_Type is + ( + Tok_Invalid, -- current_token is not valid. + + Tok_Left_Paren, -- ( + Tok_Right_Paren, -- ) + Tok_Left_Bracket, -- [ + Tok_Right_Bracket, -- ] + Tok_Colon, -- : + Tok_Semi_Colon, -- ; + Tok_Comma, -- , + Tok_Double_Arrow, -- => + Tok_Tick, -- ' + Tok_Double_Star, -- ** + Tok_Assign, -- := + Tok_Bar, -- | + Tok_Box, -- <> + Tok_Dot, -- . + + Tok_Equal_Equal, -- == (AMS Vhdl) + + Tok_Eof, -- End of file. + Tok_Newline, + Tok_Comment, + Tok_Character, + Tok_Identifier, + Tok_Integer, + Tok_Real, + Tok_String, + + -- This token corresponds to a base specifier followed by bit_value. + -- The base specifier is stored in Name_Buffer/Name_Length like an + -- identifier (in lowercase), the String8_Id contains the expanded bit + -- value. + Tok_Bit_String, + + -- An integer immediately followed by a letter. This is used by to + -- scan vhdl 2008 (and later) bit string with a length. + Tok_Integer_Letter, + + -- relational_operator + Tok_Equal, -- = + Tok_Not_Equal, -- /= + Tok_Less, -- < + Tok_Less_Equal, -- <= + Tok_Greater, -- > + Tok_Greater_Equal, -- >= + + Tok_Match_Equal, -- ?= + Tok_Match_Not_Equal, -- ?/= + Tok_Match_Less, -- ?< + Tok_Match_Less_Equal, -- ?<= + Tok_Match_Greater, -- ?> + Tok_Match_Greater_Equal, -- ?>= + + -- sign token + Tok_Plus, -- + + Tok_Minus, -- - + -- and adding_operator + Tok_Ampersand, -- & + + -- VHDL 2008 + Tok_Condition, -- ?? + Tok_Double_Less, -- << + Tok_Double_Greater, -- >> + Tok_Caret, -- ^ + + -- PSL + Tok_And_And, -- && + Tok_Bar_Bar, -- || + Tok_Left_Curly, -- { + Tok_Right_Curly, -- } + Tok_Exclam_Mark, -- ! + Tok_Brack_Star, -- [* + Tok_Brack_Plus_Brack, -- [+] + Tok_Brack_Arrow, -- [-> + Tok_Brack_Equal, -- [= + Tok_Bar_Arrow, -- |-> + Tok_Bar_Double_Arrow, -- |=> + Tok_Minus_Greater, -- -> + Tok_Arobase, -- @ + + -- multiplying operator + Tok_Star, -- * + Tok_Slash, -- / + Tok_Mod, -- mod + Tok_Rem, -- rem + + -- miscellaneous operator + Tok_Abs, + Tok_Not, + + -- Key words + Tok_Access, + Tok_After, + Tok_Alias, + Tok_All, + Tok_Architecture, + Tok_Array, + Tok_Assert, + Tok_Attribute, + + Tok_Begin, + Tok_Block, + Tok_Body, + Tok_Buffer, + Tok_Bus, + + Tok_Case, + Tok_Component, + Tok_Configuration, + Tok_Constant, + + Tok_Disconnect, + Tok_Downto, + + Tok_Else, + Tok_Elsif, + Tok_End, + Tok_Entity, + Tok_Exit, + + Tok_File, + Tok_For, + Tok_Function, + + Tok_Generate, + Tok_Generic, + Tok_Guarded, + + Tok_If, + Tok_In, + Tok_Inout, + Tok_Is, + + Tok_Label, + Tok_Library, + Tok_Linkage, + Tok_Loop, + + Tok_Map, + + Tok_New, + Tok_Next, + Tok_Null, + + Tok_Of, + Tok_On, + Tok_Open, + Tok_Others, + Tok_Out, + + Tok_Package, + Tok_Port, + Tok_Procedure, + Tok_Process, + + Tok_Range, + Tok_Record, + Tok_Register, + Tok_Report, + Tok_Return, + + Tok_Select, + Tok_Severity, + Tok_Signal, + Tok_Subtype, + + Tok_Then, + Tok_To, + Tok_Transport, + Tok_Type, + + Tok_Units, + Tok_Until, + Tok_Use, + + Tok_Variable, + + Tok_Wait, + Tok_When, + Tok_While, + Tok_With, + + -- logical token: + Tok_And, + Tok_Or, + Tok_Xor, + Tok_Nand, + Tok_Nor, + + -- Tokens below this line are key words in vhdl93 but not in vhdl87 + -- Note: xnor is the first one, as it is a logical token. + Tok_Xnor, + + Tok_Group, + Tok_Impure, + Tok_Inertial, + Tok_Literal, + Tok_Postponed, + Tok_Pure, + Tok_Reject, + Tok_Shared, + Tok_Unaffected, + + -- shift_operator + Tok_Sll, + Tok_Sla, + Tok_Sra, + Tok_Srl, + Tok_Rol, + Tok_Ror, + + -- Added by Vhdl 2000: + Tok_Protected, + + -- Added by vhdl 2008: + Tok_Context, + Tok_Parameter, + + -- AMS reserved words + Tok_Across, + Tok_Break, + Tok_Limit, + Tok_Nature, + Tok_Noise, + Tok_Procedural, + Tok_Quantity, + Tok_Reference, + Tok_Spectrum, + Tok_Subnature, + Tok_Terminal, + Tok_Through, + Tok_Tolerance, + + -- PSL words + Tok_Psl_Default, + Tok_Psl_Clock, + Tok_Psl_Property, + Tok_Psl_Sequence, + Tok_Psl_Endpoint, + Tok_Psl_Cover, + + Tok_Psl_Const, + Tok_Psl_Boolean, + Tok_Inf, + + Tok_Within, + Tok_Abort, + Tok_Before, + Tok_Always, + Tok_Never, + Tok_Eventually, + Tok_Next_A, + Tok_Next_E, + Tok_Next_Event, + Tok_Next_Event_A, + Tok_Next_Event_E + ); + + -- To ease interfacing + pragma Convention (C, Token_Type); + + subtype Token_Logical_Type is Token_Type range + Tok_And .. Tok_Xnor; + + subtype Token_Relational_Operator_Type is Token_Type range + Tok_Equal .. Tok_Match_Greater_Equal; + subtype Token_Shift_Operator_Type is Token_Type range + Tok_Sll .. Tok_Ror; + subtype Token_Sign_Type is Token_Type range + Tok_Plus .. Tok_Minus; + subtype Token_Adding_Operator_Type is Token_Type range + Tok_Plus .. Tok_Ampersand; + subtype Token_Multiplying_Operator_Type is Token_Type range + Tok_Star .. Tok_Rem; + + Tok_First_Keyword : constant Tokens.Token_Type := Tokens.Tok_Mod; + + -- Return the name of the token. + function Image (Token: Token_Type) return String; +end Vhdl.Tokens; -- cgit v1.2.3