fix for constants containing the __article

JUrban · May 2, 2008 · 132135e · 132135e
1 parent ca6af55
commit 132135e
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 4 deletions.
diff --git a/tstp2dli.xsl b/tstp2dli.xsl
@@ -2,7 +2,7 @@
 
 <xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform">
   <xsl:output method="text"/>
-  <!-- $Revision: 1.2 $ -->
+  <!-- $Revision: 1.3 $ -->
   <!--  -->
   <!-- File: mizpl.xsltxt - stylesheet translating TSTP XML solutions to MML Query DLI syntax -->
   <!--  -->
@@ -284,11 +284,12 @@
           <xsl:when test="$nr &gt;= 0">
             <xsl:choose>
               <xsl:when test="$k=&quot;c&quot;">
+                <xsl:variable name="lev" select="substring-before($art,&quot;__&quot;)"/>
                 <xsl:text>$</xsl:text>
                 <xsl:value-of select="$pref"/>
                 <xsl:text> </xsl:text>
                 <xsl:call-template name="usto0">
-                  <xsl:with-param name="s" select="$art"/>
+                  <xsl:with-param name="s" select="$lev"/>
                 </xsl:call-template>
               </xsl:when>
               <xsl:otherwise>

diff --git a/tstp2dli.xsltxt b/tstp2dli.xsltxt
@@ -3,7 +3,7 @@ stylesheet "1.0";
 output method=text;
 
 
-// $Revision: 1.5 $
+// $Revision: 1.6 $
 //
 // File: mizpl.xsltxt - stylesheet translating TSTP XML solutions to MML Query DLI syntax
 //
@@ -108,7 +108,11 @@ tpl transl_constr(#nm) {
        $art = `substring-after($nm,"_")`;
        // test if $nr is digit
        if [$nr >= 0] {
-	  if [$k="c"] { "$"; $pref; " "; usto0(#s=$art);}
+	  if [$k="c"] 
+	  {
+	  $lev = `substring-before($art,"__")`; 
+	  "$"; $pref; " "; usto0(#s=$lev);
+	  }
 	  else { uc(#s=$art); ":"; mkind(#kind=$k); " "; $nr; }
 	  }
        else {