- From: <bugzilla@wiggum.w3.org>
- Date: Thu, 13 Apr 2006 16:08:39 +0000
- To: public-qt-comments@w3.org
- CC:
http://www.w3.org/Bugs/Public/show_bug.cgi?id=1786
simeon@us.ibm.com changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution| |FIXED
------- Comment #1 from simeon@us.ibm.com 2006-04-13 16:08 -------
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
Received on Thursday, 13 April 2006 16:08:47 UTC