net.sf.saxon.type
Class Untyped

java.lang.Object
  extended by net.sf.saxon.type.Untyped
All Implemented Interfaces:
Serializable, ComplexType, SchemaComponent, SchemaType

public final class Untyped
extends Object
implements ComplexType, Serializable

This class has a singleton instance which represents the complex type xdt:untyped, used for elements that have not been validated.

See Also:
Serialized Form

Field Summary
 
Fields inherited from interface net.sf.saxon.type.ComplexType
OPEN_CONTENT_ABSENT, OPEN_CONTENT_INTERLEAVE, OPEN_CONTENT_NONE, OPEN_CONTENT_SUFFIX, VARIETY_ELEMENT_ONLY, VARIETY_EMPTY, VARIETY_MIXED, VARIETY_SIMPLE
 
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
FIXED_UP, INCOMPLETE, INVALID, UNVALIDATED, VALIDATED, VALIDATING
 
Method Summary
 boolean allowsAttributes()
          Return true if this type (or any known type derived from it by extension) allows the element to have one or more attributes.
 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.
 Value 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 containsElementWildcard()
          Ask whether this type (or any known type derived from it by extension) allows the element to have children that match a wildcard
 void gatherAllPermittedChildren(IntHashSet children, boolean ignoreWildcards)
          Get a list of all the names of elements that can appear as children of an element having this complex type, as integer fingerprints.
 void gatherAllPermittedDescendants(IntHashSet descendants)
          Get a list of all the names of elements that can appear as descendants of an element having this complex type, as integer fingerprints.
 int getAttributeUseCardinality(int fingerprint)
          Find an attribute use within this complex type definition having a given attribute name (identified by fingerprint), and return the cardinality associated with that attribute, which will always be 0, 1, or 0-or-1.
 SimpleType getAttributeUseType(int fingerprint)
          Find an attribute use within this complex type definition having a given attribute name (identified by fingerprint), and return the schema type associated with that attribute.
 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-signnificant integer with fields such as SchemaType.DERIVATION_LIST and SchemaType.DERIVATION_EXTENSION
 int getDerivationMethod()
          Gets the integer code of the derivation method used to derive this type from its parent.
 int getDescendantElementCardinality(int fingerprint)
          Assuming an element is a permitted descendant in the content model of this type, determine the cardinality of the element when it appears as a descendant.
 SchemaType getDescendantElementType(int fingerprint)
          Assuming an element is a permitted descendant in the content model of this type, determine the type of the element when it appears as a descendant.
 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
 int getElementParticleCardinality(int fingerprint, boolean considerExtensions)
          Find an element particle within this complex type definition having a given element name (identified by fingerprint), and return the cardinality associated with that element particle, that is, the number of times the element can occur within this complex type.
 SchemaType getElementParticleType(int fingerprint, boolean considerExtensions)
          Find an element particle within this complex type definition having a given element name (identified by fingerprint), and return the schema type associated with that element particle.
 int getFingerprint()
          Get the fingerprint of the name of this type
static Untyped getInstance()
          Get the singular instance of this class
 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.
 int getRedefinitionLevel()
          Get the redefinition level.
 SimpleType getSimpleContentType()
          For a complex type with simple content, return the simple type of the content.
 String getSystemId()
          Get the URI of the schema document containing the definition of this type
 String getTargetNamespace()
          Get the target namespace of this type
 SequenceIterator getTypedValue(NodeInfo node)
          Get the typed value of a node that is annotated with this schema type
 int getValidationStatus()
          Get the validation status - always valid
 int getVariety()
          Get the variety of this complex type.
 boolean isAbstract()
          Test whether this ComplexType has been marked as abstract.
 boolean isAllContent()
          Test whether this complex type has "all" content, that is, a content model using an xs:all compositor
 boolean isAnonymousType()
          Test whether this is an anonymous type
 boolean isAtomicType()
          Test whether this SchemaType is an atomic type
 boolean isComplexContent()
          Test whether this complex type has complex content
 boolean isComplexType()
          Test whether this SchemaType is a complex type
 boolean isEmptiable()
          Test whether the content model of this complexType allows empty content
 boolean isEmptyContent()
          Test whether the content type of this complex type is empty
 boolean isIdRefType()
          Ask whether this type is an IDREF or IDREFS type.
 boolean isIdType()
          Ask whether this type is an ID type.
 boolean isMixedContent()
          Test whether this complex type allows mixed content
 boolean isRestricted()
          Test whether this complex type is derived by restriction
 boolean isSameType(SchemaType other)
          Test whether this is the same type as another type.
 boolean isSimpleContent()
          Test whether this complex type has simple content
 boolean isSimpleType()
          Test whether this SchemaType is a simple type
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Method Detail

getValidationStatus

public int getValidationStatus()
Get the validation status - always valid

Specified by:
getValidationStatus in interface SchemaComponent
Returns:
one of the values SchemaComponent.UNVALIDATED, SchemaComponent.VALIDATING, SchemaComponent.VALIDATED, SchemaComponent.INVALID, SchemaComponent.INCOMPLETE

getName

public String getName()
Get the local name of this type

Specified by:
getName in interface SchemaType
Returns:
the local name of this type definition, if it has one. Return null in the case of an anonymous type.

getRedefinitionLevel

public int getRedefinitionLevel()
Get the redefinition level. This is zero for a component that has not been redefined; for a redefinition of a level-0 component, it is 1; for a redefinition of a level-N component, it is N+1. This concept is used to support the notion of "pervasive" redefinition: if a component is redefined at several levels, the top level wins, but it is an error to have two versions of the component at the same redefinition level.

Specified by:
getRedefinitionLevel in interface SchemaComponent
Returns:
the redefinition level

getTargetNamespace

public String getTargetNamespace()
Get the target namespace of this type

Specified by:
getTargetNamespace in interface SchemaType
Returns:
the target namespace of this type definition, if it has one. Return null in the case of an anonymous type, and in the case of a global type defined in a no-namespace schema.

getVariety

public int getVariety()
Get the variety of this complex type. This will be one of the values ComplexType.VARIETY_EMPTY, ComplexType.VARIETY_MIXED, ComplexType.VARIETY_SIMPLE, or ComplexType.VARIETY_ELEMENT_ONLY

Specified by:
getVariety in interface ComplexType

getSystemId

public String getSystemId()
Get the URI of the schema document containing the definition of this type

Specified by:
getSystemId in interface SchemaType
Returns:
null for a built-in type

getBlock

public 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

Specified by:
getBlock in interface SchemaType
Returns:
the value of the 'block' attribute for this type

getDerivationMethod

public int getDerivationMethod()
Gets the integer code of the derivation method used to derive this type from its parent. Returns zero for primitive types.

Specified by:
getDerivationMethod in interface SchemaType
Returns:
a numeric code representing the derivation method, for example SchemaType.DERIVATION_RESTRICTION

allowsDerivation

public boolean allowsDerivation(int derivation)
Determines whether derivation (of a particular kind) from this type is allowed, based on the "final" property

Specified by:
allowsDerivation in interface SchemaType
Parameters:
derivation - the kind of derivation, for example SchemaType.DERIVATION_LIST
Returns:
true if this kind of derivation is allowed

checkTypeDerivationIsOK

public void checkTypeDerivationIsOK(SchemaType type,
                                    int block)
Check that this type is validly derived from a given type

Specified by:
checkTypeDerivationIsOK in interface SchemaType
Parameters:
type - the type from which this type is derived
block - the derivations that are blocked by the relevant element declaration

getFingerprint

public int getFingerprint()
Get the fingerprint of the name of this type

Specified by:
getFingerprint in interface SchemaType
Returns:
the fingerprint. Returns an invented fingerprint for an anonymous type.

getNameCode

public int getNameCode()
Get the namecode of the name of this type. This includes the prefix from the original type declaration: in the case of built-in types, there may be a conventional prefix or there may be no prefix.

Specified by:
getNameCode in interface SchemaType
Returns:
the namecode. Returns an invented namecode for an anonymous type.

getDisplayName

public String getDisplayName()
Get the display name of the type: that is, a lexical QName with an arbitrary prefix

Specified by:
getDisplayName in interface SchemaType
Returns:
a lexical QName identifying the type

isComplexType

public boolean isComplexType()
Test whether this SchemaType is a complex type

Specified by:
isComplexType in interface SchemaType
Returns:
true if this SchemaType is a complex type

isAnonymousType

public boolean isAnonymousType()
Test whether this is an anonymous type

Specified by:
isAnonymousType in interface SchemaType
Returns:
true if this SchemaType is an anonymous type

getKnownBaseType

public SchemaType getKnownBaseType()
                            throws IllegalStateException
Returns the base type that this type inherits from. This method can be used to get the base type of a type that is known to be valid. If this type is a Simpletype that is a built in primitive type then null is returned.

Returns:
the base type.
Throws:
IllegalStateException - if this type is not valid.

isSameType

public boolean isSameType(SchemaType other)
Test whether this is the same type as another type. They are considered to be the same type if they are derived from the same type definition in the original XML representation (which can happen when there are multiple includes of the same file)

Specified by:
isSameType in interface SchemaType
Parameters:
other - the other type
Returns:
true if this is the same type as other

getBaseType

public SchemaType getBaseType()
Returns the base type that this type inherits from. If this type is a Simpletype that is a built in primitive type then null is returned.

Specified by:
getBaseType in interface SchemaType
Returns:
the base type.

getInstance

public static Untyped getInstance()
Get the singular instance of this class

Returns:
the singular object representing xs:anyType

isAbstract

public boolean isAbstract()
Test whether this ComplexType has been marked as abstract.

Specified by:
isAbstract in interface ComplexType
Returns:
false: this class is not abstract.

isSimpleType

public boolean isSimpleType()
Test whether this SchemaType is a simple type

Specified by:
isSimpleType in interface SchemaType
Returns:
true if this SchemaType is a simple type

isAtomicType

public boolean isAtomicType()
Test whether this SchemaType is an atomic type

Specified by:
isAtomicType in interface SchemaType
Returns:
true if this SchemaType is an atomic type

isIdType

public boolean isIdType()
Ask whether this type is an ID type. This is defined to be any simple type who typed value may contain atomic values of type xs:ID: that is, it includes types derived from ID by restriction, list, or union. Note that for a node to be treated as an ID, its typed value must be a *single* atomic value of type ID; the type of the node, however, can still allow a list.

Specified by:
isIdType in interface SchemaType

isIdRefType

public boolean isIdRefType()
Ask whether this type is an IDREF or IDREFS type. This is defined to be any simple type who typed value may contain atomic values of type xs:IDREF: that is, it includes types derived from IDREF or IDREFS by restriction, list, or union

Specified by:
isIdRefType in interface SchemaType

isComplexContent

public boolean isComplexContent()
Test whether this complex type has complex content

Specified by:
isComplexContent in interface ComplexType
Returns:
true: this complex type has complex content

isSimpleContent

public boolean isSimpleContent()
Test whether this complex type has simple content

Specified by:
isSimpleContent in interface ComplexType
Returns:
false: this complex type has complex content

isAllContent

public boolean isAllContent()
Test whether this complex type has "all" content, that is, a content model using an xs:all compositor

Specified by:
isAllContent in interface ComplexType
Returns:
false: this complex type does not use an "all" compositor

getSimpleContentType

public SimpleType getSimpleContentType()
For a complex type with simple content, return the simple type of the content. Otherwise, return null.

Specified by:
getSimpleContentType in interface ComplexType
Returns:
null: this complex type does not have simple content

isRestricted

public boolean isRestricted()
Test whether this complex type is derived by restriction

Specified by:
isRestricted in interface ComplexType
Returns:
true: this type is treated as a restriction of xs:anyType

isEmptyContent

public boolean isEmptyContent()
Test whether the content type of this complex type is empty

Specified by:
isEmptyContent in interface ComplexType
Returns:
false: the content model is not empty

isEmptiable

public boolean isEmptiable()
Test whether the content model of this complexType allows empty content

Specified by:
isEmptiable in interface ComplexType
Returns:
true: the content is allowed to be empty

isMixedContent

public boolean isMixedContent()
Test whether this complex type allows mixed content

Specified by:
isMixedContent in interface ComplexType
Returns:
true: mixed content is allowed

getDescription

public String getDescription()
Get a description of this type for use in diagnostics

Specified by:
getDescription in interface SchemaType
Returns:
the string "xs:anyType"

analyzeContentExpression

public 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.

Specified by:
analyzeContentExpression in interface SchemaType
Parameters:
expression - the expression that delivers the content
kind - the node kind whose content is being delivered: Type.ELEMENT, Type.ATTRIBUTE, or Type.DOCUMENT
env - the static context

getTypedValue

public SequenceIterator getTypedValue(NodeInfo node)
Get the typed value of a node that is annotated with this schema type

Specified by:
getTypedValue in interface SchemaType
Parameters:
node - the node whose typed value is required
Returns:
an iterator returning a single untyped atomic value, equivalent to the string value of the node. This follows the standard rules for elements with mixed content.

atomize

public Value atomize(NodeInfo node)
Get the typed value of a node that is annotated with this schema type. The result of this method will always be consistent with the method getTypedValue(net.sf.saxon.om.NodeInfo). However, this method is often more convenient and may be more efficient, especially in the common case where the value is expected to be a singleton.

Specified by:
atomize in interface SchemaType
Parameters:
node - the node whose typed value is required
Returns:
the typed value.
Since:
8.5

getElementParticleType

public SchemaType getElementParticleType(int fingerprint,
                                         boolean considerExtensions)
Find an element particle within this complex type definition having a given element name (identified by fingerprint), and return the schema type associated with that element particle. If there is no such particle, return null. If the fingerprint matches an element wildcard, return the type of the global element declaration with the given name if one exists, or AnyType if none exists and lax validation is permitted by the wildcard.

Specified by:
getElementParticleType in interface ComplexType
Parameters:
fingerprint - Identifies the name of the child element within this content model
considerExtensions -
Returns:
the schema type associated with the child element particle with the given name. If there is no such particle, return null.

getElementParticleCardinality

public int getElementParticleCardinality(int fingerprint,
                                         boolean considerExtensions)
Find an element particle within this complex type definition having a given element name (identified by fingerprint), and return the cardinality associated with that element particle, that is, the number of times the element can occur within this complex type. The value is one of StaticProperty.EXACTLY_ONE, StaticProperty.ALLOWS_ZERO_OR_ONE, StaticProperty.ALLOWS_ZERO_OR_MORE, StaticProperty.ALLOWS_ONE_OR_MORE, If there is no such particle, return zero.

Specified by:
getElementParticleCardinality in interface ComplexType
Parameters:
fingerprint - Identifies the name of the child element within this content model
considerExtensions -
Returns:
the cardinality associated with the child element particle with the given name. If there is no such particle, return StaticProperty.EMPTY.

getAttributeUseType

public SimpleType getAttributeUseType(int fingerprint)
Find an attribute use within this complex type definition having a given attribute name (identified by fingerprint), and return the schema type associated with that attribute. If there is no such attribute use, return null. If the fingerprint matches an attribute wildcard, return the type of the global attribute declaration with the given name if one exists, or AnySimpleType if none exists and lax validation is permitted by the wildcard.

Specified by:
getAttributeUseType in interface ComplexType
Parameters:
fingerprint - Identifies the name of the child element within this content model
Returns:
the schema type associated with the attribute use identified by the fingerprint. If there is no such attribute use, return null.

getAttributeUseCardinality

public int getAttributeUseCardinality(int fingerprint)
                               throws SchemaException
Find an attribute use within this complex type definition having a given attribute name (identified by fingerprint), and return the cardinality associated with that attribute, which will always be 0, 1, or 0-or-1. If there is no such attribute use, return null. If the fingerprint matches an attribute wildcard, return the type of the global attribute declaration with the given name if one exists, or AnySimpleType if none exists and lax validation is permitted by the wildcard.

If there are types derived from this type by extension, search those too.

Specified by:
getAttributeUseCardinality in interface ComplexType
Parameters:
fingerprint - Identifies the name of the child element within this content model
Returns:
the schema type associated with the attribute use identified by the fingerprint. If there is no such attribute use, return null.
Throws:
SchemaException

allowsAttributes

public boolean allowsAttributes()
Return true if this type (or any known type derived from it by extension) allows the element to have one or more attributes.

Specified by:
allowsAttributes in interface ComplexType
Returns:
true if attributes are allowed

gatherAllPermittedChildren

public void gatherAllPermittedChildren(IntHashSet children,
                                       boolean ignoreWildcards)
                                throws SchemaException
Get a list of all the names of elements that can appear as children of an element having this complex type, as integer fingerprints. If the list is unbounded (because of wildcards or the use of xs:anyType), return null.

Specified by:
gatherAllPermittedChildren in interface ComplexType
Parameters:
children - an integer set, initially empty, which on return will hold the fingerprints of all permitted child elements; if the result contains the value -1, this indicates that it is not possible to enumerate all the children, typically because of wildcards. In this case the other contents of the set should
ignoreWildcards -
Throws:
SchemaException

gatherAllPermittedDescendants

public void gatherAllPermittedDescendants(IntHashSet descendants)
                                   throws SchemaException
Get a list of all the names of elements that can appear as descendants of an element having this complex type, as integer fingerprints. If the list is unbounded (because of wildcards or the use of xs:anyType), return null.

Specified by:
gatherAllPermittedDescendants in interface ComplexType
Parameters:
descendants - an integer set, initially empty, which on return will hold the fingerprints of all permitted descendant elements; if the result contains the value -1, this indicates that it is not possible to enumerate all the descendants, typically because of wildcards. In this case the other contents of the set should be ignored.
Throws:
SchemaException

getDescendantElementType

public SchemaType getDescendantElementType(int fingerprint)
                                    throws SchemaException
Assuming an element is a permitted descendant in the content model of this type, determine the type of the element when it appears as a descendant. If it appears with more than one type, return xs:anyType.

Specified by:
getDescendantElementType in interface ComplexType
Parameters:
fingerprint - the name of the required descendant element
Returns:
the type of the descendant element; null if the element cannot appear as a descendant; anyType if it can appear with several different types
Throws:
SchemaException

getDescendantElementCardinality

public int getDescendantElementCardinality(int fingerprint)
                                    throws SchemaException
Assuming an element is a permitted descendant in the content model of this type, determine the cardinality of the element when it appears as a descendant.

Specified by:
getDescendantElementCardinality in interface ComplexType
Parameters:
fingerprint - the name of the required descendant element
Returns:
the cardinality of the descendant element within this complex type
Throws:
SchemaException

containsElementWildcard

public boolean containsElementWildcard()
Ask whether this type (or any known type derived from it by extension) allows the element to have children that match a wildcard

Specified by:
containsElementWildcard in interface ComplexType
Returns:
true if the content model of this type, or its extensions, contains an element wildcard


Copyright (c) 2004-2010 Saxonica Limited. All rights reserved.