This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
.6.1 Elements in validation mode Sem / rule 1 / premise (4|6) Sem / rule 2 / premise 2 "statEnv.elemDecl(expanded-QName) = define ElementType" "define ElementType" is not a valid Formal Definition.
The rules are not correct, thanks for the catch. Corrected to the intended rules, using element type references. statEnv |- ElementName1 of elem/type expands to expanded-QName1 ... statEnv |- ElementNamen of elem/type expands to expanded-QNamen statEnv.elemDecl(expanded-QName1) = define element ElementName1 OptSubstitution1 OptNillable1 TypeReference1 ... statEnv.elemDecl(expanded-QNamen) = define element ElementNamen OptSubstitutionn OptNillablen TypeReferencen --------------------------------------------------------------------------- statEnv |- with mode ValidationMode resolves to (element ElementName1 | ... | element ElementNamen) and statEnv |- ElementName of elem/type expands to expanded-QName statEnv.elemDecl(expanded-QName) = define element ElementName OptSubstitution OptNillable TypeReference -------------------------------------------------------------------------------- statEnv |- ElementName with mode ValidationMode resolves to element ElementName - Jerome