From: Joel E. Denny <jdenny@ces.clemson.edu>
Date: Sun, 28 Oct 2007 00:24:22 +0000 (+0000)
Subject: For the XML output's terminal element, rename @number to @token-number,
X-Git-Tag: v2.3b~72
X-Git-Url: https://git.saurik.com/bison.git/commitdiff_plain/32f19b6b47b41c46fdeb66b26cc67b609f8ae48c?hp=32f19b6b47b41c46fdeb66b26cc67b609f8ae48c

For the XML output's terminal element, rename @number to @token-number,
and add @symbol-number.  In the nonterminal element, rename @number to
@symbol-number.  Discussed starting at
<http://lists.gnu.org/archive/html/bison-patches/2007-10/msg00040.html>.
* data/xslt/xml2text.xsl (xsl:template match="terminal"): Update for
renames.
(xsl:template match="nonterminal"): Likewise.
* data/xslt/xml2xhtml.xsl (xsl:template match="terminal"): Likewise.
(xsl:template match="nonterminal"): Likewise.
* src/print-xml.c (print_grammar): Implement.
---