implementation of type tables equivalence, for element declaration consistent 
constraint
----------------------------------------------------------------------------------------

                 Key: XERCESJ-1508
                 URL: https://issues.apache.org/jira/browse/XERCESJ-1508
             Project: Xerces2-J
          Issue Type: Improvement
          Components: XML Schema 1.1 Structures
    Affects Versions: 2.11.0
            Reporter: Mukul Gandhi
            Assignee: Mukul Gandhi


I'm creating this JIRA issue for tracking purpose.

XML Schema 1.1 extends the constraint, "Schema Component Constraint: Element 
Declarations Consistent" with following additional clause (numbered 4):

If the {particles} property contains, either directly, indirectly (that is, 
within the {particles} property of a contained model group, recursively), or - 
implicitly- , two or more element declarations with the same expanded name, 
1 ...
2 ...
3 ...
4 All their {type table}s are either all - absent-  or else all are present and 
- equivalent- . 

The equivalence of type tables is defined as follows:
[Definition:]   A Type Table T1 is equivalent to a Type Table T2 if and only if 
all of the following are true:
1 T1.{alternatives} has the same length as T2.{alternatives} and their 
corresponding entries are - equivalent- .
2 T1.{default type definition} and T2.{default type definition} are - 
equivalent- .

We implemented this constraint, post Xerces 2.11.0 release.

--
This message is automatically generated by JIRA.
For more information on JIRA, see: http://www.atlassian.com/software/jira

---------------------------------------------------------------------
To unsubscribe, e-mail: j-dev-unsubscr...@xerces.apache.org
For additional commands, e-mail: j-dev-h...@xerces.apache.org

Reply via email to