|
|||||||||
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
XPathException
boolean isMapType()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |