(Inline)

On Jun 15, 2012, at 1:08 AM, Mukul Gandhi wrote:

> Hi Jorge,
> 
> On Thu, Jun 14, 2012 at 5:44 PM, Jorge Williams
> <jorge.willi...@rackspace.com> wrote:
> 
>> I couldn't find anything in the standard that says that implementation must 
>> have typed nodes
> 
> The XSD 1.1 assertions spec here describes how the XDM data model for
> assertions need to be constructed,
> 
> http://www.w3.org/TR/xmlschema11-1/#sec-cvc-assertion
> 
> The paragraph "Validation Rule: Assertion Satisfied" says,
> 
> 1 A data model instance (see [XDM]) is constructed in the following way:
> 
>  1.1 E is validated ...
> 
>  1.2 A "partial" ·post-schema-validation infoset· describing the
> results of this partial validation of E is constructed.
> 
>  1.3 From the "partial" ·post-schema-validation infoset·, a data
> model instance is constructed as described in [XDM].
> 
> I think, this does imply that the assertions XDM tree must have typed
> nodes. Note that, the root node of the assert XDM tree is 'untyped'
> before assertions are evaluated (and all other nodes of assert tree
> are typed, before assertion evaluations).

Okay, I'll email the Saxon guys about it.

> 
>> so I don't think that they are doing anything wrong by requiring
> the cast.  The problem that I face is that I don't know what XSD
>> implementation my end users will be using, so I have to make sure that my 
>> XSDs work correctly no matter what.  If your
>> implementation can't handle the cast correctly,  I'd be forced to write two 
>> versions of an XSD, one for Xerces (without casts) and one > for Saxon (with 
>> casts) -- I find myself in this situation today and I don't think it's 
>> acceptable. As Michael noted in his previous email > it's a total pain -- 
>> having to write implementation specific versions of an XSD defeats the 
>> purpose of having a standard in the first
>> place.
> 
> If making explicit casts in this case, helps users we would certainly
> try to implement it :)

It certainly will help me today :-)

> 
>> Please fix this bug :-)
> 
> Definitely. But I can't promise, how soon this can be implemented
> since changing PsychoPath XPath engine internals for this need may not
> be quite trivial.
> 
> 

No problem,  I understand.  I'll start working the issue from the Saxon end.

Thank you very much for looking into it,

-jOrGe W.





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

Reply via email to