]> matita.cs.unibo.it Git - helm.git/blob - helm/on-line/xslt/demultiplexMutual.xsl
0b1ed2b993bb0368c51a4c25861cdb4ed4b473a6
[helm.git] / helm / on-line / xslt / demultiplexMutual.xsl
1 <?xml version="1.0"?>
2
3 <xsl:stylesheet version="1.0"
4  xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
5  xmlns:subst="http://www.cs.unibo.it/helm/subst">
6
7 <xsl:output 
8         method="xml"
9         encoding="iso-8859-1" 
10         media-type="text/html"
11         doctype-public="-//W3C//DTD XHTML 1.0 Transitional//EN"
12         doctype-system="http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd" />
13
14 <xsl:param name="RDFURI" select="''"/>
15
16 <!-- BUG UWOBO -->
17 <xsl:include href="file:///projects/helm/on-line/xslt/metadataLib.xsl"/>
18
19 <xsl:variable name="url" select="concat($getterURL,'resolve?uri=')"/>
20
21 <xsl:template match="InductiveDefinition">
22  <xsl:for-each select="InductiveType">
23   <xsl:variable name="RDFURIInductiveType" select="concat($RDFURI,',',position())"/>
24    <h3>Metadata related to <xsl:value-of select="@name"/>:</h3>
25    <xsl:apply-templates select="document(concat($url,$RDFURIInductiveType))" mode="makelink">
26     <xsl:with-param name="name" select="@name"/>
27     <xsl:with-param name="RDFURI" select="$RDFURIInductiveType"/>
28    </xsl:apply-templates>
29   <xsl:for-each select="Constructor">
30    <xsl:variable name="RDFURIConstructor" select="concat($RDFURIInductiveType,',',position())"/>
31    <h3>Metadata related to <xsl:value-of select="@name"/>:</h3>
32    <xsl:apply-templates select="document(concat($url,$RDFURIConstructor))" mode="makelink">
33     <xsl:with-param name="name" select="@name"/>
34     <xsl:with-param name="RDFURI" select="$RDFURIConstructor"/>
35    </xsl:apply-templates>
36   </xsl:for-each>
37  </xsl:for-each>
38 </xsl:template>
39
40 </xsl:stylesheet>