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/iirs.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/iirs.ads')
| -rw-r--r-- | src/vhdl/iirs.ads | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/src/vhdl/iirs.ads b/src/vhdl/iirs.ads index 56a1794a9..1272e7723 100644 --- a/src/vhdl/iirs.ads +++ b/src/vhdl/iirs.ads @@ -2517,10 +2517,19 @@ package Iirs is -- -- Get/Set_Report_Expression (Field5) -- + -- The following fields are set by canon. -- Get/Set_PSL_Clock (Field7) -- -- Get/Set_PSL_NFA (Field8) -- + -- Number of states in the NFA. + -- Get/Set_PSL_Nbr_States (Field9) + -- + -- Get/Set_PSL_Clock_Sensitivity (Field10) + -- + -- True if at least one of the NFA edge has the EOS flag. + -- Get/Set_PSL_EOS_Flag (Flag1) + -- -- Get/Set_Visible_Flag (Flag4) -- Iir_Kind_Component_Instantiation_Statement (Medium) @@ -6655,4 +6664,17 @@ package Iirs is -- Field: Field8 (uc) function Get_PSL_NFA (N : Iir) return PSL_NFA; procedure Set_PSL_NFA (N : Iir; Fa : PSL_NFA); + + -- Field: Field9 (uc) + function Get_PSL_Nbr_States (N : Iir) return Int32; + procedure Set_PSL_Nbr_States (N : Iir; Nbr : Int32); + + -- Field: Field10 (uc) + function Get_PSL_Clock_Sensitivity (N : Iir) return Iir_List; + procedure Set_PSL_Clock_Sensitivity (N : Iir; List : Iir_List); + + -- Field: Flag1 + function Get_PSL_EOS_Flag (N : Iir) return Boolean; + procedure Set_PSL_EOS_Flag (N : Iir; Flag : Boolean); + end Iirs; |