From 337a6217732217b537f2459451f4c563bc651cc8 Mon Sep 17 00:00:00 2001
From: Jed Barber <jjbarber@y7mail.com>
Date: Thu, 3 Dec 2020 16:42:44 +1100
Subject: Instantiation packages for text parsing

---
 src/packrat-text-standard.ads | 48 +++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 48 insertions(+)
 create mode 100644 src/packrat-text-standard.ads

(limited to 'src/packrat-text-standard.ads')

diff --git a/src/packrat-text-standard.ads b/src/packrat-text-standard.ads
new file mode 100644
index 0000000..6e70431
--- /dev/null
+++ b/src/packrat-text-standard.ads
@@ -0,0 +1,48 @@
+
+
+with
+
+    Packrat.Traits,
+    Packrat.Lexers,
+    Packrat.Parse_Graphs,
+    Packrat.Parsers;
+
+
+generic
+
+    type Lexer_Labels is (<>);
+    type Parser_Labels is (<>);
+
+package Packrat.Text.Standard is
+
+
+    package Lexer_Traits is new Packrat.Traits
+       (Label_Enum    => Lexer_Labels,
+        Element_Type  => Character,
+        Element_Array => String);
+
+    package Lexers is new Packrat.Lexers
+       (Traits => Lexer_Traits);
+
+    subtype Lexer_Result is Lexer_Traits.Tokens.Token_Array;
+
+
+    package Parser_Traits is new Packrat.Traits
+       (Label_Enum    => Parser_Labels,
+        Element_Type  => Lexer_Traits.Tokens.Token,
+        Element_Array => Lexer_Traits.Tokens.Token_Array,
+        "<"           => Lexer_Traits.Tokens."<");
+
+    package Parse_Graphs is new Packrat.Parse_Graphs
+       (Traits => Parser_Traits);
+
+    package Parsers is new Packrat.Parsers
+       (Traits => Parser_Traits,
+        Graphs => Parse_Graphs);
+
+    subtype Parser_Result is Parse_Graphs.Parse_Graph;
+
+
+end Packrat.Text.Standard;
+
+
-- 
cgit