diff options
author | Jed Barber <jjbarber@y7mail.com> | 2020-11-28 14:24:02 +1100 |
---|---|---|
committer | Jed Barber <jjbarber@y7mail.com> | 2020-11-28 14:24:02 +1100 |
commit | 6c296b5615699eac0fb569b5cfe29e96986904a5 (patch) | |
tree | 757659eb8504e0f85012dc652f5ea697aa35f7e8 /src/packrat.ads | |
parent | b2bcd79d78276289fab3406280c787277476b357 (diff) |
Skeleton of Packrat.Parsers
Diffstat (limited to 'src/packrat.ads')
-rw-r--r-- | src/packrat.ads | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/src/packrat.ads b/src/packrat.ads index 7f124e1..e61fbc9 100644 --- a/src/packrat.ads +++ b/src/packrat.ads @@ -29,6 +29,17 @@ private renames Ada.Strings.Unbounded.To_String; + + + generic + type Base_Type is private; + type Array_Type is array (Positive range <>) of Base_Type; + with function "<" (Left, Right : in Base_Type) return Boolean is <>; + function Array_Less_Than + (Left, Right : in Array_Type) + return Boolean; + + end Packrat; |