Project

Profile

Help

Support #6445

open

Are EXSLT function supposed to be supported in SaxonC EE (12.4.2)?

Added by Martin Honnen 6 months ago. Updated 6 months ago.

Status:
New
Priority:
Normal
Category:
Saxon-C Internals
Start date:
2024-06-05
Due date:
% Done:

0%

Estimated time:
Applies to branch:
Fix Committed on Branch:
Fixed in Maintenance Release:
Found in version:
SaxonC Languages:
SaxonC Platforms:
SaxonC Architecture:

Description

Hi,

I am currently testing some code to be run with both XSLT 1.0 processors like xsltproc/libxslt as well as XSLT 3 processors like Saxon 12.

I had thought that Saxon 12 EE supports most EXSLT functions and the documentation https://www.saxonica.com/html/documentation12/functions/exslt-dates-and-times/date-time.html says "Requires Saxon-PE or Saxon-EE. Available for Java and C/C++ only".

However, when I run code trying to use an EXSLT function through SaxonCEE 12.4.2's command transform.exe it fails and a test with function-available for all function (even those Saxon Java EE 12.4 supports) returns false.

So I run code

<xsl:stylesheet xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
  xmlns:date="http://exslt.org/dates-and-times"
  exclude-result-prefixes="date"
  version="1.0">

  <xsl:template match="@* | node()">
    <xsl:copy>
      <xsl:apply-templates select="@* | node()"/>
    </xsl:copy>
  </xsl:template>

  <xsl:template match="/">
    <xsl:copy>
      <xsl:apply-templates/>
      <xsl:comment>Run with <xsl:value-of select="system-property('xsl:vendor')"/> at <xsl:value-of select="date:date-time()"/></xsl:comment>
    </xsl:copy>
  </xsl:template>

</xsl:stylesheet>

through SaxonC EE 12.4.2 command transform.exe and get an error (slightly odd error suggesting it has a class net.sf.saxon.option.exslt.Date but somehow fails to find the function in it)

Error at char 17 in expression in xsl:value-of/@select on line 15 column 128 of sheet1.xsl:
  XTDE1425  Cannot find a 0-argument function named
  Q{http://exslt.org/dates-and-times}date-time(). No method or field matching dateTime with
  0 parameters found in class net.sf.saxon.option.exslt.Date
  In template rule with match="/" on line 12 of sheet1.xsl
Cannot find a 0-argument function named Q{http://exslt.org/dates-and-times}date-time(). No method or field matching dateTime with 0 parameters found in class net.sf.saxon.option.exslt.Date

while Saxon Java EE 12.4 outputs

<?xml version="1.0" encoding="UTF-8"?><root>
  <foo>foo 1</foo>
  <bar>bar 1</bar>
</root><!--Run with Saxonica at 2024-06-05T11:33:48.2533341+02:00-->

Files

Actions #1

Updated by Martin Honnen 6 months ago

I also attach the XSLT testing with function-available for support of various EXSLT functions and the output a I get for SaxonC EE 12.4.2 vs the one I get for Saxon Java EE 12.4.

Actions #2

Updated by O'Neil Delpratt 6 months ago

Thanks for reporting this issue. I had a look at the underlying Java code for SaxonC and it is unclear why the EXSLT is not being picked up. We will look investigate it closely next week after the XMLPrague conference

Actions #3

Updated by Martin Honnen 6 months ago

-TJ option with SaxonC EE 12.4.2 gives output like

Looking for method has-same-node in namespace http://exslt.org/sets
Number of actual arguments = 2
Looking in Java class class net.sf.saxon.option.exslt.Sets
Seeking a method with adjusted name hasSameNode
Trying method wait: name does not match
Trying method wait: name does not match
Trying method wait: name does not match
Trying method equals: name does not match
Trying method toString: name does not match
Trying method hashCode: name does not match
Trying method getClass: name does not match
Trying method notify: name does not match
Trying method notifyAll: name does not match
No method or field matching hasSameNode with 2 parameters found in class net.sf.saxon.option.exslt.Sets
Looking for method has-same-node in namespace http://exslt.org/sets

(note that the tried methods all seem to be Object standard methods, no specific methods of the Sets class, perhaps a Reflection shortcoming of Java in GraalVM?)

while SaxonJ EE 12.4 gives e.g.

Looking for method has-same-node in namespace http://exslt.org/sets
Number of actual arguments = 2
Looking in Java class class net.sf.saxon.option.exslt.Sets
Seeking a method with adjusted name hasSameNode
Trying method difference: name does not match
Trying method trailing: name does not match
Trying method intersection: name does not match
Trying method hasSameNode: name matches
Method is static
Method has 2 arguments; expecting 2
Found a candidate method:
    public static boolean net.sf.saxon.option.exslt.Sets.hasSameNode(net.sf.saxon.om.SequenceIterator,net.sf.saxon.om.SequenceIterator) throws net.sf.saxon.trans.XPathException
Actions #4

Updated by O'Neil Delpratt 6 months ago

Thank Martin. Yes I suspect we are missing EXSLT class in the reflection JSON file for Graalvm.

Actions #5

Updated by Martin Honnen 6 months ago

Has this been investigated further or even resolved for 12.5?

Actions #6

Updated by Matt Patterson 6 months ago

GraalVM's static analysis is missing quite a few classes that are loaded dynamically, which the EXSLT functions are (this was also the source of an issue with Windows-1252 encoded files on non-windows platforms).

The only sane way to fix it is to use a GraalVM-provided tracing agent to find all the uses of reflection the static analysis doesn't, by running things that are Java clients of the Saxon codebase using the GraalVM JVM, while the tracing agent is loaded. (The other option is to maintain extremely finicky JSON reflection config by hand, where mistakes can make methods or classes which should be available impossible to call...)

We need to ensure that we're covering all the bases there, which the QT3/XSLT3 and EXPath/EXSLT test suites should do, but we need to rework the way those are run to allow running them in the correct JVM with the tracing agent loaded, along with more investigation of what has been covered. That's too much work to make it into 12.5 at this stage, but we're working on it with the aim of putting into the release after 12.5.

Actions #7

Updated by Martin Honnen 6 months ago

Thanks for the explanation, Matt. Looking forward, nevertheless, to the 12.5 release.

Actions #8

Updated by Michael Kay 6 months ago

Note that most cases where dynamic loading was a problem have been solved by not using Java reflection to load classes that could be loaded directly. For example, the EXPath Binary and File libraries have been rewritten using the conventions for system functions (and indeed, system functions themselves are no longer dynamically loaded).

The only reasons this hasn't been done for the EXSLT functions are that (a) the code is pretty ancient, (b) they are rarely used, and (c) they have never had a very comprehensive test suite. In other words, they are very much second-class citizens. I don't think too many people would scream if we dropped them -- with one exception, exslt:node-set which is a no-op.

Please register to edit this issue

Also available in: Atom PDF