X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fon-line%2Fxslt%2FmetadataLib.xsl;h=e3d2493211cb1ea47ec7c3cecd765d382e9fd257;hb=0fa41b365811c040a0aeb39e3ea217754f88decb;hp=b4f56cca6ac23a82dfc672f78a890621cf952172;hpb=7246805f9eac4bf302ce352ee14d85124b70ba69;p=helm.git

diff --git a/helm/on-line/xslt/metadataLib.xsl b/helm/on-line/xslt/metadataLib.xsl
index b4f56cca6..e3d249321 100644
--- a/helm/on-line/xslt/metadataLib.xsl
+++ b/helm/on-line/xslt/metadataLib.xsl
@@ -6,7 +6,9 @@
 
 <xsl:param name="CICURI" select="''"/>
 <xsl:param name="getterURL" select="''"/>
-<xsl:param name="draw_graphURL" select="'http://phd.cs.unibo.it:8083/'"/>
+<xsl:param name="draw_graphURL" select="''"/>
+
+<xsl:variable name="rawCICURI" select="$CICURI"/>
 
 <xsl:template match="/">
  <html>
@@ -25,30 +27,35 @@
 
 <xsl:template match="/" mode="makelink">
  <xsl:param name="name" select="''"/>
+ <xsl:param name="CICURI" select="''"/>
  <xsl:param name="RDFURI" select="''"/>
  <xsl:apply-templates select="*" mode="makelink">
   <xsl:with-param name="name" select="$name"/>
+  <xsl:with-param name="CICURI" select="$CICURI"/>
   <xsl:with-param name="RDFURI" select="$RDFURI"/>
  </xsl:apply-templates>
 </xsl:template>
 
 <xsl:template match="unresolved" mode="makelink">
  <xsl:param name="name" select="''"/>
+ <xsl:param name="CICURI" select="''"/>
  <p>
   Object <xsl:value-of select="$name"/> is never referenced in other objects
  </p>
- <xsl:apply-templates select="." mode="mk_dep_graph"/>
+ <xsl:apply-templates select="." mode="mk_dep_graph">
+  <xsl:with-param name="CICURI" select="$CICURI"/>
+ </xsl:apply-templates>
 </xsl:template>
 
 <xsl:template match="url" mode="makelink">
  <xsl:param name="name" select="''"/>
+ <xsl:param name="CICURI" select="''"/>
  <xsl:param name="RDFURI" select="''"/>
  <p>
   <script>
    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 it.</a>');
@@ -57,31 +64,42 @@
  </p>
  <p>
   <script>
+   var CICURI = "<xsl:value-of select="$CICURI"/>";
    var RDFURI = "<xsl:value-of select="$RDFURI"/>";
    var getterURL = "<xsl:value-of select="$getterURL"/>";
    var draw_graphURL = "<xsl:value-of select="$draw_graphURL"/>";
 <![CDATA[
    var url = setParam(location.href,"keys","MMG");
    url = setParam(url,"xmluri", getterURL + 'getxml%3Furi%3D' + RDFURI);
+   url = setParam(url,"param.CICURI",escape(CICURI));
    url = draw_graphURL + 'draw?url=' + escape(url);
-   document.write('<a target="graph" href="' + url + '">View the graph of all the objects depending on this one.</a>');
+   var url2 = setParam(location.href,"keys","ML2,RT");
+   url2 = setParam(url2,"xmluri",escape(url));
+   document.write('<a target="graph" href="' + url2 + '">View the graph of all the objects depending on this one.</a>');
 ]]>
   </script>
  </p>
- <xsl:apply-templates select="." mode="mk_dep_graph"/>
+ <xsl:apply-templates select="." mode="mk_dep_graph">
+  <xsl:with-param name="CICURI" select="$CICURI"/>
+ </xsl:apply-templates>
 </xsl:template>
 
 <xsl:template match="*" mode="mk_dep_graph">
+ <xsl:param name="CICURI" select="''"/>
  <p>
   <script>
    var CICURI = "<xsl:value-of select="$CICURI"/>";
+   var rawCICURI = "<xsl:value-of select="$rawCICURI"/>";
    var getterURL = "<xsl:value-of select="$getterURL"/>";
    var draw_graphURL = "<xsl:value-of select="$draw_graphURL"/>";
 <![CDATA[
    var url = setParam(location.href,"keys","MDG");
-   url = setParam(url,"xmluri", getterURL + 'getxml%3Furi%3D' + CICURI);
+   url = setParam(url,"xmluri", getterURL + 'getxml%3Furi%3D' + rawCICURI);
+   url = setParam(url,"param.CICURI",escape(CICURI));
    url = draw_graphURL + 'draw?url=' + escape(url);
-   document.write('<a target="graph" href="' + url + '">View the graph of all the dependencies of this object.</a>');
+   var url2 = setParam(location.href,"keys","ML2,RT");
+   url2 = setParam(url2,"xmluri",escape(url));
+   document.write('<a target="graph" href="' + url2 + '">View the graph of all the dependencies of this object.</a>');
 ]]>
   </script>
  </p>
