The Saxon XQuery implementation allows you to call Java methods as external functions.
The function does not need to be declared. Use a namespace declaration such as
declare namespace math="java:java.lang.Math",
and invoke the method as math:sqrt(2).
More details of this mechanism are found in
Writing Extension Functions; note however
that for XQuery the only form of namespace URI accepted is java:full.class.Name.
Saxon recognizes the XQuery pragma syntax, but it currently defines only one pragma of its own,
the saxon:validate-type pragma (see Extensions).
Saxon will adopt the correct fallback behavior if presented with a query that uses another
vendor's extensions, provided these are designed in conformance with the W3C pragma specification.
Saxon also recognizes the XQuery option declaration syntax. Several specific option declarations are
provided: declare option saxon:default declares a default value for external variables
(query parameters); declare option saxon:output declares a serialization parameter;
and declare option saxon:memo-function defines whether the following function declaration is
to be implemented as a memo function.
These are described under Extensions. Any other option declaration in the
Saxon namespace is ignored with a warning; an option declaration in any other namespace is ignored silently.
