net.sf.saxon.type

Interface UnionType

All Superinterfaces:

ItemType, SchemaComponent, SchemaType, SimpleType

All Known Implementing Classes:

ErrorType, UserUnionType

public interface UnionType
extends SimpleType, ItemType

Interface representing a union type. This may be either a built-in union type (of which there is only one, namely ErrorType), or a user-defined union type.

Field Summary

Fields inherited from interface net.sf.saxon.type.SchemaType

DERIVATION_EXTENSION, DERIVATION_LIST, DERIVATION_RESTRICTION, DERIVATION_UNION, DERIVE_BY_SUBSTITUTION

Fields inherited from interface net.sf.saxon.type.SchemaComponent

COMPONENT_FUNCTION_TYPE, FIXED_UP, INCOMPLETE, INVALID, UNVALIDATED, VALIDATED, VALIDATING

Method Summary

Methods

Modifier and Type	Method and Description
boolean	containsListType() Ask whether the union contains a list type among its member types
Set<PlainType>	getPlainMemberTypes() Get the "plain" types in the transitive membership.
SequenceType	getResultTypeOfCast() Get the result type of a cast operation to this union type, as a sequence type.

Methods inherited from interface net.sf.saxon.type.SimpleType

getBuiltInBaseType, getTypedValue, getWhitespaceAction, isAtomicType, isBuiltInType, isExternalType, isListType, isNamespaceSensitive, isUnionType, postprocess, preprocess, validateContent

Methods inherited from interface net.sf.saxon.type.SchemaType

allowsDerivation, analyzeContentExpression, atomize, checkTypeDerivationIsOK, getBaseType, getBlock, getDerivationMethod, getDescription, getDisplayName, getEQName, getFinalProhibitions, getFingerprint, getName, getNameCode, getSystemId, getTargetNamespace, isAnonymousType, isComplexType, isIdRefType, isIdType, isSameType, isSimpleType

Methods inherited from interface net.sf.saxon.type.SchemaComponent

getComponentAsFunction, getRedefinitionLevel, getValidationStatus

Methods inherited from interface net.sf.saxon.type.ItemType

getAtomizedItemType, getPrimitiveItemType, getPrimitiveType, getSuperType, isAtomicType, isAtomizable, isPlainType, matches, matchesItem, visitNamedSchemaComponents

Method Detail

containsListType

boolean containsListType()

Ask whether the union contains a list type among its member types

Returns:

true of one of the member types is a list type

getPlainMemberTypes

Set<PlainType> getPlainMemberTypes()

Get the "plain" types in the transitive membership. Plain types are atomic types and union types that are defined directly in terms of other plain types, without adding any restriction facets.

Returns:

the atomic types and plain union types in the transitive membership of the union type.

getResultTypeOfCast

SequenceType getResultTypeOfCast()

Get the result type of a cast operation to this union type, as a sequence type.

Returns:

the result type of casting, as precisely as possible. For example, if all the member types of the union are derived from the same primitive type, this will return that primitive type.