net.sf.saxon.query
Class XQueryFunctionLibrary

java.lang.Object
  extended by net.sf.saxon.query.XQueryFunctionLibrary
All Implemented Interfaces:
Serializable, FunctionLibrary, XQueryFunctionBinder

public class XQueryFunctionLibrary
extends Object
implements FunctionLibrary, XQueryFunctionBinder

An XQueryFunctionLibrary is a function library containing all the user-defined functions available for use within a particular XQuery module: that is, the functions declared in that module, and the functions imported from other modules. It also contains (transiently during compilation) a list of function calls within the module that have not yet been bound to a specific function declaration.

See Also:
Serialized Form

Constructor Summary
XQueryFunctionLibrary(Configuration config)
          Create an XQueryFunctionLibrary
 
Method Summary
 Expression bind(StructuredQName functionName, Expression[] arguments, StaticContext env)
          Identify a (namespace-prefixed) function appearing in the expression.
 FunctionLibrary copy()
          This method creates a copy of a FunctionLibrary: if the original FunctionLibrary allows new functions to be added, then additions to this copy will not affect the original, or vice versa.
 void declareFunction(XQueryFunction function)
          Register a user-defined XQuery function
 void explainGlobalFunctions(ExpressionPresenter out)
          Output "explain" information about each declared function
protected  void fixupGlobalFunctions(QueryModule env)
          Fixup all references to global functions.
 Configuration getConfiguration()
          Get the Configuration options
 XQueryFunction getDeclaration(StructuredQName functionName, Expression[] staticArgs)
          Get the function declaration corresponding to a given function name and arity
 XQueryFunction getDeclarationByKey(String functionKey)
          Get the function declaration corresponding to a given function name and arity, supplied in the form "{uri}local/arity"
 Iterator<XQueryFunction> getFunctionDefinitions()
          Get an iterator over the Functions defined in this module
 SequenceType[] getFunctionSignature(StructuredQName functionName, int arity)
          Test whether a function with a given name and arity is available; if so, return its signature.
 UserFunction getUserDefinedFunction(String uri, String localName, int arity)
          Get the function with a given name and arity.
protected  void optimizeGlobalFunctions()
          Optimize the body of all global functions.
 void setConfiguration(Configuration config)
          Set the Configuration options
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

XQueryFunctionLibrary

public XQueryFunctionLibrary(Configuration config)
Create an XQueryFunctionLibrary

Parameters:
config - the Saxon configuration
Method Detail

setConfiguration

public void setConfiguration(Configuration config)
Set the Configuration options

Parameters:
config - the Saxon configuration

getConfiguration

public Configuration getConfiguration()
Get the Configuration options

Returns:
the Saxon configuration

declareFunction

public void declareFunction(XQueryFunction function)
                     throws XPathException
Register a user-defined XQuery function

Parameters:
function - the function to be registered
Throws:
XPathException - if there is an existing function with the same name and arity

getFunctionSignature

public SequenceType[] getFunctionSignature(StructuredQName functionName,
                                           int arity)
Test whether a function with a given name and arity is available; if so, return its signature. This supports the function-available() function in XSLT; it is also used to support higher-order functions introduced in XQuery 1.1.

This method may be called either at compile time or at run time. If the function library is to be used only in an XQuery or free-standing XPath environment, this method may throw an UnsupportedOperationException.

Specified by:
getFunctionSignature in interface FunctionLibrary
Parameters:
functionName - the qualified name of the function being called
arity - The number of arguments. This is set to -1 in the case of the single-argument function-available() function; in this case the method should return true if there is some function of this name available for calling.
Returns:
if a function of this name and arity is available for calling, then the type signature of the function, as an array of sequence types in which the zeroth entry represents the return type; or a zero-length array if the function exists but the signature is not known; or null if the function does not exist

bind

public Expression bind(StructuredQName functionName,
                       Expression[] arguments,
                       StaticContext env)
                throws XPathException
Identify a (namespace-prefixed) function appearing in the expression. This method is called by the XQuery parser to resolve function calls found within the query.

Note that a function call may appear earlier in the query than the definition of the function to which it is bound. Unlike XSLT, we cannot search forwards to find the function definition. Binding of function calls is therefore a two-stage process; at the time the function call is parsed, we simply register it as pending; subsequently at the end of query parsing all the pending function calls are resolved. Another consequence of this is that we cannot tell at the time a function call is parsed whether it is a call to an internal (XSLT or XQuery) function or to an extension function written in Java.

Specified by:
bind in interface FunctionLibrary
Parameters:
functionName - the QName of the function being called
arguments - The expressions supplied statically in arguments to the function call. The length of this array represents the arity of the function. The intention is that the static type of the arguments (obtainable via getItemType() and getCardinality()) may be used as part of the binding algorithm. In some cases it may be possible for the function to be pre-evaluated at compile time, for example if these expressions are all constant values.

The conventions of the XPath language demand that the results of a function depend only on the values of the expressions supplied as arguments, and not on the form of those expressions. For example, the result of f(4) is expected to be the same as f(2+2). The actual expression is supplied here to enable the binding mechanism to select the most efficient possible implementation (including compile-time pre-evaluation where appropriate).

env - The static context of the function call
Returns:
an Expression representing the function call. This will normally be a FunctionCall, but it may be rewritten as some other expression.
Throws:
XPathException - if the function call is invalid, either because it is an unprefixed call to a non-system function, or because it is calling a system function that is available in XSLT only. A prefixed function call that cannot be recognized at this stage is assumed to be a forwards reference, and is bound later when bindUnboundFunctionCalls() is called.

getDeclaration

public XQueryFunction getDeclaration(StructuredQName functionName,
                                     Expression[] staticArgs)
Get the function declaration corresponding to a given function name and arity

Specified by:
getDeclaration in interface XQueryFunctionBinder
Parameters:
functionName - the name of the function as a QName
staticArgs - the expressions supplied as arguments in the function call (typically, we only need to know the number of arguments)
Returns:
the XQueryFunction if there is one, or null if not.

getDeclarationByKey

public XQueryFunction getDeclarationByKey(String functionKey)
Get the function declaration corresponding to a given function name and arity, supplied in the form "{uri}local/arity"

Parameters:
functionKey - a string in the form "{uri}local/arity" identifying the required function
Returns:
the XQueryFunction if there is one, or null if not.

getFunctionDefinitions

public Iterator<XQueryFunction> getFunctionDefinitions()
Get an iterator over the Functions defined in this module

Returns:
an Iterator, whose items are XQueryFunction objects. It returns all function known to this module including those imported from elsewhere; they can be distinguished by their namespace.

fixupGlobalFunctions

protected void fixupGlobalFunctions(QueryModule env)
                             throws XPathException
Fixup all references to global functions. This method is called on completion of query parsing. Each XQueryFunction is required to bind all references to that function to the object representing the run-time executable code of the function.

This method is for internal use.

Parameters:
env - the static context for the main query body.
Throws:
XPathException

optimizeGlobalFunctions

protected void optimizeGlobalFunctions()
                                throws XPathException
Optimize the body of all global functions. This may involve inlining functions calls

Throws:
XPathException

explainGlobalFunctions

public void explainGlobalFunctions(ExpressionPresenter out)
Output "explain" information about each declared function

Parameters:
out - the ExpressionPresenter that renders the output

getUserDefinedFunction

public UserFunction getUserDefinedFunction(String uri,
                                           String localName,
                                           int arity)
Get the function with a given name and arity. This method is provided so that XQuery functions can be called directly from a Java application. Note that there is no type checking or conversion of arguments when this is done: the arguments must be provided in exactly the form that the function signature declares them.

Parameters:
uri - the uri of the function name
localName - the local part of the function name
arity - the number of arguments.
Returns:
the function identified by the URI, local name, and arity; or null if there is no such function

copy

public FunctionLibrary copy()
This method creates a copy of a FunctionLibrary: if the original FunctionLibrary allows new functions to be added, then additions to this copy will not affect the original, or vice versa.

Specified by:
copy in interface FunctionLibrary
Returns:
a copy of this function library. This must be an instance of the original class.


Copyright (c) Saxonica Limited. All rights reserved.