From 8ba693433eec6f496d72361d8075573b47333ad1 Mon Sep 17 00:00:00 2001 From: Ondrej Ille Date: Tue, 6 Apr 2021 19:45:43 +0200 Subject: src: Define PSL type RTI with simplified assertion state. --- src/grt/grt-rtis.ads | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) (limited to 'src/grt') 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; -- cgit v1.2.3