diff options
| author | Tristan Gingold <tgingold@free.fr> | 2021-08-30 21:36:05 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2021-08-30 21:36:05 +0200 |
| commit | 09192336035599d542d3a6bc149a7b477bb68ed3 (patch) | |
| tree | 574bb27543878d3e4af546718efeb971aeb7e3b7 /pyGHDL/libghdl | |
| parent | 852f4310b717765360f5d3bf575d40af5769f70d (diff) | |
| download | ghdl-09192336035599d542d3a6bc149a7b477bb68ed3.tar.gz ghdl-09192336035599d542d3a6bc149a7b477bb68ed3.tar.bz2 ghdl-09192336035599d542d3a6bc149a7b477bb68ed3.zip | |
trans-chap9.adb: handle async_abort, sync_abort. Fix #1654
Diffstat (limited to 'pyGHDL/libghdl')
| -rw-r--r-- | pyGHDL/libghdl/vhdl/nodes.py | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/pyGHDL/libghdl/vhdl/nodes.py b/pyGHDL/libghdl/vhdl/nodes.py index d7fcdf202..bd26406d2 100644 --- a/pyGHDL/libghdl/vhdl/nodes.py +++ b/pyGHDL/libghdl/vhdl/nodes.py @@ -1002,6 +1002,23 @@ class Iir_Kinds: Iir_Kind.Psl_Restrict_Directive, ] + Psl_Property_Directive = [ + Iir_Kind.Psl_Assert_Directive, + Iir_Kind.Psl_Assume_Directive, + ] + + Psl_Sequence_Directive = [ + Iir_Kind.Psl_Cover_Directive, + Iir_Kind.Psl_Restrict_Directive, + ] + + Psl_Directive = [ + Iir_Kind.Psl_Assert_Directive, + Iir_Kind.Psl_Assume_Directive, + Iir_Kind.Psl_Cover_Directive, + Iir_Kind.Psl_Restrict_Directive, + ] + Generate_Statement = [ Iir_Kind.If_Generate_Statement, Iir_Kind.Case_Generate_Statement, |