From 38a169bec159ef94dc7330e4a4834ebcbc4d25ca Mon Sep 17 00:00:00 2001 From: Akim Demaille Date: Sat, 11 Jul 2020 12:34:47 +0200 Subject: [PATCH] html: capitalize titles * data/xslt/xml2xhtml.xsl: Use "State 0", not "state 0". As we do in text reports. --- data/xslt/xml2xhtml.xsl | 2 +- tests/report.at | 58 ++++++++++++++++++++--------------------- 2 files changed, 30 insertions(+), 30 deletions(-) diff --git a/data/xslt/xml2xhtml.xsl b/data/xslt/xml2xhtml.xsl index 706ff997..5fcfda67 100644 --- a/data/xslt/xml2xhtml.xsl +++ b/data/xslt/xml2xhtml.xsl @@ -412,7 +412,7 @@ - state + State diff --git a/tests/report.at b/tests/report.at index 7c3a1690..678227c0 100644 --- a/tests/report.at +++ b/tests/report.at @@ -1291,7 +1291,7 @@ if test x"$XSLTPROC" != x""; then

Automaton

-

state 0

+

State 0

0 $accept unit "end of file" 1 unit assignments exp @@ -1304,14 +1304,14 @@ if test x"$XSLTPROC" != x""; then assignments go to state 2

-

state 1

+

State 1

0 $acceptunit "end of file" "end of file" shift, and go to state 3

-

state 2

+

State 2

1 unitassignments exp 3 assignmentsassignments assignment @@ -1332,14 +1332,14 @@ if test x"$XSLTPROC" != x""; then exp go to state 10

-

state 3

+

State 3

0 $acceptunit "end of file" $default accept

-

state 4

+

State 4

8 exp "incr" exp @1 @2 exp 8 | "incr" exp @1 @2 exp @@ -1355,7 +1355,7 @@ if test x"$XSLTPROC" != x""; then exp go to state 12

-

state 5

+

State 5

5 id"identifier" [":="] 10 exp"identifier" ["end of file"] @@ -1364,14 +1364,14 @@ if test x"$XSLTPROC" != x""; then $default reduce using rule 5 (id)

-

state 6

+

State 6

11 exp"number" $default reduce using rule 11 (exp)

-

state 7

+

State 7

8 exp "incr" exp @1 @2 exp 9 | "(" exp ")" @@ -1387,35 +1387,35 @@ if test x"$XSLTPROC" != x""; then exp go to state 13

-

state 8

+

State 8

3 assignmentsassignments assignment $default reduce using rule 3 (assignments)

-

state 9

+

State 9

4 assignmentid ":=" exp ":=" shift, and go to state 14

-

state 10

+

State 10

1 unitassignments exp $default reduce using rule 1 (unit)

-

state 11

+

State 11

10 exp"identifier" $default reduce using rule 10 (exp)

-

state 12

+

State 12

6 @1 %empty 8 exp"incr" exp @1 @2 exp @@ -1425,14 +1425,14 @@ if test x"$XSLTPROC" != x""; then @1 go to state 15

-

state 13

+

State 13

9 exp"(" exp ")" ")" shift, and go to state 16

-

state 14

+

State 14

4 assignmentid ":=" exp 8 exp "incr" exp @1 @2 exp @@ -1448,7 +1448,7 @@ if test x"$XSLTPROC" != x""; then exp go to state 17

-

state 15

+

State 15

7 @2 %empty 8 exp"incr" exp @1 @2 exp @@ -1458,21 +1458,21 @@ if test x"$XSLTPROC" != x""; then @2 go to state 18

-

state 16

+

State 16

9 exp"(" exp ")" $default reduce using rule 9 (exp)

-

state 17

+

State 17

4 assignmentid ":=" exp $default reduce using rule 4 (assignment)

-

state 18

+

State 18

8 exp "incr" exp @1 @2 exp 8 | "incr" exp @1 @2 exp @@ -1488,7 +1488,7 @@ if test x"$XSLTPROC" != x""; then exp go to state 19

-

state 19

+

State 19

8 exp"incr" exp @1 @2 exp @@ -2205,7 +2205,7 @@ if test x"$XSLTPROC" != x""; then

Automaton

-

state 0

+

State 0

0 $accept exp $end 1 exp exp "⊕" exp @@ -2220,21 +2220,21 @@ if test x"$XSLTPROC" != x""; then exp go to state 3

-

state 1

+

State 1

4 exp"number" $default reduce using rule 4 (exp)

-

state 2

+

State 2

5 exp"Ñùṃéℝô" $default reduce using rule 5 (exp)

-

state 3

+

State 3

0 $acceptexp $end 1 expexp "⊕" exp @@ -2246,14 +2246,14 @@ if test x"$XSLTPROC" != x""; then "⊕" shift, and go to state 6

-

state 4

+

State 4

0 $acceptexp $end $default accept

-

state 5

+

State 5

1 exp exp "⊕" exp 2 | exp "+" exp @@ -2269,7 +2269,7 @@ if test x"$XSLTPROC" != x""; then exp go to state 7

-

state 6

+

State 6

1 exp exp "⊕" exp 1 | exp "⊕" exp @@ -2284,7 +2284,7 @@ if test x"$XSLTPROC" != x""; then exp go to state 8

-

state 7

+

State 7

1 expexp "⊕" exp 2 | exp "+" exp @@ -2305,7 +2305,7 @@ if test x"$XSLTPROC" != x""; then Conflict between rule 2 and token "+" resolved as reduce (%left "+").

-

state 8

+

State 8

1 expexp "⊕" exp 1 | exp "⊕" exp [$end, "+", "⊕"]