#!perl
# Copyright 2012 Jeffrey Kegler
# This file is part of Marpa::XS.  Marpa::XS 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::XS 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::XS.  If not, see
# http://www.gnu.org/licenses/.
# Two rules which start with nullables, and cycle.

use 5.010;
use strict;
use warnings;

use Test::More tests => 4;

use lib 'tool/lib';
use Marpa::XS::Test;

BEGIN {
    Test::More::use_ok('Marpa::XS');
}

## no critic (Subroutines::RequireArgUnpacking)

sub default_action {
    shift;
    my $v_count = scalar @_;
    return q{} if $v_count <= 0;
    my @vals = map { $_ // q{-} } @_;
    return '(' . join( q{;}, @vals ) . ')';
} ## end sub default_action

sub rule_n {
    shift;
    return 'n(' . ( join q{;}, map { $_ // q{-} } @_ ) . ')';
}

sub start_rule {
    shift;
    return 'S(' . ( join q{;}, ( map { $_ // q{-} } @_ ) ) . ')';
}

sub rule_f {
    shift;
    return 'f(' . ( join q{;}, ( map { $_ // q{-} } @_ ) ) . ')';
}

## use critic

my $grammar = Marpa::XS::Grammar->new(
    {   start           => 'S',
        strip           => 0,
        infinite_action => 'quiet',

        rules => [
            { lhs => 'S', rhs => [qw/n f/], action => 'main::start_rule' },
            { lhs => 'n', rhs => ['a'],     action => 'main::rule_n' },
            { lhs => 'n', rhs => [] },
            { lhs => 'f', rhs => ['a'],     action => 'main::rule_f' },
            { lhs => 'f', rhs => [] },
            { lhs => 'f', rhs => ['S'],     action => 'main::rule_f' },
        ],
        symbols        => { a => { terminal => 1 }, },
        default_action => 'main::default_action',
    }
);

$grammar->precompute();

my @expected2 = qw{
    S(-;f(S(n(A);f(A))))
    S(-;f(S(n(A);f(S(-;f(A))))))
    S(-;f(S(n(A);f(S(-;f(S(n(A);-)))))))
    S(-;f(S(n(A);f(S(n(A);-)))))
    S(n(A);f(S(-;f(A))))
    S(n(A);f(S(-;f(S(n(A);-)))))
    S(n(A);f(S(n(A);-)))
    S(n(A);f(A))
};

my @expected3 = qw{
    S(-;f(S(n(A);f(S(-;f(S(n(A);f(A))))))))
    S(-;f(S(n(A);f(S(-;f(S(n(A);f(S(-;f(A))))))))))
    S(-;f(S(n(A);f(S(-;f(S(n(A);f(S(-;f(S(n(A);-)))))))))))
    S(-;f(S(n(A);f(S(-;f(S(n(A);f(S(n(A);-)))))))))
    S(-;f(S(n(A);f(S(n(A);f(A))))))
    S(-;f(S(n(A);f(S(n(A);f(S(-;f(A))))))))
    S(-;f(S(n(A);f(S(n(A);f(S(-;f(S(n(A);-)))))))))
    S(-;f(S(n(A);f(S(n(A);f(S(n(A);-)))))))
    S(n(A);f(S(n(A);f(A))))
    S(n(A);f(S(n(A);f(S(-;f(A))))))
    S(n(A);f(S(n(A);f(S(-;f(S(n(A);-)))))))
    S(n(A);f(S(n(A);f(S(n(A);-)))))
    S(n(A);f(S(-;f(S(n(A);f(A))))))
    S(n(A);f(S(-;f(S(n(A);f(S(-;f(A))))))))
    S(n(A);f(S(-;f(S(n(A);f(S(-;f(S(n(A);-)))))))))
    S(n(A);f(S(-;f(S(n(A);f(S(n(A);-)))))))
};

my @expected = (
    [q{}],
    [   qw{
            S(-;f(A))
            S(-;f(S(n(A);-)))
            S(n(A);-)
            }
    ],
    \@expected2,
    \@expected3,
);

for my $input_length ( 1 .. 3 ) {
    my $recce = Marpa::XS::Recognizer->new(
        { grammar => $grammar, max_parses => 99 } );
    for ( 1 .. $input_length ) { $recce->read( 'a', 'A' ); }
    my $expected = $expected[$input_length];
    my @values   = ();
    while ( my $value_ref = $recce->value() ) {
        push @values, ${$value_ref};
    }
    my $values          = join "\n", sort @values;
    my $expected_values = join "\n", sort @{$expected};

    # die if $values ne $expected_values;
    Marpa::XS::Test::is( $values, $expected_values,
        "value for input length $input_length" );
} ## end for my $input_length ( 1 .. 3 )

1;    # In case used as "do" file

# Local Variables:
#   mode: cperl
#   cperl-indent-level: 4
#   fill-column: 100
# End:
# vim: expandtab shiftwidth=4: