diff options
author | Ondrej Ille <ondrej.ille@gmail.com> | 2021-04-06 23:05:22 +0200 |
---|---|---|
committer | tgingold <tgingold@users.noreply.github.com> | 2021-04-08 20:22:42 +0200 |
commit | 3cbf31356ebc38d8c92eaf640455b35164246ef9 (patch) | |
tree | 8f7bd29dac5821895087fb4f43b82b9a52645d6d | |
parent | 7c7ea95a13e2f2d8a261af0143d48774268ac8a5 (diff) | |
download | ghdl-3cbf31356ebc38d8c92eaf640455b35164246ef9.tar.gz ghdl-3cbf31356ebc38d8c92eaf640455b35164246ef9.tar.bz2 ghdl-3cbf31356ebc38d8c92eaf640455b35164246ef9.zip |
src: Adjust grt-psl to use PSL RTI type.
-rw-r--r-- | src/grt/grt-psl.adb | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/grt/grt-psl.adb b/src/grt/grt-psl.adb index cf3aa9403..ff736c951 100644 --- a/src/grt/grt-psl.adb +++ b/src/grt/grt-psl.adb @@ -73,7 +73,7 @@ package body Grt.Psl is return Traverse_Result is F : constant FILEs := Report_Stream; - Obj : Ghdl_Rtin_Object_Acc; + Psl_Dir : Ghdl_Rtin_Psl_Directive_Acc; Addr : System.Address; Val : Ghdl_Index_Type; begin @@ -103,21 +103,21 @@ package body Grt.Psl is end case; Put_Line (F, ","); Put (F, " ""name"": """); - Obj := To_Ghdl_Rtin_Object_Acc (Rti); + Psl_Dir := To_Ghdl_Rtin_Psl_Directive_Acc (Rti); Put (F, Ctxt); Put (F, '.'); - Put (F, Obj.Name); + Put (F, Psl_Dir.Name); Put_Line (F, ""","); Put (F, " ""file"": """); Put (F, Get_Filename (Ctxt)); Put_Line (F, ""","); Put (F, " ""line"": "); - Put_U32 (F, Get_Linecol_Line (Obj.Linecol)); + Put_U32 (F, Get_Linecol_Line (Psl_Dir.Linecol)); Put_Line (F, ","); Put (F, " ""count"": "); - Addr := Loc_To_Addr (Obj.Common.Depth, Obj.Loc, Ctxt); + Addr := Loc_To_Addr (Psl_Dir.Common.Depth, Psl_Dir.Loc, Ctxt); Val := To_Ghdl_Index_Ptr (Addr).all; Put_U32 (F, Ghdl_U32 (Val)); Put_Line (F, ","); |