diff options
Diffstat (limited to 'src/psl/psl-nodes.ads')
| -rw-r--r-- | src/psl/psl-nodes.ads | 20 |
1 files changed, 19 insertions, 1 deletions
diff --git a/src/psl/psl-nodes.ads b/src/psl/psl-nodes.ads index 0b11d0641..d5d3b93f5 100644 --- a/src/psl/psl-nodes.ads +++ b/src/psl/psl-nodes.ads @@ -92,6 +92,7 @@ package PSL.Nodes is N_Or_Bool, N_Imp_Bool, -- -> N_HDL_Expr, + N_HDL_Bool, N_False, N_True, N_EOS, @@ -105,6 +106,8 @@ package PSL.Nodes is subtype N_Booleans is Nkind range N_Paren_Bool .. N_True; subtype N_Sequences is Nkind range N_Braced_SERE .. N_Equal_Repeat_Seq; + subtype N_HDLs is Nkind range N_HDL_Expr .. N_HDL_Bool; + type PSL_Types is ( Type_Unknown, @@ -372,7 +375,8 @@ package PSL.Nodes is -- Get/Set_Boolean (Field3) - -- N_HDL_Expr (Short) + -- N_HDL_Bool (Short) + -- An HDL expression of boolean type, that could be hashed. -- -- Get/Set_Presence (State1) -- @@ -384,6 +388,15 @@ package PSL.Nodes is -- -- Get/Set_Hash_Link (Field6) + -- N_HDL_Expr (Short) + -- An HDL expression. Just a proxy to the N_HDL_Bool. The node + -- is removed when rewritten. This node is present so that denoting + -- names are kept in the PSL tree. + -- + -- Get/Set_HDL_Node (Field1) + -- + -- Get/Set_HDL_Hash (Field5) + -- N_Paren_Bool (Short) -- -- Get/Set_Presence (State1) @@ -574,6 +587,11 @@ package PSL.Nodes is function Get_HDL_Index (N : Node) return Int32; procedure Set_HDL_Index (N : Node; Idx : Int32); + -- Link the the hash-able node. + -- Field: Field5 + function Get_HDL_Hash (N : Node) return Node; + procedure Set_HDL_Hash (N : Node; H : Node); + -- Field: State1 (pos) function Get_Presence (N : Node) return PSL_Presence_Kind; procedure Set_Presence (N : Node; P : PSL_Presence_Kind); |