helm/www/lambda_delta/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://lambda-delta.info"
  16                               xmlns="http://www.w3.org/1999/xhtml"
  17 >
  18
  19 <xsl:strip-space elements="Sort LRef GRef Cast Appl Abst Abbr Void"/>
  20
  21 <xsl:template name="separator">
  22    <span class="separator">
  23       <xsl:call-template name="fs"/>
  24    </span>
  25 </xsl:template>
  26
  27 <xsl:template match="ld:Sort">
  28    <span class="sort">
  29       <xsl:call-template name="position"/>
  30    </span>
  31 </xsl:template>
  32
  33 <xsl:template match="ld:LRef">
  34    <span class="lref">
  35       <xsl:call-template name="position"/>
  36    </span>
  37 </xsl:template>
  38
  39 <xsl:template match="ld:GRef">
  40    <span class="gref">
  41       <xsl:call-template name="uri"/>
  42    </span>
  43 </xsl:template>
  44
  45 <xsl:template match="ld:Cast">
  46    <span class="cast">
  47       <xsl:call-template name="oa"/>
  48       <xsl:apply-templates/>
  49       <xsl:call-template name="ca"/>
  50    </span>
  51    <xsl:call-template name="separator"/>
  52 </xsl:template>
  53
  54 <xsl:template match="ld:Appl">
  55    <span class="appl">
  56       <xsl:call-template name="op"/>
  57       <xsl:call-template name="mk_terms"/>
  58       <xsl:call-template name="cp"/>
  59    </span>
  60    <xsl:call-template name="separator"/>
  61 </xsl:template>
  62
  63 <xsl:template match="ld:Abst">
  64    <span class="local">
  65       <xsl:call-template name="lambda"/>
  66       <xsl:call-template name="mk_binder">
  67          <xsl:with-param name="sep-seq">
  68             <xsl:call-template name="cn"/>
  69          </xsl:with-param>
  70       </xsl:call-template>
  71    </span>
  72    <xsl:call-template name="separator"/>
  73 </xsl:template>
  74
  75 <xsl:template match="ld:Abbr">
  76    <span class="local">
  77       <xsl:call-template name="delta"/>
  78       <xsl:call-template name="mk_binder">
  79          <xsl:with-param name="sep-seq">
  80             <xsl:call-template name="eq"/>
  81          </xsl:with-param>
  82       </xsl:call-template>
  83    </span>
  84    <xsl:call-template name="separator"/>
  85 </xsl:template>
  86
  87 <xsl:template match="ld:Void">
  88    <span class="local">
  89       <xsl:call-template name="chi"/>
  90       <xsl:call-template name="ob"/>
  91       <xsl:call-template name="mk_names"/>
  92       <xsl:call-template name="cb"/>
  93    </span>
  94    <xsl:call-template name="separator"/>
  95 </xsl:template>
  96
  97 </xsl:stylesheet>