Packrat.Lexer.Combinators specification

1 files changed, 30 insertions, 0 deletions

diff --git a/src/packrat-lexer.ads b/src/packrat-lexer.ads
new file mode 100644
index 0000000..611a407
--- /dev/null
+++ b/src/packrat-lexer.ads
@@ -0,0 +1,30 @@
+
+
+generic
+
+    type Label_Enum is (<>);
+    type Element is private;
+    type Element_Array is array (Positive range <>) of Element;
+
+    with package Gen_Tokens is new Tokens (Label_Enum, Element, Element_Array);
+
+package Packrat.Lexer is
+
+
+    type Combinator is access function
+           (Input  : in     Element_Array;
+            Start  : in     Positive;
+            Length :    out Natural;
+            Value  :    out Element_Array)
+        return Result;
+
+
+    type Combinator_Array is array (Positive range <>) of Combinator;
+
+
+private
+
+
+end Packrat.Lexer;
+
+