#!/usr/bin/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.
# Displays for SLIF Progress.pod
use 5.010001;
use strict;
use warnings;
use Test::More tests => 26;
use Data::Dumper;
use English qw( -no_match_vars );
use Fatal qw( open close );
use POSIX qw(setlocale LC_ALL);
POSIX::setlocale(LC_ALL, "C");
use lib 'inc';
use Marpa::R3::Test;
use Marpa::R3;
my $progress_report = q{};
# Marpa::R3::Display
# name: SLIF debug example, part 1
my $slif_debug_source = <<'END_OF_SOURCE';
:default ::= action => ::array bless => ::lhs
:start ::= statements
statements ::= statement *
statement ::= assignment | <numeric assignment>
assignment ::= 'set' variable 'to' expression
# This is a deliberate error in the grammar
# The next line should be:
# <numeric assignment> ::= variable '=' <numeric expression>
# I have changed the <numeric expression> to <expression> which
# will cause problems.
<numeric assignment> ::= variable '=' expression
expression ::=
variable | string
|| 'string' '(' <numeric expression> ')'
|| expression '+' expression
<numeric expression> ::=
variable | number
|| <numeric expression> '+' <numeric expression>
|| <numeric expression> '*' <numeric expression>
variable ~ [\w]+
number ~ [\d]+
string ~ ['] <string contents> [']
<string contents> ~ [^'\x{0A}\x{0B}\x{0C}\x{0D}\x{0085}\x{2028}\x{2029}]+
:discard ~ whitespace
whitespace ~ [\s]+
END_OF_SOURCE
my $grammar = Marpa::R3::Scanless::G->new(
{
bless_package => 'My_Nodes',
source => \$slif_debug_source,
});
# Marpa::R3::Display::End
## no critic (InputOutput::RequireBriefOpen)
open my $trace_fh, q{>}, \( my $trace_output = q{} );
## use critic
# Marpa::R3::Display
# name: SLIF grammar set() synopsis
$grammar->set( { trace_file_handle => $trace_fh } );
# Marpa::R3::Display::End
# Marpa::R3::Display
# name: SLIF debug example, part 2
my $recce = Marpa::R3::Scanless::R->new(
{ grammar => $grammar,
trace_terminals => 1,
trace_values => 1,
} );
my $test_input = 'a = 8675309 + 42 * 711';
my $eval_error = $EVAL_ERROR if not eval { $recce->read( \$test_input ); 1 };
$progress_report = $recce->show_progress( 0, -1 );
# Marpa::R3::Display::End
# Marpa::R3::Display
# name: SLIF debug example error message
# start-after-line: END_OF_TEXT
# end-before-line: '^END_OF_TEXT$'
$eval_error =~ s/^(Marpa::R3 \s+ exception \s+ at) .*/$1\n/xms;
Marpa::R3::Test::is($eval_error, <<'END_OF_TEXT', 'Error message before fix');
Error in SLIF parse: No lexeme found at line 1, column 18
* String before error: a = 8675309 + 42\s
* The error was at line 1, column 18, and at character 0x002a '*', ...
* here: * 711
Marpa::R3 exception at
END_OF_TEXT
# Marpa::R3::Display::End
# Marpa::R3::Display
# name: SLIF debug example dump of value
my $value_ref = $recce->value();
my $expected_output = \bless( [
bless( [
bless( [
'a',
'=',
bless( [
bless( [
'8675309'
], 'My_Nodes::expression' ),
'+',
bless( [
'42'
], 'My_Nodes::expression' )
], 'My_Nodes::expression' )
], 'My_Nodes::numeric_assignment' )
], 'My_Nodes::statement' )
], 'My_Nodes::statements' );
# Marpa::R3::Display::End
Test::More::is_deeply( $value_ref, $expected_output, 'Value before fix' );
# Marpa::R3::Display
# name: SLIF debug example progress report
# start-after-line: END_PROGRESS_REPORT
# end-before-line: '^END_PROGRESS_REPORT$'
Marpa::R3::Test::is( $progress_report,
<<'END_PROGRESS_REPORT', 'progress report' );
P0 @0-0 L0c0 statements -> . statement *
P1 @0-0 L0c0 statement -> . assignment
P2 @0-0 L0c0 statement -> . <numeric assignment>
P3 @0-0 L0c0 assignment -> . 'set' variable 'to' expression
P4 @0-0 L0c0 <numeric assignment> -> . variable '=' expression
P19 @0-0 L0c0 [:start] -> . statements
R4:1 @0-1 L1c1 <numeric assignment> -> variable . '=' expression
R4:2 @0-2 L1c1-3 <numeric assignment> -> variable '=' . expression
P5 @2-2 L1c5 expression -> . expression
P6 @2-2 L1c5 expression -> . expression
P7 @2-2 L1c5 expression -> . expression
P8 @2-2 L1c5 expression -> . variable
P9 @2-2 L1c5 expression -> . string
P10 @2-2 L1c5 expression -> . 'string' '(' <numeric expression> ')'
P11 @2-2 L1c5 expression -> . expression '+' expression
P0 @0-3 L1c1-11 statements -> . statement *
F0 @0-3 L1c1-11 statements -> statement * .
P1 @3-3 L1c13 statement -> . assignment
P2 @3-3 L1c13 statement -> . <numeric assignment>
F2 @0-3 L1c1-11 statement -> <numeric assignment> .
P3 @3-3 L1c13 assignment -> . 'set' variable 'to' expression
P4 @3-3 L1c13 <numeric assignment> -> . variable '=' expression
F4 @0-3 L1c1-11 <numeric assignment> -> variable '=' expression .
F5 @2-3 L1c5-11 expression -> expression .
F6 @2-3 L1c5-11 expression -> expression .
F7 @2-3 L1c5-11 expression -> expression .
F8 @2-3 L1c5-11 expression -> variable .
R11:1 @2-3 L1c5-11 expression -> expression . '+' expression
F19 @0-3 L1c1-11 [:start] -> statements .
P7 @4-4 L1c15 expression -> . expression
P8 @4-4 L1c15 expression -> . variable
P9 @4-4 L1c15 expression -> . string
P10 @4-4 L1c15 expression -> . 'string' '(' <numeric expression> ')'
R11:2 @2-4 L1c5-13 expression -> expression '+' . expression
P0 @0-5 L1c1-16 statements -> . statement *
F0 @0-5 L1c1-16 statements -> statement * .
P1 @5-5 L1c17 statement -> . assignment
P2 @5-5 L1c17 statement -> . <numeric assignment>
F2 @0-5 L1c1-16 statement -> <numeric assignment> .
P3 @5-5 L1c17 assignment -> . 'set' variable 'to' expression
P4 @5-5 L1c17 <numeric assignment> -> . variable '=' expression
F4 @0-5 L1c1-16 <numeric assignment> -> variable '=' expression .
F5 @2-5 L1c5-16 expression -> expression .
F7 @4-5 L1c15-16 expression -> expression .
F8 @4-5 L1c15-16 expression -> variable .
R11:1 @2-5 L1c5-16 expression -> expression . '+' expression
F11 @2-5 L1c5-16 expression -> expression '+' expression .
F19 @0-5 L1c1-16 [:start] -> statements .
END_PROGRESS_REPORT
# Marpa::R3::Display::End
$Data::Dumper::Indent = 0;
$Data::Dumper::Terse = 1;
# Marpa::R3::Display
# name: SLIF progress(0) example
my $report0 = $recce->progress(0);
# Marpa::R3::Display::End
# Marpa::R3::Display
# name: SLIF progress() output at location 0
# start-after-line: END_PROGRESS_REPORT
# end-before-line: '^END_PROGRESS_REPORT$'
chomp( my $expected_report0 = <<'END_PROGRESS_REPORT');
[[0,0,0],[1,0,0],[2,0,0],[3,0,0],[4,0,0],[19,0,0]]
END_PROGRESS_REPORT
Marpa::R3::Test::is( Data::Dumper::Dumper($report0),
$expected_report0, 'progress report at location 0' );
# Marpa::R3::Display::End
# Try again with negative index
$report0 = $recce->progress(-6);
Marpa::R3::Test::is( Data::Dumper::Dumper($report0),
$expected_report0, 'progress report at location -6' );
my $report1 = $recce->progress(1);
# Marpa::R3::Display
# name: SLIF progress() output at location 1
# start-after-line: END_PROGRESS_REPORT
# end-before-line: '^END_PROGRESS_REPORT$'
chomp( my $expected_report1 = <<'END_PROGRESS_REPORT');
[[4,1,0]]
END_PROGRESS_REPORT
Marpa::R3::Test::is( Data::Dumper::Dumper($report1),
$expected_report1, 'progress report at location 1' );
# Marpa::R3::Display::End
# Try again with negative index
$report1 = $recce->progress(-5);
Marpa::R3::Test::is( Data::Dumper::Dumper($report1),
$expected_report1, 'progress report at location -5' );
my $report2 = $recce->progress(2);
# Marpa::R3::Display
# name: SLIF progress() output at location 2
# start-after-line: END_PROGRESS_REPORT
# end-before-line: '^END_PROGRESS_REPORT$'
chomp( my $expected_report2 = <<'END_PROGRESS_REPORT');
[[5,0,2],[6,0,2],[7,0,2],[8,0,2],[9,0,2],[10,0,2],[11,0,2],[4,2,0]]
END_PROGRESS_REPORT
Marpa::R3::Test::is( Data::Dumper::Dumper($report2),
$expected_report2, 'progress report at location 2' );
# Marpa::R3::Display::End
# Try again with negative index
$report2 = $recce->progress(-4);
Marpa::R3::Test::is( Data::Dumper::Dumper($report2),
$expected_report2, 'progress report at location -4' );
# Marpa::R3::Display
# name: SLIF progress() example
my $latest_report = $recce->progress();
# Marpa::R3::Display::End
# Marpa::R3::Display
# name: SLIF progress() output at default location
# start-after-line: END_PROGRESS_REPORT
# end-before-line: '^END_PROGRESS_REPORT$'
chomp( my $expected_default_report = <<'END_PROGRESS_REPORT');
[[0,-1,0],[2,-1,0],[4,-1,0],[5,-1,2],[7,-1,4],[8,-1,4],[11,-1,2],[19,-1,0],[0,0,0],[1,0,5],[2,0,5],[3,0,5],[4,0,5],[11,1,2]]
END_PROGRESS_REPORT
Marpa::R3::Test::is( Data::Dumper::Dumper($latest_report),
$expected_default_report, 'progress report at default location' );
# Marpa::R3::Display::End
chomp( my $expected_report3 = <<'END_PROGRESS_REPORT');
[[0,-1,0],[2,-1,0],[4,-1,0],[5,-1,2],[6,-1,2],[7,-1,2],[8,-1,2],[19,-1,0],[0,0,0],[1,0,3],[2,0,3],[3,0,3],[4,0,3],[11,1,2]]
END_PROGRESS_REPORT
# Try latest report again with explicit index
my $report3 = $recce->progress(3);
Marpa::R3::Test::is( Data::Dumper::Dumper($report3),
$expected_report3, 'progress report at location 3' );
# Try latest report again with negative index
$latest_report = $recce->progress(-3);
Marpa::R3::Test::is( Data::Dumper::Dumper($latest_report),
$expected_report3, 'progress report at location -3' );
# Marpa::R3::Display
# name: SLIF debug example trace output
# start-after-line: END_TRACE_OUTPUT
# end-before-line: '^END_TRACE_OUTPUT$'
Marpa::R3::Test::is( $trace_output, <<'END_TRACE_OUTPUT', 'trace output' );
Setting trace_terminals option
Setting trace_values option to 1
Restarted recognizer at line 1, column 1
Reading codepoint "a" 0x0061 at line 1, column 1
Codepoint "a" 0x0061 accepted as [\w] at line 1, column 1
Codepoint "a" 0x0061 rejected as [^'\x{0A}\x{0B}\x{0C}\x{0D}\x{0085}\x{2028}\x{2029}] at line 1, column 1
Reading codepoint 0x0020 at line 1, column 2
Codepoint 0x0020 rejected as [\s] at line 1, column 2
Codepoint 0x0020 rejected as [^'\x{0A}\x{0B}\x{0C}\x{0D}\x{0085}\x{2028}\x{2029}] at line 1, column 2
Accepted lexeme L1c1 e1: variable; value="a"
Restarted recognizer at line 1, column 2
Reading codepoint 0x0020 at line 1, column 2
Codepoint 0x0020 accepted as [\s] at line 1, column 2
Codepoint 0x0020 rejected as [^'\x{0A}\x{0B}\x{0C}\x{0D}\x{0085}\x{2028}\x{2029}] at line 1, column 2
Reading codepoint "=" 0x003d at line 1, column 3
Codepoint "=" 0x003d rejected as [\=] at line 1, column 3
Codepoint "=" 0x003d rejected as [^'\x{0A}\x{0B}\x{0C}\x{0D}\x{0085}\x{2028}\x{2029}] at line 1, column 3
Discarded lexeme L1c2: whitespace
Restarted recognizer at line 1, column 3
Reading codepoint "=" 0x003d at line 1, column 3
Codepoint "=" 0x003d accepted as [\=] at line 1, column 3
Codepoint "=" 0x003d rejected as [^'\x{0A}\x{0B}\x{0C}\x{0D}\x{0085}\x{2028}\x{2029}] at line 1, column 3
Accepted lexeme L1c3 e2: '='; value="="
Restarted recognizer at line 1, column 4
Reading codepoint 0x0020 at line 1, column 4
Codepoint 0x0020 accepted as [\s] at line 1, column 4
Codepoint 0x0020 rejected as [^'\x{0A}\x{0B}\x{0C}\x{0D}\x{0085}\x{2028}\x{2029}] at line 1, column 4
Reading codepoint "8" 0x0038 at line 1, column 5
Codepoint "8" 0x0038 rejected as [\d] at line 1, column 5
Codepoint "8" 0x0038 rejected as [\w] at line 1, column 5
Codepoint "8" 0x0038 rejected as [^'\x{0A}\x{0B}\x{0C}\x{0D}\x{0085}\x{2028}\x{2029}] at line 1, column 5
Discarded lexeme L1c4: whitespace
Restarted recognizer at line 1, column 5
Reading codepoint "8" 0x0038 at line 1, column 5
Codepoint "8" 0x0038 rejected as [\d] at line 1, column 5
Codepoint "8" 0x0038 accepted as [\w] at line 1, column 5
Codepoint "8" 0x0038 rejected as [^'\x{0A}\x{0B}\x{0C}\x{0D}\x{0085}\x{2028}\x{2029}] at line 1, column 5
Reading codepoint "6" 0x0036 at line 1, column 6
Codepoint "6" 0x0036 rejected as [\d] at line 1, column 6
Codepoint "6" 0x0036 accepted as [\w] at line 1, column 6
Codepoint "6" 0x0036 rejected as [^'\x{0A}\x{0B}\x{0C}\x{0D}\x{0085}\x{2028}\x{2029}] at line 1, column 6
Reading codepoint "7" 0x0037 at line 1, column 7
Codepoint "7" 0x0037 rejected as [\d] at line 1, column 7
Codepoint "7" 0x0037 accepted as [\w] at line 1, column 7
Codepoint "7" 0x0037 rejected as [^'\x{0A}\x{0B}\x{0C}\x{0D}\x{0085}\x{2028}\x{2029}] at line 1, column 7
Reading codepoint "5" 0x0035 at line 1, column 8
Codepoint "5" 0x0035 rejected as [\d] at line 1, column 8
Codepoint "5" 0x0035 accepted as [\w] at line 1, column 8
Codepoint "5" 0x0035 rejected as [^'\x{0A}\x{0B}\x{0C}\x{0D}\x{0085}\x{2028}\x{2029}] at line 1, column 8
Reading codepoint "3" 0x0033 at line 1, column 9
Codepoint "3" 0x0033 rejected as [\d] at line 1, column 9
Codepoint "3" 0x0033 accepted as [\w] at line 1, column 9
Codepoint "3" 0x0033 rejected as [^'\x{0A}\x{0B}\x{0C}\x{0D}\x{0085}\x{2028}\x{2029}] at line 1, column 9
Reading codepoint "0" 0x0030 at line 1, column 10
Codepoint "0" 0x0030 rejected as [\d] at line 1, column 10
Codepoint "0" 0x0030 accepted as [\w] at line 1, column 10
Codepoint "0" 0x0030 rejected as [^'\x{0A}\x{0B}\x{0C}\x{0D}\x{0085}\x{2028}\x{2029}] at line 1, column 10
Reading codepoint "9" 0x0039 at line 1, column 11
Codepoint "9" 0x0039 rejected as [\d] at line 1, column 11
Codepoint "9" 0x0039 accepted as [\w] at line 1, column 11
Codepoint "9" 0x0039 rejected as [^'\x{0A}\x{0B}\x{0C}\x{0D}\x{0085}\x{2028}\x{2029}] at line 1, column 11
Reading codepoint 0x0020 at line 1, column 12
Codepoint 0x0020 rejected as [\s] at line 1, column 12
Codepoint 0x0020 rejected as [^'\x{0A}\x{0B}\x{0C}\x{0D}\x{0085}\x{2028}\x{2029}] at line 1, column 12
Accepted lexeme L1c5-11 e3: variable; value="8675309"
Restarted recognizer at line 1, column 12
Reading codepoint 0x0020 at line 1, column 12
Codepoint 0x0020 accepted as [\s] at line 1, column 12
Codepoint 0x0020 rejected as [^'\x{0A}\x{0B}\x{0C}\x{0D}\x{0085}\x{2028}\x{2029}] at line 1, column 12
Reading codepoint "+" 0x002b at line 1, column 13
Codepoint "+" 0x002b rejected as [\+] at line 1, column 13
Codepoint "+" 0x002b rejected as [^'\x{0A}\x{0B}\x{0C}\x{0D}\x{0085}\x{2028}\x{2029}] at line 1, column 13
Discarded lexeme L1c12: whitespace
Restarted recognizer at line 1, column 13
Reading codepoint "+" 0x002b at line 1, column 13
Codepoint "+" 0x002b accepted as [\+] at line 1, column 13
Codepoint "+" 0x002b rejected as [^'\x{0A}\x{0B}\x{0C}\x{0D}\x{0085}\x{2028}\x{2029}] at line 1, column 13
Accepted lexeme L1c13 e4: '+'; value="+"
Restarted recognizer at line 1, column 14
Reading codepoint 0x0020 at line 1, column 14
Codepoint 0x0020 accepted as [\s] at line 1, column 14
Codepoint 0x0020 rejected as [^'\x{0A}\x{0B}\x{0C}\x{0D}\x{0085}\x{2028}\x{2029}] at line 1, column 14
Reading codepoint "4" 0x0034 at line 1, column 15
Codepoint "4" 0x0034 rejected as [\d] at line 1, column 15
Codepoint "4" 0x0034 rejected as [\w] at line 1, column 15
Codepoint "4" 0x0034 rejected as [^'\x{0A}\x{0B}\x{0C}\x{0D}\x{0085}\x{2028}\x{2029}] at line 1, column 15
Discarded lexeme L1c14: whitespace
Restarted recognizer at line 1, column 15
Reading codepoint "4" 0x0034 at line 1, column 15
Codepoint "4" 0x0034 rejected as [\d] at line 1, column 15
Codepoint "4" 0x0034 accepted as [\w] at line 1, column 15
Codepoint "4" 0x0034 rejected as [^'\x{0A}\x{0B}\x{0C}\x{0D}\x{0085}\x{2028}\x{2029}] at line 1, column 15
Reading codepoint "2" 0x0032 at line 1, column 16
Codepoint "2" 0x0032 rejected as [\d] at line 1, column 16
Codepoint "2" 0x0032 accepted as [\w] at line 1, column 16
Codepoint "2" 0x0032 rejected as [^'\x{0A}\x{0B}\x{0C}\x{0D}\x{0085}\x{2028}\x{2029}] at line 1, column 16
Reading codepoint 0x0020 at line 1, column 17
Codepoint 0x0020 rejected as [\s] at line 1, column 17
Codepoint 0x0020 rejected as [^'\x{0A}\x{0B}\x{0C}\x{0D}\x{0085}\x{2028}\x{2029}] at line 1, column 17
Accepted lexeme L1c15-16 e5: variable; value="42"
Restarted recognizer at line 1, column 17
Reading codepoint 0x0020 at line 1, column 17
Codepoint 0x0020 accepted as [\s] at line 1, column 17
Codepoint 0x0020 rejected as [^'\x{0A}\x{0B}\x{0C}\x{0D}\x{0085}\x{2028}\x{2029}] at line 1, column 17
Reading codepoint "*" 0x002a at line 1, column 18
Codepoint "*" 0x002a rejected as [\*] at line 1, column 18
Codepoint "*" 0x002a rejected as [^'\x{0A}\x{0B}\x{0C}\x{0D}\x{0085}\x{2028}\x{2029}] at line 1, column 18
Discarded lexeme L1c17: whitespace
Restarted recognizer at line 1, column 18
Reading codepoint "*" 0x002a at line 1, column 18
Codepoint "*" 0x002a rejected as [\*] at line 1, column 18
Codepoint "*" 0x002a rejected as [^'\x{0A}\x{0B}\x{0C}\x{0D}\x{0085}\x{2028}\x{2029}] at line 1, column 18
END_TRACE_OUTPUT
# Marpa::R3::Display::End
$slif_debug_source =~
s{^ [<] numeric \s+ assignment [>] \s+ [:][:][=] \s+ variable \s+ ['][=]['] \s+ expression $}
{<numeric assignment> ::= variable '=' <numeric expression>}xms;
$grammar = Marpa::R3::Scanless::G->new(
{
bless_package => 'My_Nodes',
source => \$slif_debug_source,
});
$recce = Marpa::R3::Scanless::R->new(
{ grammar => $grammar } );
die if not defined $recce->read( \$test_input );
$value_ref = $recce->value();
my $expected_value_after_fix = \bless(
[ bless(
[ bless(
[ 'a', '=',
bless(
[ bless(
[ bless(
['8675309'],
'My_Nodes::numeric_expression'
),
'+',
bless(
['42'],
'My_Nodes::numeric_expression'
)
],
'My_Nodes::numeric_expression'
),
'*',
bless(
['711'], 'My_Nodes::numeric_expression'
)
],
'My_Nodes::numeric_expression'
)
],
'My_Nodes::numeric_assignment'
)
],
'My_Nodes::statement'
)
],
'My_Nodes::statements'
);
Test::More::is_deeply($value_ref, $expected_value_after_fix, 'Value after fix');
my $show_rules_output;
$show_rules_output .= "G1 Rules:\n";
$show_rules_output .= $grammar->show_rules(3);
$show_rules_output .= "Lex (L0) Rules:\n";
# Marpa::R3::Display
# name: SLG l0_show_rules() synopsis
$show_rules_output .= $grammar->l0_show_rules(3);
# Marpa::R3::Display::End
# Marpa::R3::Display
# name: SLIF debug example show_rules() output
# start-after-line: END_OF_SHOW_RULES_OUTPUT
# end-before-line: '^END_OF_SHOW_RULES_OUTPUT$'
Marpa::R3::Test::is( $show_rules_output,
<<'END_OF_SHOW_RULES_OUTPUT', 'SLIF show_rules()' );
G1 Rules:
G1 R0 statements ::= statement *
Symbol IDs: <22> ::= <21>
Internal symbols: <statements> ::= <statement>
G1 R1 statement ::= assignment
Symbol IDs: <21> ::= <10>
Internal symbols: <statement> ::= <assignment>
G1 R2 statement ::= <numeric assignment>
Symbol IDs: <21> ::= <16>
Internal symbols: <statement> ::= <numeric assignment>
G1 R3 assignment ::= 'set' variable 'to' expression
Symbol IDs: <10> ::= <1> <24> <2> <11>
Internal symbols: <assignment> ::= <[Lex-0]> <variable> <[Lex-1]> <expression>
G1 R4 <numeric assignment> ::= variable '=' <numeric expression>
Symbol IDs: <16> ::= <24> <3> <17>
Internal symbols: <numeric assignment> ::= <variable> <[Lex-2]> <numeric expression>
G1 R5 expression ::= expression
Symbol IDs: <11> ::= <12>
Internal symbols: <expression> ::= <expression[0]>
G1 R6 expression ::= expression
Symbol IDs: <12> ::= <13>
Internal symbols: <expression[0]> ::= <expression[1]>
G1 R7 expression ::= expression
Symbol IDs: <13> ::= <14>
Internal symbols: <expression[1]> ::= <expression[2]>
G1 R8 expression ::= variable
Symbol IDs: <14> ::= <24>
Internal symbols: <expression[2]> ::= <variable>
G1 R9 expression ::= string
Symbol IDs: <14> ::= <23>
Internal symbols: <expression[2]> ::= <string>
G1 R10 expression ::= 'string' '(' <numeric expression> ')'
Symbol IDs: <13> ::= <4> <5> <17> <6>
Internal symbols: <expression[1]> ::= <[Lex-3]> <[Lex-4]> <numeric expression> <[Lex-5]>
G1 R11 expression ::= expression '+' expression
Symbol IDs: <12> ::= <12> <7> <13>
Internal symbols: <expression[0]> ::= <expression[0]> <[Lex-6]> <expression[1]>
G1 R12 <numeric expression> ::= <numeric expression>
Symbol IDs: <17> ::= <18>
Internal symbols: <numeric expression> ::= <numeric expression[0]>
G1 R13 <numeric expression> ::= <numeric expression>
Symbol IDs: <18> ::= <19>
Internal symbols: <numeric expression[0]> ::= <numeric expression[1]>
G1 R14 <numeric expression> ::= <numeric expression>
Symbol IDs: <19> ::= <20>
Internal symbols: <numeric expression[1]> ::= <numeric expression[2]>
G1 R15 <numeric expression> ::= variable
Symbol IDs: <20> ::= <24>
Internal symbols: <numeric expression[2]> ::= <variable>
G1 R16 <numeric expression> ::= number
Symbol IDs: <20> ::= <15>
Internal symbols: <numeric expression[2]> ::= <number>
G1 R17 <numeric expression> ::= <numeric expression> '+' <numeric expression>
Symbol IDs: <19> ::= <19> <8> <20>
Internal symbols: <numeric expression[1]> ::= <numeric expression[1]> <[Lex-7]> <numeric expression[2]>
G1 R18 <numeric expression> ::= <numeric expression> '*' <numeric expression>
Symbol IDs: <18> ::= <18> <9> <19>
Internal symbols: <numeric expression[0]> ::= <numeric expression[0]> <[Lex-8]> <numeric expression[1]>
G1 R19 [:start] ::= statements
Symbol IDs: <0> ::= <22>
Internal symbols: <[:start]> ::= <statements>
Lex (L0) Rules:
L0 R0 'set' ::= [s] [e] [t]
Symbol IDs: <1> ::= <26> <20> <27>
Internal symbols: <[Lex-0]> ::= <[[s]]> <[[e]]> <[[t]]>
L0 R1 'to' ::= [t] [o]
Symbol IDs: <2> ::= <27> <24>
Internal symbols: <[Lex-1]> ::= <[[t]]> <[[o]]>
L0 R2 '=' ::= [\=]
Symbol IDs: <3> ::= <15>
Internal symbols: <[Lex-2]> ::= <[[\=]]>
L0 R3 'string' ::= [s] [t] [r] [i] [n] [g]
Symbol IDs: <4> ::= <26> <27> <25> <22> <23> <21>
Internal symbols: <[Lex-3]> ::= <[[s]]> <[[t]]> <[[r]]> <[[i]]> <[[n]]> <[[g]]>
L0 R4 '(' ::= [\(]
Symbol IDs: <5> ::= <11>
Internal symbols: <[Lex-4]> ::= <[[\(]]>
L0 R5 ')' ::= [\)]
Symbol IDs: <6> ::= <12>
Internal symbols: <[Lex-5]> ::= <[[\)]]>
L0 R6 '+' ::= [\+]
Symbol IDs: <7> ::= <14>
Internal symbols: <[Lex-6]> ::= <[[\+]]>
L0 R7 '+' ::= [\+]
Symbol IDs: <8> ::= <14>
Internal symbols: <[Lex-7]> ::= <[[\+]]>
L0 R8 '*' ::= [\*]
Symbol IDs: <9> ::= <13>
Internal symbols: <[Lex-8]> ::= <[[\*]]>
L0 R9 variable ::= [\w] +
Symbol IDs: <31> ::= <18>
Internal symbols: <variable> ::= <[[\w]]>
L0 R10 number ::= [\d] +
Symbol IDs: <28> ::= <16>
Internal symbols: <number> ::= <[[\d]]>
L0 R11 string ::= ['] <string contents> [']
Symbol IDs: <29> ::= <10> <30> <10>
Internal symbols: <string> ::= <[[']]> <string contents> <[[']]>
L0 R12 <string contents> ::= [^'\x{0A}\x{0B}\x{0C}\x{0D}\x{0085}\x{2028}\x{2029}] +
Symbol IDs: <30> ::= <19>
Internal symbols: <string contents> ::= <[[^'\x{0A}\x{0B}\x{0C}\x{0D}\x{0085}\x{2028}\x{2029}]]>
L0 R13 [:discard] ::= whitespace
Symbol IDs: <0> ::= <32>
Internal symbols: <[:discard]> ::= <whitespace>
L0 R14 whitespace ::= [\s] +
Symbol IDs: <32> ::= <17>
Internal symbols: <whitespace> ::= <[[\s]]>
L0 R15 [:start_lex] ::= [:discard]
Symbol IDs: <33> ::= <0>
Internal symbols: <[:start_lex]> ::= <[:discard]>
L0 R16 [:start_lex] ::= 'set'
Symbol IDs: <33> ::= <1>
Internal symbols: <[:start_lex]> ::= <[Lex-0]>
L0 R17 [:start_lex] ::= 'to'
Symbol IDs: <33> ::= <2>
Internal symbols: <[:start_lex]> ::= <[Lex-1]>
L0 R18 [:start_lex] ::= '='
Symbol IDs: <33> ::= <3>
Internal symbols: <[:start_lex]> ::= <[Lex-2]>
L0 R19 [:start_lex] ::= 'string'
Symbol IDs: <33> ::= <4>
Internal symbols: <[:start_lex]> ::= <[Lex-3]>
L0 R20 [:start_lex] ::= '('
Symbol IDs: <33> ::= <5>
Internal symbols: <[:start_lex]> ::= <[Lex-4]>
L0 R21 [:start_lex] ::= ')'
Symbol IDs: <33> ::= <6>
Internal symbols: <[:start_lex]> ::= <[Lex-5]>
L0 R22 [:start_lex] ::= '+'
Symbol IDs: <33> ::= <7>
Internal symbols: <[:start_lex]> ::= <[Lex-6]>
L0 R23 [:start_lex] ::= '+'
Symbol IDs: <33> ::= <8>
Internal symbols: <[:start_lex]> ::= <[Lex-7]>
L0 R24 [:start_lex] ::= '*'
Symbol IDs: <33> ::= <9>
Internal symbols: <[:start_lex]> ::= <[Lex-8]>
L0 R25 [:start_lex] ::= number
Symbol IDs: <33> ::= <28>
Internal symbols: <[:start_lex]> ::= <number>
L0 R26 [:start_lex] ::= string
Symbol IDs: <33> ::= <29>
Internal symbols: <[:start_lex]> ::= <string>
L0 R27 [:start_lex] ::= variable
Symbol IDs: <33> ::= <31>
Internal symbols: <[:start_lex]> ::= <variable>
END_OF_SHOW_RULES_OUTPUT
# Marpa::R3::Display::End
# Marpa::R3::Display
# name: SLIF show_symbols() synopsis
my $show_symbols_output;
$show_symbols_output .= "G1 Symbols:\n";
$show_symbols_output .= $grammar->show_symbols(3);
$show_symbols_output .= "Lex (L0) Symbols:\n";
$show_symbols_output .= $grammar->l0_show_symbols(3);
# Marpa::R3::Display::End
# Marpa::R3::Display
# name: SLIF debug example show_symbols() output
# start-after-line: END_OF_SHOW_SYMBOLS_OUTPUT
# end-before-line: '^END_OF_SHOW_SYMBOLS_OUTPUT$'
Marpa::R3::Test::is( $show_symbols_output,
<<'END_OF_SHOW_SYMBOLS_OUTPUT', 'SLIF show_symbols()' );
G1 Symbols:
G1 S0 [:start]
Internal name: <[:start]>
G1 S1 'set'
/* terminal */
Internal name: <[Lex-0]>
SLIF name: 'set'
G1 S2 'to'
/* terminal */
Internal name: <[Lex-1]>
SLIF name: 'to'
G1 S3 '='
/* terminal */
Internal name: <[Lex-2]>
SLIF name: '='
G1 S4 'string'
/* terminal */
Internal name: <[Lex-3]>
SLIF name: 'string'
G1 S5 '('
/* terminal */
Internal name: <[Lex-4]>
SLIF name: '('
G1 S6 ')'
/* terminal */
Internal name: <[Lex-5]>
SLIF name: ')'
G1 S7 '+'
/* terminal */
Internal name: <[Lex-6]>
SLIF name: '+'
G1 S8 '+'
/* terminal */
Internal name: <[Lex-7]>
SLIF name: '+'
G1 S9 '*'
/* terminal */
Internal name: <[Lex-8]>
SLIF name: '*'
G1 S10 assignment
Internal name: <assignment>
SLIF name: assignment
G1 S11 expression
Internal name: <expression>
SLIF name: expression
G1 S12 expression
Internal name: <expression[0]>
SLIF name: expression
G1 S13 expression
Internal name: <expression[1]>
SLIF name: expression
G1 S14 expression
Internal name: <expression[2]>
SLIF name: expression
G1 S15 number
/* terminal */
Internal name: <number>
SLIF name: number
G1 S16 <numeric assignment>
Internal name: <numeric assignment>
SLIF name: numeric assignment
G1 S17 <numeric expression>
Internal name: <numeric expression>
SLIF name: numeric expression
G1 S18 <numeric expression>
Internal name: <numeric expression[0]>
SLIF name: numeric expression
G1 S19 <numeric expression>
Internal name: <numeric expression[1]>
SLIF name: numeric expression
G1 S20 <numeric expression>
Internal name: <numeric expression[2]>
SLIF name: numeric expression
G1 S21 statement
Internal name: <statement>
SLIF name: statement
G1 S22 statements
Internal name: <statements>
SLIF name: statements
G1 S23 string
/* terminal */
Internal name: <string>
SLIF name: string
G1 S24 variable
/* terminal */
Internal name: <variable>
SLIF name: variable
Lex (L0) Symbols:
L0 S0 [:discard]
Internal name: <[:discard]>
L0 S1 'set'
Internal name: <[Lex-0]>
SLIF name: 'set'
L0 S2 'to'
Internal name: <[Lex-1]>
SLIF name: 'to'
L0 S3 '='
Internal name: <[Lex-2]>
SLIF name: '='
L0 S4 'string'
Internal name: <[Lex-3]>
SLIF name: 'string'
L0 S5 '('
Internal name: <[Lex-4]>
SLIF name: '('
L0 S6 ')'
Internal name: <[Lex-5]>
SLIF name: ')'
L0 S7 '+'
Internal name: <[Lex-6]>
SLIF name: '+'
L0 S8 '+'
Internal name: <[Lex-7]>
SLIF name: '+'
L0 S9 '*'
Internal name: <[Lex-8]>
SLIF name: '*'
L0 S10 [']
/* terminal */
Internal name: <[[']]>
SLIF name: [']
L0 S11 [\(]
/* terminal */
Internal name: <[[\(]]>
SLIF name: [\(]
L0 S12 [\)]
/* terminal */
Internal name: <[[\)]]>
SLIF name: [\)]
L0 S13 [\*]
/* terminal */
Internal name: <[[\*]]>
SLIF name: [\*]
L0 S14 [\+]
/* terminal */
Internal name: <[[\+]]>
SLIF name: [\+]
L0 S15 [\=]
/* terminal */
Internal name: <[[\=]]>
SLIF name: [\=]
L0 S16 [\d]
/* terminal */
Internal name: <[[\d]]>
SLIF name: [\d]
L0 S17 [\s]
/* terminal */
Internal name: <[[\s]]>
SLIF name: [\s]
L0 S18 [\w]
/* terminal */
Internal name: <[[\w]]>
SLIF name: [\w]
L0 S19 [^'\x{0A}\x{0B}\x{0C}\x{0D}\x{0085}\x{2028}\x{2029}]
/* terminal */
Internal name: <[[^'\x{0A}\x{0B}\x{0C}\x{0D}\x{0085}\x{2028}\x{2029}]]>
SLIF name: [^'\x{0A}\x{0B}\x{0C}\x{0D}\x{0085}\x{2028}\x{2029}]
L0 S20 [e]
/* terminal */
Internal name: <[[e]]>
SLIF name: [e]
L0 S21 [g]
/* terminal */
Internal name: <[[g]]>
SLIF name: [g]
L0 S22 [i]
/* terminal */
Internal name: <[[i]]>
SLIF name: [i]
L0 S23 [n]
/* terminal */
Internal name: <[[n]]>
SLIF name: [n]
L0 S24 [o]
/* terminal */
Internal name: <[[o]]>
SLIF name: [o]
L0 S25 [r]
/* terminal */
Internal name: <[[r]]>
SLIF name: [r]
L0 S26 [s]
/* terminal */
Internal name: <[[s]]>
SLIF name: [s]
L0 S27 [t]
/* terminal */
Internal name: <[[t]]>
SLIF name: [t]
L0 S28 number
Internal name: <number>
SLIF name: number
L0 S29 string
Internal name: <string>
SLIF name: string
L0 S30 <string contents>
Internal name: <string contents>
SLIF name: string contents
L0 S31 variable
Internal name: <variable>
SLIF name: variable
L0 S32 whitespace
Internal name: <whitespace>
SLIF name: whitespace
L0 S33 [:start_lex]
Internal name: <[:start_lex]>
END_OF_SHOW_SYMBOLS_OUTPUT
# Marpa::R3::Display::End
our @TEST_ARRAY;
sub do_something { push @TEST_ARRAY, $_[0] }
@TEST_ARRAY = ();
# Marpa::R3::Display
# name: SLG l0_symbol_ids() synopsis
do_something($_) for $grammar->l0_symbol_ids();
# Marpa::R3::Display::End
Marpa::R3::Test::is(
( join "\n", @TEST_ARRAY ),
( join "\n", 0 .. 33 ),
'L0 symbol ids'
);
@TEST_ARRAY = ();
# Marpa::R3::Display
# name: SLG symbol_ids() synopsis
do_something($_) for $grammar->symbol_ids();
# Marpa::R3::Display::End
Marpa::R3::Test::is(
( join "\n", @TEST_ARRAY ),
( join "\n", 0 .. 24 ),
'G1 symbol ids'
);
@TEST_ARRAY = ();
# Marpa::R3::Display
# name: SLG rule_ids() synopsis
do_something($_) for $grammar->rule_ids();
# Marpa::R3::Display::End
Marpa::R3::Test::is(
( join "\n", @TEST_ARRAY, '' ),
( join "\n", 0 .. 19, '' ),
'G1 rule ids'
);
@TEST_ARRAY = ();
# Marpa::R3::Display
# name: SLG l0_rule_ids() synopsis
do_something($_) for $grammar->l0_rule_ids();
# Marpa::R3::Display::End
Marpa::R3::Test::is(
( join "\n", @TEST_ARRAY, ''),
( join "\n", 0 .. 27, '' ),
'L0 rule ids'
);
my $text;
$text = q{};
for my $rule_id ( $grammar->rule_ids() ) {
# Marpa::R3::Display
# name: SLG rule_expand() synopsis
my ($lhs_id, @rhs_ids) = $grammar->rule_expand($rule_id);
$text .= "Rule #$rule_id: $lhs_id ::= " . (join q{ }, @rhs_ids) . "\n";
# Marpa::R3::Display::End
}
Marpa::R3::Test::is( $text, <<'END_OF_TEXT', 'G1 symbol ids by rule id');
Rule #0: 22 ::= 21
Rule #1: 21 ::= 10
Rule #2: 21 ::= 16
Rule #3: 10 ::= 1 24 2 11
Rule #4: 16 ::= 24 3 17
Rule #5: 11 ::= 12
Rule #6: 12 ::= 13
Rule #7: 13 ::= 14
Rule #8: 14 ::= 24
Rule #9: 14 ::= 23
Rule #10: 13 ::= 4 5 17 6
Rule #11: 12 ::= 12 7 13
Rule #12: 17 ::= 18
Rule #13: 18 ::= 19
Rule #14: 19 ::= 20
Rule #15: 20 ::= 24
Rule #16: 20 ::= 15
Rule #17: 19 ::= 19 8 20
Rule #18: 18 ::= 18 9 19
Rule #19: 0 ::= 22
END_OF_TEXT
$text = q{};
for my $rule_id ( $grammar->l0_rule_ids() ) {
# Marpa::R3::Display
# name: SLG l0_rule_expand() synopsis
my ($lhs_id, @rhs_ids) = $grammar->l0_rule_expand($rule_id);
$text .= "L0 Rule #$rule_id: $lhs_id ::= " . (join q{ }, @rhs_ids) . "\n";
# Marpa::R3::Display::End
}
Marpa::R3::Test::is( $text, <<'END_OF_TEXT', 'L0 symbol ids by rule id');
L0 Rule #0: 1 ::= 26 20 27
L0 Rule #1: 2 ::= 27 24
L0 Rule #2: 3 ::= 15
L0 Rule #3: 4 ::= 26 27 25 22 23 21
L0 Rule #4: 5 ::= 11
L0 Rule #5: 6 ::= 12
L0 Rule #6: 7 ::= 14
L0 Rule #7: 8 ::= 14
L0 Rule #8: 9 ::= 13
L0 Rule #9: 31 ::= 18
L0 Rule #10: 28 ::= 16
L0 Rule #11: 29 ::= 10 30 10
L0 Rule #12: 30 ::= 19
L0 Rule #13: 0 ::= 32
L0 Rule #14: 32 ::= 17
L0 Rule #15: 33 ::= 0
L0 Rule #16: 33 ::= 1
L0 Rule #17: 33 ::= 2
L0 Rule #18: 33 ::= 3
L0 Rule #19: 33 ::= 4
L0 Rule #20: 33 ::= 5
L0 Rule #21: 33 ::= 6
L0 Rule #22: 33 ::= 7
L0 Rule #23: 33 ::= 8
L0 Rule #24: 33 ::= 9
L0 Rule #25: 33 ::= 28
L0 Rule #26: 33 ::= 29
L0 Rule #27: 33 ::= 31
END_OF_TEXT
$text = q{};
for my $symbol_id ( $grammar->symbol_ids() ) {
# Marpa::R3::Display
# name: SLG symbol_name() synopsis
my $name = $grammar->symbol_name($symbol_id);
$text .= "symbol number: $symbol_id name: $name\n";
# Marpa::R3::Display::End
# Marpa::R3::Display
# name: SLG symbol_display_form() synopsis
my $display_form = $grammar->symbol_display_form($symbol_id);
$text
.= "symbol number: $symbol_id name in display form: $display_form\n";
# Marpa::R3::Display::End
# Marpa::R3::Display
# name: SLG symbol_dsl_form() synopsis
my $dsl_form = $grammar->symbol_dsl_form($symbol_id)
// '[No name in DSL form]';
$text .= "symbol number: $symbol_id DSL form: $dsl_form\n";
# Marpa::R3::Display::End
} ## end for my $symbol_id ( $grammar->symbol_ids() )
Marpa::R3::Test::is( $text, <<'END_OF_TEXT', 'G1 symbol names and description');
symbol number: 0 name: [:start]
symbol number: 0 name in display form: [:start]
symbol number: 0 DSL form: [No name in DSL form]
symbol number: 1 name: [Lex-0]
symbol number: 1 name in display form: 'set'
symbol number: 1 DSL form: 'set'
symbol number: 2 name: [Lex-1]
symbol number: 2 name in display form: 'to'
symbol number: 2 DSL form: 'to'
symbol number: 3 name: [Lex-2]
symbol number: 3 name in display form: '='
symbol number: 3 DSL form: '='
symbol number: 4 name: [Lex-3]
symbol number: 4 name in display form: 'string'
symbol number: 4 DSL form: 'string'
symbol number: 5 name: [Lex-4]
symbol number: 5 name in display form: '('
symbol number: 5 DSL form: '('
symbol number: 6 name: [Lex-5]
symbol number: 6 name in display form: ')'
symbol number: 6 DSL form: ')'
symbol number: 7 name: [Lex-6]
symbol number: 7 name in display form: '+'
symbol number: 7 DSL form: '+'
symbol number: 8 name: [Lex-7]
symbol number: 8 name in display form: '+'
symbol number: 8 DSL form: '+'
symbol number: 9 name: [Lex-8]
symbol number: 9 name in display form: '*'
symbol number: 9 DSL form: '*'
symbol number: 10 name: assignment
symbol number: 10 name in display form: assignment
symbol number: 10 DSL form: assignment
symbol number: 11 name: expression
symbol number: 11 name in display form: expression
symbol number: 11 DSL form: expression
symbol number: 12 name: expression[0]
symbol number: 12 name in display form: expression
symbol number: 12 DSL form: expression
symbol number: 13 name: expression[1]
symbol number: 13 name in display form: expression
symbol number: 13 DSL form: expression
symbol number: 14 name: expression[2]
symbol number: 14 name in display form: expression
symbol number: 14 DSL form: expression
symbol number: 15 name: number
symbol number: 15 name in display form: number
symbol number: 15 DSL form: number
symbol number: 16 name: numeric assignment
symbol number: 16 name in display form: <numeric assignment>
symbol number: 16 DSL form: numeric assignment
symbol number: 17 name: numeric expression
symbol number: 17 name in display form: <numeric expression>
symbol number: 17 DSL form: numeric expression
symbol number: 18 name: numeric expression[0]
symbol number: 18 name in display form: <numeric expression>
symbol number: 18 DSL form: numeric expression
symbol number: 19 name: numeric expression[1]
symbol number: 19 name in display form: <numeric expression>
symbol number: 19 DSL form: numeric expression
symbol number: 20 name: numeric expression[2]
symbol number: 20 name in display form: <numeric expression>
symbol number: 20 DSL form: numeric expression
symbol number: 21 name: statement
symbol number: 21 name in display form: statement
symbol number: 21 DSL form: statement
symbol number: 22 name: statements
symbol number: 22 name in display form: statements
symbol number: 22 DSL form: statements
symbol number: 23 name: string
symbol number: 23 name in display form: string
symbol number: 23 DSL form: string
symbol number: 24 name: variable
symbol number: 24 name in display form: variable
symbol number: 24 DSL form: variable
END_OF_TEXT
$text = q{};
for my $rule_id ( $grammar->rule_ids() ) {
# Marpa::R3::Display
# name: SLG rule_show() synopsis
my $rule_description = $grammar->rule_show($rule_id);
# Marpa::R3::Display::End
if (not defined $rule_description) {
$text .= "[No such rule, ID #$rule_id]\n";
} else {
$text .= "$rule_description\n";
}
}
Marpa::R3::Test::is( $text, <<'END_OF_TEXT', 'G1 rule_show() by rule id');
statements ::= statement *
statement ::= assignment
statement ::= <numeric assignment>
assignment ::= 'set' variable 'to' expression
<numeric assignment> ::= variable '=' <numeric expression>
expression ::= expression
expression ::= expression
expression ::= expression
expression ::= variable
expression ::= string
expression ::= 'string' '(' <numeric expression> ')'
expression ::= expression '+' expression
<numeric expression> ::= <numeric expression>
<numeric expression> ::= <numeric expression>
<numeric expression> ::= <numeric expression>
<numeric expression> ::= variable
<numeric expression> ::= number
<numeric expression> ::= <numeric expression> '+' <numeric expression>
<numeric expression> ::= <numeric expression> '*' <numeric expression>
[:start] ::= statements
END_OF_TEXT
$text = q{};
for my $rule_id ( $grammar->l0_rule_ids() ) {
# Marpa::R3::Display
# name: SLG l0_rule_show() synopsis
my $rule_description = $grammar->l0_rule_show($rule_id);
# Marpa::R3::Display::End
if (not defined $rule_description) {
$text .= "[No such rule, ID #$rule_id]\n";
} else {
$text .= "$rule_description\n";
}
}
Marpa::R3::Test::is( $text, <<'END_OF_TEXT', 'L0 rule_show() by rule id');
'set' ::= [s] [e] [t]
'to' ::= [t] [o]
'=' ::= [\=]
'string' ::= [s] [t] [r] [i] [n] [g]
'(' ::= [\(]
')' ::= [\)]
'+' ::= [\+]
'+' ::= [\+]
'*' ::= [\*]
variable ::= [\w] +
number ::= [\d] +
string ::= ['] <string contents> [']
<string contents> ::= [^'\x{0A}\x{0B}\x{0C}\x{0D}\x{0085}\x{2028}\x{2029}] +
[:discard] ::= whitespace
whitespace ::= [\s] +
[:start_lex] ::= [:discard]
[:start_lex] ::= 'set'
[:start_lex] ::= 'to'
[:start_lex] ::= '='
[:start_lex] ::= 'string'
[:start_lex] ::= '('
[:start_lex] ::= ')'
[:start_lex] ::= '+'
[:start_lex] ::= '+'
[:start_lex] ::= '*'
[:start_lex] ::= number
[:start_lex] ::= string
[:start_lex] ::= variable
END_OF_TEXT
$text = '';
for my $symbol_id ( $grammar->l0_symbol_ids() ) {
# Marpa::R3::Display
# name: SLG l0_symbol_name() synopsis
my $name = $grammar->l0_symbol_name( $symbol_id );
$text .= "L0 symbol number: $symbol_id name: $name\n";
# Marpa::R3::Display::End
# Marpa::R3::Display
# name: SLG l0_symbol_display_form() synopsis
my $display_form = $grammar->l0_symbol_display_form( $symbol_id );
$text
.= "L0 symbol number: $symbol_id name in display form: $display_form\n";
# Marpa::R3::Display::End
# Marpa::R3::Display
# name: SLG l0_symbol_dsl_form() synopsis
my $dsl_form = $grammar->l0_symbol_dsl_form( $symbol_id )
// '[No name in DSL form]';
$text .= "L0 symbol number: $symbol_id DSL form: $dsl_form\n";
# Marpa::R3::Display::End
}
Marpa::R3::Test::is( $text, <<'END_OF_TEXT', 'L0 symbol names and description');
L0 symbol number: 0 name: [:discard]
L0 symbol number: 0 name in display form: [:discard]
L0 symbol number: 0 DSL form: [No name in DSL form]
L0 symbol number: 1 name: [Lex-0]
L0 symbol number: 1 name in display form: 'set'
L0 symbol number: 1 DSL form: 'set'
L0 symbol number: 2 name: [Lex-1]
L0 symbol number: 2 name in display form: 'to'
L0 symbol number: 2 DSL form: 'to'
L0 symbol number: 3 name: [Lex-2]
L0 symbol number: 3 name in display form: '='
L0 symbol number: 3 DSL form: '='
L0 symbol number: 4 name: [Lex-3]
L0 symbol number: 4 name in display form: 'string'
L0 symbol number: 4 DSL form: 'string'
L0 symbol number: 5 name: [Lex-4]
L0 symbol number: 5 name in display form: '('
L0 symbol number: 5 DSL form: '('
L0 symbol number: 6 name: [Lex-5]
L0 symbol number: 6 name in display form: ')'
L0 symbol number: 6 DSL form: ')'
L0 symbol number: 7 name: [Lex-6]
L0 symbol number: 7 name in display form: '+'
L0 symbol number: 7 DSL form: '+'
L0 symbol number: 8 name: [Lex-7]
L0 symbol number: 8 name in display form: '+'
L0 symbol number: 8 DSL form: '+'
L0 symbol number: 9 name: [Lex-8]
L0 symbol number: 9 name in display form: '*'
L0 symbol number: 9 DSL form: '*'
L0 symbol number: 10 name: [[']]
L0 symbol number: 10 name in display form: [']
L0 symbol number: 10 DSL form: [']
L0 symbol number: 11 name: [[\(]]
L0 symbol number: 11 name in display form: [\(]
L0 symbol number: 11 DSL form: [\(]
L0 symbol number: 12 name: [[\)]]
L0 symbol number: 12 name in display form: [\)]
L0 symbol number: 12 DSL form: [\)]
L0 symbol number: 13 name: [[\*]]
L0 symbol number: 13 name in display form: [\*]
L0 symbol number: 13 DSL form: [\*]
L0 symbol number: 14 name: [[\+]]
L0 symbol number: 14 name in display form: [\+]
L0 symbol number: 14 DSL form: [\+]
L0 symbol number: 15 name: [[\=]]
L0 symbol number: 15 name in display form: [\=]
L0 symbol number: 15 DSL form: [\=]
L0 symbol number: 16 name: [[\d]]
L0 symbol number: 16 name in display form: [\d]
L0 symbol number: 16 DSL form: [\d]
L0 symbol number: 17 name: [[\s]]
L0 symbol number: 17 name in display form: [\s]
L0 symbol number: 17 DSL form: [\s]
L0 symbol number: 18 name: [[\w]]
L0 symbol number: 18 name in display form: [\w]
L0 symbol number: 18 DSL form: [\w]
L0 symbol number: 19 name: [[^'\x{0A}\x{0B}\x{0C}\x{0D}\x{0085}\x{2028}\x{2029}]]
L0 symbol number: 19 name in display form: [^'\x{0A}\x{0B}\x{0C}\x{0D}\x{0085}\x{2028}\x{2029}]
L0 symbol number: 19 DSL form: [^'\x{0A}\x{0B}\x{0C}\x{0D}\x{0085}\x{2028}\x{2029}]
L0 symbol number: 20 name: [[e]]
L0 symbol number: 20 name in display form: [e]
L0 symbol number: 20 DSL form: [e]
L0 symbol number: 21 name: [[g]]
L0 symbol number: 21 name in display form: [g]
L0 symbol number: 21 DSL form: [g]
L0 symbol number: 22 name: [[i]]
L0 symbol number: 22 name in display form: [i]
L0 symbol number: 22 DSL form: [i]
L0 symbol number: 23 name: [[n]]
L0 symbol number: 23 name in display form: [n]
L0 symbol number: 23 DSL form: [n]
L0 symbol number: 24 name: [[o]]
L0 symbol number: 24 name in display form: [o]
L0 symbol number: 24 DSL form: [o]
L0 symbol number: 25 name: [[r]]
L0 symbol number: 25 name in display form: [r]
L0 symbol number: 25 DSL form: [r]
L0 symbol number: 26 name: [[s]]
L0 symbol number: 26 name in display form: [s]
L0 symbol number: 26 DSL form: [s]
L0 symbol number: 27 name: [[t]]
L0 symbol number: 27 name in display form: [t]
L0 symbol number: 27 DSL form: [t]
L0 symbol number: 28 name: number
L0 symbol number: 28 name in display form: number
L0 symbol number: 28 DSL form: number
L0 symbol number: 29 name: string
L0 symbol number: 29 name in display form: string
L0 symbol number: 29 DSL form: string
L0 symbol number: 30 name: string contents
L0 symbol number: 30 name in display form: <string contents>
L0 symbol number: 30 DSL form: string contents
L0 symbol number: 31 name: variable
L0 symbol number: 31 name in display form: variable
L0 symbol number: 31 DSL form: variable
L0 symbol number: 32 name: whitespace
L0 symbol number: 32 name in display form: whitespace
L0 symbol number: 32 DSL form: whitespace
L0 symbol number: 33 name: [:start_lex]
L0 symbol number: 33 name in display form: [:start_lex]
L0 symbol number: 33 DSL form: [No name in DSL form]
END_OF_TEXT
1; # In case used as "do" file
# Local Variables:
# mode: cperl
# cperl-indent-level: 4
# fill-column: 100
# End:
# vim: expandtab shiftwidth=4: