]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/style/params.xsl
...
[helm.git] / helm / style / params.xsl
index b4d83bce8f7d83e2c3fffa86c855741badf676c5..b5b7f9b88ee7357497be3ec9d189cc76bf11245e 100644 (file)
      <xsl:choose>
       <xsl:when test="$offset > 0">
        <xsl:variable name="params"> 
+        <xsl:variable name="second_url"><xsl:call-template name="URLofURI4getter"><xsl:with-param name="uri" select="$second_uri"/></xsl:call-template></xsl:variable>
         <xsl:value-of 
-            select="document(concat(string($absPath),$second_uri))/*/@params"/>
+            select="document($second_url)/*/@params"/>
        </xsl:variable>
        <xsl:variable name="minimum">
         <xsl:call-template name="min">
      <xsl:when test="($target = 1) and ($noparams != 0)">
       <m:apply>
       <m:csymbol>app</m:csymbol>
-      <xsl:apply-templates select="."/>
+<!-- Mancava modalita': sono all'interno di un termine -->
+      <xsl:apply-templates select="." mode="pure"/>
       <xsl:call-template name="printparam"><xsl:with-param name="noleft" select="$noparams"/></xsl:call-template>
       </m:apply>
      </xsl:when>
       </xsl:when>
       <xsl:otherwise>
        <xsl:if test="$target = 1">
-        <xsl:apply-templates select="."/>
+<!-- Mancava modalita': con target=1 posso provenire sia da un oggetto che da un termine -->
+        <xsl:choose>
+        <xsl:when test="string($binder) = &quot;LAMBDA&quot;">
+        <!-- CSC: era pure, ma deve essere noannot. Giusto, Irene? -->
+         <xsl:apply-templates select="." mode="noannot"/>
+        </xsl:when>
+        <xsl:otherwise>
+         <xsl:apply-templates select="."/>
+        </xsl:otherwise>
+        </xsl:choose>
        </xsl:if>
       </xsl:otherwise>
       </xsl:choose>
 </xsl:template>
 
 </xsl:stylesheet> 
-
-
-
-
-
-