X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fxslt%2FmetadataLib.xsl;h=414eb8b10f100157fd29ad46d7c01e22f31f8803;hb=b651b92d8ca72e5e0d7c6630b82b42cc2d16718c;hp=5b78e2b9eb35237e7e94257e3ed3b0bb87f0d2ef;hpb=2ac9e5e21097dbfaf0f366fb355796486becb3fe;p=helm.git

diff --git a/helm/on-line/xslt/metadataLib.xsl b/helm/on-line/xslt/metadataLib.xsl
index 5b78e2b9e..414eb8b10 100644
--- a/helm/on-line/xslt/metadataLib.xsl
+++ b/helm/on-line/xslt/metadataLib.xsl
@@ -6,6 +6,7 @@
 
 <xsl:param name="CICURI" select="''"/>
 <xsl:param name="getterURL" select="''"/>
+<xsl:param name="draw_graphURL" select="'http://localhost:8083/'"/>
 
 <xsl:template match="/">
  <html>
@@ -36,6 +37,7 @@
  <p>
   Object <xsl:value-of select="$name"/> is never referenced in other objects
  </p>
+ <xsl:apply-templates select="." mode="mk_dep_graph"/>
 </xsl:template>
 
 <xsl:template match="url" mode="makelink">
@@ -43,14 +45,47 @@
  <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>');
+   document.write('<a target="theory" href="' + url + '">View the objects depending on it.</a>');
+]]>
+  </script>
+ </p>
+ <p>
+  <script>
+   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 = draw_graphURL + 'draw?url=' + escape(url);
+   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:template>
+
+<xsl:template match="*" mode="mk_dep_graph">
+ <p>
+  <script>
+   var CICURI = "<xsl:value-of select="$CICURI"/>";
+   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' + CICURI);
+   url = draw_graphURL + 'draw?url=' + escape(url);
+   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>
