You are viewing a plain text version of this content. The canonical link for it is here.
Posted to j-dev@xerces.apache.org by "Mukul Gandhi (JIRA)" <xe...@xml.apache.org> on 2011/05/09 17:54:03 UTC

[jira] [Created] (XERCESJ-1508) implementation of type tables equivalence, for element declaration consistent constraint

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-unsubscribe@xerces.apache.org
For additional commands, e-mail: j-dev-help@xerces.apache.org


[jira] [Updated] (XERCESJ-1508) implementation of XSD 1.1 type tables equivalence, for element declaration consistent constraint

Posted by "Mukul Gandhi (JIRA)" <xe...@xml.apache.org>.
     [ https://issues.apache.org/jira/browse/XERCESJ-1508?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]

Mukul Gandhi updated XERCESJ-1508:
----------------------------------

    Description: 
I'm creating this JIRA issue for tracking purpose.

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

(quoted from the XML Schema 1.1 language specification)

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.

  was:
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):

(quoted from the XSD 1.1 language specification)

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.

        Summary: implementation of XSD 1.1 type tables equivalence, for element declaration consistent constraint  (was: implementation of type tables equivalence, for element declaration consistent constraint)

> implementation of XSD 1.1 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 enhances the constraint, "Schema Component Constraint: Element Declarations Consistent" with following additional clause (the clause numbered 4 below):
> (quoted from the XML Schema 1.1 language specification)
> 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-unsubscribe@xerces.apache.org
For additional commands, e-mail: j-dev-help@xerces.apache.org


[jira] [Updated] (XERCESJ-1508) implementation of type tables equivalence, for element declaration consistent constraint

Posted by "Mukul Gandhi (JIRA)" <xe...@xml.apache.org>.
     [ https://issues.apache.org/jira/browse/XERCESJ-1508?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]

Mukul Gandhi updated XERCESJ-1508:
----------------------------------

    Description: 
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):

(quoted from the XSD 1.1 language specification)

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.

  was:
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.


> 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):
> (quoted from the XSD 1.1 language specification)
> 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-unsubscribe@xerces.apache.org
For additional commands, e-mail: j-dev-help@xerces.apache.org


[jira] [Resolved] (XERCESJ-1508) implementation of type tables equivalence, for element declaration consistent constraint

Posted by "Mukul Gandhi (JIRA)" <xe...@xml.apache.org>.
     [ https://issues.apache.org/jira/browse/XERCESJ-1508?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]

Mukul Gandhi resolved XERCESJ-1508.
-----------------------------------

    Resolution: Fixed

marking this issue as fixed, since implementation of this was committed to Xerces SVN release, 1100926.

> 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-unsubscribe@xerces.apache.org
For additional commands, e-mail: j-dev-help@xerces.apache.org