diff options
author | Tristan Gingold <tgingold@free.fr> | 2021-08-30 08:12:26 +0200 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2021-08-30 08:12:26 +0200 |
commit | 852f4310b717765360f5d3bf575d40af5769f70d (patch) | |
tree | d3ea3da1d6152b6a14ca71f24cc8f03139dc3101 /src/vhdl/vhdl-nodes_meta.ads | |
parent | 7b0195b5e706502a1d564f31867b02bf2a8a27bb (diff) | |
download | ghdl-852f4310b717765360f5d3bf575d40af5769f70d.tar.gz ghdl-852f4310b717765360f5d3bf575d40af5769f70d.tar.bz2 ghdl-852f4310b717765360f5d3bf575d40af5769f70d.zip |
vhdl and psl: parse sync_abort and async_abort. For #1654
Diffstat (limited to 'src/vhdl/vhdl-nodes_meta.ads')
-rw-r--r-- | src/vhdl/vhdl-nodes_meta.ads | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/vhdl/vhdl-nodes_meta.ads b/src/vhdl/vhdl-nodes_meta.ads index 0585fbe93..540807d1b 100644 --- a/src/vhdl/vhdl-nodes_meta.ads +++ b/src/vhdl/vhdl-nodes_meta.ads @@ -427,6 +427,7 @@ package Vhdl.Nodes_Meta is Field_PSL_Nbr_States, Field_PSL_Clock_Sensitivity, Field_PSL_EOS_Flag, + Field_PSL_Abort_Flag, Field_Count_Expression, Field_Clock_Expression, Field_Default_Clock, @@ -1016,6 +1017,7 @@ package Vhdl.Nodes_Meta is function Has_PSL_Nbr_States (K : Iir_Kind) return Boolean; function Has_PSL_Clock_Sensitivity (K : Iir_Kind) return Boolean; function Has_PSL_EOS_Flag (K : Iir_Kind) return Boolean; + function Has_PSL_Abort_Flag (K : Iir_Kind) return Boolean; function Has_Count_Expression (K : Iir_Kind) return Boolean; function Has_Clock_Expression (K : Iir_Kind) return Boolean; function Has_Default_Clock (K : Iir_Kind) return Boolean; |