public class UserUnionType extends UserSimpleType implements PlainType, UnionType
A "plain" union is a union that is not derived by restriction and whose
member types are all either atomic types or plain union types. Only plain union
types can be named in the XPath SequenceType production. (All union types, however,
can act as the target of a cast expression). This class implements the interface
PlainType despite the fact that not all its instances represent plain
unions; to test whether a union is a plain union, use the isPlainType()
method.
extendedTypes, finalProhibitionsDERIVATION_EXTENSION, DERIVATION_LIST, DERIVATION_RESTRICTION, DERIVATION_UNION, DERIVE_BY_SUBSTITUTIONCOMPONENT_FUNCTION_TYPE, FIXED_UP, INCOMPLETE, INVALID, UNVALIDATED, VALIDATED, VALIDATING| Constructor and Description |
|---|
UserUnionType(EnterpriseConfiguration config)
Creates a new Union type.
|
| Modifier and Type | Method and Description |
|---|---|
void |
addMemberTypeReference(TypeReference member)
Add a member type to the list of member types
|
boolean |
containsListType()
Ask whether this union type includes any list types among its members
|
void |
elaborate(SchemaCompiler compiler)
Elaborate the schema component: after reloading a serialized schema component model,
this expands the component with derived information needed during validation episodes.
|
PlainType |
getAtomizedItemType()
Get the item type of the atomic values that will be produced when an item
of this type is atomized
|
double |
getDefaultPriority()
Determine the default priority of this item type when used on its own as a Pattern
|
List<TypeReference> |
getMemberTypeReferences()
Get the list of member types
|
Set<PlainType> |
getPlainMemberTypes()
Get the list of plain types that are subsumed by this type
|
ItemType |
getPrimitiveItemType()
Method defined in ItemType: get a primitive supertype in the ItemType type hierarchy
|
int |
getPrimitiveType()
Method defined in ItemType: get a primitive supertype in the ItemType type hierarchy
|
SequenceType |
getResultTypeOfCast()
Get the SequenceType that most accurately describes the result of casting a value to this union type
|
ItemType |
getSuperType(TypeHierarchy th)
Method defined in ItemType: get a supertype in the ItemType type hierarchy
|
AtomicSequence |
getTypedValue(CharSequence value,
NamespaceResolver resolver,
ConversionRules rules)
Get the typed value corresponding to a given string value, assuming it is
valid against this type
|
boolean |
isAtomicType()
Ask whether this Simple Type is an atomic type
|
boolean |
isAtomizable()
Ask whether values of this type are atomizable
|
boolean |
isBuiltInType()
Determine whether this is a built-in type or a user-defined type
|
boolean |
isIdRefType()
Ask whether this type is an IDREF or IDREFS type.
|
boolean |
isIdType()
Ask whether this type is an ID type.
|
boolean |
isListType()
Determine whether this is a list type
|
boolean |
isNamespaceSensitive()
Test whether this type is namespace sensitive, that is, if a namespace context is needed
to translate between the lexical space and the value space.
|
boolean |
isPlainType()
Ask whether this Union type is a "plain type", defined as a union
type whose member types are all atomic types or plain unions.
|
boolean |
isUnionType()
Return true if this type is a union type (that is, if its variety is union)
|
void |
lookForCycles(Stack references,
SchemaCompiler compiler)
This method is called to look for cycles.
|
boolean |
matches(Item item,
XPathContext context)
Test whether a given item conforms to this type
|
boolean |
matchesItem(Item item,
boolean allowURIPromotion,
Configuration config)
Test whether a given item conforms to this type
|
void |
serializeVariety(SchemaModelSerializer serializer)
Serialize the schema component
|
void |
setMemberTypeReferences(List<TypeReference> members)
Set the member types of this union type.
|
String |
toString()
Produce a string representation of the type name.
|
boolean |
validate(SchemaCompiler compiler)
Validate this Union, replacing all unresolved forwards
references at the same time
|
ValidationFailure |
validateContent(CharSequence value,
NamespaceResolver nsResolver,
ConversionRules rules)
Check whether a given input string is valid according to this SimpleType
|
void |
visitNamedSchemaComponents(SchemaComponentVisitor visitor)
Visit all the schema components used in this ItemType definition
|
addFacet, addInheritedFacets, analyzeContentExpression, applyWhitespaceNormalization, atomize, checkAgainstFacets, checkTypeDerivationIsOK, convertFacetValues, getBuiltInBaseType, getComponentAsFunction, getComponentAsFunction, getContextComponent, getEQName, getExtendedFacetList, getFacet, getLocalFacetList, getWhitespaceAction, isSimpleType, isTypeDerivationOK, mergeEnumerationFacets, postprocess, preprocess, serialize, setContextComponent, setFacetListallowsDerivation, containingDeclarationIsElement, getBaseType, getBaseTypeFingerprint, getBaseTypeReference, getBlock, getContainingDeclarationName, getDerivationMethod, getDescription, getDisplayName, getExtensionTypes, getFinalProhibitions, getFingerprint, getLocalName, getName, getNameCode, getNamePool, getTargetNamespace, isAnonymousType, isComplexType, isExternalType, isSameType, registerExtensionType, setBaseTypeReference, setContainingDeclaration, setDerivationMethod, setDerivationMethodName, setExtendedTypes, setFinalProhibitions, setNameCodefixup, getColumnNumber, getConfiguration, getFixupStatus, getLineNumber, getPublicId, getRedefinitionLevel, getSchemaDocumentURI, getSystemId, getValidationStatus, makeXPathExpressionPropertyRecord, setConfiguration, setFixupStatus, setLineNumber, setLocator, setRedefinitionLevel, setSchemaDocumentURI, setSystemId, setValidationStatusclone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, waitisExternalTypegetBuiltInBaseType, getWhitespaceAction, isExternalType, postprocess, preprocessallowsDerivation, analyzeContentExpression, atomize, checkTypeDerivationIsOK, getBaseType, getBlock, getDerivationMethod, getDescription, getDisplayName, getEQName, getFinalProhibitions, getFingerprint, getName, getNameCode, getSystemId, getTargetNamespace, isAnonymousType, isComplexType, isSameType, isSimpleTypegetComponentAsFunction, getRedefinitionLevel, getValidationStatusfixuppublic UserUnionType(EnterpriseConfiguration config)
config - the Configuration for this Union (Cannot be null)public void setMemberTypeReferences(List<TypeReference> members)
members - a list of TypeReference objectspublic void addMemberTypeReference(TypeReference member)
member - a reference to a new member typepublic List<TypeReference> getMemberTypeReferences()
TypeReference objectspublic boolean isAtomicType()
isAtomicType in interface ItemTypeisAtomicType in interface SchemaTypeisAtomicType in interface SimpleTypeisAtomicType in class UserSimpleTypepublic boolean containsListType()
containsListType in interface UnionTypepublic boolean isPlainType()
isPlainType in interface ItemTypepublic SequenceType getResultTypeOfCast()
getResultTypeOfCast in interface UnionTypepublic boolean isIdType()
isIdType in interface SchemaTypeisIdType in class UserSimpleTypepublic boolean isIdRefType()
isIdRefType in interface SchemaTypeisIdRefType in class UserSimpleTypepublic boolean isBuiltInType()
isBuiltInType in interface SimpleTypepublic boolean isListType()
isListType in interface SimpleTypeisListType in class UserSimpleTypepublic boolean isUnionType()
isUnionType in interface SimpleTypeisUnionType in class UserSimpleTypepublic boolean isNamespaceSensitive()
isNamespaceSensitive in interface SimpleTypepublic boolean validate(SchemaCompiler compiler) throws SchemaException
validate in interface UserSchemaComponentvalidate in class UserSimpleTypecompiler - used for error reportingSchemaExceptionpublic void elaborate(SchemaCompiler compiler) throws SchemaException
UserSimpleTypeelaborate in interface UserSchemaComponentelaborate in class UserSimpleTypecompiler - the schema compilerSchemaException - if a fatal error occurspublic void lookForCycles(Stack references, SchemaCompiler compiler) throws SchemaException, UnresolvedReferenceException
lookForCycles in interface UserSchemaComponentlookForCycles in class SchemaStructurereferences - A list of objects that contain direct or indirect references
to this object, and that must therefore not be referred to from this object.compiler - used for error reportingSchemaExceptionUnresolvedReferenceExceptionpublic ValidationFailure validateContent(CharSequence value, NamespaceResolver nsResolver, ConversionRules rules)
validateContent in interface SimpleTypevalue - the input string to be checkednsResolver - a namespace resolver used to resolve namespace prefixes if the type
is namespace sensitive. The value supplied may be null; in this case any namespace-sensitive
content will throw an UnsupportedOperationException.rules - the configuration-wide conversion rulesUnsupportedOperationException - if the type is namespace-sensitive and no namespace
resolver is suppliedpublic AtomicSequence getTypedValue(CharSequence value, NamespaceResolver resolver, ConversionRules rules) throws ValidationException
SimpleTypegetTypedValue in interface SimpleTypevalue - the string valueresolver - a namespace resolver used to resolve any namespace prefixes appearing
in the content of values. Can supply null, in which case any namespace-sensitive content
will be rejected.rules - the conversion rules from the configurationAtomicValue,
The next() method on the iterator throws no checked exceptions, although it is not actually
declared as an UnfailingIterator.ValidationException - if the supplied value is not in the lexical space of the data typepublic void serializeVariety(SchemaModelSerializer serializer) throws XPathException
serializeVariety in class UserSimpleTypeXPathExceptionpublic boolean matches(Item item, XPathContext context)
public boolean matchesItem(Item item, boolean allowURIPromotion, Configuration config)
ItemTypematchesItem in interface ItemTypeitem - The item to be testedallowURIPromotion - if a URI value is to be treated as a stringconfig - the Saxon configurationpublic ItemType getSuperType(TypeHierarchy th)
getSuperType in interface ItemTypeth - the type hierarchy cachepublic ItemType getPrimitiveItemType()
getPrimitiveItemType in interface ItemTypepublic int getPrimitiveType()
getPrimitiveType in interface ItemTypepublic PlainType getAtomizedItemType()
ItemTypegetAtomizedItemType in interface ItemTypepublic boolean isAtomizable()
ItemTypeisAtomizable in interface ItemTypepublic void visitNamedSchemaComponents(SchemaComponentVisitor visitor) throws XPathException
ItemTypevisitNamedSchemaComponents in interface ItemTypevisitor - the visitor class to be called when each component is visitedXPathException - if an error occurspublic Set<PlainType> getPlainMemberTypes()
getPlainMemberTypes in interface PlainTypegetPlainMemberTypes in interface UnionTypepublic double getDefaultPriority()
ItemTypegetDefaultPriority in interface ItemTypeCopyright (c) 2004-2013 Saxonica Limited. All rights reserved.