net.sf.saxon.type

Interface UnionType

All Superinterfaces:

ItemType, SchemaComponent, SchemaType, SimpleType

All Known Implementing Classes:

ErrorType, NumericType

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

Modifier and Type	Method and Description
ValidationFailure	checkAgainstFacets(AtomicValue value, ConversionRules rules) Check an atomic value that is known to be an instance of one of the member types against any facets defined at the level of the union itself
boolean	containsListType() Ask whether the union contains a list type among its member types
Iterable<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, getStructuredQName, 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

generateJavaScriptItemTypeAcceptor, generateJavaScriptItemTypeTest, getAtomizedItemType, getPrimitiveItemType, getPrimitiveType, getUType, isAtomicType, isAtomizable, isPlainType, matches, visitNamedSchemaComponents

Method Detail

containsListType

boolean containsListType()
                  throws MissingComponentException

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

Returns:

true of one of the member types is a list type

Throws:

MissingComponentException

getPlainMemberTypes

Iterable<PlainType> getPlainMemberTypes()
                                 throws MissingComponentException

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.

Throws:

MissingComponentException

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.

checkAgainstFacets

ValidationFailure checkAgainstFacets(AtomicValue value,
                                     ConversionRules rules)

Check an atomic value that is known to be an instance of one of the member types against any facets defined at the level of the union itself

Parameters:

value -

rules -

Returns:

null if the value is valid