Xerces2-j 2.12.2 · org.apache.xerces.impl.xs.XSConstraints

Modifier and Type	Field and Description
private static final Comparator<T>	ELEMENT_PARTICLE_COMPARATOR
private static XSParticleDecl	fEmptyParticle
pack-priv static final int	OCCURRENCE_UNKNOWN
pack-priv static final XSSimpleType	STRING_TYPE

Access	Constructor and Description
public	XSConstraints()

Method Summary

Modifier and Type	Method and Description
private static void	addElementToParticleVector(Vector<E> v, XSElementDecl d)
private static boolean	checkComplexDerivation(XSComplexTypeDecl derived, XSTypeDefinition base, short block) Note this will be a private method, and it assumes that derived is not anyType.
public static boolean	checkComplexDerivationOk(XSComplexTypeDecl derived, XSTypeDefinition base, short block) check whether complex type derived is valid derived from base, given a subset of {restriction, extension}.
public static void	checkElementDeclsConsistent(XSComplexTypeDecl type, XSParticleDecl particle, SymbolHash elemDeclHash, SubstitutionGroupHandler sgHandler)
private static void	checkIDConstraintRestriction(XSElementDecl derivedElemDecl, XSElementDecl baseElemDecl)
private static void	checkMapAndSum(Vector<E> dChildren, int min1, int max1, SubstitutionGroupHandler dSGHandler, Vector<E> bChildren, int min2, int max2, SubstitutionGroupHandler bSGHandler)
private static void	checkNameAndTypeOK(XSElementDecl dElement, int dMin, int dMax, XSElementDecl bElement, int bMin, int bMax)
private static void	checkNSCompat(XSElementDecl elem, int min1, int max1, XSWildcardDecl wildcard, int min2, int max2, boolean checkWCOccurrence)
private static void	checkNSRecurseCheckCardinality(Vector<E> children, int min1, int max1, SubstitutionGroupHandler dSGHandler, XSParticleDecl wildcard, int min2, int max2, boolean checkWCOccurrence)
private static void	checkNSSubset(XSWildcardDecl dWildcard, int min1, int max1, XSWildcardDecl bWildcard, int min2, int max2)
private static boolean	checkOccurrenceRange(int min1, int max1, int min2, int max2)
private static void	checkRecurse(Vector<E> dChildren, int min1, int max1, SubstitutionGroupHandler dSGHandler, Vector<E> bChildren, int min2, int max2, SubstitutionGroupHandler bSGHandler)
private static void	checkRecurseLax(Vector<E> dChildren, int min1, int max1, SubstitutionGroupHandler dSGHandler, Vector<E> bChildren, int min2, int max2, SubstitutionGroupHandler bSGHandler)
private static void	checkRecurseUnordered(Vector<E> dChildren, int min1, int max1, SubstitutionGroupHandler dSGHandler, Vector<E> bChildren, int min2, int max2, SubstitutionGroupHandler bSGHandler)
private static boolean	checkSimpleDerivation(XSSimpleType derived, XSSimpleType base, short block) Note this will be a private method, and it assumes that derived is not anySimpleType, and base is not anyType.
public static boolean	checkSimpleDerivationOk(XSSimpleType derived, XSTypeDefinition base, short block) check whether simple type derived is valid derived from base, given a subset of {restriction, extension}.
public static boolean	checkTypeDerivationOk(XSTypeDefinition derived, XSTypeDefinition base, short block) check whether derived is valid derived from base, given a subset of {restriction, extension}.B
public static Object	ElementDefaultValidImmediate(XSTypeDefinition type, String value, ValidationContext context, ValidatedInfo vinfo) check whether a value is a valid default for some type returns the compiled form of the value The parameter value could be either a String or a ValidatedInfo object
public static void	findElemInTable(XSComplexTypeDecl type, XSElementDecl elem, SymbolHash elemDeclHash)
public static void	fullSchemaChecking(XSGrammarBucket grammarBucket, SubstitutionGroupHandler SGHandler, CMBuilder cmBuilder, XMLErrorReporter errorReporter) used to check the 3 constraints against each complex type (should be each model group): Unique Particle Attribution, Particle Derivation (Restriction), Element Declrations Consistent.
private static void	gatherChildren(int parentType, XSParticleDecl p, Vector<E> children)
public static XSParticleDecl	getEmptySequence()
private static XSParticleDecl	getNonUnaryGroup(XSParticleDecl p)
public static boolean	overlapUPA(XSElementDecl element1, XSElementDecl element2, SubstitutionGroupHandler sgHandler)
public static boolean	overlapUPA(XSElementDecl element, XSWildcardDecl wildcard, SubstitutionGroupHandler sgHandler)
public static boolean	overlapUPA(XSWildcardDecl wildcard1, XSWildcardDecl wildcard2)
public static boolean	overlapUPA(Object decl1, Object decl2, SubstitutionGroupHandler sgHandler)
private static boolean	particleValidRestriction(XSParticleDecl dParticle, SubstitutionGroupHandler dSGHandler, XSParticleDecl bParticle, SubstitutionGroupHandler bSGHandler)
private static boolean	particleValidRestriction(XSParticleDecl dParticle, SubstitutionGroupHandler dSGHandler, XSParticleDecl bParticle, SubstitutionGroupHandler bSGHandler, boolean checkWCOccurrence)
private static Vector<E>	removePointlessChildren(XSParticleDecl p)
pack-priv static void	reportSchemaError(XMLErrorReporter errorReporter, SimpleLocator loc, String key, Object[] args)

Inherited from java.lang.Object:: clone equals finalize getClass hashCode notify notifyAll toString wait wait wait

ELEMENT_PARTICLE_COMPARATOR	back to summary
private static final Comparator<T> ELEMENT_PARTICLE_COMPARATOR

fEmptyParticle	back to summary
private static XSParticleDecl fEmptyParticle

OCCURRENCE_UNKNOWN	back to summary
pack-priv static final int OCCURRENCE_UNKNOWN

STRING_TYPE	back to summary
pack-priv static final XSSimpleType STRING_TYPE

XSConstraints	back to summary
public XSConstraints()

Method Detail

addElementToParticleVector	back to summary
private static void addElementToParticleVector(Vector<E> v, XSElementDecl d)

checkComplexDerivation	back to summary
private static boolean checkComplexDerivation(XSComplexTypeDecl derived, XSTypeDefinition base, short block) Note this will be a private method, and it assumes that derived is not anyType. Another method will be introduced for public use, which will call this method.

checkComplexDerivationOk	back to summary
public static boolean checkComplexDerivationOk(XSComplexTypeDecl derived, XSTypeDefinition base, short block) check whether complex type derived is valid derived from base, given a subset of {restriction, extension}.

checkElementDeclsConsistent	back to summary
public static void checkElementDeclsConsistent(XSComplexTypeDecl type, XSParticleDecl particle, SymbolHash elemDeclHash, SubstitutionGroupHandler sgHandler) throws XMLSchemaException

checkIDConstraintRestriction	back to summary
private static void checkIDConstraintRestriction(XSElementDecl derivedElemDecl, XSElementDecl baseElemDecl) throws XMLSchemaException

checkMapAndSum	back to summary
private static void checkMapAndSum(Vector<E> dChildren, int min1, int max1, SubstitutionGroupHandler dSGHandler, Vector<E> bChildren, int min2, int max2, SubstitutionGroupHandler bSGHandler) throws XMLSchemaException

checkNameAndTypeOK	back to summary
private static void checkNameAndTypeOK(XSElementDecl dElement, int dMin, int dMax, XSElementDecl bElement, int bMin, int bMax) throws XMLSchemaException

checkNSCompat	back to summary
private static void checkNSCompat(XSElementDecl elem, int min1, int max1, XSWildcardDecl wildcard, int min2, int max2, boolean checkWCOccurrence) throws XMLSchemaException

checkNSRecurseCheckCardinality	back to summary
private static void checkNSRecurseCheckCardinality(Vector<E> children, int min1, int max1, SubstitutionGroupHandler dSGHandler, XSParticleDecl wildcard, int min2, int max2, boolean checkWCOccurrence) throws XMLSchemaException

checkNSSubset	back to summary
private static void checkNSSubset(XSWildcardDecl dWildcard, int min1, int max1, XSWildcardDecl bWildcard, int min2, int max2) throws XMLSchemaException

checkOccurrenceRange	back to summary
private static boolean checkOccurrenceRange(int min1, int max1, int min2, int max2)

checkRecurse	back to summary
private static void checkRecurse(Vector<E> dChildren, int min1, int max1, SubstitutionGroupHandler dSGHandler, Vector<E> bChildren, int min2, int max2, SubstitutionGroupHandler bSGHandler) throws XMLSchemaException

checkRecurseLax	back to summary
private static void checkRecurseLax(Vector<E> dChildren, int min1, int max1, SubstitutionGroupHandler dSGHandler, Vector<E> bChildren, int min2, int max2, SubstitutionGroupHandler bSGHandler) throws XMLSchemaException

checkRecurseUnordered	back to summary
private static void checkRecurseUnordered(Vector<E> dChildren, int min1, int max1, SubstitutionGroupHandler dSGHandler, Vector<E> bChildren, int min2, int max2, SubstitutionGroupHandler bSGHandler) throws XMLSchemaException

checkSimpleDerivation	back to summary
private static boolean checkSimpleDerivation(XSSimpleType derived, XSSimpleType base, short block) Note this will be a private method, and it assumes that derived is not anySimpleType, and base is not anyType. Another method will be introduced for public use, which will call this method.

checkSimpleDerivationOk	back to summary
public static boolean checkSimpleDerivationOk(XSSimpleType derived, XSTypeDefinition base, short block) check whether simple type derived is valid derived from base, given a subset of {restriction, extension}.

checkTypeDerivationOk	back to summary
public static boolean checkTypeDerivationOk(XSTypeDefinition derived, XSTypeDefinition base, short block) check whether derived is valid derived from base, given a subset of {restriction, extension}.B

ElementDefaultValidImmediate	back to summary
public static Object ElementDefaultValidImmediate(XSTypeDefinition type, String value, ValidationContext context, ValidatedInfo vinfo) check whether a value is a valid default for some type returns the compiled form of the value The parameter value could be either a String or a ValidatedInfo object

findElemInTable	back to summary
public static void findElemInTable(XSComplexTypeDecl type, XSElementDecl elem, SymbolHash elemDeclHash) throws XMLSchemaException

fullSchemaChecking	back to summary
public static void fullSchemaChecking(XSGrammarBucket grammarBucket, SubstitutionGroupHandler SGHandler, CMBuilder cmBuilder, XMLErrorReporter errorReporter) used to check the 3 constraints against each complex type (should be each model group): Unique Particle Attribution, Particle Derivation (Restriction), Element Declrations Consistent.

gatherChildren	back to summary
private static void gatherChildren(int parentType, XSParticleDecl p, Vector<E> children)

getEmptySequence	back to summary
public static XSParticleDecl getEmptySequence()

getNonUnaryGroup	back to summary
private static XSParticleDecl getNonUnaryGroup(XSParticleDecl p)

overlapUPA	back to summary
public static boolean overlapUPA(XSElementDecl element1, XSElementDecl element2, SubstitutionGroupHandler sgHandler)

overlapUPA	back to summary
public static boolean overlapUPA(XSElementDecl element, XSWildcardDecl wildcard, SubstitutionGroupHandler sgHandler)

overlapUPA	back to summary
public static boolean overlapUPA(XSWildcardDecl wildcard1, XSWildcardDecl wildcard2)

overlapUPA	back to summary
public static boolean overlapUPA(Object decl1, Object decl2, SubstitutionGroupHandler sgHandler)

particleValidRestriction	back to summary
private static boolean particleValidRestriction(XSParticleDecl dParticle, SubstitutionGroupHandler dSGHandler, XSParticleDecl bParticle, SubstitutionGroupHandler bSGHandler) throws XMLSchemaException

particleValidRestriction	back to summary
private static boolean particleValidRestriction(XSParticleDecl dParticle, SubstitutionGroupHandler dSGHandler, XSParticleDecl bParticle, SubstitutionGroupHandler bSGHandler, boolean checkWCOccurrence) throws XMLSchemaException

removePointlessChildren	back to summary
private static Vector<E> removePointlessChildren(XSParticleDecl p)

reportSchemaError	back to summary
pack-priv static void reportSchemaError(XMLErrorReporter errorReporter, SimpleLocator loc, String key, Object[] args)

public Class XSConstraints

Field Summary

Constructor Summary

Method Summary

Field Detail

Constructor Detail

Method Detail