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
|
#!/usr/bin/perl
# Copyright 2022 Jeffrey Kegler
# This file is part of Marpa::R2. Marpa::R2 is free software: you can
# redistribute it and/or modify it under the terms of the GNU Lesser
# General Public License as published by the Free Software Foundation,
# either version 3 of the License, or (at your option) any later version.
#
# Marpa::R2 is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
# Lesser General Public License for more details.
#
# You should have received a copy of the GNU Lesser
# General Public License along with Marpa::R2. If not, see
# http://www.gnu.org/licenses/.
# Dave Abrahams Libmarpa issue 115
# Minimal Working Example
# "Bad ambiguity report"
use 5.010001;
use strict;
use warnings;
use Scalar::Util;
use Data::Dumper;
use Test::More tests => 1;
use lib 'inc';
use Marpa::R2::Test;
## no critic (ErrorHandling::RequireCarping);
use Marpa::R2;
my $bnf = <<'END_OF_BNF';
:default ::= action => [values]
lexeme default = latm => 1
:start ::= prefixExpr
prefixExpr ::= prefixOperatorOpt suffixExpr
suffixExpr ::= prefixExpr Arg2
suffixExpr ::= Arg1
prefixOperatorOpt ::=
prefixOperatorOpt ::= Op
:discard ~ whitespace
unicorn ~ [^\d\D]
whitespace ~ [\s]+
Arg1 ~ unicorn
Arg2 ~ unicorn
Op ~ unicorn
END_OF_BNF
my $grammar = Marpa::R2::Scanless::G->new(
{
source => \$bnf,
}
);
my $string = <<'EOS';
type A {
var a: Int
fun foo(a: Int) { a.copy() }
fun foo(b: Int) -> Int {
let { a + b }
inout { b += a }
}
}
EOS
my $recce = Marpa::R2::Scanless::R->new( { grammar => $grammar } );
$recce->read( \$string, 0, 0 );
if ( not defined $recce->lexeme_read( 'Arg1', undef, 1, 'Arg1' ) ) {
die qq{Parser rejected token "Arg1"};
}
if ( not defined $recce->lexeme_read( 'Arg2', undef, 1, 'Arg2' ) ) {
die qq{Parser rejected token "Arg2"};
}
my $value_ref = $recce->value();
if ( not defined $value_ref ) {
die "No parse was found, after reading the entire input\n";
}
my $expected_value = \[ [], [ [ [], ['Arg1'] ], 'Arg2' ] ];
Test::More::is(
Data::Dumper::Dumper($value_ref),
Data::Dumper::Dumper($expected_value),
'Value of parse'
);
# vim: expandtab shiftwidth=4:
|