ocaml 3.09 transition

[helm.git] / helm / on-line / xslt / metadataControl.xsl
diff --git a/helm/on-line/xslt/metadataControl.xsl b/helm/on-line/xslt/metadataControl.xsl

index c893437b3bbc860168435e36bf24853a42ec3904..059c0dbe5a7c24d0f67ca5cc28aa961bbe967e04 100644 (file)
--- a/helm/on-line/xslt/metadataControl.xsl
+++ b/helm/on-line/xslt/metadataControl.xsl
@@ -2,7 +2,13 @@
  
  <xsl:stylesheet version="1.0"
   xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
- xmlns:subst="http://www.cs.unibo.it/helm/subst">
+ xmlns:subst="http://www.cs.unibo.it/helm/subst"
+ xmlns="http://www.w3.org/1999/xhtml">
+
+<xsl:import href="utils.xsl"/>
+<xsl:import href="show_dc.xsl"/>
+<xsl:import href="links_library.xsl"/>
+<xsl:import href="toplevel_header.xsl"/>
  
  <xsl:output 
         method="xml"
@@ -11,33 +17,28 @@
         doctype-public="-//W3C//DTD XHTML 1.0 Transitional//EN"
         doctype-system="http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd" />
  
-<xsl:include href="metadataLib.xsl"/>
+<xsl:param name="CICURI" select="''"/>
  
-<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:template match="/">
+ <html>
+  <head>
+   <title>Metadata of <xsl:value-of select="$CICURI"/></title>
+  </head>
+  <body onLoad="window.focus()" bgColor="white">
+   <xsl:call-template name="add_breadcrumb_trail" >
+    <xsl:with-param name="CICURI" select="$CICURI"/>
     </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:variable name="CICURL">
+     <xsl:call-template name="makeURL">
+      <xsl:with-param name="uri" select="$CICURI"/>
+     </xsl:call-template>
+   </xsl:variable>
+   <xsl:apply-templates select="*"/>
+  <xsl:call-template name="loop_show_dc">
     <xsl:with-param name="CICURI" select="$CICURI"/>
    </xsl:call-template>
+  </body>
+ </html>
  </xsl:template>
  
  </xsl:stylesheet>