public class AnyFunctionType extends Object implements FunctionItemType
Note that although this class has a singleton instance representing the type function(*),
there are also likely to be instances of subclasses representing more specific function types.
| Modifier and Type | Field and Description |
|---|---|
static AnyFunctionType |
ANY_FUNCTION |
static SequenceType |
SINGLE_FUNCTION |
| Constructor and Description |
|---|
AnyFunctionType() |
| Modifier and Type | Method and Description |
|---|---|
SequenceType[] |
getArgumentTypes()
Get the argument types of the function
|
AtomicType |
getAtomizedItemType()
Get the item type of the atomic values that will be produced when an item
of this type is atomized
|
double |
getDefaultPriority()
Determine the default priority of this item type when used on its own as a Pattern
|
static AnyFunctionType |
getInstance()
Get the singular instance of this type (Note however that subtypes of this type
may have any number of instances)
|
ItemType |
getPrimitiveItemType()
Get the primitive item type corresponding to this item type.
|
int |
getPrimitiveType()
Get the primitive type corresponding to this item type.
|
SequenceType |
getResultType()
Get the result type
|
ItemType |
getSuperType(TypeHierarchy th)
Get the type from which this item type is derived by restriction.
|
boolean |
isAtomicType()
Determine whether this item type is an atomic type
|
boolean |
isAtomizable()
Ask whether values of this type are atomizable
|
boolean |
isMapType()
Ask whether this function item type is a map type.
|
boolean |
isPlainType()
Determine whether this item type is atomic (that is, whether it can ONLY match
atomic values)
|
Expression |
makeFunctionSequenceCoercer(Expression exp,
RoleLocator role,
TypeCheckerEnvironment visitor)
Create an expression whose effect is to apply function coercion to coerce a function from this type to another type
|
boolean |
matches(Item item,
XPathContext context)
Test whether a given item conforms to this type
|
boolean |
matchesItem(Item item,
boolean allowURIPromotion,
Configuration config)
Test whether a given item conforms to this type
|
int |
relationship(FunctionItemType other,
TypeHierarchy th)
Determine the relationship of one function item type to another
|
String |
toString()
Produce a representation of this type name for use in error messages.
|
void |
visitNamedSchemaComponents(SchemaComponentVisitor visitor)
Visit all the schema components used in this ItemType definition
|
public static final AnyFunctionType ANY_FUNCTION
public static SequenceType SINGLE_FUNCTION
public static AnyFunctionType getInstance()
public boolean isAtomicType()
isAtomicType in interface ItemTypepublic boolean isPlainType()
isPlainType in interface ItemTypepublic boolean isMapType()
isMapType in interface FunctionItemTypepublic SequenceType[] getArgumentTypes()
getArgumentTypes in interface FunctionItemTypepublic boolean matches(Item item, XPathContext context)
public boolean matchesItem(Item item, boolean allowURIPromotion, Configuration config)
matchesItem in interface ItemTypeitem - The item to be testedallowURIPromotion - if a URI value is to be treated as a stringconfig - The Saxon configurationpublic ItemType getSuperType(TypeHierarchy th)
getSuperType in interface ItemTypeth - the type hierarchy cachepublic final ItemType getPrimitiveItemType()
getPrimitiveItemType in interface ItemTypepublic final int getPrimitiveType()
getPrimitiveType in interface ItemTypepublic String toString()
public AtomicType getAtomizedItemType()
getAtomizedItemType in interface ItemTypepublic boolean isAtomizable()
isAtomizable in interface ItemTypepublic int relationship(FunctionItemType other, TypeHierarchy th)
relationship in interface FunctionItemTypeTypeHierarchy.SUBSUMES, TypeHierarchy.SAME_TYPEpublic Expression makeFunctionSequenceCoercer(Expression exp, RoleLocator role, TypeCheckerEnvironment visitor) throws XPathException
makeFunctionSequenceCoercer in interface FunctionItemTypeexp - 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 informationXPathExceptionpublic void visitNamedSchemaComponents(SchemaComponentVisitor visitor) throws XPathException
visitNamedSchemaComponents in interface ItemTypevisitor - the visitor class to be called when each component is visitedXPathException - if an error occurspublic SequenceType getResultType()
getResultType in interface FunctionItemTypepublic double getDefaultPriority()
ItemTypegetDefaultPriority in interface ItemTypeCopyright (c) 2004-2013 Saxonica Limited. All rights reserved.