From b2bcd79d78276289fab3406280c787277476b357 Mon Sep 17 00:00:00 2001 From: Jed Barber Date: Sat, 14 Nov 2020 00:35:45 +1100 Subject: Changed No_Loops_Introduced to Loops_Introduced --- src/packrat-parse_graphs.ads | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/packrat-parse_graphs.ads') diff --git a/src/packrat-parse_graphs.ads b/src/packrat-parse_graphs.ads index 595c695..fc5861d 100644 --- a/src/packrat-parse_graphs.ads +++ b/src/packrat-parse_graphs.ads @@ -137,7 +137,7 @@ package Packrat.Parse_Graphs is return Boolean with Pre => Subtokens'Length > 0; - function No_Loops_Introduced + function Loops_Introduced (Container : in Parse_Graph; Parent : in Finished_Token; Subtokens : in Finished_Token_Array) @@ -183,7 +183,7 @@ package Packrat.Parse_Graphs is Subtokens : in Finished_Token_Array) with Pre => Subtokens'Length > 0 and Valid_Starts_Finishes (Parent, Subtokens) and - Container.No_Loops_Introduced (Parent, Subtokens); + not Container.Loops_Introduced (Parent, Subtokens); procedure Prune (Container : in out Parse_Graph; -- cgit