diff options
author | Tristan Gingold <tgingold@free.fr> | 2019-08-14 08:22:20 +0200 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2019-08-14 08:22:20 +0200 |
commit | 5cfb8e78cd5d7bdc83494bd72cbe17bf4921bda8 (patch) | |
tree | 153ab940b178603745e6b27e37bc606df2e8b316 /src/vhdl/vhdl-tokens.adb | |
parent | a8e477a114b528866dfeb5146c9377f57bab604c (diff) | |
download | ghdl-5cfb8e78cd5d7bdc83494bd72cbe17bf4921bda8.tar.gz ghdl-5cfb8e78cd5d7bdc83494bd72cbe17bf4921bda8.tar.bz2 ghdl-5cfb8e78cd5d7bdc83494bd72cbe17bf4921bda8.zip |
vhdl: add PSL keywords to vhdl08 reserved words.
Diffstat (limited to 'src/vhdl/vhdl-tokens.adb')
-rw-r--r-- | src/vhdl/vhdl-tokens.adb | 28 |
1 files changed, 14 insertions, 14 deletions
diff --git a/src/vhdl/vhdl-tokens.adb b/src/vhdl/vhdl-tokens.adb index 1f17c5092..b06f916d7 100644 --- a/src/vhdl/vhdl-tokens.adb +++ b/src/vhdl/vhdl-tokens.adb @@ -352,10 +352,24 @@ package body Vhdl.Tokens is return "protected"; -- VHDL 08 + when Tok_Assume => + return "assume"; when Tok_Context => return "context"; + when Tok_Cover => + return "cover"; + when Tok_Default => + return "default"; when Tok_Parameter => return "parameter"; + when Tok_Property => + return "property"; + when Tok_Restrict => + return "restrict"; + when Tok_Restrict_Guarantee => + return "restrict_guarantee"; + when Tok_Sequence => + return "sequence"; -- AMS-VHDL when Tok_Across => @@ -412,24 +426,10 @@ package body Vhdl.Tokens is 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_Assume => - return "assume"; - when Tok_Psl_Cover => - return "cover"; - when Tok_Psl_Restrict => - return "restrict"; - when Tok_Psl_Restrict_Guarantee => - return "restrict_guarantee"; when Tok_Psl_Const => return "const"; when Tok_Psl_Boolean => |