From d70084ccb149ff4f5fca072c672b1f3d040358a9 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Wed, 11 Mar 2020 21:09:39 +0100
Subject: psl: keep denoting names in the PSL ast.

---
 src/psl/psl-nodes.adb | 20 +++++++++++++++++++-
 1 file changed, 19 insertions(+), 1 deletion(-)

(limited to 'src/psl/psl-nodes.adb')

diff --git a/src/psl/psl-nodes.adb b/src/psl/psl-nodes.adb
index 99b449d22..629041a73 100644
--- a/src/psl/psl-nodes.adb
+++ b/src/psl/psl-nodes.adb
@@ -374,7 +374,8 @@ package body PSL.Nodes is
            | N_False
            | N_True
            | N_Boolean_Parameter
-           | N_Paren_Bool =>
+           | N_Paren_Bool
+           | N_HDL_Bool =>
             return Type_Boolean;
          when N_Number
            | N_Const_Parameter =>
@@ -460,6 +461,7 @@ package body PSL.Nodes is
            | N_Or_Bool
            | N_Imp_Bool
            | N_HDL_Expr
+           | N_HDL_Bool
            | N_False
            | N_True
            | N_EOS
@@ -854,6 +856,22 @@ package body PSL.Nodes is
       Set_Field2 (N, Int32_To_Node (Idx));
    end Set_HDL_Index;
 
+   function Get_HDL_Hash (N : Node) return Node is
+   begin
+      pragma Assert (N /= Null_Node);
+      pragma Assert (Has_HDL_Hash (Get_Kind (N)),
+                     "no field HDL_Hash");
+      return Get_Field5 (N);
+   end Get_HDL_Hash;
+
+   procedure Set_HDL_Hash (N : Node; H : Node) is
+   begin
+      pragma Assert (N /= Null_Node);
+      pragma Assert (Has_HDL_Hash (Get_Kind (N)),
+                     "no field HDL_Hash");
+      Set_Field5 (N, H);
+   end Set_HDL_Hash;
+
    function Get_Presence (N : Node) return PSL_Presence_Kind is
    begin
       pragma Assert (N /= Null_Node);
-- 
cgit v1.2.3