Package net.sf.saxon.type
Class AnyFunctionType
java.lang.Object
net.sf.saxon.type.AnyFunctionType
- All Implemented Interfaces:
Serializable
,FunctionItemType
,ItemType
An ItemType representing the type function(). Subtypes represent function items with more specific
type signatures.
- See Also:
-
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionGet the argument types of the functionGet the item type of the atomic values that will be produced when an item of this type is atomizeddouble
Determine the default priority of this item type when used on its own as a Patternstatic AnyFunctionType
Get the singular instance of this type (Note however that subtypes of this type may have any number of instances)Get the primitive item type corresponding to this item type.int
Get the primitive type corresponding to this item type.Get the result typeGet the type from which this item type is derived by restriction.boolean
Determine whether this item type is an atomic typeboolean
Ask whether values of this type are atomizableboolean
Ask whether this function item type is a map type.boolean
Determine whether this item type is atomic (that is, whether it can ONLY match atomic values)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 typeboolean
matches
(Item item, XPathContext context) Test whether a given item conforms to this typeboolean
matchesItem
(Item item, boolean allowURIPromotion, Configuration config) Test whether a given item conforms to this typeint
relationship
(FunctionItemType other, TypeHierarchy th) Determine the relationship of one function item type to anothertoString()
Produce a representation of this type name for use in error messages.Produce a representation of this type name for use in error messages.void
Visit all the schema components used in this ItemType definition
-
Field Details
-
ANY_FUNCTION
-
SINGLE_FUNCTION
-
-
Constructor Details
-
AnyFunctionType
public AnyFunctionType()
-
-
Method Details
-
getInstance
Get the singular instance of this type (Note however that subtypes of this type may have any number of instances) -
isAtomicType
public boolean isAtomicType()Determine whether this item type is an atomic type- Specified by:
isAtomicType
in interfaceItemType
- Returns:
- true if this is ANY_ATOMIC_TYPE or a subtype thereof
-
isPlainType
public boolean isPlainType()Determine whether this item type is atomic (that is, whether it can ONLY match atomic values)- Specified by:
isPlainType
in interfaceItemType
- Returns:
- true if this is ANY_ATOMIC_TYPE or a subtype thereof
-
isMapType
public boolean isMapType()Ask whether this function item type is a map type. In this case function coercion (to the map type) will never succeed.- Specified by:
isMapType
in interfaceFunctionItemType
- Returns:
- true if this FunctionItemType is a map type
-
getArgumentTypes
Get the argument types of the function- Specified by:
getArgumentTypes
in interfaceFunctionItemType
- Returns:
- the argument types, as an array of SequenceTypes, or null if this is the generic function type function(*)
-
matches
Test whether a given item conforms to this type -
matchesItem
Test whether a given item conforms to this type- Specified by:
matchesItem
in interfaceItemType
- Parameters:
item
- The item to be testedallowURIPromotion
-config
-- Returns:
- true if the item is an instance of this type; false otherwise
-
getSuperType
Get the type from which this item type is derived by restriction. This is the supertype in the XPath type heirarchy, as distinct from the Schema base type: this means that the supertype of xs:boolean is xs:anyAtomicType, whose supertype is item() (rather than xs:anySimpleType). In fact the concept of "supertype" is not really well-defined, because the types form a lattice rather than a hierarchy. The only real requirement on this function is that it returns a type that strictly subsumes this type, ideally as narrowly as possible.- Specified by:
getSuperType
in interfaceItemType
- Parameters:
th
- the type hierarchy cache- Returns:
- the supertype, or null if this type is item()
-
getPrimitiveItemType
Get the primitive item type corresponding to this item type. For item(), this is Type.ITEM. For node(), it is Type.NODE. For specific node kinds, it is the value representing the node kind, for example Type.ELEMENT. For anyAtomicValue it is Type.ATOMIC_VALUE. For numeric it is Type.NUMBER. For other atomic types it is the primitive type as defined in XML Schema, except that integer, xs:dayTimeDuration, and xs:yearMonthDuration are considered to be primitive types. For function items it is the singular instance FunctionItemType.getInstance().- Specified by:
getPrimitiveItemType
in interfaceItemType
- Returns:
- the corresponding primitive type
-
getPrimitiveType
public int getPrimitiveType()Get the primitive type corresponding to this item type. For item(), this is Type.ITEM. For node(), it is Type.NODE. For specific node kinds, it is the value representing the node kind, for example Type.ELEMENT. For anyAtomicValue it is Type.ATOMIC_VALUE. For numeric it is Type.NUMBER. For other atomic types it is the primitive type as defined in XML Schema, except that INTEGER is considered to be a primitive type.- Specified by:
getPrimitiveType
in interfaceItemType
- Returns:
- the integer fingerprint of the corresponding primitive type
-
toString
Produce a representation of this type name for use in error messages. -
toString
Produce a representation of this type name for use in error messages. -
getAtomizedItemType
Get the item type of the atomic values that will be produced when an item of this type is atomized- Specified by:
getAtomizedItemType
in interfaceItemType
- Returns:
- the item type of the atomic values that will be produced when an item of this type is atomized
-
isAtomizable
public boolean isAtomizable()Ask whether values of this type are atomizable- Specified by:
isAtomizable
in interfaceItemType
- Returns:
- true unless it is known that these items will be elements with element-only content, in which case return false
-
relationship
Determine the relationship of one function item type to another- Specified by:
relationship
in interfaceFunctionItemType
- Returns:
- for example
TypeHierarchy.SUBSUMES
,TypeHierarchy.SAME_TYPE
-
makeFunctionSequenceCoercer
public Expression makeFunctionSequenceCoercer(Expression exp, RoleLocator role, TypeCheckerEnvironment visitor) throws XPathException Create an expression whose effect is to apply function coercion to coerce a function from this type to another type- Specified by:
makeFunctionSequenceCoercer
in interfaceFunctionItemType
- Parameters:
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- Returns:
- the coerced function, a function that calls the original function after checking the parameters
- Throws:
XPathException
-
visitNamedSchemaComponents
Visit all the schema components used in this ItemType definition- Specified by:
visitNamedSchemaComponents
in interfaceItemType
- Parameters:
visitor
- the visitor class to be called when each component is visited- Throws:
XPathException
- if an error occurs
-
getResultType
Get the result type- Specified by:
getResultType
in interfaceFunctionItemType
- Returns:
- the result type
-
getDefaultPriority
public double getDefaultPriority()Description copied from interface:ItemType
Determine the default priority of this item type when used on its own as a Pattern- Specified by:
getDefaultPriority
in interfaceItemType
- Returns:
- the default priority
-