document関数の概要（XSLT1.0）

XSLT1.0 のdocument関数の定義をはっきりさせる試み。

• 12.1 Multiple Source Documents （XSLT 1.0 仕様書） (英語)

仕様書のdocument関数の説明が曖昧で分かりづらいと思われたので、適当に意訳してみました。間違った解説、不十分な解説が多いのも理由です。

尚、ノード集合は {} （一対のカーリブラケット）で表記し、各ノードはその中にカンマで区切って列挙しています。

document(ノード集合) の場合

• あるdocument関数 が、唯一つの引数 A を持ち、A がノード集合 { a₁, a₂, .. a_m } である場合、その戻り値は、A に含まれる各ノード a_n (n = 1, 2, .. m) について、a_n の文字列値を第一引数とし、a_n のみ含むノード集合を第二引数にもつ document関数、即ち、 document(string({ a_n }), { a_n }) (n = 1, 2, .. m) の結果の和集合になる。

もう少し短くしますと：

• あるdocument関数 が、唯一つの引数 A を持ち、A がノード集合 { a₁, a₂, .. a_m } であるならば、その戻り値は、document(string({ a_n }), { a_n }) (n = 1, 2, .. m) の戻り値の和集合になる。

因みにこのケースについてきちんと説明している解説を見たことがありません。

document(ノード集合) の例に続きます。

document(ノード集合, ノード集合) の場合

• あるdocument関数が二つの引数 A, B を持ち、A がノード集合 { a₁, a₂, .. a_m } であり、B がノード集合 { b₁, b₂, .. } であるならば、その戻り値は、document(string({ a_n }), { b₁ }) (n = 1, 2, .. m) の結果の和集合となる。

document(文字列) の場合

document(絶対URI) の場合

• あるdocument関数が唯一つの引数 A を持ち、A が絶対URIを表す文字列であったなら、その戻り値は、ノード集合 { B } になる。但し B は、絶対URI A が識別するリソースのXMLツリーのルートノードであると定義する。