net.sf.saxon.type

Interface FunctionItemType

public interface FunctionItemType extends ItemType

Higher-order functions in XQuery 1.1 introduce a third kind of Item, namely a Function Item. This type is represented here by a placeholder interfaces. The implementation of this type is found only in Saxon-EE
Method Summary
ExpressionmakeFunctionSequenceCoercer(Expression exp, RoleLocator role, ExpressionVisitor visitor)
Create an expression whose effect is to apply function coercion to coerce a function to this function type
intrelationship(FunctionItemType other, TypeHierarchy th)
Determine the relationship of one function item type to another

Method Detail

makeFunctionSequenceCoercer

public Expression makeFunctionSequenceCoercer(Expression exp, RoleLocator role, ExpressionVisitor visitor)
Create an expression whose effect is to apply function coercion to coerce a function to this function type

Parameters: exp the expression that delivers the supplied sequence of function items (the ones in need of coercion) role information for use in diagnostics visitor the expression visitor, supplies context information

Returns: the coerced function, a function that calls the original function after checking the parameters

relationship

public int relationship(FunctionItemType other, TypeHierarchy th)
Determine the relationship of one function item type to another

Returns: for example SUBSUMES, SAME_TYPE