]> git.saurik.com Git - bison.git/blame - data/xslt/xml2xhtml.xsl
xml: match DOT output and xml2dot.xsl processing
[bison.git] / data / xslt / xml2xhtml.xsl
CommitLineData
bbeff196
WP
1<?xml version="1.0" encoding="UTF-8"?>
2
3<!--
4 xml2html.xsl - transform Bison XML Report into XHTML.
bbeff196 5
c932d613 6 Copyright (C) 2007-2012 Free Software Foundation, Inc.
bbeff196
WP
7
8 This file is part of Bison, the GNU Compiler Compiler.
9
10 This program is free software: you can redistribute it and/or modify
11 it under the terms of the GNU General Public License as published by
12 the Free Software Foundation, either version 3 of the License, or
13 (at your option) any later version.
14
15 This program is distributed in the hope that it will be useful,
16 but WITHOUT ANY WARRANTY; without even the implied warranty of
17 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
18 GNU General Public License for more details.
19
20 You should have received a copy of the GNU General Public License
21 along with this program. If not, see <http://www.gnu.org/licenses/>.
22
23 Written by Wojciech Polak <polak@gnu.org>.
24 -->
25
26<xsl:stylesheet version="1.0"
27 xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
21f1b063
JD
28 xmlns="http://www.w3.org/1999/xhtml"
29 xmlns:bison="http://www.gnu.org/software/bison/">
30
31<xsl:import href="bison.xsl"/>
bbeff196
WP
32
33<xsl:output method="xml" encoding="UTF-8"
34 doctype-public="-//W3C//DTD XHTML 1.0 Strict//EN"
35 doctype-system="http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"
36 indent="yes"/>
37
38<xsl:template match="/">
39 <html>
40 <head>
3a74df7a
WP
41 <title>
42 <xsl:value-of select="bison-xml-report/filename"/>
43 <xsl:text> - GNU Bison XML Automaton Report</xsl:text>
44 </title>
bbeff196
WP
45 <style type="text/css"><![CDATA[
46 body {
47 font-family: "Nimbus Sans L", Arial, sans-serif;
48 font-size: 9pt;
49 }
50 a:link {
83b66ddd 51 color: #1f00ff;
bbeff196
WP
52 text-decoration: none;
53 }
54 a:visited {
83b66ddd 55 color: #1f00ff;
bbeff196
WP
56 text-decoration: none;
57 }
58 a:hover {
83b66ddd 59 color: red;
bbeff196
WP
60 }
61 #menu a {
62 text-decoration: underline;
63 }
64 .i {
65 font-style: italic;
66 }
67 .pre {
68 font-family: monospace;
69 white-space: pre;
70 }
71 ol.decimal {
72 list-style-type: decimal;
73 }
74 ol.lower-alpha {
75 list-style-type: lower-alpha;
76 }
77 .point {
78 color: #cc0000;
79 }
80 #footer {
81 margin-top: 3.5em;
82 font-size: 7pt;
83 }
84 ]]></style>
85 </head>
86 <body>
87 <xsl:apply-templates select="bison-xml-report"/>
88 <xsl:text>&#10;&#10;</xsl:text>
2643e36c 89 <div id="footer"><hr />This document was generated using
bbeff196
WP
90 <a href="http://www.gnu.org/software/bison/" title="GNU Bison">
91 GNU Bison <xsl:value-of select="/bison-xml-report/@version"/></a>
2643e36c
WP
92 XML Automaton Report.<br />
93 <!-- default copying notice -->
94 Verbatim copying and distribution of this entire page is
95 permitted in any medium, provided this notice is preserved.</div>
bbeff196
WP
96 </body>
97 </html>
98</xsl:template>
99
100<xsl:template match="bison-xml-report">
101 <h1>GNU Bison XML Automaton Report</h1>
102 <p>
103 input grammar: <span class="i"><xsl:value-of select="filename"/></span>
104 </p>
105
106 <xsl:text>&#10;&#10;</xsl:text>
107 <h3>Table of Contents</h3>
108 <ul id="menu">
109 <li>
110 <a href="#reductions">Reductions</a>
111 <ul class="lower-alpha">
cff03fb2 112 <li><a href="#nonterminals_useless_in_grammar">Nonterminals useless in grammar</a></li>
d80fb37a 113 <li><a href="#terminals_unused_in_grammar">Terminals unused in grammar</a></li>
cff03fb2 114 <li><a href="#rules_useless_in_grammar">Rules useless in grammar</a></li>
d80fb37a 115 <xsl:if test="grammar/rules/rule[@usefulness='useless-in-parser']">
cff03fb2
JD
116 <li><a href="#rules_useless_in_parser">Rules useless in parser due to conflicts</a></li>
117 </xsl:if>
bbeff196
WP
118 </ul>
119 </li>
120 <li><a href="#conflicts">Conflicts</a></li>
121 <li>
122 <a href="#grammar">Grammar</a>
123 <ul class="lower-alpha">
124 <li><a href="#grammar">Itemset</a></li>
125 <li><a href="#terminals">Terminal symbols</a></li>
126 <li><a href="#nonterminals">Nonterminal symbols</a></li>
127 </ul>
128 </li>
129 <li><a href="#automaton">Automaton</a></li>
130 </ul>
d80fb37a
JD
131 <xsl:apply-templates select="grammar" mode="reductions"/>
132 <xsl:apply-templates select="grammar" mode="useless-in-parser"/>
21f1b063 133 <xsl:apply-templates select="automaton" mode="conflicts"/>
bbeff196
WP
134 <xsl:apply-templates select="grammar"/>
135 <xsl:apply-templates select="automaton"/>
136</xsl:template>
137
d80fb37a 138<xsl:template match="grammar" mode="reductions">
bbeff196
WP
139 <h2>
140 <a name="reductions"/>
141 <xsl:text> Reductions</xsl:text>
142 </h2>
d80fb37a
JD
143 <xsl:apply-templates select="nonterminals" mode="useless-in-grammar"/>
144 <xsl:apply-templates select="terminals" mode="unused-in-grammar"/>
145 <xsl:apply-templates select="rules" mode="useless-in-grammar"/>
bbeff196
WP
146</xsl:template>
147
d80fb37a 148<xsl:template match="nonterminals" mode="useless-in-grammar">
bbeff196 149 <h3>
cff03fb2
JD
150 <a name="nonterminals_useless_in_grammar"/>
151 <xsl:text> Nonterminals useless in grammar</xsl:text>
bbeff196
WP
152 </h3>
153 <xsl:text>&#10;&#10;</xsl:text>
d80fb37a 154 <xsl:if test="nonterminal[@usefulness='useless-in-grammar']">
bbeff196 155 <p class="pre">
d80fb37a 156 <xsl:for-each select="nonterminal[@usefulness='useless-in-grammar']">
bbeff196 157 <xsl:text> </xsl:text>
d80fb37a 158 <xsl:value-of select="@name"/>
bbeff196
WP
159 <xsl:text>&#10;</xsl:text>
160 </xsl:for-each>
161 <xsl:text>&#10;&#10;</xsl:text>
162 </p>
163 </xsl:if>
164</xsl:template>
165
d80fb37a 166<xsl:template match="terminals" mode="unused-in-grammar">
bbeff196 167 <h3>
d80fb37a
JD
168 <a name="terminals_unused_in_grammar"/>
169 <xsl:text> Terminals unused in grammar</xsl:text>
bbeff196 170 </h3>
d80fb37a
JD
171 <xsl:text>&#10;&#10;</xsl:text>
172 <xsl:if test="terminal[@usefulness='unused-in-grammar']">
bbeff196 173 <p class="pre">
d80fb37a
JD
174 <xsl:for-each select="terminal[@usefulness='unused-in-grammar']">
175 <xsl:sort select="@symbol-number" data-type="number"/>
176 <xsl:text> </xsl:text>
177 <xsl:value-of select="@name"/>
178 <xsl:text>&#10;</xsl:text>
179 </xsl:for-each>
bbeff196
WP
180 <xsl:text>&#10;&#10;</xsl:text>
181 </p>
182 </xsl:if>
183</xsl:template>
184
d80fb37a 185<xsl:template match="rules" mode="useless-in-grammar">
bbeff196 186 <h3>
d80fb37a
JD
187 <a name="rules_useless_in_grammar"/>
188 <xsl:text> Rules useless in grammar</xsl:text>
bbeff196 189 </h3>
d80fb37a
JD
190 <xsl:text>&#10;</xsl:text>
191 <xsl:variable name="set" select="rule[@usefulness='useless-in-grammar']"/>
192 <xsl:if test="$set">
bbeff196 193 <p class="pre">
d80fb37a
JD
194 <xsl:call-template name="style-rule-set">
195 <xsl:with-param name="rule-set" select="$set"/>
196 </xsl:call-template>
bbeff196
WP
197 <xsl:text>&#10;&#10;</xsl:text>
198 </p>
199 </xsl:if>
200</xsl:template>
201
d80fb37a
JD
202<xsl:template match="grammar" mode="useless-in-parser">
203 <xsl:variable
204 name="set" select="rules/rule[@usefulness='useless-in-parser']"
205 />
206 <xsl:if test="$set">
207 <h2>
208 <a name="rules_useless_in_parser"/>
209 <xsl:text> Rules useless in parser due to conflicts</xsl:text>
210 </h2>
211 <xsl:text>&#10;</xsl:text>
212 <p class="pre">
213 <xsl:call-template name="style-rule-set">
214 <xsl:with-param name="rule-set" select="$set"/>
215 </xsl:call-template>
216 </p>
217 <xsl:text>&#10;&#10;</xsl:text>
218 </xsl:if>
219</xsl:template>
220
221<xsl:template match="grammar">
222 <h2>
223 <a name="grammar"/>
224 <xsl:text> Grammar</xsl:text>
225 </h2>
226 <xsl:text>&#10;</xsl:text>
227 <p class="pre">
228 <xsl:call-template name="style-rule-set">
229 <xsl:with-param
230 name="rule-set" select="rules/rule[@usefulness!='useless-in-grammar']"
231 />
232 </xsl:call-template>
233 </p>
234 <xsl:text>&#10;&#10;</xsl:text>
235 <xsl:apply-templates select="terminals"/>
236 <xsl:apply-templates select="nonterminals"/>
237</xsl:template>
238
239<xsl:template name="style-rule-set">
240 <xsl:param name="rule-set"/>
241 <xsl:for-each select="$rule-set">
242 <xsl:apply-templates select=".">
243 <xsl:with-param name="pad" select="'3'"/>
244 <xsl:with-param name="prev-lhs">
245 <xsl:if test="position()>1">
246 <xsl:variable name="position" select="position()"/>
247 <xsl:value-of select="$rule-set[$position - 1]/lhs"/>
248 </xsl:if>
249 </xsl:with-param>
250 </xsl:apply-templates>
251 </xsl:for-each>
252</xsl:template>
253
21f1b063 254<xsl:template match="automaton" mode="conflicts">
bbeff196
WP
255 <h2>
256 <a name="conflicts"/>
257 <xsl:text> Conflicts</xsl:text>
258 </h2>
259 <xsl:text>&#10;&#10;</xsl:text>
21f1b063
JD
260 <xsl:variable name="conflict-report">
261 <xsl:apply-templates select="state" mode="conflicts"/>
262 </xsl:variable>
263 <xsl:if test="string-length($conflict-report) != 0">
bbeff196 264 <p class="pre">
21f1b063 265 <xsl:copy-of select="$conflict-report"/>
bbeff196
WP
266 <xsl:text>&#10;&#10;</xsl:text>
267 </p>
268 </xsl:if>
269</xsl:template>
270
21f1b063
JD
271<xsl:template match="state" mode="conflicts">
272 <xsl:variable name="conflict-counts">
273 <xsl:apply-templates select="." mode="bison:count-conflicts" />
274 </xsl:variable>
275 <xsl:variable
276 name="sr-count" select="substring-before($conflict-counts, ',')"
277 />
278 <xsl:variable
279 name="rr-count" select="substring-after($conflict-counts, ',')"
280 />
281 <xsl:if test="$sr-count > 0 or $rr-count > 0">
282 <a>
283 <xsl:attribute name="href">
284 <xsl:value-of select="concat('#state_', @number)"/>
285 </xsl:attribute>
286 <xsl:value-of select="concat('State ', @number)"/>
287 </a>
288 <xsl:text> conflicts:</xsl:text>
289 <xsl:if test="$sr-count > 0">
290 <xsl:value-of select="concat(' ', $sr-count, ' shift/reduce')"/>
291 <xsl:if test="$rr-count > 0">
292 <xsl:value-of select="(',')"/>
293 </xsl:if>
294 </xsl:if>
295 <xsl:if test="$rr-count > 0">
296 <xsl:value-of select="concat(' ', $rr-count, ' reduce/reduce')"/>
297 </xsl:if>
298 <xsl:value-of select="'&#10;'"/>
299 </xsl:if>
bbeff196
WP
300</xsl:template>
301
bbeff196
WP
302<xsl:template match="grammar/terminals">
303 <h3>
304 <a name="terminals"/>
305 <xsl:text> Terminals, with rules where they appear</xsl:text>
306 </h3>
307 <xsl:text>&#10;&#10;</xsl:text>
308 <p class="pre">
309 <xsl:apply-templates select="terminal"/>
310 </p>
311 <xsl:text>&#10;&#10;</xsl:text>
312</xsl:template>
313
314<xsl:template match="grammar/nonterminals">
315 <h3>
316 <a name="nonterminals"/>
317 <xsl:text> Nonterminals, with rules where they appear</xsl:text>
318 </h3>
319 <xsl:text>&#10;&#10;</xsl:text>
320 <p class="pre">
d80fb37a
JD
321 <xsl:apply-templates
322 select="nonterminal[@usefulness!='useless-in-grammar']"
323 />
bbeff196
WP
324 </p>
325</xsl:template>
326
327<xsl:template match="terminal">
36c48187 328 <b><xsl:value-of select="@name"/></b>
32f19b6b 329 <xsl:value-of select="concat(' (', @token-number, ')')"/>
d4a26c48
JD
330 <xsl:for-each select="key('bison:ruleByRhs', @name)">
331 <xsl:apply-templates select="." mode="number-link"/>
332 </xsl:for-each>
bbeff196
WP
333 <xsl:text>&#10;</xsl:text>
334</xsl:template>
335
bbeff196 336<xsl:template match="nonterminal">
36c48187 337 <b><xsl:value-of select="@name"/></b>
32f19b6b 338 <xsl:value-of select="concat(' (', @symbol-number, ')')"/>
bbeff196 339 <xsl:text>&#10; </xsl:text>
d4a26c48 340 <xsl:if test="key('bison:ruleByLhs', @name)">
bbeff196 341 <xsl:text>on left:</xsl:text>
d4a26c48
JD
342 <xsl:for-each select="key('bison:ruleByLhs', @name)">
343 <xsl:apply-templates select="." mode="number-link"/>
344 </xsl:for-each>
bbeff196 345 </xsl:if>
d4a26c48
JD
346 <xsl:if test="key('bison:ruleByRhs', @name)">
347 <xsl:if test="key('bison:ruleByLhs', @name)">
348 <xsl:text>&#10; </xsl:text>
349 </xsl:if>
bbeff196 350 <xsl:text>on right:</xsl:text>
d4a26c48
JD
351 <xsl:for-each select="key('bison:ruleByRhs', @name)">
352 <xsl:apply-templates select="." mode="number-link"/>
353 </xsl:for-each>
bbeff196 354 </xsl:if>
bbeff196
WP
355 <xsl:text>&#10;</xsl:text>
356</xsl:template>
357
d4a26c48 358<xsl:template match="rule" mode="number-link">
bbeff196
WP
359 <xsl:text> </xsl:text>
360 <a>
361 <xsl:attribute name="href">
d4a26c48 362 <xsl:value-of select="concat('#rule_', @number)"/>
bbeff196 363 </xsl:attribute>
d4a26c48 364 <xsl:value-of select="@number"/>
bbeff196
WP
365 </a>
366</xsl:template>
367
368<xsl:template match="automaton">
369 <h2>
370 <a name="automaton"/>
371 <xsl:text> Automaton</xsl:text>
372 </h2>
373 <xsl:apply-templates select="state">
374 <xsl:with-param name="pad" select="'3'"/>
375 </xsl:apply-templates>
376</xsl:template>
377
378<xsl:template match="automaton/state">
379 <xsl:param name="pad"/>
380 <xsl:text>&#10;&#10;</xsl:text>
381 <h3>
382 <a>
383 <xsl:attribute name="name">
384 <xsl:value-of select="concat('state_', @number)"/>
385 </xsl:attribute>
386 </a>
387 <xsl:text>state </xsl:text>
388 <xsl:value-of select="@number"/>
389 </h3>
390 <xsl:text>&#10;&#10;</xsl:text>
391 <p class="pre">
95134bc1 392 <xsl:apply-templates select="itemset/item">
bbeff196
WP
393 <xsl:with-param name="pad" select="$pad"/>
394 </xsl:apply-templates>
395 <xsl:apply-templates select="actions/transitions">
396 <xsl:with-param name="type" select="'shift'"/>
397 </xsl:apply-templates>
398 <xsl:apply-templates select="actions/errors"/>
399 <xsl:apply-templates select="actions/reductions"/>
400 <xsl:apply-templates select="actions/transitions">
401 <xsl:with-param name="type" select="'goto'"/>
402 </xsl:apply-templates>
403 <xsl:apply-templates select="solved-conflicts"/>
404 </p>
405</xsl:template>
406
407<xsl:template match="actions/transitions">
408 <xsl:param name="type"/>
409 <xsl:if test="transition[@type = $type]">
410 <xsl:text>&#10;</xsl:text>
411 <xsl:apply-templates select="transition[@type = $type]">
412 <xsl:with-param name="pad">
413 <xsl:call-template name="max-width-symbol">
414 <xsl:with-param name="node" select="transition[@type = $type]"/>
415 </xsl:call-template>
416 </xsl:with-param>
417 </xsl:apply-templates>
418 </xsl:if>
419</xsl:template>
420
421<xsl:template match="actions/errors">
422 <xsl:if test="error">
423 <xsl:text>&#10;</xsl:text>
424 <xsl:apply-templates select="error">
425 <xsl:with-param name="pad">
426 <xsl:call-template name="max-width-symbol">
427 <xsl:with-param name="node" select="error"/>
428 </xsl:call-template>
429 </xsl:with-param>
430 </xsl:apply-templates>
431 </xsl:if>
432</xsl:template>
433
434<xsl:template match="actions/reductions">
435 <xsl:if test="reduction">
436 <xsl:text>&#10;</xsl:text>
437 <xsl:apply-templates select="reduction">
438 <xsl:with-param name="pad">
439 <xsl:call-template name="max-width-symbol">
440 <xsl:with-param name="node" select="reduction"/>
441 </xsl:call-template>
442 </xsl:with-param>
443 </xsl:apply-templates>
444 </xsl:if>
445</xsl:template>
446
95134bc1
WP
447<xsl:template match="item">
448 <xsl:param name="pad"/>
449 <xsl:param name="prev-rule-number"
450 select="preceding-sibling::item[1]/@rule-number"/>
d4a26c48
JD
451 <xsl:apply-templates
452 select="key('bison:ruleByNumber', current()/@rule-number)"
453 >
95134bc1
WP
454 <xsl:with-param name="itemset" select="'true'"/>
455 <xsl:with-param name="pad" select="$pad"/>
456 <xsl:with-param name="prev-lhs"
d4a26c48
JD
457 select="key('bison:ruleByNumber', $prev-rule-number)/lhs[text()]"
458 />
95134bc1
WP
459 <xsl:with-param name="point" select="@point"/>
460 <xsl:with-param name="lookaheads">
461 <xsl:apply-templates select="lookaheads"/>
462 </xsl:with-param>
463 </xsl:apply-templates>
464</xsl:template>
465
bbeff196 466<xsl:template match="rule">
95134bc1 467 <xsl:param name="itemset"/>
bbeff196 468 <xsl:param name="pad"/>
95134bc1
WP
469 <xsl:param name="prev-lhs"/>
470 <xsl:param name="point"/>
471 <xsl:param name="lookaheads"/>
472
d80fb37a 473 <xsl:if test="$itemset != 'true' and not($prev-lhs = lhs[text()])">
bbeff196
WP
474 <xsl:text>&#10;</xsl:text>
475 </xsl:if>
95134bc1
WP
476
477 <xsl:if test="$itemset != 'true'">
bbeff196
WP
478 <a>
479 <xsl:attribute name="name">
480 <xsl:value-of select="concat('rule_', @number)"/>
481 </xsl:attribute>
482 </a>
483 </xsl:if>
484 <xsl:text> </xsl:text>
95134bc1 485
bbeff196 486 <xsl:choose>
95134bc1 487 <xsl:when test="$itemset = 'true'">
bbeff196
WP
488 <a>
489 <xsl:attribute name="href">
490 <xsl:value-of select="concat('#rule_', @number)"/>
491 </xsl:attribute>
492 <xsl:call-template name="lpad">
493 <xsl:with-param name="str" select="string(@number)"/>
494 <xsl:with-param name="pad" select="number($pad)"/>
495 </xsl:call-template>
496 </a>
497 </xsl:when>
498 <xsl:otherwise>
499 <xsl:call-template name="lpad">
500 <xsl:with-param name="str" select="string(@number)"/>
501 <xsl:with-param name="pad" select="number($pad)"/>
502 </xsl:call-template>
503 </xsl:otherwise>
504 </xsl:choose>
505 <xsl:text> </xsl:text>
95134bc1
WP
506
507 <!-- LHS -->
bbeff196 508 <xsl:choose>
d80fb37a 509 <xsl:when test="$itemset != 'true' and $prev-lhs = lhs[text()]">
95134bc1
WP
510 <xsl:call-template name="lpad">
511 <xsl:with-param name="str" select="'|'"/>
512 <xsl:with-param name="pad" select="number(string-length(lhs[text()])) + 2"/>
513 </xsl:call-template>
514 </xsl:when>
515 <xsl:when test="$itemset = 'true' and $prev-lhs = lhs[text()]">
bbeff196
WP
516 <xsl:call-template name="lpad">
517 <xsl:with-param name="str" select="'|'"/>
518 <xsl:with-param name="pad" select="number(string-length(lhs[text()])) + 2"/>
519 </xsl:call-template>
520 </xsl:when>
521 <xsl:otherwise>
522 <span class="i">
523 <xsl:value-of select="lhs"/>
524 </span>
525 <xsl:text> &#8594;</xsl:text>
526 </xsl:otherwise>
527 </xsl:choose>
95134bc1
WP
528
529 <!-- RHS -->
530 <xsl:for-each select="rhs/*">
531 <xsl:if test="position() = $point + 1">
532 <xsl:text> </xsl:text>
533 <span class="point">.</span>
534 </xsl:if>
535 <xsl:if test="$itemset = 'true' and name(.) != 'empty'">
536 <xsl:apply-templates select="."/>
537 </xsl:if>
538 <xsl:if test="$itemset != 'true'">
539 <xsl:apply-templates select="."/>
540 </xsl:if>
541 <xsl:if test="position() = last() and position() = $point">
542 <xsl:text> </xsl:text>
543 <span class="point">.</span>
544 </xsl:if>
545 </xsl:for-each>
546 <xsl:if test="$lookaheads">
547 <xsl:value-of select="$lookaheads"/>
548 </xsl:if>
549
bbeff196
WP
550 <xsl:text>&#10;</xsl:text>
551</xsl:template>
552
553<xsl:template match="symbol">
554 <xsl:text> </xsl:text>
555 <xsl:choose>
408476bc 556 <xsl:when test="name(key('bison:symbolByName', .)) = 'nonterminal'">
bbeff196
WP
557 <span class="i"><xsl:value-of select="."/></span>
558 </xsl:when>
559 <xsl:otherwise>
560 <b><xsl:value-of select="."/></b>
561 </xsl:otherwise>
562 </xsl:choose>
563</xsl:template>
564
bbeff196
WP
565<xsl:template match="empty">
566 <xsl:text> &#949;</xsl:text>
567</xsl:template>
568
569<xsl:template match="lookaheads">
570 <xsl:text> [</xsl:text>
571 <xsl:apply-templates select="symbol"/>
572 <xsl:text>]</xsl:text>
573</xsl:template>
574
575<xsl:template match="lookaheads/symbol">
576 <xsl:value-of select="."/>
577 <xsl:if test="position() != last()">
578 <xsl:text>, </xsl:text>
579 </xsl:if>
580</xsl:template>
581
582<xsl:template match="transition">
583 <xsl:param name="pad"/>
584 <xsl:text> </xsl:text>
585 <xsl:call-template name="rpad">
586 <xsl:with-param name="str" select="string(@symbol)"/>
587 <xsl:with-param name="pad" select="number($pad) + 2"/>
588 </xsl:call-template>
589 <xsl:choose>
590 <xsl:when test="@type = 'shift'">
591 <a>
592 <xsl:attribute name="href">
593 <xsl:value-of select="concat('#state_', @state)"/>
594 </xsl:attribute>
595 <xsl:value-of select="concat('shift, and go to state ', @state)"/>
596 </a>
597 </xsl:when>
598 <xsl:when test="@type = 'goto'">
599 <a>
600 <xsl:attribute name="href">
601 <xsl:value-of select="concat('#state_', @state)"/>
602 </xsl:attribute>
603 <xsl:value-of select="concat('go to state ', @state)"/>
604 </a>
605 </xsl:when>
606 </xsl:choose>
607 <xsl:text>&#10;</xsl:text>
608</xsl:template>
609
610<xsl:template match="error">
611 <xsl:param name="pad"/>
612 <xsl:text> </xsl:text>
613 <xsl:call-template name="rpad">
614 <xsl:with-param name="str" select="string(@symbol)"/>
615 <xsl:with-param name="pad" select="number($pad) + 2"/>
616 </xsl:call-template>
617 <xsl:text>error</xsl:text>
618 <xsl:text> (</xsl:text>
619 <xsl:value-of select="text()"/>
620 <xsl:text>)</xsl:text>
621 <xsl:text>&#10;</xsl:text>
622</xsl:template>
623
624<xsl:template match="reduction">
625 <xsl:param name="pad"/>
626 <xsl:text> </xsl:text>
627 <xsl:call-template name="rpad">
628 <xsl:with-param name="str" select="string(@symbol)"/>
629 <xsl:with-param name="pad" select="number($pad) + 2"/>
630 </xsl:call-template>
631 <xsl:if test="@enabled = 'false'">
632 <xsl:text>[</xsl:text>
633 </xsl:if>
634 <xsl:choose>
635 <xsl:when test="@rule = 'accept'">
636 <xsl:text>accept</xsl:text>
637 </xsl:when>
638 <xsl:otherwise>
639 <a>
640 <xsl:attribute name="href">
641 <xsl:value-of select="concat('#rule_', @rule)"/>
642 </xsl:attribute>
643 <xsl:value-of select="concat('reduce using rule ', @rule)"/>
644 </a>
645 <xsl:text> (</xsl:text>
646 <xsl:value-of
d4a26c48
JD
647 select="key('bison:ruleByNumber', current()/@rule)/lhs[text()]"
648 />
bbeff196
WP
649 <xsl:text>)</xsl:text>
650 </xsl:otherwise>
651 </xsl:choose>
652 <xsl:if test="@enabled = 'false'">
653 <xsl:text>]</xsl:text>
654 </xsl:if>
655 <xsl:text>&#10;</xsl:text>
656</xsl:template>
657
658<xsl:template match="solved-conflicts">
659 <xsl:if test="resolution">
660 <xsl:text>&#10;</xsl:text>
661 <xsl:apply-templates select="resolution"/>
662 </xsl:if>
663</xsl:template>
664
665<xsl:template match="resolution">
666 <xsl:text> Conflict between </xsl:text>
667 <a>
668 <xsl:attribute name="href">
669 <xsl:value-of select="concat('#rule_', @rule)"/>
670 </xsl:attribute>
671 <xsl:value-of select="concat('rule ',@rule)"/>
672 </a>
673 <xsl:text> and token </xsl:text>
674 <xsl:value-of select="@symbol"/>
675 <xsl:text> resolved as </xsl:text>
676 <xsl:if test="@type = 'error'">
677 <xsl:text>an </xsl:text>
678 </xsl:if>
679 <xsl:value-of select="@type"/>
680 <xsl:text> (</xsl:text>
681 <xsl:value-of select="."/>
682 <xsl:text>).&#10;</xsl:text>
683</xsl:template>
684
685<xsl:template name="max-width-symbol">
686 <xsl:param name="node"/>
687 <xsl:variable name="longest">
688 <xsl:for-each select="$node">
689 <xsl:sort data-type="number" select="string-length(@symbol)"
690 order="descending"/>
691 <xsl:if test="position() = 1">
692 <xsl:value-of select="string-length(@symbol)"/>
693 </xsl:if>
694 </xsl:for-each>
695 </xsl:variable>
696 <xsl:value-of select="$longest"/>
697</xsl:template>
698
699<xsl:template name="lpad">
700 <xsl:param name="str" select="''"/>
701 <xsl:param name="pad" select="0"/>
702 <xsl:variable name="diff" select="$pad - string-length($str)" />
703 <xsl:choose>
704 <xsl:when test="$diff &lt; 0">
705 <xsl:value-of select="$str"/>
706 </xsl:when>
707 <xsl:otherwise>
708 <xsl:call-template name="space">
709 <xsl:with-param name="repeat" select="$diff"/>
710 </xsl:call-template>
711 <xsl:value-of select="$str"/>
712 </xsl:otherwise>
713 </xsl:choose>
714</xsl:template>
715
716<xsl:template name="rpad">
717 <xsl:param name="str" select="''"/>
718 <xsl:param name="pad" select="0"/>
719 <xsl:variable name="diff" select="$pad - string-length($str)"/>
720 <xsl:choose>
721 <xsl:when test="$diff &lt; 0">
722 <xsl:value-of select="$str"/>
723 </xsl:when>
724 <xsl:otherwise>
725 <xsl:value-of select="$str"/>
726 <xsl:call-template name="space">
727 <xsl:with-param name="repeat" select="$diff"/>
728 </xsl:call-template>
729 </xsl:otherwise>
730 </xsl:choose>
731</xsl:template>
732
733<xsl:template name="space">
734 <xsl:param name="repeat">0</xsl:param>
735 <xsl:param name="fill" select="' '"/>
736 <xsl:if test="number($repeat) &gt;= 1">
737 <xsl:call-template name="space">
738 <xsl:with-param name="repeat" select="$repeat - 1"/>
739 <xsl:with-param name="fill" select="$fill"/>
740 </xsl:call-template>
741 <xsl:value-of select="$fill"/>
742 </xsl:if>
743</xsl:template>
744
745</xsl:stylesheet>