]> git.saurik.com Git - bison.git/blame_incremental - tests/output.at
gnulib: update
[bison.git] / tests / output.at
... / ...
CommitLineData
1# Checking the output filenames. -*- Autotest -*-
2
3# Copyright (C) 2000-2002, 2005-2015 Free Software Foundation, Inc.
4
5# This program is free software: you can redistribute it and/or modify
6# it under the terms of the GNU General Public License as published by
7# the Free Software Foundation, either version 3 of the License, or
8# (at your option) any later version.
9#
10# This program is distributed in the hope that it will be useful,
11# but WITHOUT ANY WARRANTY; without even the implied warranty of
12# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13# GNU General Public License for more details.
14#
15# You should have received a copy of the GNU General Public License
16# along with this program. If not, see <http://www.gnu.org/licenses/>.
17
18AT_BANNER([[Output file names.]])
19
20# AT_CHECK_FILES(EXPECTED-FILES, [IGNORED-FILES])
21# -----------------------------------------------
22# Check that the current directory contains FILE... (sorted).
23m4_define([AT_CHECK_FILES],
24[AT_CHECK([[find . -type f |
25 $PERL -ne '
26 s,\./,,; chomp;
27 push @file, $_ unless m{^($2|testsuite.log)$};
28 END { print join (" ", sort @file), "\n" }']],
29 [], [$1
30])])
31
32# AT_CHECK_OUTPUT(INPUT-FILE, [DIRECTIVES], [FLAGS], EXPECTED-FILES, [STATUS],
33# [ADDITIONAL-TESTS], [PRE-TESTS])
34# -----------------------------------------------------------------------------
35m4_define([AT_CHECK_OUTPUT],
36[AT_SETUP([[Output files: ]$2 $3])[
37]$7[
38for file in ]$1 $4[; do
39 case $file in
40 */*) mkdir -p `echo "$file" | sed 's,/[^/]*,,'`;;
41 esac
42done
43]AT_DATA([$1],
44[$2[
45%%
46foo: %empty {};
47]])[
48
49]AT_BISON_CHECK([$3 $1], [$5], [], [ignore])[
50# Ignore the files non-generated files
51]AT_CHECK_FILES([$4], [$1])[
52]$6[
53]AT_CLEANUP[
54]])
55
56AT_CHECK_OUTPUT([foo.y], [], [-dv],
57 [foo.output foo.tab.c foo.tab.h])
58
59# Some versions of Valgrind (at least valgrind-3.6.0.SVN-Debian) report
60# "fgrep: write error: Bad file descriptor" when stdout is closed, so we
61# skip this test group during maintainer-check-valgrind.
62AT_CHECK_OUTPUT([foo.y], [], [-dv >&-],
63 [foo.output foo.tab.c foo.tab.h],
64 [], [],
65 [AT_CHECK([[case "$PREBISON" in *valgrind*) exit 77;; esac]])])
66
67AT_CHECK_OUTPUT([foo.y], [], [-dv -o foo.c],
68 [foo.c foo.h foo.output])
69AT_CHECK_OUTPUT([foo.y], [], [-dv -o foo.tab.c],
70 [foo.output foo.tab.c foo.tab.h])
71
72AT_CHECK_OUTPUT([foo.y], [], [-dv -g --xml -y],
73 [y.dot y.output y.tab.c y.tab.h y.xml])
74# With '-o y.tab.c', we expect 'y.output' etc. (for compatility with Yacc).
75AT_CHECK_OUTPUT([foo.y], [], [-dv -g --xml -o y.tab.c],
76 [y.dot y.output y.tab.c y.tab.h y.xml])
77
78AT_CHECK_OUTPUT([foo.y], [], [-dv -b bar],
79 [bar.output bar.tab.c bar.tab.h])
80AT_CHECK_OUTPUT([foo.y], [], [-dv -g -o foo.c],
81 [foo.c foo.dot foo.h foo.output])
82
83
84AT_CHECK_OUTPUT([foo.y], [%defines %verbose], [],
85 [foo.output foo.tab.c foo.tab.h])
86AT_CHECK_OUTPUT([foo.y], [%defines %verbose %yacc],[],
87 [y.output y.tab.c y.tab.h])
88
89AT_CHECK_OUTPUT([foo.yy], [%defines %verbose %yacc],[],
90 [y.output y.tab.c y.tab.h])
91
92# Exercise %output and %file-prefix including deprecated '='
93AT_CHECK_OUTPUT([foo.y], [%file-prefix "bar" %defines %verbose], [],
94 [bar.output bar.tab.c bar.tab.h])
95AT_CHECK_OUTPUT([foo.y], [%output "bar.c" %defines %verbose %yacc],[],
96 [bar.c bar.h bar.output])
97AT_CHECK_OUTPUT([foo.y],
98 [%file-prefix "baz" %output "bar.c" %defines %verbose %yacc],
99 [],
100 [bar.c bar.h bar.output])
101
102
103# Check priorities of extension control.
104AT_CHECK_OUTPUT([foo.yy], [%defines %verbose], [],
105 [foo.output foo.tab.cc foo.tab.hh])
106
107AT_CHECK_OUTPUT([foo.yy], [%defines %verbose ], [-o foo.c],
108 [foo.c foo.h foo.output])
109
110AT_CHECK_OUTPUT([foo.yy], [],
111 [--defines=foo.hpp -o foo.c++],
112 [foo.c++ foo.hpp])
113
114AT_CHECK_OUTPUT([foo.yy], [%defines "foo.hpp"],
115 [-o foo.c++],
116 [foo.c++ foo.hpp])
117
118AT_CHECK_OUTPUT([foo.yy], [],
119 [-o foo.c++ --graph=foo.gph],
120 [foo.c++ foo.gph])
121
122# Do not generate code when there are early errors (even warnings as
123# errors).
124AT_CHECK_OUTPUT([foo.y], [%type <foo> useless],
125 [--defines --graph --xml --report=all -Wall -Werror],
126 [foo.dot foo.output foo.xml],
127 [1])
128
129# Do not generate code when there are late errors (even warnings as
130# errors).
131AT_CHECK_OUTPUT([foo.y], [%define useless],
132 [--defines --graph --xml --report=all -Wall -Werror],
133 [foo.dot foo.output foo.xml],
134 [1])
135
136
137## ------------ ##
138## C++ output. ##
139## ------------ ##
140
141m4_define([AT_CHECK_NO_SUBDIR_PART],
142[# Also make sure that the includes do not refer to the subdirectory.
143AT_CHECK([grep 'include .subdir/' $1.cc], 1, [])
144AT_CHECK([grep 'include .subdir/' $1.hh], 1, [])
145])
146
147AT_CHECK_OUTPUT([foo.yy], [%skeleton "lalr1.cc" %verbose], [],
148 [foo.output foo.tab.cc])
149
150AT_CHECK_OUTPUT([foo.yy], [%skeleton "lalr1.cc" %defines %verbose], [],
151 [foo.output foo.tab.cc foo.tab.hh stack.hh])
152
153AT_CHECK_OUTPUT([foo.yy], [%skeleton "lalr1.cc" %verbose %locations], [],
154 [foo.output foo.tab.cc])
155
156AT_CHECK_OUTPUT([foo.yy], [%skeleton "lalr1.cc" %defines %verbose %locations], [],
157 [foo.output foo.tab.cc foo.tab.hh location.hh position.hh stack.hh])
158
159AT_CHECK_OUTPUT([subdir/foo.yy], [%skeleton "lalr1.cc" %defines %verbose], [],
160 [foo.output foo.tab.cc foo.tab.hh stack.hh],
161 [], [AT_CHECK_NO_SUBDIR_PART([foo.tab])])
162
163AT_CHECK_OUTPUT([subdir/foo.yy], [%skeleton "lalr1.cc" %defines %verbose %locations],
164 [-o subdir/foo.cc],
165 [subdir/foo.cc subdir/foo.hh subdir/foo.output subdir/location.hh subdir/position.hh subdir/stack.hh],
166 [], [AT_CHECK_NO_SUBDIR_PART([subdir/foo])])
167
168AT_CHECK_OUTPUT([gram_dir/foo.yy],
169 [%skeleton "lalr1.cc" %defines %verbose %file-prefix "output_dir/foo"],
170 [],
171 [output_dir/foo.output output_dir/foo.tab.cc output_dir/foo.tab.hh output_dir/stack.hh])
172
173AT_CHECK_OUTPUT([gram_dir/foo.yy],
174 [%skeleton "lalr1.cc" %defines %locations %verbose %file-prefix "output_dir/foo"],
175 [],
176 [output_dir/foo.output output_dir/foo.tab.cc output_dir/foo.tab.hh output_dir/location.hh output_dir/position.hh output_dir/stack.hh])
177
178
179# AT_CHECK_CONFLICTING_OUTPUT(INPUT-FILE, DIRECTIVES, FLAGS, STDERR,
180# [EXIT-STATUS])
181# ------------------------------------------------------------------
182m4_define([AT_CHECK_CONFLICTING_OUTPUT],
183[AT_SETUP([Conflicting output files: $2 $3])
184case "$1" in
185 */*) mkdir `echo "$1" | sed 's,/.*,,'`;;
186esac
187AT_DATA([$1],
188[[$2
189%%
190foo: {};
191]])
192
193[cp ]$1[ expout]
194# Because an output file name conflict is still a warning, Bison exits
195# with status 0, so AT_BISON_CHECK does not realize that there may be no
196# output file against which to check the XML. AT_BISON_CHECK_NO_XML
197# avoids that problem.
198AT_BISON_CHECK_NO_XML([$3 $1], $5, [], [$4])
199AT_CHECK([[cat $1]], [[0]], [expout])
200AT_CLEANUP
201])
202
203AT_CHECK_CONFLICTING_OUTPUT([foo.y],
204[], [--graph="foo.tab.c"],
205[[foo.y: warning: conflicting outputs to file 'foo.tab.c' [-Wother]
206]])
207
208AT_CHECK_CONFLICTING_OUTPUT([foo.y],
209[%defines "foo.output"], [-v],
210[[foo.y: warning: conflicting outputs to file 'foo.output' [-Wother]
211]])
212
213AT_CHECK_CONFLICTING_OUTPUT([foo.y],
214[%skeleton "lalr1.cc" %defines %locations], [--graph="location.hh"],
215[[foo.y: warning: conflicting outputs to file 'location.hh' [-Wother]
216]])
217
218AT_CHECK_CONFLICTING_OUTPUT([foo.y], [], [-o foo.y],
219[[foo.y: error: refusing to overwrite the input file 'foo.y'
220]], 1)
221
222
223# AT_CHECK_OUTPUT_FILE_NAME(FILE-NAME-PREFIX, [ADDITIONAL-TESTS])
224# ---------------------------------------------------------------
225m4_define([AT_CHECK_OUTPUT_FILE_NAME],
226[AT_SETUP([Output file name: $1])
227
228AT_BISON_OPTION_PUSHDEFS
229# Skip if platform doesn't support file name. For example, Cygwin
230# doesn't support file names containing ":" or "\".
231AT_CHECK([[touch "]AS_ESCAPE([$1[.tmp]])[" || exit 77]])
232
233AT_DATA_GRAMMAR([glr.y],
234[[%glr-parser
235%code {
236]AT_YYERROR_DECLARE_EXTERN[
237]AT_YYLEX_DECLARE_EXTERN[
238}
239%%
240start: {};
241]])
242AT_BISON_CHECK([-o "AS_ESCAPE([$1.c])" --defines="AS_ESCAPE([$1.h])" glr.y])
243AT_CHECK([ls "AS_ESCAPE([$1.c])" "AS_ESCAPE([$1.h])"], [], [ignore])
244AT_COMPILE([glr.o], [-c "AS_ESCAPE([$1.c])"])
245$2
246
247AT_DATA_GRAMMAR([cxx.y],
248[[%skeleton "lalr1.cc"
249%code { int yylex (yy::parser::semantic_type*); }
250%%
251start: {};
252]])
253AT_BISON_CHECK([-o "AS_ESCAPE([$1.cc])" --defines="AS_ESCAPE([$1.hh])" cxx.y])
254AT_CHECK([ls "AS_ESCAPE([$1.cc])" "AS_ESCAPE([$1.hh])"], [], [ignore])
255AT_COMPILE_CXX([cxx.o], [-c "AS_ESCAPE([$1.cc])"])
256$2
257
258AT_BISON_OPTION_POPDEFS
259AT_CLEANUP
260])
261
262# Notice that the header file name here cannot contain
263# '"' since FILENAME in '#include "FILENAME"' cannot.
264AT_CHECK_OUTPUT_FILE_NAME([[`~!@#$%^&*()-=_+{}[]|\:;<>, .']])
265dnl Work around a bug in m4_expand that broke AT_SETUP in autoconf 2.62,
266dnl by using the definition from 2.63.
267m4_version_prereq([2.63], [],
268[m4_define([m4_expand], [_$0(-=<{($1)}>=-)])
269m4_define([_m4_expand],
270[m4_changequote([-=<{(], [)}>=-])$1m4_changequote([, ])])])
271AT_CHECK_OUTPUT_FILE_NAME([[(]])
272AT_CHECK_OUTPUT_FILE_NAME([[)]])
273AT_CHECK_OUTPUT_FILE_NAME([[@%:@]])
274AT_CHECK_OUTPUT_FILE_NAME([[@@]])
275AT_CHECK_OUTPUT_FILE_NAME([[@{]])
276AT_CHECK_OUTPUT_FILE_NAME([[@}]])
277AT_CHECK_OUTPUT_FILE_NAME([[@<:@]])
278AT_CHECK_OUTPUT_FILE_NAME([[@:>@]])
279
280
281# AT_TEST(SETUP-NAME, GRAMMAR, DOT-BODY)
282# --------------------------------------
283# Check that the DOT graph for GRAMMAR is DOT-BODY.
284m4_pushdef([AT_TEST],
285[AT_SETUP([$1])
286AT_KEYWORDS([[graph]])
287AT_DATA([[input.y]], [$2])
288AT_BISON_CHECK([[-rall --graph input.y]], [0], [[]], [[ignore]])
289AT_CHECK([[grep -v // input.dot]], [0],
290[[
291digraph "input.y"
292{
293 node [fontname = courier, shape = box, colorscheme = paired6]
294 edge [fontname = courier]
295 ]$3[}
296]])
297AT_CLEANUP
298])
299
300
301## ------------------------ ##
302## Graph with no conflicts. ##
303## ------------------------ ##
304
305AT_TEST([Graph with no conflicts],
306[[%%
307exp: a '?' b;
308a: ;
309b: 'b';
310]],
311[[
312 0 [label="State 0\n\l 0 $accept: . exp $end\l 1 exp: . a '?' b\l 2 a: . %empty\l"]
313 0 -> 1 [style=dashed label="exp"]
314 0 -> 2 [style=dashed label="a"]
315 0 -> "0R2" [style=solid]
316 "0R2" [label="R2", fillcolor=3, shape=diamond, style=filled]
317 1 [label="State 1\n\l 0 $accept: exp . $end\l"]
318 1 -> 3 [style=solid label="$end"]
319 2 [label="State 2\n\l 1 exp: a . '?' b\l"]
320 2 -> 4 [style=solid label="'?'"]
321 3 [label="State 3\n\l 0 $accept: exp $end .\l"]
322 3 -> "3R0" [style=solid]
323 "3R0" [label="Acc", fillcolor=1, shape=diamond, style=filled]
324 4 [label="State 4\n\l 1 exp: a '?' . b\l 3 b: . 'b'\l"]
325 4 -> 5 [style=solid label="'b'"]
326 4 -> 6 [style=dashed label="b"]
327 5 [label="State 5\n\l 3 b: 'b' .\l"]
328 5 -> "5R3" [style=solid]
329 "5R3" [label="R3", fillcolor=3, shape=diamond, style=filled]
330 6 [label="State 6\n\l 1 exp: a '?' b .\l"]
331 6 -> "6R1" [style=solid]
332 "6R1" [label="R1", fillcolor=3, shape=diamond, style=filled]
333]])
334
335## ------------------------ ##
336## Graph with unsolved S/R. ##
337## ------------------------ ##
338
339AT_TEST([Graph with unsolved S/R],
340[[%%
341start:
342 'a'
343 | empty_a 'a'
344 | 'b'
345 | empty_b 'b'
346 | 'c'
347 | empty_c 'c'
348 ;
349empty_a: %prec 'a';
350empty_b: %prec 'b';
351empty_c: %prec 'c';
352]],
353[[
354 0 [label="State 0\n\l 0 $accept: . start $end\l 1 start: . 'a'\l 2 | . empty_a 'a'\l 3 | . 'b'\l 4 | . empty_b 'b'\l 5 | . 'c'\l 6 | . empty_c 'c'\l 7 empty_a: . %empty ['a']\l 8 empty_b: . %empty ['b']\l 9 empty_c: . %empty ['c']\l"]
355 0 -> 1 [style=solid label="'a'"]
356 0 -> 2 [style=solid label="'b'"]
357 0 -> 3 [style=solid label="'c'"]
358 0 -> 4 [style=dashed label="start"]
359 0 -> 5 [style=dashed label="empty_a"]
360 0 -> 6 [style=dashed label="empty_b"]
361 0 -> 7 [style=dashed label="empty_c"]
362 0 -> "0R7d" [label="['a']", style=solid]
363 "0R7d" [label="R7", fillcolor=5, shape=diamond, style=filled]
364 0 -> "0R8d" [label="['b']", style=solid]
365 "0R8d" [label="R8", fillcolor=5, shape=diamond, style=filled]
366 0 -> "0R9d" [label="['c']", style=solid]
367 "0R9d" [label="R9", fillcolor=5, shape=diamond, style=filled]
368 1 [label="State 1\n\l 1 start: 'a' .\l"]
369 1 -> "1R1" [style=solid]
370 "1R1" [label="R1", fillcolor=3, shape=diamond, style=filled]
371 2 [label="State 2\n\l 3 start: 'b' .\l"]
372 2 -> "2R3" [style=solid]
373 "2R3" [label="R3", fillcolor=3, shape=diamond, style=filled]
374 3 [label="State 3\n\l 5 start: 'c' .\l"]
375 3 -> "3R5" [style=solid]
376 "3R5" [label="R5", fillcolor=3, shape=diamond, style=filled]
377 4 [label="State 4\n\l 0 $accept: start . $end\l"]
378 4 -> 8 [style=solid label="$end"]
379 5 [label="State 5\n\l 2 start: empty_a . 'a'\l"]
380 5 -> 9 [style=solid label="'a'"]
381 6 [label="State 6\n\l 4 start: empty_b . 'b'\l"]
382 6 -> 10 [style=solid label="'b'"]
383 7 [label="State 7\n\l 6 start: empty_c . 'c'\l"]
384 7 -> 11 [style=solid label="'c'"]
385 8 [label="State 8\n\l 0 $accept: start $end .\l"]
386 8 -> "8R0" [style=solid]
387 "8R0" [label="Acc", fillcolor=1, shape=diamond, style=filled]
388 9 [label="State 9\n\l 2 start: empty_a 'a' .\l"]
389 9 -> "9R2" [style=solid]
390 "9R2" [label="R2", fillcolor=3, shape=diamond, style=filled]
391 10 [label="State 10\n\l 4 start: empty_b 'b' .\l"]
392 10 -> "10R4" [style=solid]
393 "10R4" [label="R4", fillcolor=3, shape=diamond, style=filled]
394 11 [label="State 11\n\l 6 start: empty_c 'c' .\l"]
395 11 -> "11R6" [style=solid]
396 "11R6" [label="R6", fillcolor=3, shape=diamond, style=filled]
397]])
398
399## ---------------------- ##
400## Graph with solved S/R. ##
401## ---------------------- ##
402
403AT_TEST([Graph with solved S/R],
404[[%left 'a'
405%right 'b'
406%right 'c'
407%%
408start:
409 'a'
410 | empty_a 'a'
411 | 'b'
412 | empty_b 'b'
413 | 'c'
414 | empty_c 'c'
415 ;
416empty_a: %prec 'a';
417empty_b: %prec 'b';
418empty_c: %prec 'c';
419]],
420[[
421 0 [label="State 0\n\l 0 $accept: . start $end\l 1 start: . 'a'\l 2 | . empty_a 'a'\l 3 | . 'b'\l 4 | . empty_b 'b'\l 5 | . 'c'\l 6 | . empty_c 'c'\l 7 empty_a: . %empty ['a']\l 8 empty_b: . %empty []\l 9 empty_c: . %empty []\l"]
422 0 -> 1 [style=solid label="'b'"]
423 0 -> 2 [style=solid label="'c'"]
424 0 -> 3 [style=dashed label="start"]
425 0 -> 4 [style=dashed label="empty_a"]
426 0 -> 5 [style=dashed label="empty_b"]
427 0 -> 6 [style=dashed label="empty_c"]
428 0 -> "0R7" [style=solid]
429 "0R7" [label="R7", fillcolor=3, shape=diamond, style=filled]
430 1 [label="State 1\n\l 3 start: 'b' .\l"]
431 1 -> "1R3" [style=solid]
432 "1R3" [label="R3", fillcolor=3, shape=diamond, style=filled]
433 2 [label="State 2\n\l 5 start: 'c' .\l"]
434 2 -> "2R5" [style=solid]
435 "2R5" [label="R5", fillcolor=3, shape=diamond, style=filled]
436 3 [label="State 3\n\l 0 $accept: start . $end\l"]
437 3 -> 7 [style=solid label="$end"]
438 4 [label="State 4\n\l 2 start: empty_a . 'a'\l"]
439 4 -> 8 [style=solid label="'a'"]
440 5 [label="State 5\n\l 4 start: empty_b . 'b'\l"]
441 5 -> 9 [style=solid label="'b'"]
442 6 [label="State 6\n\l 6 start: empty_c . 'c'\l"]
443 6 -> 10 [style=solid label="'c'"]
444 7 [label="State 7\n\l 0 $accept: start $end .\l"]
445 7 -> "7R0" [style=solid]
446 "7R0" [label="Acc", fillcolor=1, shape=diamond, style=filled]
447 8 [label="State 8\n\l 2 start: empty_a 'a' .\l"]
448 8 -> "8R2" [style=solid]
449 "8R2" [label="R2", fillcolor=3, shape=diamond, style=filled]
450 9 [label="State 9\n\l 4 start: empty_b 'b' .\l"]
451 9 -> "9R4" [style=solid]
452 "9R4" [label="R4", fillcolor=3, shape=diamond, style=filled]
453 10 [label="State 10\n\l 6 start: empty_c 'c' .\l"]
454 10 -> "10R6" [style=solid]
455 "10R6" [label="R6", fillcolor=3, shape=diamond, style=filled]
456]])
457
458## ---------------- ##
459## Graph with R/R. ##
460## ---------------- ##
461
462AT_TEST([Graph with R/R],
463[[%%
464exp: a | b;
465a: ;
466b: ;
467]],
468[[
469 0 [label="State 0\n\l 0 $accept: . exp $end\l 1 exp: . a\l 2 | . b\l 3 a: . %empty [$end]\l 4 b: . %empty [$end]\l"]
470 0 -> 1 [style=dashed label="exp"]
471 0 -> 2 [style=dashed label="a"]
472 0 -> 3 [style=dashed label="b"]
473 0 -> "0R3" [style=solid]
474 "0R3" [label="R3", fillcolor=3, shape=diamond, style=filled]
475 0 -> "0R4d" [label="[$end]", style=solid]
476 "0R4d" [label="R4", fillcolor=5, shape=diamond, style=filled]
477 1 [label="State 1\n\l 0 $accept: exp . $end\l"]
478 1 -> 4 [style=solid label="$end"]
479 2 [label="State 2\n\l 1 exp: a .\l"]
480 2 -> "2R1" [style=solid]
481 "2R1" [label="R1", fillcolor=3, shape=diamond, style=filled]
482 3 [label="State 3\n\l 2 exp: b .\l"]
483 3 -> "3R2" [style=solid]
484 "3R2" [label="R2", fillcolor=3, shape=diamond, style=filled]
485 4 [label="State 4\n\l 0 $accept: exp $end .\l"]
486 4 -> "4R0" [style=solid]
487 "4R0" [label="Acc", fillcolor=1, shape=diamond, style=filled]
488]])
489
490## ---------------------------------------- ##
491## Graph with reductions with multiple LAT. ##
492## ---------------------------------------- ##
493
494AT_TEST([Graph with reductions with multiple LAT],
495[[%%
496exp: a ';' | a ';' | a '.' | b '?' | b '!' | c '?' | c ';';
497a: ;
498b: ;
499c: ;
500]],
501[[
502 0 [label="State 0\n\l 0 $accept: . exp $end\l 1 exp: . a ';'\l 2 | . a ';'\l 3 | . a '.'\l 4 | . b '?'\l 5 | . b '!'\l 6 | . c '?'\l 7 | . c ';'\l 8 a: . %empty [';', '.']\l 9 b: . %empty ['?', '!']\l 10 c: . %empty [';', '?']\l"]
503 0 -> 1 [style=dashed label="exp"]
504 0 -> 2 [style=dashed label="a"]
505 0 -> 3 [style=dashed label="b"]
506 0 -> 4 [style=dashed label="c"]
507 0 -> "0R8" [style=solid]
508 "0R8" [label="R8", fillcolor=3, shape=diamond, style=filled]
509 0 -> "0R9" [label="['?', '!']", style=solid]
510 "0R9" [label="R9", fillcolor=3, shape=diamond, style=filled]
511 0 -> "0R10d" [label="[';', '?']", style=solid]
512 "0R10d" [label="R10", fillcolor=5, shape=diamond, style=filled]
513 1 [label="State 1\n\l 0 $accept: exp . $end\l"]
514 1 -> 5 [style=solid label="$end"]
515 2 [label="State 2\n\l 1 exp: a . ';'\l 2 | a . ';'\l 3 | a . '.'\l"]
516 2 -> 6 [style=solid label="';'"]
517 2 -> 7 [style=solid label="'.'"]
518 3 [label="State 3\n\l 4 exp: b . '?'\l 5 | b . '!'\l"]
519 3 -> 8 [style=solid label="'?'"]
520 3 -> 9 [style=solid label="'!'"]
521 4 [label="State 4\n\l 6 exp: c . '?'\l 7 | c . ';'\l"]
522 4 -> 10 [style=solid label="';'"]
523 4 -> 11 [style=solid label="'?'"]
524 5 [label="State 5\n\l 0 $accept: exp $end .\l"]
525 5 -> "5R0" [style=solid]
526 "5R0" [label="Acc", fillcolor=1, shape=diamond, style=filled]
527 6 [label="State 6\n\l 1 exp: a ';' . [$end]\l 2 | a ';' . [$end]\l"]
528 6 -> "6R1" [style=solid]
529 "6R1" [label="R1", fillcolor=3, shape=diamond, style=filled]
530 6 -> "6R2d" [label="[$end]", style=solid]
531 "6R2d" [label="R2", fillcolor=5, shape=diamond, style=filled]
532 7 [label="State 7\n\l 3 exp: a '.' .\l"]
533 7 -> "7R3" [style=solid]
534 "7R3" [label="R3", fillcolor=3, shape=diamond, style=filled]
535 8 [label="State 8\n\l 4 exp: b '?' .\l"]
536 8 -> "8R4" [style=solid]
537 "8R4" [label="R4", fillcolor=3, shape=diamond, style=filled]
538 9 [label="State 9\n\l 5 exp: b '!' .\l"]
539 9 -> "9R5" [style=solid]
540 "9R5" [label="R5", fillcolor=3, shape=diamond, style=filled]
541 10 [label="State 10\n\l 7 exp: c ';' .\l"]
542 10 -> "10R7" [style=solid]
543 "10R7" [label="R7", fillcolor=3, shape=diamond, style=filled]
544 11 [label="State 11\n\l 6 exp: c '?' .\l"]
545 11 -> "11R6" [style=solid]
546 "11R6" [label="R6", fillcolor=3, shape=diamond, style=filled]
547]])
548
549## ------------------------------------------------------ ##
550## Graph with a reduction rule both enabled and disabled. ##
551## ------------------------------------------------------ ##
552
553AT_TEST([Graph with a reduction rule both enabled and disabled],
554[[%%
555exp: ifexp | opexp | imm;
556ifexp: "if" exp "then" exp elseexp;
557elseexp: "else" exp | ;
558opexp: exp '+' exp;
559imm: '0';
560]],
561[[
562 0 [label="State 0\n\l 0 $accept: . exp $end\l 1 exp: . ifexp\l 2 | . opexp\l 3 | . imm\l 4 ifexp: . \"if\" exp \"then\" exp elseexp\l 7 opexp: . exp '+' exp\l 8 imm: . '0'\l"]
563 0 -> 1 [style=solid label="\"if\""]
564 0 -> 2 [style=solid label="'0'"]
565 0 -> 3 [style=dashed label="exp"]
566 0 -> 4 [style=dashed label="ifexp"]
567 0 -> 5 [style=dashed label="opexp"]
568 0 -> 6 [style=dashed label="imm"]
569 1 [label="State 1\n\l 1 exp: . ifexp\l 2 | . opexp\l 3 | . imm\l 4 ifexp: . \"if\" exp \"then\" exp elseexp\l 4 | \"if\" . exp \"then\" exp elseexp\l 7 opexp: . exp '+' exp\l 8 imm: . '0'\l"]
570 1 -> 1 [style=solid label="\"if\""]
571 1 -> 2 [style=solid label="'0'"]
572 1 -> 7 [style=dashed label="exp"]
573 1 -> 4 [style=dashed label="ifexp"]
574 1 -> 5 [style=dashed label="opexp"]
575 1 -> 6 [style=dashed label="imm"]
576 2 [label="State 2\n\l 8 imm: '0' .\l"]
577 2 -> "2R8" [style=solid]
578 "2R8" [label="R8", fillcolor=3, shape=diamond, style=filled]
579 3 [label="State 3\n\l 0 $accept: exp . $end\l 7 opexp: exp . '+' exp\l"]
580 3 -> 8 [style=solid label="$end"]
581 3 -> 9 [style=solid label="'+'"]
582 4 [label="State 4\n\l 1 exp: ifexp .\l"]
583 4 -> "4R1" [style=solid]
584 "4R1" [label="R1", fillcolor=3, shape=diamond, style=filled]
585 5 [label="State 5\n\l 2 exp: opexp .\l"]
586 5 -> "5R2" [style=solid]
587 "5R2" [label="R2", fillcolor=3, shape=diamond, style=filled]
588 6 [label="State 6\n\l 3 exp: imm .\l"]
589 6 -> "6R3" [style=solid]
590 "6R3" [label="R3", fillcolor=3, shape=diamond, style=filled]
591 7 [label="State 7\n\l 4 ifexp: \"if\" exp . \"then\" exp elseexp\l 7 opexp: exp . '+' exp\l"]
592 7 -> 10 [style=solid label="\"then\""]
593 7 -> 9 [style=solid label="'+'"]
594 8 [label="State 8\n\l 0 $accept: exp $end .\l"]
595 8 -> "8R0" [style=solid]
596 "8R0" [label="Acc", fillcolor=1, shape=diamond, style=filled]
597 9 [label="State 9\n\l 1 exp: . ifexp\l 2 | . opexp\l 3 | . imm\l 4 ifexp: . \"if\" exp \"then\" exp elseexp\l 7 opexp: . exp '+' exp\l 7 | exp '+' . exp\l 8 imm: . '0'\l"]
598 9 -> 1 [style=solid label="\"if\""]
599 9 -> 2 [style=solid label="'0'"]
600 9 -> 11 [style=dashed label="exp"]
601 9 -> 4 [style=dashed label="ifexp"]
602 9 -> 5 [style=dashed label="opexp"]
603 9 -> 6 [style=dashed label="imm"]
604 10 [label="State 10\n\l 1 exp: . ifexp\l 2 | . opexp\l 3 | . imm\l 4 ifexp: . \"if\" exp \"then\" exp elseexp\l 4 | \"if\" exp \"then\" . exp elseexp\l 7 opexp: . exp '+' exp\l 8 imm: . '0'\l"]
605 10 -> 1 [style=solid label="\"if\""]
606 10 -> 2 [style=solid label="'0'"]
607 10 -> 12 [style=dashed label="exp"]
608 10 -> 4 [style=dashed label="ifexp"]
609 10 -> 5 [style=dashed label="opexp"]
610 10 -> 6 [style=dashed label="imm"]
611 11 [label="State 11\n\l 7 opexp: exp . '+' exp\l 7 | exp '+' exp . [$end, \"then\", \"else\", '+']\l"]
612 11 -> 9 [style=solid label="'+'"]
613 11 -> "11R7d" [label="['+']", style=solid]
614 "11R7d" [label="R7", fillcolor=5, shape=diamond, style=filled]
615 11 -> "11R7" [style=solid]
616 "11R7" [label="R7", fillcolor=3, shape=diamond, style=filled]
617 12 [label="State 12\n\l 4 ifexp: \"if\" exp \"then\" exp . elseexp\l 5 elseexp: . \"else\" exp\l 6 | . %empty [$end, \"then\", \"else\", '+']\l 7 opexp: exp . '+' exp\l"]
618 12 -> 13 [style=solid label="\"else\""]
619 12 -> 9 [style=solid label="'+'"]
620 12 -> 14 [style=dashed label="elseexp"]
621 12 -> "12R6d" [label="[\"else\", '+']", style=solid]
622 "12R6d" [label="R6", fillcolor=5, shape=diamond, style=filled]
623 12 -> "12R6" [style=solid]
624 "12R6" [label="R6", fillcolor=3, shape=diamond, style=filled]
625 13 [label="State 13\n\l 1 exp: . ifexp\l 2 | . opexp\l 3 | . imm\l 4 ifexp: . \"if\" exp \"then\" exp elseexp\l 5 elseexp: \"else\" . exp\l 7 opexp: . exp '+' exp\l 8 imm: . '0'\l"]
626 13 -> 1 [style=solid label="\"if\""]
627 13 -> 2 [style=solid label="'0'"]
628 13 -> 15 [style=dashed label="exp"]
629 13 -> 4 [style=dashed label="ifexp"]
630 13 -> 5 [style=dashed label="opexp"]
631 13 -> 6 [style=dashed label="imm"]
632 14 [label="State 14\n\l 4 ifexp: \"if\" exp \"then\" exp elseexp .\l"]
633 14 -> "14R4" [style=solid]
634 "14R4" [label="R4", fillcolor=3, shape=diamond, style=filled]
635 15 [label="State 15\n\l 5 elseexp: \"else\" exp . [$end, \"then\", \"else\", '+']\l 7 opexp: exp . '+' exp\l"]
636 15 -> 9 [style=solid label="'+'"]
637 15 -> "15R5d" [label="['+']", style=solid]
638 "15R5d" [label="R5", fillcolor=5, shape=diamond, style=filled]
639 15 -> "15R5" [style=solid]
640 "15R5" [label="R5", fillcolor=3, shape=diamond, style=filled]
641]])
642
643m4_popdef([AT_TEST])