diff options
author | Tristan Gingold <tgingold@free.fr> | 2020-06-01 10:21:43 +0200 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2020-06-02 03:24:52 +0200 |
commit | 21af50dafb4f0fa27a6d8757e3953f310d0e3e8f (patch) | |
tree | a268b3928f82b42898e01e51c1ad07d8cc713eff /src/vhdl/vhdl-tokens.adb | |
parent | b5131047ec5988893c40428d8cb9823f4c914bc4 (diff) | |
download | ghdl-21af50dafb4f0fa27a6d8757e3953f310d0e3e8f.tar.gz ghdl-21af50dafb4f0fa27a6d8757e3953f310d0e3e8f.tar.bz2 ghdl-21af50dafb4f0fa27a6d8757e3953f310d0e3e8f.zip |
vhdl: parse PSL prev/stable/rose/fell builtin calls. For #662
Diffstat (limited to 'src/vhdl/vhdl-tokens.adb')
-rw-r--r-- | src/vhdl/vhdl-tokens.adb | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/src/vhdl/vhdl-tokens.adb b/src/vhdl/vhdl-tokens.adb index 7e5633f16..0242808bf 100644 --- a/src/vhdl/vhdl-tokens.adb +++ b/src/vhdl/vhdl-tokens.adb @@ -405,6 +405,7 @@ package body Vhdl.Tokens is when Tok_Tolerance => return "tolerance"; + -- PSL operators when Tok_And_And => return "&&"; when Tok_Bar_Bar => @@ -432,8 +433,17 @@ package body Vhdl.Tokens is when Tok_Arobase => return "@"; + -- PSL keywords when Tok_Psl_Clock => return "clock"; + when Tok_Fell => + return "fell"; + when Tok_Rose => + return "rose"; + when Tok_Stable => + return "stable"; + when Tok_Prev => + return "prev"; when Tok_Psl_Endpoint => return "endpoint"; when Tok_Psl_Const => |