<xsl:include href="metadataLib.xsl"/>
-<xsl:template match="unresolved|url">
- <xsl:apply-templates mode="makelink" select=".">
- <xsl:with-param name="name" select="$CICURI"/>
- <xsl:with-param name="CICURI" select="$CICURI"/>
- <xsl:with-param name="RDFURI" select="$CICURI"/>
- </xsl:apply-templates>
+<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:call-template name="makelink">
+ <xsl:with-param name="name" select="@name"/>
+ <xsl:with-param name="CICURI" select="concat($CICURIInductiveType,')')"/>
+ <xsl:with-param name="RDFURI" select="$RDFURIInductiveType"/>
+ </xsl:call-template>
+ <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:call-template name="makelink">
+ <xsl:with-param name="name" select="@name"/>
+ <xsl:with-param name="CICURI" select="$CICURIConstructor"/>
+ <xsl:with-param name="RDFURI" select="$RDFURIConstructor"/>
+ </xsl:call-template>
+ </xsl:for-each>
+ </xsl:for-each>
+</xsl:template>
+
+<!-- Not an Inductive Type -->
+<xsl:template match="*">
+ <xsl:call-template name="makelink">
+ <xsl:with-param name="name" select="$CICURI"/>
+ <xsl:with-param name="CICURI" select="$CICURI"/>
+ <xsl:with-param name="RDFURI" select="$CICURI"/>
+ </xsl:call-template>
</xsl:template>
</xsl:stylesheet>