agenda 2003-01（下旬）～ おふざけでないッ ～

サイト内の全リソースに普遍的なURI（PURL (英語) ）を与えるにはどうすれば良いのかを調べてみました。

リソース一つ一つにPURLを与えるには、リソースを公開するたびにPURLを貰ってくるしかないのですが、partial redirectという代替的な方法がありました。

1. ユーザー登録が済んでいないならUser Registration Formからユーザー登録をする
2. Partial Redirect Creation Form (英語) にアクセス
3. IDとPasswordを入力
4. PR PURLに基点となるPURLを入力
5. Root URLにリダイレクト先の基点となるURIを入力
6. Create PR PURLボタンを押す

例えば基点となるPURL（PR PURL）をhttp://purl.org/jintrick/Personal/とし、リダイレクト先の基点となるURIをhttp://members.jcom.home.ne.jp/jintrick/Personal/としたなら、http://purl.org/jintrick/Personal/agenda.html はhttp://members.jcom.home.ne.jp/jintrick/Personal/agenda.htmlに自動的にリダイレクトされることになります。

Safeモードすら起動しない状態になってしまい、再セットアップを余儀なくされたというお話。

くもり窓　指でなぞりし落書きの
消え行く様を　茫然と見き

歌を詠んでいる場合ではないわけですが、これで恨み言の代わりということにします。

XSLT 1.0にはビルトイン関数があります。しかしそれらはXPathの文法やデータモデルに従ったものなのだから、XSLTの関数というより、XSLTで使用できるXPathの拡張だと思うのは私だけでしょうか。それはさておき、XPathの関数をMSXMLの独自要素を利用して定義する形で、XSLT内で正規表現を使ってみようという話です。

MSXML（4.0）を使う利点は、今のところ二つ程認識しています。一つは高速であるということ。もう一つは、スクリプト言語で簡単にXPath関数を拡張できるという点です。ところがこの二つの利点は同時に成り立ちません。独自に関数を定義するとスクリプトエンジンを起動するので処理が遅くなるのだそうです。ですから利用する際には気をつけたほうが良いと思います。

function contains(_str, _sReg)
{
  var re = new RegExp(_sReg);
  return re.test(_str);
}

<msxsl:script language="JScript" implements-prefix="jtr">
function contains(_str, _sReg) {
	var re = new RegExp(_sReg);
	return re.test(_str);
}
</msxsl:script>

<xsl:stylesheet version="1.0"
 xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
 xmlns:jtr="http://purl.org/jintrick/schema/personnel"
 xmlns:msxsl="urn:schemas-microsoft-com:xslt"
 exclude-result-prefixes="jtr msxsl"
>

<msxsl:script language="JScript" implements-prefix="jtr">
function contains(_str, _sReg) {
	var re = new RegExp(_sReg);
	return re.test(_str);
}
</msxsl:script>
</xsl:stylesheet>

<xsl:template match="foo">
 <xsl:choose>
  <xsl:when test="jtr:contains(string(self::node()), '\s')">
   <p>空白文字を検出しました。</p>
  </xsl:when>
  <xsl:otherwise>
   <p>空白文字はありません。</p>
  </xsl:otherwise>
 </xsl:choose>
</xsl:template>

属性ノードの場合、値が正規化されたものがstring-valueになるそうです。というわけで、去年（2002年）書いた複数の属性値を扱うテンプレートに属性値を正規化する手順（normalize-space()）は不必要だったのでした。

軸名

意味

主ノード型

ancestor

祖先

要素ノード

attribute

属性

属性ノード

<dl title="XPathにおける軸名とその性質">
<dt>軸名</dt>
<dd>意味</dd>
<dd>主ノード型</dd>

<dt>ancestor</dt>
<dd>祖先</dd>
<dd>要素ノード</dd>

<dt>attribute</dt>
<dd>属性</dd>
<dd>属性ノード</dd>
</dl>

このようなdl要素を次のようなtable要素に変換したいわけです。

<table summary="XPathにおける軸とその性質">
 <caption>XPathにおける軸名とその性質</caption>
 <thead>
  <tr>
   <th scope="col">軸名</th>
   <th scope="col">意味</th>
   <th scope="col">主ノード型</th>
  </tr>
 </thead>
 <tbody>
  <tr>
   <th scope="row">ancestor</th>
   <td>祖先</td>
   <td>要素ノード</td>
  </tr>
  <tr>
   <th scope="row">attribute</th>
   <td>属性</td>
   <td>属性ノード</td>
  </tr>
 </tbody>
</table>

フラットにだらだらと並んだdt、dd要素をグループ化するテンプレートを書くのは結構面倒なのですが、好い加減私も慣れました。グループ化の応用例はこれで最後にします。

このdl要素を他の普通のdl要素と区別する為名前空間を与えます。その接頭辞をjtrとすれば、jtr:dl要素にマッチするテンプレートを書くことになります。

例によってソース文書となる似非XHTML文書のデフォルトの名前空間がnullであるとしますと：

<xsl:template match="jtr:dl">
 <table summary="{attribute::title}">
  <caption><xsl:value-of select="string(attribute::title)" /></caption>
  <thead>
   <tr>
    <xsl:for-each select="child::dt[position() = 1]">
     <th scope="col"><xsl:value-of select="string(self::*)" /></th>
     <xsl:for-each select="following-sibling::dt[position() = 1]/preceding-sibling::dd">
      <th scope="col"><xsl:value-of select="string(self::*)" /></th>
     </xsl:for-each>
    </xsl:for-each>
   </tr>
  </thead>
   <tbody>
   <xsl:for-each select="child::dt[position() &gt; 1]">
    <xsl:variable name="posDT">
     <xsl:number level="single" count="*" />
    </xsl:variable>
    <tr>
     <th scope="row"><xsl:value-of select="string(self::*)" /></th>
     <xsl:for-each select="following-sibling::dt[position() = 1]/preceding-sibling::dd">
      <xsl:variable name="posDD">
       <xsl:number level="single" count="*" />
      </xsl:variable>
      <xsl:if test="$posDT &lt; $posDD">
       <td><xsl:apply-templates select="child::node()" /></td>
      </xsl:if>
     </xsl:for-each>
    </tr>
   </xsl:for-each>
  </tbody>
 </table>
</xsl:template>

position関数がもう少し賢ければ「まともな」テンプレートが書けそうなものなのですが、取り敢えず見た目シンプルなものを追求すれば私にはこれが限界です。

膨大なデータを扱う場合この方法はナンセンスで、予め変数にdt要素とdd要素の位置をバインドして、for-each要素のselect属性のロケーションパスのみで範囲を特定しなければなりません。そのかわり見た目が腐ってしまい後で見た際に訳が分からなくなってしまいます。この例ではxsl:ifで条件を絞り込むする方法を取っていますが、本来XPathで解決したいところです。

実装の不具合かと思ったのですが、preceding-sibling軸でカレントノードリストを変更すると、各カレントノードのコンテクストポジションは文書順になります。次のHTML文書の断片をご覧下さい：

<p>テキストノード[1]<em>em要素[2]</em>テキストノード[3]<br />テキストノード</p>

このp要素にマッチするテンプレート内で、子のbr要素より前に登場する「弟ノード達」をカレントノードリストにしてみます。尚、簡略化の為このHTMLの各ノードは名前空間を持たないことにしておきます。

<xsl:for-each select="child::br[position() = 1]/preceding-sibling::node()">
  <!-- テンプレート -->
  [<xsl:value-of select="string(position())" />]
</xsl:for-each>

「<!-- テンプレート -->」にはノードをそのままコピーするものを適用するとして、これは次のような結果を構築します。

• テキストノード[1][1]<em>em要素[2][2]</em>テキストノード[3][3]

ソース文書と同じ順番にインスタンス化されています。私はこれに驚きました。カレントノードリストは、XPathのロケーションパスで指定されたノードリストを文書順に並び替えたものになるということですから。

• child::br[position() = 1]/preceding-sibling::node()

というロケーションパスで指定されたノードリスト内の各ノードは次の順番で並んでいます。正確には、この順番に応じたコンテクストポジションを持っています：

1. テキストノード[3]
2. em要素[2]
3. テキストノード[1]

ところが、XSLTプロセッサはこれを文書順に並べ替えたものをカレントノードリストにしてしまいます。

1. テキストノード[1]
2. em要素[2]
3. テキストノード[3]

「してしまいます」というか、まあ有り難い場面は多いのですが、XPathユーザ的に若干不自然な挙動ではあります。

因みにカレントノードリストを、「コンテクストポジションが1である弟ノード」にしてみますと：

<xsl:for-each select="child::br[position() = 1]/preceding-sibling::node()[position() = 1]">
  <!-- ノードコピー用テンプレート -->
  [<xsl:value-of select="string(position())" />]
</xsl:for-each>

結果は次のようになります。

• テキストノード[3][1]

先程の例と比べれば、並べ替えが行われていることは明らかです。

<xsl:for-each select="child::br[position() = 1]/preceding-sibling::node()">
  <xsl:sort order="descending" data-type="number" select="position()" />
  <!-- テンプレート -->
  [<xsl:value-of select="string(position())" />]
</xsl:for-each>

www-html@w3.org from January 2003: XHTML 2.0 considered harmful (英語)の一連の議論で、br要素が如何に「便利」であるかを熱弁している人がいるのですが、この糞要素のお陰でHTMLという言語は勘違いされるのでありますよ。

より良い言語を作るのに、人間様が過去の古い計算機の都合に合わせてどうするのですか。backwards compatibilityが大事なら、あまり良くない言語を使い続ければ宜しいでしょう。私も当分そうするつもりです。何故足を引っ張る必要がありますか。本気で理解不可能です。

というわけで（どういうわけで?）、br要素で区切られたノードリストを、XHTML 2.0のl要素（line要素）としてグループ化するXSLTテンプレートを考案してみました。XHTML 2.0は草案ですし名前空間もどうなるか分からないので、とりあえず名前空間は無いものとして扱います。ソース文書の方も名前空間無しってことで。

これは例えば、hr要素か何かで区切られたノードリストをdiv要素か何かとしてグループ化する際にも応用できる……と……思います……?

<xsl:template name="brでl要素に分割するテンプレ">
 <xsl:for-each select="child::br[position() = 1]">
  <l>
   <xsl:for-each select="preceding-sibling::node()">
    <xsl:apply-templates select="self::node()" />
   </xsl:for-each>
  </l>
 </xsl:for-each>
 <xsl:for-each select="child::br">
  <l>
   <xsl:if test="position() = last()">
    <xsl:for-each select="following-sibling::node()">
     <xsl:apply-templates select="self::node()" />
    </xsl:for-each>
   </xsl:if>
   <xsl:variable name="posBR">
    <xsl:for-each select="following-sibling::br[position() = 1]">
     <xsl:number level="single" count="node()" />
    </xsl:for-each>
   </xsl:variable>
   <xsl:for-each select="following-sibling::node()">
    <xsl:variable name="posNode">
     <xsl:number level="single" count="node()" />
    </xsl:variable>
    <xsl:if test="name() != 'br' and $posNode &lt; $posBR">
     <xsl:apply-templates select="self::node()" />
    </xsl:if>
   </xsl:for-each>
  </l>
 </xsl:for-each>
</xsl:template>

主にp要素にマッチするテンプレート内でこのように呼び出します。

<xsl:template match="p">
 <p>
  <xsl:apply-templates select="attribute::*" />
  <xsl:choose>
   <xsl:when test="boolean(child::br) = true()">
    <xsl:call-template name="brでl要素に分割するテンプレ" />
   </xsl:when>
   <xsl:otherwise>
    <xsl:apply-templates select="child::node()" />
   </xsl:otherwise>
  </xsl:choose>
 </p>
</xsl:template>

XML的に腐ったデータを再生するには、冗長なXSLT文書を書かなくてはならないと言うことでしょうか。一方DOMインターフェイスを使えばこのような変換方法の考案はサクサクですね（謎）。XSLT（1.0）やXPath（1.0）はまだ非力ですから、文章を書くようにDOMを使いこなせるなら（謎）、無理して勉強する必要も無いと思います。

というか、スタイルシートが整形過程であるとするなら、DOMインターフェイスを使った変換だって立派な「スタイルシート」です。コードはアホみたいに膨らむし処理は遅めかもしれませんが、こっちの方が痒いところに手が届きます。もう比較にならないくらい圧倒的。SAXってどうなんだろう。