]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/style/content_to_html.xsl
Bug fixed: now propagates informations about inner-types usage and
[helm.git] / helm / style / content_to_html.xsl
index fffc458655886f5fe506189c7915f55ce947000d..461dfddadaaab720a9564151317844588150150b 100644 (file)
@@ -38,7 +38,7 @@
 
 <xsl:variable name="absPath"><xsl:value-of select="$getterURL"/>getciconly?uri=</xsl:variable>
 
-<xsl:variable name="header"><xsl:value-of select="$processorURL"/>/apply?keys=<xsl:value-of select="$keys"/>&#x26;param.keys=<xsl:value-of select="$keys"/>&#x26;param.getterURL=<xsl:value-of select="$getterURL"/>&#x26;param.processorURL=<xsl:value-of select="$processorURL"/>&#x26;xmluri=<xsl:value-of select="$absPath"/></xsl:variable>
+<xsl:variable name="header"><xsl:value-of select="$processorURL"/>/apply?keys=<xsl:value-of select="$keys"/>&#x26;param.naturalLanguage=<xsl:value-of select="$naturalLanguage"/>&#x26;param.keys=<xsl:value-of select="$keys"/>&#x26;param.getterURL=<xsl:value-of select="$getterURL"/>&#x26;param.processorURL=<xsl:value-of select="$processorURL"/>&#x26;xmluri=<xsl:value-of select="$absPath"/></xsl:variable>
 
 <xsl:include href="html_init.xsl"/>
 <xsl:include href="html_set.xsl"/>
 
 <xsl:variable name="showcast" select="0"/>
 
+<xsl:template name="makeURL">
+ <xsl:param name="url" select="''"/>
+ <xsl:value-of select="concat(string($header),string($url),'&#x26;param.CICURI=',string($url))"/>
+</xsl:template>
 
 <!--***********************************************************************-->
 <!-- HTML Head and Body                                                    -->
   <xsl:when test="boolean(@definitionURL)">
    <a>
    <xsl:attribute name="href">
-    <xsl:value-of select="concat(string($header),string(@definitionURL))"/>
+    <xsl:call-template name="makeURL">
+     <xsl:with-param name="url" select="@definitionURL"/>
+    </xsl:call-template>
    </xsl:attribute>
    <xsl:apply-templates/>
    </a>
   <xsl:when test="boolean(@definitionURL)">
    <a>
    <xsl:attribute name="href">
-    <xsl:value-of select="concat(string($header),string(@definitionURL))"/>
+    <xsl:call-template name="makeURL">
+     <xsl:with-param name="url" select="@definitionURL"/>
+    </xsl:call-template>
    </xsl:attribute>
    <xsl:apply-templates/>
    </a>