diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/packrat-parse_graphs.adb | 8 | ||||
| -rw-r--r-- | src/packrat-parse_graphs.ads | 4 |
2 files changed, 6 insertions, 6 deletions
diff --git a/src/packrat-parse_graphs.adb b/src/packrat-parse_graphs.adb index c44500f..ef425d7 100644 --- a/src/packrat-parse_graphs.adb +++ b/src/packrat-parse_graphs.adb @@ -439,7 +439,7 @@ package body Packrat.Parse_Graphs is end Valid_Starts_Finishes; - function No_Loops_Introduced + function Loops_Introduced (Container : in Parse_Graph; Parent : in Finished_Token; Subtokens : in Finished_Token_Array) @@ -461,9 +461,9 @@ package body Packrat.Parse_Graphs is end if; end Looper; begin - return not Container.Contains (Parent.Token) or else - (for all Sub of Subtokens => not Looper (Sub)); - end No_Loops_Introduced; + return Container.Contains (Parent.Token) and then + (for some Sub of Subtokens => Looper (Sub)); + end Loops_Introduced; function Is_Sorted 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; |