diff options
| author | Ondrej Ille <ondrej.ille@gmail.com> | 2021-04-06 19:45:43 +0200 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2021-04-08 20:22:42 +0200 |
| commit | 8ba693433eec6f496d72361d8075573b47333ad1 (patch) | |
| tree | 49e01cb6b20cdc2f2de5cd275cecf50ab461d73e /src/grt/grt-rtis.ads | |
| parent | f5a7ce7b355b553e12365c247b68cc19b3f3123d (diff) | |
| download | ghdl-8ba693433eec6f496d72361d8075573b47333ad1.tar.gz ghdl-8ba693433eec6f496d72361d8075573b47333ad1.tar.bz2 ghdl-8ba693433eec6f496d72361d8075573b47333ad1.zip | |
src: Define PSL type RTI with simplified assertion state.
Diffstat (limited to 'src/grt/grt-rtis.ads')
| -rw-r--r-- | src/grt/grt-rtis.ads | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/src/grt/grt-rtis.ads b/src/grt/grt-rtis.ads index 97adeda64..9e27ca28b 100644 --- a/src/grt/grt-rtis.ads +++ b/src/grt/grt-rtis.ads @@ -218,6 +218,22 @@ package Grt.Rtis is function To_Ghdl_Rti_Access is new Ada.Unchecked_Conversion (Source => Ghdl_Rtin_Object_Acc, Target => Ghdl_Rti_Access); + type Ghdl_Rtin_Psl_Directive is record + Common : Ghdl_Rti_Common; + Name : Ghdl_C_String; + -- Location of the RTI data (count, state vector, state) + Loc : Ghdl_Rti_Loc; + Linecol : Ghdl_Index_Type; + -- Parent architecture containing the PSL directive + Parent : Ghdl_Rti_Access; + end record; + pragma Convention (C, Ghdl_Rtin_Psl_Directive); + type Ghdl_Rtin_Psl_Directive_Acc is access Ghdl_Rtin_Psl_Directive; + function To_Ghdl_Rtin_Psl_Directive_Acc is new Ada.Unchecked_Conversion + (Source => Ghdl_Rti_Access, Target => Ghdl_Rtin_Psl_Directive_Acc); + function To_Ghdl_Rti_Access is new Ada.Unchecked_Conversion + (Source => Ghdl_Rtin_Psl_Directive_Acc, Target => Ghdl_Rti_Access); + type Ghdl_Rtin_Instance is record Common : Ghdl_Rti_Common; Name : Ghdl_C_String; |