diff options
author | Jed Barber <jjbarber@y7mail.com> | 2019-01-12 00:38:45 +1100 |
---|---|---|
committer | Jed Barber <jjbarber@y7mail.com> | 2019-01-12 00:38:45 +1100 |
commit | dc3078a06b5ee52751cfb6fd6cf13b3790632ac4 (patch) | |
tree | 25187b953479f943947e919b7acc1f4a3ca41fe6 /src/packrat-lexer.ads | |
parent | 554d2ab14921c48d628b0ffa86cc7492836477ac (diff) |
Packrat.Lexer.Combinators specs and tests complete
Diffstat (limited to 'src/packrat-lexer.ads')
-rw-r--r-- | src/packrat-lexer.ads | 14 |
1 files changed, 9 insertions, 5 deletions
diff --git a/src/packrat-lexer.ads b/src/packrat-lexer.ads index 81c9d2a..ef08cb5 100644 --- a/src/packrat-lexer.ads +++ b/src/packrat-lexer.ads @@ -11,11 +11,11 @@ generic package Packrat.Lexer is - type Combinator_Result is private; + type Combinator_Result is new Ada.Finalization.Controlled with private; type Combinator is access function - (Input : in Element_Array; - Start : in Positive) + (Input : in Element_Array; + Start : in Positive) return Combinator_Result; type Combinator_Array is array (Positive range <>) of Combinator; @@ -34,10 +34,14 @@ package Packrat.Lexer is (Left, Right : in Combinator_Result) return Combinator_Result; - function Is_Failure - (This : in Combinator_Result) + function "=" + (Left, Right : in Combinator_Result) return Boolean; + function Status + (This : in Combinator_Result) + return Result_Status; + private |