1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
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;
|
