JKEGL / Marpa-R3-4.001_051 / t / leo3.t 

            

              
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

              
#!perl
# Marpa::R3 is Copyright (C) 2017, Jeffrey Kegler.
#
# This module is free software; you can redistribute it and/or modify it
# under the same terms as Perl 5.10.1. For more details, see the full text
# of the licenses in the directory LICENSES.
#
# This program is distributed in the hope that it will be
# useful, but it is provided "as is" and without any express
# or implied warranties. For details, see the full text of
# of the licenses in the directory LICENSES.
# This is leo3.t from Marpa::R2 converted to the SLIF
# The example from p. 166 of Leo's paper,
# augmented to test Leo prediction items.
# Similar to other tests, but the focuses in this
# one are the Earley set counts and the
# diagnostics.
use 5.010001;
use strict;
use warnings;
use Test::More tests => 5;
use POSIX qw(setlocale LC_ALL);
POSIX::setlocale(LC_ALL, "C");
use lib 'inc';
use Marpa::R3::Test;
use Marpa::R3;
## no critic (Subroutines::RequireArgUnpacking)
sub main::default_action {
    return ( join q{}, grep {defined} @{$_[1]} );
}
## use critic
my $grammar = Marpa::R3::Grammar->new(
    { 
        source => \(<<'END_OF_DSL'),
:default ::= action => main::default_action
:start ::= S
S ::= a A
A ::= B
B ::= C
C ::= S
S ::=
a ~ 'a'
END_OF_DSL
    }
);
Marpa::R3::Test::is( $grammar->symbols_show(),
    <<'END_OF_STRING', 'Leo166 Symbols' );
S1 A
S2 B
S3 C
S4 S
S5 [:lex_start:]
S6 [:start:]
S7 [a]
S8 a
END_OF_STRING
Marpa::R3::Test::is( $grammar->productions_show,
    <<'END_OF_STRING', 'Leo166 Productions' );
R1 [:start:] ::= S
R2 S ::= a A
R3 A ::= B
R4 B ::= C
R5 C ::= S
R6 S ::=
R7 [:lex_start:] ~ a
R8 a ~ [a]
END_OF_STRING
Marpa::R3::Test::is( $grammar->ahms_show(), <<'END_OF_STRING', 'Leo166 AHMs' );
AHM 0: dot=0; nulls=0
    S ::= . a A
AHM 1: dot=1; nulls=0
    S ::= a . A
AHM 2: completion; dot=2; nulls=0
    S ::= a A .
AHM 3: dot=0; nulls=0
    S ::= . a A[]
AHM 4: completion; dot=2; nulls=1
    S ::= a A[] .
AHM 5: dot=0; nulls=0
    A ::= . B
AHM 6: completion; dot=1; nulls=0
    A ::= B .
AHM 7: dot=0; nulls=0
    B ::= . C
AHM 8: completion; dot=1; nulls=0
    B ::= C .
AHM 9: dot=0; nulls=0
    C ::= . S
AHM 10: completion; dot=1; nulls=0
    C ::= S .
AHM 11: dot=0; nulls=0
    [:start:] ::= . S
AHM 12: completion; dot=1; nulls=0
    [:start:] ::= S .
AHM 13: dot=0; nulls=0
    [:start:]['] ::= . [:start:]
AHM 14: completion; dot=1; nulls=0
    [:start:]['] ::= [:start:] .
END_OF_STRING
my $length = 20;
my $recce = Marpa::R3::Recognizer->new(
    { grammar => $grammar } );
my $i                 = 0;
my $g1_pos = $recce->g1_pos();
my $max_size          = $recce->earley_set_size($g1_pos);
$recce->read( \('a' x $length) );
TOKEN: for ( my $i = 0; $i < $length; $i++ ) {
    my $size = $recce->earley_set_size($i);
    $max_size = $size > $max_size ? $size : $max_size;
} ## end while ( $i++ < $length )
my $expected_size = 10;
Marpa::R3::Test::is( $max_size, $expected_size,
"Earley set size, got $max_size, expected $expected_size" );
my $value_ref = $recce->value();
my $value = $value_ref ? ${$value_ref} : 'No parse';
Marpa::R3::Test::is( $value, 'a' x $length, 'Leo p166 parse' );
# vim: expandtab shiftwidth=4: