diff options
author | Jed Barber <jjbarber@y7mail.com> | 2020-12-12 17:12:21 +1100 |
---|---|---|
committer | Jed Barber <jjbarber@y7mail.com> | 2020-12-12 17:12:21 +1100 |
commit | 8834bc154280e443aeac618eb433e365d82253c6 (patch) | |
tree | 099d74110f4b2ade9ff813c59d7e2b5570732ae4 /src/packrat-parse_graphs.ads | |
parent | 2adeae8eb1bc8437b392bed07f1858363f95ab8a (diff) |
Duplicate subgroup bug fixed, finally
Diffstat (limited to 'src/packrat-parse_graphs.ads')
-rw-r--r-- | src/packrat-parse_graphs.ads | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/packrat-parse_graphs.ads b/src/packrat-parse_graphs.ads index 7d14652..e13bfc7 100644 --- a/src/packrat-parse_graphs.ads +++ b/src/packrat-parse_graphs.ads @@ -83,6 +83,12 @@ package Packrat.Parse_Graphs is Grouping : in Token_Group) return Boolean; + function Contains + (Container : in Parse_Graph; + Parent : in Traits.Tokens.Finished_Token_Type; + Subtokens : in Traits.Tokens.Finished_Token_Array) + return Boolean; + function Reachable (Container : in Parse_Graph; Position : in Traits.Tokens.Finished_Token_Type) |