]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/on-line/xslt/metadataLib.xsl
Dead code inclusion removed.
[helm.git] / helm / on-line / xslt / metadataLib.xsl
index e4c18b3cc378f439a05a4eff874d87bcf327c183..4e3271638d97cb7459ac24e1641105497f99509a 100644 (file)
@@ -4,56 +4,40 @@
  xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
  xmlns:subst="http://www.cs.unibo.it/helm/subst">
 
+<xsl:import href="utils.xsl"/>
+<xsl:import href="show_dc.xsl"/>
+<xsl:import href="links_library.xsl"/>
+
 <xsl:param name="CICURI" select="''"/>
 <xsl:param name="getterURL" select="''"/>
+<xsl:param name="draw_graphURL" select="''"/>
+<xsl:param name="rdflyURL" select="'http://localhost:58086/'"/>
+
+<!--CSC: code cut & pasted from makeGraphLinks -->
+<xsl:param name="uri_set_size" select="'30'"/>
+<!--CSC: end of cut & paste from makeGraphLinks -->
+
+<xsl:variable name="BaseRDFURLForward" select="concat($rdflyURL,'get?kind=forward&amp;object=')"/>
+<xsl:variable name="BaseRDFURLBackward" select="concat($rdflyURL,'get?kind=backward&amp;object=')"/>
+<xsl:variable name="BaseRDFURLDC" select="concat($rdflyURL,'get?kind=dc&amp;object=')"/>
 
 <xsl:template match="/">
  <html>
   <head>
-   <subst:script language="JavaScript" src="/javascript/defaults.js"/>
-   <subst:script language="JavaScript" src="/javascript/utils.js"/>
-   <subst:script language="JavaScript" src="/javascript/control.js"/>
    <title>Metadata of <xsl:value-of select="$CICURI"/></title>
   </head>
-  <body bgColor="white">
-   <h1>Metadata of <xsl:value-of select="$CICURI"/></h1>
+  <body onLoad="window.focus()" bgColor="white">
+   <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:template match="/" mode="makelink">
- <xsl:param name="name" select="''"/>
- <xsl:param name="RDFURI" select="''"/>
- <xsl:apply-templates select="*" mode="makelink">
-  <xsl:with-param name="name" select="$name"/>
-  <xsl:with-param name="RDFURI" select="$RDFURI"/>
- </xsl:apply-templates>
-</xsl:template>
-
-<xsl:template match="unresolved" mode="makelink">
- <xsl:param name="name" select="''"/>
- <p>
-  Object <xsl:value-of select="$name"/> is never referenced in other objects
- </p>
-</xsl:template>
-
-<xsl:template match="url" mode="makelink">
- <xsl:param name="name" select="''"/>
- <xsl:param name="RDFURI" select="''"/>
- <p>
-  <script>
-   var name = "<xsl:value-of select="$name"/>";
-   var RDFURI = "<xsl:value-of select="$RDFURI"/>";
-   var getterURL = "<xsl:value-of select="$getterURL"/>";
-<![CDATA[
-   //url = setParam(url,"keys",getCICMathMLKeys());
-   var url = setParam(location.href,"keys","meta_theory%2CT1%2CT2%2CL%2CE");
-   url = setParam(url,"xmluri", getterURL + "getxml%3Furi%3D" + RDFURI);
-   document.write('<a target="theory" href="' + url + '">View the objects depending on ' + name + '.</a>');
-]]>
-  </script>
- </p>
-</xsl:template>
-
 </xsl:stylesheet>