public final class ErrorType extends NodeTest implements AtomicType, UnionType, PlainType
DERIVATION_EXTENSION, DERIVATION_LIST, DERIVATION_RESTRICTION, DERIVATION_UNION, DERIVE_BY_SUBSTITUTION
COMPONENT_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)
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 |
containsListType()
Ask whether the union contains a list type among its member types
|
AtomicType |
getAtomizedItemType()
Get the item type of the atomic values that will be produced when an item
of this type is atomized (assuming that atomization succeeds)
|
SchemaType |
getBaseType()
Get the base type
|
int |
getBlock()
Returns the value of the 'block' attribute for this type, as a bit-signnificant
integer with fields such as
SchemaType.DERIVATION_LIST and SchemaType.DERIVATION_EXTENSION |
SchemaType |
getBuiltInBaseType()
Get the built-in ancestor of this type in the type hierarchy
|
Function |
getComponentAsFunction()
Get the schema component in the form of a function item.
|
double |
getDefaultPriority()
Determine the default priority to use if this node-test appears as a match pattern
for a template with no explicit priority attribute.
|
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 diagnostics
|
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
|
static ErrorType |
getInstance()
Get the singular instance of this class
|
SchemaType |
getKnownBaseType()
Returns the base type that this type inherits from.
|
StructuredQName |
getMatchingNodeName()
Get the name of the nodes matched by this nodetest, if it matches a specific name.
|
String |
getName()
Get the local name of this type
|
Iterable<PlainType> |
getPlainMemberTypes()
Get the list of plain types that are subsumed by this type
|
AtomicType |
getPrimitiveItemType()
Get the primitive item type corresponding to this item type.
|
int |
getPrimitiveType()
Get the basic kind of object that this ItemType matches: for a NodeTest, this is the kind of node,
or Type.Node if it matches different kinds of nodes.
|
int |
getRedefinitionLevel()
Get the redefinition level.
|
SequenceType |
getResultTypeOfCast()
Get the result type of a cast operation to this union type, as a sequence type.
|
StringConverter |
getStringConverter(ConversionRules rules)
Get a StringConverter, an object which converts strings in the lexical space of this
data type to instances (in the value space) of the data type.
|
StructuredQName |
getStructuredQName()
Get the name of the type as a StructuredQName
|
String |
getSystemId()
Get the URI of the schema document containing the definition of this type
|
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
|
StructuredQName |
getTypeName()
Get the name of this type as a StructuredQName, unless the type is anonymous, in which case
return null
|
UType |
getUType()
Get the corresponding
UType . |
int |
getValidationStatus()
Get the validation status - always valid
|
int |
getWhitespaceAction()
Determine how values of this simple type are whitespace-normalized.
|
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 |
isAnonymousType()
Test 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()
Test 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()
Determine whether this is a list type
|
boolean |
isNamespaceSensitive()
Test whether this type represents namespace-sensitive content
|
boolean |
isOrdered(boolean optimistic)
Determine whether the atomic type is ordered, that is, whether less-than and greater-than comparisons
are permitted
|
boolean |
isPlainType()
Determine whether this item type is atomic (that is, whether it can ONLY match
atomic values)
|
boolean |
isPrimitiveType()
Determine whether the atomic type is a primitive type.
|
boolean |
isSameType(SchemaType other)
Test whether this is the same type as another type.
|
boolean |
isSimpleType()
Test whether this SchemaType is a simple type
|
boolean |
isUnionType()
Determin whether this is a union type
|
boolean |
matches(int nodeKind,
NodeName name,
SchemaType annotation)
Test whether this node test is satisfied by a given node.
|
boolean |
matches(Item item,
TypeHierarchy th)
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.
|
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
|
copy, export, getContentType, getNodeKindMask, getRequiredNodeNames, isNillable, matches, matchesNode
public UType getUType()
UType
. A UType is a union of primitive item
types.public String getName()
getName
in interface SchemaType
public String getTargetNamespace()
getTargetNamespace
in interface SchemaType
public String getEQName()
getEQName
in interface SchemaType
public boolean containsListType()
UnionType
containsListType
in interface UnionType
public Iterable<PlainType> getPlainMemberTypes()
PlainType
getPlainMemberTypes
in interface PlainType
getPlainMemberTypes
in interface UnionType
public boolean isExternalType()
isExternalType
in interface PlainType
isExternalType
in interface SimpleType
public boolean isBuiltInType()
isBuiltInType
in interface AtomicType
isBuiltInType
in interface SimpleType
public int getRedefinitionLevel()
getRedefinitionLevel
in interface SchemaComponent
public String getSystemId()
getSystemId
in interface SchemaType
public static ErrorType getInstance()
public int getValidationStatus()
getValidationStatus
in interface SchemaComponent
SchemaComponent.UNVALIDATED
, SchemaComponent.VALIDATING
,
SchemaComponent.VALIDATED
, SchemaComponent.INVALID
, SchemaComponent.INCOMPLETE
public SchemaType getBaseType()
getBaseType
in interface SchemaType
public SchemaType getKnownBaseType()
public boolean isComplexType()
isComplexType
in interface SchemaType
public boolean isSimpleType()
isSimpleType
in interface SchemaType
public int getFingerprint()
getFingerprint
in interface SchemaType
getFingerprint
in class NodeTest
public StructuredQName getMatchingNodeName()
getMatchingNodeName
in class NodeTest
public StructuredQName getStructuredQName()
getStructuredQName
in interface SchemaType
public String getDescription()
getDescription
in interface SchemaType
public String getDisplayName()
getDisplayName
in interface SchemaType
public boolean isSameType(SchemaType other)
isSameType
in interface SchemaType
other
- the other typepublic AtomicSequence atomize(NodeInfo node)
atomize
in interface SchemaType
node
- the node whose typed value is requiredpublic void checkTypeDerivationIsOK(SchemaType type, int block) throws SchemaException
checkTypeDerivationIsOK
in interface SchemaType
type
- the type from which this type is derivedblock
- the derivations that are blocked by the relevant element declarationSchemaException
- if the derivation is not allowedpublic boolean isAtomicType()
isAtomicType
in interface ItemType
isAtomicType
in interface SchemaType
isAtomicType
in interface SimpleType
isAtomicType
in class NodeTest
public boolean isIdType()
isIdType
in interface SchemaType
public boolean isIdRefType()
isIdRefType
in interface SchemaType
public boolean isAnonymousType()
SchemaType
isAnonymousType
in interface SchemaType
public boolean isListType()
isListType
in interface SimpleType
public boolean isUnionType()
isUnionType
in interface SimpleType
public SchemaType getBuiltInBaseType()
getBuiltInBaseType
in interface SimpleType
public AtomicSequence getTypedValue(CharSequence value, NamespaceResolver resolver, ConversionRules rules) throws ValidationException
getTypedValue
in interface SimpleType
value
- 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 rulesAtomicValue
ValidationException
- if the supplied value is not in the lexical space of the data type (which is
always true for this type)public StringConverter getStringConverter(ConversionRules rules)
getStringConverter
in interface AtomicType
rules
- the conversion rules to be usedpublic ValidationFailure validateContent(CharSequence value, NamespaceResolver nsResolver, ConversionRules rules)
validateContent
in interface SimpleType
value
- 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 conversion rulesUnsupportedOperationException
- if the type is namespace-sensitive and no namespace
resolver is suppliedpublic boolean isNamespaceSensitive()
isNamespaceSensitive
in interface SimpleType
public int getBlock()
SchemaType.DERIVATION_LIST
and SchemaType.DERIVATION_EXTENSION
getBlock
in interface SchemaType
public int getDerivationMethod()
getDerivationMethod
in interface SchemaType
SchemaType.DERIVATION_RESTRICTION
public boolean allowsDerivation(int derivation)
allowsDerivation
in interface SchemaType
derivation
- the kind of derivation, for example SchemaType.DERIVATION_LIST
public int getFinalProhibitions()
getFinalProhibitions
in interface SchemaType
SchemaType.DERIVATION_EXTENSION
public int getWhitespaceAction()
getWhitespaceAction
in interface SimpleType
Whitespace.PRESERVE
, Whitespace.COLLAPSE
,
Whitespace.REPLACE
.public void analyzeContentExpression(Expression expression, int kind) throws XPathException
analyzeContentExpression
in interface SchemaType
expression
- the expression that delivers the contentkind
- the node kind whose content is being delivered: Type.ELEMENT
,
Type.ATTRIBUTE
, or Type.DOCUMENT
XPathException
- if the expression will never deliver a value of the correct typepublic CharSequence preprocess(CharSequence input)
preprocess
in interface SimpleType
input
- the value to be preprocessedpublic CharSequence postprocess(CharSequence input) throws ValidationException
postprocess
in interface SimpleType
input
- 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 boolean isPlainType()
NodeTest
isPlainType
in interface ItemType
isPlainType
in class NodeTest
public boolean matches(Item item, TypeHierarchy th)
ItemType
matches
in interface ItemType
matches
in interface PlainType
matches
in class NodeTest
item
- The item to be testedth
- The type hierarchy cache. Currently used only when matching function items.public boolean matches(int nodeKind, NodeName name, SchemaType annotation)
NodeTest
matches
in class NodeTest
nodeKind
- The kind of node to be matchedname
- identifies the expanded name of the node to be matched.
The value should be null for a node with no name.annotation
- The actual content type of the node. Null means no constraint.public AtomicType getPrimitiveItemType()
NodeTest
getPrimitiveItemType
in interface ItemType
getPrimitiveItemType
in interface PlainType
getPrimitiveItemType
in class NodeTest
public int getPrimitiveType()
NodeTest
getPrimitiveType
in interface ItemType
getPrimitiveType
in class NodeTest
public double getDefaultPriority()
NodeTest
getDefaultPriority
in class NodeTest
public AtomicType getAtomizedItemType()
NodeTest
getAtomizedItemType
in interface ItemType
getAtomizedItemType
in class NodeTest
public boolean isAtomizable()
NodeTest
isAtomizable
in interface ItemType
isAtomizable
in class NodeTest
public void visitNamedSchemaComponents(SchemaComponentVisitor visitor) throws XPathException
NodeTest
visitNamedSchemaComponents
in interface ItemType
visitNamedSchemaComponents
in class NodeTest
visitor
- the visitor class to be called when each component is visitedXPathException
- if an error occurspublic SequenceType getResultTypeOfCast()
UnionType
getResultTypeOfCast
in interface UnionType
public ValidationFailure validate(AtomicValue primValue, CharSequence lexicalValue, ConversionRules rules)
validate
in interface AtomicType
primValue
- 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
- the conversion rulesUnsupportedOperationException
- in the case of an external object typepublic boolean isOrdered(boolean optimistic)
isOrdered
in interface AtomicType
optimistic
- 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 boolean isAbstract()
isAbstract
in interface AtomicType
public boolean isPrimitiveType()
isPrimitiveType
in interface AtomicType
public StructuredQName getTypeName()
getTypeName
in interface AtomicType
getTypeName
in interface PlainType
public Function getComponentAsFunction()
getComponentAsFunction
in interface SchemaComponent
Copyright (c) 2004-2014 Saxonica Limited. All rights reserved.