From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 25 Oct 2001 16:36:04 +0000 (+0000)
Subject: There were still many problems with URIs with a ' in the middle.
X-Git-Tag: v0_1_3~33
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=290e15f0b80ab1a9412fb63c51d3c0f317f9eafa;p=helm.git

There were still many problems with URIs with a ' in the middle.
Now they should be all resolved (in theory, at least ;-)
---

diff --git a/helm/on-line/xslt/ls2html.xsl b/helm/on-line/xslt/ls2html.xsl
index a7d27e996..965d15f12 100644
--- a/helm/on-line/xslt/ls2html.xsl
+++ b/helm/on-line/xslt/ls2html.xsl
@@ -5,6 +5,8 @@
 
 <xsl:output method="html" encoding="iso-8859-1"/>
 
+<xsl:import href="utils.xsl"/>
+
 <!-- uri must end with '/' -->
 <xsl:param name="uri" select="''"/>
 <xsl:param name="keys" select="''"/>
@@ -43,29 +45,18 @@
    <img border="0" src="{concat($interfaceURL,'/icons/',$icon)}" alt="[{$alt}]"/>
   </td>
   <td>
-<!-- Substituted with next lines to avoid Mozilla 0.8 bug setting this.search
-    <a
-      onClick=
-       "top.{$target}uri='{$uri}';
-        refresh{$target}Header('{$interfaceURL}/html/library/header.html');
-        this.search='?keys={$keys}' +
-         '&amp;xmluri=' + escape('{$getterURL}ls?format=xml'+'&amp;baseuri={$uri}')+
-         '&amp;param.uri={$uri}' +
-         '&amp;param.keys={$keys}' +
-         '&amp;param.getterURL={$getterURL}' +
-         '&amp;param.target={$target}' +
-         '&amp;param.interfaceURL={$interfaceURL}';"
-      onMouseOver="window.status='{$uri}'; return true"
-      href="apply"
-   ><xsl:value-of select="$basename"/></a>
--->
+    <xsl:variable name="quoteduri">
+     <xsl:call-template name="jsquote">
+      <xsl:with-param name="s" select="$uri"/>
+     </xsl:call-template>
+    </xsl:variable>
     <a
       onClick=
-       "top.{$target}uri='{$uri}';
+       "top.{$target}uri='{$quoteduri}';
         refresh{$target}Header('{$interfaceURL}/html/library/header.html');
         var search='?keys={$keys}' +
-         '&amp;xmluri=' + escape('{$getterURL}ls?format=xml'+'&amp;baseuri={$uri}')+
-         '&amp;param.uri={$uri}' +
+         '&amp;xmluri=' + escape('{$getterURL}ls?format=xml'+'&amp;baseuri={$quoteduri}')+
+         '&amp;param.uri={$quoteduri}' +
          '&amp;param.keys={$keys}' +
          '&amp;param.getterURL={$getterURL}' +
          '&amp;param.target={$target}' +
@@ -75,7 +66,7 @@
          pathname = '/' + pathname;
         this.href=
          this.protocol + '//' + this.host + pathname + search + this.hash;"
-      onMouseOver="window.status='{$uri}'; return true"
+      onMouseOver="window.status='{$quoteduri}'; return true"
       href="apply"
    ><xsl:value-of select="$basename"/></a>
   </td>
@@ -133,9 +124,19 @@
    <img border="0" src="{concat($interfaceURL,'/icons/',$icon)}" alt="[{@name}]"/>
   </td>
   <td>
+   <xsl:variable name="quoteduri">
+    <xsl:call-template name="jsquote">
+     <xsl:with-param name="s" select="$uri"/>
+    </xsl:call-template>
+   </xsl:variable>
+   <xsl:variable name="quotedname">
+    <xsl:call-template name="jsquote">
+     <xsl:with-param name="s" select="$name"/>
+    </xsl:call-template>
+   </xsl:variable>
    <a href="" target="{$target}"
-      onClick="this.href=makeURL('{$target}','{concat($uri,$name)}','{$ann}','{$types}')"
-      onMouseOver="window.status='{concat($uri,$name)}'; return true"
+      onClick="this.href=makeURL('{$target}','{concat($quoteduri,$quotedname)}','{$ann}','{$types}')"
+      onMouseOver="window.status='{concat($quoteduri,$quotedname)}'; return true"
    ><xsl:value-of select="$name"/></a>
   </td>
  </tr>
diff --git a/helm/on-line/xslt/metadataLib.xsl b/helm/on-line/xslt/metadataLib.xsl
index ef45c40ea..e807cc00f 100644
--- a/helm/on-line/xslt/metadataLib.xsl
+++ b/helm/on-line/xslt/metadataLib.xsl
@@ -4,6 +4,8 @@
  xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
  xmlns:subst="http://www.cs.unibo.it/helm/subst">
 
+<xsl:import href="utils.xsl"/>
+
 <xsl:param name="CICURI" select="''"/>
 <xsl:param name="getterURL" select="''"/>
 <xsl:param name="draw_graphURL" select="''"/>
@@ -16,32 +18,6 @@
 <xsl:variable name="BaseRDFURLForward" select="concat($BaseRDFURL,'forward//')"/>
 <xsl:variable name="BaseRDFURLBackward" select="concat($BaseRDFURL,'backward//')"/>
 
-<!-- Next function to quote strings for JavaScript (i.e. ' ==> \' -->
-<xsl:template name="jsquote">
- <xsl:param name="s" select="''"/>
- <xsl:param name="news" select="''"/>
- <xsl:choose>
-  <xsl:when test="$s = ''"><xsl:value-of select="$news"/></xsl:when>
-  <xsl:otherwise>
-   <xsl:variable name="char" select="substring($s,1,1)"/>
-   <xsl:choose>
-    <xsl:when test='$char = "&apos;"'>
-     <xsl:call-template name="jsquote">
-      <xsl:with-param name="s" select="substring($s,2)"/>
-      <xsl:with-param name="news" select='concat($news,"\\\&apos;")'/>
-     </xsl:call-template>
-    </xsl:when>
-    <xsl:otherwise>
-     <xsl:call-template name="jsquote">
-      <xsl:with-param name="s" select="substring($s,2)"/>
-      <xsl:with-param name="news" select="concat($news,$char)"/>
-     </xsl:call-template>
-    </xsl:otherwise>
-   </xsl:choose>
-  </xsl:otherwise>
- </xsl:choose>
-</xsl:template>
-
 <xsl:template match="/">
  <html>
   <head>
@@ -77,6 +53,7 @@
  <xsl:variable name="quotedCICURI">
   <xsl:call-template name="jsquote">
    <xsl:with-param name="s" select="$CICURI"/>
+   <xsl:with-param name="times" select="2"/>
   </xsl:call-template>
  </xsl:variable>
  <xsl:choose>
diff --git a/helm/on-line/xslt/utils.xsl b/helm/on-line/xslt/utils.xsl
new file mode 100644
index 000000000..9213c2436
--- /dev/null
+++ b/helm/on-line/xslt/utils.xsl
@@ -0,0 +1,41 @@
+<?xml version="1.0"?>
+
+<xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform">
+
+<!-- Next function to quote strings for JavaScript (i.e. ' ==> \' -->
+<xsl:template name="jsquote">
+ <xsl:param name="s" select="''"/>
+ <xsl:param name="news" select="''"/>
+ <xsl:param name="times" select="1"/>
+ <xsl:choose>
+  <xsl:when test="$s = ''"><xsl:value-of select="$news"/></xsl:when>
+  <xsl:otherwise>
+   <xsl:variable name="char" select="substring($s,1,1)"/>
+   <xsl:choose>
+    <xsl:when test='$char = "&apos;" and $times = 1'>
+     <xsl:call-template name="jsquote">
+      <xsl:with-param name="s" select="substring($s,2)"/>
+      <xsl:with-param name="news" select='concat($news,"\&apos;")'/>
+      <xsl:with-param name="times" select="$times"/>
+     </xsl:call-template>
+    </xsl:when>
+    <xsl:when test='$char = "&apos;" and $times = 2'>
+     <xsl:call-template name="jsquote">
+      <xsl:with-param name="s" select="substring($s,2)"/>
+      <xsl:with-param name="news" select='concat($news,"\\\&apos;")'/>
+      <xsl:with-param name="times" select="$times"/>
+     </xsl:call-template>
+    </xsl:when>
+    <xsl:otherwise>
+     <xsl:call-template name="jsquote">
+      <xsl:with-param name="s" select="substring($s,2)"/>
+      <xsl:with-param name="news" select="concat($news,$char)"/>
+      <xsl:with-param name="times" select="$times"/>
+     </xsl:call-template>
+    </xsl:otherwise>
+   </xsl:choose>
+  </xsl:otherwise>
+ </xsl:choose>
+</xsl:template>
+
+</xsl:stylesheet>