diff options
author | Jed Barber <jjbarber@y7mail.com> | 2020-11-14 00:35:45 +1100 |
---|---|---|
committer | Jed Barber <jjbarber@y7mail.com> | 2020-11-14 00:35:45 +1100 |
commit | b2bcd79d78276289fab3406280c787277476b357 (patch) | |
tree | aade7944ae50d99ebd188e15ad4a2298582ab971 /src/packrat-parse_graphs.ads | |
parent | f8869a5efae197a77b238576a6863a3e1459399d (diff) |
Changed No_Loops_Introduced to Loops_Introduced
Diffstat (limited to 'src/packrat-parse_graphs.ads')
-rw-r--r-- | src/packrat-parse_graphs.ads | 4 |
1 files changed, 2 insertions, 2 deletions
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; |