<?xml version="1.0" encoding="UTF-8"?> | |
<!-- | |
xml2dot.xsl - transform Bison XML Report into DOT. | |
Copyright (C) 2007-2012 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 <http://www.gnu.org/licenses/>. | |
Written by Wojciech Polak <polak@gnu.org>. | |
--> | |
<xsl:stylesheet version="1.0" | |
xmlns:xsl="http://www.w3.org/1999/XSL/Transform" | |
xmlns:bison="http://www.gnu.org/software/bison/"> | |
<xsl:import href="bison.xsl"/> | |
<xsl:output method="text" encoding="UTF-8" indent="no"/> | |
<xsl:template match="/"> | |
<xsl:apply-templates select="bison-xml-report"/> | |
</xsl:template> | |
<xsl:template match="bison-xml-report"> | |
<xsl:text>// Generated by GNU Bison </xsl:text> | |
<xsl:value-of select="@version"/> | |
<xsl:text>. </xsl:text> | |
<xsl:text>// Report bugs to <</xsl:text> | |
<xsl:value-of select="@bug-report"/> | |
<xsl:text>>. </xsl:text> | |
<xsl:text>// Home page: <</xsl:text> | |
<xsl:value-of select="@url"/> | |
<xsl:text>>. </xsl:text> | |
<xsl:apply-templates select="automaton"> | |
<xsl:with-param name="filename" select="filename"/> | |
</xsl:apply-templates> | |
</xsl:template> | |
<xsl:template match="automaton"> | |
<xsl:param name="filename"/> | |
<xsl:text>digraph "</xsl:text> | |
<xsl:call-template name="escape"> | |
<xsl:with-param name="subject" select="$filename"/> | |
</xsl:call-template> | |
<xsl:text>" { | |
node [fontname = courier, shape = box, colorscheme = paired6] | |
edge [fontname = courier] | |
</xsl:text> | |
<xsl:apply-templates select="state"/> | |
<xsl:text>} </xsl:text> | |
</xsl:template> | |
<xsl:template match="automaton/state"> | |
<xsl:call-template name="output-node"> | |
<xsl:with-param name="number" select="@number"/> | |
<xsl:with-param name="label"> | |
<xsl:apply-templates select="itemset/item"/> | |
</xsl:with-param> | |
</xsl:call-template> | |
<xsl:apply-templates select="actions/transitions"/> | |
<xsl:apply-templates select="actions/reductions"> | |
<xsl:with-param name="staten"> | |
<xsl:value-of select="@number"/> | |
</xsl:with-param> | |
</xsl:apply-templates> | |
</xsl:template> | |
<xsl:template match="actions/reductions"> | |
<xsl:param name="staten"/> | |
<xsl:for-each select='reduction'> | |
<!-- These variables are needed because the current context can't be | |
refered to directly in XPath expressions. --> | |
<xsl:variable name="rul"> | |
<xsl:value-of select="@rule"/> | |
</xsl:variable> | |
<xsl:variable name="ena"> | |
<xsl:value-of select="@enabled"/> | |
</xsl:variable> | |
<!-- The foreach's body is protected by this, so that we are actually | |
going to iterate once per reduction rule, and not per lookahead. --> | |
<xsl:if test='not(preceding-sibling::*[@rule=$rul and @enabled=$ena])'> | |
<xsl:variable name="rule"> | |
<xsl:choose> | |
<!-- The acceptation state is refered to as 'accept' in the XML, but | |
just as '0' in the DOT. --> | |
<xsl:when test="@rule='accept'"> | |
<xsl:text>0</xsl:text> | |
</xsl:when> | |
<xsl:otherwise> | |
<xsl:value-of select="@rule"/> | |
</xsl:otherwise> | |
</xsl:choose> | |
</xsl:variable> | |
<!-- The edge's beginning --> | |
<xsl:call-template name="reduction-edge-start"> | |
<xsl:with-param name="state" select="$staten"/> | |
<xsl:with-param name="rule" select="$rule"/> | |
<xsl:with-param name="enabled" select="@enabled"/> | |
</xsl:call-template> | |
<!-- The edge's tokens --> | |
<!-- Don't show labels for the default action. In other cases, there will | |
always be at least one token, so 'label="[]"' will not occur. --> | |
<xsl:if test='$rule!=0 and not(../reduction[@enabled=$ena and @rule=$rule and @symbol="$default"])'> | |
<xsl:text>label="[</xsl:text> | |
<xsl:for-each select='../reduction[@enabled=$ena and @rule=$rule]'> | |
<xsl:call-template name="escape"> | |
<xsl:with-param name="subject" select="@symbol"/> | |
</xsl:call-template> | |
<xsl:if test="position() != last ()"> | |
<xsl:text>, </xsl:text> | |
</xsl:if> | |
</xsl:for-each> | |
<xsl:text>]", </xsl:text> | |
</xsl:if> | |
<!-- The edge's end --> | |
<xsl:text>style=solid] </xsl:text> | |
<!-- The diamond representing the reduction --> | |
<xsl:call-template name="reduction-node"> | |
<xsl:with-param name="state" select="$staten"/> | |
<xsl:with-param name="rule" select="$rule"/> | |
<xsl:with-param name="color"> | |
<xsl:choose> | |
<xsl:when test='@enabled="true"'> | |
<xsl:text>3</xsl:text> | |
</xsl:when> | |
<xsl:otherwise> | |
<xsl:text>5</xsl:text> | |
</xsl:otherwise> | |
</xsl:choose> | |
</xsl:with-param> | |
</xsl:call-template> | |
</xsl:if> | |
</xsl:for-each> | |
</xsl:template> | |
<xsl:template match="actions/transitions"> | |
<xsl:apply-templates select="transition"/> | |
</xsl:template> | |
<xsl:template match="item"> | |
<xsl:param name="prev-rule-number" | |
select="preceding-sibling::item[1]/@rule-number"/> | |
<xsl:apply-templates select="key('bison:ruleByNumber', @rule-number)"> | |
<xsl:with-param name="point" select="@point"/> | |
<xsl:with-param name="num" select="@rule-number"/> | |
<xsl:with-param name="prev-lhs" | |
select="key('bison:ruleByNumber', $prev-rule-number)/lhs[text()]" | |
/> | |
</xsl:apply-templates> | |
<xsl:apply-templates select="lookaheads"/> | |
</xsl:template> | |
<xsl:template match="rule"> | |
<xsl:param name="point"/> | |
<xsl:param name="num"/> | |
<xsl:param name="prev-lhs"/> | |
<xsl:text> </xsl:text> | |
<xsl:choose> | |
<xsl:when test="$num < 10"> | |
<xsl:text> </xsl:text> | |
</xsl:when> | |
<xsl:when test="$num < 100"> | |
<xsl:text> </xsl:text> | |
</xsl:when> | |
<xsl:otherwise> | |
<xsl:text></xsl:text> | |
</xsl:otherwise> | |
</xsl:choose> | |
<xsl:value-of select="$num"/> | |
<xsl:text> </xsl:text> | |
<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()])) + 1"/> | |
</xsl:call-template> | |
</xsl:when> | |
<xsl:otherwise> | |
<xsl:value-of select="lhs"/> | |
<xsl:text>:</xsl:text> | |
</xsl:otherwise> | |
</xsl:choose> | |
<xsl:if test="$point = 0"> | |
<xsl:text> .</xsl:text> | |
</xsl:if> | |
<xsl:for-each select="rhs/symbol|rhs/empty"> | |
<xsl:apply-templates select="."/> | |
<xsl:if test="$point = position()"> | |
<xsl:text> .</xsl:text> | |
</xsl:if> | |
</xsl:for-each> | |
</xsl:template> | |
<xsl:template match="symbol"> | |
<xsl:text> </xsl:text> | |
<xsl:value-of select="."/> | |
</xsl:template> | |
<xsl:template match="empty"/> | |
<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 name="reduction-edge-start"> | |
<xsl:param name="state"/> | |
<xsl:param name="rule"/> | |
<xsl:param name="enabled"/> | |
<xsl:text> </xsl:text> | |
<xsl:value-of select="$state"/> | |
<xsl:text> -> "</xsl:text> | |
<xsl:value-of select="$state"/> | |
<xsl:text>R</xsl:text> | |
<xsl:value-of select="$rule"/> | |
<xsl:if test='$enabled = "false"'> | |
<xsl:text>d</xsl:text> | |
</xsl:if> | |
<xsl:text>" [</xsl:text> | |
</xsl:template> | |
<xsl:template name="reduction-node"> | |
<xsl:param name="state"/> | |
<xsl:param name="rule"/> | |
<xsl:param name="color"/> | |
<xsl:text> "</xsl:text> | |
<xsl:value-of select="$state"/> | |
<xsl:text>R</xsl:text> | |
<xsl:value-of select="$rule"/> | |
<xsl:if test="$color = 5"> | |
<xsl:text>d</xsl:text> | |
</xsl:if> | |
<xsl:text>" [label="</xsl:text> | |
<xsl:choose> | |
<xsl:when test="$rule = 0"> | |
<xsl:text>Acc", fillcolor=1</xsl:text> | |
</xsl:when> | |
<xsl:otherwise> | |
<xsl:text>R</xsl:text> | |
<xsl:value-of select="$rule"/> | |
<xsl:text>", fillcolor=</xsl:text> | |
<xsl:value-of select="$color"/> | |
</xsl:otherwise> | |
</xsl:choose> | |
<xsl:text>, shape=diamond, style=filled] </xsl:text> | |
</xsl:template> | |
<xsl:template match="transition"> | |
<xsl:call-template name="output-edge"> | |
<xsl:with-param name="src" select="../../../@number"/> | |
<xsl:with-param name="dst" select="@state"/> | |
<xsl:with-param name="style"> | |
<xsl:choose> | |
<xsl:when test="@symbol = 'error'"> | |
<xsl:text>dotted</xsl:text> | |
</xsl:when> | |
<xsl:when test="@type = 'shift'"> | |
<xsl:text>solid</xsl:text> | |
</xsl:when> | |
<xsl:otherwise> | |
<xsl:text>dashed</xsl:text> | |
</xsl:otherwise> | |
</xsl:choose> | |
</xsl:with-param> | |
<xsl:with-param name="label"> | |
<xsl:if test="not(@symbol = 'error')"> | |
<xsl:value-of select="@symbol"/> | |
</xsl:if> | |
</xsl:with-param> | |
</xsl:call-template> | |
</xsl:template> | |
<xsl:template name="output-node"> | |
<xsl:param name="number"/> | |
<xsl:param name="label"/> | |
<xsl:text> </xsl:text> | |
<xsl:value-of select="$number"/> | |
<xsl:text> [label="</xsl:text> | |
<xsl:text>State </xsl:text> | |
<xsl:value-of select="$number"/> | |
<xsl:text>\n</xsl:text> | |
<xsl:call-template name="escape"> | |
<xsl:with-param name="subject" select="$label"/> | |
</xsl:call-template> | |
<xsl:text>\l"] </xsl:text> | |
</xsl:template> | |
<xsl:template name="output-edge"> | |
<xsl:param name="src"/> | |
<xsl:param name="dst"/> | |
<xsl:param name="style"/> | |
<xsl:param name="label"/> | |
<xsl:text> </xsl:text> | |
<xsl:value-of select="$src"/> | |
<xsl:text> -> </xsl:text> | |
<xsl:value-of select="$dst"/> | |
<xsl:text> [style=</xsl:text> | |
<xsl:value-of select="$style"/> | |
<xsl:if test="$label and $label != ''"> | |
<xsl:text> label="</xsl:text> | |
<xsl:call-template name="escape"> | |
<xsl:with-param name="subject" select="$label"/> | |
</xsl:call-template> | |
<xsl:text>"</xsl:text> | |
</xsl:if> | |
<xsl:text>] </xsl:text> | |
</xsl:template> | |
<xsl:template name="escape"> | |
<xsl:param name="subject"/> <!-- required --> | |
<xsl:call-template name="string-replace"> | |
<xsl:with-param name="subject"> | |
<xsl:call-template name="string-replace"> | |
<xsl:with-param name="subject"> | |
<xsl:call-template name="string-replace"> | |
<xsl:with-param name="subject" select="$subject"/> | |
<xsl:with-param name="search" select="'\'"/> | |
<xsl:with-param name="replace" select="'\\'"/> | |
</xsl:call-template> | |
</xsl:with-param> | |
<xsl:with-param name="search" select="'"'"/> | |
<xsl:with-param name="replace" select="'\"'"/> | |
</xsl:call-template> | |
</xsl:with-param> | |
<xsl:with-param name="search" select="' '"/> | |
<xsl:with-param name="replace" select="'\l'"/> | |
</xsl:call-template> | |
</xsl:template> | |
<xsl:template name="string-replace"> | |
<xsl:param name="subject"/> | |
<xsl:param name="search"/> | |
<xsl:param name="replace"/> | |
<xsl:choose> | |
<xsl:when test="contains($subject, $search)"> | |
<xsl:variable name="before" select="substring-before($subject, $search)"/> | |
<xsl:variable name="after" select="substring-after($subject, $search)"/> | |
<xsl:value-of select="$before"/> | |
<xsl:value-of select="$replace"/> | |
<xsl:call-template name="string-replace"> | |
<xsl:with-param name="subject" select="$after"/> | |
<xsl:with-param name="search" select="$search"/> | |
<xsl:with-param name="replace" select="$replace"/> | |
</xsl:call-template> | |
</xsl:when> | |
<xsl:otherwise> | |
<xsl:value-of select="$subject"/> | |
</xsl:otherwise> | |
</xsl:choose> | |
</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:stylesheet> |