diff options
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 => |