From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 1 Oct 2001 09:37:07 +0000 (+0000)
Subject: First implementation of graphs. Working on my notebook, probably not
X-Git-Tag: v0_1_3~85
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=a19e0e8f361cb3a72a5b901466de056a71b316a2;p=helm.git

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 2f8650937..0b1ed2b99 100644
--- 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 c33d7b2b4..5e5d361fa 100644
--- 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 5b78e2b9e..95aab43f3 100644
--- 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>