org.apache.xerces.impl.xs.models
Interface XSCMValidator

All Known Implementing Classes:

XSDFACM, XSAllCM, XSEmptyCM

public interface XSCMValidator

Note: State of the content model is stored in the validator

INTERNAL:

Usage of this class is not supported. It may be altered or removed at any time.

Version:

$Id: XSCMValidator.java,v 1.8 2004/10/06 15:14:53 mrglavas Exp $

Author:

Sandy Gao, IBM, Elena Litani, IBM

Field Summary

static short	FIRST_ERROR
static short	SUBSEQUENT_ERROR

Method Summary

boolean	checkUniqueParticleAttribution(SubstitutionGroupHandler subGroupHandler) check whether this content violates UPA constraint.
boolean	endContentModel(int[] state) The method indicates the end of list of children
java.lang.Object	oneTransition(org.apache.xerces.xni.QName elementName, int[] state, 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.
java.util.Vector	whatCanGoHere(int[] state) Check which elements are valid to appear at this point.

Field Detail

FIRST_ERROR

public static final short FIRST_ERROR

SUBSEQUENT_ERROR

public static final short SUBSEQUENT_ERROR

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

Returns:

Start state of the content model

oneTransition

public java.lang.Object oneTransition(org.apache.xerces.xni.QName elementName,
                                      int[] state,
                                      SubstitutionGroupHandler subGroupHandler)

The method corresponds to one transaction in the content model.

Parameters:

elementName -

state - Current state

Returns:

element decl or wildcard decl that corresponds to the element from the Schema grammar

endContentModel

public boolean endContentModel(int[] state)

The method indicates the end of list of children

Parameters:

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

Parameters:

subGroupHandler - the substitution group handler

Returns:

true if this content model contains other or list wildcard

whatCanGoHere

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

Parameters:

state - the current state

Returns:

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