- From: Daniela Florescu <danielaf@bea.com>
- Date: Mon, 16 Feb 2004 09:36:03 -0800
- To: "Michael Rys" <mrys@microsoft.com>
- Cc: <public-qt-comments@w3.org>
YES, Michael. I was about to send the same message when I read yours :-) We agree entirely. Best regards, Dana On Feb 16, 2004, at 3:11 AM, Michael Rys wrote: > > Section 3.6 Logical Expressions (and 2.3.3 Effective Boolean Value) > Technical > > We should simplify the rules for the implicit effective Boolean values > to allow dispatch of most checks based on static information: > > EBV(X) should be true if: > > X is a non-empty sequence of nodes > X is the atomic value xs:boolean(true) > > EBV(x) should be false if: > > X is an empty sequence > X is the atomic value xs:boolean(false) > > EBV(x) should be a type error if: > X contains an atomic value other than Boolean > X is a sequence of Boolean values > > Note that this means that: > A zero-length value of type xs:string or xdt:untypedAtomic > A numeric value that is equal to zero > The xs:double or xs:float value NaN > > All return a type error. >
Received on Monday, 16 February 2004 12:35:09 UTC