1786 2005-07-20 04:23:40 +0000 [FS] editorial: 8.6.1 Elements in validation mode 2007-01-16 17:46:40 +0000 1 1 1 Unclassified XPath / XQuery / XSLT Formal Semantics 1.0 Last Call drafts All All CLOSED FIXED P2 minor --- 1 jmdyck simeon public-qt-comments oldest_to_newest 4986 0 jmdyck 2005-07-20 04:23:40 +0000 .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. 9217 1 simeon 2006-04-13 16:08:38 +0000 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