[ 
https://issues.apache.org/jira/browse/XERCESJ-1408?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=12909545#action_12909545
 ] 

Mukul Gandhi edited comment on XERCESJ-1408 at 9/14/10 9:02 PM:
----------------------------------------------------------------

fix for jira issue XERCESJ-1468 also solves this issue as well. i'm therefore 
marking this issue fixed.

      was (Author: mukul_gandhi):
    fix for jira issue XERCESJ-1468 also solves this issue as well. i'm 
therefore marking this issue closed please.
  
> assertions facet validation rules, implementation improvements
> --------------------------------------------------------------
>
>                 Key: XERCESJ-1408
>                 URL: https://issues.apache.org/jira/browse/XERCESJ-1408
>             Project: Xerces2-J
>          Issue Type: Improvement
>          Components: XML Schema 1.1 Datatypes
>    Affects Versions: 2.10.0
>            Reporter: Mukul Gandhi
>            Assignee: Mukul Gandhi
>             Fix For: 2.11.0
>
>
> I think, implementation of following section of XSD 1.1 data types, 
> xs:assertion facet spec need to be implemented in entirety, in Xerces-J: 
> http://www.w3.org/TR/2009/CR-xmlschema11-2-20090430/#assertions-validation-rules
>  
> Presently, the Xerces-J SVN code implements some parts of this spec. 
> I find that following sections of the spec (quoted from the spec, itself), 
> are not implemented correctly in Xerces-J: 
> 1. The in-scope variables in the static context is a set with a single 
> member. The expanded QName of that member has no namespace URI and has 
> 'value' as the local name. The (static) type of the member is anyAtomicType*. 
> (the present Xerces SVN implementation, doesn't strictly implements this. The 
> current implementation, assigns specific "built in" XSD types to the xpath2 
> "dynamic context" variable $value, like xs:string, xs:date, etc depending on 
> the XSD type, that exists in the XSD 1.1 schema on the simple type definition 
> (which has assertion facets). We need to improve this, as per the spec.) 
> 2. There is no context item for the evaluation of the XPath expression. As a 
> consequence the expression '.', or any implicit or explicit reference to the 
> context item, will raise a dynamic error, which will cause the assertion to 
> be treated as false. If an error is detected statically, then the assertion 
> violates the schema component constraint XPath Valid and causes an error to 
> be flagged in the schema. 
> (the present implementation does cause a "xpath context" to exist, while 
> evaluating the xs:assertion facet XPath expressions. the current 
> implementation doesn't flag an error to the user, if an attempt is made to 
> refer the expression '.' in assertion facet xpath expression. at least, the 
> assertion should evaluate to false, in this case, even if we don't flag an 
> explicit error for this.) 
> To solve these issues, we also need to investigate the psychopath processor 
> capabilities in this regard. 
> I think, for the XSD 1.1 preview implementation, we have good enough spec 
> conformance, to showcase the assertion facet implementation. But we can try 
> to improve implementation of these parts of the spec, at the earliest.

-- 
This message is automatically generated by JIRA.
-
You can reply to this email to add a comment to the issue online.


---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]

Reply via email to