diff options
Diffstat (limited to 'src/psl')
| -rw-r--r-- | src/psl/psl-nodes.adb | 11 | ||||
| -rw-r--r-- | src/psl/psl-nodes.ads | 2 |
2 files changed, 11 insertions, 2 deletions
diff --git a/src/psl/psl-nodes.adb b/src/psl/psl-nodes.adb index 3b3dac4be..d3a0d9320 100644 --- a/src/psl/psl-nodes.adb +++ b/src/psl/psl-nodes.adb @@ -304,23 +304,32 @@ package body PSL.Nodes is Errors.Error_Kind (Msg, N); end Failed; - procedure Init is + procedure Init (Loc : Location_Type) is begin + pragma Assert (Loc /= No_Location); Nodet.Init; + if Create_Node (N_False) /= False_Node then raise Internal_Error; end if; + Set_Location (False_Node, Loc); + if Create_Node (N_True) /= True_Node then raise Internal_Error; end if; + Set_Location (True_Node, Loc); + if Create_Node (N_Number) /= One_Node then raise Internal_Error; end if; Set_Value (One_Node, 1); + Set_Location (One_Node, Loc); + if Create_Node (N_EOS) /= EOS_Node then raise Internal_Error; end if; Set_Hash (EOS_Node, 0); + Set_Location (EOS_Node, Loc); PSL.Hash.Init; end Init; diff --git a/src/psl/psl-nodes.ads b/src/psl/psl-nodes.ads index eb0ad4cb3..9418ae78a 100644 --- a/src/psl/psl-nodes.ads +++ b/src/psl/psl-nodes.ads @@ -460,7 +460,7 @@ package PSL.Nodes is -- General methods. - procedure Init; + procedure Init (Loc : Location_Type); -- Get the number of the last node. -- To be used to size lateral tables. |