Class XSDFACM

public XSDFACM(CMNode syntaxTree,
               int leafCount)

Constructs a DFA content model.

Parameters:

syntaxTree - The syntax tree of the content model.

leafCount - The number of leaves.

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

public boolean endContentModel(int[] state)

The method indicates the end of list of children

Specified by:

endContentModel in interface XSCMValidator

Parameters:

state - Current state of the content model

Returns:

true if the last state was a valid final state

public boolean isCompactedForUPA()

Checks if this content model has had its min/maxOccurs values reduced for purposes of speeding up UPA. If so, this content model should not be used for any purpose other than checking unique particle attribution

Specified by:

isCompactedForUPA in interface XSCMValidator

Returns:

a boolean that says whether this content has been compacted for UPA

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

one transition only

Specified by:

oneTransition in interface XSCMValidator

Parameters:

curElem - The current element's QName

state - stack to store the previous state

subGroupHandler - the substitution group handler

Returns:

null if transition is invalid; otherwise the Object corresponding to the XSElementDecl or XSWildcardDecl identified. Also, the state array will be modified to include the new state; this so that the validator can store it away.

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

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.