From dc3078a06b5ee52751cfb6fd6cf13b3790632ac4 Mon Sep 17 00:00:00 2001 From: Jed Barber Date: Sat, 12 Jan 2019 00:38:45 +1100 Subject: Packrat.Lexer.Combinators specs and tests complete --- src/packrat-lexer.ads | 14 +++++++++----- 1 file changed, 9 insertions(+), 5 deletions(-) (limited to 'src/packrat-lexer.ads') 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 -- cgit