First implementation of graphs. Working on my notebook, probably not

on-line.

diff --git a/helm/on-line/xslt/demultiplexMutual.xsl b/helm/on-line/xslt/demultiplexMutual.xsl
index 2f86509378f535c0325928539e7cb5a411d8b11a..0b1ed2b993bb0368c51a4c25861cdb4ed4b473a6 100644 (file)
--- a/helm/on-line/xslt/demultiplexMutual.xsl
+++ b/helm/on-line/xslt/demultiplexMutual.xsl
@@ -14,19 +14,21 @@
 <xsl:param name="RDFURI" select="''"/>
 
 <!-- BUG UWOBO -->
-<xsl:include href="http://phd.cs.unibo.it/helm/xslt/metadataLib.xsl"/>
+<xsl:include href="file:///projects/helm/on-line/xslt/metadataLib.xsl"/>
 
 <xsl:variable name="url" select="concat($getterURL,'resolve?uri=')"/>
 
 <xsl:template match="InductiveDefinition">
  <xsl:for-each select="InductiveType">
   <xsl:variable name="RDFURIInductiveType" select="concat($RDFURI,',',position())"/>
+   <h3>Metadata related to <xsl:value-of select="@name"/>:</h3>
    <xsl:apply-templates select="document(concat($url,$RDFURIInductiveType))" mode="makelink">
     <xsl:with-param name="name" select="@name"/>
     <xsl:with-param name="RDFURI" select="$RDFURIInductiveType"/>
    </xsl:apply-templates>
   <xsl:for-each select="Constructor">
    <xsl:variable name="RDFURIConstructor" select="concat($RDFURIInductiveType,',',position())"/>
+   <h3>Metadata related to <xsl:value-of select="@name"/>:</h3>
    <xsl:apply-templates select="document(concat($url,$RDFURIConstructor))" mode="makelink">
     <xsl:with-param name="name" select="@name"/>
     <xsl:with-param name="RDFURI" select="$RDFURIConstructor"/>

diff --git a/helm/on-line/xslt/metadataControl.xsl b/helm/on-line/xslt/metadataControl.xsl
index c33d7b2b45891d37190ad0e643efbd8d4ec64d8c..5e5d361fa19b4e9750b66545ae9c043d760cdb1b 100644 (file)
--- a/helm/on-line/xslt/metadataControl.xsl
+++ b/helm/on-line/xslt/metadataControl.xsl
@@ -14,7 +14,7 @@
 <xsl:param name="RDFURI" select="''"/>
 
 <!-- BUG UWOBO -->
-<xsl:include href="http://phd.cs.unibo.it/helm/xslt/metadataLib.xsl"/>
+<xsl:include href="file:///projects/helm/on-line/xslt/metadataLib.xsl"/>
 
 <xsl:template match="unresolved|url">
  <xsl:apply-templates mode="makelink" select=".">

diff --git a/helm/on-line/xslt/metadataLib.xsl b/helm/on-line/xslt/metadataLib.xsl
index 5b78e2b9eb35237e7e94257e3ed3b0bb87f0d2ef..95aab43f35817325360dedd77bf186cf3d271a55 100644 (file)
--- a/helm/on-line/xslt/metadataLib.xsl
+++ b/helm/on-line/xslt/metadataLib.xsl
@@ -36,6 +36,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 +44,35 @@
  <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 CICURI = "<xsl:value-of select="$CICURI"/>";
+<![CDATA[
+   document.write('<a target="graph" href="http://localhost:8083/draw?url=' +
+    escape('http://localhost:8080/helm/servlet/uwobo/apply?xmluri=http://localhost:8081/getxml%3Furi%3D' + RDFURI + '&keys=MMG&param.getterURL=http%3A//localhost%3A8081/&prop.media-type=text/plain&param.CICURI=' + CICURI) + '">View the graph of all the objects dependending 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"/>";
+<![CDATA[
+   document.write('<a target="graph" href="http://localhost:8083/draw?url=' +
+    escape('http://localhost:8080/helm/servlet/uwobo/apply?xmluri=http://localhost:8081/getxml%3Furi%3D' + CICURI + '&keys=MDG&param.getterURL=http%3A//localhost%3A8081/&prop.media-type=text/plain&param.CICURI=' + CICURI) + '">View the graph of all the dependencies of this object.</a>');
 ]]>
   </script>
  </p>