impl/xs/XSConstraints.java

112      * check whether derived is valid derived from base, given a subset
115     public static boolean checkTypeDerivationOk(XSTypeDefinition derived, XSTypeDefinition base, short block) {
116         // if derived is anyType, then it's valid only if base is anyType too
117         if (derived == SchemaGrammar.fAnyType)
118             return derived == base;
119         // if derived is anySimpleType, then it's valid only if the base
121         if (derived == SchemaGrammar.fAnySimpleType) {
126         // if derived is simple type
127         if (derived.getTypeCategory() == XSTypeDefinition.SIMPLE_TYPE) {
137             return checkSimpleDerivation((XSSimpleType)derived,
141             return checkComplexDerivation((XSComplexTypeDecl)derived, base, block);
146      * check whether simple type derived is valid derived from base,
149     public static boolean checkSimpleDerivationOk(XSSimpleType derived, XSTypeDefinition base, short block) {
150         // if derived is anySimpleType, then it's valid only if the base
152         if (derived == SchemaGrammar.fAnySimpleType) {
166         return checkSimpleDerivation((XSSimpleType)derived,
171      * check whether complex type derived is valid derived from base,
174     public static boolean checkComplexDerivationOk(XSComplexTypeDecl derived, XSTypeDefinition base, short block) {
175         // if derived is anyType, then it's valid only if base is anyType too
176         if (derived == SchemaGrammar.fAnyType)
177             return derived == base;
178         return checkComplexDerivation((XSComplexTypeDecl)derived, base, block);
182      * Note: this will be a private method, and it assumes that derived is not
186     private static boolean checkSimpleDerivation(XSSimpleType derived, XSSimpleType base, short block) {
188         if (derived == base)
194                 (derived.getBaseType().getFinal() & XSConstants.DERIVATION_RESTRICTION) != 0) {
200         XSSimpleType directBase = (XSSimpleType)derived.getBaseType();
204         // 2.2.2 D's base type definition is not the simple ur-type definition and is validly derived from B given the subset, as defined by this constraint.
211         if ((derived.getVariety() == XSSimpleType.VARIETY_LIST ||
212                 derived.getVariety() == XSSimpleType.VARIETY_UNION) &&
217         // 2.2.4 B's {variety} is union and D is validly derived from a type definition in B's {member type definitions} given the subset, as defined by this constraint.
223                 if (checkSimpleDerivation(derived, base, block))
232      * Note: this will be a private method, and it assumes that derived is not
236     private static boolean checkComplexDerivation(XSComplexTypeDecl derived, XSTypeDefinition base, short block) {
238         if (derived == base)
242         if ((derived.fDerivedBy & block) != 0)
246         XSTypeDefinition directBase = derived.fBaseType;
259         // 2.3.2.1 If D's {base type definition} is complex, then it must be validly derived from B given the subset as defined by this constraint.
263         // 2.3.2.2 If D's {base type definition} is simple, then it must be validly derived from B given the subset as defined in Type Derivation OK (Simple) (3.14.6).
623         // Check for empty particles.   If either base or derived particle is empty,
642         // Handle pointless groups for the derived particle
1099             // derived one has to have a fixed value
1139         // Check that the derived element's type is derived from the base's.