2.3.3 有効ブール値

有効ブール値とは、ある値をブール値として処理するとき、暗黙的に計算された結果のブール値です。有効ブール値の計算結果は、true、false、またはエラーを返します。

以下の表に、有効ブール値を求める値の条件と、その値の有効ブール値を示します。

値の条件	有効ブール値
空シーケンス	false
最初の項目がノードであるシーケンス	true
xs:boolean型の原子値true	true
xs:boolean型の原子値false	false
xs:string型またはxs:untypedAtomic型の原子値であり、値の長さが0	false
xs:string型またはxs:untypedAtomic型の原子値であり、値の長さが1以上	true
数値型(xs:double型)の原子値であり、その値がNaNまたは0	false
数値型(xs:double型)の原子値であり、その値がNaNと0以外	true
上記の条件以外	エラー

値の有効ブール値は以下のような式の型を処理するときに、暗黙的に計算されます。