diff --git a/tests/report.at b/tests/report.at index 6c924582c..2e4980bf2 100644 --- a/tests/report.at +++ b/tests/report.at @@ -2286,6 +2286,428 @@ AT_CHECK([[sed -e 's/bison-xml-report version="[^"]*"/bison-xml-report version=" ]]) +if test x"$XSLTPROC" != x""; then + AT_CHECK([[$XSLTPROC \ + `]]AT_SET_ENV[[ bison --print-datadir`/xslt/xml2xhtml.xsl \ + input.xml >input.html]]) + AT_CHECK([sed -e 's,GNU Bison .*,GNU Bison VERSION,' input.html], [], +[[ + + + + + input.yy - GNU Bison XML Automaton Report + + +

GNU Bison XML Automaton Report

+ input grammar: input.yy

+ +

Table of Contents

Reductions

Nonterminals useless in grammar

+ +

Terminals unused in grammar

+ +

Rules useless in grammar

+

Conflicts

+ +

Grammar

+

+ 0 $accept → YY_EXP exp "end of file" + 1 | YY_ASSIGNMENTS assignments "end of file" + 2 | YY_UNIT unit "end of file" + + 3 unit → assignments exp + + 4 assignments → %empty + 5 | assignments assignment + + 6 assignment → id ":=" exp + + 7 id → "identifier" + + 8 @1 → %empty + + 9 @2 → %empty + + 10 exp → "incr" exp @1 @2 exp + 11 | "(" exp ")" + 12 | "identifier" + 13 | "number" +

+ +

Terminals, with rules where they appear

+ +

"end of file" (0) 0 1 2 +error (256) +":=" (258) 6 +"incr" (259) 10 +"identifier" (260) 7 12 +"number" (261) 13 +"(" (262) 11 +")" (263) 11 +YY_UNIT (264) 2 +YY_ASSIGNMENTS (265) 1 +YY_EXP (266) 0 +

+ +

Nonterminals, with rules where they appear

+ +

$accept (12) + on left: 0 1 2 +unit (13) + on left: 3 + on right: 2 +assignments (14) + on left: 4 5 + on right: 1 3 5 +assignment (15) + on left: 6 + on right: 5 +id (16) + on left: 7 + on right: 6 +exp (17) + on left: 10 11 12 13 + on right: 0 3 6 10 11 +@1 (18) + on left: 8 + on right: 10 +@2 (19) + on left: 9 + on right: 10 +

Automaton

+ +

state 0

+ +

0 $accept → • YY_EXP exp "end of file" + 1 | • YY_ASSIGNMENTS assignments "end of file" + 2 | • YY_UNIT unit "end of file" + + YY_UNIT shift, and go to state 1 + YY_ASSIGNMENTS shift, and go to state 2 + YY_EXP shift, and go to state 3 +

+ +

state 1

+ +

2 $accept → YY_UNIT • unit "end of file" + 3 unit → • assignments exp + 4 assignments → • %empty + 5 | • assignments assignment + + $default reduce using rule 4 (assignments) + + unit go to state 4 + assignments go to state 5 +

+ +

state 2

+ +

1 $accept → YY_ASSIGNMENTS • assignments "end of file" + 4 assignments → • %empty + 5 | • assignments assignment + + $default reduce using rule 4 (assignments) + + assignments go to state 6 +

+ +

state 3

+ +

0 $accept → YY_EXP • exp "end of file" + 10 exp → • "incr" exp @1 @2 exp + 11 | • "(" exp ")" + 12 | • "identifier" + 13 | • "number" + + "incr" shift, and go to state 7 + "identifier" shift, and go to state 8 + "number" shift, and go to state 9 + "(" shift, and go to state 10 + + exp go to state 11 +

+ +

state 4

+ +

2 $accept → YY_UNIT unit • "end of file" + + "end of file" shift, and go to state 12 +

+ +

state 5

+ +

3 unit → assignments • exp + 5 assignments → assignments • assignment + 6 assignment → • id ":=" exp + 7 id → • "identifier" + 10 exp → • "incr" exp @1 @2 exp + 11 | • "(" exp ")" + 12 | • "identifier" + 13 | • "number" + + "incr" shift, and go to state 7 + "identifier" shift, and go to state 13 + "number" shift, and go to state 9 + "(" shift, and go to state 10 + + assignment go to state 14 + id go to state 15 + exp go to state 16 +

+ +

state 6

+ +

1 $accept → YY_ASSIGNMENTS assignments • "end of file" + 5 assignments → assignments • assignment + 6 assignment → • id ":=" exp + 7 id → • "identifier" + + "end of file" shift, and go to state 17 + "identifier" shift, and go to state 18 + + assignment go to state 14 + id go to state 15 +

+ +

state 7

+ +

10 exp → • "incr" exp @1 @2 exp + 10 | "incr" • exp @1 @2 exp + 11 | • "(" exp ")" + 12 | • "identifier" + 13 | • "number" + + "incr" shift, and go to state 7 + "identifier" shift, and go to state 8 + "number" shift, and go to state 9 + "(" shift, and go to state 10 + + exp go to state 19 +

+ +

state 8

+ +

12 exp → "identifier" • + + $default reduce using rule 12 (exp) +

+ +

state 9

+ +

13 exp → "number" • + + $default reduce using rule 13 (exp) +

+ +

state 10

+ +

10 exp → • "incr" exp @1 @2 exp + 11 | • "(" exp ")" + 11 | "(" • exp ")" + 12 | • "identifier" + 13 | • "number" + + "incr" shift, and go to state 7 + "identifier" shift, and go to state 8 + "number" shift, and go to state 9 + "(" shift, and go to state 10 + + exp go to state 20 +

+ +

state 11

+ +

0 $accept → YY_EXP exp • "end of file" + + "end of file" shift, and go to state 21 +

+ +

state 12

+ +

2 $accept → YY_UNIT unit "end of file" • + + $default accept +

+ +

state 13

+ +

7 id → "identifier" • [":="] + 12 exp → "identifier" • ["end of file"] + + "end of file" reduce using rule 12 (exp) + $default reduce using rule 7 (id) +

+ +

state 14

+ +

5 assignments → assignments assignment • + + $default reduce using rule 5 (assignments) +

+ +

state 15

+ +

6 assignment → id • ":=" exp + + ":=" shift, and go to state 22 +

+ +

state 16

+ +

3 unit → assignments exp • + + $default reduce using rule 3 (unit) +

+ +

state 17

+ +

1 $accept → YY_ASSIGNMENTS assignments "end of file" • + + $default accept +

+ +

state 18

+ +

7 id → "identifier" • + + $default reduce using rule 7 (id) +

+ +

state 19

+ +

8 @1 → • %empty + 10 exp → "incr" exp • @1 @2 exp + + $default reduce using rule 8 (@1) + + @1 go to state 23 +

+ +

state 20

+ +

11 exp → "(" exp • ")" + + ")" shift, and go to state 24 +

+ +

state 21

+ +

0 $accept → YY_EXP exp "end of file" • + + $default accept +

+ +

state 22

+ +

6 assignment → id ":=" • exp + 10 exp → • "incr" exp @1 @2 exp + 11 | • "(" exp ")" + 12 | • "identifier" + 13 | • "number" + + "incr" shift, and go to state 7 + "identifier" shift, and go to state 8 + "number" shift, and go to state 9 + "(" shift, and go to state 10 + + exp go to state 25 +

+ +

state 23

+ +

9 @2 → • %empty + 10 exp → "incr" exp @1 • @2 exp + + $default reduce using rule 9 (@2) + + @2 go to state 26 +

+ +

state 24

+ +

11 exp → "(" exp ")" • + + $default reduce using rule 11 (exp) +

+ +

state 25

+ +

6 assignment → id ":=" exp • + + $default reduce using rule 6 (assignment) +

+ +

state 26

+ +

10 exp → • "incr" exp @1 @2 exp + 10 | "incr" exp @1 @2 • exp + 11 | • "(" exp ")" + 12 | • "identifier" + 13 | • "number" + + "incr" shift, and go to state 7 + "identifier" shift, and go to state 8 + "number" shift, and go to state 9 + "(" shift, and go to state 10 + + exp go to state 27 +

+ +

state 27

+ +

10 exp → "incr" exp @1 @2 exp • + + $default reduce using rule 10 (exp) +

+ + + +]]) +fi AT_BISON_OPTION_POPDEFS AT_CLEANUP