]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/on-line/xslt/metadataLib.xsl
###############################################################
[helm.git] / helm / on-line / xslt / metadataLib.xsl
index a8c8540cbba58eb5aabd6bcd33be74944644cb65..bd9b84524224ba0f45124a6c9d33f2f852034567 100644 (file)
@@ -6,19 +6,20 @@
 
 <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="BaseRDFURL" select="concat($getterURL,'getxml?uri=helm:rdf:www.cs.unibo.it/helm/rdf/')"/>
-<xsl:variable name="BaseRDFURLForward" select="concat($BaseRDFURL,'forward//')"/>
-<xsl:variable name="BaseRDFURLBackward" select="concat($BaseRDFURL,'backward//')"/>
-<xsl:variable name="BaseRDFURLDC" select="concat($BaseRDFURL,'dc//')"/>
+<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>
    <title>Metadata of <xsl:value-of select="$CICURI"/></title>
   </head>
   <body onLoad="window.focus()" bgColor="white">
-   <script>
-     var CICURI = "<xsl:value-of select="$CICURI"/>";
-<![CDATA[
-     document.write('<h1>Metadata of <a target="cic" href="' + mkCICURL(CICURI) + '">' + CICURI + '</a></h1>');
-]]>
-   </script>
+   <xsl:variable name="CICURL">
+     <xsl:call-template name="makeURL">
+      <xsl:with-param name="uri" select="$CICURI"/>
+     </xsl:call-template>
+   </xsl:variable>
+   <h1>Metadata of <a href="{$CICURL}"><xsl:value-of select="$CICURI"/></a></h1>
    <xsl:apply-templates select="*"/>
    <!--CSC: code almost cut & pasted from makeGraphLinks -->
    <form name="uri_set_size">
 <xsl:template name="makelink">
  <xsl:param name="name" select="''"/>
  <xsl:param name="CICURI" select="''"/>
- <xsl:param name="RDFURI" select="''"/>
  <xsl:variable name="quotedCICURI">
   <xsl:call-template name="jsquote">
    <xsl:with-param name="s" select="$CICURI"/>
    <xsl:with-param name="times" select="2"/>
   </xsl:call-template>
  </xsl:variable>
+ <xsl:variable name="quotedCICURIforURL">
+  <xsl:call-template name="quote">
+   <xsl:with-param name="s" select="$CICURI"/>
+  </xsl:call-template>
+ </xsl:variable>
  <xsl:choose>
-  <xsl:when test="document(concat($BaseRDFURLBackward,$RDFURI))/*/*/*">
+  <xsl:when test="document(concat($BaseRDFURLBackward,$quotedCICURIforURL))/*/*/*">
    <p>
     <script>
      var CICURI = "<xsl:value-of select="$CICURI"/>";
 <![CDATA[
-     document.write('<a target="theory" href="' + mkMetaTheoryURL(CICURI) + '">View the objects depending on it.</a>');
+     document.write('<a href="' + mkMetaTheoryURL(CICURI) + '">View the objects depending on it.</a>');
 ]]>
     </script>
    </p>
    <p>
-    <script>
-<![CDATA[
-     document.write('<a href="" onClick="window.open(mkMetaURL(\']]><xsl:value-of select="$quotedCICURI"/><![CDATA[\'),\'graph\');return false;">View the graph of all the objects depending on this one.</a>');
-]]>
-    </script>
+     <xsl:variable name="forwardURL">
+      <xsl:call-template name="makeGraphURL">
+       <xsl:with-param name="uri" select="$CICURI"/>
+       <xsl:with-param name="keys" select="'MMG'"/>
+       <!-- <xsl:with-param name="uri_set_size" select="'document.uri_set_size.elements[0].value'"/> -->
+       <xsl:with-param name="uri_set_size" select="'30'"/>
+      </xsl:call-template>
+     </xsl:variable>
+     <a href="{$forwardURL}">View the graph of all the objects depending on this one.</a>
    </p>
   </xsl:when>
   <xsl:otherwise>
  </xsl:choose>
 
  <xsl:choose>
-  <xsl:when test="document(concat($BaseRDFURLForward,$RDFURI))/*/*/*">
+  <xsl:when test="document(concat($BaseRDFURLForward,$quotedCICURIforURL))/*/*/*">
    <p>
-    <!-- CSC: Cut & Paster from above ==> create a single javascript function -->
-    <script>
-<![CDATA[
-     document.write('<a href="" onClick="window.open(mkDepURL(\']]><xsl:value-of select="$quotedCICURI"/><![CDATA[\'),\'graph\');return false;">View the graph of all the dependencies of this object.</a>');
-]]>
-    </script>
+     <xsl:variable name="forwardURL">
+      <xsl:call-template name="makeGraphURL">
+       <xsl:with-param name="uri" select="$CICURI"/>
+       <xsl:with-param name="keys" select="'MDG'"/>
+       <!-- <xsl:with-param name="uri_set_size" select="'document.uri_set_size.elements[0].value'"/> -->
+       <xsl:with-param name="uri_set_size" select="'30'"/>
+      </xsl:call-template>
+     </xsl:variable>
+     <a href="{$forwardURL}">View the graph of all the dependencies of this object.</a>
    </p>
   </xsl:when>
   <xsl:otherwise>