1 | <?xml version="1.0" encoding="UTF-8"?>
|
---|
2 |
|
---|
3 | <!--
|
---|
4 | bison.xsl - common templates for Bison XSLT.
|
---|
5 |
|
---|
6 | Copyright (C) 2007, 2008 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:stylesheet>
|
---|