bison.xsl revision 4a73bbb278e3218a935804313073cab198ae0d03 
1<?xml version="1.0" encoding="UTF-8"?>
2
3<!--
4    bison.xsl - common templates for Bison XSLT.
5
6    Copyright (C) 2007-2012 Free Software Foundation, Inc.
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
24<xsl:stylesheet version="1.0"
25  xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
26  xmlns:bison="http://www.gnu.org/software/bison/">
27
28<xsl:key
29  name="bison:symbolByName"
30  match="/bison-xml-report/grammar/nonterminals/nonterminal"
31  use="@name"
32/>
33<xsl:key
34  name="bison:symbolByName"
35  match="/bison-xml-report/grammar/terminals/terminal"
36  use="@name"
37/>
38<xsl:key
39  name="bison:ruleByNumber"
40  match="/bison-xml-report/grammar/rules/rule"
41  use="@number"
42/>
43<xsl:key
44  name="bison:ruleByLhs"
45  match="/bison-xml-report/grammar/rules/rule[
46         @usefulness != 'useless-in-grammar']"
47  use="lhs"
48/>
49<xsl:key
50  name="bison:ruleByRhs"
51  match="/bison-xml-report/grammar/rules/rule[
52         @usefulness != 'useless-in-grammar']"
53  use="rhs/symbol"
54/>
55
56<!-- For the specified state, output: #sr-conflicts,#rr-conflicts -->
57<xsl:template match="state" mode="bison:count-conflicts">
58  <xsl:variable name="transitions" select="actions/transitions"/>
59  <xsl:variable name="reductions" select="actions/reductions"/>
60  <xsl:variable
61    name="terminals"
62    select="
63      $transitions/transition[@type='shift']/@symbol
64      | $reductions/reduction/@symbol
65    "
66  />
67  <xsl:variable name="conflict-data">
68    <xsl:for-each select="$terminals">
69      <xsl:variable name="name" select="."/>
70      <xsl:if test="generate-id($terminals[. = $name][1]) = generate-id(.)">
71        <xsl:variable
72          name="shift-count"
73          select="count($transitions/transition[@symbol=$name])"
74        />
75        <xsl:variable
76          name="reduce-count"
77          select="count($reductions/reduction[@symbol=$name])"
78        />
79        <xsl:if test="$shift-count > 0 and $reduce-count > 0">
80          <xsl:text>s</xsl:text>
81        </xsl:if>
82        <xsl:if test="$reduce-count > 1">
83          <xsl:text>r</xsl:text>
84        </xsl:if>
85      </xsl:if>
86    </xsl:for-each>
87  </xsl:variable>
88  <xsl:value-of select="string-length(translate($conflict-data, 'r', ''))"/>
89  <xsl:text>,</xsl:text>
90  <xsl:value-of select="string-length(translate($conflict-data, 's', ''))"/>
91</xsl:template>
92
93<xsl:template name="space">
94  <xsl:param name="repeat">0</xsl:param>
95  <xsl:param name="fill" select="' '"/>
96  <xsl:if test="number($repeat) &gt;= 1">
97    <xsl:call-template name="space">
98      <xsl:with-param name="repeat" select="$repeat - 1"/>
99      <xsl:with-param name="fill" select="$fill"/>
100    </xsl:call-template>
101    <xsl:value-of select="$fill"/>
102  </xsl:if>
103</xsl:template>
104
105</xsl:stylesheet>
106