SAXONICA

Saxon Documentation
Full Contents
About Saxon
Changes in this Release
Conditions of Use
Using XSLT 2.0
Using XQuery
Handling Source Documents
XML Schema Processing
XPath API for Java
Saxon on .NET
Extensibility
| Introduction
| Writing extension functions in Java
| Converting Arguments to Java Extension Functions
| Converting the Result of a Java Extension Function
| Writing extension functions for .NET
» | Converting Arguments to .NET Extension Functions
| Converting the Result of a .NET Extension Function
| Writing XSLT extension instructions
| Customizing Serialization
| Implementing a collating sequence
| Localizing numbers and dates
| Adding an output encoding
| Writing a URI Resolver for Input Files
| Writing a URI Resolver for Output Files
Saxon Extensions
Sample Saxon Applications
The Saxon SQL Extension
XSLT Elements
XPath 2.0 Expression Syntax
Function Library
Standards Conformance

# Converting Atomic Values and Sequences

The following conversions are supported between the static type of the supplied value of the argument, and the declared .NET type of the argument. The mappings are given in order of preference; a type that appears earlier in the list has smaller "conversion distance" than one appearing later. These priorities are used to decide which method to call when the class has several methods of the same name. Simple classes (such as boolean) are acceptable wherever the corresponding wrapper class (Boolean) is allowed. Class names shown in italics are Saxon-specific classes.

If the static type of the supplied value allows a sequence of more than one item, then Saxon looks for a method that expects a `SequenceIterator`, a `Collection` or an array in that order. (The first two classes are Saxon-specific). In all these cases except the last the item type of the supplied value plays no role.

Nodes in the supplied sequence are atomized only if the .NET method requires an atomic type such as an integer or string. If the method requires an ICollection, then the contents of the sequence will be supplied as is. The objects in the List will typically be Saxon `Item` objects. (Saxon does not yet recognize the generic types in .NET 2.0, which allow the item type of a collection to be declared). If atomization is required, you can force it by calling the `data()` function.

If the required type is an array, Saxon will attempt to create an array of the required type. This will not always succeed, for example if the array has type `X[]` where X is an interface rather than a concrete class. If it is an array of items or nodes, the nodes in the supplied sequence will be inserted into the array directly; if it is an array of a type such as integer or double, the sequence will first be atomized.

If the supplied value is a singleton (a sequence of one item) then the type of that item is decisive. If it is a sequence of length zero or more than one, then the general rules for a sequence are applied, and the types of the items within the sequence are irrelevant.

If the supplied value contains more than item and only a single item is expected, an error is reported. There is no implicit extraction of the first value (as happened in earlier releases).

Supplied type | Required type
boolean | BooleanValue, bool
dateTime | DateTimeValue, Date
date | DateValue, Date
decimal | DecimalValue, decimal, double, float
double | DoubleValue, double
duration | DurationValue
float | FloatValue, float, double
integer | IntegerValue, decimal, long, integer, short, byte, double, float
string | StringValue, string
anyURI | AnyURIValue, Uri, string
QName | QNameValue, ??
node | SingletonNodeSet, NodeList, (Element, Attr, Document, DocumentFragment, Comment, Text, ProcessingInstruction, CharacterData), Node, Boolean, Byte, Character, Double, Float, Integer, Long, Short, (String, CharSequence), Object
sequence | SequenceIterator, SequenceValue, List, NodeList, NodeInfo, Node, (String, CharSequence), Boolean, Byte, Character, Double, Float, Integer, Long, Short, Object

Saxon tries to select the appropriate method based on the static type of the arguments to the function call. If there are several candidate methods, and there is insufficient information available to decide which is most appropriate, an error is reported. The remedy is to cast the arguments to a more specific type.

Next