Packrat.Lexer.Combinators specification

1 files changed, 190 insertions, 0 deletions

diff --git a/src/packrat-lexer-combinators.adb b/src/packrat-lexer-combinators.adb
new file mode 100644
index 0000000..ef53bb1
--- /dev/null
+++ b/src/packrat-lexer-combinators.adb
@@ -0,0 +1,190 @@
+
+
+package body Packrat.Lexer.Combinators is
+
+
+    function Sequence
+           (Input  : in     Element_Array;
+            Start  : in     Positive;
+            Length :    out Natural;
+            Value  :    out Element_Array)
+        return Result is
+    begin
+        return Failure;
+    end Sequence;
+
+
+    function Count
+           (Input  : in     Element_Array;
+            Start  : in     Positive;
+            Length :    out Natural;
+            Value  :    out Element_Array)
+        return Result is
+    begin
+        return Failure;
+    end Count;
+
+
+    function Many
+           (Input  : in     Element_Array;
+            Start  : in     Positive;
+            Length :    out Natural;
+            Value  :    out Element_Array)
+        return Result is
+    begin
+        return Failure;
+    end Many;
+
+
+    function Many_Until
+           (Input  : in     Element_Array;
+            Start  : in     Positive;
+            Length :    out Natural;
+            Value  :    out Element_Array)
+        return Result is
+    begin
+        return Failure;
+    end Many_Until;
+
+
+
+
+
+    function Satisfy
+           (Input  : in     Element_Array;
+            Start  : in     Positive;
+            Length :    out Natural;
+            Value  :    out Element_Array)
+        return Result is
+    begin
+        return Failure;
+    end Satisfy;
+
+
+    function Satisfy_With
+           (Input  : in     Element_Array;
+            Start  : in     Positive;
+            Length :    out Natural;
+            Value  :    out Element_Array)
+        return Result is
+    begin
+        return Failure;
+    end Satisfy_With;
+
+
+    function Match
+           (Input  : in     Element_Array;
+            Start  : in     Positive;
+            Length :    out Natural;
+            Value  :    out Element_Array)
+        return Result is
+    begin
+        return Failure;
+    end Match;
+
+
+    function Match_With
+           (Input  : in     Element_Array;
+            Start  : in     Positive;
+            Length :    out Natural;
+            Value  :    out Element_Array)
+        return Result is
+    begin
+        return Failure;
+    end Match_With;
+
+
+    function Multimatch
+           (Input  : in     Element_Array;
+            Start  : in     Positive;
+            Length :    out Natural;
+            Value  :    out Element_Array)
+        return Result is
+    begin
+        return Failure;
+    end Multimatch;
+
+
+    function Take
+           (Input  : in     Element_Array;
+            Start  : in     Positive;
+            Length :    out Natural;
+            Value  :    out Element_Array)
+        return Result is
+    begin
+        return Failure;
+    end Take;
+
+
+    function Take_While
+           (Input  : in     Element_Array;
+            Start  : in     Positive;
+            Length :    out Natural;
+            Value  :    out Element_Array)
+        return Result is
+    begin
+        return Failure;
+    end Take_While;
+
+
+    function Take_Until
+           (Input  : in     Element_Array;
+            Start  : in     Positive;
+            Length :    out Natural;
+            Value  :    out Element_Array)
+        return Result is
+    begin
+        return Failure;
+    end Take_Until;
+
+
+
+
+
+    function Start_Of_Line
+           (Input  : in     Element_Array;
+            Start  : in     Positive;
+            Length :    out Natural;
+            Value  :    out Element_Array)
+        return Result is
+    begin
+        return Failure;
+    end Start_Of_Line;
+
+
+    function End_Of_Line
+           (Input  : in     Element_Array;
+            Start  : in     Positive;
+            Length :    out Natural;
+            Value  :    out Element_Array)
+        return Result is
+    begin
+        return Failure;
+    end End_Of_Line;
+
+
+    function Start_Of_Input
+           (Input  : in     Element_Array;
+            Start  : in     Positive;
+            Length :    out Natural;
+            Value  :    out Element_Array)
+        return Result is
+    begin
+        return Failure;
+    end Start_Of_Input;
+
+
+    function End_Of_Input
+           (Input  : in     Element_Array;
+            Start  : in     Positive;
+            Length :    out Natural;
+            Value  :    out Element_Array)
+        return Result is
+    begin
+        return Failure;
+    end End_Of_Input;
+
+
+end Packrat.Lexer.Combinators;
+
+