From 09192336035599d542d3a6bc149a7b477bb68ed3 Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Mon, 30 Aug 2021 21:36:05 +0200 Subject: trans-chap9.adb: handle async_abort, sync_abort. Fix #1654 --- pyGHDL/libghdl/vhdl/nodes.py | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) (limited to 'pyGHDL/libghdl/vhdl') 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, -- cgit v1.2.3