data/xslt/bison.xsl

   1 <?xml version="1.0" encoding="UTF-8"?>
   2
   3 <!--
   4     bison.xsl - common templates for Bison XSLT.
   5     $Id$
   6
   7     Copyright (C) 2007 Free Software Foundation, Inc.
   8
   9     This file is part of Bison, the GNU Compiler Compiler.
  10
  11     This program is free software: you can redistribute it and/or modify
  12     it under the terms of the GNU General Public License as published by
  13     the Free Software Foundation, either version 3 of the License, or
  14     (at your option) any later version.
  15
  16     This program is distributed in the hope that it will be useful,
  17     but WITHOUT ANY WARRANTY; without even the implied warranty of
  18     MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  19     GNU General Public License for more details.
  20
  21     You should have received a copy of the GNU General Public License
  22     along with this program.  If not, see <http://www.gnu.org/licenses/>.
  23   -->
  24
  25 <xsl:stylesheet version="1.0"
  26   xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
  27   xmlns:bison="http://www.gnu.org/software/bison/">
  28
  29 <xsl:key
  30   name="bison:ruleByNumber"
  31   match="/bison-xml-report/grammar/rules/rule"
  32   use="@number"
  33 />
  34 <xsl:key
  35   name="bison:ruleByLhs"
  36   match="/bison-xml-report/grammar/rules/rule[
  37          @usefulness != 'useless-in-grammar']"
  38   use="lhs"
  39 />
  40 <xsl:key
  41   name="bison:ruleByRhs"
  42   match="/bison-xml-report/grammar/rules/rule[
  43          @usefulness != 'useless-in-grammar']"
  44   use="rhs/symbol"
  45 />
  46
  47 <!-- For the specified state, output: #sr-conflicts,#rr-conflicts -->
  48 <xsl:template match="state" mode="bison:count-conflicts">
  49   <xsl:variable name="transitions" select="actions/transitions"/>
  50   <xsl:variable name="reductions" select="actions/reductions"/>
  51   <xsl:variable
  52     name="terminals"
  53     select="
  54       $transitions/transition[@type='shift']/@symbol
  55       | $reductions/reduction/@symbol
  56     "
  57   />
  58   <xsl:variable name="conflict-data">
  59     <xsl:for-each select="$terminals">
  60       <xsl:variable name="name" select="."/>
  61       <xsl:if test="generate-id($terminals[. = $name][1]) = generate-id(.)">
  62         <xsl:variable
  63           name="shift-count"
  64           select="count($transitions/transition[@symbol=$name])"
  65         />
  66         <xsl:variable
  67           name="reduce-count"
  68           select="count($reductions/reduction[@symbol=$name])"
  69         />
  70         <xsl:if test="$shift-count > 0 and $reduce-count > 0">
  71           <xsl:text>s</xsl:text>
  72         </xsl:if>
  73         <xsl:if test="$reduce-count > 1">
  74           <xsl:text>r</xsl:text>
  75         </xsl:if>
  76       </xsl:if>
  77     </xsl:for-each>
  78   </xsl:variable>
  79   <xsl:value-of select="string-length(translate($conflict-data, 'r', ''))"/>
  80   <xsl:text>,</xsl:text>
  81   <xsl:value-of select="string-length(translate($conflict-data, 's', ''))"/>
  82 </xsl:template>
  83
  84 </xsl:stylesheet>