diff options
Diffstat (limited to 'src/psl/psl-nodes.ads')
-rw-r--r-- | src/psl/psl-nodes.ads | 18 |
1 files changed, 17 insertions, 1 deletions
diff --git a/src/psl/psl-nodes.ads b/src/psl/psl-nodes.ads index ec3022c35..0b11d0641 100644 --- a/src/psl/psl-nodes.ads +++ b/src/psl/psl-nodes.ads @@ -67,6 +67,7 @@ package PSL.Nodes is N_Before, N_Or_Prop, N_And_Prop, + N_Paren_Prop, -- Sequences/SERE. N_Braced_SERE, @@ -85,6 +86,7 @@ package PSL.Nodes is N_Equal_Repeat_Seq, -- Boolean layer. + N_Paren_Bool, N_Not_Bool, N_And_Bool, N_Or_Bool, @@ -100,7 +102,7 @@ package PSL.Nodes is ); for Nkind'Size use 8; - subtype N_Booleans is Nkind range N_Not_Bool .. N_True; + subtype N_Booleans is Nkind range N_Paren_Bool .. N_True; subtype N_Sequences is Nkind range N_Braced_SERE .. N_Equal_Repeat_Seq; type PSL_Types is @@ -335,6 +337,10 @@ package PSL.Nodes is -- -- Get/Set_Right (Field2) + -- N_Paren_Prop (Short) + -- + -- Get/Set_Property (Field4) + -- N_Until (Short) -- N_Before (Short) -- @@ -378,6 +384,16 @@ package PSL.Nodes is -- -- Get/Set_Hash_Link (Field6) + -- N_Paren_Bool (Short) + -- + -- Get/Set_Presence (State1) + -- + -- Get/Set_Boolean (Field3) + -- + -- Get/Set_Hash (Field5) + -- + -- Get/Set_Hash_Link (Field6) + -- N_Not_Bool (Short) -- -- Get/Set_Presence (State1) |