From 78d0e5e671171eced263d982ec298f87e0602eff Mon Sep 17 00:00:00 2001 From: Akim Demaille Date: Sun, 21 Jun 2020 10:00:55 +0200 Subject: [PATCH] multistart: also check the HTML report We don't actually have checks for HTML, so let's do it for multistart. * tests/report.at: here. --- tests/report.at | 448 ++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 448 insertions(+) diff --git a/tests/report.at b/tests/report.at index 734582f4..d55497aa 100644 --- a/tests/report.at +++ b/tests/report.at @@ -2647,6 +2647,454 @@ 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_PARSE_unit unit "end of file" + 1 | YY_PARSE_assignments assignments "end of file" + 2 | YY_PARSE_exp exp "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

+ + + +

Nonterminals, with rules where they appear

+ +

Automaton

+ +

State 0

+ +

0 $accept → • YY_PARSE_unit unit "end of file" + 1 | • YY_PARSE_assignments assignments "end of file" + 2 | • YY_PARSE_exp exp "end of file" + + YY_PARSE_unit shift, and go to state 1 + YY_PARSE_assignments shift, and go to state 2 + YY_PARSE_exp shift, and go to state 3 +

+ +

State 1

+ +

0 $accept → YY_PARSE_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_PARSE_assignments • assignments "end of file" + 4 assignments → • %empty + 5 | • assignments assignment + + $default reduce using rule 4 (assignments) + + assignments go to state 6 +

+ +

State 3

+ +

2 $accept → YY_PARSE_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

+ +

0 $accept → YY_PARSE_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_PARSE_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

+ +

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

+ +

State 12

+ +

0 $accept → YY_PARSE_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_PARSE_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

+ +

2 $accept → YY_PARSE_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