Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## com.saxonica.schema
Class UserComplexType

    java.lang.Object
      com.saxonica.schema.SchemaStructure
          com.saxonica.schema.SchemaTypeImpl
              com.saxonica.schema.UserComplexType

All Implemented Interfaces:
  ComplexType, SchemaComponent, SchemaType, java.io.Serializable, javax.xml.transform.SourceLocator, UserSchemaComponent

public class UserComplexType
extends SchemaTypeImpl
implements ComplexType, UserSchemaComponent

A user-defined complex type (that is, any complex type other than xs:anyType)

See Also:
  Serialized Form

Field Summary

Fields inherited from class com.saxonica.schema.SchemaTypeImpl
`finalProhibitions`

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`

Constructor Summary
`UserComplexType(PreparedSchema schema, javax.xml.transform.SourceLocator locator)` Creates a new Complextype with the given name

Method Summary
`void` | `addAttributeGroupReference(AttributeGroupReference attrGroupRef)` Adds the given AttributeGroupReference to this UserComplexType
`void` | `addAttributeUse(AttributeUse attrDecl)` Adds the given AttributeDecl to this UserComplexType.
`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` | `cancelValidation()` Cancel validation and compilation: this happens when the complex type is redefined
`void` | `compile(PreparedSchema schema)` Compile the finite-state machine for validating instances against this type
`boolean` | `computeIsAllContent()` Compute whether this complex type has a content model defined by an xs:all compositor
`boolean` | `fixup(PreparedSchema schema)` Check references from this component to other components
`AllCompositor` | `getAllCompositor()` For a complex type with "all" content, get the "all" compositor
`AttributeGroupDecl` | `getAttributeGroup()` Returns the attribute group containing details of all the attributes defined for this complex type.
`SchemaType` | `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.
`int` | `getBlock()` Returns the value of the 'block' attribute for this element
`AttributeGroupDecl` | `getCombinedAttributeGroup()` Returns the attribute group containing details of all the attributes defined for this complex type.
`int` | `getElementParticleCardinality(int fingerprint)` 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)` 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.
`Particle` | `getExtendedParticle(PreparedSchema schema)` Get the particle corresponding to this UserComplexType, combining it with the content model of the base type if this type is derived by extension.
`AutomatonState` | `getInitialState()` Get the initial state of the finite state machine used for validating against this type.
`SimpleType` | `getSimpleContentType()` For a complex type with simple content, return the simple type of the content.
`TypeReference` | `getSimpleContentTypeReference()` Get the reference to the simple content type
`SequenceIterator` | `getTypedValue(NodeInfo node)` Get the typed value of a node that is annotated with this schema type
`boolean` | `hasRegisteredExtension(UserComplexType extension)` Determine whether a particular complex type is among the registered extensions of this type
`boolean` | `isAbstract()` Returns true if this UserComplexType 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` | `isComplexContent()` Returns true if this complexType is a 'complexContent'
`boolean` | `isEmptiable()` Test whether the content model of this complexType allows empty content
`boolean` | `isEmptyContent()` Test whether the contentType of this complexType is empty
`boolean` | `isMixedContent()` Determine whether this complex type allows mixed content
`boolean` | `isRestricted()` Returns true if this complexType is a restriction
`boolean` | `isSimpleContent()` Returns true if this complexType is a 'simpleContent'
`boolean` | `isSimpleType()` Test whether this SchemaType is a simple type
`boolean` | `isValidRestriction(SchemaType base, PreparedSchema schema)` Determine whether this type is a valid restriction of another type
`void` | `lookForCycles(PreparedSchema schema, java.util.Stack references)` This method is called to look for cycles.
`void` | `recompile(PreparedSchema schema)` Recompile the complex type when new members are added to the substitution group of an element
`void` | `setAbstract(boolean isAbstract)` Sets whether or not this UserComplexType should be abstract.
`void` | `setAnyAttribute(AttributeWildcard wildcard)` Sets the wildcard (anyAttribute) of the complexType.
`void` | `setBlock(int block)` Sets the value of the 'block' attribute for this UserComplexType.
`void` | `setComplexContent(boolean complexContent)` Sets whether or not this complexType is a 'complexContent'
`void` | `setMixed(boolean isMixed)` Sets whether this complex type allows mixed content
`void` | `setParticle(Particle particle)` Sets the particle representing the content model of this complex type
`void` | `setRestriction(boolean restricted)` Sets whether or not this complexType is a restriction
`void` | `setSimpleContent(boolean simpleContent)`
`void` | `setSimpleContentTypeReference(TypeReference ref)`
`java.lang.String` | `subsumes(ComplexType sub)` Test whether this complex type subsumes another complex type.
`boolean` | `validate(PreparedSchema schema)` Checks the validity of this UserComplexType definition.

Methods inherited from class com.saxonica.schema.SchemaTypeImpl
`allowsDerivation, containingDeclarationIsElement, getBaseType, getBaseTypeFingerprint, getBaseTypeReference, getContainingDeclarationName, getDerivationMethod, getDescription, getDisplayName, getFingerprint, getLocalName, getNameCode, getNamePool, isComplexType, isSameType, isTypeDerivationOK, setBaseTypeReference, setContainingDeclaration, setDerivationMethod, setDerivationMethodName, setFinalProhibitions, setLocalName, setNameCode, setNamePool`

Methods inherited from class com.saxonica.schema.SchemaStructure
`getColumnNumber, getFixupStatus, getLineNumber, getPublicId, getSchema, getSystemId, getValidationStatus, setFixupStatus, setLineNumber, setLocator, setSchema, setSystemId, setValidationStatus`

Methods inherited from class java.lang.Object
`clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait`

Methods inherited from interface net.sf.saxon.type.SchemaType
`allowsDerivation, getBaseType, getDerivationMethod, getDescription, getDisplayName, getFingerprint, getNameCode, isComplexType, isSameType, isTypeDerivationOK`

Methods inherited from interface net.sf.saxon.type.SchemaComponent
`getValidationStatus`

Constructor Detail

### UserComplexType

    public UserComplexType(PreparedSchema schema,
                           javax.xml.transform.SourceLocator locator)

  Creates a new Complextype with the given name

Parameters:
  `schema` - the owning Schema

Method Detail

### addAttributeUse

    public void addAttributeUse(AttributeUse attrDecl)

  Adds the given AttributeDecl to this UserComplexType. Doesn't throw an error if it's a duplicate: this is left to be checked at validation time

  Parameters:
    `attrDecl` - the AttributeDecl to add to this UserComplexType

### addAttributeGroupReference

    public void addAttributeGroupReference(AttributeGroupReference attrGroupRef)

  Adds the given AttributeGroupReference to this UserComplexType

  Parameters:
    `attrGroupRef` - the AttributeGroupReference to add to this UserComplexType

### getAttributeGroup

    public AttributeGroupDecl getAttributeGroup()

  Returns the attribute group containing details of all the attributes defined for this complex type. This method does not include the attributes defined on the base type.

  Returns:
    an AttributeGroup holding the attribute details

### getCombinedAttributeGroup

    public AttributeGroupDecl getCombinedAttributeGroup()

  Returns the attribute group containing details of all the attributes defined for this complex type. This method also includes the attributes defined on the base type (if derived by extension).

  Returns:
    an AttributeGroup holding the attribute details

### hasRegisteredExtension

    public boolean hasRegisteredExtension(UserComplexType extension)

  Determine whether a particular complex type is among the registered extensions of this type

### getBlock

    public int getBlock()

  Returns the value of the 'block' attribute for this element

  Specified by:
    `getBlock` in interface `SchemaType`
  Overrides:
    `getBlock` in class `SchemaTypeImpl`
  Returns:
    the value of the 'block' attribute for this element

### isAbstract

    public boolean isAbstract()

  Returns true if this UserComplexType has been marked as Abstract.

  Specified by:
    `isAbstract` in interface `ComplexType`
  Returns:
    true if this UserComplexType is "abstract".

### isComplexContent

    public boolean isComplexContent()

  Returns true if this complexType is a 'complexContent'

  Specified by:
    `isComplexContent` in interface `ComplexType`
  Returns:
    true if this complexType is a 'complexContent'

### isSimpleContent

    public boolean isSimpleContent()

  Returns true if this complexType is a 'simpleContent'

  Specified by:
    `isSimpleContent` in interface `ComplexType`
  Returns:
    true if this complexType is a 'simpleContent'

### setSimpleContent

    public void setSimpleContent(boolean simpleContent)

### 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`

### computeIsAllContent

    public boolean computeIsAllContent()
                                throws ValidationException

  Compute whether this complex type has a content model defined by an xs:all compositor

  Throws:
    `ValidationException`

### getAllCompositor

    public AllCompositor getAllCompositor()
                                   throws ValidationException

  For a complex type with "all" content, get the "all" compositor

  Throws:
    `ValidationException`

### setSimpleContentTypeReference

    public void setSimpleContentTypeReference(TypeReference ref)

### getSimpleContentTypeReference

    public TypeReference getSimpleContentTypeReference()

  Get the reference to the simple content type

### 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:
    For a complex type with simple content, returns the simple type of the content. Otherwise, returns null.

### isRestricted

    public boolean isRestricted()

  Returns true if this complexType is a restriction

  Specified by:
    `isRestricted` in interface `ComplexType`
  Returns:
    true if this complexType is a restriction

### isEmptyContent

    public boolean isEmptyContent()

  Test whether the contentType of this complexType is empty

  Specified by:
    `isEmptyContent` in interface `ComplexType`
  Returns:
    true if the content model is defined as empty

### 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

### setAbstract

    public void setAbstract(boolean isAbstract)

  Sets whether or not this UserComplexType should be abstract.

  Parameters:
    `isAbstract` - a boolean that when true makes this UserComplexType abstract.

### setAnyAttribute

    public void setAnyAttribute(AttributeWildcard wildcard)

  Sets the wildcard (anyAttribute) of the complexType. It is the caller's responsibility to check that there can be at most one attribute wildcard in a complex type definition.

### setBlock

    public void setBlock(int block)

  Sets the value of the 'block' attribute for this UserComplexType.

  Parameters:
    `block` - the value of the block attribute for this UserComplexType definition, as a bit-significant integer.

### setComplexContent

    public void setComplexContent(boolean complexContent)

  Sets whether or not this complexType is a 'complexContent'

  Parameters:
    `complexContent` - true if this complexType is a 'complexContent'

### setMixed

    public void setMixed(boolean isMixed)

  Sets whether this complex type allows mixed content

  Parameters:
    `isMixed` - if true, this type allows mixed content

### isMixedContent

    public boolean isMixedContent()

  Determine whether this complex type allows mixed content

  Specified by:
    `isMixedContent` in interface `ComplexType`
  Returns:
    true, if and only if this type allows mixed content

### setRestriction

    public void setRestriction(boolean restricted)

  Sets whether or not this complexType is a restriction

  Parameters:
    `restricted` - true if this complexType is a restriction

### setParticle

    public void setParticle(Particle particle)
                     throws SchemaException

  Sets the particle representing the content model of this complex type

  Parameters:
    `particle` - the Particle to add
  Throws:
    `SchemaException` - if the particle cannot be added (for example, because there is another with the same name in the same scope)

### lookForCycles

    public void lookForCycles(PreparedSchema schema,
                              java.util.Stack references)
                       throws SchemaException,
                              UnresolvedReferenceException

  This method is called to look for cycles. The object implementing this method is required (a) to raise an exception if the object itself appears in the list of references, (b) to add itself to the list of references, and (c) to call the lookForCycles method on all the objects that it references.

  Specified by:
    `lookForCycles` in interface `UserSchemaComponent`
  Overrides:
    `lookForCycles` in class `SchemaStructure`
  Parameters:
    `schema` -
    `references` - A list of objects that contain direct or indirect references to this object, and that must therefore not be referred to from this object.
  Throws:
    `SchemaException`
    `UnresolvedReferenceException`

### fixup

    public boolean fixup(PreparedSchema schema)
                  throws SchemaException

  Check references from this component to other components

  Specified by:
    `fixup` in interface `UserSchemaComponent`
  Parameters:
    `schema` - The schema is used for reporting errors
  Returns:
    true if all is well, false if errors found
  Throws:
    `SchemaException`

### validate

    public boolean validate(PreparedSchema schema)
                     throws SchemaException,
                            ValidationException

  Checks the validity of this UserComplexType definition.

  Specified by:
    `validate` in interface `UserSchemaComponent`
  Parameters:
    `schema` - if this is not null, any errors that are detected should be reported using the error() method of this schema.
  Returns:
    true when this Schema definition is valid, otherwise false.
  Throws:
    `SchemaException` - if the ErrorListener decides that an error is fatal.
    `ValidationException`

### isValidRestriction

    public boolean isValidRestriction(SchemaType base,
                                      PreparedSchema schema)
                               throws SchemaException,
                                      ValidationException

  Determine whether this type is a valid restriction of another type

  Throws:
    `SchemaException`
    `ValidationException`

### compile

    public void compile(PreparedSchema schema)
                 throws SchemaException,
                        ValidationException

  Compile the finite-state machine for validating instances against this type

  Throws:
    `SchemaException`
    `ValidationException`

### recompile

    public void recompile(PreparedSchema schema)
                   throws SchemaException,
                          ValidationException

  Recompile the complex type when new members are added to the substitution group of an element

  Throws:
    `SchemaException`
    `ValidationException`

### cancelValidation

    public void cancelValidation()

  Cancel validation and compilation: this happens when the complex type is redefined

### getInitialState

    public AutomatonState getInitialState()

  Get the initial state of the finite state machine used for validating against this type.

  Returns:
    the initial state of the machine. If this is null, then the complex type has an empty content model.

### getExtendedParticle

    public Particle getExtendedParticle(PreparedSchema schema)
                                 throws SchemaException,
                                        ValidationException

  Get the particle corresponding to this UserComplexType, combining it with the content model of the base type if this type is derived by extension.

  Throws:
    `SchemaException`
    `ValidationException`

### isEmptiable

    public boolean isEmptiable()
                        throws SchemaException,
                               ValidationException

  Test whether the content model of this complexType allows empty content

  Specified by:
    `isEmptiable` in interface `ComplexType`
  Returns:
    true if empty content is valid
  Throws:
    `SchemaException`
    `ValidationException`

### getElementParticleType

    public SchemaType getElementParticleType(int fingerprint)
                                      throws SchemaException,
                                             ValidationException

  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.

  If the element particle is not defined within this type itself, try to find it within the types derived by extension from this type. If there is one extension that defines the particle, return the type of that particle. If there are several, then if the types are consistent, return that type, otherwise return AnyType. (We don't currently construct a union type).

  Specified by:
    `getElementParticleType` in interface `ComplexType`
  Parameters:
    `fingerprint` - Identifies the name of the child element within this content model
  Throws:
    `SchemaException`
    `ValidationException`

### getElementParticleCardinality

    public int getElementParticleCardinality(int fingerprint)
                                      throws SchemaException,
                                             ValidationException

  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
  Throws:
    `SchemaException`
    `ValidationException`

### getAttributeUseType

    public SchemaType getAttributeUseType(int fingerprint)
                                   throws SchemaException,
                                          ValidationException

  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
  Throws:
    `SchemaException`
    `ValidationException`

### subsumes

    public java.lang.String subsumes(ComplexType sub)
                              throws ValidationException

  Test whether this complex type subsumes another complex type. The algorithm used is as published by Thompson and Tobin, XML Europe 2003.

  Specified by:
    `subsumes` in interface `ComplexType`
  Parameters:
    `sub` - the other type (the type that is derived by restriction, validly or otherwise)
  Returns:
    null indicating that this type does indeed subsume the other; or a string indicating why it doesn't.
  Throws:
    `ValidationException`

### analyzeContentExpression

    public void analyzeContentExpression(Expression expression,
                                         int kind,
                                         StaticContext env)
                                  throws XPathException

  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` -
  Throws:
    `XPathException` - if the expression will never deliver a value of the correct type

### getTypedValue

    public SequenceIterator getTypedValue(NodeInfo node)
                                   throws XPathException

  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:
    a SequenceIterator over the atomic values making up the typed value of the specified node. The objects returned by this iterator are of type `AtomicValue`
  Throws:
    `XPathException`

### atomize

    public Value atomize(NodeInfo node)
                  throws XPathException

  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. If requireSingleton is set to true, the result will always be an AtomicValue. In other cases it may be a Value representing a sequence whose items are atomic values.
  Throws:
    `XPathException`
  Since:
    8.5

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD