-<xsl:include href="metadataLib.xsl"/>
-
-<xsl:variable name="url" select="concat($getterURL,'resolve?uri=helm:rdf:www.cs.unibo.it/helm/rdf/forward//')"/>
-
-<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($CICURI,',',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="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>
- </xsl:for-each>
-</xsl:template>