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 (Updated) (JIRA)" <xe...@xml.apache.org> on 2011/11/01 13:48:32 UTC

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

     [ 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