123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765 |
- <?xml version="1.0" encoding="UTF-8"?>
- <!--
- xml2html.xsl - transform Bison XML Report into XHTML.
- Copyright (C) 2007-2015, 2018-2021 Free Software Foundation, Inc.
- This file is part of Bison, the GNU Compiler Compiler.
- This program is free software: you can redistribute it and/or modify
- it under the terms of the GNU General Public License as published by
- the Free Software Foundation, either version 3 of the License, or
- (at your option) any later version.
- This program is distributed in the hope that it will be useful,
- but WITHOUT ANY WARRANTY; without even the implied warranty of
- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
- GNU General Public License for more details.
- You should have received a copy of the GNU General Public License
- along with this program. If not, see <https://www.gnu.org/licenses/>.
- Written by Wojciech Polak <[email protected]>.
- -->
- <xsl:stylesheet version="1.0"
- xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
- xmlns="http://www.w3.org/1999/xhtml"
- xmlns:bison="https://www.gnu.org/software/bison/">
- <xsl:import href="bison.xsl"/>
- <xsl:output method="xml" encoding="UTF-8"
- doctype-public="-//W3C//DTD XHTML 1.0 Strict//EN"
- doctype-system="http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"
- indent="yes"/>
- <xsl:template match="/">
- <html>
- <head>
- <meta http-equiv="Content-Type" content="text/html;charset=UTF-8"/>
- <title>
- <xsl:value-of select="bison-xml-report/filename"/>
- <xsl:text> - GNU Bison XML Automaton Report</xsl:text>
- </title>
- <style type="text/css"><![CDATA[
- body {
- font-family: "Nimbus Sans L", Arial, sans-serif;
- font-size: 9pt;
- }
- a:link {
- color: #1f00ff;
- text-decoration: none;
- }
- a:visited {
- color: #1f00ff;
- text-decoration: none;
- }
- a:hover {
- color: red;
- }
- #menu a {
- text-decoration: underline;
- }
- .i {
- font-style: italic;
- }
- .pre {
- font-family: monospace;
- white-space: pre;
- }
- ol.decimal {
- list-style-type: decimal;
- }
- ol.lower-alpha {
- list-style-type: lower-alpha;
- }
- .dot {
- color: #cc0000;
- }
- #footer {
- margin-top: 3.5em;
- font-size: 7pt;
- }
- ]]></style>
- </head>
- <body>
- <xsl:apply-templates select="bison-xml-report"/>
- <xsl:text> </xsl:text>
- <div id="footer"><hr />This document was generated using
- <a href="https://www.gnu.org/software/bison/" title="GNU Bison">
- GNU Bison <xsl:value-of select="/bison-xml-report/@version"/></a>
- XML Automaton Report.<br />
- <!-- default copying notice -->
- Verbatim copying and distribution of this entire page is
- permitted in any medium, provided this notice is preserved.</div>
- </body>
- </html>
- </xsl:template>
- <xsl:template match="bison-xml-report">
- <h1>GNU Bison XML Automaton Report</h1>
- <p>
- input grammar: <span class="i"><xsl:value-of select="filename"/></span>
- </p>
- <xsl:text> </xsl:text>
- <h3>Table of Contents</h3>
- <ul id="menu">
- <li>
- <a href="#reductions">Reductions</a>
- <ul class="lower-alpha">
- <li><a href="#nonterminals_useless_in_grammar">Nonterminals useless in grammar</a></li>
- <li><a href="#terminals_unused_in_grammar">Terminals unused in grammar</a></li>
- <li><a href="#rules_useless_in_grammar">Rules useless in grammar</a></li>
- <xsl:if test="grammar/rules/rule[@usefulness='useless-in-parser']">
- <li><a href="#rules_useless_in_parser">Rules useless in parser due to conflicts</a></li>
- </xsl:if>
- </ul>
- </li>
- <li><a href="#conflicts">Conflicts</a></li>
- <li>
- <a href="#grammar">Grammar</a>
- <ul class="lower-alpha">
- <li><a href="#grammar">Itemset</a></li>
- <li><a href="#terminals">Terminal symbols</a></li>
- <li><a href="#nonterminals">Nonterminal symbols</a></li>
- </ul>
- </li>
- <li><a href="#automaton">Automaton</a></li>
- </ul>
- <xsl:apply-templates select="grammar" mode="reductions"/>
- <xsl:apply-templates select="grammar" mode="useless-in-parser"/>
- <xsl:apply-templates select="automaton" mode="conflicts"/>
- <xsl:apply-templates select="grammar"/>
- <xsl:apply-templates select="automaton"/>
- </xsl:template>
- <xsl:template match="grammar" mode="reductions">
- <h2>
- <a name="reductions"/>
- <xsl:text> Reductions</xsl:text>
- </h2>
- <xsl:apply-templates select="nonterminals" mode="useless-in-grammar"/>
- <xsl:apply-templates select="terminals" mode="unused-in-grammar"/>
- <xsl:apply-templates select="rules" mode="useless-in-grammar"/>
- </xsl:template>
- <xsl:template match="nonterminals" mode="useless-in-grammar">
- <h3>
- <a name="nonterminals_useless_in_grammar"/>
- <xsl:text> Nonterminals useless in grammar</xsl:text>
- </h3>
- <xsl:text> </xsl:text>
- <xsl:if test="nonterminal[@usefulness='useless-in-grammar']">
- <p class="pre">
- <xsl:for-each select="nonterminal[@usefulness='useless-in-grammar']">
- <xsl:text> </xsl:text>
- <xsl:value-of select="@name"/>
- <xsl:text> </xsl:text>
- </xsl:for-each>
- <xsl:text> </xsl:text>
- </p>
- </xsl:if>
- </xsl:template>
- <xsl:template match="terminals" mode="unused-in-grammar">
- <h3>
- <a name="terminals_unused_in_grammar"/>
- <xsl:text> Terminals unused in grammar</xsl:text>
- </h3>
- <xsl:text> </xsl:text>
- <xsl:if test="terminal[@usefulness='unused-in-grammar']">
- <p class="pre">
- <xsl:for-each select="terminal[@usefulness='unused-in-grammar']">
- <xsl:sort select="@symbol-number" data-type="number"/>
- <xsl:text> </xsl:text>
- <xsl:value-of select="@name"/>
- <xsl:text> </xsl:text>
- </xsl:for-each>
- <xsl:text> </xsl:text>
- </p>
- </xsl:if>
- </xsl:template>
- <xsl:template match="rules" mode="useless-in-grammar">
- <h3>
- <a name="rules_useless_in_grammar"/>
- <xsl:text> Rules useless in grammar</xsl:text>
- </h3>
- <xsl:text> </xsl:text>
- <xsl:variable name="set" select="rule[@usefulness='useless-in-grammar']"/>
- <xsl:if test="$set">
- <p class="pre">
- <xsl:call-template name="style-rule-set">
- <xsl:with-param name="rule-set" select="$set"/>
- </xsl:call-template>
- <xsl:text> </xsl:text>
- </p>
- </xsl:if>
- </xsl:template>
- <xsl:template match="grammar" mode="useless-in-parser">
- <xsl:variable
- name="set" select="rules/rule[@usefulness='useless-in-parser']"
- />
- <xsl:if test="$set">
- <h2>
- <a name="rules_useless_in_parser"/>
- <xsl:text> Rules useless in parser due to conflicts</xsl:text>
- </h2>
- <xsl:text> </xsl:text>
- <p class="pre">
- <xsl:call-template name="style-rule-set">
- <xsl:with-param name="rule-set" select="$set"/>
- </xsl:call-template>
- </p>
- <xsl:text> </xsl:text>
- </xsl:if>
- </xsl:template>
- <xsl:template match="grammar">
- <h2>
- <a name="grammar"/>
- <xsl:text> Grammar</xsl:text>
- </h2>
- <xsl:text> </xsl:text>
- <p class="pre">
- <xsl:call-template name="style-rule-set">
- <xsl:with-param name="anchor" select="'true'" />
- <xsl:with-param
- name="rule-set" select="rules/rule[@usefulness!='useless-in-grammar']"
- />
- </xsl:call-template>
- </p>
- <xsl:text> </xsl:text>
- <xsl:apply-templates select="terminals"/>
- <xsl:apply-templates select="nonterminals"/>
- </xsl:template>
- <xsl:template name="style-rule-set">
- <xsl:param name="anchor"/>
- <xsl:param name="rule-set"/>
- <xsl:for-each select="$rule-set">
- <xsl:apply-templates select=".">
- <xsl:with-param name="anchor" select="$anchor"/>
- <xsl:with-param name="pad" select="'3'"/>
- <xsl:with-param name="prev-lhs">
- <xsl:if test="position()>1">
- <xsl:variable name="position" select="position()"/>
- <xsl:value-of select="$rule-set[$position - 1]/lhs"/>
- </xsl:if>
- </xsl:with-param>
- </xsl:apply-templates>
- </xsl:for-each>
- </xsl:template>
- <xsl:template match="automaton" mode="conflicts">
- <h2>
- <a name="conflicts"/>
- <xsl:text> Conflicts</xsl:text>
- </h2>
- <xsl:text> </xsl:text>
- <xsl:variable name="conflict-report">
- <xsl:apply-templates select="state" mode="conflicts"/>
- </xsl:variable>
- <xsl:if test="string-length($conflict-report) != 0">
- <p class="pre">
- <xsl:copy-of select="$conflict-report"/>
- <xsl:text> </xsl:text>
- </p>
- </xsl:if>
- </xsl:template>
- <xsl:template match="state" mode="conflicts">
- <xsl:variable name="conflict-counts">
- <xsl:apply-templates select="." mode="bison:count-conflicts" />
- </xsl:variable>
- <xsl:variable
- name="sr-count" select="substring-before($conflict-counts, ',')"
- />
- <xsl:variable
- name="rr-count" select="substring-after($conflict-counts, ',')"
- />
- <xsl:if test="$sr-count > 0 or $rr-count > 0">
- <a>
- <xsl:attribute name="href">
- <xsl:value-of select="concat('#state_', @number)"/>
- </xsl:attribute>
- <xsl:value-of select="concat('State ', @number)"/>
- </a>
- <xsl:text> conflicts:</xsl:text>
- <xsl:if test="$sr-count > 0">
- <xsl:value-of select="concat(' ', $sr-count, ' shift/reduce')"/>
- <xsl:if test="$rr-count > 0">
- <xsl:value-of select="(',')"/>
- </xsl:if>
- </xsl:if>
- <xsl:if test="$rr-count > 0">
- <xsl:value-of select="concat(' ', $rr-count, ' reduce/reduce')"/>
- </xsl:if>
- <xsl:value-of select="' '"/>
- </xsl:if>
- </xsl:template>
- <xsl:template match="grammar/terminals">
- <h3>
- <a name="terminals"/>
- <xsl:text> Terminals, with rules where they appear</xsl:text>
- </h3>
- <xsl:text> </xsl:text>
- <ul>
- <xsl:text> </xsl:text>
- <xsl:apply-templates select="terminal"/>
- </ul>
- <xsl:text> </xsl:text>
- </xsl:template>
- <xsl:template match="grammar/nonterminals">
- <h3>
- <a name="nonterminals"/>
- <xsl:text> Nonterminals, with rules where they appear</xsl:text>
- </h3>
- <xsl:text> </xsl:text>
- <ul>
- <xsl:text> </xsl:text>
- <xsl:apply-templates
- select="nonterminal[@usefulness!='useless-in-grammar']"
- />
- </ul>
- </xsl:template>
- <xsl:template match="terminal">
- <xsl:text> </xsl:text>
- <li>
- <b><xsl:value-of select="@name"/></b>
- <xsl:if test="string-length(@type) != 0">
- <xsl:value-of select="concat(' <', @type, '>')"/>
- </xsl:if>
- <xsl:value-of select="concat(' (', @token-number, ')')"/>
- <xsl:for-each select="key('bison:ruleByRhs', @name)">
- <xsl:apply-templates select="." mode="number-link"/>
- </xsl:for-each>
- </li>
- <xsl:text> </xsl:text>
- </xsl:template>
- <xsl:template match="nonterminal">
- <xsl:text> </xsl:text>
- <li>
- <b><xsl:value-of select="@name"/></b>
- <xsl:if test="string-length(@type) != 0">
- <xsl:value-of select="concat(' <', @type, '>')"/>
- </xsl:if>
- <xsl:value-of select="concat(' (', @symbol-number, ')')"/>
- <xsl:text> </xsl:text>
- <ul>
- <xsl:text> </xsl:text>
- <xsl:if test="key('bison:ruleByLhs', @name)">
- <xsl:text> </xsl:text>
- <li>
- <xsl:text>on left:</xsl:text>
- <xsl:for-each select="key('bison:ruleByLhs', @name)">
- <xsl:apply-templates select="." mode="number-link"/>
- </xsl:for-each>
- </li>
- <xsl:text> </xsl:text>
- </xsl:if>
- <xsl:if test="key('bison:ruleByRhs', @name)">
- <xsl:text> </xsl:text>
- <li>
- <xsl:text>on right:</xsl:text>
- <xsl:for-each select="key('bison:ruleByRhs', @name)">
- <xsl:apply-templates select="." mode="number-link"/>
- </xsl:for-each>
- </li>
- <xsl:text> </xsl:text>
- </xsl:if>
- <xsl:text> </xsl:text>
- </ul>
- <xsl:text> </xsl:text>
- </li>
- <xsl:text> </xsl:text>
- </xsl:template>
- <xsl:template match="rule" mode="number-link">
- <xsl:text> </xsl:text>
- <a>
- <xsl:attribute name="href">
- <xsl:value-of select="concat('#rule_', @number)"/>
- </xsl:attribute>
- <xsl:value-of select="@number"/>
- </a>
- </xsl:template>
- <xsl:template match="automaton">
- <h2>
- <a name="automaton"/>
- <xsl:text> Automaton</xsl:text>
- </h2>
- <xsl:apply-templates select="state">
- <xsl:with-param name="pad" select="'3'"/>
- </xsl:apply-templates>
- </xsl:template>
- <xsl:template match="automaton/state">
- <xsl:param name="pad"/>
- <xsl:text> </xsl:text>
- <h3>
- <a>
- <xsl:attribute name="name">
- <xsl:value-of select="concat('state_', @number)"/>
- </xsl:attribute>
- </a>
- <xsl:text>State </xsl:text>
- <xsl:value-of select="@number"/>
- </h3>
- <xsl:text> </xsl:text>
- <p class="pre">
- <xsl:apply-templates select="itemset/item">
- <xsl:with-param name="pad" select="$pad"/>
- </xsl:apply-templates>
- <xsl:apply-templates select="actions/transitions">
- <xsl:with-param name="type" select="'shift'"/>
- </xsl:apply-templates>
- <xsl:apply-templates select="actions/errors"/>
- <xsl:apply-templates select="actions/reductions"/>
- <xsl:apply-templates select="actions/transitions">
- <xsl:with-param name="type" select="'goto'"/>
- </xsl:apply-templates>
- <xsl:apply-templates select="solved-conflicts"/>
- </p>
- </xsl:template>
- <xsl:template match="actions/transitions">
- <xsl:param name="type"/>
- <xsl:if test="transition[@type = $type]">
- <xsl:text> </xsl:text>
- <xsl:apply-templates select="transition[@type = $type]">
- <xsl:with-param name="pad">
- <xsl:call-template name="max-width-symbol">
- <xsl:with-param name="node" select="transition[@type = $type]"/>
- </xsl:call-template>
- </xsl:with-param>
- </xsl:apply-templates>
- </xsl:if>
- </xsl:template>
- <xsl:template match="actions/errors">
- <xsl:if test="error">
- <xsl:text> </xsl:text>
- <xsl:apply-templates select="error">
- <xsl:with-param name="pad">
- <xsl:call-template name="max-width-symbol">
- <xsl:with-param name="node" select="error"/>
- </xsl:call-template>
- </xsl:with-param>
- </xsl:apply-templates>
- </xsl:if>
- </xsl:template>
- <xsl:template match="actions/reductions">
- <xsl:if test="reduction">
- <xsl:text> </xsl:text>
- <xsl:apply-templates select="reduction">
- <xsl:with-param name="pad">
- <xsl:call-template name="max-width-symbol">
- <xsl:with-param name="node" select="reduction"/>
- </xsl:call-template>
- </xsl:with-param>
- </xsl:apply-templates>
- </xsl:if>
- </xsl:template>
- <xsl:template match="item">
- <xsl:param name="pad"/>
- <xsl:param name="prev-rule-number"
- select="preceding-sibling::item[1]/@rule-number"/>
- <xsl:apply-templates
- select="key('bison:ruleByNumber', current()/@rule-number)"
- >
- <xsl:with-param name="itemset" select="'true'"/>
- <xsl:with-param name="pad" select="$pad"/>
- <xsl:with-param name="prev-lhs"
- select="key('bison:ruleByNumber', $prev-rule-number)/lhs[text()]"
- />
- <xsl:with-param name="dot" select="@dot"/>
- <xsl:with-param name="lookaheads">
- <xsl:apply-templates select="lookaheads"/>
- </xsl:with-param>
- </xsl:apply-templates>
- </xsl:template>
- <!--
- anchor = 'true': define as an <a> anchor.
- itemset = 'true': show the items.
- -->
- <xsl:template match="rule">
- <xsl:param name="anchor"/>
- <xsl:param name="itemset"/>
- <xsl:param name="pad"/>
- <xsl:param name="prev-lhs"/>
- <xsl:param name="dot"/>
- <xsl:param name="lookaheads"/>
- <xsl:if test="$itemset != 'true' and not($prev-lhs = lhs[text()])">
- <xsl:text> </xsl:text>
- </xsl:if>
- <xsl:text> </xsl:text>
- <xsl:choose>
- <xsl:when test="$anchor = 'true'">
- <a>
- <xsl:attribute name="name">
- <xsl:value-of select="concat('rule_', @number)"/>
- </xsl:attribute>
- <xsl:call-template name="lpad">
- <xsl:with-param name="str" select="string(@number)"/>
- <xsl:with-param name="pad" select="number($pad)"/>
- </xsl:call-template>
- </a>
- </xsl:when>
- <xsl:otherwise>
- <a>
- <xsl:attribute name="href">
- <xsl:value-of select="concat('#rule_', @number)"/>
- </xsl:attribute>
- <xsl:call-template name="lpad">
- <xsl:with-param name="str" select="string(@number)"/>
- <xsl:with-param name="pad" select="number($pad)"/>
- </xsl:call-template>
- </a>
- </xsl:otherwise>
- </xsl:choose>
- <xsl:text> </xsl:text>
- <!-- LHS -->
- <xsl:choose>
- <xsl:when test="$prev-lhs = lhs[text()]">
- <xsl:call-template name="lpad">
- <xsl:with-param name="str" select="'|'"/>
- <xsl:with-param name="pad" select="number(string-length(lhs[text()])) + 2"/>
- </xsl:call-template>
- </xsl:when>
- <xsl:otherwise>
- <span class="i">
- <xsl:value-of select="lhs"/>
- </span>
- <xsl:text> →</xsl:text>
- </xsl:otherwise>
- </xsl:choose>
- <!-- RHS -->
- <xsl:for-each select="rhs/*">
- <xsl:if test="position() = $dot + 1">
- <xsl:text> </xsl:text>
- <span class="dot">•</span>
- </xsl:if>
- <xsl:apply-templates select="."/>
- <xsl:if test="position() = last() and position() = $dot">
- <xsl:text> </xsl:text>
- <span class="dot">•</span>
- </xsl:if>
- </xsl:for-each>
- <xsl:if test="$lookaheads">
- <xsl:value-of select="$lookaheads"/>
- </xsl:if>
- <xsl:text> </xsl:text>
- </xsl:template>
- <xsl:template match="symbol">
- <xsl:text> </xsl:text>
- <xsl:choose>
- <xsl:when test="name(key('bison:symbolByName', .)) = 'nonterminal'">
- <span class="i"><xsl:value-of select="."/></span>
- </xsl:when>
- <xsl:otherwise>
- <b><xsl:value-of select="."/></b>
- </xsl:otherwise>
- </xsl:choose>
- </xsl:template>
- <xsl:template match="empty">
- <xsl:text> %empty</xsl:text>
- </xsl:template>
- <xsl:template match="lookaheads">
- <xsl:text> [</xsl:text>
- <xsl:apply-templates select="symbol"/>
- <xsl:text>]</xsl:text>
- </xsl:template>
- <xsl:template match="lookaheads/symbol">
- <xsl:value-of select="."/>
- <xsl:if test="position() != last()">
- <xsl:text>, </xsl:text>
- </xsl:if>
- </xsl:template>
- <xsl:template match="transition">
- <xsl:param name="pad"/>
- <xsl:text> </xsl:text>
- <xsl:call-template name="rpad">
- <xsl:with-param name="str" select="string(@symbol)"/>
- <xsl:with-param name="pad" select="number($pad) + 2"/>
- </xsl:call-template>
- <xsl:choose>
- <xsl:when test="@type = 'shift'">
- <a>
- <xsl:attribute name="href">
- <xsl:value-of select="concat('#state_', @state)"/>
- </xsl:attribute>
- <xsl:value-of select="concat('shift, and go to state ', @state)"/>
- </a>
- </xsl:when>
- <xsl:when test="@type = 'goto'">
- <a>
- <xsl:attribute name="href">
- <xsl:value-of select="concat('#state_', @state)"/>
- </xsl:attribute>
- <xsl:value-of select="concat('go to state ', @state)"/>
- </a>
- </xsl:when>
- </xsl:choose>
- <xsl:text> </xsl:text>
- </xsl:template>
- <xsl:template match="error">
- <xsl:param name="pad"/>
- <xsl:text> </xsl:text>
- <xsl:call-template name="rpad">
- <xsl:with-param name="str" select="string(@symbol)"/>
- <xsl:with-param name="pad" select="number($pad) + 2"/>
- </xsl:call-template>
- <xsl:text>error</xsl:text>
- <xsl:text> (</xsl:text>
- <xsl:value-of select="text()"/>
- <xsl:text>)</xsl:text>
- <xsl:text> </xsl:text>
- </xsl:template>
- <xsl:template match="reduction">
- <xsl:param name="pad"/>
- <xsl:text> </xsl:text>
- <xsl:call-template name="rpad">
- <xsl:with-param name="str" select="string(@symbol)"/>
- <xsl:with-param name="pad" select="number($pad) + 2"/>
- </xsl:call-template>
- <xsl:if test="@enabled = 'false'">
- <xsl:text>[</xsl:text>
- </xsl:if>
- <xsl:choose>
- <xsl:when test="@rule = 'accept'">
- <xsl:text>accept</xsl:text>
- </xsl:when>
- <xsl:otherwise>
- <a>
- <xsl:attribute name="href">
- <xsl:value-of select="concat('#rule_', @rule)"/>
- </xsl:attribute>
- <xsl:value-of select="concat('reduce using rule ', @rule)"/>
- </a>
- <xsl:text> (</xsl:text>
- <xsl:value-of
- select="key('bison:ruleByNumber', current()/@rule)/lhs[text()]"
- />
- <xsl:text>)</xsl:text>
- </xsl:otherwise>
- </xsl:choose>
- <xsl:if test="@enabled = 'false'">
- <xsl:text>]</xsl:text>
- </xsl:if>
- <xsl:text> </xsl:text>
- </xsl:template>
- <xsl:template match="solved-conflicts">
- <xsl:if test="resolution">
- <xsl:text> </xsl:text>
- <xsl:apply-templates select="resolution"/>
- </xsl:if>
- </xsl:template>
- <xsl:template match="resolution">
- <xsl:text> Conflict between </xsl:text>
- <a>
- <xsl:attribute name="href">
- <xsl:value-of select="concat('#rule_', @rule)"/>
- </xsl:attribute>
- <xsl:value-of select="concat('rule ',@rule)"/>
- </a>
- <xsl:text> and token </xsl:text>
- <xsl:value-of select="@symbol"/>
- <xsl:text> resolved as </xsl:text>
- <xsl:if test="@type = 'error'">
- <xsl:text>an </xsl:text>
- </xsl:if>
- <xsl:value-of select="@type"/>
- <xsl:text> (</xsl:text>
- <xsl:value-of select="."/>
- <xsl:text>). </xsl:text>
- </xsl:template>
- <xsl:template name="max-width-symbol">
- <xsl:param name="node"/>
- <xsl:variable name="longest">
- <xsl:for-each select="$node">
- <xsl:sort data-type="number" select="string-length(@symbol)"
- order="descending"/>
- <xsl:if test="position() = 1">
- <xsl:value-of select="string-length(@symbol)"/>
- </xsl:if>
- </xsl:for-each>
- </xsl:variable>
- <xsl:value-of select="$longest"/>
- </xsl:template>
- <xsl:template name="lpad">
- <xsl:param name="str" select="''"/>
- <xsl:param name="pad" select="0"/>
- <xsl:variable name="diff" select="$pad - string-length($str)" />
- <xsl:choose>
- <xsl:when test="$diff < 0">
- <xsl:value-of select="$str"/>
- </xsl:when>
- <xsl:otherwise>
- <xsl:call-template name="space">
- <xsl:with-param name="repeat" select="$diff"/>
- </xsl:call-template>
- <xsl:value-of select="$str"/>
- </xsl:otherwise>
- </xsl:choose>
- </xsl:template>
- <xsl:template name="rpad">
- <xsl:param name="str" select="''"/>
- <xsl:param name="pad" select="0"/>
- <xsl:variable name="diff" select="$pad - string-length($str)"/>
- <xsl:choose>
- <xsl:when test="$diff < 0">
- <xsl:value-of select="$str"/>
- </xsl:when>
- <xsl:otherwise>
- <xsl:value-of select="$str"/>
- <xsl:call-template name="space">
- <xsl:with-param name="repeat" select="$diff"/>
- </xsl:call-template>
- </xsl:otherwise>
- </xsl:choose>
- </xsl:template>
- <xsl:template name="space">
- <xsl:param name="repeat">0</xsl:param>
- <xsl:param name="fill" select="' '"/>
- <xsl:if test="number($repeat) >= 1">
- <xsl:call-template name="space">
- <xsl:with-param name="repeat" select="$repeat - 1"/>
- <xsl:with-param name="fill" select="$fill"/>
- </xsl:call-template>
- <xsl:value-of select="$fill"/>
- </xsl:if>
- </xsl:template>
- </xsl:stylesheet>
|