X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fxslt%2FmetadataControl.xsl;h=c893437b3bbc860168435e36bf24853a42ec3904;hb=4efbf579e9692e25b08b4f363356d52292c2bd97;hp=c33d7b2b45891d37190ad0e643efbd8d4ec64d8c;hpb=40aaf8dcb5f4251186d6b4380ded7cf50ffd5345;p=helm.git

diff --git a/helm/on-line/xslt/metadataControl.xsl b/helm/on-line/xslt/metadataControl.xsl
index c33d7b2b4..c893437b3 100644
--- a/helm/on-line/xslt/metadataControl.xsl
+++ b/helm/on-line/xslt/metadataControl.xsl
@@ -11,16 +11,33 @@
  	doctype-public="-//W3C//DTD XHTML 1.0 Transitional//EN"
   	doctype-system="http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd" />
 
-<xsl:param name="RDFURI" select="''"/>
+<xsl:include href="metadataLib.xsl"/>
 
-<!-- BUG UWOBO -->
-<xsl:include href="http://phd.cs.unibo.it/helm/xslt/metadataLib.xsl"/>
+<xsl:template match="InductiveDefinition">
+ <xsl:for-each select="InductiveType">
+  <xsl:variable name="CICURIInductiveType" select="concat($CICURI,'#xpointer(1/',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:call-template>
+  <xsl:for-each select="Constructor">
+   <xsl:variable name="CICURIConstructor" select="concat($CICURIInductiveType,'/',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:call-template>
+  </xsl:for-each>
+ </xsl:for-each>
+</xsl:template>
 
-<xsl:template match="unresolved|url">
- <xsl:apply-templates mode="makelink" select=".">
-  <xsl:with-param name="name" select="$CICURI"/>
-  <xsl:with-param name="RDFURI" select="$RDFURI"/>
- </xsl:apply-templates>
+<!-- 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:call-template>
 </xsl:template>
 
 </xsl:stylesheet>