diff options
| author | Tristan Gingold <tgingold@free.fr> | 2016-02-12 05:52:26 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2016-02-14 13:52:33 +0100 |
| commit | 48e27ae110b44f1feb73f906e322e8d59c7c2c98 (patch) | |
| tree | b5bdb902579a033e11c48ca605aec30c408c77a7 /src/vhdl/nodes_meta.ads | |
| parent | 99049b0dfebc774c7dfd6d3dc075159b1d3645fd (diff) | |
| download | ghdl-48e27ae110b44f1feb73f906e322e8d59c7c2c98.tar.gz ghdl-48e27ae110b44f1feb73f906e322e8d59c7c2c98.tar.bz2 ghdl-48e27ae110b44f1feb73f906e322e8d59c7c2c98.zip | |
PSL: move canon code to canon.adb
Diffstat (limited to 'src/vhdl/nodes_meta.ads')
| -rw-r--r-- | src/vhdl/nodes_meta.ads | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/src/vhdl/nodes_meta.ads b/src/vhdl/nodes_meta.ads index f688d527f..d4ae3a060 100644 --- a/src/vhdl/nodes_meta.ads +++ b/src/vhdl/nodes_meta.ads @@ -356,7 +356,10 @@ package Nodes_Meta is Field_Psl_Expression, Field_Psl_Boolean, Field_PSL_Clock, - Field_PSL_NFA + Field_PSL_NFA, + Field_PSL_Nbr_States, + Field_PSL_Clock_Sensitivity, + Field_PSL_EOS_Flag ); pragma Discard_Names (Fields_Enum); @@ -844,4 +847,7 @@ package Nodes_Meta is function Has_Psl_Boolean (K : Iir_Kind) return Boolean; function Has_PSL_Clock (K : Iir_Kind) return Boolean; function Has_PSL_NFA (K : Iir_Kind) return Boolean; + 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; end Nodes_Meta; |