XPath and XQuery Functions and Operators 4.0

The name of the type. Empty in the case of an anonymous type. Corresponds to {name}^XS11-1 and {target namespace}^XS11-1 in the XSD component model for simple and complex type components.

• Type: xs:QName?

True for a simple type, false for a complex type.

• Type: xs:boolean

Function item returning the base type (the type from which this type is derived by restriction or extension). The function is always present, and returns an empty sequence in the case of the type xs:anyType. Corresponds to the {base type definition}^XS11-1 property in the XSD component model.

• Type: fn() as schema-type-record?

For an atomic type, a function item returning the primitive type from which this type is ultimately derived. Corresponds to the {primitive type definition}^XS11-1 in the XSD component model for simple types. Absent if the type is non atomic, or if it is the simple type xs:anyAtomicType. If this is a primitive type, the function item is idempotent.

• Type: fn() as schema-type-record

For a simple type, one of "atomic", "list", or "union", corresponding to the {variety}^XS11-1 of the simple type in the XSD component model. For a complex type, one of "empty", "simple", "element-only", or "mixed", corresponding to the {content type}^XS11-1.{variety}^XS11-1 of the complex type in the XSD component model.For a simple type, one of "atomic", "list", or "union", corresponding to the {variety}^XS11-1 of the simple type in the XSD component model. For a complex type, one of "empty", "simple", "element-only", or "mixed", corresponding to the {content type}^XS11-1.{variety}^XS11-1 of the complex type in the XSD component model. The value is absent in cases where the {variety}^XS11-1 in the XSD component model is absent, for example for the type xs:anySimpleType.For a simple type, one of "atomic", "list", or "union", corresponding to the {variety}^XS11-1 of the simple type in the XSD component model. For a complex type, one of "empty", "simple", "element-only", or "mixed", corresponding to the {content type}^XS11-1.{variety}^XS11-1 of the complex type in the XSD component model. The value is absent in cases where the {variety}^XS11-1 in the XSD component model is absent, for example for the type xs:anySimpleType.

• Type: enum("atomic", "list", "union", "empty", "simple", "element-only", "mixed")

For a simple type with variety "union", a function that returns a sequence of records representing the member types of the union, in order, corresponding to the {member type definitions}^XS11-1 property in the XSD component model. For a simple type with variety "list", a function that returns a record representing the item type of the list type, corresponding to the {item type definition}^XS11-1 property in the XSD component model. In all other cases, absent.

• Type: fn() as schema-type-record*

For a complex type with variety "simple" (that is, a complex type with simple content), a function that returns a record representing the relevant simple type, corresponding to the {content type}^XS11-1.{simple type definition}^XS11-1 property in the XSD complex type component. In all other cases, absent.

• Type: fn() as schema-type-record

For a generalized atomic type^XP, a function item that can be called to establish whether the supplied atomic item is an instance of this type. In all other cases, absent.

• Type: fn(xs:anyAtomicType) as xs:boolean

For a simple type, a function item that can be used to construct instances of this type. In the case of a named type that is present in the dynamic context, the result is the same function as returned by fn:function-lookup applied to the type name (with arity one). For details see 20.1 Constructor functions for XML Schema built-in atomic types and 20.5 Constructor functions for user-defined atomic and union types. Constructor function items are also available for anonymous types, and for types that might not be present in the dynamic context. The field is absent for complex types and for the abstract types xs:anyAtomicType, xs:anySimpleType, and xs:NOTATION. It is also absent for all namespace-sensitive types, that is, types derived from xs:QName or xs:NOTATION. For a simple type, a function item that can be used to construct instances of this type. In the case of a named type that is present in the dynamic context, the result is the same function as returned by fn:function-lookup applied to the type name (with arity one). For details see 20.1 Constructor functions for XML Schema built-in atomic types and 20.5 Constructor functions for user-defined atomic and union types. Constructor function items are also available for anonymous types, and for types that might not be present in the dynamic context. The field is absent for complex types and for the abstract types xs:anyAtomicType, xs:anySimpleType, and xs:NOTATION. It is also absent for all namespace-sensitive^XP types. For a simple type, a function item that can be used to construct instances of this type. In the case of a named type that is present in the dynamic context, the result is the same function as returned by fn:function-lookup applied to the type name (with arity one). For details see 20.1 Constructor functions for XML Schema built-in atomic types and 20.5 Constructor functions for user-defined atomic and union types. Constructor function items are also available for anonymous types, and for types that might not be present in the dynamic context. The field is absent for complex types and for the abstract types xs:anyAtomicType, xs:anySimpleType, and xs:NOTATION. It is also absent for all namespace-sensitive^{namespace-XPsensitive} types, that is, types derived from xs:QName or xs:NOTATION.

• Type: fn(xs:anyAtomicType) as xs:anyAtomicType