diff options
author | Jed Barber <jjbarber@y7mail.com> | 2019-01-14 23:31:07 +1100 |
---|---|---|
committer | Jed Barber <jjbarber@y7mail.com> | 2019-01-14 23:31:07 +1100 |
commit | b60f27407c20344f5d48fa7d6f3efe5f9d4e87fb (patch) | |
tree | 228f75e20799813eed1f17adf21bafee32283697 /test/packrat-lexer-debug.ads | |
parent | 5a01394fadfe73cc9bfdc3576a58ac3cd4dcb1f2 (diff) |
Tests added for Stamp and Ignore procedures in Packrat.Lexer
Diffstat (limited to 'test/packrat-lexer-debug.ads')
-rw-r--r-- | test/packrat-lexer-debug.ads | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/test/packrat-lexer-debug.ads b/test/packrat-lexer-debug.ads index e68d6f4..77614aa 100644 --- a/test/packrat-lexer-debug.ads +++ b/test/packrat-lexer-debug.ads @@ -33,7 +33,7 @@ package Packrat.Lexer.Debug is - type Token_Vector is private; + type Token_Vector is tagged private; function So_Far (This : in Lexer_Context) @@ -51,6 +51,15 @@ package Packrat.Lexer.Debug is (This : in Lexer_Context) return access Element_Array; + function Length + (Vec : in Token_Vector) + return Natural; + + function Element + (Vec : in Token_Vector; + Dex : in Positive) + return Gen_Tokens.Token; + private |