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