grammar.apg2.html
235 KB
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
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
<html><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<style>
p { text-align: justify; width: 600px; }
.dropdown { position: relative;
display: inline-block; }
.drp-content { display: none;
position: fixed;
bottom: 10px;
right: 10px;
background-color: #ffccdd;
max-width: 500px;
box-shadow: 0px 16px 16px 0px rgba(0,0,0,0.6);
padding: 0px 6px;
z-index: 0; }
.dropdown:hover .drp-content { display: block;
z-index: 2; }
.popup { position: relative;
display: inline-block; }
.popup-content { display: none;
position: absolute;
background-color: #ffffff;
box-shadow: 0px 16px 16px 0px rgba(0,0,0,0.6);
padding: 0px 0px;
z-index: 0; }
.popup:hover .popup-content { display: block;
z-index: 2; }
</style>
</head><body><center><table style="width: 600px; font-size:12px;"><tr><td><div style="text-align: justify; text-justify: inter-word; width: 600px; line-height: 17px; ">
<div style="text-align: center; color: inherit; font-size: inherit;"><span style="font-size: 120%;">The <span style="font-style: normal;"><strong><span style="display: inline; color: rgb(110,000,000)">Op</span><span style="display: inline; color: rgb(000,000,128)">Lang</span></strong></span> Source Code</span></div><div align="center"> </div>
<div style="text-align: center; color: inherit; font-size: inherit;"><span style="font-size: 120%;"><span style="font-size: 120%;"><span style="font-size: 120%;"><strong>The <span style="font-style: normal;"><strong><span style="display: inline; color: rgb(110,000,000)">Op</span><span style="display: inline; color: rgb(000,000,128)">Lang</span></strong></span> grammar</strong></span></span></span></div>
<div style="position:fixed; display:block; left:0px; bottom:50px;"><div style="transform-origin: top left; transform: rotate(270deg); background-color: #aaccff; z-index: 3;font-size:10px; padding: 6px 6px 6px 6px;"><span style="display: inline; color: rgb(0,100,0)"><strong><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;">grammar.apg2</span></strong></span></div></div> <br><br> The <span style="font-style: normal;"><strong><span style="display: inline; color: rgb(110,000,000)">Op</span><span style="display: inline; color: rgb(000,000,128)">Lang</span></strong></span> grammar is described in the file <span style="display: inline; color: rgb(0,100,0)"><strong><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;">grammar.apg2</span></strong></span>. See the
<a href="../APG/apg2_user_doc.maml.html"><span style="font-style: normal;"><strong><span style="display: inline; color: rgb(100,100,0)">A</span><span style="display: inline; color: rgb(0,100,100)">P</span><span style="display: inline; color: rgb(100,0,100)">G</span><span style="display: inline; color: rgb(0,0,220)"><sub>2</sub></span></strong></span> user documentation</a> for
explanations on the <span style="font-style: normal;"><strong><span style="display: inline; color: rgb(100,100,0)">A</span><span style="display: inline; color: rgb(0,100,100)">P</span><span style="display: inline; color: rgb(100,0,100)">G</span><span style="display: inline; color: rgb(0,0,220)"><sub>2</sub></span></strong></span> file format.
<br><br> <a rel="tag" href="#sec1"><strong>1. <span style="font-style: normal;"><strong><span style="display: inline; color: rgb(100,100,0)">A</span><span style="display: inline; color: rgb(0,100,100)">P</span><span style="display: inline; color: rgb(100,0,100)">G</span><span style="display: inline; color: rgb(0,0,220)"><sub>2</sub></span></strong></span> requirements</strong><br /></a><a rel="tag" href="#subsec1_1"><div align="left" style="display: inline-block; width: 20px;"></div>1.1. The type <span style="font-style: normal;"><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;"><strong><span style="display: inline; color: rgb(0,100,180)">Extra_oplang</span></strong></span></span><br /></a><a rel="tag" href="#subsec1_2"><div align="left" style="display: inline-block; width: 20px;"></div>1.2. <span style="font-style: normal;"><strong><span style="display: inline; color: rgb(100,100,0)">A</span><span style="display: inline; color: rgb(0,100,100)">P</span><span style="display: inline; color: rgb(100,0,100)">G</span><span style="display: inline; color: rgb(0,0,220)"><sub>2</sub></span></strong></span> semantic errors (<span style="font-style: normal;"><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;"><strong><span style="display: inline; color: rgb(0,100,180)">SError_oplang</span></strong></span></span>)<br /></a><a rel="tag" href="#subsec1_3"><div align="left" style="display: inline-block; width: 20px;"></div>1.3. Recording the name of the <span style="font-style: normal;"><strong><span style="display: inline; color: rgb(110,000,000)">Op</span><span style="display: inline; color: rgb(000,000,128)">Lang</span></strong></span> program<br /></a><a rel="tag" href="#subsec1_4"><div align="left" style="display: inline-block; width: 20px;"></div>1.4. Checking the typing relation<br /></a><a rel="tag" href="#subsec1_5"><div align="left" style="display: inline-block; width: 20px;"></div>1.5. Recording the typing relation<br /></a><a rel="tag" href="#subsec1_6"><div align="left" style="display: inline-block; width: 20px;"></div>1.6. Recording the declaration of an operator<br /></a><a rel="tag" href="#subsec1_7"><div align="left" style="display: inline-block; width: 20px;"></div>1.7. Reading a level<br /></a><a rel="tag" href="#sec2"><strong>2. The lexers</strong><br /></a><a rel="tag" href="#subsec2_1"><div align="left" style="display: inline-block; width: 20px;"></div>2.1. The <span style="font-style: normal;"><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;"><span style="display: inline; color: rgb(180,0,0)">default</span></span></span> lexer<br /></a><a rel="tag" href="#subsec2_2"><div align="left" style="display: inline-block; width: 20px;"></div>2.2. The <span style="font-style: normal;"><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;"><span style="display: inline; color: rgb(180,0,0)">in</span></span></span> lexer<br /></a><a rel="tag" href="#subsec2_3"><div align="left" style="display: inline-block; width: 20px;"></div>2.3. The <span style="font-style: normal;"><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;"><span style="display: inline; color: rgb(180,0,0)">balanced</span></span></span> lexer<br /></a><a rel="tag" href="#subsec2_4"><div align="left" style="display: inline-block; width: 20px;"></div>2.4. The <span style="font-style: normal;"><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;"><span style="display: inline; color: rgb(180,0,0)">verbatim</span></span></span> lexer<br /></a><a rel="tag" href="#sec3"><strong>3. <span style="font-style: normal;"><strong><span style="display: inline; color: rgb(100,100,0)">A</span><span style="display: inline; color: rgb(0,100,100)">P</span><span style="display: inline; color: rgb(100,0,100)">G</span><span style="display: inline; color: rgb(0,0,220)"><sub>2</sub></span></strong></span> declarations</strong><br /></a><a rel="tag" href="#subsec3_1"><div align="left" style="display: inline-block; width: 20px;"></div>3.1. Declaring types of non terminals<br /></a><a rel="tag" href="#subsec3_2"><div align="left" style="display: inline-block; width: 20px;"></div>3.2. Precedence levels and association modes<br /></a><a rel="tag" href="#sec4"><strong>4. The grammar rules</strong><br /></a><a rel="tag" href="#subsec4_1"><div align="left" style="display: inline-block; width: 20px;"></div>4.1. The overall <span style="font-style: normal;"><strong><span style="display: inline; color: rgb(110,000,000)">Op</span><span style="display: inline; color: rgb(000,000,128)">Lang</span></strong></span> text<br /></a><a rel="tag" href="#subsec4_2"><div align="left" style="display: inline-block; width: 20px;"></div>4.2. Preambule and postambule<br /></a><a rel="tag" href="#subsec4_3"><div align="left" style="display: inline-block; width: 20px;"></div>4.3. Balanced <span style="font-style: normal;"><strong><span style="display: inline; color: rgb(110,000,000)">Anubis</span></strong></span> expressions<br /></a><a rel="tag" href="#subsec4_4"><div align="left" style="display: inline-block; width: 20px;"></div>4.4. <span style="font-style: normal;"><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;"><strong><span style="display: inline; color: rgb(200,0,120)">name</span></strong></span></span><br /></a><a rel="tag" href="#subsec4_5"><div align="left" style="display: inline-block; width: 20px;"></div>4.5. <span style="font-style: normal;"><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;"><strong><span style="display: inline; color: rgb(200,0,120)">typing</span></strong></span></span><br /></a><a rel="tag" href="#subsec4_6"><div align="left" style="display: inline-block; width: 20px;"></div>4.6. <span style="font-style: normal;"><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;"><strong><span style="display: inline; color: rgb(200,0,120)">primitive</span></strong></span></span> and <span style="font-style: normal;"><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;"><strong><span style="display: inline; color: rgb(200,0,120)">definable</span></strong></span></span><br /></a><a rel="tag" href="#subsec4_7"><div align="left" style="display: inline-block; width: 20px;"></div>4.7. Judgment contexts<br /></a><a rel="tag" href="#subsec4_8"><div align="left" style="display: inline-block; width: 20px;"></div>4.8. Judgment expressions<br /></a><a rel="tag" href="#subsec4_9"><div align="left" style="display: inline-block; width: 20px;"></div>4.9. Levels<br /></a><a rel="tag" href="#subsec4_10"><div align="left" style="display: inline-block; width: 20px;"></div>4.10. Judgments<br /></a><a rel="tag" href="#subsec4_11"><div align="left" style="display: inline-block; width: 20px;"></div>4.11. First names<br /></a><a rel="tag" href="#subsec4_12"><div align="left" style="display: inline-block; width: 20px;"></div>4.12. <span style="font-style: normal;"><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;"><strong><span style="display: inline; color: rgb(200,0,120)">rewrite</span></strong></span></span><br /></a><a rel="tag" href="#subsec4_13"><div align="left" style="display: inline-block; width: 20px;"></div>4.13. <span style="font-style: normal;"><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;"><strong><span style="display: inline; color: rgb(200,0,120)">unify</span></strong> <strong><span style="display: inline; color: rgb(200,0,120)">with</span></strong></span></span><br /></a><a rel="tag" href="#sec5"><strong>5. The (<span style="font-style: normal;"><strong><span style="display: inline; color: rgb(100,100,0)">A</span><span style="display: inline; color: rgb(0,100,100)">P</span><span style="display: inline; color: rgb(100,0,100)">G</span><span style="display: inline; color: rgb(0,0,220)"><sub>2</sub></span></strong></span>) postambule</strong><br /></a><a rel="tag" href="#subsec5_1"><div align="left" style="display: inline-block; width: 20px;"></div>5.1. Formating lexical errors<br /></a><a rel="tag" href="#subsec5_2"><div align="left" style="display: inline-block; width: 20px;"></div>5.2. Formating syntax errors<br /></a><br><br> The beginning of the preambule of an <span style="font-style: normal;"><strong><span style="display: inline; color: rgb(100,100,0)">A</span><span style="display: inline; color: rgb(0,100,100)">P</span><span style="display: inline; color: rgb(100,0,100)">G</span><span style="display: inline; color: rgb(0,0,220)"><sub>2</sub></span></strong></span> file is marked by:
<pre style="color: inherit; font-size: inherit; background-color: rgb(240,240,220); width: inherit;"><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
#APG2
</span></strong><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><br /><div align="left" style="display: inline-block; width: 8px;"></div><span style="display: inline; color: rgb(0,100,0)"><strong><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;">grammar.apg2</span></strong></span> line 19</pre>
Of course, we need the weak <span style="font-style: normal;"><strong><span style="display: inline; color: rgb(110,000,000)">Op</span><span style="display: inline; color: rgb(000,000,128)">Lang</span></strong></span> types and some tools.
<pre style="color: inherit; font-size: inherit; background-color: rgb(240,235,225); width: inherit;"><span style="display: inline; color: rgb(0,100,0)"> </span>
<strong><span style="display: inline; color: rgb(200,0,120)">read</span></strong> <strong><span style="display: inline; color: rgb(200,0,120)">..</span></strong>/<strong><span style="display: inline; color: rgb(200,0,120)">weak</span></strong>_<strong><span style="display: inline; color: rgb(200,0,120)">types.anubis</span></strong>
<span style="display: inline; color: rgb(0,100,0)"> </span><br /><div align="left" style="display: inline-block; width: 8px;"></div><span style="display: inline; color: rgb(0,100,0)"><strong><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;">grammar.apg2</span></strong></span> line 23</pre><br><br>
<a id="sec1"></a><div align="center"> </div><span style="font-size: 120%;"><span style="font-size: 120%;"><strong>1. <span style="font-style: normal;"><strong><span style="display: inline; color: rgb(100,100,0)">A</span><span style="display: inline; color: rgb(0,100,100)">P</span><span style="display: inline; color: rgb(100,0,100)">G</span><span style="display: inline; color: rgb(0,0,220)"><sub>2</sub></span></strong></span> requirements</strong></span></span><div align="center"> </div>
<a id="subsec1_1"></a><span style="font-size: 120%;"><strong>1.1. The type <span style="font-style: normal;"><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;"><strong><span style="display: inline; color: rgb(0,100,180)">Extra_oplang</span></strong></span></span></strong></span><div align="center"> </div>
The line below is for complying with <span style="font-style: normal;"><strong><span style="display: inline; color: rgb(100,100,0)">A</span><span style="display: inline; color: rgb(0,100,100)">P</span><span style="display: inline; color: rgb(100,0,100)">G</span><span style="display: inline; color: rgb(0,0,220)"><sub>2</sub></span></strong></span> requirements. Indeed, the type
<span style="font-style: normal;"><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;"><strong><span style="display: inline; color: rgb(0,100,180)">WMain</span></strong></span></span> is the type of the <em><span style="display: inline; color: rgb(160,032,240)">extra datum</span></em> as defined by <span style="font-style: normal;"><strong><span style="display: inline; color: rgb(100,100,0)">A</span><span style="display: inline; color: rgb(0,100,100)">P</span><span style="display: inline; color: rgb(100,0,100)">G</span><span style="display: inline; color: rgb(0,0,220)"><sub>2</sub></span></strong></span>.
<pre style="color: inherit; font-size: inherit; background-color: rgb(240,235,225); width: inherit;"><span style="display: inline; color: rgb(0,100,0)"> </span>
<strong><span style="display: inline; color: rgb(200,0,120)">type</span></strong> <strong><span style="display: inline; color: rgb(200,0,120)">alias</span></strong> <strong><span style="display: inline; color: rgb(0,100,180)">Extra_oplang_parser</span></strong> = <strong><span style="display: inline; color: rgb(0,100,180)">WMain</span></strong>.<span style="display: inline; color: rgb(0,100,0)"> </span>
<span style="display: inline; color: rgb(0,100,0)"> </span><br /><div align="left" style="display: inline-block; width: 8px;"></div><span style="display: inline; color: rgb(0,100,0)"><strong><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;">grammar.apg2</span></strong></span> line 32</pre><br><br> <a id="subsec1_2"></a><span style="font-size: 120%;"><strong>1.2. <span style="font-style: normal;"><strong><span style="display: inline; color: rgb(100,100,0)">A</span><span style="display: inline; color: rgb(0,100,100)">P</span><span style="display: inline; color: rgb(100,0,100)">G</span><span style="display: inline; color: rgb(0,0,220)"><sub>2</sub></span></strong></span> semantic errors (<span style="font-style: normal;"><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;"><strong><span style="display: inline; color: rgb(0,100,180)">SError_oplang</span></strong></span></span>)</strong></span><div align="center"> </div>
Semantic errors (from the point of view of <span style="font-style: normal;"><strong><span style="display: inline; color: rgb(100,100,0)">A</span><span style="display: inline; color: rgb(0,100,100)">P</span><span style="display: inline; color: rgb(100,0,100)">G</span><span style="display: inline; color: rgb(0,0,220)"><sub>2</sub></span></strong></span>).
<pre style="color: inherit; font-size: inherit; background-color: rgb(240,235,225); width: inherit;"><span style="display: inline; color: rgb(0,100,0)"> </span>
<strong><span style="display: inline; color: rgb(200,0,120)">type</span></strong> <strong><span style="display: inline; color: rgb(0,100,180)">SError_oplang_parser</span></strong>:
<span style="display: inline; color: rgb(0,100,0)">//</span><span style="display: inline; color: rgb(0,100,0)"> a layer appears twice in the typing relation</span>
<span style="display: inline; color: rgb(180,0,0)">wrong_typing</span>(<strong><span style="display: inline; color: rgb(0,100,180)">String</span></strong> <span style="display: inline; color: rgb(180,0,0)">name</span>)
<span style="display: inline; color: rgb(0,100,0)">// the </span><span style="font-style: normal;"><strong><span style="display: inline; color: rgb(110,000,000)">Op</span><span style="display: inline; color: rgb(000,000,128)">Lang</span></strong></span><span style="display: inline; color: rgb(0,100,0)"> program cannot have more than one name</span>
<span style="display: inline; color: rgb(180,0,0)">double_name</span> (<strong><span style="display: inline; color: rgb(0,100,180)">String</span></strong> <span style="display: inline; color: rgb(180,0,0)">name1</span>,
<strong><span style="display: inline; color: rgb(0,100,180)">String</span></strong> <span style="display: inline; color: rgb(180,0,0)">name2</span>),
<span style="display: inline; color: rgb(180,0,0)">succ_no_operand</span>,
<span style="display: inline; color: rgb(180,0,0)">succ_too_many_operands</span>,
<span style="display: inline; color: rgb(180,0,0)">level_var_with_operands</span>.<span style="display: inline; color: rgb(0,100,0)"> </span>
<span style="display: inline; color: rgb(0,100,0)"> </span><br /><div align="left" style="display: inline-block; width: 8px;"></div><span style="display: inline; color: rgb(0,100,0)"><strong><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;">grammar.apg2</span></strong></span> line 47</pre>
Formating a semantic error.
<pre style="color: inherit; font-size: inherit; background-color: rgb(240,235,225); width: inherit;"><span style="display: inline; color: rgb(0,100,0)"> </span>
<strong><span style="display: inline; color: rgb(200,0,120)">public</span></strong> <strong><span style="display: inline; color: rgb(200,0,120)">define</span></strong> <strong><span style="display: inline; color: rgb(0,100,180)">String</span></strong>
<span style="display: inline; color: rgb(180,0,0)">format</span>
(
<strong><span style="display: inline; color: rgb(0,100,180)">SError_oplang_parser</span></strong> <span style="display: inline; color: rgb(180,0,0)">e</span>
) =
<span style="display: inline; color: rgb(120,70,200)"><em>if</em></span> <span style="display: inline; color: rgb(180,0,0)">e</span> <span style="display: inline; color: rgb(120,70,200)"><em>is</em></span>
{
<span style="display: inline; color: rgb(180,0,0)">wrong_typing</span>(<span style="display: inline; color: rgb(180,0,0)">lname</span>) <span style="display: inline; color: rgb(120,70,200)"><em>then</em></span>
<span style="display: inline; color: rgb(125,0,130)"><strong>"</strong></span><span style="display: inline; color: rgb(125,0,130)"><strong>Layer name </strong></span><span style="display: inline; color: rgb(125,0,130)"><strong>"</strong></span>+<span style="display: inline; color: rgb(180,0,0)">lname</span>+<span style="display: inline; color: rgb(125,0,130)"><strong>"</strong></span><span style="display: inline; color: rgb(125,0,130)"><strong> used twice in the typing relation.\n</strong></span><span style="display: inline; color: rgb(125,0,130)"><strong>"</strong></span>,
<span style="display: inline; color: rgb(180,0,0)">double_name</span>(<span style="display: inline; color: rgb(180,0,0)">n1</span>,<span style="display: inline; color: rgb(180,0,0)">n2</span>) <span style="display: inline; color: rgb(120,70,200)"><em>then</em></span>
<span style="display: inline; color: rgb(125,0,130)"><strong>"</strong></span><span style="display: inline; color: rgb(125,0,130)"><strong>The OpLang program has two names: </strong></span><span style="display: inline; color: rgb(125,0,130)"><strong>"</strong></span>+<span style="display: inline; color: rgb(180,0,0)">n1</span>+<span style="display: inline; color: rgb(125,0,130)"><strong>"</strong></span><span style="display: inline; color: rgb(125,0,130)"><strong>, </strong></span><span style="display: inline; color: rgb(125,0,130)"><strong>"</strong></span>+<span style="display: inline; color: rgb(180,0,0)">n2</span>+<span style="display: inline; color: rgb(125,0,130)"><strong>"</strong></span><span style="display: inline; color: rgb(125,0,130)"><strong>.\n</strong></span><span style="display: inline; color: rgb(125,0,130)"><strong>"</strong></span>,
<span style="display: inline; color: rgb(180,0,0)">succ_no_operand</span> <span style="display: inline; color: rgb(120,70,200)"><em>then</em></span>
<span style="display: inline; color: rgb(125,0,130)"><strong>"</strong></span><span style="display: inline; color: rgb(125,0,130)"><strong>'succ' with no operand.\n</strong></span><span style="display: inline; color: rgb(125,0,130)"><strong>"</strong></span>,
<span style="display: inline; color: rgb(180,0,0)">succ_too_many_operands</span> <span style="display: inline; color: rgb(120,70,200)"><em>then</em></span>
<span style="display: inline; color: rgb(125,0,130)"><strong>"</strong></span><span style="display: inline; color: rgb(125,0,130)"><strong>'succ' with too many operands.\n</strong></span><span style="display: inline; color: rgb(125,0,130)"><strong>"</strong></span>,
<span style="display: inline; color: rgb(180,0,0)">level_var_with_operands</span> <span style="display: inline; color: rgb(120,70,200)"><em>then</em></span>
<span style="display: inline; color: rgb(125,0,130)"><strong>"</strong></span><span style="display: inline; color: rgb(125,0,130)"><strong>level variable with operands.\n</strong></span><span style="display: inline; color: rgb(125,0,130)"><strong>"</strong></span>
}.<span style="display: inline; color: rgb(0,100,0)"> </span>
<span style="display: inline; color: rgb(0,100,0)"> </span><br /><div align="left" style="display: inline-block; width: 8px;"></div><span style="display: inline; color: rgb(0,100,0)"><strong><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;">grammar.apg2</span></strong></span> line 68</pre><br><br> <a id="subsec1_3"></a><span style="font-size: 120%;"><strong>1.3. Recording the name of the <span style="font-style: normal;"><strong><span style="display: inline; color: rgb(110,000,000)">Op</span><span style="display: inline; color: rgb(000,000,128)">Lang</span></strong></span> program</strong></span><div align="center"> </div>
The <span style="font-style: normal;"><strong><span style="display: inline; color: rgb(110,000,000)">Op</span><span style="display: inline; color: rgb(000,000,128)">Lang</span></strong></span> program should have only one name. We check that there is only
one <span style="font-style: normal;"><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;"><strong><span style="display: inline; color: rgb(200,0,120)">name</span></strong></span></span> sentence.
<pre style="color: inherit; font-size: inherit; background-color: rgb(240,235,225); width: inherit;"><span style="display: inline; color: rgb(0,100,0)"> </span>
<strong><span style="display: inline; color: rgb(200,0,120)">define</span></strong> (<strong><span style="display: inline; color: rgb(0,100,180)">Extra_oplang_parser</span></strong>,<strong><span style="display: inline; color: rgb(0,100,180)">MaybeError</span></strong>(<strong><span style="display: inline; color: rgb(0,100,180)">SError_oplang_parser</span></strong>))
<span style="display: inline; color: rgb(180,0,0)">record_name</span>
(
<strong><span style="display: inline; color: rgb(0,100,180)">Extra_oplang_parser</span></strong> <span style="display: inline; color: rgb(180,0,0)">extra</span>,
<strong><span style="display: inline; color: rgb(0,100,180)">String</span></strong> <span style="display: inline; color: rgb(180,0,0)">name</span>
) =
<span style="display: inline; color: rgb(120,70,200)"><em>if</em></span> <span style="display: inline; color: rgb(180,0,0)">progname</span>(<span style="display: inline; color: rgb(180,0,0)">extra</span>) = <span style="display: inline; color: rgb(125,0,130)"><strong>"</strong></span><span style="display: inline; color: rgb(125,0,130)"><strong>"</strong></span>
<span style="display: inline; color: rgb(120,70,200)"><em>then</em></span> (<span style="display: inline; color: rgb(180,0,0)">extra</span>[<span style="display: inline; color: rgb(180,0,0)">progname</span> <- <span style="display: inline; color: rgb(180,0,0)">name</span>],<span style="display: inline; color: rgb(180,0,0)">no_error</span>)
<span style="display: inline; color: rgb(120,70,200)"><em>else</em></span> (<span style="display: inline; color: rgb(180,0,0)">extra</span>,<span style="display: inline; color: rgb(180,0,0)">error</span>(<span style="display: inline; color: rgb(180,0,0)">double_name</span>(<span style="display: inline; color: rgb(180,0,0)">progname</span>(<span style="display: inline; color: rgb(180,0,0)">extra</span>),<span style="display: inline; color: rgb(180,0,0)">name</span>))).
<span style="display: inline; color: rgb(0,100,0)"> </span><br /><div align="left" style="display: inline-block; width: 8px;"></div><span style="display: inline; color: rgb(0,100,0)"><strong><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;">grammar.apg2</span></strong></span> line 86</pre><br><br> <a id="subsec1_4"></a><span style="font-size: 120%;"><strong>1.4. Checking the typing relation</strong></span><div align="center"> </div>
This amounts to check that no layer name appears twice within the relation.
<pre style="color: inherit; font-size: inherit; background-color: rgb(240,235,225); width: inherit;">
<strong><span style="display: inline; color: rgb(200,0,120)">define</span></strong> <strong><span style="display: inline; color: rgb(0,100,180)">Bool</span></strong>
<span style="display: inline; color: rgb(180,0,0)">appears</span>
(
<strong><span style="display: inline; color: rgb(0,100,180)">String</span></strong> <span style="display: inline; color: rgb(180,0,0)">layer_name</span>,
<strong><span style="display: inline; color: rgb(0,100,180)">List</span></strong>(<strong><span style="display: inline; color: rgb(0,100,180)">Typing</span></strong>) <span style="display: inline; color: rgb(180,0,0)">l</span>
) =
<span style="display: inline; color: rgb(120,70,200)"><em>if</em></span> <span style="display: inline; color: rgb(180,0,0)">l</span> <span style="display: inline; color: rgb(120,70,200)"><em>is</em></span>
{
[ ] <span style="display: inline; color: rgb(120,70,200)"><em>then</em></span> <span style="display: inline; color: rgb(180,0,0)">false</span>,
[<span style="display: inline; color: rgb(180,0,0)">h</span> . <span style="display: inline; color: rgb(180,0,0)">t</span>] <span style="display: inline; color: rgb(120,70,200)"><em>then</em></span> <span style="display: inline; color: rgb(120,70,200)"><em>since</em></span> <span style="display: inline; color: rgb(180,0,0)">h</span> <span style="display: inline; color: rgb(120,70,200)"><em>is</em></span> <span style="display: inline; color: rgb(180,0,0)">typing_pair</span>(<span style="display: inline; color: rgb(180,0,0)">typing</span>,<span style="display: inline; color: rgb(180,0,0)">typed</span>),
<span style="display: inline; color: rgb(120,70,200)"><em>if</em></span> <span style="display: inline; color: rgb(180,0,0)">typing</span> = <span style="display: inline; color: rgb(180,0,0)">layer_name</span> | <span style="display: inline; color: rgb(180,0,0)">typed</span> = <span style="display: inline; color: rgb(180,0,0)">layer_name</span>
<span style="display: inline; color: rgb(120,70,200)"><em>then</em></span> <span style="display: inline; color: rgb(180,0,0)">true</span>
<span style="display: inline; color: rgb(120,70,200)"><em>else</em></span> <span style="display: inline; color: rgb(180,0,0)">appears</span>(<span style="display: inline; color: rgb(180,0,0)">layer_name</span>,<span style="display: inline; color: rgb(180,0,0)">t</span>)
}.<span style="display: inline; color: rgb(0,100,0)"> </span>
<span style="display: inline; color: rgb(0,100,0)"> </span><br /><div align="left" style="display: inline-block; width: 8px;"></div><span style="display: inline; color: rgb(0,100,0)"><strong><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;">grammar.apg2</span></strong></span> line 109</pre>
<pre style="color: inherit; font-size: inherit; background-color: rgb(240,235,225); width: inherit;"><span style="display: inline; color: rgb(0,100,0)"> </span>
<strong><span style="display: inline; color: rgb(200,0,120)">define</span></strong> <strong><span style="display: inline; color: rgb(0,100,180)">MaybeError</span></strong>(<strong><span style="display: inline; color: rgb(0,100,180)">SError_oplang_parser</span></strong>)
<span style="display: inline; color: rgb(180,0,0)">check_typings</span>
(
<strong><span style="display: inline; color: rgb(0,100,180)">List</span></strong>(<strong><span style="display: inline; color: rgb(0,100,180)">Typing</span></strong>) <span style="display: inline; color: rgb(180,0,0)">l</span>
) =
<span style="display: inline; color: rgb(120,70,200)"><em>if</em></span> <span style="display: inline; color: rgb(180,0,0)">l</span> <span style="display: inline; color: rgb(120,70,200)"><em>is</em></span>
{
[ ] <span style="display: inline; color: rgb(120,70,200)"><em>then</em></span> <span style="display: inline; color: rgb(180,0,0)">no_error</span>,
[<span style="display: inline; color: rgb(180,0,0)">h</span> . <span style="display: inline; color: rgb(180,0,0)">t</span>] <span style="display: inline; color: rgb(120,70,200)"><em>then</em></span> <span style="display: inline; color: rgb(120,70,200)"><em>since</em></span> <span style="display: inline; color: rgb(180,0,0)">h</span> <span style="display: inline; color: rgb(120,70,200)"><em>is</em></span> <span style="display: inline; color: rgb(180,0,0)">typing_pair</span>(<span style="display: inline; color: rgb(180,0,0)">typing</span>,<span style="display: inline; color: rgb(180,0,0)">typed</span>),
<span style="display: inline; color: rgb(120,70,200)"><em>if</em></span> <span style="display: inline; color: rgb(180,0,0)">typing</span> = <span style="display: inline; color: rgb(180,0,0)">typed</span>
<span style="display: inline; color: rgb(120,70,200)"><em>then</em></span> <span style="display: inline; color: rgb(180,0,0)">error</span>(<span style="display: inline; color: rgb(180,0,0)">wrong_typing</span>(<span style="display: inline; color: rgb(180,0,0)">typing</span>))
<span style="display: inline; color: rgb(120,70,200)"><em>else</em></span> <span style="display: inline; color: rgb(120,70,200)"><em>if</em></span> <span style="display: inline; color: rgb(180,0,0)">appears</span>(<span style="display: inline; color: rgb(180,0,0)">typing</span>,<span style="display: inline; color: rgb(180,0,0)">t</span>)
<span style="display: inline; color: rgb(120,70,200)"><em>then</em></span> <span style="display: inline; color: rgb(180,0,0)">error</span>(<span style="display: inline; color: rgb(180,0,0)">wrong_typing</span>(<span style="display: inline; color: rgb(180,0,0)">typing</span>))
<span style="display: inline; color: rgb(120,70,200)"><em>else</em></span> <span style="display: inline; color: rgb(120,70,200)"><em>if</em></span> <span style="display: inline; color: rgb(180,0,0)">appears</span> (<span style="display: inline; color: rgb(180,0,0)">typed</span>,<span style="display: inline; color: rgb(180,0,0)">t</span>)
<span style="display: inline; color: rgb(120,70,200)"><em>then</em></span> <span style="display: inline; color: rgb(180,0,0)">error</span>(<span style="display: inline; color: rgb(180,0,0)">wrong_typing</span>(<span style="display: inline; color: rgb(180,0,0)">typed</span>))
<span style="display: inline; color: rgb(120,70,200)"><em>else</em></span> <span style="display: inline; color: rgb(180,0,0)">check_typings</span>(<span style="display: inline; color: rgb(180,0,0)">t</span>)
}.<span style="display: inline; color: rgb(0,100,0)"> </span>
<span style="display: inline; color: rgb(0,100,0)"> </span><br /><div align="left" style="display: inline-block; width: 8px;"></div><span style="display: inline; color: rgb(0,100,0)"><strong><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;">grammar.apg2</span></strong></span> line 128</pre><br><br> <a id="subsec1_5"></a><span style="font-size: 120%;"><strong>1.5. Recording the typing relation</strong></span><div align="center"> </div>
<pre style="color: inherit; font-size: inherit; background-color: rgb(240,235,225); width: inherit;"><span style="display: inline; color: rgb(0,100,0)"> </span>
<strong><span style="display: inline; color: rgb(200,0,120)">define</span></strong> (<strong><span style="display: inline; color: rgb(0,100,180)">Extra_oplang_parser</span></strong>,<strong><span style="display: inline; color: rgb(0,100,180)">MaybeError</span></strong>(<strong><span style="display: inline; color: rgb(0,100,180)">SError_oplang_parser</span></strong>))
<span style="display: inline; color: rgb(180,0,0)">record_typings</span>
(
<strong><span style="display: inline; color: rgb(0,100,180)">Extra_oplang_parser</span></strong> <span style="display: inline; color: rgb(180,0,0)">extra</span>,
<strong><span style="display: inline; color: rgb(0,100,180)">List</span></strong>(<strong><span style="display: inline; color: rgb(0,100,180)">Typing</span></strong>) <span style="display: inline; color: rgb(180,0,0)">items</span>
) =
<span style="display: inline; color: rgb(120,70,200)"><em>with</em></span> <span style="display: inline; color: rgb(180,0,0)">all_typings</span> = <span style="display: inline; color: rgb(180,0,0)">items</span>+<span style="display: inline; color: rgb(180,0,0)">typings</span>(<span style="display: inline; color: rgb(180,0,0)">extra</span>),
<span style="display: inline; color: rgb(120,70,200)"><em>if</em></span> <span style="display: inline; color: rgb(180,0,0)">check_typings</span>(<span style="display: inline; color: rgb(180,0,0)">all_typings</span>) <span style="display: inline; color: rgb(120,70,200)"><em>is</em></span>
{
<span style="display: inline; color: rgb(180,0,0)">error</span>(<span style="display: inline; color: rgb(180,0,0)">e</span>) <span style="display: inline; color: rgb(120,70,200)"><em>then</em></span> (<span style="display: inline; color: rgb(180,0,0)">extra</span>,<span style="display: inline; color: rgb(180,0,0)">error</span>(<span style="display: inline; color: rgb(180,0,0)">e</span>))
<span style="display: inline; color: rgb(180,0,0)">no_error</span> <span style="display: inline; color: rgb(120,70,200)"><em>then</em></span> (<span style="display: inline; color: rgb(180,0,0)">extra</span>[<span style="display: inline; color: rgb(180,0,0)">typings</span> <- <span style="display: inline; color: rgb(180,0,0)">all_typings</span>],<span style="display: inline; color: rgb(180,0,0)">no_error</span>),
}.<span style="display: inline; color: rgb(0,100,0)"> </span>
<span style="display: inline; color: rgb(0,100,0)"> </span><br /><div align="left" style="display: inline-block; width: 8px;"></div><span style="display: inline; color: rgb(0,100,0)"><strong><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;">grammar.apg2</span></strong></span> line 145</pre><br><br> <a id="subsec1_6"></a><span style="font-size: 120%;"><strong>1.6. Recording the declaration of an operator</strong></span><div align="center"> </div>
<pre style="color: inherit; font-size: inherit; background-color: rgb(240,235,225); width: inherit;"><span style="display: inline; color: rgb(0,100,0)"> </span>
<strong><span style="display: inline; color: rgb(200,0,120)">define</span></strong> <strong><span style="display: inline; color: rgb(0,100,180)">Extra_oplang_parser</span></strong>
<span style="display: inline; color: rgb(180,0,0)">record_operator</span>
(
<strong><span style="display: inline; color: rgb(0,100,180)">Extra_oplang_parser</span></strong> <span style="display: inline; color: rgb(180,0,0)">extra</span>,
<strong><span style="display: inline; color: rgb(0,100,180)">Definable</span></strong> <span style="display: inline; color: rgb(180,0,0)">def</span>,
<strong><span style="display: inline; color: rgb(0,100,180)">Int</span></strong> <span style="display: inline; color: rgb(180,0,0)">line</span>,
<strong><span style="display: inline; color: rgb(0,100,180)">HeadJudg</span></strong> <span style="display: inline; color: rgb(180,0,0)">c</span>,
<strong><span style="display: inline; color: rgb(0,100,180)">List</span></strong>(<strong><span style="display: inline; color: rgb(0,100,180)">TailJudg</span></strong>) <span style="display: inline; color: rgb(180,0,0)">where</span>
) =
<span style="display: inline; color: rgb(180,0,0)">extra</span>[<span style="display: inline; color: rgb(180,0,0)">operators</span> <-
[<span style="display: inline; color: rgb(180,0,0)">operator_dec</span>(<span style="display: inline; color: rgb(180,0,0)">line</span>,<span style="display: inline; color: rgb(180,0,0)">def</span>,<span style="display: inline; color: rgb(180,0,0)">c</span>,<span style="display: inline; color: rgb(180,0,0)">where</span>) . <span style="display: inline; color: rgb(180,0,0)">operators</span>(<span style="display: inline; color: rgb(180,0,0)">extra</span>)]].<span style="display: inline; color: rgb(0,100,0)"> </span>
<span style="display: inline; color: rgb(0,100,0)"> </span><br /><div align="left" style="display: inline-block; width: 8px;"></div><span style="display: inline; color: rgb(0,100,0)"><strong><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;">grammar.apg2</span></strong></span> line 162</pre><br><br> <a id="subsec1_7"></a><span style="font-size: 120%;"><strong>1.7. Reading a level</strong></span><div align="center"> </div>
<pre style="color: inherit; font-size: inherit; background-color: rgb(240,235,225); width: inherit;"><span style="display: inline; color: rgb(0,100,0)"> </span>
<strong><span style="display: inline; color: rgb(200,0,120)">define</span></strong> <strong><span style="display: inline; color: rgb(0,100,180)">Result</span></strong>(<strong><span style="display: inline; color: rgb(0,100,180)">SError_oplang_parser</span></strong>,<strong><span style="display: inline; color: rgb(0,100,180)">Level</span></strong>)
<span style="display: inline; color: rgb(180,0,0)">read_level</span>
(
<strong><span style="display: inline; color: rgb(0,100,180)">String</span></strong> <span style="display: inline; color: rgb(180,0,0)">op</span>,
<strong><span style="display: inline; color: rgb(0,100,180)">List</span></strong>(<strong><span style="display: inline; color: rgb(0,100,180)">Level</span></strong>) <span style="display: inline; color: rgb(180,0,0)">l</span>
) =
<span style="display: inline; color: rgb(120,70,200)"><em>if</em></span> <span style="display: inline; color: rgb(180,0,0)">op</span> = <span style="display: inline; color: rgb(125,0,130)"><strong>"</strong></span><span style="display: inline; color: rgb(125,0,130)"><strong>zero</strong></span><span style="display: inline; color: rgb(125,0,130)"><strong>"</strong></span> <span style="display: inline; color: rgb(120,70,200)"><em>then</em></span> <span style="display: inline; color: rgb(180,0,0)">ok</span>(<span style="display: inline; color: rgb(180,0,0)">zero</span>) <span style="display: inline; color: rgb(120,70,200)"><em>else</em></span>
<span style="display: inline; color: rgb(120,70,200)"><em>if</em></span> <span style="display: inline; color: rgb(180,0,0)">op</span> = <span style="display: inline; color: rgb(125,0,130)"><strong>"</strong></span><span style="display: inline; color: rgb(125,0,130)"><strong>succ</strong></span><span style="display: inline; color: rgb(125,0,130)"><strong>"</strong></span> <span style="display: inline; color: rgb(120,70,200)"><em>then</em></span> <span style="display: inline; color: rgb(120,70,200)"><em>if</em></span> <span style="display: inline; color: rgb(180,0,0)">l</span> <span style="display: inline; color: rgb(120,70,200)"><em>is</em></span>
{
[ ] <span style="display: inline; color: rgb(120,70,200)"><em>then</em></span> <span style="display: inline; color: rgb(180,0,0)">error</span>(<span style="display: inline; color: rgb(180,0,0)">succ_no_operand</span>),
[<span style="display: inline; color: rgb(180,0,0)">h</span> . <span style="display: inline; color: rgb(180,0,0)">t</span>] <span style="display: inline; color: rgb(120,70,200)"><em>then</em></span> <span style="display: inline; color: rgb(120,70,200)"><em>if</em></span> <span style="display: inline; color: rgb(180,0,0)">t</span> <span style="display: inline; color: rgb(120,70,200)"><em>is</em></span> [<span style="display: inline; color: rgb(180,0,0)">_</span> . <span style="display: inline; color: rgb(180,0,0)">_</span>] <span style="display: inline; color: rgb(120,70,200)"><em>then</em></span> <span style="display: inline; color: rgb(180,0,0)">error</span>(<span style="display: inline; color: rgb(180,0,0)">succ_too_many_operands</span>) <span style="display: inline; color: rgb(120,70,200)"><em>else</em></span>
<span style="display: inline; color: rgb(180,0,0)">ok</span>(<span style="display: inline; color: rgb(180,0,0)">succ</span>(<span style="display: inline; color: rgb(180,0,0)">h</span>))
} <span style="display: inline; color: rgb(120,70,200)"><em>else</em></span>
<span style="display: inline; color: rgb(120,70,200)"><em>if</em></span> <span style="display: inline; color: rgb(180,0,0)">op</span> = <span style="display: inline; color: rgb(125,0,130)"><strong>"</strong></span><span style="display: inline; color: rgb(125,0,130)"><strong>max</strong></span><span style="display: inline; color: rgb(125,0,130)"><strong>"</strong></span> <span style="display: inline; color: rgb(120,70,200)"><em>then</em></span> <span style="display: inline; color: rgb(180,0,0)">ok</span>(<span style="display: inline; color: rgb(180,0,0)">max</span>(<span style="display: inline; color: rgb(180,0,0)">l</span>)) <span style="display: inline; color: rgb(120,70,200)"><em>else</em></span>
<span style="display: inline; color: rgb(120,70,200)"><em>if</em></span> <span style="display: inline; color: rgb(180,0,0)">l</span> <span style="display: inline; color: rgb(120,70,200)"><em>is</em></span> [<span style="display: inline; color: rgb(180,0,0)">_</span> . <span style="display: inline; color: rgb(180,0,0)">_</span>] <span style="display: inline; color: rgb(120,70,200)"><em>then</em></span> <span style="display: inline; color: rgb(180,0,0)">error</span>(<span style="display: inline; color: rgb(180,0,0)">level_var_with_operands</span>) <span style="display: inline; color: rgb(120,70,200)"><em>else</em></span> <span style="display: inline; color: rgb(180,0,0)">ok</span>(<span style="display: inline; color: rgb(180,0,0)">var</span>(<span style="display: inline; color: rgb(180,0,0)">op</span>)).<span style="display: inline; color: rgb(0,100,0)"> </span>
<span style="display: inline; color: rgb(0,100,0)"> </span><br /><div align="left" style="display: inline-block; width: 8px;"></div><span style="display: inline; color: rgb(0,100,0)"><strong><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;">grammar.apg2</span></strong></span> line 182</pre><br><br>
<a id="sec2"></a><div align="center"> </div><span style="font-size: 120%;"><span style="font-size: 120%;"><strong>2. The lexers</strong></span></span><div align="center"> </div>
This is the beginning of the main section (according to <span style="font-style: normal;"><strong><span style="display: inline; color: rgb(100,100,0)">A</span><span style="display: inline; color: rgb(0,100,100)">P</span><span style="display: inline; color: rgb(100,0,100)">G</span><span style="display: inline; color: rgb(0,0,220)"><sub>2</sub></span></strong></span>). The name of
the parser is <span style="font-style: normal;"><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;"><span style="display: inline; color: rgb(180,0,0)">oplang_parser</span></span></span>.
<pre style="color: inherit; font-size: inherit; background-color: rgb(240,240,220); width: inherit;"><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
#oplang_parser
</span></strong><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><br /><div align="left" style="display: inline-block; width: 8px;"></div><span style="display: inline; color: rgb(0,100,0)"><strong><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;">grammar.apg2</span></strong></span> line 190</pre><br><br> <a id="subsec2_1"></a><span style="font-size: 120%;"><strong>2.1. The <span style="font-style: normal;"><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;"><span style="display: inline; color: rgb(180,0,0)">default</span></span></span> lexer</strong></span><div align="center"> </div>
The <em><span style="display: inline; color: rgb(160,032,240)">default</span></em> lexer (for reading off <span style="font-style: normal;"><strong><span style="display: inline; color: rgb(110,000,000)">Op</span><span style="display: inline; color: rgb(000,000,128)">Lang</span></strong></span> sentences, the preambule and
the postambule). We ignore everything except leading keywords. Sentence
leading keywords have a line number as their token value.
<pre style="color: inherit; font-size: inherit; background-color: rgb(240,240,220); width: inherit;"><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
lexer</span></strong> <span style="display: inline; color: rgb(110,10,0)">default</span><em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
token</span></strong> <span style="display: inline; color: rgb(110,10,0)">preambule</span> (#<span style="display: inline; color: rgb(0,30,190)">n</span><span style="display: inline; color: rgb(0,30,190)">p</span><span style="display: inline; color: rgb(0,30,190)">r</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">a</span><span style="display: inline; color: rgb(0,30,190)">m</span><span style="display: inline; color: rgb(0,30,190)">b</span><span style="display: inline; color: rgb(0,30,190)">u</span><span style="display: inline; color: rgb(0,30,190)">l</span><span style="display: inline; color: rgb(0,30,190)">e</span>)<em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
token</span></strong> <span style="display: inline; color: rgb(110,10,0)">postambule</span> (#<span style="display: inline; color: rgb(0,30,190)">n</span><span style="display: inline; color: rgb(0,30,190)">p</span><span style="display: inline; color: rgb(0,30,190)">o</span><span style="display: inline; color: rgb(0,30,190)">s</span><span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">a</span><span style="display: inline; color: rgb(0,30,190)">m</span><span style="display: inline; color: rgb(0,30,190)">b</span><span style="display: inline; color: rgb(0,30,190)">u</span><span style="display: inline; color: rgb(0,30,190)">l</span><span style="display: inline; color: rgb(0,30,190)">e</span>)<em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
token</span></strong> <span style="display: inline; color: rgb(110,10,0)">name</span> (#<span style="display: inline; color: rgb(0,30,190)">n</span><span style="display: inline; color: rgb(0,30,190)">n</span><span style="display: inline; color: rgb(0,30,190)">a</span><span style="display: inline; color: rgb(0,30,190)">m</span><span style="display: inline; color: rgb(0,30,190)">e</span>) (<strong><span style="display: inline; color: rgb(233,150,122)">Int</span></strong>) (#<span style="display: inline; color: rgb(0,30,190)">l</span><span style="display: inline; color: rgb(0,30,190)">i</span><span style="display: inline; color: rgb(0,30,190)">n</span><span style="display: inline; color: rgb(0,30,190)">e</span>)<em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
token</span></strong> <span style="display: inline; color: rgb(110,10,0)">primitive</span> (#<span style="display: inline; color: rgb(0,30,190)">n</span><span style="display: inline; color: rgb(0,30,190)">p</span><span style="display: inline; color: rgb(0,30,190)">r</span><span style="display: inline; color: rgb(0,30,190)">i</span><span style="display: inline; color: rgb(0,30,190)">m</span><span style="display: inline; color: rgb(0,30,190)">?</span><span style="display: inline; color: rgb(0,30,190)">i</span><span style="display: inline; color: rgb(0,30,190)">?</span><span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">?</span><span style="display: inline; color: rgb(0,30,190)">i</span><span style="display: inline; color: rgb(0,30,190)">?</span><span style="display: inline; color: rgb(0,30,190)">v</span><span style="display: inline; color: rgb(0,30,190)">?</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">?</span>) (<strong><span style="display: inline; color: rgb(233,150,122)">Int</span></strong>) (#<span style="display: inline; color: rgb(0,30,190)">l</span><span style="display: inline; color: rgb(0,30,190)">i</span><span style="display: inline; color: rgb(0,30,190)">n</span><span style="display: inline; color: rgb(0,30,190)">e</span>)<em><span style="display: inline; color: rgb(000,100,000)">.</span></em><strong><span style="display: inline; color: rgb(255,000,000)">
token</span></strong> <span style="display: inline; color: rgb(110,10,0)">definable</span> (#<span style="display: inline; color: rgb(0,30,190)">n</span><span style="display: inline; color: rgb(0,30,190)">d</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">f</span><span style="display: inline; color: rgb(0,30,190)">i</span><span style="display: inline; color: rgb(0,30,190)">?</span><span style="display: inline; color: rgb(0,30,190)">n</span><span style="display: inline; color: rgb(0,30,190)">?</span><span style="display: inline; color: rgb(0,30,190)">a</span><span style="display: inline; color: rgb(0,30,190)">?</span><span style="display: inline; color: rgb(0,30,190)">b</span><span style="display: inline; color: rgb(0,30,190)">?</span><span style="display: inline; color: rgb(0,30,190)">l</span><span style="display: inline; color: rgb(0,30,190)">?</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">?</span>) (<strong><span style="display: inline; color: rgb(233,150,122)">Int</span></strong>) (#<span style="display: inline; color: rgb(0,30,190)">l</span><span style="display: inline; color: rgb(0,30,190)">i</span><span style="display: inline; color: rgb(0,30,190)">n</span><span style="display: inline; color: rgb(0,30,190)">e</span>)<em><span style="display: inline; color: rgb(000,100,000)">.</span></em><strong><span style="display: inline; color: rgb(255,000,000)">
token</span></strong> <span style="display: inline; color: rgb(110,10,0)">rewrite</span> (#<span style="display: inline; color: rgb(0,30,190)">n</span><span style="display: inline; color: rgb(0,30,190)">r</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">w</span><span style="display: inline; color: rgb(0,30,190)">r</span><span style="display: inline; color: rgb(0,30,190)">?</span><span style="display: inline; color: rgb(0,30,190)">i</span><span style="display: inline; color: rgb(0,30,190)">?</span><span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">?</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">?</span>) (<strong><span style="display: inline; color: rgb(233,150,122)">Int</span></strong>) (#<span style="display: inline; color: rgb(0,30,190)">l</span><span style="display: inline; color: rgb(0,30,190)">i</span><span style="display: inline; color: rgb(0,30,190)">n</span><span style="display: inline; color: rgb(0,30,190)">e</span>)<em><span style="display: inline; color: rgb(000,100,000)">.</span></em><strong><span style="display: inline; color: rgb(255,000,000)">
token</span></strong> <span style="display: inline; color: rgb(110,10,0)">typing</span> (#<span style="display: inline; color: rgb(0,30,190)">n</span><span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">y</span><span style="display: inline; color: rgb(0,30,190)">p</span><span style="display: inline; color: rgb(0,30,190)">i</span><span style="display: inline; color: rgb(0,30,190)">n</span><span style="display: inline; color: rgb(0,30,190)">g</span>) (<strong><span style="display: inline; color: rgb(233,150,122)">Int</span></strong>) (#<span style="display: inline; color: rgb(0,30,190)">l</span><span style="display: inline; color: rgb(0,30,190)">i</span><span style="display: inline; color: rgb(0,30,190)">n</span><span style="display: inline; color: rgb(0,30,190)">e</span>)<em><span style="display: inline; color: rgb(000,100,000)">.</span></em><strong><span style="display: inline; color: rgb(255,000,000)">
token</span></strong> <span style="display: inline; color: rgb(110,10,0)">unifyreduce</span> (#<span style="display: inline; color: rgb(0,30,190)">n</span><span style="display: inline; color: rgb(0,30,190)">u</span><span style="display: inline; color: rgb(0,30,190)">n</span><span style="display: inline; color: rgb(0,30,190)">i</span><span style="display: inline; color: rgb(0,30,190)">f</span><span style="display: inline; color: rgb(0,30,190)">y</span><span style="display: inline; color: rgb(0,30,190)">[</span>#<span style="display: inline; color: rgb(0,30,190)"> </span><span style="display: inline; color: rgb(0,30,190)">]</span><span style="display: inline; color: rgb(0,30,190)">+</span><span style="display: inline; color: rgb(0,30,190)">w</span><span style="display: inline; color: rgb(0,30,190)">i</span><span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">h</span><span style="display: inline; color: rgb(0,30,190)">[</span>#<span style="display: inline; color: rgb(0,30,190)"> </span><span style="display: inline; color: rgb(0,30,190)">]</span><span style="display: inline; color: rgb(0,30,190)">+</span><span style="display: inline; color: rgb(0,30,190)">r</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">d</span><span style="display: inline; color: rgb(0,30,190)">u</span><span style="display: inline; color: rgb(0,30,190)">c</span><span style="display: inline; color: rgb(0,30,190)">e</span>) (<strong><span style="display: inline; color: rgb(233,150,122)">Int</span></strong>) (#<span style="display: inline; color: rgb(0,30,190)">l</span><span style="display: inline; color: rgb(0,30,190)">i</span><span style="display: inline; color: rgb(0,30,190)">n</span><span style="display: inline; color: rgb(0,30,190)">e</span>)<em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
token</span></strong> <span style="display: inline; color: rgb(110,10,0)">unifylazyreduce</span> (#<span style="display: inline; color: rgb(0,30,190)">n</span><span style="display: inline; color: rgb(0,30,190)">u</span><span style="display: inline; color: rgb(0,30,190)">n</span><span style="display: inline; color: rgb(0,30,190)">i</span><span style="display: inline; color: rgb(0,30,190)">f</span><span style="display: inline; color: rgb(0,30,190)">y</span><span style="display: inline; color: rgb(0,30,190)">[</span>#<span style="display: inline; color: rgb(0,30,190)"> </span><span style="display: inline; color: rgb(0,30,190)">]</span><span style="display: inline; color: rgb(0,30,190)">+</span><span style="display: inline; color: rgb(0,30,190)">w</span><span style="display: inline; color: rgb(0,30,190)">i</span><span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">h</span><span style="display: inline; color: rgb(0,30,190)">[</span>#<span style="display: inline; color: rgb(0,30,190)"> </span><span style="display: inline; color: rgb(0,30,190)">]</span><span style="display: inline; color: rgb(0,30,190)">+</span><span style="display: inline; color: rgb(0,30,190)">l</span><span style="display: inline; color: rgb(0,30,190)">a</span><span style="display: inline; color: rgb(0,30,190)">z</span><span style="display: inline; color: rgb(0,30,190)">y</span><span style="display: inline; color: rgb(0,30,190)">_</span><span style="display: inline; color: rgb(0,30,190)">r</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">d</span><span style="display: inline; color: rgb(0,30,190)">u</span><span style="display: inline; color: rgb(0,30,190)">c</span><span style="display: inline; color: rgb(0,30,190)">e</span>) (<strong><span style="display: inline; color: rgb(233,150,122)">Int</span></strong>) (#<span style="display: inline; color: rgb(0,30,190)">l</span><span style="display: inline; color: rgb(0,30,190)">i</span><span style="display: inline; color: rgb(0,30,190)">n</span><span style="display: inline; color: rgb(0,30,190)">e</span>)<em><span style="display: inline; color: rgb(000,100,000)">.</span></em>
<em><span style="display: inline; color: rgb(000,100,000)"> Ignore anything else. </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
ignore</span></strong> (#<span style="display: inline; color: rgb(0,30,190)">n</span>)<em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
ignore</span></strong> (<span style="display: inline; color: rgb(0,30,190)">.</span>).
<em><span style="display: inline; color: rgb(000,100,000)"> </span></em><br /><div align="left" style="display: inline-block; width: 8px;"></div><span style="display: inline; color: rgb(0,100,0)"><strong><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;">grammar.apg2</span></strong></span> line 212</pre><br><br> <a id="subsec2_2"></a><span style="font-size: 120%;"><strong>2.2. The <span style="font-style: normal;"><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;"><span style="display: inline; color: rgb(180,0,0)">in</span></span></span> lexer</strong></span><div align="center"> </div>
The <em><span style="display: inline; color: rgb(160,032,240)">in</span></em> lexer (for reading within <span style="font-style: normal;"><strong><span style="display: inline; color: rgb(110,000,000)">Op</span><span style="display: inline; color: rgb(000,000,128)">Lang</span></strong></span> sentences).
<pre style="color: inherit; font-size: inherit; background-color: rgb(240,240,220); width: inherit;"><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
lexer</span></strong> <span style="display: inline; color: rgb(110,10,0)">in</span><em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
token</span></strong> <span style="display: inline; color: rgb(110,10,0)">where</span> (<span style="display: inline; color: rgb(0,30,190)">w</span><span style="display: inline; color: rgb(0,30,190)">h</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">r</span><span style="display: inline; color: rgb(0,30,190)">e</span>)<em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
token</span></strong> <span style="display: inline; color: rgb(110,10,0)">upsymbol</span> (<span style="display: inline; color: rgb(0,30,190)">[</span><strong><span style="display: inline; color: rgb(233,150,122)">A</span></strong><span style="display: inline; color: rgb(0,30,190)">-</span><strong><span style="display: inline; color: rgb(233,150,122)">Z</span></strong><span style="display: inline; color: rgb(0,30,190)">]</span><span style="display: inline; color: rgb(0,30,190)">[</span><strong><span style="display: inline; color: rgb(233,150,122)">A</span></strong><span style="display: inline; color: rgb(0,30,190)">-</span><strong><span style="display: inline; color: rgb(233,150,122)">Za</span></strong><span style="display: inline; color: rgb(0,30,190)">-</span><span style="display: inline; color: rgb(0,30,190)">z</span><span style="display: inline; color: rgb(0,30,190)">0</span><span style="display: inline; color: rgb(0,30,190)">-</span><span style="display: inline; color: rgb(0,30,190)">9</span><span style="display: inline; color: rgb(0,30,190)">_</span><span style="display: inline; color: rgb(0,30,190)">]</span><span style="display: inline; color: rgb(0,30,190)">*</span>) (<strong><span style="display: inline; color: rgb(233,150,122)">String</span></strong>) (<span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">o</span><span style="display: inline; color: rgb(0,30,190)">_</span><span style="display: inline; color: rgb(0,30,190)">s</span><span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">r</span><span style="display: inline; color: rgb(0,30,190)">i</span><span style="display: inline; color: rgb(0,30,190)">n</span><span style="display: inline; color: rgb(0,30,190)">g</span>(#<span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">x</span><span style="display: inline; color: rgb(0,30,190)">t</span>))<em><span style="display: inline; color: rgb(000,100,000)">.</span></em><strong><span style="display: inline; color: rgb(255,000,000)">
token</span></strong> <span style="display: inline; color: rgb(110,10,0)">symbol</span> (<span style="display: inline; color: rgb(0,30,190)">[</span><span style="display: inline; color: rgb(0,30,190)">a</span><span style="display: inline; color: rgb(0,30,190)">-</span><span style="display: inline; color: rgb(0,30,190)">z</span><span style="display: inline; color: rgb(0,30,190)">]</span><span style="display: inline; color: rgb(0,30,190)">[</span><strong><span style="display: inline; color: rgb(233,150,122)">A</span></strong><span style="display: inline; color: rgb(0,30,190)">-</span><strong><span style="display: inline; color: rgb(233,150,122)">Za</span></strong><span style="display: inline; color: rgb(0,30,190)">-</span><span style="display: inline; color: rgb(0,30,190)">z</span><span style="display: inline; color: rgb(0,30,190)">0</span><span style="display: inline; color: rgb(0,30,190)">-</span><span style="display: inline; color: rgb(0,30,190)">9</span><span style="display: inline; color: rgb(0,30,190)">_</span><span style="display: inline; color: rgb(0,30,190)">]</span><span style="display: inline; color: rgb(0,30,190)">*</span>) (<strong><span style="display: inline; color: rgb(233,150,122)">String</span></strong>) (<span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">o</span><span style="display: inline; color: rgb(0,30,190)">_</span><span style="display: inline; color: rgb(0,30,190)">s</span><span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">r</span><span style="display: inline; color: rgb(0,30,190)">i</span><span style="display: inline; color: rgb(0,30,190)">n</span><span style="display: inline; color: rgb(0,30,190)">g</span>(#<span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">x</span><span style="display: inline; color: rgb(0,30,190)">t</span>))<em><span style="display: inline; color: rgb(000,100,000)">.</span></em><strong><span style="display: inline; color: rgb(255,000,000)">
token</span></strong> <span style="display: inline; color: rgb(110,10,0)">lpar</span> (#<span style="display: inline; color: rgb(233,150,122)">(</span>)<em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
token</span></strong> <span style="display: inline; color: rgb(110,10,0)">rpar</span> (#<span style="display: inline; color: rgb(233,150,122)">)</span>)<em><span style="display: inline; color: rgb(000,100,000)">.</span></em><strong><span style="display: inline; color: rgb(255,000,000)">
token</span></strong> <span style="display: inline; color: rgb(110,10,0)">lbracket</span> (#<span style="display: inline; color: rgb(0,30,190)">[</span>)<em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
token</span></strong> <span style="display: inline; color: rgb(110,10,0)">rbracket</span> (#<span style="display: inline; color: rgb(0,30,190)">]</span>)<em><span style="display: inline; color: rgb(000,100,000)">.</span></em><strong><span style="display: inline; color: rgb(255,000,000)">
token</span></strong> <span style="display: inline; color: rgb(110,10,0)">dot</span> (#<span style="display: inline; color: rgb(0,30,190)">.</span>)<em><span style="display: inline; color: rgb(000,100,000)">.</span></em><strong><span style="display: inline; color: rgb(255,000,000)">
token</span></strong> <span style="display: inline; color: rgb(110,10,0)">sharp</span> (##)<em><span style="display: inline; color: rgb(000,100,000)">.</span></em><strong><span style="display: inline; color: rgb(255,000,000)">
token</span></strong> <span style="display: inline; color: rgb(110,10,0)">colon</span> (#<span style="display: inline; color: rgb(0,30,190)">:</span>)<em><span style="display: inline; color: rgb(000,100,000)">.</span></em><strong><span style="display: inline; color: rgb(255,000,000)">
token</span></strong> <span style="display: inline; color: rgb(110,10,0)">comma</span> (#<span style="display: inline; color: rgb(0,30,190)">,</span>)<em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
token</span></strong> <span style="display: inline; color: rgb(110,10,0)">hyphen</span> (#<span style="display: inline; color: rgb(0,30,190)">-</span>)<em><span style="display: inline; color: rgb(000,100,000)">.</span></em><strong><span style="display: inline; color: rgb(255,000,000)">
token</span></strong> <span style="display: inline; color: rgb(110,10,0)">slash</span> (#<span style="display: inline; color: rgb(0,30,190)">/</span>)<em><span style="display: inline; color: rgb(000,100,000)">.</span></em><strong><span style="display: inline; color: rgb(255,000,000)">
ignore</span></strong> (<span style="display: inline; color: rgb(0,30,190)">[</span>#<span style="display: inline; color: rgb(0,30,190)"> </span>#<span style="display: inline; color: rgb(0,30,190)">r</span>#<span style="display: inline; color: rgb(0,30,190)">n</span><span style="display: inline; color: rgb(0,30,190)">]</span>)<em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> Ignore whites.</span></em><strong><span style="display: inline; color: rgb(255,000,000)">
ignore</span></strong> (#<span style="display: inline; color: rgb(0,30,190)">/</span>#<span style="display: inline; color: rgb(0,30,190)">/</span><span style="display: inline; color: rgb(0,30,190)">.</span><span style="display: inline; color: rgb(0,30,190)">*</span>)<em><span style="display: inline; color: rgb(000,100,000)">. Ignore line comments. </span></em>
<em><span style="display: inline; color: rgb(000,100,000)"> </span></em><br /><div align="left" style="display: inline-block; width: 8px;"></div><span style="display: inline; color: rgb(0,100,0)"><strong><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;">grammar.apg2</span></strong></span> line 236</pre><br><br> <a id="subsec2_3"></a><span style="font-size: 120%;"><strong>2.3. The <span style="font-style: normal;"><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;"><span style="display: inline; color: rgb(180,0,0)">balanced</span></span></span> lexer</strong></span><div align="center"> </div>
The <em><span style="display: inline; color: rgb(160,032,240)">balanced</span></em> lexer for reading <span style="font-style: normal;"><strong><span style="display: inline; color: rgb(110,000,000)">Anubis</span></strong></span> expressions delimited by a pair
of parentheses, and where parentheses are balanced.
<pre style="color: inherit; font-size: inherit; background-color: rgb(240,240,220); width: inherit;"><strong><span style="display: inline; color: rgb(255,000,000)">
lexer</span></strong> <span style="display: inline; color: rgb(110,10,0)">balanced</span><em><span style="display: inline; color: rgb(000,100,000)">.</span></em><strong><span style="display: inline; color: rgb(255,000,000)">
token</span></strong> <span style="display: inline; color: rgb(110,10,0)">lpar</span> (#<span style="display: inline; color: rgb(233,150,122)">(</span>)<em><span style="display: inline; color: rgb(000,100,000)">.</span></em><strong><span style="display: inline; color: rgb(255,000,000)">
token</span></strong> <span style="display: inline; color: rgb(110,10,0)">rpar</span> (#<span style="display: inline; color: rgb(233,150,122)">)</span>)<em><span style="display: inline; color: rgb(000,100,000)">.</span></em><strong><span style="display: inline; color: rgb(255,000,000)">
token</span></strong> <span style="display: inline; color: rgb(110,10,0)">text</span> (<span style="display: inline; color: rgb(0,30,190)">[</span><span style="display: inline; color: rgb(0,30,190)">^</span>#<span style="display: inline; color: rgb(233,150,122)">(</span>#<span style="display: inline; color: rgb(233,150,122)">)</span><span style="display: inline; color: rgb(0,30,190)">]</span><span style="display: inline; color: rgb(0,30,190)">+</span>) (<strong><span style="display: inline; color: rgb(233,150,122)">String</span></strong>) (<span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">o</span><span style="display: inline; color: rgb(0,30,190)">_</span><span style="display: inline; color: rgb(0,30,190)">s</span><span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">r</span><span style="display: inline; color: rgb(0,30,190)">i</span><span style="display: inline; color: rgb(0,30,190)">n</span><span style="display: inline; color: rgb(0,30,190)">g</span>(#<span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">x</span><span style="display: inline; color: rgb(0,30,190)">t</span>)).
<em><span style="display: inline; color: rgb(000,100,000)"> </span></em><br /><div align="left" style="display: inline-block; width: 8px;"></div><span style="display: inline; color: rgb(0,100,0)"><strong><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;">grammar.apg2</span></strong></span> line 249</pre><br><br> <a id="subsec2_4"></a><span style="font-size: 120%;"><strong>2.4. The <span style="font-style: normal;"><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;"><span style="display: inline; color: rgb(180,0,0)">verbatim</span></span></span> lexer</strong></span><div align="center"> </div>
This lexer is for reading the content of the preambule and postambule (that
will make lists of lines and newline characters). This means that when the
preambule/postambule is to be written into the generated file, newline
characters must not be added.
<pre style="color: inherit; font-size: inherit; background-color: rgb(240,240,220); width: inherit;"><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
lexer</span></strong> <span style="display: inline; color: rgb(110,10,0)">verbatim</span><em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
token</span></strong> <span style="display: inline; color: rgb(110,10,0)">end</span> (#<span style="display: inline; color: rgb(0,30,190)">n</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">n</span><span style="display: inline; color: rgb(0,30,190)">d</span>)<em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
token</span></strong> <span style="display: inline; color: rgb(110,10,0)">line</span> (<span style="display: inline; color: rgb(0,30,190)">.</span><span style="display: inline; color: rgb(0,30,190)">*</span>) (<strong><span style="display: inline; color: rgb(233,150,122)">String</span></strong>) (<span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">o</span><span style="display: inline; color: rgb(0,30,190)">_</span><span style="display: inline; color: rgb(0,30,190)">s</span><span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">r</span><span style="display: inline; color: rgb(0,30,190)">i</span><span style="display: inline; color: rgb(0,30,190)">n</span><span style="display: inline; color: rgb(0,30,190)">g</span>(#<span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">x</span><span style="display: inline; color: rgb(0,30,190)">t</span>))<em><span style="display: inline; color: rgb(000,100,000)">.</span></em><strong><span style="display: inline; color: rgb(255,000,000)">
token</span></strong> <span style="display: inline; color: rgb(110,10,0)">nl</span> (#<span style="display: inline; color: rgb(0,30,190)">n</span>) (<strong><span style="display: inline; color: rgb(233,150,122)">String</span></strong>) (<span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">o</span><span style="display: inline; color: rgb(0,30,190)">_</span><span style="display: inline; color: rgb(0,30,190)">s</span><span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">r</span><span style="display: inline; color: rgb(0,30,190)">i</span><span style="display: inline; color: rgb(0,30,190)">n</span><span style="display: inline; color: rgb(0,30,190)">g</span>(#<span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">x</span><span style="display: inline; color: rgb(0,30,190)">t</span>)).<em><span style="display: inline; color: rgb(000,100,000)"> </span></em>
<em><span style="display: inline; color: rgb(000,100,000)"> </span></em><br /><div align="left" style="display: inline-block; width: 8px;"></div><span style="display: inline; color: rgb(0,100,0)"><strong><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;">grammar.apg2</span></strong></span> line 264</pre><br><br>
<a id="sec3"></a><div align="center"> </div><span style="font-size: 120%;"><span style="font-size: 120%;"><strong>3. <span style="font-style: normal;"><strong><span style="display: inline; color: rgb(100,100,0)">A</span><span style="display: inline; color: rgb(0,100,100)">P</span><span style="display: inline; color: rgb(100,0,100)">G</span><span style="display: inline; color: rgb(0,0,220)"><sub>2</sub></span></strong></span> declarations</strong></span></span><div align="center"> </div>
<span style="font-style: normal;"><strong><span style="display: inline; color: rgb(100,100,0)">A</span><span style="display: inline; color: rgb(0,100,100)">P</span><span style="display: inline; color: rgb(100,0,100)">G</span><span style="display: inline; color: rgb(0,0,220)"><sub>2</sub></span></strong></span> requires that we declare the types of non terminals, and also
precedence and association rules. <br><br> <a id="subsec3_1"></a><span style="font-size: 120%;"><strong>3.1. Declaring types of non terminals</strong></span><div align="center"> </div>
As usual, non terminal names ending by <span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;">1</span> represent non empty
lists. <br><br> Rewrite rules:
<pre style="color: inherit; font-size: inherit; background-color: rgb(240,240,220); width: inherit;"><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
type</span></strong> (<strong><span style="display: inline; color: rgb(233,150,122)">WSchema</span></strong>) <strong><span style="display: inline; color: rgb(255,000,000)">RSCHEMA</span></strong><em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
type</span></strong> (<strong><span style="display: inline; color: rgb(233,150,122)">List</span></strong>(<strong><span style="display: inline; color: rgb(233,150,122)">WSchema</span></strong>)) <strong><span style="display: inline; color: rgb(255,000,000)">RSCHEMAS1</span></strong><em><span style="display: inline; color: rgb(000,100,000)">.</span></em><strong><span style="display: inline; color: rgb(255,000,000)">
type</span></strong> (<strong><span style="display: inline; color: rgb(233,150,122)">WValue</span></strong>) <strong><span style="display: inline; color: rgb(255,000,000)">RVALUE</span></strong><em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
type</span></strong> (<strong><span style="display: inline; color: rgb(233,150,122)">List</span></strong>(<strong><span style="display: inline; color: rgb(233,150,122)">WValue</span></strong>)) <strong><span style="display: inline; color: rgb(255,000,000)">RVALUES1</span></strong><em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
type</span></strong> (<strong><span style="display: inline; color: rgb(233,150,122)">Maybe</span></strong>(<strong><span style="display: inline; color: rgb(233,150,122)">String</span></strong>)) <strong><span style="display: inline; color: rgb(255,000,000)">MBCondition</span></strong>.<em><span style="display: inline; color: rgb(000,100,000)"> </span></em>
<em><span style="display: inline; color: rgb(000,100,000)"> </span></em><br /><div align="left" style="display: inline-block; width: 8px;"></div><span style="display: inline; color: rgb(0,100,0)"><strong><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;">grammar.apg2</span></strong></span> line 285</pre>
Declarations of primitives:
<pre style="color: inherit; font-size: inherit; background-color: rgb(240,240,220); width: inherit;"><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
type</span></strong> (<strong><span style="display: inline; color: rgb(233,150,122)">List</span></strong>(<strong><span style="display: inline; color: rgb(233,150,122)">JCtxtDec</span></strong>)) <strong><span style="display: inline; color: rgb(255,000,000)">JCTXT</span></strong> <strong><span style="display: inline; color: rgb(255,000,000)">JCTXTDECS1</span></strong><em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
type</span></strong> (<strong><span style="display: inline; color: rgb(233,150,122)">JCtxtDec</span></strong>) <strong><span style="display: inline; color: rgb(255,000,000)">JCTXTDEC</span></strong><em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
type</span></strong> (<strong><span style="display: inline; color: rgb(233,150,122)">JudgExpr</span></strong>) <strong><span style="display: inline; color: rgb(255,000,000)">JEXPR</span></strong> <strong><span style="display: inline; color: rgb(255,000,000)">JOPERAND</span></strong><em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
type</span></strong> (<strong><span style="display: inline; color: rgb(233,150,122)">List</span></strong>(<strong><span style="display: inline; color: rgb(233,150,122)">JudgExpr</span></strong>)) <strong><span style="display: inline; color: rgb(255,000,000)">JOPERANDS1</span></strong><em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
type</span></strong> (<strong><span style="display: inline; color: rgb(233,150,122)">TailJudg</span></strong>) <strong><span style="display: inline; color: rgb(255,000,000)">TAILJUDG</span></strong><em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
type</span></strong> (<strong><span style="display: inline; color: rgb(233,150,122)">List</span></strong>(<strong><span style="display: inline; color: rgb(233,150,122)">TailJudg</span></strong>)) <strong><span style="display: inline; color: rgb(255,000,000)">TAILJUDGS</span></strong> <strong><span style="display: inline; color: rgb(255,000,000)">TAILJUDGS1</span></strong><em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
type</span></strong> (<strong><span style="display: inline; color: rgb(233,150,122)">HeadJudg</span></strong>) <strong><span style="display: inline; color: rgb(255,000,000)">HEADJUDG</span></strong><em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
type</span></strong> (<strong><span style="display: inline; color: rgb(233,150,122)">Level</span></strong>) <strong><span style="display: inline; color: rgb(255,000,000)">LEVEL</span></strong><em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
type</span></strong> (<strong><span style="display: inline; color: rgb(233,150,122)">Maybe</span></strong>(<strong><span style="display: inline; color: rgb(233,150,122)">Level</span></strong>)) <strong><span style="display: inline; color: rgb(255,000,000)">MBLEVEL</span></strong><em><span style="display: inline; color: rgb(000,100,000)">.</span></em><strong><span style="display: inline; color: rgb(255,000,000)">
type</span></strong> (<strong><span style="display: inline; color: rgb(233,150,122)">List</span></strong>(<strong><span style="display: inline; color: rgb(233,150,122)">Level</span></strong>)) <strong><span style="display: inline; color: rgb(255,000,000)">LEVELS1</span></strong>.<em><span style="display: inline; color: rgb(000,100,000)"> </span></em>
<em><span style="display: inline; color: rgb(000,100,000)"> </span></em><br /><div align="left" style="display: inline-block; width: 8px;"></div><span style="display: inline; color: rgb(0,100,0)"><strong><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;">grammar.apg2</span></strong></span> line 298</pre>
Typing relation:
<pre style="color: inherit; font-size: inherit; background-color: rgb(240,240,220); width: inherit;"><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
type</span></strong> (<strong><span style="display: inline; color: rgb(233,150,122)">Typing</span></strong>) <strong><span style="display: inline; color: rgb(255,000,000)">TYPINGITEM</span></strong><em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
type</span></strong> (<strong><span style="display: inline; color: rgb(233,150,122)">List</span></strong>(<strong><span style="display: inline; color: rgb(233,150,122)">Typing</span></strong>)) <strong><span style="display: inline; color: rgb(255,000,000)">TYPINGITEMS</span></strong>.<em><span style="display: inline; color: rgb(000,100,000)"> </span></em>
<em><span style="display: inline; color: rgb(000,100,000)"> </span></em><br /><div align="left" style="display: inline-block; width: 8px;"></div><span style="display: inline; color: rgb(0,100,0)"><strong><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;">grammar.apg2</span></strong></span> line 303</pre>
Miscellany:
<pre style="color: inherit; font-size: inherit; background-color: rgb(240,240,220); width: inherit;"><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
type</span></strong> (<strong><span style="display: inline; color: rgb(233,150,122)">String</span></strong>) <strong><span style="display: inline; color: rgb(255,000,000)">BALANCED</span></strong><em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
type</span></strong> (<strong><span style="display: inline; color: rgb(233,150,122)">Maybe</span></strong>(<strong><span style="display: inline; color: rgb(233,150,122)">FirstName</span></strong>)) <strong><span style="display: inline; color: rgb(255,000,000)">MBFN</span></strong><em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
type</span></strong> (<strong><span style="display: inline; color: rgb(233,150,122)">List</span></strong>(<strong><span style="display: inline; color: rgb(233,150,122)">String</span></strong>)) <strong><span style="display: inline; color: rgb(255,000,000)">ALINES</span></strong>.<em><span style="display: inline; color: rgb(000,100,000)"> </span></em>
<em><span style="display: inline; color: rgb(000,100,000)"> </span></em><br /><div align="left" style="display: inline-block; width: 8px;"></div><span style="display: inline; color: rgb(0,100,0)"><strong><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;">grammar.apg2</span></strong></span> line 309</pre><br><br> <a id="subsec3_2"></a><span style="font-size: 120%;"><strong>3.2. Precedence levels and association modes</strong></span><div align="center"> </div>
Not that many are needed.
<pre style="color: inherit; font-size: inherit; background-color: rgb(240,240,220); width: inherit;"><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
nonassoc</span></strong> <span style="display: inline; color: rgb(110,10,0)">low</span><em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
nonassoc</span></strong> <span style="display: inline; color: rgb(110,10,0)">symbol</span> <span style="display: inline; color: rgb(110,10,0)">upsymbol</span> <span style="display: inline; color: rgb(110,10,0)">text</span><em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
nonassoc</span></strong> <span style="display: inline; color: rgb(110,10,0)">lbracket</span> <span style="display: inline; color: rgb(110,10,0)">lpar</span><em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
nonassoc</span></strong> <span style="display: inline; color: rgb(110,10,0)">colon</span><em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
nonassoc</span></strong> <span style="display: inline; color: rgb(110,10,0)">high</span>.<em><span style="display: inline; color: rgb(000,100,000)"> </span></em>
<em><span style="display: inline; color: rgb(000,100,000)"> </span></em><br /><div align="left" style="display: inline-block; width: 8px;"></div><span style="display: inline; color: rgb(0,100,0)"><strong><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;">grammar.apg2</span></strong></span> line 320</pre><br><br>
<a id="sec4"></a><div align="center"> </div><span style="font-size: 120%;"><span style="font-size: 120%;"><strong>4. The grammar rules</strong></span></span><div align="center"> </div>
<a id="subsec4_1"></a><span style="font-size: 120%;"><strong>4.1. The overall <span style="font-style: normal;"><strong><span style="display: inline; color: rgb(110,000,000)">Op</span><span style="display: inline; color: rgb(000,000,128)">Lang</span></strong></span> text</strong></span><div align="center"> </div>
We start reading the whole <span style="font-style: normal;"><strong><span style="display: inline; color: rgb(110,000,000)">Op</span><span style="display: inline; color: rgb(000,000,128)">Lang</span></strong></span> text with the <span style="font-style: normal;"><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;"><span style="display: inline; color: rgb(180,0,0)">default</span></span></span> lexer.
An <span style="font-style: normal;"><strong><span style="display: inline; color: rgb(110,000,000)">Op</span><span style="display: inline; color: rgb(000,000,128)">Lang</span></strong></span> text is a mandatory preambule followed just by sentences and a non
mandatory postambule.
<pre style="color: inherit; font-size: inherit; background-color: rgb(240,240,220); width: inherit;"><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
lexer</span></strong> <span style="display: inline; color: rgb(110,10,0)">default</span><em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
OPLANG</span></strong>: <strong><span style="display: inline; color: rgb(255,000,000)">PRE</span></strong> <strong><span style="display: inline; color: rgb(255,000,000)">TEXT</span></strong> <strong><span style="display: inline; color: rgb(255,000,000)">POST</span></strong><em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
TEXT</span></strong>: <em><span style="display: inline; color: rgb(000,100,000)">.</span></em><strong><span style="display: inline; color: rgb(255,000,000)">
TEXT</span></strong>: <strong><span style="display: inline; color: rgb(255,000,000)">TEXT</span></strong> <strong><span style="display: inline; color: rgb(255,000,000)">SENTENCE</span></strong>.<em><span style="display: inline; color: rgb(000,100,000)"> </span></em>
<em><span style="display: inline; color: rgb(000,100,000)"> </span></em><br /><div align="left" style="display: inline-block; width: 8px;"></div><span style="display: inline; color: rgb(0,100,0)"><strong><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;">grammar.apg2</span></strong></span> line 336</pre><br><br> <a id="subsec4_2"></a><span style="font-size: 120%;"><strong>4.2. Preambule and postambule</strong></span><div align="center"> </div>
Only the preambule is mandatory. The preambule and the postambule are made of
a list of lines.
<pre style="color: inherit; font-size: inherit; background-color: rgb(240,240,220); width: inherit;"><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
lexer</span></strong> <span style="display: inline; color: rgb(110,10,0)">default</span><em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
PRE</span></strong>@(<span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">x</span><span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">r</span><span style="display: inline; color: rgb(0,30,190)">a</span><span style="display: inline; color: rgb(0,30,190)">[</span><span style="display: inline; color: rgb(0,30,190)">p</span><span style="display: inline; color: rgb(0,30,190)">r</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">a</span><span style="display: inline; color: rgb(0,30,190)">m</span><span style="display: inline; color: rgb(0,30,190)">b</span><span style="display: inline; color: rgb(0,30,190)">u</span><span style="display: inline; color: rgb(0,30,190)">l</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)"> </span><span style="display: inline; color: rgb(0,30,190)"><</span><span style="display: inline; color: rgb(0,30,190)">-</span><span style="display: inline; color: rgb(0,30,190)"> </span><span style="display: inline; color: rgb(0,30,190)">l</span><span style="display: inline; color: rgb(0,30,190)">]</span>):
<span style="display: inline; color: rgb(110,10,0)">preambule</span> <span style="display: inline; color: rgb(0,110,10)">-verbatim</span> <strong><span style="display: inline; color: rgb(255,000,000)">ALINES</span></strong>(<span style="display: inline; color: rgb(0,30,190)">l</span>) <span style="display: inline; color: rgb(110,10,0)">end</span> <span style="display: inline; color: rgb(0,110,10)">-default</span><em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
POST</span></strong>@(<span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">x</span><span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">r</span><span style="display: inline; color: rgb(0,30,190)">a</span><span style="display: inline; color: rgb(0,30,190)">[</span><span style="display: inline; color: rgb(0,30,190)">p</span><span style="display: inline; color: rgb(0,30,190)">o</span><span style="display: inline; color: rgb(0,30,190)">s</span><span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">a</span><span style="display: inline; color: rgb(0,30,190)">m</span><span style="display: inline; color: rgb(0,30,190)">b</span><span style="display: inline; color: rgb(0,30,190)">u</span><span style="display: inline; color: rgb(0,30,190)">l</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)"> </span><span style="display: inline; color: rgb(0,30,190)"><</span><span style="display: inline; color: rgb(0,30,190)">-</span><span style="display: inline; color: rgb(0,30,190)"> </span><span style="display: inline; color: rgb(0,30,190)">[</span><span style="display: inline; color: rgb(0,30,190)">]</span><span style="display: inline; color: rgb(0,30,190)">]</span>): [<span style="display: inline; color: rgb(110,10,0)">low</span>]<em><span style="display: inline; color: rgb(000,100,000)">.</span></em><strong><span style="display: inline; color: rgb(255,000,000)">
POST</span></strong>@(<span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">x</span><span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">r</span><span style="display: inline; color: rgb(0,30,190)">a</span><span style="display: inline; color: rgb(0,30,190)">[</span><span style="display: inline; color: rgb(0,30,190)">p</span><span style="display: inline; color: rgb(0,30,190)">o</span><span style="display: inline; color: rgb(0,30,190)">s</span><span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">a</span><span style="display: inline; color: rgb(0,30,190)">m</span><span style="display: inline; color: rgb(0,30,190)">b</span><span style="display: inline; color: rgb(0,30,190)">u</span><span style="display: inline; color: rgb(0,30,190)">l</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)"> </span><span style="display: inline; color: rgb(0,30,190)"><</span><span style="display: inline; color: rgb(0,30,190)">-</span><span style="display: inline; color: rgb(0,30,190)"> </span><span style="display: inline; color: rgb(0,30,190)">l</span><span style="display: inline; color: rgb(0,30,190)">]</span>):
<span style="display: inline; color: rgb(110,10,0)">postambule</span> <span style="display: inline; color: rgb(0,110,10)">-verbatim</span> <strong><span style="display: inline; color: rgb(255,000,000)">ALINES</span></strong>(<span style="display: inline; color: rgb(0,30,190)">l</span>) <span style="display: inline; color: rgb(110,10,0)">end</span> <span style="display: inline; color: rgb(0,110,10)">-default</span>.<em><span style="display: inline; color: rgb(000,100,000)"> </span></em>
<em><span style="display: inline; color: rgb(000,100,000)"> </span></em><br /><div align="left" style="display: inline-block; width: 8px;"></div><span style="display: inline; color: rgb(0,100,0)"><strong><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;">grammar.apg2</span></strong></span> line 350</pre>
Reading the content of the preambule or postambule (lines and newline
characters).
<pre style="color: inherit; font-size: inherit; background-color: rgb(240,240,220); width: inherit;"><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
lexer</span></strong> <span style="display: inline; color: rgb(110,10,0)">verbatim</span><em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
ALINES</span></strong>(<span style="display: inline; color: rgb(0,30,190)">[</span><span style="display: inline; color: rgb(0,30,190)">]</span>): <em><span style="display: inline; color: rgb(000,100,000)">.</span></em><strong><span style="display: inline; color: rgb(255,000,000)">
ALINES</span></strong>(<span style="display: inline; color: rgb(0,30,190)">[</span><span style="display: inline; color: rgb(0,30,190)">h</span><span style="display: inline; color: rgb(0,30,190)"> </span><span style="display: inline; color: rgb(0,30,190)">.</span><span style="display: inline; color: rgb(0,30,190)"> </span><span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">]</span>): <span style="display: inline; color: rgb(110,10,0)">line</span>(<span style="display: inline; color: rgb(0,30,190)">h</span>) <strong><span style="display: inline; color: rgb(255,000,000)">ALINES</span></strong>(<span style="display: inline; color: rgb(0,30,190)">t</span>)<em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
ALINES</span></strong>(<span style="display: inline; color: rgb(0,30,190)">[</span><span style="display: inline; color: rgb(0,30,190)">h</span><span style="display: inline; color: rgb(0,30,190)"> </span><span style="display: inline; color: rgb(0,30,190)">.</span><span style="display: inline; color: rgb(0,30,190)"> </span><span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">]</span>): <span style="display: inline; color: rgb(110,10,0)">nl</span>(<span style="display: inline; color: rgb(0,30,190)">h</span>) <strong><span style="display: inline; color: rgb(255,000,000)">ALINES</span></strong>(<span style="display: inline; color: rgb(0,30,190)">t</span>).<em><span style="display: inline; color: rgb(000,100,000)"> </span></em>
<em><span style="display: inline; color: rgb(000,100,000)"> </span></em><br /><div align="left" style="display: inline-block; width: 8px;"></div><span style="display: inline; color: rgb(0,100,0)"><strong><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;">grammar.apg2</span></strong></span> line 358</pre><br><br> <a id="subsec4_3"></a><span style="font-size: 120%;"><strong>4.3. Balanced <span style="font-style: normal;"><strong><span style="display: inline; color: rgb(110,000,000)">Anubis</span></strong></span> expressions</strong></span><div align="center"> </div>
Reading <em><span style="display: inline; color: rgb(160,032,240)">balanced</span></em> (<span style="font-style: normal;"><strong><span style="display: inline; color: rgb(110,000,000)">Anubis 1</span></strong></span>) expressions (using the <span style="font-style: normal;"><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;"><span style="display: inline; color: rgb(180,0,0)">balanced</span></span></span> lexer).
<pre style="color: inherit; font-size: inherit; background-color: rgb(240,240,220); width: inherit;"><strong><span style="display: inline; color: rgb(255,000,000)">
lexer</span></strong> <span style="display: inline; color: rgb(110,10,0)">balanced</span><em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
BALANCED</span></strong>(<span style="display: inline; color: rgb(0,30,190)">t</span>): <span style="display: inline; color: rgb(110,10,0)">text</span>(<span style="display: inline; color: rgb(0,30,190)">t</span>)<em><span style="display: inline; color: rgb(000,100,000)">.</span></em><strong><span style="display: inline; color: rgb(255,000,000)">
BALANCED</span></strong>(<span style="display: inline; color: rgb(0,30,190)">"</span>(<span style="display: inline; color: rgb(0,30,190)">"</span><span style="display: inline; color: rgb(0,30,190)">+</span><span style="display: inline; color: rgb(0,30,190)">b</span><span style="display: inline; color: rgb(0,30,190)">+</span><span style="display: inline; color: rgb(0,30,190)">"</span>)<span style="display: inline; color: rgb(0,30,190)">"</span>): <span style="display: inline; color: rgb(110,10,0)">lpar</span> <strong><span style="display: inline; color: rgb(255,000,000)">BALANCED</span></strong>(<span style="display: inline; color: rgb(0,30,190)">b</span>) <span style="display: inline; color: rgb(110,10,0)">rpar</span><em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
BALANCED</span></strong>(<span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">+</span><span style="display: inline; color: rgb(0,30,190)">b</span>): <strong><span style="display: inline; color: rgb(255,000,000)">BALANCED</span></strong>(<span style="display: inline; color: rgb(0,30,190)">t</span>) <strong><span style="display: inline; color: rgb(255,000,000)">BALANCED</span></strong>(<span style="display: inline; color: rgb(0,30,190)">b</span>) [<span style="display: inline; color: rgb(110,10,0)">low</span>].
<em><span style="display: inline; color: rgb(000,100,000)"> </span></em><br /><div align="left" style="display: inline-block; width: 8px;"></div><span style="display: inline; color: rgb(0,100,0)"><strong><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;">grammar.apg2</span></strong></span> line 368</pre><br><br> <a id="subsec4_4"></a><span style="font-size: 120%;"><strong>4.4. <span style="font-style: normal;"><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;"><strong><span style="display: inline; color: rgb(200,0,120)">name</span></strong></span></span></strong></span><div align="center"> </div>
The function <span style="font-style: normal;"><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;"><span style="display: inline; color: rgb(180,0,0)">record_name</span></span></span> checks that the program has only one name.
<pre style="color: inherit; font-size: inherit; background-color: rgb(240,240,220); width: inherit;"><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
lexer</span></strong> <span style="display: inline; color: rgb(110,10,0)">default</span><em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
SENTENCE</span></strong>@#(<span style="display: inline; color: rgb(0,30,190)">r</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">c</span><span style="display: inline; color: rgb(0,30,190)">o</span><span style="display: inline; color: rgb(0,30,190)">r</span><span style="display: inline; color: rgb(0,30,190)">d</span><span style="display: inline; color: rgb(0,30,190)">_</span><span style="display: inline; color: rgb(0,30,190)">n</span><span style="display: inline; color: rgb(0,30,190)">a</span><span style="display: inline; color: rgb(0,30,190)">m</span><span style="display: inline; color: rgb(0,30,190)">e</span>(<span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">x</span><span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">r</span><span style="display: inline; color: rgb(0,30,190)">a</span><span style="display: inline; color: rgb(0,30,190)">,</span><span style="display: inline; color: rgb(0,30,190)">n</span>)): <span style="display: inline; color: rgb(110,10,0)">name</span>(<span style="display: inline; color: rgb(0,30,190)">l</span><span style="display: inline; color: rgb(0,30,190)">i</span><span style="display: inline; color: rgb(0,30,190)">n</span><span style="display: inline; color: rgb(0,30,190)">e</span>) <span style="display: inline; color: rgb(0,110,10)">-in</span> <span style="display: inline; color: rgb(110,10,0)">upsymbol</span>(<span style="display: inline; color: rgb(0,30,190)">n</span>) <span style="display: inline; color: rgb(110,10,0)">dot</span> <span style="display: inline; color: rgb(0,110,10)">-default</span>.<em><span style="display: inline; color: rgb(000,100,000)"> </span></em>
<em><span style="display: inline; color: rgb(000,100,000)"> </span></em><br /><div align="left" style="display: inline-block; width: 8px;"></div><span style="display: inline; color: rgb(0,100,0)"><strong><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;">grammar.apg2</span></strong></span> line 377</pre><br><br> <a id="subsec4_5"></a><span style="font-size: 120%;"><strong>4.5. <span style="font-style: normal;"><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;"><strong><span style="display: inline; color: rgb(200,0,120)">typing</span></strong></span></span></strong></span><div align="center"> </div>
The function <span style="font-style: normal;"><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;"><span style="display: inline; color: rgb(180,0,0)">record_typings</span></span></span> records each pair of the typing relation
and checks that the same layer name does not appear twice.
<pre style="color: inherit; font-size: inherit; background-color: rgb(240,240,220); width: inherit;"><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
lexer</span></strong> <span style="display: inline; color: rgb(110,10,0)">default</span><em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
SENTENCE</span></strong>@#(<span style="display: inline; color: rgb(0,30,190)">r</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">c</span><span style="display: inline; color: rgb(0,30,190)">o</span><span style="display: inline; color: rgb(0,30,190)">r</span><span style="display: inline; color: rgb(0,30,190)">d</span><span style="display: inline; color: rgb(0,30,190)">_</span><span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">y</span><span style="display: inline; color: rgb(0,30,190)">p</span><span style="display: inline; color: rgb(0,30,190)">i</span><span style="display: inline; color: rgb(0,30,190)">n</span><span style="display: inline; color: rgb(0,30,190)">g</span><span style="display: inline; color: rgb(0,30,190)">s</span>(<span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">x</span><span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">r</span><span style="display: inline; color: rgb(0,30,190)">a</span><span style="display: inline; color: rgb(0,30,190)">,</span><span style="display: inline; color: rgb(0,30,190)">i</span>)):
<span style="display: inline; color: rgb(110,10,0)">typing</span>(<span style="display: inline; color: rgb(0,30,190)">l</span><span style="display: inline; color: rgb(0,30,190)">i</span><span style="display: inline; color: rgb(0,30,190)">n</span><span style="display: inline; color: rgb(0,30,190)">e</span>) <span style="display: inline; color: rgb(0,110,10)">-in</span> <strong><span style="display: inline; color: rgb(255,000,000)">TYPINGITEMS</span></strong>(<span style="display: inline; color: rgb(0,30,190)">i</span>) <span style="display: inline; color: rgb(110,10,0)">dot</span> <span style="display: inline; color: rgb(0,110,10)">-default</span>.<em><span style="display: inline; color: rgb(000,100,000)"> </span></em>
<em><span style="display: inline; color: rgb(000,100,000)"> </span></em><br /><div align="left" style="display: inline-block; width: 8px;"></div><span style="display: inline; color: rgb(0,100,0)"><strong><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;">grammar.apg2</span></strong></span> line 390</pre>
Reading typing items, i.e. expressions such as <span style="font-style: normal;"><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;">(<span style="display: inline; color: rgb(0,80,0)"><strong><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;"><Layer></span></strong></span>)<span style="display: inline; color: rgb(0,80,0)"><strong><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;"><Layer></span></strong></span></span></span>.
<pre style="color: inherit; font-size: inherit; background-color: rgb(240,240,220); width: inherit;"><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
lexer</span></strong> <span style="display: inline; color: rgb(110,10,0)">in</span><em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
TYPINGITEMS</span></strong>(<span style="display: inline; color: rgb(0,30,190)">[</span><span style="display: inline; color: rgb(0,30,190)">]</span>): <em><span style="display: inline; color: rgb(000,100,000)">.</span></em><strong><span style="display: inline; color: rgb(255,000,000)">
TYPINGITEMS</span></strong>(<span style="display: inline; color: rgb(0,30,190)">[</span><span style="display: inline; color: rgb(0,30,190)">h</span><span style="display: inline; color: rgb(0,30,190)"> </span><span style="display: inline; color: rgb(0,30,190)">.</span><span style="display: inline; color: rgb(0,30,190)"> </span><span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">]</span>): <strong><span style="display: inline; color: rgb(255,000,000)">TYPINGITEM</span></strong>(<span style="display: inline; color: rgb(0,30,190)">h</span>) <strong><span style="display: inline; color: rgb(255,000,000)">TYPINGITEMS</span></strong>(<span style="display: inline; color: rgb(0,30,190)">t</span>)<em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
TYPINGITEM</span></strong>(<span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">y</span><span style="display: inline; color: rgb(0,30,190)">p</span><span style="display: inline; color: rgb(0,30,190)">i</span><span style="display: inline; color: rgb(0,30,190)">n</span><span style="display: inline; color: rgb(0,30,190)">g</span><span style="display: inline; color: rgb(0,30,190)">_</span><span style="display: inline; color: rgb(0,30,190)">p</span><span style="display: inline; color: rgb(0,30,190)">a</span><span style="display: inline; color: rgb(0,30,190)">i</span><span style="display: inline; color: rgb(0,30,190)">r</span>(<span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">,</span><span style="display: inline; color: rgb(0,30,190)">e</span>)): <span style="display: inline; color: rgb(110,10,0)">lpar</span> <span style="display: inline; color: rgb(110,10,0)">upsymbol</span>(<span style="display: inline; color: rgb(0,30,190)">t</span>) <span style="display: inline; color: rgb(110,10,0)">rpar</span> <span style="display: inline; color: rgb(110,10,0)">upsymbol</span>(<span style="display: inline; color: rgb(0,30,190)">e</span>).<em><span style="display: inline; color: rgb(000,100,000)"> </span></em>
<em><span style="display: inline; color: rgb(000,100,000)"> </span></em><br /><div align="left" style="display: inline-block; width: 8px;"></div><span style="display: inline; color: rgb(0,100,0)"><strong><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;">grammar.apg2</span></strong></span> line 397</pre><br><br> <a id="subsec4_6"></a><span style="font-size: 120%;"><strong>4.6. <span style="font-style: normal;"><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;"><strong><span style="display: inline; color: rgb(200,0,120)">primitive</span></strong></span></span> and <span style="font-style: normal;"><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;"><strong><span style="display: inline; color: rgb(200,0,120)">definable</span></strong></span></span></strong></span><div align="center"> </div>
<pre style="color: inherit; font-size: inherit; background-color: rgb(240,240,220); width: inherit;"><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
lexer</span></strong> <span style="display: inline; color: rgb(110,10,0)">default</span><em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
SENTENCE</span></strong>@(<span style="display: inline; color: rgb(0,30,190)">r</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">c</span><span style="display: inline; color: rgb(0,30,190)">o</span><span style="display: inline; color: rgb(0,30,190)">r</span><span style="display: inline; color: rgb(0,30,190)">d</span><span style="display: inline; color: rgb(0,30,190)">_</span><span style="display: inline; color: rgb(0,30,190)">o</span><span style="display: inline; color: rgb(0,30,190)">p</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">r</span><span style="display: inline; color: rgb(0,30,190)">a</span><span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">o</span><span style="display: inline; color: rgb(0,30,190)">r</span>(<span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">x</span><span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">r</span><span style="display: inline; color: rgb(0,30,190)">a</span><span style="display: inline; color: rgb(0,30,190)">,</span><span style="display: inline; color: rgb(0,30,190)">p</span><span style="display: inline; color: rgb(0,30,190)">r</span><span style="display: inline; color: rgb(0,30,190)">i</span><span style="display: inline; color: rgb(0,30,190)">m</span><span style="display: inline; color: rgb(0,30,190)">i</span><span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">i</span><span style="display: inline; color: rgb(0,30,190)">v</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">,</span><span style="display: inline; color: rgb(0,30,190)">l</span><span style="display: inline; color: rgb(0,30,190)">i</span><span style="display: inline; color: rgb(0,30,190)">n</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">,</span><span style="display: inline; color: rgb(0,30,190)">c</span><span style="display: inline; color: rgb(0,30,190)">,</span><span style="display: inline; color: rgb(0,30,190)">h</span>)):
<span style="display: inline; color: rgb(110,10,0)">primitive</span>(<span style="display: inline; color: rgb(0,30,190)">l</span><span style="display: inline; color: rgb(0,30,190)">i</span><span style="display: inline; color: rgb(0,30,190)">n</span><span style="display: inline; color: rgb(0,30,190)">e</span>) <span style="display: inline; color: rgb(0,110,10)">-in</span> <strong><span style="display: inline; color: rgb(255,000,000)">HEADJUDG</span></strong>(<span style="display: inline; color: rgb(0,30,190)">c</span>) <span style="display: inline; color: rgb(110,10,0)">where</span> <strong><span style="display: inline; color: rgb(255,000,000)">TAILJUDGS</span></strong>(<span style="display: inline; color: rgb(0,30,190)">h</span>) <span style="display: inline; color: rgb(110,10,0)">dot</span> <span style="display: inline; color: rgb(0,110,10)">-default</span><em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
SENTENCE</span></strong>@(<span style="display: inline; color: rgb(0,30,190)">r</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">c</span><span style="display: inline; color: rgb(0,30,190)">o</span><span style="display: inline; color: rgb(0,30,190)">r</span><span style="display: inline; color: rgb(0,30,190)">d</span><span style="display: inline; color: rgb(0,30,190)">_</span><span style="display: inline; color: rgb(0,30,190)">o</span><span style="display: inline; color: rgb(0,30,190)">p</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">r</span><span style="display: inline; color: rgb(0,30,190)">a</span><span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">o</span><span style="display: inline; color: rgb(0,30,190)">r</span>(<span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">x</span><span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">r</span><span style="display: inline; color: rgb(0,30,190)">a</span><span style="display: inline; color: rgb(0,30,190)">,</span><span style="display: inline; color: rgb(0,30,190)">p</span><span style="display: inline; color: rgb(0,30,190)">r</span><span style="display: inline; color: rgb(0,30,190)">i</span><span style="display: inline; color: rgb(0,30,190)">m</span><span style="display: inline; color: rgb(0,30,190)">i</span><span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">i</span><span style="display: inline; color: rgb(0,30,190)">v</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">,</span><span style="display: inline; color: rgb(0,30,190)">l</span><span style="display: inline; color: rgb(0,30,190)">i</span><span style="display: inline; color: rgb(0,30,190)">n</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">,</span><span style="display: inline; color: rgb(0,30,190)">c</span><span style="display: inline; color: rgb(0,30,190)">,</span><span style="display: inline; color: rgb(0,30,190)">[</span><span style="display: inline; color: rgb(0,30,190)">]</span>)):
<span style="display: inline; color: rgb(110,10,0)">primitive</span>(<span style="display: inline; color: rgb(0,30,190)">l</span><span style="display: inline; color: rgb(0,30,190)">i</span><span style="display: inline; color: rgb(0,30,190)">n</span><span style="display: inline; color: rgb(0,30,190)">e</span>) <span style="display: inline; color: rgb(0,110,10)">-in</span> <strong><span style="display: inline; color: rgb(255,000,000)">HEADJUDG</span></strong>(<span style="display: inline; color: rgb(0,30,190)">c</span>) <span style="display: inline; color: rgb(110,10,0)">dot</span> <span style="display: inline; color: rgb(0,110,10)">-default</span><em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
SENTENCE</span></strong>@(<span style="display: inline; color: rgb(0,30,190)">r</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">c</span><span style="display: inline; color: rgb(0,30,190)">o</span><span style="display: inline; color: rgb(0,30,190)">r</span><span style="display: inline; color: rgb(0,30,190)">d</span><span style="display: inline; color: rgb(0,30,190)">_</span><span style="display: inline; color: rgb(0,30,190)">o</span><span style="display: inline; color: rgb(0,30,190)">p</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">r</span><span style="display: inline; color: rgb(0,30,190)">a</span><span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">o</span><span style="display: inline; color: rgb(0,30,190)">r</span>(<span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">x</span><span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">r</span><span style="display: inline; color: rgb(0,30,190)">a</span><span style="display: inline; color: rgb(0,30,190)">,</span><span style="display: inline; color: rgb(0,30,190)">d</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">f</span><span style="display: inline; color: rgb(0,30,190)">i</span><span style="display: inline; color: rgb(0,30,190)">n</span><span style="display: inline; color: rgb(0,30,190)">a</span><span style="display: inline; color: rgb(0,30,190)">b</span><span style="display: inline; color: rgb(0,30,190)">l</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">,</span><span style="display: inline; color: rgb(0,30,190)">l</span><span style="display: inline; color: rgb(0,30,190)">i</span><span style="display: inline; color: rgb(0,30,190)">n</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">,</span><span style="display: inline; color: rgb(0,30,190)">c</span><span style="display: inline; color: rgb(0,30,190)">,</span><span style="display: inline; color: rgb(0,30,190)">h</span>)):
<span style="display: inline; color: rgb(110,10,0)">definable</span>(<span style="display: inline; color: rgb(0,30,190)">l</span><span style="display: inline; color: rgb(0,30,190)">i</span><span style="display: inline; color: rgb(0,30,190)">n</span><span style="display: inline; color: rgb(0,30,190)">e</span>) <span style="display: inline; color: rgb(0,110,10)">-in</span> <strong><span style="display: inline; color: rgb(255,000,000)">HEADJUDG</span></strong>(<span style="display: inline; color: rgb(0,30,190)">c</span>) <span style="display: inline; color: rgb(110,10,0)">where</span> <strong><span style="display: inline; color: rgb(255,000,000)">TAILJUDGS</span></strong>(<span style="display: inline; color: rgb(0,30,190)">h</span>) <span style="display: inline; color: rgb(110,10,0)">dot</span> <span style="display: inline; color: rgb(0,110,10)">-default</span><em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
SENTENCE</span></strong>@(<span style="display: inline; color: rgb(0,30,190)">r</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">c</span><span style="display: inline; color: rgb(0,30,190)">o</span><span style="display: inline; color: rgb(0,30,190)">r</span><span style="display: inline; color: rgb(0,30,190)">d</span><span style="display: inline; color: rgb(0,30,190)">_</span><span style="display: inline; color: rgb(0,30,190)">o</span><span style="display: inline; color: rgb(0,30,190)">p</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">r</span><span style="display: inline; color: rgb(0,30,190)">a</span><span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">o</span><span style="display: inline; color: rgb(0,30,190)">r</span>(<span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">x</span><span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">r</span><span style="display: inline; color: rgb(0,30,190)">a</span><span style="display: inline; color: rgb(0,30,190)">,</span><span style="display: inline; color: rgb(0,30,190)">d</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">f</span><span style="display: inline; color: rgb(0,30,190)">i</span><span style="display: inline; color: rgb(0,30,190)">n</span><span style="display: inline; color: rgb(0,30,190)">a</span><span style="display: inline; color: rgb(0,30,190)">b</span><span style="display: inline; color: rgb(0,30,190)">l</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">,</span><span style="display: inline; color: rgb(0,30,190)">l</span><span style="display: inline; color: rgb(0,30,190)">i</span><span style="display: inline; color: rgb(0,30,190)">n</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">,</span><span style="display: inline; color: rgb(0,30,190)">c</span><span style="display: inline; color: rgb(0,30,190)">,</span><span style="display: inline; color: rgb(0,30,190)">[</span><span style="display: inline; color: rgb(0,30,190)">]</span>)):
<span style="display: inline; color: rgb(110,10,0)">definable</span>(<span style="display: inline; color: rgb(0,30,190)">l</span><span style="display: inline; color: rgb(0,30,190)">i</span><span style="display: inline; color: rgb(0,30,190)">n</span><span style="display: inline; color: rgb(0,30,190)">e</span>) <span style="display: inline; color: rgb(0,110,10)">-in</span> <strong><span style="display: inline; color: rgb(255,000,000)">HEADJUDG</span></strong>(<span style="display: inline; color: rgb(0,30,190)">c</span>) <span style="display: inline; color: rgb(110,10,0)">dot</span> <span style="display: inline; color: rgb(0,110,10)">-default</span>.<em><span style="display: inline; color: rgb(000,100,000)"> </span></em>
<em><span style="display: inline; color: rgb(000,100,000)"> </span></em><br /><div align="left" style="display: inline-block; width: 8px;"></div><span style="display: inline; color: rgb(0,100,0)"><strong><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;">grammar.apg2</span></strong></span> line 412</pre><br><br> <a id="subsec4_7"></a><span style="font-size: 120%;"><strong>4.7. Judgment contexts</strong></span><div align="center"> </div>
These are the contexts that can appear as the end of a judgment within a pair
of square brackets.
<pre style="color: inherit; font-size: inherit; background-color: rgb(240,240,220); width: inherit;"><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
lexer</span></strong> <span style="display: inline; color: rgb(110,10,0)">in</span><em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em>
<em><span style="display: inline; color: rgb(000,100,000)"> Judgment context not present.</span></em><strong><span style="display: inline; color: rgb(255,000,000)">
JCTXT</span></strong>(<span style="display: inline; color: rgb(0,30,190)">[</span><span style="display: inline; color: rgb(0,30,190)">]</span>): <em><span style="display: inline; color: rgb(000,100,000)">.</span></em>
<em><span style="display: inline; color: rgb(000,100,000)"> Otherwise, it is within a pair of brackets. </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
JCTXT</span></strong>(<span style="display: inline; color: rgb(0,30,190)">l</span>): <span style="display: inline; color: rgb(110,10,0)">lbracket</span> <strong><span style="display: inline; color: rgb(255,000,000)">JCTXTDECS1</span></strong>(<span style="display: inline; color: rgb(0,30,190)">l</span>) <span style="display: inline; color: rgb(110,10,0)">rbracket</span><em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em>
<em><span style="display: inline; color: rgb(000,100,000)"> Untyped variable: the layer must be given. </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
JCTXTDEC</span></strong>(<span style="display: inline; color: rgb(0,30,190)">j</span><span style="display: inline; color: rgb(0,30,190)">c</span><span style="display: inline; color: rgb(0,30,190)">d</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">c</span>(<span style="display: inline; color: rgb(0,30,190)">l</span><span style="display: inline; color: rgb(0,30,190)">,</span><span style="display: inline; color: rgb(0,30,190)">x</span><span style="display: inline; color: rgb(0,30,190)">,</span><span style="display: inline; color: rgb(0,30,190)">m</span><span style="display: inline; color: rgb(0,30,190)">b</span><span style="display: inline; color: rgb(0,30,190)">l</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">v</span>)): <span style="display: inline; color: rgb(110,10,0)">lpar</span> <span style="display: inline; color: rgb(110,10,0)">upsymbol</span>(<span style="display: inline; color: rgb(0,30,190)">l</span>) <span style="display: inline; color: rgb(110,10,0)">rpar</span> <span style="display: inline; color: rgb(110,10,0)">symbol</span>(<span style="display: inline; color: rgb(0,30,190)">x</span>) <strong><span style="display: inline; color: rgb(255,000,000)">MBLEVEL</span></strong>(<span style="display: inline; color: rgb(0,30,190)">m</span><span style="display: inline; color: rgb(0,30,190)">b</span><span style="display: inline; color: rgb(0,30,190)">l</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">v</span>)<em><span style="display: inline; color: rgb(000,100,000)">.</span></em>
<em><span style="display: inline; color: rgb(000,100,000)"> Typed variable. </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
JCTXTDEC</span></strong>(<span style="display: inline; color: rgb(0,30,190)">j</span><span style="display: inline; color: rgb(0,30,190)">c</span><span style="display: inline; color: rgb(0,30,190)">d</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">c</span>(<span style="display: inline; color: rgb(0,30,190)">x</span><span style="display: inline; color: rgb(0,30,190)">,</span><span style="display: inline; color: rgb(0,30,190)">e</span>)): <span style="display: inline; color: rgb(110,10,0)">symbol</span>(<span style="display: inline; color: rgb(0,30,190)">x</span>) <span style="display: inline; color: rgb(110,10,0)">colon</span> <strong><span style="display: inline; color: rgb(255,000,000)">JEXPR</span></strong>(<span style="display: inline; color: rgb(0,30,190)">e</span>)<em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em>
<em><span style="display: inline; color: rgb(000,100,000)"> Non empty sequences of declarations separated by commas. </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
JCTXTDECS1</span></strong>(<span style="display: inline; color: rgb(0,30,190)">[</span><span style="display: inline; color: rgb(0,30,190)">d</span><span style="display: inline; color: rgb(0,30,190)">]</span>): <strong><span style="display: inline; color: rgb(255,000,000)">JCTXTDEC</span></strong>(<span style="display: inline; color: rgb(0,30,190)">d</span>)<em><span style="display: inline; color: rgb(000,100,000)">.</span></em><strong><span style="display: inline; color: rgb(255,000,000)">
JCTXTDECS1</span></strong>(<span style="display: inline; color: rgb(0,30,190)">[</span><span style="display: inline; color: rgb(0,30,190)">d</span><span style="display: inline; color: rgb(0,30,190)"> </span><span style="display: inline; color: rgb(0,30,190)">.</span><span style="display: inline; color: rgb(0,30,190)"> </span><span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">]</span>): <strong><span style="display: inline; color: rgb(255,000,000)">JCTXTDEC</span></strong>(<span style="display: inline; color: rgb(0,30,190)">d</span>) <span style="display: inline; color: rgb(110,10,0)">comma</span> <strong><span style="display: inline; color: rgb(255,000,000)">JCTXTDECS1</span></strong>(<span style="display: inline; color: rgb(0,30,190)">t</span>).<em><span style="display: inline; color: rgb(000,100,000)"> </span></em>
<em><span style="display: inline; color: rgb(000,100,000)"> </span></em><br /><div align="left" style="display: inline-block; width: 8px;"></div><span style="display: inline; color: rgb(0,100,0)"><strong><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;">grammar.apg2</span></strong></span> line 436</pre><br><br> <a id="subsec4_8"></a><span style="font-size: 120%;"><strong>4.8. Judgment expressions</strong></span><div align="center"> </div>
A judgment expression can be:
<pre style="color: inherit; font-size: inherit; background-color: rgb(240,240,220); width: inherit;"><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
lexer</span></strong> <span style="display: inline; color: rgb(110,10,0)">in</span><em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em>
<em><span style="display: inline; color: rgb(000,100,000)"> A metavariable:</span></em><strong><span style="display: inline; color: rgb(255,000,000)">
JEXPR</span></strong>(<span style="display: inline; color: rgb(0,30,190)">m</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">a</span><span style="display: inline; color: rgb(0,30,190)">v</span><span style="display: inline; color: rgb(0,30,190)">a</span><span style="display: inline; color: rgb(0,30,190)">r</span>(<span style="display: inline; color: rgb(0,30,190)">x</span>)): <span style="display: inline; color: rgb(110,10,0)">upsymbol</span>(<span style="display: inline; color: rgb(0,30,190)">x</span>)<em><span style="display: inline; color: rgb(000,100,000)">.</span></em>
<em><span style="display: inline; color: rgb(000,100,000)"> A symbol without operands (and possibly a first name):</span></em><strong><span style="display: inline; color: rgb(255,000,000)">
JEXPR</span></strong>(<span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">x</span><span style="display: inline; color: rgb(0,30,190)">p</span><span style="display: inline; color: rgb(0,30,190)">r</span>(<span style="display: inline; color: rgb(0,30,190)">x</span><span style="display: inline; color: rgb(0,30,190)">,</span><span style="display: inline; color: rgb(0,30,190)">m</span><span style="display: inline; color: rgb(0,30,190)">b</span><span style="display: inline; color: rgb(0,30,190)">f</span><span style="display: inline; color: rgb(0,30,190)">n</span><span style="display: inline; color: rgb(0,30,190)">,</span><span style="display: inline; color: rgb(0,30,190)">[</span><span style="display: inline; color: rgb(0,30,190)">]</span>)): <span style="display: inline; color: rgb(110,10,0)">symbol</span>(<span style="display: inline; color: rgb(0,30,190)">x</span>) <strong><span style="display: inline; color: rgb(255,000,000)">MBFN</span></strong>(<span style="display: inline; color: rgb(0,30,190)">m</span><span style="display: inline; color: rgb(0,30,190)">b</span><span style="display: inline; color: rgb(0,30,190)">f</span><span style="display: inline; color: rgb(0,30,190)">n</span>)<em><span style="display: inline; color: rgb(000,100,000)">.</span></em>
<em><span style="display: inline; color: rgb(000,100,000)"> A symbol with operands (and possibly a first name):</span></em><strong><span style="display: inline; color: rgb(255,000,000)">
JEXPR</span></strong>(<span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">x</span><span style="display: inline; color: rgb(0,30,190)">p</span><span style="display: inline; color: rgb(0,30,190)">r</span>(<span style="display: inline; color: rgb(0,30,190)">x</span><span style="display: inline; color: rgb(0,30,190)">,</span><span style="display: inline; color: rgb(0,30,190)">m</span><span style="display: inline; color: rgb(0,30,190)">b</span><span style="display: inline; color: rgb(0,30,190)">f</span><span style="display: inline; color: rgb(0,30,190)">n</span><span style="display: inline; color: rgb(0,30,190)">,</span><span style="display: inline; color: rgb(0,30,190)">l</span>)): <span style="display: inline; color: rgb(110,10,0)">symbol</span>(<span style="display: inline; color: rgb(0,30,190)">x</span>) <strong><span style="display: inline; color: rgb(255,000,000)">MBFN</span></strong>(<span style="display: inline; color: rgb(0,30,190)">m</span><span style="display: inline; color: rgb(0,30,190)">b</span><span style="display: inline; color: rgb(0,30,190)">f</span><span style="display: inline; color: rgb(0,30,190)">n</span>) <span style="display: inline; color: rgb(110,10,0)">lpar</span> <strong><span style="display: inline; color: rgb(255,000,000)">JOPERANDS1</span></strong>(<span style="display: inline; color: rgb(0,30,190)">l</span>) <span style="display: inline; color: rgb(110,10,0)">rpar</span><em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em>
<em><span style="display: inline; color: rgb(000,100,000)"> A replacement metaexpression: </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
JEXPR</span></strong>(<span style="display: inline; color: rgb(0,30,190)">r</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">p</span><span style="display: inline; color: rgb(0,30,190)">l</span><span style="display: inline; color: rgb(0,30,190)">a</span><span style="display: inline; color: rgb(0,30,190)">c</span><span style="display: inline; color: rgb(0,30,190)">e</span>(<span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">,</span><span style="display: inline; color: rgb(0,30,190)">a</span><span style="display: inline; color: rgb(0,30,190)">,</span><span style="display: inline; color: rgb(0,30,190)">x</span>)): <strong><span style="display: inline; color: rgb(255,000,000)">JEXPR</span></strong>(<span style="display: inline; color: rgb(0,30,190)">e</span>) <span style="display: inline; color: rgb(110,10,0)">lbracket</span> <strong><span style="display: inline; color: rgb(255,000,000)">JEXPR</span></strong>(<span style="display: inline; color: rgb(0,30,190)">a</span>) <span style="display: inline; color: rgb(110,10,0)">slash</span> <span style="display: inline; color: rgb(110,10,0)">symbol</span>(<span style="display: inline; color: rgb(0,30,190)">x</span>) <span style="display: inline; color: rgb(110,10,0)">rbracket</span><em><span style="display: inline; color: rgb(000,100,000)">. </span></em>
<em><span style="display: inline; color: rgb(000,100,000)"> </span></em><br /><div align="left" style="display: inline-block; width: 8px;"></div><span style="display: inline; color: rgb(0,100,0)"><strong><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;">grammar.apg2</span></strong></span> line 452</pre>
Operands are mixed with type declarations and term declarations:
<pre style="color: inherit; font-size: inherit; background-color: rgb(240,240,220); width: inherit;"><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
JOPERAND</span></strong>(<span style="display: inline; color: rgb(0,30,190)">e</span>): <strong><span style="display: inline; color: rgb(255,000,000)">JEXPR</span></strong>(<span style="display: inline; color: rgb(0,30,190)">e</span>)<em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
JOPERAND</span></strong>(<span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">y</span><span style="display: inline; color: rgb(0,30,190)">p</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">_</span><span style="display: inline; color: rgb(0,30,190)">d</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">c</span>(<span style="display: inline; color: rgb(0,30,190)">l</span><span style="display: inline; color: rgb(0,30,190)">,</span><span style="display: inline; color: rgb(0,30,190)">x</span>)): <span style="display: inline; color: rgb(110,10,0)">lpar</span> <span style="display: inline; color: rgb(110,10,0)">upsymbol</span>(<span style="display: inline; color: rgb(0,30,190)">l</span>) <span style="display: inline; color: rgb(110,10,0)">rpar</span> <span style="display: inline; color: rgb(110,10,0)">symbol</span>(<span style="display: inline; color: rgb(0,30,190)">x</span>)<em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
JOPERAND</span></strong>(<span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">r</span><span style="display: inline; color: rgb(0,30,190)">m</span><span style="display: inline; color: rgb(0,30,190)">_</span><span style="display: inline; color: rgb(0,30,190)">d</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">c</span>(<span style="display: inline; color: rgb(0,30,190)">x</span><span style="display: inline; color: rgb(0,30,190)">,</span><span style="display: inline; color: rgb(0,30,190)">t</span>)): <span style="display: inline; color: rgb(110,10,0)">symbol</span>(<span style="display: inline; color: rgb(0,30,190)">x</span>) <span style="display: inline; color: rgb(110,10,0)">colon</span> <strong><span style="display: inline; color: rgb(255,000,000)">JEXPR</span></strong>(<span style="display: inline; color: rgb(0,30,190)">t</span>).
<em><span style="display: inline; color: rgb(000,100,000)"> </span></em><br /><div align="left" style="display: inline-block; width: 8px;"></div><span style="display: inline; color: rgb(0,100,0)"><strong><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;">grammar.apg2</span></strong></span> line 458</pre>
Non empty lists of operands and declarations:
<pre style="color: inherit; font-size: inherit; background-color: rgb(240,240,220); width: inherit;"><strong><span style="display: inline; color: rgb(255,000,000)">
JOPERANDS1</span></strong>(<span style="display: inline; color: rgb(0,30,190)">[</span><span style="display: inline; color: rgb(0,30,190)">h</span><span style="display: inline; color: rgb(0,30,190)">]</span>): <strong><span style="display: inline; color: rgb(255,000,000)">JOPERAND</span></strong>(<span style="display: inline; color: rgb(0,30,190)">h</span>)<em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
JOPERANDS1</span></strong>(<span style="display: inline; color: rgb(0,30,190)">[</span><span style="display: inline; color: rgb(0,30,190)">h</span><span style="display: inline; color: rgb(0,30,190)"> </span><span style="display: inline; color: rgb(0,30,190)">.</span><span style="display: inline; color: rgb(0,30,190)"> </span><span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">]</span>): <strong><span style="display: inline; color: rgb(255,000,000)">JOPERAND</span></strong>(<span style="display: inline; color: rgb(0,30,190)">h</span>) <span style="display: inline; color: rgb(110,10,0)">comma</span> <strong><span style="display: inline; color: rgb(255,000,000)">JOPERANDS1</span></strong>(<span style="display: inline; color: rgb(0,30,190)">t</span>)<em><span style="display: inline; color: rgb(000,100,000)">. </span></em>
<em><span style="display: inline; color: rgb(000,100,000)"> </span></em><br /><div align="left" style="display: inline-block; width: 8px;"></div><span style="display: inline; color: rgb(0,100,0)"><strong><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;">grammar.apg2</span></strong></span> line 463</pre><br><br> <a id="subsec4_9"></a><span style="font-size: 120%;"><strong>4.9. Levels</strong></span><div align="center"> </div>
<pre style="color: inherit; font-size: inherit; background-color: rgb(240,240,220); width: inherit;"><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
lexer</span></strong> <span style="display: inline; color: rgb(110,10,0)">in</span><em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em>
<em><span style="display: inline; color: rgb(000,100,000)"> What comes after the sharp:</span></em><strong><span style="display: inline; color: rgb(255,000,000)">
LEVEL</span></strong>#(<span style="display: inline; color: rgb(0,30,190)">r</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">a</span><span style="display: inline; color: rgb(0,30,190)">d</span><span style="display: inline; color: rgb(0,30,190)">_</span><span style="display: inline; color: rgb(0,30,190)">l</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">v</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">l</span>(<span style="display: inline; color: rgb(0,30,190)">i</span><span style="display: inline; color: rgb(0,30,190)">,</span><span style="display: inline; color: rgb(0,30,190)">[</span><span style="display: inline; color: rgb(0,30,190)">]</span>)): <span style="display: inline; color: rgb(110,10,0)">symbol</span>(<span style="display: inline; color: rgb(0,30,190)">i</span>)<em><span style="display: inline; color: rgb(000,100,000)">.</span></em><strong><span style="display: inline; color: rgb(255,000,000)">
LEVEL</span></strong>#(<span style="display: inline; color: rgb(0,30,190)">r</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">a</span><span style="display: inline; color: rgb(0,30,190)">d</span><span style="display: inline; color: rgb(0,30,190)">_</span><span style="display: inline; color: rgb(0,30,190)">l</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">v</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">l</span>(<span style="display: inline; color: rgb(0,30,190)">l</span><span style="display: inline; color: rgb(0,30,190)">o</span><span style="display: inline; color: rgb(0,30,190)">p</span><span style="display: inline; color: rgb(0,30,190)">,</span><span style="display: inline; color: rgb(0,30,190)">l</span>)): <span style="display: inline; color: rgb(110,10,0)">symbol</span>(<span style="display: inline; color: rgb(0,30,190)">l</span><span style="display: inline; color: rgb(0,30,190)">o</span><span style="display: inline; color: rgb(0,30,190)">p</span>) <span style="display: inline; color: rgb(110,10,0)">lpar</span> <strong><span style="display: inline; color: rgb(255,000,000)">LEVELS1</span></strong>(<span style="display: inline; color: rgb(0,30,190)">l</span>) <span style="display: inline; color: rgb(110,10,0)">rpar</span><em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
LEVELS1</span></strong>(<span style="display: inline; color: rgb(0,30,190)">[</span><span style="display: inline; color: rgb(0,30,190)">h</span><span style="display: inline; color: rgb(0,30,190)">]</span>): <strong><span style="display: inline; color: rgb(255,000,000)">LEVEL</span></strong>(<span style="display: inline; color: rgb(0,30,190)">h</span>)<em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
LEVELS1</span></strong>(<span style="display: inline; color: rgb(0,30,190)">[</span><span style="display: inline; color: rgb(0,30,190)">h</span><span style="display: inline; color: rgb(0,30,190)"> </span><span style="display: inline; color: rgb(0,30,190)">.</span><span style="display: inline; color: rgb(0,30,190)"> </span><span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">]</span>): <strong><span style="display: inline; color: rgb(255,000,000)">LEVEL</span></strong>(<span style="display: inline; color: rgb(0,30,190)">h</span>) <span style="display: inline; color: rgb(110,10,0)">comma</span> <strong><span style="display: inline; color: rgb(255,000,000)">LEVELS1</span></strong>(<span style="display: inline; color: rgb(0,30,190)">t</span>)<em><span style="display: inline; color: rgb(000,100,000)">.</span></em>
<em><span style="display: inline; color: rgb(000,100,000)"> Non mandatory level: </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
MBLEVEL</span></strong>(<span style="display: inline; color: rgb(0,30,190)">f</span><span style="display: inline; color: rgb(0,30,190)">a</span><span style="display: inline; color: rgb(0,30,190)">i</span><span style="display: inline; color: rgb(0,30,190)">l</span><span style="display: inline; color: rgb(0,30,190)">u</span><span style="display: inline; color: rgb(0,30,190)">r</span><span style="display: inline; color: rgb(0,30,190)">e</span>): [<span style="display: inline; color: rgb(110,10,0)">high</span>]<em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
MBLEVEL</span></strong>(<span style="display: inline; color: rgb(0,30,190)">s</span><span style="display: inline; color: rgb(0,30,190)">u</span><span style="display: inline; color: rgb(0,30,190)">c</span><span style="display: inline; color: rgb(0,30,190)">c</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">s</span><span style="display: inline; color: rgb(0,30,190)">s</span>(<span style="display: inline; color: rgb(0,30,190)">l</span>)): <span style="display: inline; color: rgb(110,10,0)">sharp</span> <strong><span style="display: inline; color: rgb(255,000,000)">LEVEL</span></strong>(<span style="display: inline; color: rgb(0,30,190)">l</span>).<em><span style="display: inline; color: rgb(000,100,000)"> </span></em>
<em><span style="display: inline; color: rgb(000,100,000)"> </span></em><br /><div align="left" style="display: inline-block; width: 8px;"></div><span style="display: inline; color: rgb(0,100,0)"><strong><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;">grammar.apg2</span></strong></span> line 478</pre><br><br> <a id="subsec4_10"></a><span style="font-size: 120%;"><strong>4.10. Judgments</strong></span><div align="center"> </div>
Judgments have the forms:
<ul>
<li> <em><span style="display: inline; color: rgb(160,032,240)">type judgment</span></em>: <span style="font-style: normal;"><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;"><span style="display: inline; color: rgb(0,80,0)"><strong><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;"><layer></span></strong></span><span style="display: inline; color: rgb(0,80,0)"><strong><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;"><type></span></strong></span><span style="display: inline; color: rgb(0,80,0)"><strong><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;"><level></span></strong></span><span style="display: inline; color: rgb(0,80,0)"><strong><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;"><context></span></strong></span></span></span>
<li> <em><span style="display: inline; color: rgb(160,032,240)">term judgment</span></em>: <span style="font-style: normal;"><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;"><span style="display: inline; color: rgb(0,80,0)"><strong><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;"><layer></span></strong></span><span style="display: inline; color: rgb(0,80,0)"><strong><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;"><term></span></strong></span>:<span style="display: inline; color: rgb(0,80,0)"><strong><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;"><type></span></strong></span><span style="display: inline; color: rgb(0,80,0)"><strong><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;"><level></span></strong></span><span style="display: inline; color: rgb(0,80,0)"><strong><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;"><context></span></strong></span></span></span>
</ul>
where <span style="display: inline; color: rgb(0,80,0)"><strong><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;"><layer></span></strong></span>, <span style="display: inline; color: rgb(0,80,0)"><strong><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;"><level></span></strong></span> and/or <span style="display: inline; color: rgb(0,80,0)"><strong><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;"><context></span></strong></span> can sometimes be omited. <br><br> Furthermore, judgments that are declarations of metavariables must have a
metavariable as their <span style="display: inline; color: rgb(0,80,0)"><strong><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;"><type></span></strong></span> for a type judgment and as their <span style="display: inline; color: rgb(0,80,0)"><strong><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;"><term></span></strong></span>
for a term judgment (main element). Therefore, we have two non terminals
<span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;"><strong><span style="display: inline; color: rgb(255,000,000)">TAILJUDG</span></strong></span> for declarations and <span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;"><strong><span style="display: inline; color: rgb(255,000,000)">HEADJUDG</span></strong></span> for those judgments that
are the conclusion of a rule.<br><br> Now, <span style="display: inline; color: rgb(0,80,0)"><strong><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;"><type></span></strong></span> and <span style="display: inline; color: rgb(0,80,0)"><strong><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;"><term></span></strong></span> are so-called <em><span style="display: inline; color: rgb(160,032,240)">judgment expressions</span></em>. They
are represented by the non terminal <span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;"><strong><span style="display: inline; color: rgb(255,000,000)">JEXPR</span></strong></span>.
<pre style="color: inherit; font-size: inherit; background-color: rgb(240,240,220); width: inherit;"><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
lexer</span></strong> <span style="display: inline; color: rgb(110,10,0)">in</span><em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
TAILJUDG</span></strong>(<span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">r</span><span style="display: inline; color: rgb(0,30,190)">m</span><span style="display: inline; color: rgb(0,30,190)">_</span><span style="display: inline; color: rgb(0,30,190)">j</span><span style="display: inline; color: rgb(0,30,190)">u</span><span style="display: inline; color: rgb(0,30,190)">d</span><span style="display: inline; color: rgb(0,30,190)">g</span>(<span style="display: inline; color: rgb(0,30,190)">f</span><span style="display: inline; color: rgb(0,30,190)">a</span><span style="display: inline; color: rgb(0,30,190)">i</span><span style="display: inline; color: rgb(0,30,190)">l</span><span style="display: inline; color: rgb(0,30,190)">u</span><span style="display: inline; color: rgb(0,30,190)">r</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">,</span><span style="display: inline; color: rgb(0,30,190)">m</span><span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">v</span><span style="display: inline; color: rgb(0,30,190)">a</span><span style="display: inline; color: rgb(0,30,190)">r</span><span style="display: inline; color: rgb(0,30,190)">,</span><span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">y</span><span style="display: inline; color: rgb(0,30,190)">p</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">,</span><span style="display: inline; color: rgb(0,30,190)">m</span><span style="display: inline; color: rgb(0,30,190)">b</span><span style="display: inline; color: rgb(0,30,190)">c</span><span style="display: inline; color: rgb(0,30,190)">t</span>)):
<span style="display: inline; color: rgb(110,10,0)">upsymbol</span>(<span style="display: inline; color: rgb(0,30,190)">m</span><span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">v</span><span style="display: inline; color: rgb(0,30,190)">a</span><span style="display: inline; color: rgb(0,30,190)">r</span>) <span style="display: inline; color: rgb(110,10,0)">colon</span> <strong><span style="display: inline; color: rgb(255,000,000)">JEXPR</span></strong>(<span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">y</span><span style="display: inline; color: rgb(0,30,190)">p</span><span style="display: inline; color: rgb(0,30,190)">e</span>) <strong><span style="display: inline; color: rgb(255,000,000)">JCTXT</span></strong>(<span style="display: inline; color: rgb(0,30,190)">m</span><span style="display: inline; color: rgb(0,30,190)">b</span><span style="display: inline; color: rgb(0,30,190)">c</span><span style="display: inline; color: rgb(0,30,190)">t</span>)<em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
TAILJUDG</span></strong>(<span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">r</span><span style="display: inline; color: rgb(0,30,190)">m</span><span style="display: inline; color: rgb(0,30,190)">_</span><span style="display: inline; color: rgb(0,30,190)">j</span><span style="display: inline; color: rgb(0,30,190)">u</span><span style="display: inline; color: rgb(0,30,190)">d</span><span style="display: inline; color: rgb(0,30,190)">g</span>(<span style="display: inline; color: rgb(0,30,190)">s</span><span style="display: inline; color: rgb(0,30,190)">u</span><span style="display: inline; color: rgb(0,30,190)">c</span><span style="display: inline; color: rgb(0,30,190)">c</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">s</span><span style="display: inline; color: rgb(0,30,190)">s</span>(<span style="display: inline; color: rgb(0,30,190)">l</span><span style="display: inline; color: rgb(0,30,190)">a</span><span style="display: inline; color: rgb(0,30,190)">y</span>)<span style="display: inline; color: rgb(0,30,190)">,</span><span style="display: inline; color: rgb(0,30,190)">m</span><span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">v</span><span style="display: inline; color: rgb(0,30,190)">a</span><span style="display: inline; color: rgb(0,30,190)">r</span><span style="display: inline; color: rgb(0,30,190)">,</span><span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">y</span><span style="display: inline; color: rgb(0,30,190)">p</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">,</span><span style="display: inline; color: rgb(0,30,190)">m</span><span style="display: inline; color: rgb(0,30,190)">b</span><span style="display: inline; color: rgb(0,30,190)">c</span><span style="display: inline; color: rgb(0,30,190)">t</span>)):
<span style="display: inline; color: rgb(110,10,0)">lpar</span> <span style="display: inline; color: rgb(110,10,0)">upsymbol</span>(<span style="display: inline; color: rgb(0,30,190)">l</span><span style="display: inline; color: rgb(0,30,190)">a</span><span style="display: inline; color: rgb(0,30,190)">y</span>) <span style="display: inline; color: rgb(110,10,0)">rpar</span> <span style="display: inline; color: rgb(110,10,0)">upsymbol</span>(<span style="display: inline; color: rgb(0,30,190)">m</span><span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">v</span><span style="display: inline; color: rgb(0,30,190)">a</span><span style="display: inline; color: rgb(0,30,190)">r</span>) <span style="display: inline; color: rgb(110,10,0)">colon</span> <strong><span style="display: inline; color: rgb(255,000,000)">JEXPR</span></strong>(<span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">y</span><span style="display: inline; color: rgb(0,30,190)">p</span><span style="display: inline; color: rgb(0,30,190)">e</span>) <strong><span style="display: inline; color: rgb(255,000,000)">JCTXT</span></strong>(<span style="display: inline; color: rgb(0,30,190)">m</span><span style="display: inline; color: rgb(0,30,190)">b</span><span style="display: inline; color: rgb(0,30,190)">c</span><span style="display: inline; color: rgb(0,30,190)">t</span>)<em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
TAILJUDG</span></strong>(<span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">y</span><span style="display: inline; color: rgb(0,30,190)">p</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">_</span><span style="display: inline; color: rgb(0,30,190)">j</span><span style="display: inline; color: rgb(0,30,190)">u</span><span style="display: inline; color: rgb(0,30,190)">d</span><span style="display: inline; color: rgb(0,30,190)">g</span>(<span style="display: inline; color: rgb(0,30,190)">l</span><span style="display: inline; color: rgb(0,30,190)">a</span><span style="display: inline; color: rgb(0,30,190)">y</span><span style="display: inline; color: rgb(0,30,190)">,</span><span style="display: inline; color: rgb(0,30,190)">m</span><span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">v</span><span style="display: inline; color: rgb(0,30,190)">a</span><span style="display: inline; color: rgb(0,30,190)">r</span><span style="display: inline; color: rgb(0,30,190)">,</span><span style="display: inline; color: rgb(0,30,190)">m</span><span style="display: inline; color: rgb(0,30,190)">b</span><span style="display: inline; color: rgb(0,30,190)">l</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">v</span><span style="display: inline; color: rgb(0,30,190)">,</span><span style="display: inline; color: rgb(0,30,190)">m</span><span style="display: inline; color: rgb(0,30,190)">b</span><span style="display: inline; color: rgb(0,30,190)">c</span><span style="display: inline; color: rgb(0,30,190)">t</span>)):
<span style="display: inline; color: rgb(110,10,0)">lpar</span> <span style="display: inline; color: rgb(110,10,0)">upsymbol</span>(<span style="display: inline; color: rgb(0,30,190)">l</span><span style="display: inline; color: rgb(0,30,190)">a</span><span style="display: inline; color: rgb(0,30,190)">y</span>) <span style="display: inline; color: rgb(110,10,0)">rpar</span> <span style="display: inline; color: rgb(110,10,0)">upsymbol</span>(<span style="display: inline; color: rgb(0,30,190)">m</span><span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">v</span><span style="display: inline; color: rgb(0,30,190)">a</span><span style="display: inline; color: rgb(0,30,190)">r</span>) <strong><span style="display: inline; color: rgb(255,000,000)">MBLEVEL</span></strong>(<span style="display: inline; color: rgb(0,30,190)">m</span><span style="display: inline; color: rgb(0,30,190)">b</span><span style="display: inline; color: rgb(0,30,190)">l</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">v</span>) <strong><span style="display: inline; color: rgb(255,000,000)">JCTXT</span></strong>(<span style="display: inline; color: rgb(0,30,190)">m</span><span style="display: inline; color: rgb(0,30,190)">b</span><span style="display: inline; color: rgb(0,30,190)">c</span><span style="display: inline; color: rgb(0,30,190)">t</span>)<em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
TAILJUDGS</span></strong>(<span style="display: inline; color: rgb(0,30,190)">[</span><span style="display: inline; color: rgb(0,30,190)">]</span>): <em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
TAILJUDGS</span></strong>(<span style="display: inline; color: rgb(0,30,190)">t</span>): <strong><span style="display: inline; color: rgb(255,000,000)">TAILJUDGS1</span></strong>(<span style="display: inline; color: rgb(0,30,190)">t</span>)<em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
TAILJUDGS1</span></strong>(<span style="display: inline; color: rgb(0,30,190)">[</span><span style="display: inline; color: rgb(0,30,190)">h</span><span style="display: inline; color: rgb(0,30,190)">]</span>): <strong><span style="display: inline; color: rgb(255,000,000)">TAILJUDG</span></strong>(<span style="display: inline; color: rgb(0,30,190)">h</span>)<em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
TAILJUDGS1</span></strong>(<span style="display: inline; color: rgb(0,30,190)">[</span><span style="display: inline; color: rgb(0,30,190)">h</span><span style="display: inline; color: rgb(0,30,190)"> </span><span style="display: inline; color: rgb(0,30,190)">.</span><span style="display: inline; color: rgb(0,30,190)"> </span><span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">]</span>): <strong><span style="display: inline; color: rgb(255,000,000)">TAILJUDG</span></strong>(<span style="display: inline; color: rgb(0,30,190)">h</span>) <span style="display: inline; color: rgb(110,10,0)">comma</span> <strong><span style="display: inline; color: rgb(255,000,000)">TAILJUDGS1</span></strong>(<span style="display: inline; color: rgb(0,30,190)">t</span>)<em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
HEADJUDG</span></strong>(<span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">r</span><span style="display: inline; color: rgb(0,30,190)">m</span><span style="display: inline; color: rgb(0,30,190)">_</span><span style="display: inline; color: rgb(0,30,190)">j</span><span style="display: inline; color: rgb(0,30,190)">u</span><span style="display: inline; color: rgb(0,30,190)">d</span><span style="display: inline; color: rgb(0,30,190)">g</span>(<span style="display: inline; color: rgb(0,30,190)">l</span><span style="display: inline; color: rgb(0,30,190)">a</span><span style="display: inline; color: rgb(0,30,190)">y</span><span style="display: inline; color: rgb(0,30,190)">,</span><span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">r</span><span style="display: inline; color: rgb(0,30,190)">m</span><span style="display: inline; color: rgb(0,30,190)">,</span><span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">y</span><span style="display: inline; color: rgb(0,30,190)">p</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">,</span><span style="display: inline; color: rgb(0,30,190)">m</span><span style="display: inline; color: rgb(0,30,190)">b</span><span style="display: inline; color: rgb(0,30,190)">c</span><span style="display: inline; color: rgb(0,30,190)">t</span>)):
<span style="display: inline; color: rgb(110,10,0)">lpar</span> <span style="display: inline; color: rgb(110,10,0)">upsymbol</span>(<span style="display: inline; color: rgb(0,30,190)">l</span><span style="display: inline; color: rgb(0,30,190)">a</span><span style="display: inline; color: rgb(0,30,190)">y</span>) <span style="display: inline; color: rgb(110,10,0)">rpar</span> <strong><span style="display: inline; color: rgb(255,000,000)">JEXPR</span></strong>(<span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">r</span><span style="display: inline; color: rgb(0,30,190)">m</span>) <span style="display: inline; color: rgb(110,10,0)">colon</span> <strong><span style="display: inline; color: rgb(255,000,000)">JEXPR</span></strong>(<span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">y</span><span style="display: inline; color: rgb(0,30,190)">p</span><span style="display: inline; color: rgb(0,30,190)">e</span>) <strong><span style="display: inline; color: rgb(255,000,000)">JCTXT</span></strong>(<span style="display: inline; color: rgb(0,30,190)">m</span><span style="display: inline; color: rgb(0,30,190)">b</span><span style="display: inline; color: rgb(0,30,190)">c</span><span style="display: inline; color: rgb(0,30,190)">t</span>)<em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
HEADJUDG</span></strong>(<span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">y</span><span style="display: inline; color: rgb(0,30,190)">p</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">_</span><span style="display: inline; color: rgb(0,30,190)">j</span><span style="display: inline; color: rgb(0,30,190)">u</span><span style="display: inline; color: rgb(0,30,190)">d</span><span style="display: inline; color: rgb(0,30,190)">g</span>(<span style="display: inline; color: rgb(0,30,190)">l</span><span style="display: inline; color: rgb(0,30,190)">a</span><span style="display: inline; color: rgb(0,30,190)">y</span><span style="display: inline; color: rgb(0,30,190)">,</span><span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">y</span><span style="display: inline; color: rgb(0,30,190)">p</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">,</span><span style="display: inline; color: rgb(0,30,190)">m</span><span style="display: inline; color: rgb(0,30,190)">b</span><span style="display: inline; color: rgb(0,30,190)">l</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">v</span><span style="display: inline; color: rgb(0,30,190)">,</span><span style="display: inline; color: rgb(0,30,190)">m</span><span style="display: inline; color: rgb(0,30,190)">b</span><span style="display: inline; color: rgb(0,30,190)">c</span><span style="display: inline; color: rgb(0,30,190)">t</span>)):
<span style="display: inline; color: rgb(110,10,0)">lpar</span> <span style="display: inline; color: rgb(110,10,0)">upsymbol</span>(<span style="display: inline; color: rgb(0,30,190)">l</span><span style="display: inline; color: rgb(0,30,190)">a</span><span style="display: inline; color: rgb(0,30,190)">y</span>) <span style="display: inline; color: rgb(110,10,0)">rpar</span> <strong><span style="display: inline; color: rgb(255,000,000)">JEXPR</span></strong>(<span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">y</span><span style="display: inline; color: rgb(0,30,190)">p</span><span style="display: inline; color: rgb(0,30,190)">e</span>) <strong><span style="display: inline; color: rgb(255,000,000)">MBLEVEL</span></strong>(<span style="display: inline; color: rgb(0,30,190)">m</span><span style="display: inline; color: rgb(0,30,190)">b</span><span style="display: inline; color: rgb(0,30,190)">l</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">v</span>) <strong><span style="display: inline; color: rgb(255,000,000)">JCTXT</span></strong>(<span style="display: inline; color: rgb(0,30,190)">m</span><span style="display: inline; color: rgb(0,30,190)">b</span><span style="display: inline; color: rgb(0,30,190)">c</span><span style="display: inline; color: rgb(0,30,190)">t</span>)<em><span style="display: inline; color: rgb(000,100,000)">. </span></em>
<em><span style="display: inline; color: rgb(000,100,000)"> </span></em><br /><div align="left" style="display: inline-block; width: 8px;"></div><span style="display: inline; color: rgb(0,100,0)"><strong><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;">grammar.apg2</span></strong></span> line 513</pre><br><br> <a id="subsec4_11"></a><span style="font-size: 120%;"><strong>4.11. First names</strong></span><div align="center"> </div>
<pre style="color: inherit; font-size: inherit; background-color: rgb(240,240,220); width: inherit;"><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
lexer</span></strong> <span style="display: inline; color: rgb(110,10,0)">in</span><em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
MBFN</span></strong>(<span style="display: inline; color: rgb(0,30,190)">f</span><span style="display: inline; color: rgb(0,30,190)">a</span><span style="display: inline; color: rgb(0,30,190)">i</span><span style="display: inline; color: rgb(0,30,190)">l</span><span style="display: inline; color: rgb(0,30,190)">u</span><span style="display: inline; color: rgb(0,30,190)">r</span><span style="display: inline; color: rgb(0,30,190)">e</span>): [<span style="display: inline; color: rgb(110,10,0)">high</span>]<em><span style="display: inline; color: rgb(000,100,000)">.</span></em><strong><span style="display: inline; color: rgb(255,000,000)">
MBFN</span></strong>(<span style="display: inline; color: rgb(0,30,190)">s</span><span style="display: inline; color: rgb(0,30,190)">u</span><span style="display: inline; color: rgb(0,30,190)">c</span><span style="display: inline; color: rgb(0,30,190)">c</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">s</span><span style="display: inline; color: rgb(0,30,190)">s</span>(<span style="display: inline; color: rgb(0,30,190)">f</span><span style="display: inline; color: rgb(0,30,190)">i</span><span style="display: inline; color: rgb(0,30,190)">r</span><span style="display: inline; color: rgb(0,30,190)">s</span><span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">_</span><span style="display: inline; color: rgb(0,30,190)">n</span><span style="display: inline; color: rgb(0,30,190)">a</span><span style="display: inline; color: rgb(0,30,190)">m</span><span style="display: inline; color: rgb(0,30,190)">e</span>(<span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">y</span><span style="display: inline; color: rgb(0,30,190)">p</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">,</span><span style="display: inline; color: rgb(0,30,190)">n</span><span style="display: inline; color: rgb(0,30,190)">a</span><span style="display: inline; color: rgb(0,30,190)">m</span><span style="display: inline; color: rgb(0,30,190)">e</span>))):
<span style="display: inline; color: rgb(110,10,0)">hyphen</span> <span style="display: inline; color: rgb(110,10,0)">lpar</span> <span style="display: inline; color: rgb(110,10,0)">upsymbol</span>(<span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">y</span><span style="display: inline; color: rgb(0,30,190)">p</span><span style="display: inline; color: rgb(0,30,190)">e</span>) <span style="display: inline; color: rgb(110,10,0)">rpar</span> <span style="display: inline; color: rgb(110,10,0)">symbol</span>(<span style="display: inline; color: rgb(0,30,190)">n</span><span style="display: inline; color: rgb(0,30,190)">a</span><span style="display: inline; color: rgb(0,30,190)">m</span><span style="display: inline; color: rgb(0,30,190)">e</span>).
<em><span style="display: inline; color: rgb(000,100,000)"> </span></em><br /><div align="left" style="display: inline-block; width: 8px;"></div><span style="display: inline; color: rgb(0,100,0)"><strong><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;">grammar.apg2</span></strong></span> line 524</pre><br><br> <a id="subsec4_12"></a><span style="font-size: 120%;"><strong>4.12. <span style="font-style: normal;"><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;"><strong><span style="display: inline; color: rgb(200,0,120)">rewrite</span></strong></span></span></strong></span><div align="center"> </div>
<pre style="color: inherit; font-size: inherit; background-color: rgb(240,240,220); width: inherit;"><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
lexer</span></strong> <span style="display: inline; color: rgb(110,10,0)">default</span><em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
SENTENCE</span></strong>@(<span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">x</span><span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">r</span><span style="display: inline; color: rgb(0,30,190)">a</span><span style="display: inline; color: rgb(0,30,190)">[</span><span style="display: inline; color: rgb(0,30,190)">r</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">d</span><span style="display: inline; color: rgb(0,30,190)">r</span><span style="display: inline; color: rgb(0,30,190)">u</span><span style="display: inline; color: rgb(0,30,190)">l</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">s</span><span style="display: inline; color: rgb(0,30,190)"> </span><span style="display: inline; color: rgb(0,30,190)"><</span><span style="display: inline; color: rgb(0,30,190)">-</span><span style="display: inline; color: rgb(0,30,190)"> </span><span style="display: inline; color: rgb(0,30,190)">[</span><span style="display: inline; color: rgb(0,30,190)">r</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">d</span><span style="display: inline; color: rgb(0,30,190)">r</span><span style="display: inline; color: rgb(0,30,190)">u</span><span style="display: inline; color: rgb(0,30,190)">l</span><span style="display: inline; color: rgb(0,30,190)">e</span>(<span style="display: inline; color: rgb(0,30,190)">l</span><span style="display: inline; color: rgb(0,30,190)">i</span><span style="display: inline; color: rgb(0,30,190)">n</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">,</span><span style="display: inline; color: rgb(0,30,190)">s</span><span style="display: inline; color: rgb(0,30,190)">c</span><span style="display: inline; color: rgb(0,30,190)">h</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">m</span><span style="display: inline; color: rgb(0,30,190)">a</span><span style="display: inline; color: rgb(0,30,190)">,</span><span style="display: inline; color: rgb(0,30,190)">v</span><span style="display: inline; color: rgb(0,30,190)">a</span><span style="display: inline; color: rgb(0,30,190)">l</span><span style="display: inline; color: rgb(0,30,190)">u</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">,</span><span style="display: inline; color: rgb(0,30,190)">c</span>)<span style="display: inline; color: rgb(0,30,190)"> </span><span style="display: inline; color: rgb(0,30,190)">
</span><span style="display: inline; color: rgb(0,30,190)"> </span><span style="display: inline; color: rgb(0,30,190)"> </span><span style="display: inline; color: rgb(0,30,190)"> </span><span style="display: inline; color: rgb(0,30,190)"> </span><span style="display: inline; color: rgb(0,30,190)"> </span><span style="display: inline; color: rgb(0,30,190)"> </span><span style="display: inline; color: rgb(0,30,190)"> </span><span style="display: inline; color: rgb(0,30,190)"> </span><span style="display: inline; color: rgb(0,30,190)"> </span><span style="display: inline; color: rgb(0,30,190)"> </span><span style="display: inline; color: rgb(0,30,190)"> </span><span style="display: inline; color: rgb(0,30,190)"> </span><span style="display: inline; color: rgb(0,30,190)"> </span><span style="display: inline; color: rgb(0,30,190)"> </span><span style="display: inline; color: rgb(0,30,190)"> </span><span style="display: inline; color: rgb(0,30,190)"> </span><span style="display: inline; color: rgb(0,30,190)"> </span><span style="display: inline; color: rgb(0,30,190)"> </span><span style="display: inline; color: rgb(0,30,190)"> </span><span style="display: inline; color: rgb(0,30,190)"> </span><span style="display: inline; color: rgb(0,30,190)"> </span><span style="display: inline; color: rgb(0,30,190)"> </span><span style="display: inline; color: rgb(0,30,190)"> </span><span style="display: inline; color: rgb(0,30,190)"> </span><span style="display: inline; color: rgb(0,30,190)"> </span><span style="display: inline; color: rgb(0,30,190)"> </span><span style="display: inline; color: rgb(0,30,190)"> </span><span style="display: inline; color: rgb(0,30,190)"> </span><span style="display: inline; color: rgb(0,30,190)"> </span><span style="display: inline; color: rgb(0,30,190)"> </span><span style="display: inline; color: rgb(0,30,190)"> </span><span style="display: inline; color: rgb(0,30,190)">.</span><span style="display: inline; color: rgb(0,30,190)"> </span><span style="display: inline; color: rgb(0,30,190)">r</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">d</span><span style="display: inline; color: rgb(0,30,190)">r</span><span style="display: inline; color: rgb(0,30,190)">u</span><span style="display: inline; color: rgb(0,30,190)">l</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">s</span>(<span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">x</span><span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">r</span><span style="display: inline; color: rgb(0,30,190)">a</span>)<span style="display: inline; color: rgb(0,30,190)">]</span><span style="display: inline; color: rgb(0,30,190)">]</span>):
<span style="display: inline; color: rgb(110,10,0)">rewrite</span>(<span style="display: inline; color: rgb(0,30,190)">l</span><span style="display: inline; color: rgb(0,30,190)">i</span><span style="display: inline; color: rgb(0,30,190)">n</span><span style="display: inline; color: rgb(0,30,190)">e</span>) <span style="display: inline; color: rgb(0,110,10)">-in</span> <strong><span style="display: inline; color: rgb(255,000,000)">RSCHEMA</span></strong>(<span style="display: inline; color: rgb(0,30,190)">s</span><span style="display: inline; color: rgb(0,30,190)">c</span><span style="display: inline; color: rgb(0,30,190)">h</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">m</span><span style="display: inline; color: rgb(0,30,190)">a</span>) <span style="display: inline; color: rgb(110,10,0)">symbol</span>(<span style="display: inline; color: rgb(0,30,190)">s</span><span style="display: inline; color: rgb(0,30,190)">y</span>)
<strong><span style="display: inline; color: rgb(255,000,000)">RVALUE</span></strong>(<span style="display: inline; color: rgb(0,30,190)">v</span><span style="display: inline; color: rgb(0,30,190)">a</span><span style="display: inline; color: rgb(0,30,190)">l</span><span style="display: inline; color: rgb(0,30,190)">u</span><span style="display: inline; color: rgb(0,30,190)">e</span>) <span style="display: inline; color: rgb(0,110,10)">-in</span> <strong><span style="display: inline; color: rgb(255,000,000)">MBCondition</span></strong>(<span style="display: inline; color: rgb(0,30,190)">c</span>) <span style="display: inline; color: rgb(110,10,0)">dot</span> <span style="display: inline; color: rgb(0,110,10)">-default</span><em><span style="display: inline; color: rgb(000,100,000)">. </span></em>
<em><span style="display: inline; color: rgb(000,100,000)"> </span></em><br /><div align="left" style="display: inline-block; width: 8px;"></div><span style="display: inline; color: rgb(0,100,0)"><strong><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;">grammar.apg2</span></strong></span> line 535</pre>
Reading a non mandatory condition in a rewrite rule.
<pre style="color: inherit; font-size: inherit; background-color: rgb(240,240,220); width: inherit;"><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
lexer</span></strong> <span style="display: inline; color: rgb(110,10,0)">in</span><em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
MBCondition</span></strong>(<span style="display: inline; color: rgb(0,30,190)">f</span><span style="display: inline; color: rgb(0,30,190)">a</span><span style="display: inline; color: rgb(0,30,190)">i</span><span style="display: inline; color: rgb(0,30,190)">l</span><span style="display: inline; color: rgb(0,30,190)">u</span><span style="display: inline; color: rgb(0,30,190)">r</span><span style="display: inline; color: rgb(0,30,190)">e</span>): <em><span style="display: inline; color: rgb(000,100,000)">.</span></em><strong><span style="display: inline; color: rgb(255,000,000)">
MBCondition</span></strong>(<span style="display: inline; color: rgb(0,30,190)">s</span><span style="display: inline; color: rgb(0,30,190)">u</span><span style="display: inline; color: rgb(0,30,190)">c</span><span style="display: inline; color: rgb(0,30,190)">c</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">s</span><span style="display: inline; color: rgb(0,30,190)">s</span>(<span style="display: inline; color: rgb(0,30,190)">c</span>)): <span style="display: inline; color: rgb(110,10,0)">symbol</span>(<span style="display: inline; color: rgb(0,30,190)">s</span>) <span style="display: inline; color: rgb(110,10,0)">lpar</span> <span style="display: inline; color: rgb(0,110,10)">-balanced</span> <strong><span style="display: inline; color: rgb(255,000,000)">BALANCED</span></strong>(<span style="display: inline; color: rgb(0,30,190)">c</span>) <span style="display: inline; color: rgb(110,10,0)">rpar</span> <span style="display: inline; color: rgb(0,110,10)">-in</span>.<em><span style="display: inline; color: rgb(000,100,000)"> </span></em>
<em><span style="display: inline; color: rgb(000,100,000)"> </span></em><br /><div align="left" style="display: inline-block; width: 8px;"></div><span style="display: inline; color: rgb(0,100,0)"><strong><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;">grammar.apg2</span></strong></span> line 541</pre>
Reading expressions in rewrite rules.
<pre style="color: inherit; font-size: inherit; background-color: rgb(240,240,220); width: inherit;"><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
RSCHEMA</span></strong>(<span style="display: inline; color: rgb(0,30,190)">m</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">a</span><span style="display: inline; color: rgb(0,30,190)">v</span><span style="display: inline; color: rgb(0,30,190)">a</span><span style="display: inline; color: rgb(0,30,190)">r</span>(<span style="display: inline; color: rgb(0,30,190)">"</span><span style="display: inline; color: rgb(0,30,190)">_</span><span style="display: inline; color: rgb(0,30,190)">"</span><span style="display: inline; color: rgb(0,30,190)">+</span><span style="display: inline; color: rgb(0,30,190)">n</span>)): <span style="display: inline; color: rgb(110,10,0)">upsymbol</span>(<span style="display: inline; color: rgb(0,30,190)">n</span>)<em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
RSCHEMA</span></strong>(<span style="display: inline; color: rgb(0,30,190)">o</span><span style="display: inline; color: rgb(0,30,190)">p</span>(<span style="display: inline; color: rgb(0,30,190)">s</span><span style="display: inline; color: rgb(0,30,190)">,</span><span style="display: inline; color: rgb(0,30,190)">[</span><span style="display: inline; color: rgb(0,30,190)">]</span>)): <span style="display: inline; color: rgb(110,10,0)">symbol</span>(<span style="display: inline; color: rgb(0,30,190)">s</span>)<em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
RSCHEMA</span></strong>(<span style="display: inline; color: rgb(0,30,190)">d</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">c</span>(<span style="display: inline; color: rgb(0,30,190)">s</span><span style="display: inline; color: rgb(0,30,190)">,</span><span style="display: inline; color: rgb(0,30,190)">t</span>)): <span style="display: inline; color: rgb(110,10,0)">symbol</span>(<span style="display: inline; color: rgb(0,30,190)">s</span>) <span style="display: inline; color: rgb(110,10,0)">colon</span> <strong><span style="display: inline; color: rgb(255,000,000)">RSCHEMA</span></strong>(<span style="display: inline; color: rgb(0,30,190)">t</span>)<em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
RSCHEMA</span></strong>(<span style="display: inline; color: rgb(0,30,190)">o</span><span style="display: inline; color: rgb(0,30,190)">p</span>(<span style="display: inline; color: rgb(0,30,190)">s</span><span style="display: inline; color: rgb(0,30,190)">,</span><span style="display: inline; color: rgb(0,30,190)">o</span><span style="display: inline; color: rgb(0,30,190)">p</span><span style="display: inline; color: rgb(0,30,190)">s</span>)): <span style="display: inline; color: rgb(110,10,0)">symbol</span>(<span style="display: inline; color: rgb(0,30,190)">s</span>) <span style="display: inline; color: rgb(110,10,0)">lpar</span> <strong><span style="display: inline; color: rgb(255,000,000)">RSCHEMAS1</span></strong>(<span style="display: inline; color: rgb(0,30,190)">o</span><span style="display: inline; color: rgb(0,30,190)">p</span><span style="display: inline; color: rgb(0,30,190)">s</span>) <span style="display: inline; color: rgb(110,10,0)">rpar</span><em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
RSCHEMA</span></strong>(<span style="display: inline; color: rgb(0,30,190)">a</span><span style="display: inline; color: rgb(0,30,190)">n</span><span style="display: inline; color: rgb(0,30,190)">u</span><span style="display: inline; color: rgb(0,30,190)">b</span><span style="display: inline; color: rgb(0,30,190)">i</span><span style="display: inline; color: rgb(0,30,190)">s</span>(<span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">x</span><span style="display: inline; color: rgb(0,30,190)">t</span>)): <span style="display: inline; color: rgb(110,10,0)">lpar</span> <span style="display: inline; color: rgb(0,110,10)">-balanced</span> <strong><span style="display: inline; color: rgb(255,000,000)">BALANCED</span></strong>(<span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">x</span><span style="display: inline; color: rgb(0,30,190)">t</span>) <span style="display: inline; color: rgb(110,10,0)">rpar</span> <span style="display: inline; color: rgb(0,110,10)">-in</span><em><span style="display: inline; color: rgb(000,100,000)">.</span></em><strong><span style="display: inline; color: rgb(255,000,000)">
RSCHEMAS1</span></strong>(<span style="display: inline; color: rgb(0,30,190)">[</span><span style="display: inline; color: rgb(0,30,190)">h</span><span style="display: inline; color: rgb(0,30,190)">]</span>): <strong><span style="display: inline; color: rgb(255,000,000)">RSCHEMA</span></strong>(<span style="display: inline; color: rgb(0,30,190)">h</span>)<em><span style="display: inline; color: rgb(000,100,000)">.</span></em><strong><span style="display: inline; color: rgb(255,000,000)">
RSCHEMAS1</span></strong>(<span style="display: inline; color: rgb(0,30,190)">[</span><span style="display: inline; color: rgb(0,30,190)">h</span><span style="display: inline; color: rgb(0,30,190)"> </span><span style="display: inline; color: rgb(0,30,190)">.</span><span style="display: inline; color: rgb(0,30,190)"> </span><span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">]</span>): <strong><span style="display: inline; color: rgb(255,000,000)">RSCHEMA</span></strong>(<span style="display: inline; color: rgb(0,30,190)">h</span>) <span style="display: inline; color: rgb(110,10,0)">comma</span> <strong><span style="display: inline; color: rgb(255,000,000)">RSCHEMAS1</span></strong>(<span style="display: inline; color: rgb(0,30,190)">t</span>).<em><span style="display: inline; color: rgb(000,100,000)"> </span></em>
<em><span style="display: inline; color: rgb(000,100,000)"> </span></em><br /><div align="left" style="display: inline-block; width: 8px;"></div><span style="display: inline; color: rgb(0,100,0)"><strong><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;">grammar.apg2</span></strong></span> line 551</pre>
<pre style="color: inherit; font-size: inherit; background-color: rgb(240,240,220); width: inherit;"><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
RVALUE</span></strong>(<span style="display: inline; color: rgb(0,30,190)">m</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">a</span><span style="display: inline; color: rgb(0,30,190)">v</span><span style="display: inline; color: rgb(0,30,190)">a</span><span style="display: inline; color: rgb(0,30,190)">r</span>(<span style="display: inline; color: rgb(0,30,190)">"</span><span style="display: inline; color: rgb(0,30,190)">_</span><span style="display: inline; color: rgb(0,30,190)">"</span><span style="display: inline; color: rgb(0,30,190)">+</span><span style="display: inline; color: rgb(0,30,190)">n</span>)): <span style="display: inline; color: rgb(110,10,0)">upsymbol</span>(<span style="display: inline; color: rgb(0,30,190)">n</span>)<em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
RVALUE</span></strong>(<span style="display: inline; color: rgb(0,30,190)">o</span><span style="display: inline; color: rgb(0,30,190)">p</span>(<span style="display: inline; color: rgb(0,30,190)">s</span><span style="display: inline; color: rgb(0,30,190)">,</span><span style="display: inline; color: rgb(0,30,190)">[</span><span style="display: inline; color: rgb(0,30,190)">]</span>)): <span style="display: inline; color: rgb(110,10,0)">symbol</span>(<span style="display: inline; color: rgb(0,30,190)">s</span>)<em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
RVALUE</span></strong>(<span style="display: inline; color: rgb(0,30,190)">d</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">c</span>(<span style="display: inline; color: rgb(0,30,190)">s</span><span style="display: inline; color: rgb(0,30,190)">,</span><span style="display: inline; color: rgb(0,30,190)">t</span>)): <span style="display: inline; color: rgb(110,10,0)">symbol</span>(<span style="display: inline; color: rgb(0,30,190)">s</span>) <span style="display: inline; color: rgb(110,10,0)">colon</span> <strong><span style="display: inline; color: rgb(255,000,000)">RVALUE</span></strong>(<span style="display: inline; color: rgb(0,30,190)">t</span>)<em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
RVALUE</span></strong>(<span style="display: inline; color: rgb(0,30,190)">o</span><span style="display: inline; color: rgb(0,30,190)">p</span>(<span style="display: inline; color: rgb(0,30,190)">s</span><span style="display: inline; color: rgb(0,30,190)">,</span><span style="display: inline; color: rgb(0,30,190)">o</span><span style="display: inline; color: rgb(0,30,190)">p</span><span style="display: inline; color: rgb(0,30,190)">s</span>)): <span style="display: inline; color: rgb(110,10,0)">symbol</span>(<span style="display: inline; color: rgb(0,30,190)">s</span>) <span style="display: inline; color: rgb(110,10,0)">lpar</span> <strong><span style="display: inline; color: rgb(255,000,000)">RVALUES1</span></strong>(<span style="display: inline; color: rgb(0,30,190)">o</span><span style="display: inline; color: rgb(0,30,190)">p</span><span style="display: inline; color: rgb(0,30,190)">s</span>) <span style="display: inline; color: rgb(110,10,0)">rpar</span><em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
RVALUE</span></strong>(<span style="display: inline; color: rgb(0,30,190)">a</span><span style="display: inline; color: rgb(0,30,190)">n</span><span style="display: inline; color: rgb(0,30,190)">u</span><span style="display: inline; color: rgb(0,30,190)">b</span><span style="display: inline; color: rgb(0,30,190)">i</span><span style="display: inline; color: rgb(0,30,190)">s</span>(<span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">x</span><span style="display: inline; color: rgb(0,30,190)">t</span>)): <span style="display: inline; color: rgb(110,10,0)">lpar</span> <span style="display: inline; color: rgb(0,110,10)">-balanced</span> <strong><span style="display: inline; color: rgb(255,000,000)">BALANCED</span></strong>(<span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">x</span><span style="display: inline; color: rgb(0,30,190)">t</span>) <span style="display: inline; color: rgb(110,10,0)">rpar</span> <span style="display: inline; color: rgb(0,110,10)">-in</span><em><span style="display: inline; color: rgb(000,100,000)">.</span></em><strong><span style="display: inline; color: rgb(255,000,000)">
RVALUE</span></strong>(<span style="display: inline; color: rgb(0,30,190)">r</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">p</span><span style="display: inline; color: rgb(0,30,190)">l</span><span style="display: inline; color: rgb(0,30,190)">a</span><span style="display: inline; color: rgb(0,30,190)">c</span><span style="display: inline; color: rgb(0,30,190)">e</span>(<span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">,</span><span style="display: inline; color: rgb(0,30,190)">a</span><span style="display: inline; color: rgb(0,30,190)">,</span><span style="display: inline; color: rgb(0,30,190)">x</span>)): <strong><span style="display: inline; color: rgb(255,000,000)">RVALUE</span></strong>(<span style="display: inline; color: rgb(0,30,190)">t</span>) <span style="display: inline; color: rgb(110,10,0)">lbracket</span>
<strong><span style="display: inline; color: rgb(255,000,000)">RVALUE</span></strong>(<span style="display: inline; color: rgb(0,30,190)">a</span>) <span style="display: inline; color: rgb(110,10,0)">slash</span> <span style="display: inline; color: rgb(110,10,0)">symbol</span>(<span style="display: inline; color: rgb(0,30,190)">x</span>) <span style="display: inline; color: rgb(110,10,0)">rbracket</span><em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
RVALUES1</span></strong>(<span style="display: inline; color: rgb(0,30,190)">[</span><span style="display: inline; color: rgb(0,30,190)">h</span><span style="display: inline; color: rgb(0,30,190)">]</span>): <strong><span style="display: inline; color: rgb(255,000,000)">RVALUE</span></strong>(<span style="display: inline; color: rgb(0,30,190)">h</span>)<em><span style="display: inline; color: rgb(000,100,000)">.</span></em><strong><span style="display: inline; color: rgb(255,000,000)">
RVALUES1</span></strong>(<span style="display: inline; color: rgb(0,30,190)">[</span><span style="display: inline; color: rgb(0,30,190)">h</span><span style="display: inline; color: rgb(0,30,190)"> </span><span style="display: inline; color: rgb(0,30,190)">.</span><span style="display: inline; color: rgb(0,30,190)"> </span><span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">]</span>): <strong><span style="display: inline; color: rgb(255,000,000)">RVALUE</span></strong>(<span style="display: inline; color: rgb(0,30,190)">h</span>) <span style="display: inline; color: rgb(110,10,0)">comma</span> <strong><span style="display: inline; color: rgb(255,000,000)">RVALUES1</span></strong>(<span style="display: inline; color: rgb(0,30,190)">t</span>).<em><span style="display: inline; color: rgb(000,100,000)"> </span></em>
<br /><div align="left" style="display: inline-block; width: 8px;"></div><span style="display: inline; color: rgb(0,100,0)"><strong><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;">grammar.apg2</span></strong></span> line 562</pre><br><br> <a id="subsec4_13"></a><span style="font-size: 120%;"><strong>4.13. <span style="font-style: normal;"><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;"><strong><span style="display: inline; color: rgb(200,0,120)">unify</span></strong> <strong><span style="display: inline; color: rgb(200,0,120)">with</span></strong></span></span></strong></span><div align="center"> </div>
<pre style="color: inherit; font-size: inherit; background-color: rgb(240,240,220); width: inherit;"><strong><span style="display: inline; color: rgb(255,000,000)">
lexer</span></strong> <span style="display: inline; color: rgb(110,10,0)">default</span><em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
SENTENCE</span></strong>@(<span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">x</span><span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">r</span><span style="display: inline; color: rgb(0,30,190)">a</span><span style="display: inline; color: rgb(0,30,190)">[</span><span style="display: inline; color: rgb(0,30,190)">u</span><span style="display: inline; color: rgb(0,30,190)">n</span><span style="display: inline; color: rgb(0,30,190)">i</span><span style="display: inline; color: rgb(0,30,190)">f</span><span style="display: inline; color: rgb(0,30,190)">y</span><span style="display: inline; color: rgb(0,30,190)">_</span><span style="display: inline; color: rgb(0,30,190)">m</span><span style="display: inline; color: rgb(0,30,190)">o</span><span style="display: inline; color: rgb(0,30,190)">d</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)"> </span><span style="display: inline; color: rgb(0,30,190)"><</span><span style="display: inline; color: rgb(0,30,190)">-</span><span style="display: inline; color: rgb(0,30,190)"> </span><span style="display: inline; color: rgb(0,30,190)">r</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">d</span><span style="display: inline; color: rgb(0,30,190)">u</span><span style="display: inline; color: rgb(0,30,190)">c</span><span style="display: inline; color: rgb(0,30,190)">e</span>(<span style="display: inline; color: rgb(0,30,190)">l</span><span style="display: inline; color: rgb(0,30,190)">i</span><span style="display: inline; color: rgb(0,30,190)">n</span><span style="display: inline; color: rgb(0,30,190)">e</span>)<span style="display: inline; color: rgb(0,30,190)">]</span>): <span style="display: inline; color: rgb(110,10,0)">unifyreduce</span>(<span style="display: inline; color: rgb(0,30,190)">l</span><span style="display: inline; color: rgb(0,30,190)">i</span><span style="display: inline; color: rgb(0,30,190)">n</span><span style="display: inline; color: rgb(0,30,190)">e</span>)<em><span style="display: inline; color: rgb(000,100,000)">.</span></em><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
SENTENCE</span></strong>@(<span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">x</span><span style="display: inline; color: rgb(0,30,190)">t</span><span style="display: inline; color: rgb(0,30,190)">r</span><span style="display: inline; color: rgb(0,30,190)">a</span><span style="display: inline; color: rgb(0,30,190)">[</span><span style="display: inline; color: rgb(0,30,190)">u</span><span style="display: inline; color: rgb(0,30,190)">n</span><span style="display: inline; color: rgb(0,30,190)">i</span><span style="display: inline; color: rgb(0,30,190)">f</span><span style="display: inline; color: rgb(0,30,190)">y</span><span style="display: inline; color: rgb(0,30,190)">_</span><span style="display: inline; color: rgb(0,30,190)">m</span><span style="display: inline; color: rgb(0,30,190)">o</span><span style="display: inline; color: rgb(0,30,190)">d</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)"> </span><span style="display: inline; color: rgb(0,30,190)"><</span><span style="display: inline; color: rgb(0,30,190)">-</span><span style="display: inline; color: rgb(0,30,190)"> </span><span style="display: inline; color: rgb(0,30,190)">l</span><span style="display: inline; color: rgb(0,30,190)">a</span><span style="display: inline; color: rgb(0,30,190)">z</span><span style="display: inline; color: rgb(0,30,190)">y</span><span style="display: inline; color: rgb(0,30,190)">_</span><span style="display: inline; color: rgb(0,30,190)">r</span><span style="display: inline; color: rgb(0,30,190)">e</span><span style="display: inline; color: rgb(0,30,190)">d</span><span style="display: inline; color: rgb(0,30,190)">u</span><span style="display: inline; color: rgb(0,30,190)">c</span><span style="display: inline; color: rgb(0,30,190)">e</span>(<span style="display: inline; color: rgb(0,30,190)">l</span><span style="display: inline; color: rgb(0,30,190)">i</span><span style="display: inline; color: rgb(0,30,190)">n</span><span style="display: inline; color: rgb(0,30,190)">e</span>)<span style="display: inline; color: rgb(0,30,190)">]</span>): <span style="display: inline; color: rgb(110,10,0)">unifylazyreduce</span>(<span style="display: inline; color: rgb(0,30,190)">l</span><span style="display: inline; color: rgb(0,30,190)">i</span><span style="display: inline; color: rgb(0,30,190)">n</span><span style="display: inline; color: rgb(0,30,190)">e</span>).<em><span style="display: inline; color: rgb(000,100,000)"> </span></em>
<em><span style="display: inline; color: rgb(000,100,000)"> </span></em><br /><div align="left" style="display: inline-block; width: 8px;"></div><span style="display: inline; color: rgb(0,100,0)"><strong><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;">grammar.apg2</span></strong></span> line 571</pre>
This is the end of the grammar.
<pre style="color: inherit; font-size: inherit; background-color: rgb(240,240,220); width: inherit;"><em><span style="display: inline; color: rgb(000,100,000)"> </span></em><strong><span style="display: inline; color: rgb(255,000,000)">
#</span></strong>
<em><span style="display: inline; color: rgb(000,100,000)"> </span></em><br /><div align="left" style="display: inline-block; width: 8px;"></div><span style="display: inline; color: rgb(0,100,0)"><strong><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;">grammar.apg2</span></strong></span> line 575</pre><br><br>
<a id="sec5"></a><div align="center"> </div><span style="font-size: 120%;"><span style="font-size: 120%;"><strong>5. The (<span style="font-style: normal;"><strong><span style="display: inline; color: rgb(100,100,0)">A</span><span style="display: inline; color: rgb(0,100,100)">P</span><span style="display: inline; color: rgb(100,0,100)">G</span><span style="display: inline; color: rgb(0,0,220)"><sub>2</sub></span></strong></span>) postambule</strong></span></span><div align="center"> </div>
<a id="subsec5_1"></a><span style="font-size: 120%;"><strong>5.1. Formating lexical errors</strong></span><div align="center"> </div>
<pre style="color: inherit; font-size: inherit; background-color: rgb(240,235,225); width: inherit;"><span style="display: inline; color: rgb(0,100,0)"> </span>
<strong><span style="display: inline; color: rgb(200,0,120)">define</span></strong> <strong><span style="display: inline; color: rgb(0,100,180)">String</span></strong>
<span style="display: inline; color: rgb(180,0,0)">format</span>
(
<strong><span style="display: inline; color: rgb(0,100,180)">LexicalError</span></strong>(<strong><span style="display: inline; color: rgb(0,100,180)">WMain</span></strong>) <span style="display: inline; color: rgb(180,0,0)">e</span>
) =
<span style="display: inline; color: rgb(120,70,200)"><em>if</em></span> <span style="display: inline; color: rgb(180,0,0)">e</span> <span style="display: inline; color: rgb(120,70,200)"><em>is</em></span>
{
<span style="display: inline; color: rgb(180,0,0)">lex_error</span>(<span style="display: inline; color: rgb(180,0,0)">b</span>,<span style="display: inline; color: rgb(180,0,0)">t</span>,<span style="display: inline; color: rgb(180,0,0)">a</span>) <span style="display: inline; color: rgb(120,70,200)"><em>then</em></span>
<span style="display: inline; color: rgb(125,0,130)"><strong>"</strong></span><span style="display: inline; color: rgb(125,0,130)"><strong>[</strong></span><span style="display: inline; color: rgb(125,0,130)"><strong>"</strong></span>+<span style="display: inline; color: rgb(180,0,0)">to_string</span>(<span style="display: inline; color: rgb(180,0,0)">b</span>)+<span style="display: inline; color: rgb(125,0,130)"><strong>"</strong></span><span style="display: inline; color: rgb(125,0,130)"><strong>] at </strong></span><span style="display: inline; color: rgb(125,0,130)"><strong>"</strong></span>+<span style="display: inline; color: rgb(180,0,0)">line</span>(<span style="display: inline; color: rgb(180,0,0)">t</span>)(<span style="display: inline; color: rgb(180,0,0)">unique</span>)+<span style="display: inline; color: rgb(125,0,130)"><strong>"</strong></span><span style="display: inline; color: rgb(125,0,130)"><strong>:</strong></span><span style="display: inline; color: rgb(125,0,130)"><strong>"</strong></span>+<span style="display: inline; color: rgb(180,0,0)">column</span>(<span style="display: inline; color: rgb(180,0,0)">t</span>)(<span style="display: inline; color: rgb(180,0,0)">unique</span>),
<span style="display: inline; color: rgb(180,0,0)">lex_error</span>(<span style="display: inline; color: rgb(180,0,0)">message</span>) <span style="display: inline; color: rgb(120,70,200)"><em>then</em></span> <span style="display: inline; color: rgb(180,0,0)">message</span>,
<span style="display: inline; color: rgb(180,0,0)">other_error</span>(<span style="display: inline; color: rgb(180,0,0)">a</span>) <span style="display: inline; color: rgb(120,70,200)"><em>then</em></span> <span style="display: inline; color: rgb(125,0,130)"><strong>"</strong></span><span style="display: inline; color: rgb(125,0,130)"><strong>(unknown error)</strong></span><span style="display: inline; color: rgb(125,0,130)"><strong>"</strong></span>
}.<span style="display: inline; color: rgb(0,100,0)"> </span>
<span style="display: inline; color: rgb(0,100,0)"> </span><br /><div align="left" style="display: inline-block; width: 8px;"></div><span style="display: inline; color: rgb(0,100,0)"><strong><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;">grammar.apg2</span></strong></span> line 595</pre><br><br> <a id="subsec5_2"></a><span style="font-size: 120%;"><strong>5.2. Formating syntax errors</strong></span><div align="center"> </div>
The type <span style="font-style: normal;"><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;"><strong><span style="display: inline; color: rgb(0,100,180)">Error_oplang_parser</span></strong></span></span> is generated by <span style="font-style: normal;"><strong><span style="display: inline; color: rgb(110,000,000)">Op</span><span style="display: inline; color: rgb(000,000,128)">Lang</span></strong></span>.
<pre style="color: inherit; font-size: inherit; background-color: rgb(240,235,225); width: inherit;"><span style="display: inline; color: rgb(0,100,0)"> </span>
<strong><span style="display: inline; color: rgb(200,0,120)">public</span></strong> <strong><span style="display: inline; color: rgb(200,0,120)">define</span></strong> <strong><span style="display: inline; color: rgb(0,100,180)">String</span></strong>
<span style="display: inline; color: rgb(180,0,0)">format</span>
(
<strong><span style="display: inline; color: rgb(0,100,180)">Error_oplang_parser</span></strong> <span style="display: inline; color: rgb(180,0,0)">e</span>
) =
<span style="display: inline; color: rgb(120,70,200)"><em>if</em></span> <span style="display: inline; color: rgb(180,0,0)">e</span> <span style="display: inline; color: rgb(120,70,200)"><em>is</em></span>
{
<span style="display: inline; color: rgb(180,0,0)">internal</span> <span style="display: inline; color: rgb(120,70,200)"><em>then</em></span> <strong><span style="display: inline; color: rgb(255,000,000)">should_not_happen</span></strong>(<span style="display: inline; color: rgb(125,0,130)"><strong>"</strong></span><span style="display: inline; color: rgb(125,0,130)"><strong>internal error</strong></span><span style="display: inline; color: rgb(125,0,130)"><strong>"</strong></span>),
<span style="display: inline; color: rgb(180,0,0)">lexical</span>(<span style="display: inline; color: rgb(180,0,0)">le</span>,<span style="display: inline; color: rgb(180,0,0)">lname</span>) <span style="display: inline; color: rgb(120,70,200)"><em>then</em></span>
<span style="display: inline; color: rgb(125,0,130)"><strong>"</strong></span><span style="display: inline; color: rgb(125,0,130)"><strong>Lexical error for lexer '</strong></span><span style="display: inline; color: rgb(125,0,130)"><strong>"</strong></span>+<span style="display: inline; color: rgb(180,0,0)">lname</span>+<span style="display: inline; color: rgb(125,0,130)"><strong>"</strong></span><span style="display: inline; color: rgb(125,0,130)"><strong>' </strong></span><span style="display: inline; color: rgb(125,0,130)"><strong>"</strong></span>+<span style="display: inline; color: rgb(180,0,0)">format</span>(<span style="display: inline; color: rgb(180,0,0)">le</span>),
<span style="display: inline; color: rgb(180,0,0)">syntactic</span>(<span style="display: inline; color: rgb(180,0,0)">line</span>,<span style="display: inline; color: rgb(180,0,0)">col</span>,<span style="display: inline; color: rgb(180,0,0)">_</span>,<span style="display: inline; color: rgb(180,0,0)">state</span>,<span style="display: inline; color: rgb(180,0,0)">lexer</span>,<span style="display: inline; color: rgb(180,0,0)">etype</span>,<span style="display: inline; color: rgb(180,0,0)">faulty</span>,<span style="display: inline; color: rgb(180,0,0)">expected</span>) <span style="display: inline; color: rgb(120,70,200)"><em>then</em></span>
<span style="display: inline; color: rgb(125,0,130)"><strong>"</strong></span><span style="display: inline; color: rgb(125,0,130)"><strong>Syntax error at </strong></span><span style="display: inline; color: rgb(125,0,130)"><strong>"</strong></span>+<span style="display: inline; color: rgb(180,0,0)">line</span>+<span style="display: inline; color: rgb(125,0,130)"><strong>"</strong></span><span style="display: inline; color: rgb(125,0,130)"><strong>:</strong></span><span style="display: inline; color: rgb(125,0,130)"><strong>"</strong></span>+<span style="display: inline; color: rgb(180,0,0)">col</span>+<span style="display: inline; color: rgb(125,0,130)"><strong>"</strong></span><span style="display: inline; color: rgb(125,0,130)"><strong> in state </strong></span><span style="display: inline; color: rgb(125,0,130)"><strong>"</strong></span>+<span style="display: inline; color: rgb(180,0,0)">state</span>+
<span style="display: inline; color: rgb(125,0,130)"><strong>"</strong></span><span style="display: inline; color: rgb(125,0,130)"><strong> read: </strong></span><span style="display: inline; color: rgb(125,0,130)"><strong>"</strong></span>+<span style="display: inline; color: rgb(180,0,0)">tokenname</span>(<span style="display: inline; color: rgb(180,0,0)">faulty</span>)+<span style="display: inline; color: rgb(125,0,130)"><strong>"</strong></span><span style="display: inline; color: rgb(125,0,130)"><strong> expected: </strong></span><span style="display: inline; color: rgb(125,0,130)"><strong>"</strong></span>+
<span style="display: inline; color: rgb(180,0,0)">concat</span>(<span style="display: inline; color: rgb(180,0,0)">map</span>(<span style="display: inline; color: rgb(180,0,0)">tokenname</span>,<span style="display: inline; color: rgb(180,0,0)">expected</span>),<span style="display: inline; color: rgb(125,0,130)"><strong>"</strong></span><span style="display: inline; color: rgb(125,0,130)"><strong> </strong></span><span style="display: inline; color: rgb(125,0,130)"><strong>"</strong></span>),
<span style="display: inline; color: rgb(180,0,0)">semantic</span>(<span style="display: inline; color: rgb(180,0,0)">se</span>) <span style="display: inline; color: rgb(120,70,200)"><em>then</em></span> <span style="display: inline; color: rgb(180,0,0)">format</span>(<span style="display: inline; color: rgb(180,0,0)">se</span>)
}.<span style="display: inline; color: rgb(0,100,0)"> </span>
<span style="display: inline; color: rgb(0,100,0)"> </span><br /><div align="left" style="display: inline-block; width: 8px;"></div><span style="display: inline; color: rgb(0,100,0)"><strong><span style="font-family:'Lucida Console', monospace; font-size:inherit; font-style: normal;">grammar.apg2</span></strong></span> line 620</pre><br><br></div></td></tr></table></center></body></html>