jdk7u.jaxp.org.apache.xerces.external.impl.xs.models

Class XSEmptyCM

java.lang.Object

jdk7u.jaxp.org.apache.xerces.external.impl.xs.models.XSEmptyCM

All Implemented Interfaces:

XSCMValidator

public class XSEmptyCM
extends Object
implements XSCMValidator

XSEmptyCM is a derivative of the abstract content model base class that handles a content model with no chilren (elements). This model validated on the way in.

Version:

$Id: XSEmptyCM.java,v 1.7 2009/07/28 15:18:11 spericas Exp $

Author:

Elena Litani, Lisa Martin, IBM

Field Summary

Fields inherited from interface jdk7u.jaxp.org.apache.xerces.external.impl.xs.models.XSCMValidator

FIRST_ERROR, SUBSEQUENT_ERROR

Constructor Summary

Constructors

Constructor and Description
XSEmptyCM()

Method Summary

Methods

Modifier and Type	Method and Description
ArrayList	checkMinMaxBounds() Used by constant space algorithm for a{n,m} for n > 1 and m <= unbounded.
boolean	checkUniqueParticleAttribution(SubstitutionGroupHandler subGroupHandler) check whether this content violates UPA constraint.
boolean	endContentModel(int[] currentState) The method indicates the end of list of children
Object	oneTransition(QName elementName, int[] currentState, SubstitutionGroupHandler subGroupHandler) The method corresponds to one transaction in the content model.
int[]	startContentModel() This methods to be called on entering a first element whose type has this content model.
Vector	whatCanGoHere(int[] state) Check which elements are valid to appear at this point.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

XSEmptyCM

public XSEmptyCM()

Method Detail

startContentModel

public int[] startContentModel()

This methods to be called on entering a first element whose type has this content model. It will return the initial state of the content model

Specified by:

startContentModel in interface XSCMValidator

Returns:

Start state of the content model

oneTransition

public Object oneTransition(QName elementName,
                   int[] currentState,
                   SubstitutionGroupHandler subGroupHandler)

The method corresponds to one transaction in the content model.

Specified by:

oneTransition in interface XSCMValidator

Parameters:

elementName - the qualified name of the element

currentState - Current state

subGroupHandler - the substitution group handler

Returns:

element index corresponding to the element from the Schema grammar

endContentModel

public boolean endContentModel(int[] currentState)

The method indicates the end of list of children

Specified by:

endContentModel in interface XSCMValidator

Parameters:

currentState - Current state of the content model

Returns:

true if the last state was a valid final state

checkUniqueParticleAttribution

public boolean checkUniqueParticleAttribution(SubstitutionGroupHandler subGroupHandler)
                                       throws XMLSchemaException

check whether this content violates UPA constraint.

Specified by:

checkUniqueParticleAttribution in interface XSCMValidator

Parameters:

subGroupHandler - the substitution group handler

Returns:

true if this content model contains other or list wildcard

Throws:

XMLSchemaException

whatCanGoHere

public Vector whatCanGoHere(int[] state)

Check which elements are valid to appear at this point. This method also works if the state is in error, in which case it returns what should have been seen.

Specified by:

whatCanGoHere in interface XSCMValidator

Parameters:

state - the current state

Returns:

a Vector whose entries are instances of either XSWildcardDecl or XSElementDecl.

checkMinMaxBounds

public ArrayList checkMinMaxBounds()

Description copied from interface: XSCMValidator

Used by constant space algorithm for a{n,m} for n > 1 and m <= unbounded. Called by a validator if validation of countent model succeeds after subsuming a{n,m} to a* (or a+) to check the n and m bounds. Returns null if validation of bounds is successful. Returns a list of strings with error info if not. Even entries in list returned are error codes (used to look up properties) and odd entries are parameters to be passed when formatting error message. Each parameter is associated with the error code that preceeds it in the list.

Specified by:

checkMinMaxBounds in interface XSCMValidator