Bug fixing: now the link to the graphs produce extended URIs

[helm.git] / helm / on-line / xslt / demultiplexMutual.xsl

diff --git a/helm/on-line/xslt/demultiplexMutual.xsl b/helm/on-line/xslt/demultiplexMutual.xsl
index af4aafa889b1fefab0d37462ab99733532b0a5af..370483392f3dbf09d94f94be7eecf8fd23ec8f77 100644 (file)
--- a/helm/on-line/xslt/demultiplexMutual.xsl
+++ b/helm/on-line/xslt/demultiplexMutual.xsl
@@ -19,17 +19,21 @@
 
 <xsl:template match="InductiveDefinition">
  <xsl:for-each select="InductiveType">
+  <xsl:variable name="CICURIInductiveType" select="concat($CICURI,'#xpointer(1/',position())"/>
   <xsl:variable name="RDFURIInductiveType" select="concat($RDFURI,',',position())"/>
-   <h3>Metadata related to <xsl:value-of select="@name"/>:</h3>
-   <xsl:apply-templates select="document(concat($url,$RDFURIInductiveType))" mode="makelink">
-    <xsl:with-param name="name" select="@name"/>
-    <xsl:with-param name="RDFURI" select="$RDFURIInductiveType"/>
-   </xsl:apply-templates>
+  <h3>Metadata related to <xsl:value-of select="@name"/>:</h3>
+  <xsl:apply-templates select="document(concat($url,$RDFURIInductiveType))" mode="makelink">
+   <xsl:with-param name="name" select="@name"/>
+   <xsl:with-param name="CICURI" select="concat($CICURIInductiveType,')')"/>
+   <xsl:with-param name="RDFURI" select="$RDFURIInductiveType"/>
+  </xsl:apply-templates>
   <xsl:for-each select="Constructor">
+   <xsl:variable name="CICURIConstructor" select="concat($CICURIInductiveType,'/',position(),')')"/>
    <xsl:variable name="RDFURIConstructor" select="concat($RDFURIInductiveType,',',position())"/>
    <h3>Metadata related to <xsl:value-of select="@name"/>:</h3>
    <xsl:apply-templates select="document(concat($url,$RDFURIConstructor))" mode="makelink">
     <xsl:with-param name="name" select="@name"/>
+    <xsl:with-param name="CICURI" select="$CICURIConstructor"/>
     <xsl:with-param name="RDFURI" select="$RDFURIConstructor"/>
    </xsl:apply-templates>
   </xsl:for-each>