【Additional Functions / 新規追加された機能】XSLT 2.0/XSL Transformations Version2.0/Extensible Stylesheet Language Transformations Version2.0

16.3.1 xsl:key 宣言

<!-- カテゴリ：宣言 -->
<xsl:key
  name = qname
  match = pattern
  use? = expression
  collation? = uri>
  <!-- Content: sequence-constructor -->
</xsl:key>

xsl:key 宣言は、キーを宣言する為に利用されます。 name 属性は、キーの名前を記述します。 name 属性の値は、QNameであり、それは、5.1 適格な名前で記述したように拡張されます。 match 属性は、パターンです； xsl:key 要素は、 match 属性で記述したパターンとマッチするノード全てに適用します。

[定義：  キーは、同じ名前を共有するスタイルシートにある xsl:key 宣言のセットとして定義されます。 ]

キーの値は、 use 属性を利用して、または、 含んだシーケンスコンストラクタという意味で、といういずれかで記述される場合があります。

[ERR XTSE1205] もし、 xsl:key 宣言が、 use 属性とカラの内容を持つ、 または、もし、それがカラの内容を持ち、存在しない use 属性を持つ場合には、 それは、静的エラーです。

もし、 use 属性が存在する場合には、その値は、キーの値を記述している式です。 式は、文脈ノードとしてパターンとマッチするノードを伴って評価されるでしょう。 式を評価した結果は、原子化されます。

とてもよく似た(ケースは)、 もし、シーケンスコンストラクタが、 存在する場合には、それは、キーの値を決める為に利用されます。 シーケンスコンストラクタは、文脈ノードとしてパターンとマッチするノードを伴って評価されるでしょう。 シーケンスコンストラクタを評価した結果は、原子化されます。

[定義：  use 属性にある式と xsl:key 宣言にあるシーケンスコンストラクタは、 キー仕様としてのスタックを参照されます。 キー仕様は、値を決め、このキーを利用してノードを見つける為に利用される場合があります。 ]

xsl:key 宣言の存在は、もし、キー仕様の値のいくつかが、(ノードに適用する際に)既に知られている場合には、 match パターンとマッチするノードを発見する事を容易にさせます。 それはまた、効果的にする為に必要なこれらの値という意味によってノードへアクセスする手法の為のヒントを提供します(インデックスを構築するのに適当である多くの手法、または、これを獲得する為のハッシュテーブル)。 注記としては、一般的に、 キー仕様は、値または、ノードを配置する為に利用される場合があるこれらの内の1つのシーケンスを返します。

付加的な collation 属性は、キーマッチングの目的において等価である2つの文字列かどうかを決める際にだけ利用されます。 特に、 2つの値 $a と $b は、もし、関数呼び出し compare($a、 $b, $collation) の結果がゼロである場合には、等しくなるように考慮されます。 xsl:key 宣言における有効な照合は、その collation 属性で記述した照合であり、もし、存在する場合には、 xsl:key 要素の基準URIに対して、または、他の xsl:key 宣言におけるスコープにある 既定照合に対して解決されます； その有効な照合は、キーを作り上げる全ての xsl:key 宣言において同じにしなければいけません。

[ERR XTSE1210] もし、 xsl:key 宣言が、 値が、(基準URIに対して解決後に)照合を参照するものとしての手法によって認識したURIではない collation 属性を持つ場合には、それは静的エラーです。

[ERR XTSE1220] もし、同じキー名と異なる効果の照合を伴うスタイルシートにあるいくつかの xsl:key 宣言がある場合には、それは静的エラーです。 もし、 それらのURIが、 xs:anyURI 値比較における規則の下で等しい、または、 もし、その手法が、同じ照合を参照している異なるURIであると決める事ができる場合には、2つの照合は、同じです。

それは、(以下を)持つ事を可能とします：

• 同じ名前を持つ複数の xsl:key 宣言；

• これらが、同じキー名、または、異なるキー名を持つかどうかといういくつかの異なる xsl:key 宣言の match パターンとマッチするノード；

• その キー仕様 から値を1つ以上返すノード；

• ノードを1つ以上識別するキー値(異なるノードにおけるキー値は、一意にしてはいけません)。

より高い取り込み優先度を伴う xsl:key 宣言は、より低い取り込み優先度であるその他を超えません； スタイルシートにある全ての xsl:key 宣言は、それらの取り込み優先度に関わらず、効果があります。

16.3.2 key 関数

key 関数は、 id^FO 関数がIDの為に行う事をキーの為に行います。

$key-name 引数は、キーの名前を記述します。 引数の値は、5.1 適格な名前で記述したように拡張される語彙的なQNameにしなければいけません。

[ERR XTDE1260] もし、その値が妥当なQNameではない、または、もし、QNameの前置詞におけるスコープ内に存在しない名前空間宣言がある、または、 もし、QNameを拡張する事によって含んだ名前が スタイルシートにあるいくつかの xsl:key 宣言の拡張した名前と同じではない場合には、 それは、回復されない動的エラーです。 もし、プロセッサが、静的にエラーを回避する事が可能な場合(例えば、引数が文字列リテラルとして提供される際)には、 プロセッサは、静的エラーとして付加的にシグナル出力する場合があります。

key 関数への $key-value 引数は、シーケンスとして考慮されます。 要求したキー値のセットは、標準関数変換規則を利用して提供した引数の値を原子化する事によって形成されます。 結果となる原子化された値のそれぞれは、要求したキー値として考慮されます。 関数の結果は、文書命令にあるノードのシーケンス、重複削除を伴うノードのシーケンス、 文字列比較の際に、これらの要求したキー値の内の1つと等しいキー仕様を評価した結果が値を含む場合に xsl:key 宣言の collation 属性を利用して、論点にある2つの値におけるXPath eq 演算子に適した規則の下で、 提供したキー名と同じ名前である xsl:key 宣言によって対等とされる選択したサブツリー(参照先：以下)にあるそれらのノード比較にあるノードのシーケンスです。 もし、2つの値が比較対象がない状況になる場合、存在しないエラーが報告されます。；それらは、等しくないものとしてこの関数の目的においてみなされます。

もし、第二引数が、カラのシーケンスである場合には、関数の結果は、カラのシーケンスになるでしょう。

異なる規則は、後方互換性挙動が利用可能な際に適用します。 特に、もし、キーの定義にある xsl:key 要素のいくつかが、後方互換性挙動を利用可能である場合には、 キー仕様の値と key 関数の第二引数の値は、比較が実行される前にシーケンスにあるアイテムごとに投入を適用する事によって文字列のシーケンスを原子化した後、双方ともに変換されます。

第三引数は、選択したサブツリーを識別する為に利用されます。 もし、その引数が存在する場合には、その選択したサブツリーは、 ancestor-or-self ノードとして $top を持つノードのセットです。 もし、その引数が省略される場合には、その選択したサブツリーは文脈ノードを含んでいる文書です。 これが意味するところは、有効な第三引数は、 / を既定とするという事です。

[ERR XTDE1270] もし、 存在しない 文脈ノードがある、 または、もし、ツリーのルートが文書ノードではない文脈ノードを含んでいる2つの引数を伴う key 関数を呼ぶ事; 、または、もし、ツリーのルートが、文書ノードではない第三引数の中に提供したノードを含んでいる場合に第三引数を伴って関数を呼ぶ事は、 それは、回復されない動的エラーです。

key 関数の結果は、次のようなものとしてより具体的に記述される事が可能です。 その結果は、次に続く条件を記述するノード $N ごとに含んでいるシーケンスです：

• $N/ancestor-or-self::node() intersect $top は、カラではありません。 (もし、第三引数が省略される場合には、 / を既定とする $top です)

• $N は、 $key-name 引数で記述した名前とマッチする name 属性である xsl:key 宣言の match 属性で記述したパターンとマッチします。

• xsl:key 宣言のキー仕様が、 $N を基準とする個々のフォーカスを伴って評価される際には、 結果となるシーケンスの原子化された値は、上で記述したように選択した照合を伴う eq 演算子の規則の下で $key-value として提供したシーケンスの原子化された値にある少なくとも1つのアイテムと比較が等価である値を含みます。

key 関数によって返したシーケンスは、(同じアイデンティティを持っているノードである)重複が削除される文書命令にあります。

<xsl:key name="idkey" match="div" use="@id"/>

<!ATTLIST div id ID #IMPLIED>

<prototype name="sqrt" return-type="xs:double">
	<arg type="xs:double"/>
</prototype>

<function>sqrt</function>

<xsl:key name="func" match="prototype" use="@name"/>
<xsl:template match="function">
<b>
	<a href="#{generate-id(key('func',.))}">
		<xsl:apply-templates/>
	</a>
</b>
</xsl:template>
<xsl:template match="prototype">
	<p>
		<a name="{generate-id()}">
			<b>Function: </b>
			...
		</a>
	</p>
</xsl:template>

2つの引数を伴って呼んだ際に、 その key 関数は常に文脈ノードとして同じ文書にあるノードを返します。 いくつかの他の文書からノードを取得する事は、文脈ノードを変更する為、または、第三引数を提供する為のいずれかで必要となります。

<entry name="XSLT">...</entry>

<xsl:key name="bib" match="entry" use="@name"/>
<xsl:template match="bibref">
	<xsl:variable name="name" select="."/>
	<xsl:apply-templates select="document('bib.xml')/key('bib',$name)"/>
</xsl:template>

<xsl:key name="bib" match="entry" use="@name"/>
<xsl:template match="bibref">
	<xsl:apply-templates select="key('bib', ., document('bib.xml'))"/>
</xsl:template>

16.4.1 十進フォーマットを定義する

<!-- カテゴリ： 宣言 -->
<xsl:decimal-format
  name? = qname
  decimal-separator? = char
  grouping-separator? = char
  infinity? = string
  minus-sign? = char
  NaN? = string
  percent? = char
  per-mille? = char
  zero-digit? = char
  digit? = char
  pattern-separator? = char />

xsl:decimal-format 要素は、 format-number 関数によって利用した [ picture string ]の解釈を操作します。

スタイルシートは、複数の xsl:decimal-format 宣言を含む場合、 または、取り込みスタイルシートモジュールがまた、 xsl:decimal-format 宣言を含む場合があります。 xsl:decimal-format 宣言の名称は、もしあれば、その name 属性の値です。

[定義：  スタイルシートにある全ての xsl:decimal-format 宣言は、同じ名前が十進フォーマットの中にまとめられます； 存在しない名前のそれらは、単独の名前のない十進フォーマットにまとめられます。 ]

もし、スタイルシートが、名無し十進フォーマットの宣言を含まない場合には、 宣言は、存在しない属性が含まれるxsl:decimal-format 要素と同等です。

xsl:decimal-format 宣言の属性は、 format-number 関数によって続いたアルゴリズムへの入力として利用した変数の番号において値を確立します。 各属性の目的のアウトラインは、以下で与えます；しかしながら、その最も信頼のおける説明は、このアルゴリズムの説明の一部として後に与えます。

いくつかの名前付き 十進フォーマットにおいては、各属性の有効な値は、 要求した属性における厳密な値を記述する名前を持つ xsl:decimal-format 宣言から取得されます。 もし、このような宣言が存在しない場合には、属性の既定値が利用されます。 もし、このような宣言が1つ以上ある場合には、最も高い 取り込み優先度を伴うそれが利用されます。

いくつかの名無し 十進フォーマットにおいては、各属性の有効な値は、 名無しである xsl:decimal-format 宣言から取得され、そしてそれは、要求した属性における厳密な値を記述します。 もし、このような宣言が存在しない場合には、属性の既定値が利用されます。 もし、このような宣言が1つ以上ある場合には、最も高い 取り込み優先度を伴うそれが利用されます。

[ERR XTSE1290] もし、名前付き、または、名無し十進フォーマットが、 より高い取り込み優先度を伴う同じ属性のその他の定義である場合を除き、 同じ取り込み優先度を持っている異なるxsl:decimal-format 宣言にある 同じ属性における2つの衝突している値を含む場合には、それは、静的エラーです。

次に続く属性は、 format-number 関数に提供した[ picture string ]にある文字列の解釈を操作し、 そしてまた、数字のフォーマット結果に出現する場合がある文字列を記述します。 それぞれのケースでは、値は、単独の文字にしなければいけません [参照：ERR XTSE0020]。

• decimal-separator は、 decimal-separator-sign において利用した文字を明記します；既定値は、ピリオド文字( . )です

• grouping-separator は、 grouping-sign において利用した文字を明記し、それは、特に千の単位のセパレータのように利用されます； 既定値は、カンマ文字( , )です

• percent は、 percent-sign において利用した文字を明記します；既定値は、比率文字( % )です

• per-mille は、 per-mille-sign において利用した文字を明記します；既定値は、 Unicode per-mille 文字(#x2030)です

• zero-digit は、 digit-zero-sign において利用した文字を明記します；既定値は、アラビア数字のゼロ( 0 )です. この文字は、アラビア数字(Unicodeプロパティデータベースにあるカテゴリ Nd )にしなければならず、 そしてそれは、数値のゼロを持たなければいけません。 この属性は、暗黙の内に最終結果文字列にある0から9までの値をそれぞれ表すために利用されるUnicode文字を定義します： Unicode は、数値のシーケンスにある文字の続いているブロックを形成する十進アラビア数字のセットごとにそのように構成されます

[ERR XTSE1295] もし、 zero-digit 属性の中で記述した文字が、アラビア数字ではないか、または、数値ゼロを持たないアラビア数字である場合には、それは、静的エラーです。

次に続く属性は、format-number 関数に提供した[ picture string ]にある文字列の解釈を操作します。 それぞれのケースでは、その値は、単独の文字にしなければいけません [参照：ERR XTSE0020]。

• digit は、[ picture string ]にある digit-sign において利用した文字を明記します； 既定値は、数字サイン文字( # )です

• pattern-separator は、 pattern-separator-sign において利用した文字を明記し、 それは、[ picture string ]にある正と負のサブピクチャーを分割します； 既定値は、セミコロン文字( ; )です

次に続く属性は、文字列、または、数字フォーマット結果の中に出現する場合のある文字列を明記します：

• infinity は、 infinity-symbol において利用した文字列を明記します；既定値は、文字列 Infinity です

• NaN は、 NaN-symbol において利用した文字列を明記し、 それは、値 NaN (not-a-number) を表すために利用されます；既定値は、文字列 NaN です

• minus-sign は、 minus-symbol において利用した文字を明記します；既定値は、 hyphen-minus 文字 ( - , #x2D )です。 その値は、単独の文字にしなければいけません。

[ERR XTSE1300] もし、 いくつかの名前付き、または、名無し十進フォーマットにおいて、[ picture string ]の中で利用した文字列を表している変数が、 識別値をそれぞれが持たない場合には、それは、静的エラーです。 これらの変数は、 decimal-separator-sign 、 grouping-sign 、 percent-sign 、 per-mille-sign 、 digit-zero-sign 、 digit-sign 、 pattern-separator-sign です。

16.4.2 [ picture string ]を処理する

[定義：  数字のフォーマットは、[ picture string ]によって操作されます。 [ picture string ]は、変数に割り当てた文字における文字のシーケンスであり、 decimal-separator-sign 、 grouping-sign 、zero-digit-sign 、 digit-sign 、 pattern-separator-sign は、アクティブ(能動)文字列として分類され、 また、他の全ての文字列( percent-sign と per-mille-sign を含む)は、パッシブ(受動)文字列として分類されます。 ]

※翻訳注記：[ picture string ]／ピクチャ文字・映像文字：数値の整数部の桁区切りカンマや小数点部以下を表すドットなどの象形、日付フォーマットで利用される様々な数字以外の表示形式や外観の装飾文字...etc.1つ1つの表現・形式を伴う数値を含めた1つ1つの象形全体(sub-picture)という表現の全体像・全体イメージ)と解釈しています。

sub-picture の integer part は、もし、1つあれば、または、他方で sub-picture がそっくり揃っている場合には、 decimal-separator-sign の左に現れる部分として定義されます。 sub-picture の fractional part は、もし、それが1つあれば、他方でゼロの長さの文字列である場合には、 decimal-separator-sign の右に現れる部分として定義されます。

※翻訳注記：[ sub-picture ]／サブピクチャ・副映像文字：ピクチャ文字の概念にある1つ1つの表現・形式を伴う数値を含めた1つ1つの象形全体と解釈しています。

[ERR XTDE1310] [ picture string ]は、次に続く規則と一致しなければいけません。 もし、[ picture string ]が、これらの規則を満たしていない場合には、それは、回復されない動的エラーです。

これらの規則における注記としては、語句[ preceded ](先行した)と[ followed ](次に続いた)は、文字列内のどこかにある文字列を参照するのであって、 それらが、[ immediately preceded ](すぐ前に先行した)と[ immediately followed ](すぐ後に続いた)ものとして読み込まれるという事ではありません。

• [ picture-string ]は、[ sub-picture ]、または、 pattern-separator-sign によって分割した2つの [ sub-picture ]のいずれかで構成されます。 [ picture-string ]は、 pattern-separator-sign を1つ以上含んではいけません。 もし、[ picture-string ]が、2つの[ sub-picture ]を含む場合には、最初の([ sub-picture ])は、正の値において利用され、2つめは、負の値において利用されます。

• [ sub-picture ]は、 decimal-separator-sign を1つ以上含んではいけません。

• [ sub-picture ]は、 percent-sign 、または、per-mille-sign を1つ以上含んではならず、 また、それは、それぞれ1つずつ含んではいけません。

• [ sub-picture ]は、 digit-sign 、または、 zero-digit-sign を少なくとも1つ含まなければいけません。

• [ sub-picture ]は、アクティブ文字によって先行されるパッシブ文字を含んではならず、また、それは、その他のアクティブ文字によって続けられるパッシブ文字を含んではいけません。

• [ sub-picture ]は、 decimal-separator-sign と隣り合う grouping-separator-sign を含んではいけません。

• [ sub-picture ]の整数部分は、 digit-sign によって続けられる zero-digit-sign を含んではいけません。 [ sub-picture ]の端数部分は、 zero-digit-sign によって続けられる digit-sign を含んではいけません。

format-number 関数の評価は、以下の解析フェーズ、フォーマット化フェーズという2つのフェーズで記述されます。 解析フェーズは、その入力として[ picture string ]と相関する xsl:decimal-format 宣言から得る変数を受け取り、 そして、定義した値を伴う変数の数字をその出力として生成します。 フォーマット化フェーズは、その入力としてフォーマットされる為の数字と解析フェーズによって生成した変数を受け取り、 そして、その出力として数字としてフォーマットした表現を含んでいる文字列を生成します。

16.4.3 [ picture string ]を解析する

アルゴリズムのこのフェーズは、[ picture string ]と xsl:decimal-format 宣言を設定するすぐ後に続くフォーマット化フェーズで利用される様々な変数の値の設定の効果を持つ属性を解析します。 これらの変数は、以下に列挙されます。 それぞれは、その初期設定とそのデータタイプを伴って示されます。

いくつかの変数は、各[ sub-picture ]を伴って結び付けられます。 もし、2つの[ sub-picture ]がある場合には、これらの規則は、正の数字に適用する値を含む事が一方の[ sub-picture ]に適用され、他方には、負の数字を含む事を適用する値を含む事が適用されます。 もし、[ sub-picture ]が1つだけある場合には、両方のケースにおける値は、この[ sub-picture ]から得られます。

変数は、次に続くようになります：

• integer-part-grouping-positions は、[ sub-picture ]の整数部の中でセパレータをグループ化する位置を示している整数のシーケンスです。 [ sub-picture ]の整数部内に現れる各 grouping-separator-sign においては、このシーケンスは、[ sub-picture ]の整数部と grouping-separator-sign の右側の整数部に現れる digit-sign と zero-digit-sign 文字列の合計と等しい整数を含みます。 付記すると、もし、これらの integer-part-grouping-positions が、規則正しい間隔にある場合には、 シーケンスは、最大の取り得る数字を格納する必要がある限りにおいては、 N の多様な整数を全て含みます。 (それは、もし、それらが、いくつかの整数値 N において、シーケンス N、2N、3N, ... と形成する場合には、 リストにある数字が1つだけあるケースを含むという事です。)

• minimum-integer-part-size は、 decimal-separator-sign の左に現れるであろうアラビア数字の最小値を示している整数です。 それは、普通、[ sub-picture ]の整数部に見つかる zero-digit-sign 文字の数字を設定します。 しかし、もし、その[ sub-picture ]が、存在しない zero-digit-sign と存在しない decimal-separator-sign を含む場合には、それは、1に設定されます。

  注釈：

  存在しない最大整数部サイズがあります。数字の整数部にある主なアラビア数字の全ては、[ sub-picture ]にある digit-sign と zero-digit-sign 文字列の数字を超過した場合でさえ、表示されるでしょう。

• prefix は、最も左側にあるアクティブ文字の左に[ sub-picture ]にあるパッシブ文字列全てが設定されます。 もし、その[ picture string ]が、1つだけ[ sub-picture ]を含む場合には、 負の[ sub-picture ]における prefixは、 その命令の中にある minus-sign 文字と(もし、あれば)正の[ sub-picture ]における prefix を結合する事によって設定されます。

• fractional-part-grouping-positions は、[ sub-picture ]の端数部分にあるセパレータをグループ化している位置を示している整数のシーケンスです。 [ sub-picture ]の端数部分に現れる、各 grouping-separator-sign においては、このシーケンスは、 digit-sign の合計と [ sub-picture ]の端数部分と grouping-separator-sign の左に現れる zero-digit-sign 文字列と等しくなる整数を含みます。

• minimum-fractional-part-size は、[ sub-picture ]の端数部分で見つかる zero-digit-sign の数字に設定されます。

• maximum-fractional-part-size は、[ sub-picture ]の端数部分で見つかる digit-sign と zero-digit-sign の合計値に設定されます。

• suffix は、[ sub-picture ]の端数部分にある最も右側のアクティブ文字の右に全てのパッシブ文字列を含むために設定されます。

16.4.4 数字をフォーマットする

このセクションは、 format-number 関数のプロセスの2番目のフェーズを記述します。 このフェーズは、( 入力数字 として参照される)フォーマットされる数字を入力として受け取り、上で記述したように、 変数は、 xsl:decimal-format 宣言と[ picture string ]を解析する事によって組み立てられます。 このフェーズの結果は文字列であり、形式は、 format-number 関数の値を返します。

プロセスの2番目のステージにおけるアルゴリズムは、次に続くようになります：

1. もし、入力数字が、 NaN (not a number・数字でない)場合には、その結果は、(存在しない prefix 、または、 suffix を伴う) NaN-symbol を記述したものです。

2. 以下の規則では、その正の[ sub-picture ]とその結び付けた変数は、もし、入力数字が正で、負の[ sub-picture ]とその結び付けた変数が、他の方法で利用される場合には、利用されます。 負のゼロは、負として受け取られ、正のゼロは、正として受け取られます。

3. もし、入力数字が正、または、負の無限大であれば、その結果は、妥当な prefix 、 infinity-symbol 、妥当な suffix を結合したものです。

4. もし、[ sub-picture ]が、 percent-sign を含む場合には、数字は100まで増加されます。 もし、[ sub-picture ]が、 per-mille-sign を含む場合には、数字は、1000まで増加されます。 その結果となる数字は、 adjusted number (調整した値)として参照されます。

5. adjusted number は、 totalDigits 、または、 fractionDigits ファセット上に存在しない制限を課す xs:decimal の手法を利用して(もし、必要なら) xs:decimal 値に変換されます。 もし、 adjusted number と等しい数値であるこのようないくつかの値がある場合には、 (もし、その adjusted number が、 xs:double 、または、 xs:float である場合には、その比較が、 xs:double 、または、 xs:float に戻る十進値を変換する事によって行われるであろう事を心に留め)、 選択の1つは、(重要か重要でないかどうかは別として)先導している、または、後ろに続いているゼロの連続をカウントしないアラビア数字の取り得る最小値を伴って1にするべきです。 例えば、1.0 は、 0.9999999999 より好まれ、また、 100000000 は、 100000001 より好まれます。 この値は、その時、その端数部分にある maximum-fractional-part-size 値以上存在しない利用をそのように丸めます。 rounded number は、上で記述したように、 adjusted number を xs:decimal 値に変換した結果になると定義され、その時、呼んでいる 第一引数として変換した数字、第二引数として maximum-fractional-part-size を伴う関数 round-half-to-even^FO は、 結果の中にある totalDigits 、または、 fractionDigits 上に存在しない制限を再び伴います。

6. rounded number の絶対値は、十進値10を示すために、 zero-digit-sign の選択によって含んだ文字列と整数部と端数部を分割する為の decimal-separator-sign を利用して重要でない先行するまたは、後続するゼロの連続を伴う十進表記にある文字列に変換されます。 (値ゼロは、それ自身上の decimal-separator-sign によってこの段階で示されるでしょう。 )

7. もし、 decimal-separator-sign の左にアラビア数字の数値がある場合は、そのサイズに詰め込んで(pad out)追加される minimum-integer-part-size 、 先行している zero-digit-sign 文字列よりも小さくなります。

8. もし、 decimal-separator-sign の右側にアラビア数字の数値がある場合は、そのサイズに詰め込んで(pad out)追加される minimum-fractional-part-size、 後続している zero-digit-sign 文字列よりも小さくなります。

9. integer-part-grouping-positions リストにあるそれぞれの整数 N においては、 grouping-separator-sign 文字は、 もし、このようなアラビア数字がある場合には、それと decimal-separator-sign の間にあるアラビア数字 N を持つ数字の整数部に現れるアラビア数字の直後の文字列に挿入されます。

10. fractional-part-grouping-positions リストにあるそれぞれの整数 N においては、 grouping-separator-sign 文字は、 もし、このようなアラビア数字がある場合には、それと decimal-separator-sign の間にあるアラビア数字 N を持つ数字の端数部に現れるアラビア数字の直前の文字列に挿入されます。

11. もし、[ sub-picture ]内に存在しない decimal-separator-sign がある場合、または、もし、文字列の中に decimal-separator-sign 文字の右側に存在しないアラビア数字がある場合には、 decimal-separator-sign 文字は、文字列から削除されます(それは、文字列中の最も右側にある文字になるでしょう)。

12. 関数のその結果は、妥当な prefix 、上記で含んだような数字の文字列変換、妥当な suffix を結合したものです。

16.5.1 [ picture string ]

ピクチャは、変数マーカーのシーケンスとリテラル部分文字列で構成されます。 部分文字列は、変数マーカーとして解釈される角カッコに囲まれます； 部分文字列は、リテラル部分文字列として取得される角カッコには囲まれません。 付加的に、また、もし未変更のまま存在するリテラル部分文字列がある場合には、いくつかのホワイトスペースを含んでいます。 もし、開始、または、終了角カッコが、リテラル部分文字列内に要求される場合には、それは、二重にしなければいけません。 変数マーカーは、フォーマットされる為の日付と時刻、または日付または時刻の外観を示している文字列によって結果の中で置き換えられます。 これらは、以下の詳細で記述されます。

変数マーカーは、1つまたは2つの表示修飾と付加的な幅修飾、または表示修飾または付加的な幅修飾によって付加的に続いたコンポーネント仕様で構成されます。 変数マーカーにあるホワイトスペースは、無視されます。

その コンポーネント仕様 は、要求される日付、または、時間のコンポーネントを表示し、次に続く値を受け取ります：

[ERR XTDE1340] もし、ピクチャのシンタックスが正しくない場合には、それは、回復されない動的エラーです。

[ERR XTDE1350] もし、ピクチャにあるコンポーネント仕様が、与えられる $value のタイプにある利用可能でないコンポーネントを参照する場合、 例えば、 もし、ピクチャが、年、月または、日コンポーネントを参照する為に format-time を提供した場合は、 それは、回復されない動的エラーです。

提供した値が存在しないタイムゾーンであるとき、タイムゾーンコンポーネントを含む事はエラーではありません。 これらの状況では、タイムゾーンコンポーネントは無視されます。

最初の 表示修飾 は、表現される為にあるコンポーネントの値においてスタイルを表示します。 その値は、(以下の)いずれかになる場合があります：

• いくつかのフォーマットトークンは、記述した数字フォーマットを利用して数値が出力される為にあるコンポーネントの値を示している xsl:number 命令 (参照先： 12 連番・番号付け・ナンバリング)の format 文字列(例えば、 1 、 01 、 i 、 I 、 w 、 W 、または、 Ww)を許容します。 または、

• コンポーネントの値を示しているフォーマットトークン n 、 N 、または、 Nn は、小文字で、大文字で、または、先頭のみ大文字でそれぞれ名前によって出力される為にあります。 コンポーネントは、月、曜日、タイムゾーン、eras を(制限せずに)含む名前によって出力する事が可能です。 もし、プロセッサが、暦(カレンダー)と言語を選ぶ為に名前によってこれらのコンポーネントを出力できない場合には、[implementation-defined]フォールバック(縮退)表示を利用しなければいけません。

もし、手法が要求したフォーマットトークンの利用をサポートしていない場合には、それは、そのコンポーネントにおける既定表示修飾を利用しなければいけません。

もし、 最初の表示修飾が存在する場合には、次に続くように付加的に2番目の表示修飾によって続けられる場合があります：

表示修飾が含まれるか、含まれないかに関わらず、いずれにしても幅修飾は、提供される場合があります。 これは、文字の数字、または、値の表示の中に含まれるためのアラビア数字を表示します。

幅修飾は、もし、存在する場合には、カンマを採り入れます。 それは、形式を受け取ります：

   ,  min-width ("-" max-width)?

min-width が、出力となる文字列の最小値を示している符号なし整数、または、明白な最小値が存在しない事を示している * 、 また、 max-width が、出力となる文字列の最大値を示している符号なし整数かまたは、明白な最大値が存在しない事を示している * である場合； もし、 max-width が省略される場合には、 * が仮定されます。 双方の整数が、もし、存在する場合には、ゼロよりも大きくしなければいけません。

フォーマットトークンは、 001 のような先行してるゼロの連続を含み、フォーマットトークンに現れているアラビア数字の数字における最小幅と最大幅を設定します； もし、幅修飾もまた存在する場合には、幅修飾が優先権を受け取ります。

もし、最小幅と最大幅が、記述されていないものがある場合には、出力は、切り詰め(truncation)と不必要な挿入語句(padding)なしでコンポーネントの値を表示する為に要求されるのと同様多くの文字列を利用します： これは、値の 完全な表現・説明 として以下を参照されます。

もし、値の完全な表現が、記述した最大幅の限界を超える場合には、 プロセッサは、最大幅の中でぴったり合う最も短い取り得る値を利用する事を試みるべきです。 表示修飾が、 N 、 n 、または、 Nn である場合、 これは、もし、利用可能であれば、または、右切り詰めが未完成でなければ、有益な切り詰めのいずれかを利用して名前を切り詰める事によって行われます。 例えば、4文字切り詰める事を示す 4 を max-width に設定する事は、利用されるべきですが、中には、もし、これが有益な利用におけるものであれば、3文字切り詰めて利用する事も許容するでしょう。 (例えば、「 Tuesday 」は、「 Tues 」と、「 Friday 」は、「 Fri 」と切り詰められる事があります。) 年コンポーネントのケースでは、 max-width 設定は、(現代は4桁の西暦)年から上位の省略を要求します、例えば、もし、 max-width が、 2 に設定される場合には、2003年は、 03 のように出力されるでしょう。 端数秒のケースでは、その値は、 関数 round-half-to-even(fractional-seconds, max-width) を適用する事によるかのように記述したサイズに丸められます。 もし、存在しないメカニズムが、記述した最大幅にあるぴったり合う値を利用可能にする場合 (例えば、ローマ数字が利用される際)には、その値は、その完全な表現の中で出力されるべきです。

もし、値の完全な表現が、記述した最小幅よりも短い場合には、プロセッサは、記述した幅になるように値にパッドする(詰め物をする)べきです。 数字の十進表現においては、これは、アラビア数字文字列のセットから先行するアラビア数字ゼロによって、または、端数秒のケースにある追加しているゼロによって行われるべきです(ゼロ埋め)。 他のケースでは、それは、追加しているスペース(空白)によって行われるべきです。

16.5.2 言語、暦(カレンダー)、国(地域)引数

日付フォーマット関数でサポートされる言語、暦(カレンダー)、国(地域)のセットは、 implementation-definedです。 これらの引数のいくつかが省略される場合、または、カラのシーケンスである場合、implementation-defined既定値が利用されます。

もし、フォールバック(縮退)表現が、要求と異なる暦(カレンダー)を利用する場合には、その出力文字列は、 X が実際に利用した暦(カレンダー)を識別する場合には、 [Calendar: X] を伴う前置詞を置かれなければいけません。 その文字列 Calendar は、もし、利用可能であれば、要求した言語を利用してローカライズされるべきです。 もし、そのフォールバック(縮退)表現が、要求と異なる言語を利用する場合には、その出力文字列は、 Y が、実際に利用した言語を識別する場合、 [Language: Y] が前置詞として置かれるべきです。 文字列 Language は、implementation-dependent手法でローカライズされる場合があります。 もし、値固有のコンポーネントが、要求したフォーマットの中で出力できない場合には、それは、そのコンポーネントにおける既定フォーマットの中で出力するべきです。

language 引数は、その関数の結果文字列において利用される為に言語を明記します。 引数の値は、カラのシーケンス、または、 xml:lang 属性 (参照先： [XML])において妥当になるであろう値にしなければいけません。 注記としては、これは、その国(地域)にある範囲である方言の識別と同様に([ISO 3166-1]から得られる)カントリーコードを基準とするサブ言語の識別を許容します。

もし、 language 引数が省略される場合、または、カラのシーケンスに設定される場合、または、もし、それが妥当でない値に設定される場合、または、手法が認識しない値である場合、 プロセッサは、implementation-defined言語を利用します。

言語は、(以下のような構成の)ふさわしい言語独立形式を選択する為に利用されます：

名称(例えば、月の名称)
語句、または、序数として示した数字( twenty、 20th、 twentieth )
時間慣例 (0-23 vs 1-24、 0-11 vs 1-12)
週の最初の曜日、 年の最初の週

この妥当な選択はまた、 country 引数の値をアカウントの中に受け取りますが、 これは、 language 引数の一部として記述される言語、または、いくつかのサブ言語に優先される為に利用されるわけではありません。

いくつかの与えられる言語の中で利用した名称と省略形の選択は、implementation-definedです。 例えば、ある手法は、他で Jly を利用している場合でも Jul として7月を省略するかもしれません。 ドイツ語では、ある手法は、他で Sonnabend を利用している場合でも Samstag として土曜日を表現するかもしれません。 手法は、このような選択を操作する為にユーザーを許容するメカニズムを提供する場合があります。

序数値が利用される場合、序数の正しい表現のセレクション(例えば、言語のジェンダー)は、 フォーマットされているコンポーネントに、そしてまた[ picture string ]にあるその文字通りの文脈に依存する場合があります。

$value の中で提供した dateTime 、date 、または、time 引数を明記する calendar 属性は、 記述したカレンダーにある値に変換されなければならず、また、その時、そのカレンダーの慣行を利用して文字列に変換されます。

カレンダー値は、妥当なQNameにしなければいけません。 もし、そのQNameが前置詞を持たない場合には、それは、以下で記述した指示詞を伴うカレンダーを識別します。 もし、そのQNameが前置詞を持つ場合には、そのQNameは、5.1 適格な名前で記述したように拡張QNameに拡張されます； その拡張QNameは、カレンダーを識別します；このケースにおける振る舞いは、implementation-definedです。

もし、そのカレンダー属性が省略される場合には、implementation-defined値が利用されます。

上記の暦の少なくとも1つは、サポートされなければいけません。 暦がサポートされるかどうかは、implementation-definedです。

上記リスト、また、 ISO で示した中に含まれる ISO 8601 カレンダー ([ISO 8601])は、 グレゴリオ暦が示した AD にとてもよく似ていますが、いくつかの方法では異なります。 ISO暦は、人間のユーザーが判読できるのと同様に他のソフトウェアによって容易に読み込まれる事が可能な日付と時間のフォーマットを保証する事が意図されます。 ISO暦は、言語ごとの基準に基づくローカライズされる為のこれらの許容ではなく、 ISO 8601 で定義したように固有のナンバリング慣行の利用を命じます。 固有のそれでは、西暦年の日付、西暦年の週、週の曜日を識別する数値「曜日」フォーマットを提供します； ISO暦では、週の曜日は、1(月曜日)から7(日曜日)まで番号付けされ、複数の西暦年にある週「1」(第一週)は、年の最初の(木曜日に始まる年の場合)木曜日を含む(月曜から日曜までの)週です。 年、月、日、時、分、秒コンポーネントの数値は、[XML スキーマ Part 2]で定義したように日付と時間の語彙的な表現の中で利用した値と同じISO暦です。 この暦を伴う era ("E" コンポーネント)は、(負の年における)マイナス符号、または、(正の年における)ゼロの長さの文字列のいずれかです。 紀元後1年1月1日の前の日付においては、ISOとAD暦にある年数字は、他の暦から得る事によってオフになります：
ISO 年 0000 は、 1 BC (紀元前1年)、 -0001 は、 2 BC (紀元前2年)等。

意図した country 引数の利用は、実行した、または実行するであろう $value 引数の中で提供した dateTime 、date 、または、 time によって表現したきっかけとなる場所を識別する為にあります。 もし、その値が提供される場合、そして、カラのシーケンスではない場合には、それは、[ISO 3166-1]で定義したカントリーコードにすべきです。 手法はまた、 ISO 3166-2 から得られる国(地域)の区分を表現しているコードの利用、または、 ISO 3166-3 の地域の名称を利用した公式に表現しているコードからの利用を許容する場合があります。 これは、フォーマットされている日付、または、時刻におけるユーザーの場所を識別する事を意図するものではなく、 language 属性という意味で行われるべきです。 この情報は、暦間における日付を変換する際に、または、フォーマットされる為にある日付と時刻の個々のコンポーネントを決定している方法において、付加的な情報を提供する為に利用される場合があります。 例えば、旧様式(Julian)暦を利用して異なる日における新しい年を開始した異なる国(地域)、暦の可変を利用したいくつかの国(地域)は、年をまたいで算出している中にある相違という結果として同期外(同期していません)でした。 カントリーコードによって識別した地理的なエリアは、フォーマットされる為の日付における時間軸に存在したものとしての境界によって、または、次期(エディション)にある日付における表示日付境界によって定義されます。

16.5.3 日付と時刻フォーマット例

16.6.1 カレント関数

XPath 式の中で利用した current 関数は、 XSLT スタイルシートから実行された式のある位置にあった文脈アイテムであるアイテムを返します。 これは、カレントアイテムとして参照されます。 もっとも外側にある式 (他の式の中に現れていない式)においては、そのカレントアイテムは、常に文脈アイテムと同じです。 このように(以下のように)、

<xsl:value-of select="current()"/>

(上と下)は、同じ意味です

<xsl:value-of select="."/>

しかしながら、角カッコ内で、または、 / 演算子の右側において、そのカレントアイテムは、概して文脈アイテムとは異なるものです。

<xsl:apply-templates select="//glossary/entry[@name=current()/@ref]"/>

<xsl:apply-templates select="//glossary/entry[@name=./@ref]"/>

<xsl:apply-templates select="//glossary/entry[@name=@ref]"/>

もし、 current 関数が、パターン内で利用される場合には、 その値は、そのパターンに対してマッチされているノードです。

[ERR XTDE1360] もし、 current 関数が、文脈アイテムが未定義である際に評価される式の中で評価される場合には、 回復されない動的エラーが現れます。

16.6.2 unparsed-entity-uri

unparsed-entity-uri 関数は、文脈ノードを含んでいる文書にある $entity-name 引数の値によって与える名前である解析されない実体のURIを返します。 もし、このような存在しない実体がある場合には、それは、ゼロの長さの xs:anyURI を返します。 この関数は、[データモデル]で定義した dm:unparsed-entity-system-id accessor をマップします。

[ERR XTDE1370] もし、 unparsed-entity-uri 関数が、存在しない文脈ノードがある際に または、ツリーのルートが文書ノードでない文脈ノードを含んでいる際に呼ばれる場合には、それは、回復されない動的エラーです。

16.6.3 unparsed-entity-public-id

unparsed-entity-public-id 関数は、文脈ノードを含んでいる文書にある $entity-name 引数の値によって与える名前である解析されない実体のパブリック識別子を返します。 それは、もし、このような存在しない実体がある場合、または、もし、実体が、存在しないパブリック識別子を持つ場合には、ゼロの長さの文字列を返します。 この関数は、[データモデル]で定義した dm:unparsed-entity-public-id accessor をマップします。

[ERR XTDE1380] もし、 unparsed-entity-public-id 関数が、存在しない文脈ノードがある際に、または、 ツリーのルートが、文書ノードではない文脈ノードを含んでいる場合には、それは、回復されない動的エラーです。

16.6.4 generate-id

generate-id 関数は、与えられるノードを一意に識別する文字列を返します。 一意の識別子は、ASCII英数字で構成されなければならず、また、アルファベット文字を伴って始まらなければいけません。 このように、文字列は、統語的なXML名です。 手法が、同じノードにおける同じ識別子を常に生成し、常に異なるノードから生成される異なるその識別子を提供したいくつかの有益な方法にある識別子を生成する事は自由です。 手法は、文書が変換される時点ごとに同じ識別子を生成するという存在しない義務の下にあります。 一意の識別子を生成したという存在しない保証は、ソース文書の中で記述したいくつかの一意のIDとは違うでしょう。 もし、その引数がカラのシーケンスである場合には、その結果は、ゼロの長さの文字列です。 もし、その引数が省略される場合には、それは、文脈ノードにおける既定です。

16.6.5 system-property

$property-name 引数は、語彙的なQNameを評価しなければいけません。 語彙的なQNameは、5.1 適格な名前で記述したように拡張されます。

[ERR XTDE1390] もし、その値が妥当なQNameではない場合、または、もし、QNameの前置詞におけるスコープにある存在しない名前空間宣言がある場合には、それは、回復されない動的エラーです。 もし、プロセッサが、静的なエラーを回避する事を可能とする場合(例えば、引数が文字列リテラルとして提供される際)には、 プロセッサは、静的エラーとしてこれを付加的にシグナル出力する場合があります。

system-property 関数は、名前によって識別したシステムプロパティの値を示している文字列を返します。 もし、存在しないこのようなシステムプロパティがある場合には、ゼロの長さの文字列が返されます。

手法は、次に続くXSLT 名前空間にある全てのシステムプロパティを提供しなければいけません：

• xsl:version は、プロセッサによって提供されるXSLTの与えられているバージョン番号です； この文書によって記述したXSLTのバージョンと一致する手法においては、これは、文字列 "2.0"です。 その値は、常にXMLスキーマ (参照先： [XML スキーマ Part 2])で定義した十進データタイプの語彙的な空間にある文字列となるでしょう。 これは、等級比較の目的において数字に変換される為の値を許容します。

• xsl:vendor は、プロセッサの手法・道具を識別する文字列です

• xsl:vendor-url は、プロセッサの手法・道具を識別するURLを含む文字列です； 具体的に言うとこれは、手法・道具のウェブサイトのホストページ(ホームページ)です。

• xsl:product-name は、手法・道具によって定義したように手法の名前を含む文字列です。 これは、普通、次の製品のリリースから均一にそのまま(の名称)にすべきです。 それは、ソースコードが、多様な実行プラットフォームにおいて互換製品を製作する為に利用されるというケースでもまた、プラットフォームを超えて均一にすべきです。

• xsl:product-version は、手法・道具によって定義したように手法のバージョンを識別する文字列です。 これは、普通、次の製品のリリースから多様になるべきであり、そして、手法の自由裁量で異なる実行プラットフォームを超えて多様になる場合もあります。

• xsl:is-schema-aware は、スキーマ用XSLTプロセッサとの一致を要求するプロセッサのケースでは "yes" 、 または、基本XSLTプロセッサのケースにおいては "no" という文字列を返します。

• xsl:supports-serialization は、 シリアライゼーション特性を提供するプロセッサのケースでは "yes" 、または、それ以外は "no" という文字列を返します。

• xsl:supports-backwards-compatibility は、 後方互換性特性を提供するプロセッサのケースでは "yes" 、または、それ以外は "no" という文字列を返します。

プロセッサによって提供される一致レベルと特性に関連するこれらのプロパティのいくつか： これらのオプションは、21 一致で記述されます。

上記プロパティにおいて返した実際の値は、implementation-definedです。

サポートされるシステムプロパティのセットは、上記で列挙したそれらの追加については、implementation-definedです。 手法は、XSLT名前空間にある付加的なシステムプロパティを定義してはいけません。