Example parser for sentence from whitepaper

2 files changed, 305 insertions, 0 deletions

diff --git a/example/sentence.adb b/example/sentence.adb
new file mode 100644
index 0000000..d4a707f
--- /dev/null
+++ b/example/sentence.adb
@@ -0,0 +1,275 @@
+
+
+with
+
+    Ada.Text_IO,
+    Ada.Characters.Latin_1,
+    Ada.Strings.Maps,
+    Packrat.Text.Standard,
+    Packrat.Utilities;
+
+use
+
+    Ada.Text_IO;
+
+
+procedure Sentence is
+
+
+    package Latin renames Ada.Characters.Latin_1;
+
+
+
+
+    Input : String := "i saw a man in the park with a bat";
+
+
+
+
+    type Lexer_Labels is (Word, Whitespace);
+    type Parser_Labels is (S, NP, PP, VP, Det, Noun, Verb, Prep);
+
+
+    package My_Rat is new Packrat.Text.Standard (Lexer_Labels, Parser_Labels);
+
+
+
+
+    package Lexer_Parts is
+
+        function Word
+               (Input   : in     String;
+                Context : in out My_Rat.Lexers.Lexer_Context)
+            return My_Rat.Lexers.Component_Result;
+
+        function Whitespace
+               (Input   : in     String;
+                Context : in out My_Rat.Lexers.Lexer_Context)
+            return My_Rat.Lexers.Component_Result;
+
+    end Lexer_Parts;
+
+
+    package body Lexer_Parts is
+
+        function Sat_Alpha is new My_Rat.Lexers.Satisfy (Packrat.Utilities.Is_Letter);
+        function Many_Alpha is new My_Rat.Lexers.Many (Sat_Alpha, 1);
+        function Word_Inst is new My_Rat.Lexers.Stamp (Word, Many_Alpha);
+
+        function Sat_Blank is new My_Rat.Lexers.Satisfy (Packrat.Utilities.Is_Whitespace);
+        function Many_Blank is new My_Rat.Lexers.Many (Sat_Blank, 1);
+        function Whitespace_Inst is new My_Rat.Lexers.Ignore (Whitespace, Many_Blank);
+
+        function Word
+               (Input   : in     String;
+                Context : in out My_Rat.Lexers.Lexer_Context)
+            return My_Rat.Lexers.Component_Result renames Word_Inst;
+
+        function Whitespace
+               (Input   : in     String;
+                Context : in out My_Rat.Lexers.Lexer_Context)
+            return My_Rat.Lexers.Component_Result renames Whitespace_Inst;
+
+    end Lexer_Parts;
+
+
+    function Scanner is new My_Rat.Lexers.Scan_Only
+        ((Lexer_Parts.Word'Access, Lexer_Parts.Whitespace'Access));
+
+
+
+
+    package Parser_Parts is
+
+        function Prep
+               (Input   : in     My_Rat.Lexer_Traits.Tokens.Token_Array;
+                Context : in out My_Rat.Parsers.Parser_Context;
+                Start   : in     Positive)
+            return My_Rat.Parsers.Combinator_Result;
+
+        function Verb
+               (Input   : in     My_Rat.Lexer_Traits.Tokens.Token_Array;
+                Context : in out My_Rat.Parsers.Parser_Context;
+                Start   : in     Positive)
+            return My_Rat.Parsers.Combinator_Result;
+
+        function Noun
+               (Input   : in     My_Rat.Lexer_Traits.Tokens.Token_Array;
+                Context : in out My_Rat.Parsers.Parser_Context;
+                Start   : in     Positive)
+            return My_Rat.Parsers.Combinator_Result;
+
+        function Det
+               (Input   : in     My_Rat.Lexer_Traits.Tokens.Token_Array;
+                Context : in out My_Rat.Parsers.Parser_Context;
+                Start   : in     Positive)
+            return My_Rat.Parsers.Combinator_Result;
+
+        function VP
+               (Input   : in     My_Rat.Lexer_Traits.Tokens.Token_Array;
+                Context : in out My_Rat.Parsers.Parser_Context;
+                Start   : in     Positive)
+            return My_Rat.Parsers.Combinator_Result;
+
+        function PP
+               (Input   : in     My_Rat.Lexer_Traits.Tokens.Token_Array;
+                Context : in out My_Rat.Parsers.Parser_Context;
+                Start   : in     Positive)
+            return My_Rat.Parsers.Combinator_Result;
+
+        function NP
+               (Input   : in     My_Rat.Lexer_Traits.Tokens.Token_Array;
+                Context : in out My_Rat.Parsers.Parser_Context;
+                Start   : in     Positive)
+            return My_Rat.Parsers.Combinator_Result;
+
+        function S
+               (Input   : in     My_Rat.Lexer_Traits.Tokens.Token_Array;
+                Context : in out My_Rat.Parsers.Parser_Context;
+                Start   : in     Positive)
+            return My_Rat.Parsers.Combinator_Result;
+
+    end Parser_Parts;
+
+
+    package body Parser_Parts is
+
+        generic
+            Match : in String;
+        function Is_Value
+               (Element : in My_Rat.Lexer_Traits.Tokens.Token)
+            return Boolean;
+
+        function Is_Value
+               (Element : in My_Rat.Lexer_Traits.Tokens.Token)
+            return Boolean is
+        begin
+            return My_Rat.Lexer_Traits.Tokens.Value (Element) = Match;
+        end Is_Value;
+
+        function Is_I is new Is_Value ("i");
+        function Is_Saw is new Is_Value ("saw");
+        function Is_A is new Is_Value ("a");
+        function Is_Man is new Is_Value ("man");
+        function Is_In is new Is_Value ("in");
+        function Is_The is new Is_Value ("the");
+        function Is_Park is new Is_Value ("park");
+        function Is_With is new Is_Value ("with");
+        function Is_Bat is new Is_Value ("bat");
+
+        function Sat_In is new My_Rat.Parsers.Satisfy (Is_In);
+        function Sat_With is new My_Rat.Parsers.Satisfy (Is_With);
+        function Prep_Choice is new My_Rat.Parsers.Choice ((Sat_In'Access, Sat_With'Access));
+        function Prep_Inst is new My_Rat.Parsers.Stamp (Prep, Prep_Choice);
+
+        function Sat_Saw is new My_Rat.Parsers.Satisfy (Is_Saw);
+        function Verb_Inst is new My_Rat.Parsers.Stamp (Verb, Sat_Saw);
+
+        function Sat_I is new My_Rat.Parsers.Satisfy (Is_I);
+        function Sat_Man is new My_Rat.Parsers.Satisfy (Is_Man);
+        function Sat_Park is new My_Rat.Parsers.Satisfy (Is_Park);
+        function Sat_Bat is new My_Rat.Parsers.Satisfy (Is_Bat);
+        function Noun_Choice is new My_Rat.Parsers.Choice
+            ((Sat_I'Access, Sat_Man'Access, Sat_Park'Access, Sat_Bat'Access));
+        function Noun_Inst is new My_Rat.Parsers.Stamp (Noun, Noun_Choice);
+
+        function Sat_A is new My_Rat.Parsers.Satisfy (Is_A);
+        function Sat_The is new My_Rat.Parsers.Satisfy (Is_The);
+        function Det_Choice is new My_Rat.Parsers.Choice ((Sat_A'Access, Sat_The'Access));
+        function Det_Inst is new My_Rat.Parsers.Stamp (Det, Det_Choice);
+
+        function VP_Seq is new My_Rat.Parsers.Sequence ((Verb'Access, NP'Access));
+        function VP_Inst is new My_Rat.Parsers.Stamp (VP, VP_Seq);
+
+        function PP_Seq is new My_Rat.Parsers.Sequence ((Prep'Access, NP'Access));
+        function PP_Inst is new My_Rat.Parsers.Stamp (PP, PP_Seq);
+
+        function NP_Seq_1 is new My_Rat.Parsers.Sequence ((Det'Access, Noun'Access));
+        function NP_Seq_2 is new My_Rat.Parsers.Sequence ((NP'Access, PP'Access));
+        function NP_Choice is new My_Rat.Parsers.Choice
+            ((Noun'Access, NP_Seq_1'Access, NP_Seq_2'Access));
+        function NP_Inst is new My_Rat.Parsers.Stamp (NP, NP_Choice);
+
+        function S_Seq_1 is new My_Rat.Parsers.Sequence ((NP'Access, VP'Access));
+        function S_Seq_2 is new My_Rat.Parsers.Sequence ((S'Access, PP'Access));
+        function S_Choice is new My_Rat.Parsers.Choice ((S_Seq_1'Access, S_Seq_2'Access));
+        function S_Inst is new My_Rat.Parsers.Stamp (S, S_Choice);
+
+        function Prep
+               (Input   : in     My_Rat.Lexer_Traits.Tokens.Token_Array;
+                Context : in out My_Rat.Parsers.Parser_Context;
+                Start   : in     Positive)
+            return My_Rat.Parsers.Combinator_Result renames Prep_Inst;
+
+        function Verb
+               (Input   : in     My_Rat.Lexer_Traits.Tokens.Token_Array;
+                Context : in out My_Rat.Parsers.Parser_Context;
+                Start   : in     Positive)
+            return My_Rat.Parsers.Combinator_Result renames Verb_Inst;
+
+        function Noun
+               (Input   : in     My_Rat.Lexer_Traits.Tokens.Token_Array;
+                Context : in out My_Rat.Parsers.Parser_Context;
+                Start   : in     Positive)
+            return My_Rat.Parsers.Combinator_Result renames Noun_Inst;
+
+        function Det
+               (Input   : in     My_Rat.Lexer_Traits.Tokens.Token_Array;
+                Context : in out My_Rat.Parsers.Parser_Context;
+                Start   : in     Positive)
+            return My_Rat.Parsers.Combinator_Result renames Det_Inst;
+
+        function VP
+               (Input   : in     My_Rat.Lexer_Traits.Tokens.Token_Array;
+                Context : in out My_Rat.Parsers.Parser_Context;
+                Start   : in     Positive)
+            return My_Rat.Parsers.Combinator_Result renames VP_Inst;
+
+        function PP
+               (Input   : in     My_Rat.Lexer_Traits.Tokens.Token_Array;
+                Context : in out My_Rat.Parsers.Parser_Context;
+                Start   : in     Positive)
+            return My_Rat.Parsers.Combinator_Result renames PP_Inst;
+
+        function NP
+               (Input   : in     My_Rat.Lexer_Traits.Tokens.Token_Array;
+                Context : in out My_Rat.Parsers.Parser_Context;
+                Start   : in     Positive)
+            return My_Rat.Parsers.Combinator_Result renames NP_Inst;
+
+        function S
+               (Input   : in     My_Rat.Lexer_Traits.Tokens.Token_Array;
+                Context : in out My_Rat.Parsers.Parser_Context;
+                Start   : in     Positive)
+            return My_Rat.Parsers.Combinator_Result renames S_Inst;
+
+    end Parser_Parts;
+
+
+    function Parser is new My_Rat.Parsers.Parse_Only (Parser_Parts.S);
+
+
+
+
+    My_Lexer_Context : My_Rat.Lexers.Lexer_Context :=
+        My_Rat.Lexers.Empty_Context;
+    My_Parser_Context : My_Rat.Parsers.Parser_Context :=
+        My_Rat.Parsers.Empty_Context;
+
+    Lexed_Tokens : My_Rat.Lexer_Result := Scanner (Input, My_Lexer_Context);
+    Result_Graph : My_Rat.Parser_Result := Parser (Lexed_Tokens, My_Parser_Context);
+
+
+begin
+
+
+    Put_Line ("Input:" & Input);
+    New_Line;
+
+    Put_Line ("Output:");
+    Put_Line (My_Rat.Parse_Graphs.Debug_String (Result_Graph));
+
+
+end Sentence;
+
+
diff --git a/examples.gpr b/examples.gpr
new file mode 100644
index 0000000..1921d31
--- /dev/null
+++ b/examples.gpr
@@ -0,0 +1,30 @@
+
+
+with "packrat";
+
+
+project Examples is
+
+
+    for Languages use ("Ada");
+
+
+    for Source_Dirs use ("example/**");
+    for Object_Dir use "obj";
+    for Exec_Dir use "bin";
+    for Main use ("sentence.adb");
+
+
+    package Builder is
+        for Executable("sentence.adb") use "sentence";
+    end Builder;
+
+
+    package Compiler is
+        for Default_Switches("Ada") use ("-gnaty4aAbcefhiklM100nprt");
+    end Compiler;
+
+
+end Examples;
+
+