aboutsummaryrefslogtreecommitdiffstats
path: root/src/ghdldrv
diff options
context:
space:
mode:
authorTristan Gingold <tgingold@free.fr>2020-06-01 10:21:43 +0200
committerTristan Gingold <tgingold@free.fr>2020-06-02 03:24:52 +0200
commit21af50dafb4f0fa27a6d8757e3953f310d0e3e8f (patch)
treea268b3928f82b42898e01e51c1ad07d8cc713eff /src/ghdldrv
parentb5131047ec5988893c40428d8cb9823f4c914bc4 (diff)
downloadghdl-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/ghdldrv')
-rw-r--r--src/ghdldrv/ghdlprint.adb62
1 files changed, 33 insertions, 29 deletions
diff --git a/src/ghdldrv/ghdlprint.adb b/src/ghdldrv/ghdlprint.adb
index 58186948c..38c70699a 100644
--- a/src/ghdldrv/ghdlprint.adb
+++ b/src/ghdldrv/ghdlprint.adb
@@ -391,38 +391,42 @@ package body Ghdlprint is
when Tok_Across .. Tok_Tolerance =>
Disp_Reserved;
when Tok_Psl_Clock
- | Tok_Psl_Endpoint
- | Tok_Psl_Boolean
- | Tok_Psl_Const
- | Tok_Inf
- | Tok_Within
- | Tok_Abort
- | Tok_Before
- | Tok_Before_Em
- | Tok_Before_Un
- | Tok_Before_Em_Un
- | Tok_Until_Em
- | Tok_Until_Un
- | Tok_Until_Em_Un
- | Tok_Always
- | Tok_Never
- | Tok_Eventually_Em
- | Tok_Next_Em
- | Tok_Next_A
- | Tok_Next_A_Em
- | Tok_Next_E
- | Tok_Next_E_Em
- | Tok_Next_Event
- | Tok_Next_Event_Em
- | Tok_Next_Event_A
- | Tok_Next_Event_A_Em
- | Tok_Next_Event_E_Em
- | Tok_Next_Event_E =>
+ | Tok_Psl_Endpoint
+ | Tok_Psl_Boolean
+ | Tok_Psl_Const
+ | Tok_Inf
+ | Tok_Within
+ | Tok_Abort
+ | Tok_Before
+ | Tok_Before_Em
+ | Tok_Before_Un
+ | Tok_Before_Em_Un
+ | Tok_Until_Em
+ | Tok_Until_Un
+ | Tok_Until_Em_Un
+ | Tok_Always
+ | Tok_Never
+ | Tok_Eventually_Em
+ | Tok_Next_Em
+ | Tok_Next_A
+ | Tok_Next_A_Em
+ | Tok_Next_E
+ | Tok_Next_E_Em
+ | Tok_Next_Event
+ | Tok_Next_Event_Em
+ | Tok_Next_Event_A
+ | Tok_Next_Event_A_Em
+ | Tok_Next_Event_E_Em
+ | Tok_Next_Event_E
+ | Tok_Prev
+ | Tok_Stable
+ | Tok_Rose
+ | Tok_Fell =>
Disp_Spaces;
Disp_Text;
when Tok_String
- | Tok_Bit_String
- | Tok_Character =>
+ | Tok_Bit_String
+ | Tok_Character =>
Disp_Spaces;
case Html_Format is
when Html_2 =>