Bug fixing: now the link to the graphs produce extended URIs

[helm.git] / helm / on-line / xslt / metadataLib.xsl
diff --git a/helm/on-line/xslt/metadataLib.xsl b/helm/on-line/xslt/metadataLib.xsl

index a1ea8c58d5f8a0c63d61152f076e6fe1d640d705..e3d2493211cb1ea47ec7c3cecd765d382e9fd257 100644 (file)
--- a/helm/on-line/xslt/metadataLib.xsl
+++ b/helm/on-line/xslt/metadataLib.xsl
@@ -8,6 +8,8 @@
  <xsl:param name="getterURL" select="''"/>
  <xsl:param name="draw_graphURL" select="''"/>
  
+<xsl:variable name="rawCICURI" select="$CICURI"/>
+
  <xsl:template match="/">
   <html>
    <head>
@@ -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,12 +64,14 @@
   </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);
     var url2 = setParam(location.href,"keys","ML2,RT");
     url2 = setParam(url2,"xmluri",escape(url));
@@ -70,18 +79,23 @@
  ]]>
    </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);
     var url2 = setParam(location.href,"keys","ML2,RT");
     url2 = setParam(url2,"xmluri",escape(url));