X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fxslt%2FmetadataLib.xsl;h=a8c8540cbba58eb5aabd6bcd33be74944644cb65;hb=89262281b6e83bd2321150f81f1a0583645eb0c8;hp=900797e5f88c8c850af5f5d0f547d9588b27b39a;hpb=d2d9e2da99c2eaebc426f070f80ee5aa250baaf3;p=helm.git

diff --git a/helm/on-line/xslt/metadataLib.xsl b/helm/on-line/xslt/metadataLib.xsl
index 900797e5f..a8c8540cb 100644
--- a/helm/on-line/xslt/metadataLib.xsl
+++ b/helm/on-line/xslt/metadataLib.xsl
@@ -4,13 +4,21 @@
  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:param name="CICURI" select="''"/>
 <xsl:param name="getterURL" select="''"/>
 <xsl:param name="draw_graphURL" select="''"/>
 
+<!--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:template match="/">
  <html>
@@ -30,6 +38,15 @@
 ]]>
    </script>
    <xsl:apply-templates select="*"/>
+   <!--CSC: code almost cut & pasted from makeGraphLinks -->
+   <form name="uri_set_size">
+    Number of nodes to show when following an hyperlink to a graph:
+    <input type="text" onClick="return false" value="{$uri_set_size}" size="2"/> (30 suggested)
+   </form>
+   <!--CSC: end of cut & paste from makeGraphLinks -->
+  <xsl:call-template name="loop_show_dc">
+   <xsl:with-param name="CICURI" select="$CICURI"/>
+  </xsl:call-template>
   </body>
  </html>
 </xsl:template>
@@ -38,24 +55,26 @@
  <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:choose>
   <xsl:when test="document(concat($BaseRDFURLBackward,$RDFURI))/*/*/*">
    <p>
     <script>
-     var RDFURI = "helm:rdf:www.cs.unibo.it/helm/rdf/backward//<xsl:value-of select="$RDFURI"/>";
-     var getterURL = "<xsl:value-of select="$getterURL"/>";
+     var CICURI = "<xsl:value-of select="$CICURI"/>";
 <![CDATA[
-     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 it.</a>');
+     document.write('<a target="theory" href="' + mkMetaTheoryURL(CICURI) + '">View the objects depending on it.</a>');
 ]]>
     </script>
    </p>
    <p>
     <script>
-     var CICURI = "<xsl:value-of select="$CICURI"/>";
 <![CDATA[
-     document.write('<a target="graph" href="' + mkDepURL(CICURI,true) + '">View the graph of all the objects depending on this one.</a>');
+     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>
    </p>
@@ -72,9 +91,8 @@
    <p>
     <!-- CSC: Cut & Paster from above ==> create a single javascript function -->
     <script>
-     var CICURI = "<xsl:value-of select="$CICURI"/>";
 <![CDATA[
-     document.write('<a target="graph" href="' + mkMetaURL(CICURI,true) + '">View the graph of all the dependencies of this object.</a>');
+     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>
    </p>
