Package com.saxonica.ee.schema
Class ModelGroupParticle
- java.lang.Object
-
- com.saxonica.ee.schema.SchemaStructure
-
- com.saxonica.ee.schema.SimpleComponentReference
-
- com.saxonica.ee.schema.Particle
-
- com.saxonica.ee.schema.ModelGroupParticle
-
- All Implemented Interfaces:
ComponentReference
,UserSchemaComponent
,javax.xml.transform.SourceLocator
,Location
,SchemaComponent
,org.xml.sax.Locator
- Direct Known Subclasses:
Edge.MaxOccursParticle
public class ModelGroupParticle extends Particle
A reference within the content model of a complex type to a Model Group Definition. Corresponds to a non-top-level xs:group element in a schema document, that is, an xs:group element with a ref attribute.There is no direct equivalent of a ModelGroupParticle in the W3C schema component model, because in that model the structure of a complex type is always fully expanded: that is, any group references are replaced by the content of the group they refer to. This model retains group references to allow late binding and redefinition. However, methods are provided on the
ModelGroup
class to give a view of the content model in which the group references disappear.
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from interface net.sf.saxon.type.SchemaComponent
SchemaComponent.ValidationStatus
-
-
Field Summary
-
Fields inherited from class com.saxonica.ee.schema.SimpleComponentReference
symbolSpace, target
-
Fields inherited from interface net.sf.saxon.type.SchemaComponent
COMPONENT_FUNCTION_TYPE
-
-
Constructor Summary
Constructors Constructor Description ModelGroupParticle(EnterpriseConfiguration config, javax.xml.transform.SourceLocator locator)
Creates a new Group reference
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
compile(SchemaCompiler compiler)
Compile a particleboolean
containsElementWildcard()
Ask whether the particle contains an element wildcardvoid
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.boolean
fixup(SchemaCompiler compiler)
Fix up references to other elements in the schema.void
gatherAllPermittedElements(IntHashSet result, boolean ignoreWildcards)
Find the set of all element particles allowed within the content model of this particle, identified by their integer fingerprints.int
getElementParticleCardinality(int elementName)
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 elementName)
Find an element particle within this complex type definition having a given element name (identified by elementName), and return the schema type associated with that element particle.ModelGroup
getGroup()
int
getSymbolSpace()
Get the symbol space of the target of this referenceSchemaComponent
getTarget()
Returns the group that this group object is a reference to.Term
getTerm()
Get the term corresponding to this particleboolean
isEmptiable()
Determine if empty content is allowedboolean
isPointless(ModelGroup container)
Test whether the particle is pointless, as described in XML Schema Part 1 Schema Component Constraint: Particle Valid (Restriction)boolean
isResolved()
Determine whether this reference has been resolvedvoid
lookForCycles(java.util.Stack references, SchemaCompiler compiler)
This method is called to look for cycles.void
markVulnerableSubParticles()
Mark the vulnerable subParticles of this particlevoid
serializeParticle(SchemaModelSerializer serializer)
Serialize the schema component as a particlevoid
tryToResolve(SchemaCompiler compiler, boolean fatal)
Attempt to resolved this reference using the groups defined in a given schema.boolean
validate(SchemaCompiler compiler)
Checks the validity of this Schema definition.-
Methods inherited from class com.saxonica.ee.schema.Particle
computeParticleCardinality, getComponentAsFunction, getMaxOccurs, getMinOccurs, isVulnerable, setMaxOccurs, setMinOccurs, setVulnerable
-
Methods inherited from class com.saxonica.ee.schema.SimpleComponentReference
getTargetComponentName, getTargetFingerprint, isDangling, setTarget, setTargetComponentName
-
Methods inherited from class com.saxonica.ee.schema.SchemaStructure
getColumnNumber, getConfiguration, getFixupStatus, getGeneratedId, getLineNumber, getPublicId, getRedefinitionLevel, getSchemaDocumentURI, getSystemId, getValidationStatus, hasSameLocation, isValidationNeeded, makeXPathExpressionPropertyRecord, saveLocation, setConfiguration, setFixupStatus, setGeneratedId, setLineNumber, setLocator, setRedefinitionLevel, setSchemaDocumentURI, setSystemId, setValidationStatus
-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Methods inherited from interface com.saxonica.ee.schema.ComponentReference
getConfiguration
-
Methods inherited from interface net.sf.saxon.s9api.Location
getColumnNumber, getLineNumber, getPublicId, getSystemId, saveLocation
-
Methods inherited from interface net.sf.saxon.type.SchemaComponent
getRedefinitionLevel, getValidationStatus
-
-
-
-
Constructor Detail
-
ModelGroupParticle
public ModelGroupParticle(EnterpriseConfiguration config, javax.xml.transform.SourceLocator locator)
Creates a new Group reference- Parameters:
config
- the Configuration to which this Group belongslocator
- the location of the corresponding declaration in the source schema document
-
-
Method Detail
-
isResolved
public boolean isResolved()
Determine whether this reference has been resolved- Specified by:
isResolved
in interfaceComponentReference
- Overrides:
isResolved
in classSimpleComponentReference
- Returns:
- true if the reference has been resolved to a schema component
-
getGroup
public ModelGroup getGroup() throws MissingComponentException
- Throws:
MissingComponentException
-
getSymbolSpace
public int getSymbolSpace()
Get the symbol space of the target of this reference- Specified by:
getSymbolSpace
in interfaceComponentReference
- Overrides:
getSymbolSpace
in classSimpleComponentReference
- Returns:
- an integer code identifying the symbol space
-
isEmptiable
public boolean isEmptiable() throws MissingComponentException
Determine if empty content is allowed- Specified by:
isEmptiable
in classParticle
- Returns:
- true if the particle matches empty content
- Throws:
MissingComponentException
- if the schema contains an unresolved reference to a required component
-
fixup
public boolean fixup(SchemaCompiler compiler) throws SchemaException
Fix up references to other elements in the schema.- Specified by:
fixup
in interfaceUserSchemaComponent
- Specified by:
fixup
in classParticle
- Parameters:
compiler
- the schema compiler- Returns:
- true if successful
- Throws:
SchemaException
- if a fatal error occurs
-
lookForCycles
public void lookForCycles(java.util.Stack references, SchemaCompiler compiler) throws SchemaException, MissingComponentException
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 interfaceUserSchemaComponent
- Overrides:
lookForCycles
in classSchemaStructure
- Parameters:
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.compiler
- The schema compiler- Throws:
SchemaException
MissingComponentException
-
getTarget
public SchemaComponent getTarget() throws MissingComponentException
Returns the group that this group object is a reference to. Note this method doesn't bind irrevocably to the target group declaration, because this may change following a redefine.- Specified by:
getTarget
in interfaceComponentReference
- Overrides:
getTarget
in classSimpleComponentReference
- Returns:
- the schema component if the reference has been resolved.
- Throws:
MissingComponentException
- if the reference has not been resolved. Note that this is an unchecked exception.
-
tryToResolve
public void tryToResolve(SchemaCompiler compiler, boolean fatal) throws SchemaException
Attempt to resolved this reference using the groups defined in a given schema. No error results if the reference cannot be resolved.- Specified by:
tryToResolve
in interfaceComponentReference
- Overrides:
tryToResolve
in classSimpleComponentReference
- Parameters:
compiler
- The compiler being used to compile the referring component.fatal
- True if a failure to resolve should be treated as fatal, irrespective of any settings in the SchemaCompiler- Throws:
SchemaException
- if the reference cannot be resolved or repaired.
-
isPointless
public boolean isPointless(ModelGroup container) throws MissingComponentException
Test whether the particle is pointless, as described in XML Schema Part 1 Schema Component Constraint: Particle Valid (Restriction)- Specified by:
isPointless
in classParticle
- Parameters:
container
- the model group containing this particle; null if there is no containing model group- Returns:
- true if the particle is pointless (for example, a sequence of one item)
- Throws:
MissingComponentException
-
getElementParticleType
public SchemaType getElementParticleType(int elementName) throws MissingComponentException
Find an element particle within this complex type definition having a given element name (identified by elementName), and return the schema type associated with that element particle. If there is no such particle, return null. If the elementName 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 classParticle
- Parameters:
elementName
- Identifies the name of the child element within this content model- Returns:
- the type of the element identified by the given name fingerprint. The consistency rule "Element Declarations Consistent" ensures that if there are multiple matching declarations, they have consistent types
- Throws:
MissingComponentException
-
getElementParticleCardinality
public int getElementParticleCardinality(int elementName) throws MissingComponentException
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 ofStaticProperty.EXACTLY_ONE
,StaticProperty.ALLOWS_ZERO_OR_ONE
,StaticProperty.ALLOWS_ZERO_OR_MORE
,StaticProperty.ALLOWS_ONE_OR_MORE
, If there is no such particle, returnStaticProperty.ALLOWS_ZERO
.- Specified by:
getElementParticleCardinality
in classParticle
- Parameters:
elementName
- Identifies the name of the child element within this content model- Returns:
- the computed cardinality of this child element within the complex type
- Throws:
MissingComponentException
-
containsElementWildcard
public boolean containsElementWildcard() throws MissingComponentException
Ask whether the particle contains an element wildcard- Specified by:
containsElementWildcard
in classParticle
- Returns:
- true if the particle is an element wildcard, or contains one
- Throws:
MissingComponentException
-
gatherAllPermittedElements
public void gatherAllPermittedElements(IntHashSet result, boolean ignoreWildcards) throws SchemaException
Find the set of all element particles allowed within the content model of this particle, identified by their integer fingerprints. Ignore wildcards.- Specified by:
gatherAllPermittedElements
in classParticle
- Parameters:
result
- an initially-empty integer set in which the results are accumulatedignoreWildcards
- true if wildcard particles are to be ignored. If false, the resulting set- Throws:
SchemaException
- if an error is found in the schema
-
markVulnerableSubParticles
public void markVulnerableSubParticles() throws MissingComponentException
Mark the vulnerable subParticles of this particle- Overrides:
markVulnerableSubParticles
in classParticle
- Throws:
MissingComponentException
-
validate
public boolean validate(SchemaCompiler compiler) throws SchemaException
Checks the validity of this Schema definition.- Specified by:
validate
in interfaceUserSchemaComponent
- Specified by:
validate
in classParticle
- Parameters:
compiler
- the schema compiler- Returns:
- true if validation succeeded, false if errors were found.
- Throws:
SchemaException
-
compile
public void compile(SchemaCompiler compiler) throws SchemaException
Compile a particle- Specified by:
compile
in classParticle
- Parameters:
compiler
- the schema compiler- Throws:
SchemaException
- if a fatal error occurs
-
getTerm
public Term getTerm() throws MissingComponentException
Get the term corresponding to this particle- Specified by:
getTerm
in classParticle
- Returns:
- the corresponding term
- Throws:
MissingComponentException
-
elaborate
public void elaborate(SchemaCompiler compiler) throws SchemaException
Elaborate the schema component: after reloading a serialized schema component model, this expands the component with derived information needed during validation episodes. The model is assumed to be valid.- Specified by:
elaborate
in interfaceUserSchemaComponent
- Overrides:
elaborate
in classSchemaStructure
- Parameters:
compiler
- the schema compiler- Throws:
SchemaException
- if the schema is found to be invalid
-
serializeParticle
public void serializeParticle(SchemaModelSerializer serializer) throws XPathException
Serialize the schema component as a particle- Specified by:
serializeParticle
in classParticle
- Parameters:
serializer
- the object responsible for serialization- Throws:
XPathException
- if writing the serialized form to the destination fails
-
-