|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
public interface FunctionItemType
Higher-order functions in XPath 3.0 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 | |
|---|---|
SequenceType[] |
getArgumentTypes()
Get the argument types of the function |
SequenceType |
getResultType()
Get the result type of the function |
boolean |
isMapType()
Ask whether this function item type is a map type. |
Expression |
makeFunctionSequenceCoercer(Expression exp,
RoleLocator role,
TypeCheckerEnvironment visitor)
Create an expression whose effect is to apply function coercion to coerce a function to this function type |
int |
relationship(FunctionItemType other,
TypeHierarchy th)
Determine the relationship of one function item type to another |
| Methods inherited from interface net.sf.saxon.type.ItemType |
|---|
getAtomizedItemType, getDefaultPriority, getPrimitiveItemType, getPrimitiveType, getSuperType, isAtomicType, isAtomizable, isPlainType, matches, matchesItem, toString, visitNamedSchemaComponents |
| Method Detail |
|---|
SequenceType[] getArgumentTypes()
SequenceType getResultType()
int relationship(FunctionItemType other,
TypeHierarchy th)
TypeHierarchy.SUBSUMES, TypeHierarchy.SAME_TYPE
Expression makeFunctionSequenceCoercer(Expression exp,
RoleLocator role,
TypeCheckerEnvironment visitor)
throws XPathException
exp - the expression that delivers the supplied sequence of function items (the ones in need of coercion)role - information for use in diagnosticsvisitor - the expression visitor, supplies context information
XPathExceptionboolean isMapType()
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||