Package net.sf.saxon.type
Class AnyFunctionType
java.lang.Object
net.sf.saxon.type.AnyFunctionType
- All Implemented Interfaces:
FunctionItemType
,ItemType
- Direct Known Subclasses:
AnyFunctionTypeWithAssertions
,ArrayItemType
,MapType
,RecordTest
,SelfReferenceRecordTest
,SpecificFunctionType
An ItemType representing the type function(*). Subtypes represent function items with more specific
type signatures.
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.
-
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionGet the list of annotation assertions defined on this function item type.Get the argument types of the functionGet the item type of the atomic values that will be produced when an item of this type is atomizedGet an alphabetic code representing the type, or at any rate, the nearest built-in type from which this type is derived.double
Get the default priority when this ItemType is used as an XSLT patternstatic AnyFunctionType
Get the singular instance of this type (Note however that subtypes of this type may have any number of instances)final ItemType
Get the primitive item type corresponding to this item type.final int
Get the primitive type corresponding to this item type.Get the result typegetUType()
Get the correspondingUType
.boolean
Ask whether this function item type is an array type.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, Supplier<RoleDiagnostic> role, boolean allow40) Create an expression whose effect is to apply function coercion to coerce a function from this type to another typeboolean
matches
(Item item, TypeHierarchy th) Test whether a given item conforms to this typerelationship
(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.Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
Methods inherited from interface net.sf.saxon.type.FunctionItemType
getGenre
Methods inherited from interface net.sf.saxon.type.ItemType
explainMismatch, getFullAlphaCode, getNormalizedDefaultPriority, toExportString
-
Field Details
-
ANY_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)- Returns:
- the singular instance of this type
-
getUType
Get the correspondingUType
. A UType is a union of primitive item types. -
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
-
isArrayType
public boolean isArrayType()Ask whether this function item type is an array type. In this case function coercion (to the array type) will never succeed.- Specified by:
isArrayType
in interfaceFunctionItemType
- Returns:
- true if this FunctionItemType is an array type
-
getDefaultPriority
public double getDefaultPriority()Get the default priority when this ItemType is used as an XSLT pattern- Specified by:
getDefaultPriority
in interfaceItemType
- Returns:
- the default priority
-
getBasicAlphaCode
Get an alphabetic code representing the type, or at any rate, the nearest built-in type from which this type is derived. The codes are designed so that for any two built-in types A and B, alphaCode(A) is a prefix of alphaCode(B) if and only if A is a supertype of B.- Specified by:
getBasicAlphaCode
in interfaceItemType
- Returns:
- the alphacode for the nearest containing built-in 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(*)
-
getAnnotationAssertions
Get the list of annotation assertions defined on this function item type.- Specified by:
getAnnotationAssertions
in interfaceFunctionItemType
- Returns:
- the list of annotation assertions, or an empty list if there are none
-
matches
Test whether a given item conforms to this type -
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 final 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. -
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
Ask whether values of this type are atomizable- Specified by:
isAtomizable
in interfaceItemType
- Parameters:
th
- The type hierarchy cache- Returns:
- true if some or all instances of this type can be successfully atomized; false * if no instances of this type can be atomized
-
relationship
Determine the relationship of one function item type to another- Specified by:
relationship
in interfaceFunctionItemType
- Parameters:
other
- the other function item typeth
- the type hierarchy cache- Returns:
- for example
Affinity.SUBSUMES
,Affinity.SAME_TYPE
-
makeFunctionSequenceCoercer
public Expression makeFunctionSequenceCoercer(Expression exp, Supplier<RoleDiagnostic> role, boolean allow40) 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 diagnosticsallow40
-- Returns:
- the sequence of coerced functions, each on a function that calls the corresponding original function after checking the parameters
- Throws:
XPathException
- if an error is detected
-
getResultType
Get the result type- Specified by:
getResultType
in interfaceFunctionItemType
- Returns:
- the result type
-