public class BuiltInAtomicType extends Object implements AtomicType, Serializable
DERIVATION_EXTENSION, DERIVATION_LIST, DERIVATION_RESTRICTION, DERIVATION_UNION, DERIVE_BY_SUBSTITUTIONCOMPONENT_FUNCTION_TYPE, FIXED_UP, INCOMPLETE, INVALID, UNVALIDATED, VALIDATED, VALIDATING| Modifier and Type | Method and Description |
|---|---|
boolean |
allowsDerivation(int derivation)
Determines whether derivation (of a particular kind)
from this type is allowed, based on the "final" property
|
void |
analyzeContentExpression(Expression expression,
int kind,
StaticContext env)
Analyze an expression to see whether the expression is capable of delivering a value of this
type.
|
static void |
analyzeContentExpression(SimpleType simpleType,
Expression expression,
StaticContext env,
int kind)
Analyze an expression to see whether the expression is capable of delivering a value of this
type.
|
AtomicSequence |
atomize(NodeInfo node)
Get the typed value of a node that is annotated with this schema type.
|
void |
checkTypeDerivationIsOK(SchemaType type,
int block)
Check that this type is validly derived from a given type
|
boolean |
equals(Object obj)
Two types are equal if they have the same fingerprint.
|
AtomicType |
getAtomizedItemType()
Get the item type of the atomic values that will be produced when an item
of this type is atomized
|
SchemaType |
getBaseType()
Returns the base type that this type inherits from.
|
int |
getBlock()
Returns the value of the 'block' attribute for this type, as a bit-significant
integer with fields such as
SchemaType.DERIVATION_LIST and SchemaType.DERIVATION_EXTENSION |
SchemaType |
getBuiltInBaseType()
Returns the built-in base type this type is derived from.
|
FunctionItem |
getComponentAsFunction()
Get the schema component in the form of a function item.
|
double |
getDefaultPriority()
Determine the default priority of this item type when used on its own as a Pattern
|
int |
getDerivationMethod()
Gets the integer code of the derivation method used to derive this type from its
parent.
|
String |
getDescription()
Get a description of this type for use in error messages.
|
String |
getDisplayName()
Get the display name of the type: that is, a lexical QName with an arbitrary prefix
|
String |
getEQName()
Get the name of this type as an EQName, that is, a string in the format Q{uri}local.
|
int |
getFinalProhibitions()
Get the types of derivation that are not permitted, by virtue of the "final" property.
|
int |
getFingerprint()
Get the fingerprint of the name of this type
|
SchemaType |
getKnownBaseType()
Returns the base type that this type inherits from.
|
String |
getName()
Get the local name of this type
|
int |
getNameCode()
Get the namecode of the name of this type.
|
Set<PlainType> |
getPlainMemberTypes()
Get the list of plain types that are subsumed by this type
|
ItemType |
getPrimitiveItemType()
Get the primitive item type corresponding to this item type.
|
int |
getPrimitiveType()
Get the primitive type corresponding to this item type.
|
StructuredQName |
getQualifiedName()
Get the name of the type as a QName
|
int |
getRedefinitionLevel()
Get the redefinition level.
|
ItemType |
getSuperType(TypeHierarchy th)
Get the type from which this item type is derived by restriction.
|
String |
getSystemId()
Get the URI of the schema document where the type was originally defined.
|
String |
getTargetNamespace()
Get the target namespace of this type
|
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 (and that the containing node is not nilled)
|
StructuredQName |
getTypeName()
Get the name of this type as a StructuredQName, unless the type is anonymous, in which case
return null
|
int |
getValidationStatus()
Get the validation status - always valid
|
int |
getWhitespaceAction()
Determine the whitespace normalization required for values of this type
|
int |
hashCode()
The fingerprint can be used as a hashcode
|
boolean |
isAbstract()
Determine whether the type is abstract, that is, whether it cannot have instances that are not also
instances of some concrete subtype
|
boolean |
isAllowedInBasicXSLT()
Determine whether this type is supported in a basic XSLT 2.0 processor (all types are
allowed in a basic XSLT 3.0 processor)
|
boolean |
isAllowedInXSD10()
Determine whether this type is supported when using XSD 1.0
|
boolean |
isAnonymousType()
Ask whether this is an anonymous type
|
boolean |
isAtomicType()
Test 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 |
isComplexType()
Ask whether this SchemaType is a complex type
|
boolean |
isExternalType()
Return true if this is an external object type, that is, a Saxon-defined type for external
Java or .NET objects
|
boolean |
isIdRefType()
Ask whether this type is an IDREF or IDREFS type.
|
boolean |
isIdType()
Ask whether this type is an ID type.
|
boolean |
isListType()
Returns true if this type is derived by list, or if it is derived by restriction
from a list type, or if it is a union that contains a list as one of its members
|
boolean |
isNamespaceSensitive()
Test whether this simple type is namespace-sensitive, that is, whether
it is derived from xs:QName or xs:NOTATION
|
boolean |
isNumericType()
Ask whether a built-in type is a numeric type (integer, float, double)
|
boolean |
isOrdered(boolean optimistic)
Determine whether the atomic type is ordered, that is, whether less-than and greater-than comparisons
are permitted
|
boolean |
isPlainType()
Ask whether this is a plain type (a type whose instances are always atomic values)
|
boolean |
isPrimitiveNumeric()
Determine whether the atomic type is numeric
|
boolean |
isPrimitiveType()
Ask whether the atomic type is a primitive type.
|
boolean |
isSameType(SchemaType other)
Test whether this is the same type as another type.
|
boolean |
isSimpleType()
Returns true if this SchemaType is a SimpleType
|
boolean |
isUnionType()
Return true if this type is a union type (that is, if its variety is union)
|
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
|
CharSequence |
postprocess(CharSequence input)
Reverse any pre-lexical facets, other than whitespace.
|
CharSequence |
preprocess(CharSequence input)
Apply any pre-lexical facets, other than whitespace.
|
void |
setBaseTypeFingerprint(int baseFingerprint)
Set the base type of this type
|
String |
toString() |
ValidationFailure |
validate(AtomicValue primValue,
CharSequence lexicalValue,
ConversionRules rules)
Validate that a primitive atomic value is a valid instance of a type derived from the
same primitive type.
|
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
|
public static BuiltInAtomicType ANY_ATOMIC
public static BuiltInAtomicType NUMERIC
public static BuiltInAtomicType STRING
public static BuiltInAtomicType BOOLEAN
public static BuiltInAtomicType DURATION
public static BuiltInAtomicType DATE_TIME
public static BuiltInAtomicType DATE
public static BuiltInAtomicType TIME
public static BuiltInAtomicType G_YEAR_MONTH
public static BuiltInAtomicType G_MONTH
public static BuiltInAtomicType G_MONTH_DAY
public static BuiltInAtomicType G_YEAR
public static BuiltInAtomicType G_DAY
public static BuiltInAtomicType HEX_BINARY
public static BuiltInAtomicType BASE64_BINARY
public static BuiltInAtomicType ANY_URI
public static BuiltInAtomicType QNAME
public static BuiltInAtomicType NOTATION
public static BuiltInAtomicType UNTYPED_ATOMIC
public static BuiltInAtomicType DECIMAL
public static BuiltInAtomicType FLOAT
public static BuiltInAtomicType DOUBLE
public static BuiltInAtomicType INTEGER
public static BuiltInAtomicType NON_POSITIVE_INTEGER
public static BuiltInAtomicType NEGATIVE_INTEGER
public static BuiltInAtomicType LONG
public static BuiltInAtomicType INT
public static BuiltInAtomicType SHORT
public static BuiltInAtomicType BYTE
public static BuiltInAtomicType NON_NEGATIVE_INTEGER
public static BuiltInAtomicType POSITIVE_INTEGER
public static BuiltInAtomicType UNSIGNED_LONG
public static BuiltInAtomicType UNSIGNED_INT
public static BuiltInAtomicType UNSIGNED_SHORT
public static BuiltInAtomicType UNSIGNED_BYTE
public static BuiltInAtomicType YEAR_MONTH_DURATION
public static BuiltInAtomicType DAY_TIME_DURATION
public static BuiltInAtomicType NORMALIZED_STRING
public static BuiltInAtomicType TOKEN
public static BuiltInAtomicType LANGUAGE
public static BuiltInAtomicType NAME
public static BuiltInAtomicType NMTOKEN
public static BuiltInAtomicType NCNAME
public static BuiltInAtomicType ID
public static BuiltInAtomicType IDREF
public static BuiltInAtomicType ENTITY
public static BuiltInAtomicType DATE_TIME_STAMP
public String getName()
getName in interface SchemaTypepublic String getTargetNamespace()
getTargetNamespace in interface SchemaTypepublic String getEQName()
getEQName in interface SchemaTypepublic boolean isAbstract()
isAbstract in interface AtomicTypepublic boolean isExternalType()
isExternalType in interface PlainTypeisExternalType in interface SimpleTypepublic boolean isBuiltInType()
isBuiltInType in interface AtomicTypeisBuiltInType in interface SimpleTypepublic StructuredQName getTypeName()
getTypeName in interface AtomicTypepublic int getRedefinitionLevel()
getRedefinitionLevel in interface SchemaComponentpublic boolean isOrdered(boolean optimistic)
isOrdered in interface AtomicTypeoptimistic - if true, the function takes an optimistic view, returning true if ordering comparisons
are available for some subtype. This mainly affects xs:duration, where the function returns true if
optimistic is true, false if it is false.public String getSystemId()
getSystemId in interface SchemaTypepublic boolean isPrimitiveNumeric()
public final int getValidationStatus()
getValidationStatus in interface SchemaComponentSchemaComponent.UNVALIDATED, SchemaComponent.VALIDATING,
SchemaComponent.VALIDATED, SchemaComponent.INVALID, SchemaComponent.INCOMPLETEpublic final int getBlock()
SchemaType.DERIVATION_LIST and SchemaType.DERIVATION_EXTENSIONgetBlock in interface SchemaTypepublic final int getDerivationMethod()
getDerivationMethod in interface SchemaTypeSchemaType.DERIVATION_RESTRICTIONpublic final boolean allowsDerivation(int derivation)
allowsDerivation in interface SchemaTypederivation - the kind of derivation, for example SchemaType.DERIVATION_LISTpublic int getFinalProhibitions()
getFinalProhibitions in interface SchemaTypeSchemaType.DERIVATION_EXTENSIONpublic final void setBaseTypeFingerprint(int baseFingerprint)
baseFingerprint - the namepool fingerprint of the name of the base typepublic int getFingerprint()
getFingerprint in interface SchemaTypepublic int getNameCode()
getNameCode in interface SchemaTypepublic StructuredQName getQualifiedName()
public String getDisplayName()
getDisplayName in interface SchemaTypepublic boolean isPrimitiveType()
isPrimitiveType in interface AtomicTypepublic final boolean isComplexType()
isComplexType in interface SchemaTypepublic boolean isAnonymousType()
isAnonymousType in interface SchemaTypepublic boolean isPlainType()
isPlainType in interface ItemTypepublic final SchemaType getBaseType()
getBaseType in interface SchemaTypeIllegalStateException - if this type is not valid.public boolean matches(Item item, XPathContext context)
public boolean matchesItem(Item item, boolean allowURIPromotion, Configuration config)
matchesItem in interface ItemTypeitem - The item to be testedallowURIPromotion - true if we regard a URI as effectively a subtype of Stringconfig - the Saxon configuration (used to locate the type hierarchy cache)public ItemType getSuperType(TypeHierarchy th)
getSuperType in interface ItemTypeth - the type hierarchy cache, not used in this implementationpublic ItemType getPrimitiveItemType()
getPrimitiveItemType in interface ItemTypepublic int getPrimitiveType()
getPrimitiveType in interface ItemTypepublic boolean isAllowedInBasicXSLT()
public boolean isAllowedInXSD10()
public AtomicType getAtomizedItemType()
getAtomizedItemType in interface ItemTypepublic boolean isAtomizable()
isAtomizable in interface ItemTypepublic SchemaType getKnownBaseType()
IllegalStateException - if this type is not valid.public boolean isSameType(SchemaType other)
isSameType in interface SchemaTypeother - the other typepublic String getDescription()
SchemaTypegetDescription in interface SchemaTypepublic void checkTypeDerivationIsOK(SchemaType type, int block) throws SchemaException
checkTypeDerivationIsOK in interface SchemaTypetype - the type from which this type is derivedblock - the derivations that are blocked by the relevant element declarationSchemaException - if the derivation is not allowedpublic final boolean isSimpleType()
isSimpleType in interface SchemaTypepublic boolean isAtomicType()
isAtomicType in interface ItemTypeisAtomicType in interface SchemaTypeisAtomicType in interface SimpleTypepublic boolean isIdType()
isIdType in interface SchemaTypepublic boolean isIdRefType()
isIdRefType in interface SchemaTypepublic boolean isListType()
isListType in interface SimpleTypepublic boolean isUnionType()
isUnionType in interface SimpleTypepublic int getWhitespaceAction()
getWhitespaceAction in interface SimpleTypepublic SchemaType getBuiltInBaseType()
getBuiltInBaseType in interface SimpleTypepublic boolean isNamespaceSensitive()
isNamespaceSensitive in interface SimpleTypepublic 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 - UnsupportedOperationException - if the type is namespace-sensitive and no namespace
resolver is suppliedpublic AtomicSequence atomize(NodeInfo node) throws XPathException
atomize in interface SchemaTypenode - the node whose typed value is requiredXPathException - if the node cannot be atomized, for example if this is a complex type
with element-only contentpublic AtomicSequence getTypedValue(CharSequence value, NamespaceResolver resolver, ConversionRules rules) throws ValidationException
getTypedValue 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 - AtomicValueValidationException - This method should be called only if it is known that the value is
valid. If the value is not valid, there is no guarantee that this method will perform validation,
but if it does detect a validity error, then it MAY throw a ValidationException.public boolean equals(Object obj)
public int hashCode()
public ValidationFailure validate(AtomicValue primValue, CharSequence lexicalValue, ConversionRules rules)
validate in interface AtomicTypeprimValue - the value in the value space of the primitive type.lexicalValue - the value in the lexical space. If null, the string value of primValue
is used. This value is checked against the pattern facet (if any)rules - UnsupportedOperationException - in the case of an external object typepublic void analyzeContentExpression(Expression expression, int kind, StaticContext env) throws XPathException
analyzeContentExpression in interface SchemaTypeexpression - the expression that delivers the contentkind - the node kind whose content is being delivered: Type.ELEMENT,
Type.ATTRIBUTE, or Type.DOCUMENTenv - the static contextXPathException - if the expression will never deliver a value of the correct typepublic static void analyzeContentExpression(SimpleType simpleType, Expression expression, StaticContext env, int kind) throws XPathException
simpleType - the simple type against which the expression is to be checkedexpression - the expression that delivers the contentenv - the static context of the expressionkind - the node kind whose content is being delivered: Type.ELEMENT,
Type.ATTRIBUTE, or Type.DOCUMENTXPathException - if the expression will never deliver a value of the correct typepublic CharSequence preprocess(CharSequence input)
preprocess in interface SimpleTypeinput - the value to be preprocessedpublic CharSequence postprocess(CharSequence input) throws ValidationException
postprocess in interface SimpleTypeinput - the value to be postprocessed: this is the "ordinary" result of converting
the value to a stringValidationException - if postprocessing detects that the value is invalidpublic void visitNamedSchemaComponents(SchemaComponentVisitor visitor) throws XPathException
visitNamedSchemaComponents in interface ItemTypevisitor - the visitor class to be called when each component is visitedXPathException - if an error occurspublic Set<PlainType> getPlainMemberTypes()
getPlainMemberTypes in interface PlainTypepublic double getDefaultPriority()
ItemTypegetDefaultPriority in interface ItemTypepublic boolean isNumericType()
public FunctionItem getComponentAsFunction()
SchemaComponentgetComponentAsFunction in interface SchemaComponentCopyright (c) 2004-2013 Saxonica Limited. All rights reserved.