helm/www/lambdadelta/xslt/lddl_term.xsl

   1 <?xml version="1.0" encoding="UTF-8"?>
   2
   3 <!--
   4     ||M||  This file is part of HELM, an Hypertextual, Electronic
   5     ||A||  Library of Mathematics, developed at the Computer Science
   6     ||T||  Department, University of Bologna, Italy.
   7     ||I||
   8     ||T||  HELM is free software; you can redistribute it and/or
   9     ||A||  modify it under the terms of the GNU General Public License
  10     \   /  version 2 or (at your option) any later version.
  11      \ /   This software is distributed as is, NO WARRANTY.
  12       V_______________________________________________________________ -->
  13
  14 <xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
  15                               xmlns:ld="http://lambdadelta.info/"
  16                               xmlns="http://lambdadelta.info/"
  17 >
  18
  19 <xsl:template match="ld:Sort">
  20    <style class="sort" title="{@position}">
  21       <xsl:value-of select="@name"/>
  22    </style>
  23 </xsl:template>
  24
  25 <xsl:template match="ld:LRef">
  26    <style class="lref" title="{@position}">
  27       <xsl:value-of select="@name"/>
  28    </style>
  29 </xsl:template>
  30
  31 <xsl:template match="ld:GRef">
  32    <style class="gref" title="{@position}&lt;{@uri}&gt;">
  33       <xsl:call-template name="uri"/>
  34    </style>
  35 </xsl:template>
  36
  37 <xsl:template match="ld:Cast">
  38    <style class="cast">
  39       <xsl:call-template name="oa"/>
  40       <xsl:apply-templates select="*"/>
  41       <xsl:call-template name="ca"/>
  42    </style>
  43    <xsl:call-template name="separator"/>
  44 </xsl:template>
  45
  46 <xsl:template match="ld:Appl">
  47    <style class="appl">
  48       <xsl:call-template name="op"/>
  49       <xsl:apply-templates select="*"/>
  50 <!--      <xsl:call-template name="mk_terms"/> -->
  51       <xsl:call-template name="cp"/>
  52    </style>
  53    <xsl:call-template name="separator"/>
  54 </xsl:template>
  55
  56 <xsl:template match="ld:Proj">
  57    <style class="proj">
  58       <xsl:call-template name="oc"/>
  59       <xsl:apply-templates select="*"/>
  60       <xsl:call-template name="cc"/>
  61    </style>
  62    <xsl:call-template name="separator"/>
  63 </xsl:template>
  64
  65 <xsl:template match="ld:Abst">
  66    <style class="local" title="{@position}">
  67       <xsl:call-template name="abst"/>
  68       <xsl:call-template name="ob"/>
  69       <xsl:call-template name="name"/>
  70       <xsl:call-template name="cn"/>
  71       <xsl:apply-templates select="*"/>
  72       <xsl:call-template name="cb"/>
  73    </style>
  74    <xsl:call-template name="separator"/>
  75 </xsl:template>
  76
  77 <xsl:template match="ld:Abbr">
  78    <style class="local">
  79       <xsl:call-template name="abbr"/>
  80       <xsl:call-template name="ob"/>
  81       <xsl:call-template name="name"/>
  82       <xsl:call-template name="eq"/>
  83       <xsl:apply-templates select="*"/>
  84       <xsl:call-template name="cb"/>
  85    </style>
  86    <xsl:call-template name="separator"/>
  87 </xsl:template>
  88
  89 <xsl:template match="ld:Void">
  90    <style class="local">
  91       <xsl:call-template name="void"/>
  92       <xsl:call-template name="ob"/>
  93       <xsl:call-template name="name"/>
  94       <xsl:call-template name="cb"/>
  95    </style>
  96    <xsl:call-template name="separator"/>
  97 </xsl:template>
  98
  99 </xsl:stylesheet>