Code clean-up: the code to create the link to the theory automatically

[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 900797e5f88c8c850af5f5d0f547d9588b27b39a..8b0f34e8254998c460a4f895b7342588c5e236f3 100644 (file)
--- a/helm/on-line/xslt/metadataLib.xsl
+++ b/helm/on-line/xslt/metadataLib.xsl
@@ -42,12 +42,9 @@
   <xsl:when test="document(concat($BaseRDFURLBackward,$RDFURI))/*/*/*">
    <p>
     <script>
-     var RDFURI = "helm:rdf:www.cs.unibo.it/helm/rdf/backward//<xsl:value-of select="$RDFURI"/>";
-     var getterURL = "<xsl:value-of select="$getterURL"/>";
+     var CICURI = "<xsl:value-of select="$CICURI"/>";
 <![CDATA[
-     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>');
+     document.write('<a target="theory" href="' + mkMetaTheoryURL(CICURI) + '">View the objects depending on it.</a>');
 ]]>
     </script>
    </p>
@@ -55,7 +52,7 @@
     <script>
      var CICURI = "<xsl:value-of select="$CICURI"/>";
 <![CDATA[
-     document.write('<a target="graph" href="' + mkDepURL(CICURI,true) + '">View the graph of all the objects depending on this one.</a>');
+     document.write('<a target="graph" href="' + mkMetaURL(CICURI,true) + '">View the graph of all the objects depending on this one.</a>');
 ]]>
     </script>
    </p>
@@ -74,7 +71,7 @@
     <script>
      var CICURI = "<xsl:value-of select="$CICURI"/>";
 <![CDATA[
-     document.write('<a target="graph" href="' + mkMetaURL(CICURI,true) + '">View the graph of all the dependencies of this object.</a>');
+     document.write('<a target="graph" href="' + mkDepURL(CICURI,true) + '">View the graph of all the dependencies of this object.</a>');
 ]]>
     </script>
    </p>