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/04/04 11:11:05 UTC

[jira] [Created] (XERCESJ-1502) Improvements to Schema 1.1 assertions processing

Improvements to Schema 1.1 assertions processing
------------------------------------------------

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


I thought it's good to create a JIRA issue for these changes for tracking purpose.

1. Changed internal code design significantly for Schema 1.1 assertions processing (mainly in validator and evaluation layers. traverser implementation is mostly untouched since 2.11.0 release), involving quite a bit of re-factoring to improve understandability and maintainability of code base.

2. Improvements to assertion failure messages. Now assertion facet failure messages are similar to other facet failure messages. Earlier it was not apparent in error messages, that a facet failure with xs:assertion *was from a facet*.

3. Improved processing logic for assertion evaluations for simpleType's with variety union. Improvements to updation of memberType PSVI result when assertions are involved for simpleType with variety union.

4. Providing an improved PsychoPath XPath 2.0 JAR file.

--
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] [Issue Comment Edited] (XERCESJ-1502) Improvements to Schema 1.1 assertions processing

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

Mukul Gandhi edited comment on XERCESJ-1502 at 5/29/11 9:59 AM:
----------------------------------------------------------------

marking this issue as fixed, since the changes mentioned in the bug report are committed to SVN.

      was (Author: mukul_gandhi):
    marking this issue as fixed, since the changes mentioned in the bug report are implemented in SVN.
  
> Improvements to Schema 1.1 assertions processing
> ------------------------------------------------
>
>                 Key: XERCESJ-1502
>                 URL: https://issues.apache.org/jira/browse/XERCESJ-1502
>             Project: Xerces2-J
>          Issue Type: Improvement
>          Components: XML Schema 1.1 Datatypes, XML Schema 1.1 Structures
>    Affects Versions: 2.11.0
>            Reporter: Mukul Gandhi
>            Assignee: Mukul Gandhi
>
> I thought it's good to create a JIRA issue for these changes for tracking purpose.
> 1. Changed internal code design significantly for Schema 1.1 assertions processing (mainly in validator and evaluation layers. traverser implementation is mostly untouched since 2.11.0 release), involving quite a bit of re-factoring to improve understandability and maintainability of code base.
> 2. Improvements to assertion failure messages. Now assertion facet failure messages are similar to other facet failure messages. Earlier it was not apparent in error messages, that a facet failure with xs:assertion *was from a facet*.
> 3. Improved processing logic for assertion evaluations for simpleType's with variety union. Improvements to updation of memberType PSVI result when assertions are involved for simpleType with variety union.
> 4. Providing an improved PsychoPath XPath 2.0 JAR file.
> 5. It's now (change done post 2.11.0 release) a static error to have xs:assert XPath expressions to begin with / or // (since assert XDM trees are rooted at a parentless element). for e.g /x, //x or a[/x] etc are incorrect assert XPath expressions and would result in a static error. This change requires the new PsychoPath XPath 2.0 JAR.
> 6. If xs:any wildcard has processContents="skip", then that part of XML content tree should be available to relevant assertions. This improvement is done post 2.11.0 release.
> 7. Implemented [failed assertions] PSVI property for "element information items".

--
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-1502) Improvements to XML Schema 1.1 assertions processing

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

Mukul Gandhi updated XERCESJ-1502:
----------------------------------

    Description: 
I thought it's good to create a JIRA issue for these changes for tracking purpose.

1. Improvements to assertion failure messages. Now assertion facet failure messages are similar to other facet failure messages. Earlier it was not apparent in error messages, that a facet failure with <assertion> *was from a facet*.

2. Improved processing logic for assertion evaluations for simpleType definitions having variety union. Improvements to updation of memberType PSVI result when assertions are involved for simpleType definitions with variety union.

3. Providing an improved PsychoPath XPath 2.0 JAR file. This includes quite a few improvements to couple of XPath 2.0 F&O function implementations. 

4. It's now a static error to have the <assert> XPath expressions to begin with the XPath syntax fragments / or // (since assert XDM trees are rooted at a parentless element node). for e.g /x, //x or a[/x] etc are incorrect assert XPath expressions and would result in a static error. This change requires the new PsychoPath XPath 2.0 JAR.

5. If the <any> wild-card has a specifier processContents="skip", then that part of XML content tree should be available to the in-scope assertion components. This wasn't occurring earlier.

6. Implemented [failed assertions] PSVI property for "element information items".

7. The XSD attribute "id" on the elements <assert> and <assertion> are tested post Xerces 2.11.0 release, and are observed to be working fine.

8. Now top most element of assertions is the root node of <assert> XDM trees. This also benefits CTA implementation, which require similar behavior. Root node of <assert> XDM trees are now untyped (i.e they carry the type annotation xs:anyType), and rest of nodes of <assert> XDM trees are typed. This is as per recommendation from XSD 1.1 spec.

9. Assertion fixes mentioned in JIRA issues XERCESJ-1489, XERCESJ-1470.

  was:
I thought it's good to create a JIRA issue for these changes for tracking purpose.

1. Improvements to assertion failure messages. Now assertion facet failure messages are similar to other facet failure messages. Earlier it was not apparent in error messages, that a facet failure with <assertion> *was from a facet*.

2. Improved processing logic for assertion evaluations for simpleType definitions having variety union. Improvements to updation of memberType PSVI result when assertions are involved for simpleType definitions with variety union.

3. Providing an improved PsychoPath XPath 2.0 JAR file. This includes quite a few improvements to couple of XPath 2.0 F&O function implementations. 

4. It's now a static error to have the <assert> XPath expressions to begin with the XPath syntax fragments / or // (since assert XDM trees are rooted at a parentless element node). for e.g /x, //x or a[/x] etc are incorrect assert XPath expressions and would result in a static error. This change requires the new PsychoPath XPath 2.0 JAR.

5. If the <any> wild-card has a specifier processContents="skip", then that part of XML content tree should be available to the in-scope assertion components. This wasn't occurring earlier.

6. Implemented [failed assertions] PSVI property for "element information items".

7. The XSD attribute "id" on the elements <assert> and <assertion> are tested post Xerces 2.11.0 release, and are observed to be working fine.

8. Now top most element of assertions is the root node of <assert> XDM trees. This also benefits CTA implementation, which require similar behavior. Root node of <assert> XDM trees are now untyped (i.e they carry the type annotation xs:any), and rest of nodes of <assert> XDM trees are typed. This is as per recommendation from XSD 1.1 spec.

9. Assertion fixes mentioned in JIRA issues XERCESJ-1489, XERCESJ-1470.

    
> Improvements to XML Schema 1.1 assertions processing
> ----------------------------------------------------
>
>                 Key: XERCESJ-1502
>                 URL: https://issues.apache.org/jira/browse/XERCESJ-1502
>             Project: Xerces2-J
>          Issue Type: Improvement
>          Components: XML Schema 1.1 Datatypes, XML Schema 1.1 Structures
>    Affects Versions: 2.11.0
>            Reporter: Mukul Gandhi
>            Assignee: Mukul Gandhi
>
> I thought it's good to create a JIRA issue for these changes for tracking purpose.
> 1. Improvements to assertion failure messages. Now assertion facet failure messages are similar to other facet failure messages. Earlier it was not apparent in error messages, that a facet failure with <assertion> *was from a facet*.
> 2. Improved processing logic for assertion evaluations for simpleType definitions having variety union. Improvements to updation of memberType PSVI result when assertions are involved for simpleType definitions with variety union.
> 3. Providing an improved PsychoPath XPath 2.0 JAR file. This includes quite a few improvements to couple of XPath 2.0 F&O function implementations. 
> 4. It's now a static error to have the <assert> XPath expressions to begin with the XPath syntax fragments / or // (since assert XDM trees are rooted at a parentless element node). for e.g /x, //x or a[/x] etc are incorrect assert XPath expressions and would result in a static error. This change requires the new PsychoPath XPath 2.0 JAR.
> 5. If the <any> wild-card has a specifier processContents="skip", then that part of XML content tree should be available to the in-scope assertion components. This wasn't occurring earlier.
> 6. Implemented [failed assertions] PSVI property for "element information items".
> 7. The XSD attribute "id" on the elements <assert> and <assertion> are tested post Xerces 2.11.0 release, and are observed to be working fine.
> 8. Now top most element of assertions is the root node of <assert> XDM trees. This also benefits CTA implementation, which require similar behavior. Root node of <assert> XDM trees are now untyped (i.e they carry the type annotation xs:anyType), and rest of nodes of <assert> XDM trees are typed. This is as per recommendation from XSD 1.1 spec.
> 9. Assertion fixes mentioned in JIRA issues XERCESJ-1489, XERCESJ-1470.

--
This message is automatically generated by JIRA.
If you think it was sent incorrectly, please contact your JIRA administrators: https://issues.apache.org/jira/secure/ContactAdministrators!default.jspa
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-1502) Improvements to XML Schema 1.1 assertions processing

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

Mukul Gandhi updated XERCESJ-1502:
----------------------------------

    Description: 
I thought it's good to create a JIRA issue for these changes for tracking purpose.

1. Improvements to assertion failure messages. Now assertion facet failure messages are similar to other facet failure messages. Earlier it was not apparent in error messages, that a facet failure with <assertion> *was from a facet*.

2. Improved processing logic for assertion evaluations for simpleType definitions having variety union. Improvements to updation of memberType PSVI result when assertions are involved for simpleType definitions with variety union.

3. Providing an improved PsychoPath XPath 2.0 JAR file.

4. It's now a static error to have the <assert> XPath expressions to begin with the XPath syntax fragments / or // (since assert XDM trees are rooted at a parentless element node). for e.g /x, //x or a[/x] etc are incorrect assert XPath expressions and would result in a static error. This change requires the new PsychoPath XPath 2.0 JAR.

5. If the <any> wild-card has a specifier processContents="skip", then that part of XML content tree should be available to the in-scope assertion components. This wasn't occurring earlier.

6. Implemented [failed assertions] PSVI property for "element information items".

7. The XSD attribute "id" on the elements <assert> and <assertion> are tested post Xerces 2.11.0 release, and are observed to be working fine.

  was:
I thought it's good to create a JIRA issue for these changes for tracking purpose.

1. Improvements to assertion failure messages. Now assertion facet failure messages are similar to other facet failure messages. Earlier it was not apparent in error messages, that a facet failure with xs:assertion *was from a facet*.

2. Improved processing logic for assertion evaluations for simpleType's with variety union. Improvements to updation of memberType PSVI result when assertions are involved for simpleType with variety union.

3. Providing an improved PsychoPath XPath 2.0 JAR file.

4. It's now (change done post 2.11.0 release) a static error to have xs:assert XPath expressions to begin with / or // (since assert XDM trees are rooted at a parentless element). for e.g /x, //x or a[/x] etc are incorrect assert XPath expressions and would result in a static error. This change requires the new PsychoPath XPath 2.0 JAR.

5. If xs:any wildcard has processContents="skip", then that part of XML content tree should be available to relevant assertions. This improvement is done post 2.11.0 release.

6. Implemented [failed assertions] PSVI property for "element information items".

7. "id" attribute on xs:assert and xs:assertion are tested post Xerces 2.11.0 release, and are observed to be working fine.

        Summary: Improvements to XML Schema 1.1 assertions processing  (was: Improvements to Schema 1.1 assertions processing)

> Improvements to XML Schema 1.1 assertions processing
> ----------------------------------------------------
>
>                 Key: XERCESJ-1502
>                 URL: https://issues.apache.org/jira/browse/XERCESJ-1502
>             Project: Xerces2-J
>          Issue Type: Improvement
>          Components: XML Schema 1.1 Datatypes, XML Schema 1.1 Structures
>    Affects Versions: 2.11.0
>            Reporter: Mukul Gandhi
>            Assignee: Mukul Gandhi
>
> I thought it's good to create a JIRA issue for these changes for tracking purpose.
> 1. Improvements to assertion failure messages. Now assertion facet failure messages are similar to other facet failure messages. Earlier it was not apparent in error messages, that a facet failure with <assertion> *was from a facet*.
> 2. Improved processing logic for assertion evaluations for simpleType definitions having variety union. Improvements to updation of memberType PSVI result when assertions are involved for simpleType definitions with variety union.
> 3. Providing an improved PsychoPath XPath 2.0 JAR file.
> 4. It's now a static error to have the <assert> XPath expressions to begin with the XPath syntax fragments / or // (since assert XDM trees are rooted at a parentless element node). for e.g /x, //x or a[/x] etc are incorrect assert XPath expressions and would result in a static error. This change requires the new PsychoPath XPath 2.0 JAR.
> 5. If the <any> wild-card has a specifier processContents="skip", then that part of XML content tree should be available to the in-scope assertion components. This wasn't occurring earlier.
> 6. Implemented [failed assertions] PSVI property for "element information items".
> 7. The XSD attribute "id" on the elements <assert> and <assertion> are tested post Xerces 2.11.0 release, and are observed to be working fine.

--
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-1502) Improvements to Schema 1.1 assertions processing

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

Mukul Gandhi updated XERCESJ-1502:
----------------------------------

    Description: 
I thought it's good to create a JIRA issue for these changes for tracking purpose.

1. Changed internal code design significantly for Schema 1.1 assertions processing (mainly in validator and evaluation layers. traverser implementation is mostly untouched since 2.11.0 release), involving quite a bit of re-factoring to improve understandability and maintainability of code base.

2. Improvements to assertion failure messages. Now assertion facet failure messages are similar to other facet failure messages. Earlier it was not apparent in error messages, that a facet failure with xs:assertion *was from a facet*.

3. Improved processing logic for assertion evaluations for simpleType's with variety union. Improvements to updation of memberType PSVI result when assertions are involved for simpleType with variety union.

4. Providing an improved PsychoPath XPath 2.0 JAR file.

5. It's now (change done post 2.11.0 release) a static error to have xs:assert XPath expressions to begin with / or // (since assert XDM trees are rooted at a parentless element). for e.g /x, //x or a[/x] etc are incorrect assert XPath expressions and would result in a static error. This change requires the new PsychoPath XPath 2.0 JAR.

6. If xs:any wildcard has processContents="skip", then that part of XML content tree should be available to relevant assertions. This improvement is done post 2.11.0 release.

  was:
I thought it's good to create a JIRA issue for these changes for tracking purpose.

1. Changed internal code design significantly for Schema 1.1 assertions processing (mainly in validator and evaluation layers. traverser implementation is mostly untouched since 2.11.0 release), involving quite a bit of re-factoring to improve understandability and maintainability of code base.

2. Improvements to assertion failure messages. Now assertion facet failure messages are similar to other facet failure messages. Earlier it was not apparent in error messages, that a facet failure with xs:assertion *was from a facet*.

3. Improved processing logic for assertion evaluations for simpleType's with variety union. Improvements to updation of memberType PSVI result when assertions are involved for simpleType with variety union.

4. Providing an improved PsychoPath XPath 2.0 JAR file.

5. It's now (change done post 2.11.0 release) a static error to have xs:assert XPath expressions to begin with / or // (since assert XDM trees are rooted at a parentless element). for e.g /x, //x or a[/x] etc are incorrect assert XPath expressions and would result in a static error. This change requires the new PsychoPath XPath 2.0 JAR.


> Improvements to Schema 1.1 assertions processing
> ------------------------------------------------
>
>                 Key: XERCESJ-1502
>                 URL: https://issues.apache.org/jira/browse/XERCESJ-1502
>             Project: Xerces2-J
>          Issue Type: Improvement
>          Components: XML Schema 1.1 Datatypes, XML Schema 1.1 Structures
>    Affects Versions: 2.11.0
>            Reporter: Mukul Gandhi
>            Assignee: Mukul Gandhi
>
> I thought it's good to create a JIRA issue for these changes for tracking purpose.
> 1. Changed internal code design significantly for Schema 1.1 assertions processing (mainly in validator and evaluation layers. traverser implementation is mostly untouched since 2.11.0 release), involving quite a bit of re-factoring to improve understandability and maintainability of code base.
> 2. Improvements to assertion failure messages. Now assertion facet failure messages are similar to other facet failure messages. Earlier it was not apparent in error messages, that a facet failure with xs:assertion *was from a facet*.
> 3. Improved processing logic for assertion evaluations for simpleType's with variety union. Improvements to updation of memberType PSVI result when assertions are involved for simpleType with variety union.
> 4. Providing an improved PsychoPath XPath 2.0 JAR file.
> 5. It's now (change done post 2.11.0 release) a static error to have xs:assert XPath expressions to begin with / or // (since assert XDM trees are rooted at a parentless element). for e.g /x, //x or a[/x] etc are incorrect assert XPath expressions and would result in a static error. This change requires the new PsychoPath XPath 2.0 JAR.
> 6. If xs:any wildcard has processContents="skip", then that part of XML content tree should be available to relevant assertions. This improvement is done post 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-1502) Improvements to Schema 1.1 assertions processing

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

Mukul Gandhi updated XERCESJ-1502:
----------------------------------

    Description: 
I thought it's good to create a JIRA issue for these changes for tracking purpose.

1. Changed internal code design significantly for Schema 1.1 assertions processing (mainly in validator and evaluation layers. traverser implementation is mostly untouched since 2.11.0 release), involving quite a bit of re-factoring to improve understandability and maintainability of code base.

2. Improvements to assertion failure messages. Now assertion facet failure messages are similar to other facet failure messages. Earlier it was not apparent in error messages, that a facet failure with xs:assertion *was from a facet*.

3. Improved processing logic for assertion evaluations for simpleType's with variety union. Improvements to updation of memberType PSVI result when assertions are involved for simpleType with variety union.

4. Providing an improved PsychoPath XPath 2.0 JAR file.

5. It's now (change done post 2.11.0 release) a static error to have xs:assert XPath expressions to begin with / or // (since assert XDM trees are rooted at a parentless element). for e.g /x, //x or a[/x] etc are incorrect assert XPath expressions and would result in a static error. This change requires the new PsychoPath XPath 2.0 JAR.

6. If xs:any wildcard has processContents="skip", then that part of XML content tree should be available to relevant assertions. This improvement is done post 2.11.0 release.

7. Implemented [failed assertions] PSVI property for "element information items".

  was:
I thought it's good to create a JIRA issue for these changes for tracking purpose.

1. Changed internal code design significantly for Schema 1.1 assertions processing (mainly in validator and evaluation layers. traverser implementation is mostly untouched since 2.11.0 release), involving quite a bit of re-factoring to improve understandability and maintainability of code base.

2. Improvements to assertion failure messages. Now assertion facet failure messages are similar to other facet failure messages. Earlier it was not apparent in error messages, that a facet failure with xs:assertion *was from a facet*.

3. Improved processing logic for assertion evaluations for simpleType's with variety union. Improvements to updation of memberType PSVI result when assertions are involved for simpleType with variety union.

4. Providing an improved PsychoPath XPath 2.0 JAR file.

5. It's now (change done post 2.11.0 release) a static error to have xs:assert XPath expressions to begin with / or // (since assert XDM trees are rooted at a parentless element). for e.g /x, //x or a[/x] etc are incorrect assert XPath expressions and would result in a static error. This change requires the new PsychoPath XPath 2.0 JAR.

6. If xs:any wildcard has processContents="skip", then that part of XML content tree should be available to relevant assertions. This improvement is done post 2.11.0 release.


> Improvements to Schema 1.1 assertions processing
> ------------------------------------------------
>
>                 Key: XERCESJ-1502
>                 URL: https://issues.apache.org/jira/browse/XERCESJ-1502
>             Project: Xerces2-J
>          Issue Type: Improvement
>          Components: XML Schema 1.1 Datatypes, XML Schema 1.1 Structures
>    Affects Versions: 2.11.0
>            Reporter: Mukul Gandhi
>            Assignee: Mukul Gandhi
>
> I thought it's good to create a JIRA issue for these changes for tracking purpose.
> 1. Changed internal code design significantly for Schema 1.1 assertions processing (mainly in validator and evaluation layers. traverser implementation is mostly untouched since 2.11.0 release), involving quite a bit of re-factoring to improve understandability and maintainability of code base.
> 2. Improvements to assertion failure messages. Now assertion facet failure messages are similar to other facet failure messages. Earlier it was not apparent in error messages, that a facet failure with xs:assertion *was from a facet*.
> 3. Improved processing logic for assertion evaluations for simpleType's with variety union. Improvements to updation of memberType PSVI result when assertions are involved for simpleType with variety union.
> 4. Providing an improved PsychoPath XPath 2.0 JAR file.
> 5. It's now (change done post 2.11.0 release) a static error to have xs:assert XPath expressions to begin with / or // (since assert XDM trees are rooted at a parentless element). for e.g /x, //x or a[/x] etc are incorrect assert XPath expressions and would result in a static error. This change requires the new PsychoPath XPath 2.0 JAR.
> 6. If xs:any wildcard has processContents="skip", then that part of XML content tree should be available to relevant assertions. This improvement is done post 2.11.0 release.
> 7. Implemented [failed assertions] PSVI property for "element information items".

--
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-1502) Improvements to XML Schema 1.1 assertions processing

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

Mukul Gandhi updated XERCESJ-1502:
----------------------------------

    Comment: was deleted

(was: writing few more points I could think of, for the improvements we did to assertions implementation.)
    
> Improvements to XML Schema 1.1 assertions processing
> ----------------------------------------------------
>
>                 Key: XERCESJ-1502
>                 URL: https://issues.apache.org/jira/browse/XERCESJ-1502
>             Project: Xerces2-J
>          Issue Type: Improvement
>          Components: XML Schema 1.1 Datatypes, XML Schema 1.1 Structures
>    Affects Versions: 2.11.0
>            Reporter: Mukul Gandhi
>            Assignee: Mukul Gandhi
>
> I thought it's good to create a JIRA issue for these changes for tracking purpose.
> 1. Improvements to assertion failure messages. Now assertion facet failure messages are similar to other facet failure messages. Earlier it was not apparent in error messages, that a facet failure with <assertion> *was from a facet*.
> 2. Improved processing logic for assertion evaluations for simpleType definitions having variety union. Improvements to updation of memberType PSVI result when assertions are involved for simpleType definitions with variety union.
> 3. Providing an improved PsychoPath XPath 2.0 JAR file. This includes quite a few improvements to couple of XPath 2.0 F&O function implementations, and few other enhancements. 
> 4. It's now a static error (i.e we produce a warning upon an XPath parse exception in this case) to have the <assert> XPath expressions to begin with the tokens / or // (since assert XDM trees are rooted at a parentless element node). for e.g /x, //x or a[/x] etc are incorrect assert XPath expressions and would result in a static error. This change requires the new PsychoPath XPath 2.0 JAR.
> 5. If the <any> wild-card has a specifier processContents="skip", then that part of XML content tree should be available to the in-scope assertion components. This wasn't occurring earlier.
> 6. Implemented [failed assertions] PSVI property for "element information items".
> 7. The XSD attribute "id" on the elements <assert> and <assertion> are tested post Xerces 2.11.0 release, and are observed to be working fine.
> 8. Now the element node that's validated by the complexType, is the root node of <assert> XDM trees. This also applies to CTA implementation now, which require similar behavior. Root node of <assert> XDM trees are now untyped (i.e they carry the type annotation xs:anyType), and rest of nodes of <assert> XDM trees are typed (this is as per recommendation from XSD 1.1 spec).
> 9. Implemented comment and PI nodes for assert XDM trees. 
> 10. Assertion fixes mentioned in JIRA issues XERCESJ-1489, XERCESJ-1470.

--
This message is automatically generated by JIRA.
If you think it was sent incorrectly, please contact your JIRA administrators: https://issues.apache.org/jira/secure/ContactAdministrators!default.jspa
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-1502) Improvements to XML Schema 1.1 assertions processing

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

Mukul Gandhi updated XERCESJ-1502:
----------------------------------

    Description: 
I thought it's good to create a JIRA issue for these changes for tracking purposes. We made following enhancements to the XSD 1.1 assertions implementation post 2.11.0 release.

1. Improvements to assertion failure messages. Now assertion facet failure messages are similar to other facet failure messages. Earlier it was not apparent in error messages, that a facet failure with <assertion> *was from a facet*.

2. Improved processing logic for assertion evaluations for simpleType definitions having variety union. Improvements to updation of memberType PSVI result when assertions are involved for simpleType definitions with variety union.

3. Providing an improved PsychoPath XPath 2.0 JAR file. This includes quite a few improvements to couple of XPath 2.0 F&O function implementations, and few other enhancements. This provides benefits for <assert> and CTA (when in full XPath 2.0 mode) processing. 

4. It's now a static XSD error to have the <assert> XPath expressions to begin with the tokens / or // (since assert XDM trees are rooted at a parentless element node). For e.g /x, //x or a[/x] etc are incorrect assert XPath expressions and would result in a static error. We now produce a warning upon an XPath parse exception in this case. This change requires the new PsychoPath XPath 2.0 JAR.

5. If an <any> wild-card declaration has a specifier processContents="skip", then the XML instance content covered by such a wild-card declaration should be available to the in-scope <assert> components. This wasn't occurring earlier.

6. Implemented [failed assertions] PSVI property for "element information items".

7. The XSD attribute "id" on the elements <assert> and <assertion> are tested post Xerces 2.11.0 release, and are observed to be working fine.

8. Now an element node that's validated by a complex type definition, is the root node of <assert> XDM trees (this also applies to CTA implementation, which require similar behavior). The root node of <assert> XDM trees are now untyped (they carry the type annotation xs:anyType), and rest of nodes of <assert> XDM trees are typed as per the in-scope XSD types. These changes are as per recommendation from XSD 1.1 spec.

9. <assert> XDM trees now recognize the XML 'comment' and 'PI' nodes. But this is disabled by default, and can be enabled by setting the feature (on javax.xml.validation.Validator) 'Constants.XERCES_FEATURE_PREFIX + Constants.ASSERT_COMMENT_PI_CHECKING_FEATURE' to 'true'.

10. Assertion fixes mentioned in JIRA issues XERCESJ-1489, XERCESJ-1470.

Thanks to Michael, Sandy and Khaled as well for helping with some of the design issues with these enhancements.

  was:
I thought it's good to create a JIRA issue for these changes for tracking purpose.

1. Improvements to assertion failure messages. Now assertion facet failure messages are similar to other facet failure messages. Earlier it was not apparent in error messages, that a facet failure with <assertion> *was from a facet*.

2. Improved processing logic for assertion evaluations for simpleType definitions having variety union. Improvements to updation of memberType PSVI result when assertions are involved for simpleType definitions with variety union.

3. Providing an improved PsychoPath XPath 2.0 JAR file. This includes quite a few improvements to couple of XPath 2.0 F&O function implementations, and few other enhancements. 

4. It's now a static error (we now produce a warning upon an XPath parse exception in this case) to have the <assert> XPath expressions to begin with the tokens / or // (since assert XDM trees are rooted at a parentless element node). for e.g /x, //x or a[/x] etc are incorrect assert XPath expressions and would result in a static error. This change requires the new PsychoPath XPath 2.0 JAR.

5. If the <any> wild-card has a specifier processContents="skip", then that part of XML content tree should be available to the in-scope assertion components. This wasn't occurring earlier.

6. Implemented [failed assertions] PSVI property for "element information items".

7. The XSD attribute "id" on the elements <assert> and <assertion> are tested post Xerces 2.11.0 release, and are observed to be working fine.

8. Now the element node that's validated by the complexType, is the root node of <assert> XDM trees. This also applies to CTA implementation now, which require similar behavior. Root node of <assert> XDM trees are now untyped (i.e they carry the type annotation xs:anyType), and rest of nodes of <assert> XDM trees are typed (this is as per recommendation from XSD 1.1 spec).

9. Implemented comment and PI nodes for assert XDM trees. Thanks to Michael Glavassevich for enhancing prior stages of XSD validation pipeline, that enabled this support in XMLSchemaValidator component as well as other downstream <assert> evaluation components. 

10. Assertion fixes mentioned in JIRA issues XERCESJ-1489, XERCESJ-1470.

    
> Improvements to XML Schema 1.1 assertions processing
> ----------------------------------------------------
>
>                 Key: XERCESJ-1502
>                 URL: https://issues.apache.org/jira/browse/XERCESJ-1502
>             Project: Xerces2-J
>          Issue Type: Improvement
>          Components: XML Schema 1.1 Datatypes, XML Schema 1.1 Structures
>    Affects Versions: 2.11.0
>            Reporter: Mukul Gandhi
>            Assignee: Mukul Gandhi
>
> I thought it's good to create a JIRA issue for these changes for tracking purposes. We made following enhancements to the XSD 1.1 assertions implementation post 2.11.0 release.
> 1. Improvements to assertion failure messages. Now assertion facet failure messages are similar to other facet failure messages. Earlier it was not apparent in error messages, that a facet failure with <assertion> *was from a facet*.
> 2. Improved processing logic for assertion evaluations for simpleType definitions having variety union. Improvements to updation of memberType PSVI result when assertions are involved for simpleType definitions with variety union.
> 3. Providing an improved PsychoPath XPath 2.0 JAR file. This includes quite a few improvements to couple of XPath 2.0 F&O function implementations, and few other enhancements. This provides benefits for <assert> and CTA (when in full XPath 2.0 mode) processing. 
> 4. It's now a static XSD error to have the <assert> XPath expressions to begin with the tokens / or // (since assert XDM trees are rooted at a parentless element node). For e.g /x, //x or a[/x] etc are incorrect assert XPath expressions and would result in a static error. We now produce a warning upon an XPath parse exception in this case. This change requires the new PsychoPath XPath 2.0 JAR.
> 5. If an <any> wild-card declaration has a specifier processContents="skip", then the XML instance content covered by such a wild-card declaration should be available to the in-scope <assert> components. This wasn't occurring earlier.
> 6. Implemented [failed assertions] PSVI property for "element information items".
> 7. The XSD attribute "id" on the elements <assert> and <assertion> are tested post Xerces 2.11.0 release, and are observed to be working fine.
> 8. Now an element node that's validated by a complex type definition, is the root node of <assert> XDM trees (this also applies to CTA implementation, which require similar behavior). The root node of <assert> XDM trees are now untyped (they carry the type annotation xs:anyType), and rest of nodes of <assert> XDM trees are typed as per the in-scope XSD types. These changes are as per recommendation from XSD 1.1 spec.
> 9. <assert> XDM trees now recognize the XML 'comment' and 'PI' nodes. But this is disabled by default, and can be enabled by setting the feature (on javax.xml.validation.Validator) 'Constants.XERCES_FEATURE_PREFIX + Constants.ASSERT_COMMENT_PI_CHECKING_FEATURE' to 'true'.
> 10. Assertion fixes mentioned in JIRA issues XERCESJ-1489, XERCESJ-1470.
> Thanks to Michael, Sandy and Khaled as well for helping with some of the design issues with these enhancements.

--
This message is automatically generated by JIRA.
If you think it was sent incorrectly, please contact your JIRA administrators: https://issues.apache.org/jira/secure/ContactAdministrators!default.jspa
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-1502) Improvements to Schema 1.1 assertions processing

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

Mukul Gandhi resolved XERCESJ-1502.
-----------------------------------

    Resolution: Fixed

marking this issue as fixed, since the changes mentioned in the bug report are implemented in SVN.

> Improvements to Schema 1.1 assertions processing
> ------------------------------------------------
>
>                 Key: XERCESJ-1502
>                 URL: https://issues.apache.org/jira/browse/XERCESJ-1502
>             Project: Xerces2-J
>          Issue Type: Improvement
>          Components: XML Schema 1.1 Datatypes, XML Schema 1.1 Structures
>    Affects Versions: 2.11.0
>            Reporter: Mukul Gandhi
>            Assignee: Mukul Gandhi
>
> I thought it's good to create a JIRA issue for these changes for tracking purpose.
> 1. Changed internal code design significantly for Schema 1.1 assertions processing (mainly in validator and evaluation layers. traverser implementation is mostly untouched since 2.11.0 release), involving quite a bit of re-factoring to improve understandability and maintainability of code base.
> 2. Improvements to assertion failure messages. Now assertion facet failure messages are similar to other facet failure messages. Earlier it was not apparent in error messages, that a facet failure with xs:assertion *was from a facet*.
> 3. Improved processing logic for assertion evaluations for simpleType's with variety union. Improvements to updation of memberType PSVI result when assertions are involved for simpleType with variety union.
> 4. Providing an improved PsychoPath XPath 2.0 JAR file.

--
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-1502) Improvements to XML Schema 1.1 assertions processing

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

Mukul Gandhi updated XERCESJ-1502:
----------------------------------

    Description: 
I thought it's good to create a JIRA issue for these changes for tracking purpose.

1. Improvements to assertion failure messages. Now assertion facet failure messages are similar to other facet failure messages. Earlier it was not apparent in error messages, that a facet failure with <assertion> *was from a facet*.

2. Improved processing logic for assertion evaluations for simpleType definitions having variety union. Improvements to updation of memberType PSVI result when assertions are involved for simpleType definitions with variety union.

3. Providing an improved PsychoPath XPath 2.0 JAR file. This includes quite a few improvements to couple of XPath 2.0 F&O function implementations, and few other enhancements. 

4. It's now a static error (we now produce a warning upon an XPath parse exception in this case) to have the <assert> XPath expressions to begin with the tokens / or // (since assert XDM trees are rooted at a parentless element node). for e.g /x, //x or a[/x] etc are incorrect assert XPath expressions and would result in a static error. This change requires the new PsychoPath XPath 2.0 JAR.

5. If the <any> wild-card has a specifier processContents="skip", then that part of XML content tree should be available to the in-scope assertion components. This wasn't occurring earlier.

6. Implemented [failed assertions] PSVI property for "element information items".

7. The XSD attribute "id" on the elements <assert> and <assertion> are tested post Xerces 2.11.0 release, and are observed to be working fine.

8. Now the element node that's validated by the complexType, is the root node of <assert> XDM trees. This also applies to CTA implementation now, which require similar behavior. Root node of <assert> XDM trees are now untyped (i.e they carry the type annotation xs:anyType), and rest of nodes of <assert> XDM trees are typed (this is as per recommendation from XSD 1.1 spec).

9. Implemented comment and PI nodes for assert XDM trees. Thanks to Michael Glavassevich for enhancing prior stages of XSD validation pipeline, that enabled this support in XMLSchemaValidator component as well as other downstream <assert> evaluation components. 

10. Assertion fixes mentioned in JIRA issues XERCESJ-1489, XERCESJ-1470.

  was:
I thought it's good to create a JIRA issue for these changes for tracking purpose.

1. Improvements to assertion failure messages. Now assertion facet failure messages are similar to other facet failure messages. Earlier it was not apparent in error messages, that a facet failure with <assertion> *was from a facet*.

2. Improved processing logic for assertion evaluations for simpleType definitions having variety union. Improvements to updation of memberType PSVI result when assertions are involved for simpleType definitions with variety union.

3. Providing an improved PsychoPath XPath 2.0 JAR file. This includes quite a few improvements to couple of XPath 2.0 F&O function implementations, and few other enhancements. 

4. It's now a static error (we now produce a warning upon an XPath parse exception in this case) to have the <assert> XPath expressions to begin with the tokens / or // (since assert XDM trees are rooted at a parentless element node). for e.g /x, //x or a[/x] etc are incorrect assert XPath expressions and would result in a static error. This change requires the new PsychoPath XPath 2.0 JAR.

5. If the <any> wild-card has a specifier processContents="skip", then that part of XML content tree should be available to the in-scope assertion components. This wasn't occurring earlier.

6. Implemented [failed assertions] PSVI property for "element information items".

7. The XSD attribute "id" on the elements <assert> and <assertion> are tested post Xerces 2.11.0 release, and are observed to be working fine.

8. Now the element node that's validated by the complexType, is the root node of <assert> XDM trees. This also applies to CTA implementation now, which require similar behavior. Root node of <assert> XDM trees are now untyped (i.e they carry the type annotation xs:anyType), and rest of nodes of <assert> XDM trees are typed (this is as per recommendation from XSD 1.1 spec).

9. Implemented comment and PI nodes for assert XDM trees. 

10. Assertion fixes mentioned in JIRA issues XERCESJ-1489, XERCESJ-1470.

    
> Improvements to XML Schema 1.1 assertions processing
> ----------------------------------------------------
>
>                 Key: XERCESJ-1502
>                 URL: https://issues.apache.org/jira/browse/XERCESJ-1502
>             Project: Xerces2-J
>          Issue Type: Improvement
>          Components: XML Schema 1.1 Datatypes, XML Schema 1.1 Structures
>    Affects Versions: 2.11.0
>            Reporter: Mukul Gandhi
>            Assignee: Mukul Gandhi
>
> I thought it's good to create a JIRA issue for these changes for tracking purpose.
> 1. Improvements to assertion failure messages. Now assertion facet failure messages are similar to other facet failure messages. Earlier it was not apparent in error messages, that a facet failure with <assertion> *was from a facet*.
> 2. Improved processing logic for assertion evaluations for simpleType definitions having variety union. Improvements to updation of memberType PSVI result when assertions are involved for simpleType definitions with variety union.
> 3. Providing an improved PsychoPath XPath 2.0 JAR file. This includes quite a few improvements to couple of XPath 2.0 F&O function implementations, and few other enhancements. 
> 4. It's now a static error (we now produce a warning upon an XPath parse exception in this case) to have the <assert> XPath expressions to begin with the tokens / or // (since assert XDM trees are rooted at a parentless element node). for e.g /x, //x or a[/x] etc are incorrect assert XPath expressions and would result in a static error. This change requires the new PsychoPath XPath 2.0 JAR.
> 5. If the <any> wild-card has a specifier processContents="skip", then that part of XML content tree should be available to the in-scope assertion components. This wasn't occurring earlier.
> 6. Implemented [failed assertions] PSVI property for "element information items".
> 7. The XSD attribute "id" on the elements <assert> and <assertion> are tested post Xerces 2.11.0 release, and are observed to be working fine.
> 8. Now the element node that's validated by the complexType, is the root node of <assert> XDM trees. This also applies to CTA implementation now, which require similar behavior. Root node of <assert> XDM trees are now untyped (i.e they carry the type annotation xs:anyType), and rest of nodes of <assert> XDM trees are typed (this is as per recommendation from XSD 1.1 spec).
> 9. Implemented comment and PI nodes for assert XDM trees. Thanks to Michael Glavassevich for enhancing prior stages of XSD validation pipeline, that enabled this support in XMLSchemaValidator component as well as other downstream <assert> evaluation components. 
> 10. Assertion fixes mentioned in JIRA issues XERCESJ-1489, XERCESJ-1470.

--
This message is automatically generated by JIRA.
If you think it was sent incorrectly, please contact your JIRA administrators: https://issues.apache.org/jira/secure/ContactAdministrators!default.jspa
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-1502) Improvements to XML Schema 1.1 assertions processing

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

Mukul Gandhi updated XERCESJ-1502:
----------------------------------

    Description: 
I thought it's good to create a JIRA issue for these changes for tracking purpose.

1. Improvements to assertion failure messages. Now assertion facet failure messages are similar to other facet failure messages. Earlier it was not apparent in error messages, that a facet failure with <assertion> *was from a facet*.

2. Improved processing logic for assertion evaluations for simpleType definitions having variety union. Improvements to updation of memberType PSVI result when assertions are involved for simpleType definitions with variety union.

3. Providing an improved PsychoPath XPath 2.0 JAR file. This includes quite a few improvements to couple of XPath 2.0 F&O function implementations, and few other enhancements. 

4. It's now a static error (i.e we produce a warning upon an XPath parse exception in this case) to have the <assert> XPath expressions to begin with the tokens / or // (since assert XDM trees are rooted at a parentless element node). for e.g /x, //x or a[/x] etc are incorrect assert XPath expressions and would result in a static error. This change requires the new PsychoPath XPath 2.0 JAR.

5. If the <any> wild-card has a specifier processContents="skip", then that part of XML content tree should be available to the in-scope assertion components. This wasn't occurring earlier.

6. Implemented [failed assertions] PSVI property for "element information items".

7. The XSD attribute "id" on the elements <assert> and <assertion> are tested post Xerces 2.11.0 release, and are observed to be working fine.

8. Now the element node that's validated by the complexType, is the root node of <assert> XDM trees. This also applies to CTA implementation now, which require similar behavior. Root node of <assert> XDM trees are now untyped (i.e they carry the type annotation xs:anyType), and rest of nodes of <assert> XDM trees are typed (this is as per recommendation from XSD 1.1 spec).

9. Implemented comment and PI nodes for assert XDM trees. 

10. Assertion fixes mentioned in JIRA issues XERCESJ-1489, XERCESJ-1470.

  was:
I thought it's good to create a JIRA issue for these changes for tracking purpose.

1. Improvements to assertion failure messages. Now assertion facet failure messages are similar to other facet failure messages. Earlier it was not apparent in error messages, that a facet failure with <assertion> *was from a facet*.

2. Improved processing logic for assertion evaluations for simpleType definitions having variety union. Improvements to updation of memberType PSVI result when assertions are involved for simpleType definitions with variety union.

3. Providing an improved PsychoPath XPath 2.0 JAR file. This includes quite a few improvements to couple of XPath 2.0 F&O function implementations. 

4. It's now a static error to have the <assert> XPath expressions to begin with the XPath syntax fragments / or // (since assert XDM trees are rooted at a parentless element node). for e.g /x, //x or a[/x] etc are incorrect assert XPath expressions and would result in a static error. This change requires the new PsychoPath XPath 2.0 JAR.

5. If the <any> wild-card has a specifier processContents="skip", then that part of XML content tree should be available to the in-scope assertion components. This wasn't occurring earlier.

6. Implemented [failed assertions] PSVI property for "element information items".

7. The XSD attribute "id" on the elements <assert> and <assertion> are tested post Xerces 2.11.0 release, and are observed to be working fine.

8. Now top most element of assertions is the root node of <assert> XDM trees. This also benefits CTA implementation, which require similar behavior. Root node of <assert> XDM trees are now untyped (i.e they carry the type annotation xs:anyType), and rest of nodes of <assert> XDM trees are typed. This is as per recommendation from XSD 1.1 spec.

9. Assertion fixes mentioned in JIRA issues XERCESJ-1489, XERCESJ-1470.

    
> Improvements to XML Schema 1.1 assertions processing
> ----------------------------------------------------
>
>                 Key: XERCESJ-1502
>                 URL: https://issues.apache.org/jira/browse/XERCESJ-1502
>             Project: Xerces2-J
>          Issue Type: Improvement
>          Components: XML Schema 1.1 Datatypes, XML Schema 1.1 Structures
>    Affects Versions: 2.11.0
>            Reporter: Mukul Gandhi
>            Assignee: Mukul Gandhi
>
> I thought it's good to create a JIRA issue for these changes for tracking purpose.
> 1. Improvements to assertion failure messages. Now assertion facet failure messages are similar to other facet failure messages. Earlier it was not apparent in error messages, that a facet failure with <assertion> *was from a facet*.
> 2. Improved processing logic for assertion evaluations for simpleType definitions having variety union. Improvements to updation of memberType PSVI result when assertions are involved for simpleType definitions with variety union.
> 3. Providing an improved PsychoPath XPath 2.0 JAR file. This includes quite a few improvements to couple of XPath 2.0 F&O function implementations, and few other enhancements. 
> 4. It's now a static error (i.e we produce a warning upon an XPath parse exception in this case) to have the <assert> XPath expressions to begin with the tokens / or // (since assert XDM trees are rooted at a parentless element node). for e.g /x, //x or a[/x] etc are incorrect assert XPath expressions and would result in a static error. This change requires the new PsychoPath XPath 2.0 JAR.
> 5. If the <any> wild-card has a specifier processContents="skip", then that part of XML content tree should be available to the in-scope assertion components. This wasn't occurring earlier.
> 6. Implemented [failed assertions] PSVI property for "element information items".
> 7. The XSD attribute "id" on the elements <assert> and <assertion> are tested post Xerces 2.11.0 release, and are observed to be working fine.
> 8. Now the element node that's validated by the complexType, is the root node of <assert> XDM trees. This also applies to CTA implementation now, which require similar behavior. Root node of <assert> XDM trees are now untyped (i.e they carry the type annotation xs:anyType), and rest of nodes of <assert> XDM trees are typed (this is as per recommendation from XSD 1.1 spec).
> 9. Implemented comment and PI nodes for assert XDM trees. 
> 10. Assertion fixes mentioned in JIRA issues XERCESJ-1489, XERCESJ-1470.

--
This message is automatically generated by JIRA.
If you think it was sent incorrectly, please contact your JIRA administrators: https://issues.apache.org/jira/secure/ContactAdministrators!default.jspa
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-1502) Improvements to XML Schema 1.1 assertions processing

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

Mukul Gandhi updated XERCESJ-1502:
----------------------------------

    Description: 
I thought it's good to create a JIRA issue for these changes for tracking purpose.

1. Improvements to assertion failure messages. Now assertion facet failure messages are similar to other facet failure messages. Earlier it was not apparent in error messages, that a facet failure with <assertion> *was from a facet*.

2. Improved processing logic for assertion evaluations for simpleType definitions having variety union. Improvements to updation of memberType PSVI result when assertions are involved for simpleType definitions with variety union.

3. Providing an improved PsychoPath XPath 2.0 JAR file. This includes quite a few improvements to couple of XPath 2.0 F&O function implementations, and few other enhancements. 

4. It's now a static error (we now produce a warning upon an XPath parse exception in this case) to have the <assert> XPath expressions to begin with the tokens / or // (since assert XDM trees are rooted at a parentless element node). for e.g /x, //x or a[/x] etc are incorrect assert XPath expressions and would result in a static error. This change requires the new PsychoPath XPath 2.0 JAR.

5. If the <any> wild-card has a specifier processContents="skip", then that part of XML content tree should be available to the in-scope assertion components. This wasn't occurring earlier.

6. Implemented [failed assertions] PSVI property for "element information items".

7. The XSD attribute "id" on the elements <assert> and <assertion> are tested post Xerces 2.11.0 release, and are observed to be working fine.

8. Now the element node that's validated by the complexType, is the root node of <assert> XDM trees. This also applies to CTA implementation now, which require similar behavior. Root node of <assert> XDM trees are now untyped (i.e they carry the type annotation xs:anyType), and rest of nodes of <assert> XDM trees are typed (this is as per recommendation from XSD 1.1 spec).

9. Implemented comment and PI nodes for assert XDM trees. 

10. Assertion fixes mentioned in JIRA issues XERCESJ-1489, XERCESJ-1470.

  was:
I thought it's good to create a JIRA issue for these changes for tracking purpose.

1. Improvements to assertion failure messages. Now assertion facet failure messages are similar to other facet failure messages. Earlier it was not apparent in error messages, that a facet failure with <assertion> *was from a facet*.

2. Improved processing logic for assertion evaluations for simpleType definitions having variety union. Improvements to updation of memberType PSVI result when assertions are involved for simpleType definitions with variety union.

3. Providing an improved PsychoPath XPath 2.0 JAR file. This includes quite a few improvements to couple of XPath 2.0 F&O function implementations, and few other enhancements. 

4. It's now a static error (i.e we produce a warning upon an XPath parse exception in this case) to have the <assert> XPath expressions to begin with the tokens / or // (since assert XDM trees are rooted at a parentless element node). for e.g /x, //x or a[/x] etc are incorrect assert XPath expressions and would result in a static error. This change requires the new PsychoPath XPath 2.0 JAR.

5. If the <any> wild-card has a specifier processContents="skip", then that part of XML content tree should be available to the in-scope assertion components. This wasn't occurring earlier.

6. Implemented [failed assertions] PSVI property for "element information items".

7. The XSD attribute "id" on the elements <assert> and <assertion> are tested post Xerces 2.11.0 release, and are observed to be working fine.

8. Now the element node that's validated by the complexType, is the root node of <assert> XDM trees. This also applies to CTA implementation now, which require similar behavior. Root node of <assert> XDM trees are now untyped (i.e they carry the type annotation xs:anyType), and rest of nodes of <assert> XDM trees are typed (this is as per recommendation from XSD 1.1 spec).

9. Implemented comment and PI nodes for assert XDM trees. 

10. Assertion fixes mentioned in JIRA issues XERCESJ-1489, XERCESJ-1470.

    
> Improvements to XML Schema 1.1 assertions processing
> ----------------------------------------------------
>
>                 Key: XERCESJ-1502
>                 URL: https://issues.apache.org/jira/browse/XERCESJ-1502
>             Project: Xerces2-J
>          Issue Type: Improvement
>          Components: XML Schema 1.1 Datatypes, XML Schema 1.1 Structures
>    Affects Versions: 2.11.0
>            Reporter: Mukul Gandhi
>            Assignee: Mukul Gandhi
>
> I thought it's good to create a JIRA issue for these changes for tracking purpose.
> 1. Improvements to assertion failure messages. Now assertion facet failure messages are similar to other facet failure messages. Earlier it was not apparent in error messages, that a facet failure with <assertion> *was from a facet*.
> 2. Improved processing logic for assertion evaluations for simpleType definitions having variety union. Improvements to updation of memberType PSVI result when assertions are involved for simpleType definitions with variety union.
> 3. Providing an improved PsychoPath XPath 2.0 JAR file. This includes quite a few improvements to couple of XPath 2.0 F&O function implementations, and few other enhancements. 
> 4. It's now a static error (we now produce a warning upon an XPath parse exception in this case) to have the <assert> XPath expressions to begin with the tokens / or // (since assert XDM trees are rooted at a parentless element node). for e.g /x, //x or a[/x] etc are incorrect assert XPath expressions and would result in a static error. This change requires the new PsychoPath XPath 2.0 JAR.
> 5. If the <any> wild-card has a specifier processContents="skip", then that part of XML content tree should be available to the in-scope assertion components. This wasn't occurring earlier.
> 6. Implemented [failed assertions] PSVI property for "element information items".
> 7. The XSD attribute "id" on the elements <assert> and <assertion> are tested post Xerces 2.11.0 release, and are observed to be working fine.
> 8. Now the element node that's validated by the complexType, is the root node of <assert> XDM trees. This also applies to CTA implementation now, which require similar behavior. Root node of <assert> XDM trees are now untyped (i.e they carry the type annotation xs:anyType), and rest of nodes of <assert> XDM trees are typed (this is as per recommendation from XSD 1.1 spec).
> 9. Implemented comment and PI nodes for assert XDM trees. 
> 10. Assertion fixes mentioned in JIRA issues XERCESJ-1489, XERCESJ-1470.

--
This message is automatically generated by JIRA.
If you think it was sent incorrectly, please contact your JIRA administrators: https://issues.apache.org/jira/secure/ContactAdministrators!default.jspa
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-1502) Improvements to XML Schema 1.1 assertions processing

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

Mukul Gandhi updated XERCESJ-1502:
----------------------------------

    Description: 
I thought it's good to create a JIRA issue for these changes for tracking purposes. We made following enhancements to the XSD 1.1 assertions implementation post 2.11.0 release.

1. Improvements to assertion failure messages. Now assertion facet failure messages are similar to other facet failure messages. Earlier it was not apparent in error messages, that a facet failure with <assertion> *was from a facet*.

2. Improved processing logic for assertion evaluations for simpleType definitions having variety union. Improvements to updation of memberType PSVI result when assertions are involved for simpleType definitions with variety union.

3. Providing an improved PsychoPath XPath 2.0 JAR file. This includes quite a few improvements to couple of XPath 2.0 F&O function implementations, and few other enhancements. This provides benefits for <assert> and CTA (when working in full XPath 2.0 mode) processing. 

4. It's now a static XSD error to have the <assert> XPath expressions to begin with the tokens / or // (since assert XDM trees are rooted at a parentless element node). For e.g /x, //x or a[/x] etc are incorrect assert XPath expressions and would result in a static error. We now produce a warning upon an XPath parse exception in this case. This change requires the new PsychoPath XPath 2.0 JAR.

5. If an <any> wild-card declaration has a specifier processContents="skip", then the XML instance content covered by such a wild-card declaration should be available to the in-scope <assert> components. This wasn't occurring earlier.

6. Implemented [failed assertions] PSVI property for "element information items".

7. The XSD attribute "id" on the elements <assert> and <assertion> are tested post Xerces 2.11.0 release, and are observed to be working fine.

8. Now an element node that's validated by a complex type definition, is the root node of <assert> XDM trees (this also applies to CTA implementation, which require similar behavior). The root node of <assert> XDM trees are now untyped (they carry the type annotation xs:anyType), and rest of nodes of <assert> XDM trees are typed as per the in-scope XSD types. These changes are as per recommendation from XSD 1.1 spec.

9. <assert> XDM trees now recognize the XML 'comment' and 'PI' nodes. But this is disabled by default, and can be enabled by setting the feature (on javax.xml.validation.Validator) 'Constants.XERCES_FEATURE_PREFIX + Constants.ASSERT_COMMENT_PI_CHECKING_FEATURE' to 'true'.

10. Assertion fixes mentioned in JIRA issues XERCESJ-1489, XERCESJ-1470.

Thanks to Michael, Sandy and Khaled as well for helping with some of the design issues with these enhancements.

  was:
I thought it's good to create a JIRA issue for these changes for tracking purposes. We made following enhancements to the XSD 1.1 assertions implementation post 2.11.0 release.

1. Improvements to assertion failure messages. Now assertion facet failure messages are similar to other facet failure messages. Earlier it was not apparent in error messages, that a facet failure with <assertion> *was from a facet*.

2. Improved processing logic for assertion evaluations for simpleType definitions having variety union. Improvements to updation of memberType PSVI result when assertions are involved for simpleType definitions with variety union.

3. Providing an improved PsychoPath XPath 2.0 JAR file. This includes quite a few improvements to couple of XPath 2.0 F&O function implementations, and few other enhancements. This provides benefits for <assert> and CTA (when in full XPath 2.0 mode) processing. 

4. It's now a static XSD error to have the <assert> XPath expressions to begin with the tokens / or // (since assert XDM trees are rooted at a parentless element node). For e.g /x, //x or a[/x] etc are incorrect assert XPath expressions and would result in a static error. We now produce a warning upon an XPath parse exception in this case. This change requires the new PsychoPath XPath 2.0 JAR.

5. If an <any> wild-card declaration has a specifier processContents="skip", then the XML instance content covered by such a wild-card declaration should be available to the in-scope <assert> components. This wasn't occurring earlier.

6. Implemented [failed assertions] PSVI property for "element information items".

7. The XSD attribute "id" on the elements <assert> and <assertion> are tested post Xerces 2.11.0 release, and are observed to be working fine.

8. Now an element node that's validated by a complex type definition, is the root node of <assert> XDM trees (this also applies to CTA implementation, which require similar behavior). The root node of <assert> XDM trees are now untyped (they carry the type annotation xs:anyType), and rest of nodes of <assert> XDM trees are typed as per the in-scope XSD types. These changes are as per recommendation from XSD 1.1 spec.

9. <assert> XDM trees now recognize the XML 'comment' and 'PI' nodes. But this is disabled by default, and can be enabled by setting the feature (on javax.xml.validation.Validator) 'Constants.XERCES_FEATURE_PREFIX + Constants.ASSERT_COMMENT_PI_CHECKING_FEATURE' to 'true'.

10. Assertion fixes mentioned in JIRA issues XERCESJ-1489, XERCESJ-1470.

Thanks to Michael, Sandy and Khaled as well for helping with some of the design issues with these enhancements.

    
> Improvements to XML Schema 1.1 assertions processing
> ----------------------------------------------------
>
>                 Key: XERCESJ-1502
>                 URL: https://issues.apache.org/jira/browse/XERCESJ-1502
>             Project: Xerces2-J
>          Issue Type: Improvement
>          Components: XML Schema 1.1 Datatypes, XML Schema 1.1 Structures
>    Affects Versions: 2.11.0
>            Reporter: Mukul Gandhi
>            Assignee: Mukul Gandhi
>
> I thought it's good to create a JIRA issue for these changes for tracking purposes. We made following enhancements to the XSD 1.1 assertions implementation post 2.11.0 release.
> 1. Improvements to assertion failure messages. Now assertion facet failure messages are similar to other facet failure messages. Earlier it was not apparent in error messages, that a facet failure with <assertion> *was from a facet*.
> 2. Improved processing logic for assertion evaluations for simpleType definitions having variety union. Improvements to updation of memberType PSVI result when assertions are involved for simpleType definitions with variety union.
> 3. Providing an improved PsychoPath XPath 2.0 JAR file. This includes quite a few improvements to couple of XPath 2.0 F&O function implementations, and few other enhancements. This provides benefits for <assert> and CTA (when working in full XPath 2.0 mode) processing. 
> 4. It's now a static XSD error to have the <assert> XPath expressions to begin with the tokens / or // (since assert XDM trees are rooted at a parentless element node). For e.g /x, //x or a[/x] etc are incorrect assert XPath expressions and would result in a static error. We now produce a warning upon an XPath parse exception in this case. This change requires the new PsychoPath XPath 2.0 JAR.
> 5. If an <any> wild-card declaration has a specifier processContents="skip", then the XML instance content covered by such a wild-card declaration should be available to the in-scope <assert> components. This wasn't occurring earlier.
> 6. Implemented [failed assertions] PSVI property for "element information items".
> 7. The XSD attribute "id" on the elements <assert> and <assertion> are tested post Xerces 2.11.0 release, and are observed to be working fine.
> 8. Now an element node that's validated by a complex type definition, is the root node of <assert> XDM trees (this also applies to CTA implementation, which require similar behavior). The root node of <assert> XDM trees are now untyped (they carry the type annotation xs:anyType), and rest of nodes of <assert> XDM trees are typed as per the in-scope XSD types. These changes are as per recommendation from XSD 1.1 spec.
> 9. <assert> XDM trees now recognize the XML 'comment' and 'PI' nodes. But this is disabled by default, and can be enabled by setting the feature (on javax.xml.validation.Validator) 'Constants.XERCES_FEATURE_PREFIX + Constants.ASSERT_COMMENT_PI_CHECKING_FEATURE' to 'true'.
> 10. Assertion fixes mentioned in JIRA issues XERCESJ-1489, XERCESJ-1470.
> Thanks to Michael, Sandy and Khaled as well for helping with some of the design issues with these enhancements.

--
This message is automatically generated by JIRA.
If you think it was sent incorrectly, please contact your JIRA administrators: https://issues.apache.org/jira/secure/ContactAdministrators!default.jspa
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-1502) Improvements to Schema 1.1 assertions processing

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

Mukul Gandhi updated XERCESJ-1502:
----------------------------------

    Description: 
I thought it's good to create a JIRA issue for these changes for tracking purpose.

1. Changed internal code design significantly for Schema 1.1 assertions processing (mainly in validator and evaluation layers. traverser implementation is mostly untouched since 2.11.0 release), involving quite a bit of re-factoring to improve understandability and maintainability of code base.

2. Improvements to assertion failure messages. Now assertion facet failure messages are similar to other facet failure messages. Earlier it was not apparent in error messages, that a facet failure with xs:assertion *was from a facet*.

3. Improved processing logic for assertion evaluations for simpleType's with variety union. Improvements to updation of memberType PSVI result when assertions are involved for simpleType with variety union.

4. Providing an improved PsychoPath XPath 2.0 JAR file.

5. It's now (change done post 2.11.0 release) a static error to have xs:assert XPath expressions to begin with / or // (since assert XDM trees are rooted at a parentless element). for e.g /x, //x or a[/x] etc are incorrect assert XPath expressions and would result in a static error. This change requires the new PsychoPath XPath 2.0 JAR.

  was:
I thought it's good to create a JIRA issue for these changes for tracking purpose.

1. Changed internal code design significantly for Schema 1.1 assertions processing (mainly in validator and evaluation layers. traverser implementation is mostly untouched since 2.11.0 release), involving quite a bit of re-factoring to improve understandability and maintainability of code base.

2. Improvements to assertion failure messages. Now assertion facet failure messages are similar to other facet failure messages. Earlier it was not apparent in error messages, that a facet failure with xs:assertion *was from a facet*.

3. Improved processing logic for assertion evaluations for simpleType's with variety union. Improvements to updation of memberType PSVI result when assertions are involved for simpleType with variety union.

4. Providing an improved PsychoPath XPath 2.0 JAR file.


> Improvements to Schema 1.1 assertions processing
> ------------------------------------------------
>
>                 Key: XERCESJ-1502
>                 URL: https://issues.apache.org/jira/browse/XERCESJ-1502
>             Project: Xerces2-J
>          Issue Type: Improvement
>          Components: XML Schema 1.1 Datatypes, XML Schema 1.1 Structures
>    Affects Versions: 2.11.0
>            Reporter: Mukul Gandhi
>            Assignee: Mukul Gandhi
>
> I thought it's good to create a JIRA issue for these changes for tracking purpose.
> 1. Changed internal code design significantly for Schema 1.1 assertions processing (mainly in validator and evaluation layers. traverser implementation is mostly untouched since 2.11.0 release), involving quite a bit of re-factoring to improve understandability and maintainability of code base.
> 2. Improvements to assertion failure messages. Now assertion facet failure messages are similar to other facet failure messages. Earlier it was not apparent in error messages, that a facet failure with xs:assertion *was from a facet*.
> 3. Improved processing logic for assertion evaluations for simpleType's with variety union. Improvements to updation of memberType PSVI result when assertions are involved for simpleType with variety union.
> 4. Providing an improved PsychoPath XPath 2.0 JAR file.
> 5. It's now (change done post 2.11.0 release) a static error to have xs:assert XPath expressions to begin with / or // (since assert XDM trees are rooted at a parentless element). for e.g /x, //x or a[/x] etc are incorrect assert XPath expressions and would result in a static error. This change requires the new PsychoPath XPath 2.0 JAR.

--
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-1502) Improvements to Schema 1.1 assertions processing

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

Mukul Gandhi updated XERCESJ-1502:
----------------------------------

    Description: 
I thought it's good to create a JIRA issue for these changes for tracking purpose.

1. Changed internal code design significantly for Schema 1.1 assertions processing (mainly in validator and evaluation layers. traverser implementation is mostly untouched since 2.11.0 release), involving quite a bit of re-factoring to improve understandability and maintainability of code base.

2. Improvements to assertion failure messages. Now assertion facet failure messages are similar to other facet failure messages. Earlier it was not apparent in error messages, that a facet failure with xs:assertion *was from a facet*.

3. Improved processing logic for assertion evaluations for simpleType's with variety union. Improvements to updation of memberType PSVI result when assertions are involved for simpleType with variety union.

4. Providing an improved PsychoPath XPath 2.0 JAR file.

5. It's now (change done post 2.11.0 release) a static error to have xs:assert XPath expressions to begin with / or // (since assert XDM trees are rooted at a parentless element). for e.g /x, //x or a[/x] etc are incorrect assert XPath expressions and would result in a static error. This change requires the new PsychoPath XPath 2.0 JAR.

6. If xs:any wildcard has processContents="skip", then that part of XML content tree should be available to relevant assertions. This improvement is done post 2.11.0 release.

7. Implemented [failed assertions] PSVI property for "element information items".

8. "id" attribute on xs:assert and xs:assertion are tested post Xerces 2.11.0 release, and are observed to be working fine.

  was:
I thought it's good to create a JIRA issue for these changes for tracking purpose.

1. Changed internal code design significantly for Schema 1.1 assertions processing (mainly in validator and evaluation layers. traverser implementation is mostly untouched since 2.11.0 release), involving quite a bit of re-factoring to improve understandability and maintainability of code base.

2. Improvements to assertion failure messages. Now assertion facet failure messages are similar to other facet failure messages. Earlier it was not apparent in error messages, that a facet failure with xs:assertion *was from a facet*.

3. Improved processing logic for assertion evaluations for simpleType's with variety union. Improvements to updation of memberType PSVI result when assertions are involved for simpleType with variety union.

4. Providing an improved PsychoPath XPath 2.0 JAR file.

5. It's now (change done post 2.11.0 release) a static error to have xs:assert XPath expressions to begin with / or // (since assert XDM trees are rooted at a parentless element). for e.g /x, //x or a[/x] etc are incorrect assert XPath expressions and would result in a static error. This change requires the new PsychoPath XPath 2.0 JAR.

6. If xs:any wildcard has processContents="skip", then that part of XML content tree should be available to relevant assertions. This improvement is done post 2.11.0 release.

7. Implemented [failed assertions] PSVI property for "element information items".


> Improvements to Schema 1.1 assertions processing
> ------------------------------------------------
>
>                 Key: XERCESJ-1502
>                 URL: https://issues.apache.org/jira/browse/XERCESJ-1502
>             Project: Xerces2-J
>          Issue Type: Improvement
>          Components: XML Schema 1.1 Datatypes, XML Schema 1.1 Structures
>    Affects Versions: 2.11.0
>            Reporter: Mukul Gandhi
>            Assignee: Mukul Gandhi
>
> I thought it's good to create a JIRA issue for these changes for tracking purpose.
> 1. Changed internal code design significantly for Schema 1.1 assertions processing (mainly in validator and evaluation layers. traverser implementation is mostly untouched since 2.11.0 release), involving quite a bit of re-factoring to improve understandability and maintainability of code base.
> 2. Improvements to assertion failure messages. Now assertion facet failure messages are similar to other facet failure messages. Earlier it was not apparent in error messages, that a facet failure with xs:assertion *was from a facet*.
> 3. Improved processing logic for assertion evaluations for simpleType's with variety union. Improvements to updation of memberType PSVI result when assertions are involved for simpleType with variety union.
> 4. Providing an improved PsychoPath XPath 2.0 JAR file.
> 5. It's now (change done post 2.11.0 release) a static error to have xs:assert XPath expressions to begin with / or // (since assert XDM trees are rooted at a parentless element). for e.g /x, //x or a[/x] etc are incorrect assert XPath expressions and would result in a static error. This change requires the new PsychoPath XPath 2.0 JAR.
> 6. If xs:any wildcard has processContents="skip", then that part of XML content tree should be available to relevant assertions. This improvement is done post 2.11.0 release.
> 7. Implemented [failed assertions] PSVI property for "element information items".
> 8. "id" attribute on xs:assert and xs:assertion are tested post Xerces 2.11.0 release, and are observed to be working fine.

--
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-1502) Improvements to Schema 1.1 assertions processing

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

Mukul Gandhi updated XERCESJ-1502:
----------------------------------

    Description: 
I thought it's good to create a JIRA issue for these changes for tracking purpose.

1. Improvements to assertion failure messages. Now assertion facet failure messages are similar to other facet failure messages. Earlier it was not apparent in error messages, that a facet failure with xs:assertion *was from a facet*.

2. Improved processing logic for assertion evaluations for simpleType's with variety union. Improvements to updation of memberType PSVI result when assertions are involved for simpleType with variety union.

3. Providing an improved PsychoPath XPath 2.0 JAR file.

4. It's now (change done post 2.11.0 release) a static error to have xs:assert XPath expressions to begin with / or // (since assert XDM trees are rooted at a parentless element). for e.g /x, //x or a[/x] etc are incorrect assert XPath expressions and would result in a static error. This change requires the new PsychoPath XPath 2.0 JAR.

5. If xs:any wildcard has processContents="skip", then that part of XML content tree should be available to relevant assertions. This improvement is done post 2.11.0 release.

6. Implemented [failed assertions] PSVI property for "element information items".

7. "id" attribute on xs:assert and xs:assertion are tested post Xerces 2.11.0 release, and are observed to be working fine.

  was:
I thought it's good to create a JIRA issue for these changes for tracking purpose.

1. Changed internal code design significantly for Schema 1.1 assertions processing (mainly in validator and evaluation layers. traverser implementation is mostly untouched since 2.11.0 release), involving quite a bit of re-factoring to improve understandability and maintainability of code base.

2. Improvements to assertion failure messages. Now assertion facet failure messages are similar to other facet failure messages. Earlier it was not apparent in error messages, that a facet failure with xs:assertion *was from a facet*.

3. Improved processing logic for assertion evaluations for simpleType's with variety union. Improvements to updation of memberType PSVI result when assertions are involved for simpleType with variety union.

4. Providing an improved PsychoPath XPath 2.0 JAR file.

5. It's now (change done post 2.11.0 release) a static error to have xs:assert XPath expressions to begin with / or // (since assert XDM trees are rooted at a parentless element). for e.g /x, //x or a[/x] etc are incorrect assert XPath expressions and would result in a static error. This change requires the new PsychoPath XPath 2.0 JAR.

6. If xs:any wildcard has processContents="skip", then that part of XML content tree should be available to relevant assertions. This improvement is done post 2.11.0 release.

7. Implemented [failed assertions] PSVI property for "element information items".

8. "id" attribute on xs:assert and xs:assertion are tested post Xerces 2.11.0 release, and are observed to be working fine.


> Improvements to Schema 1.1 assertions processing
> ------------------------------------------------
>
>                 Key: XERCESJ-1502
>                 URL: https://issues.apache.org/jira/browse/XERCESJ-1502
>             Project: Xerces2-J
>          Issue Type: Improvement
>          Components: XML Schema 1.1 Datatypes, XML Schema 1.1 Structures
>    Affects Versions: 2.11.0
>            Reporter: Mukul Gandhi
>            Assignee: Mukul Gandhi
>
> I thought it's good to create a JIRA issue for these changes for tracking purpose.
> 1. Improvements to assertion failure messages. Now assertion facet failure messages are similar to other facet failure messages. Earlier it was not apparent in error messages, that a facet failure with xs:assertion *was from a facet*.
> 2. Improved processing logic for assertion evaluations for simpleType's with variety union. Improvements to updation of memberType PSVI result when assertions are involved for simpleType with variety union.
> 3. Providing an improved PsychoPath XPath 2.0 JAR file.
> 4. It's now (change done post 2.11.0 release) a static error to have xs:assert XPath expressions to begin with / or // (since assert XDM trees are rooted at a parentless element). for e.g /x, //x or a[/x] etc are incorrect assert XPath expressions and would result in a static error. This change requires the new PsychoPath XPath 2.0 JAR.
> 5. If xs:any wildcard has processContents="skip", then that part of XML content tree should be available to relevant assertions. This improvement is done post 2.11.0 release.
> 6. Implemented [failed assertions] PSVI property for "element information items".
> 7. "id" attribute on xs:assert and xs:assertion are tested post Xerces 2.11.0 release, and are observed to be working fine.

--
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-1502) Improvements to XML Schema 1.1 assertions processing

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

Mukul Gandhi updated XERCESJ-1502:
----------------------------------

    Description: 
I thought it's good to create a JIRA issue for these changes for tracking purpose.

1. Improvements to assertion failure messages. Now assertion facet failure messages are similar to other facet failure messages. Earlier it was not apparent in error messages, that a facet failure with <assertion> *was from a facet*.

2. Improved processing logic for assertion evaluations for simpleType definitions having variety union. Improvements to updation of memberType PSVI result when assertions are involved for simpleType definitions with variety union.

3. Providing an improved PsychoPath XPath 2.0 JAR file. This includes quite a few improvements to couple of XPath 2.0 F&O function implementations. 

4. It's now a static error to have the <assert> XPath expressions to begin with the XPath syntax fragments / or // (since assert XDM trees are rooted at a parentless element node). for e.g /x, //x or a[/x] etc are incorrect assert XPath expressions and would result in a static error. This change requires the new PsychoPath XPath 2.0 JAR.

5. If the <any> wild-card has a specifier processContents="skip", then that part of XML content tree should be available to the in-scope assertion components. This wasn't occurring earlier.

6. Implemented [failed assertions] PSVI property for "element information items".

7. The XSD attribute "id" on the elements <assert> and <assertion> are tested post Xerces 2.11.0 release, and are observed to be working fine.

8. Now top most element of assertions is the root node of <assert> XDM trees. This also benefits CTA implementation, which require similar behavior. Root node of <assert> XDM trees are now untyped (i.e they carry the type annotation xs:any), and rest of nodes of <assert> XDM trees are typed. This is as per recommendation from XSD 1.1 spec.

9. Assertion fixes mentioned in JIRA issues XERCESJ-1489, XERCESJ-1470.

  was:
I thought it's good to create a JIRA issue for these changes for tracking purpose.

1. Improvements to assertion failure messages. Now assertion facet failure messages are similar to other facet failure messages. Earlier it was not apparent in error messages, that a facet failure with <assertion> *was from a facet*.

2. Improved processing logic for assertion evaluations for simpleType definitions having variety union. Improvements to updation of memberType PSVI result when assertions are involved for simpleType definitions with variety union.

3. Providing an improved PsychoPath XPath 2.0 JAR file.

4. It's now a static error to have the <assert> XPath expressions to begin with the XPath syntax fragments / or // (since assert XDM trees are rooted at a parentless element node). for e.g /x, //x or a[/x] etc are incorrect assert XPath expressions and would result in a static error. This change requires the new PsychoPath XPath 2.0 JAR.

5. If the <any> wild-card has a specifier processContents="skip", then that part of XML content tree should be available to the in-scope assertion components. This wasn't occurring earlier.

6. Implemented [failed assertions] PSVI property for "element information items".

7. The XSD attribute "id" on the elements <assert> and <assertion> are tested post Xerces 2.11.0 release, and are observed to be working fine.


writing few more points I could think of, for the improvements we did to assertions implementation.
                
> Improvements to XML Schema 1.1 assertions processing
> ----------------------------------------------------
>
>                 Key: XERCESJ-1502
>                 URL: https://issues.apache.org/jira/browse/XERCESJ-1502
>             Project: Xerces2-J
>          Issue Type: Improvement
>          Components: XML Schema 1.1 Datatypes, XML Schema 1.1 Structures
>    Affects Versions: 2.11.0
>            Reporter: Mukul Gandhi
>            Assignee: Mukul Gandhi
>
> I thought it's good to create a JIRA issue for these changes for tracking purpose.
> 1. Improvements to assertion failure messages. Now assertion facet failure messages are similar to other facet failure messages. Earlier it was not apparent in error messages, that a facet failure with <assertion> *was from a facet*.
> 2. Improved processing logic for assertion evaluations for simpleType definitions having variety union. Improvements to updation of memberType PSVI result when assertions are involved for simpleType definitions with variety union.
> 3. Providing an improved PsychoPath XPath 2.0 JAR file. This includes quite a few improvements to couple of XPath 2.0 F&O function implementations. 
> 4. It's now a static error to have the <assert> XPath expressions to begin with the XPath syntax fragments / or // (since assert XDM trees are rooted at a parentless element node). for e.g /x, //x or a[/x] etc are incorrect assert XPath expressions and would result in a static error. This change requires the new PsychoPath XPath 2.0 JAR.
> 5. If the <any> wild-card has a specifier processContents="skip", then that part of XML content tree should be available to the in-scope assertion components. This wasn't occurring earlier.
> 6. Implemented [failed assertions] PSVI property for "element information items".
> 7. The XSD attribute "id" on the elements <assert> and <assertion> are tested post Xerces 2.11.0 release, and are observed to be working fine.
> 8. Now top most element of assertions is the root node of <assert> XDM trees. This also benefits CTA implementation, which require similar behavior. Root node of <assert> XDM trees are now untyped (i.e they carry the type annotation xs:any), and rest of nodes of <assert> XDM trees are typed. This is as per recommendation from XSD 1.1 spec.
> 9. Assertion fixes mentioned in JIRA issues XERCESJ-1489, XERCESJ-1470.

--
This message is automatically generated by JIRA.
If you think it was sent incorrectly, please contact your JIRA administrators: https://issues.apache.org/jira/secure/ContactAdministrators!default.jspa
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