[Bug 1786] [FS] editorial: 8.6.1 Elements in validation mode

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