内容モデル

[1] 内容モデルcontent model (内容模型) とは、要素の内容に関する制約、あるいはそれを記述する方法のことを言います。

[56] 内容モデルは、基本的にその要素を定義する仕様書で規定されています。 HTML要素の内容モデルは HTML Standard で規定されています >>55。

[6]

内容モデルの記述

要素のカテゴリー
内容モデル「なし」
テキスト
透過内容モデル
ANY

[3] 既に消失した内容モデル:

双形性内容モデル
半透過内容モデル
ブロック水準要素
行内要素

[7] HTML4 から HTML5 で大きな変更がありました。

[5] HTML5 内でも 2007年12月2007-12に大きな変更がありました。

[57] ARIA は role が明示的または暗示的に指定された要素の子孫の HTML要素の制約を定めています >>54。

[60] ARIA の role に関する規定は HTML Standard の要素に関する規定を覆す道理はありませんから、両者の制約が共に適用されると考えられます。 role の制約は多くの場合はフロー内容で、多くのHTML要素の内容の制約もフロー内容ですから、特に問題はありません。また語句内容やテキストや空要素の内容モデルを持つ HTML要素は、すべてフロー内容の部分集合と考えられますから、やはり問題はありません。 role の制約が語句内容でHTML要素の制約が語句内容またはフロー内容の場合も、問題はありません。それ以外に次のような場合があります。

[58] 次の場合、要素本来が特別な内容モデルを持ち、 role がフロー内容を求めるため、両方の制約を満たす要素はなくなります。
- <tr role=rowrole=row>
- <table role=tablerole=table>
- <tbody role=rowrole=rowgroup> (または thead, tfoot)
- <ul role=listrole=list> (または ol, dl, menu) 他幾つかの role
- <select role=listbox> 他幾つかの role
- <datalist role=listbox>
- <optgroup role=grouprole=group>
- <svg role=documentrole=document> 他幾つかの role (ARIA の当該規定は HTML要素のみ適用されると考えれば問題なしだが...))
- <math role=mathrole=math> (ARIA の当該規定は HTML要素のみ適用されると考えれば問題なしだが...))
figure 要素に role=figure, role=presentation が指定された場合、フロー内容であることが求められますが、 figcaption がフロー内容ではないため、使えないことになります。
details 要素に role=group が指定された場合、フロー内容であることが求められますが、 summary がフロー内容ではないため、使えないことになります。
fieldset 要素に role=group, role=presentation が指定された場合、フロー内容であることが求められますが、 legend がフロー内容ではないため、使えないことになります。
video 要素や audio 要素に role=application が指定された場合、フロー内容であることが求められますが、 source や track がフロー内容ではないため、使えないことになります。
object 要素に role=document 他幾つかの role が指定された場合、フロー内容であることが求められますが、 param がフロー内容ではないため、使えないことになります。
div 要素に role=list 他幾つかの role が指定された場合で、 dl 要素で使われている場合、 dt も dd もフロー内容ではないため、使えないことになります。
ruby 要素に role=list 他幾つかの role が指定された場合、フロー内容であることが求められますが、 rt, rp がフロー内容ではないため、使えないことになります。

[59]

ARIA には role による要素のカテゴリーの規定もあります (要素のカテゴリー参照)。これを文字通り適用すればこれらも見かけ上解決できる場合がありますが、要素の内容モデルの制約は破綻します。例えば li 要素は role=presentation を指定するとフロー内容になると解釈すれば、 <ul role=list><li role=presentation> は問題ないことになります。ところが同時に <div><li role=presentation> も許されることになります。このような規則は誰も利しません。

閲覧文脈にない文書

[41] 節点の節点文書の閲覧文脈が null なら、文書の適合性に関する規定は適用されません。 HTML Standard

[42] 雛形内容の節点文書が閲覧文脈中にない時、この条項が適用されます HTML Standard。つまりほとんどの場合 template 要素の中身の内容モデルや属性値の制約は適用されません。

[43] その場合であっても、 HTML構文やXHTML構文の制約は適用されます HTML Standard。

[44] この規定を文字通り適用すると、 Webブラウザー以外の適合検査器が意味をなさなくなってしまいます。また、Webブラウザーが扱う閲覧文脈と切り離された文書、例えば responseXML や new Document の文書の適合性検査ができなくなってしまいます。

[62] また、雛形内容にまったく何の検査もしないとすると、適合性検査の主要な目的である文書中のエラーを発見して著者を助けるという目的が十分に達成できない可能性があります。

[63] 例えば雛形内容に a 要素がある場合、その href 属性は雛形の時点では使われることがなく、スクリプトが設定した上で文書に挿入するかもしれませんから、 href 属性がないことで直ちにこれを不適合とすると、不便です。これが HTML Standard が適合性の規定を適用しないとする根拠と思われます。

[64] しかし、スクリプトが href 属性を設定するわけではなく、単に著者が指定し忘れただけの可能性もあります。そうした著者のミスを検出することが適合性検査の目的ですから、 href 属性の不存在を警告など何らかの形で表示する方が良いかもしれません。意図的に省略している場合には、著者が設定で警告の表示を抑制できるような機能があると良いでしょう。

[65] 雛形内容は作成時は閲覧文脈を持たないのですが、これを adopt すると閲覧文脈に属する場合があります。特殊ケースではありますが、 template 内であるにも関わらず適合性検査の対象となる場合があります。

[66] XSLTスタイルシートでは雛形内容が template 要素の子孫であるものとして処理されることになっています。するとXSLTスタイルシートの適合性検査のときは、雛形内容を XSLT 仕様書の規定に従って検査するべきだということになります。

歴史

[61] HTML における内容モデルの種別の歴史は、要素の分類を参照。

SGML / XML

[25] HTML でも内容モデルという語が使われています。語源としては XML や SGML の内容モデルに由来していますが、 HTML は DTD を採用しておらず、実態は大きく異なっています。

[9]

文書の中で要素の開始タグと終了タグとの間に出現する文字。 Content。
備考1. その文字は、データ, 真の部分要素, 天下部分要素, その他のマーク又はこれらが混在したものとして解釈される。
備考2. 要素が明示内容参照又はその宣言済み内容が EMPTY ならば、内容は空である。その場合、応用自身が内容のデータを生成してもよい。 (JISX4151‐1992 定義 (189))

[10] JIS X 4151‐1992 6.6 に詳しい定義があります。

内容 := [ 混合内容 / 要素内容 / 置換可能文字データ / 文字データ ] ;; (24)
混合内容 := *(データ文字 / 要素 / 他の内容) ;; (25)
要素内容 := *(要素 / 他の内容 / s) ;; (26)
他の内容 := 注釈宣言 / 短縮参照使用宣言 / 連結集合使用宣言 / 処理指令 / shortref / 文字参照 / 一般実体参照 / マーク区間宣言 / Ee ;; (27)

[8] では、マーク区間の「内容」とは何か? →マーク区間参照。

[14] SGML や XML における内容モデルcontent modelは、要素の内容についての制約を記述する要素宣言の引数(群)です。

[22]

内容モデル (content model)
許容できる要素内容を定義するモデル群及び例外を指定する要素宣言の引数。 (JIS X 4151‐1992 3. (192))

[23] 内容モデル := (モデル群 / ANY) [1*ps 例外 ] ;; (126)
[12] 例外 := (排除要素 [1*ps 添加要素]) / 添加要素 ;; (138)

[13]

ある型の要素について、出現可能な子要素・子文字データの種類とその順序を規定する単純な文法。 (http://www.w3.org/TR/REC-xml#dt-content-model, http://www.w3.org/TR/REC-xml#sec-mixed-content, http://www.w3.org/TR/REC-xml#determinism を参照。)

[16] 要素内容モデル:

children = (choice / seq) [ occur ] ;; [47]
cp = (child-type / choice / seq) [ occur ] ;; [48]
choice = "(" [ S ] cp 1*( [ S ] "|" [ S ] cp) [ S ] ")" ;; [49]
seq = "(" [ S ] *( [ S ] "," [ S ] cp) [ S ] ")" ;; [50]
occur = "?" / "*" / "+"
child-type = Name ;; 子要素型名

[24] 混合内容モデル:

Mixed = "(" [S] '#PCDATA' *([S] "|" [S] child-type) [S] ")" "*" / "(" [S] '#PCDATA' [S] ")"

[15] SGML ではモデル群と例外のことを内容モデルと呼んでいるようです。 CDATA などのキーワードは内容モデルと呼ばないようですが、 ANY は内容モデルと呼ばれることもあり、その指す範囲は必ずしも明確ではありません。

[20] XML では、要素内容におけるモデル群のことを内容モデルと定義しています >>122。 EMPTY などのキーワードや混合内容におけるモデル群はこの定義から除外されています。

[21] 一般的には、内容モデルという語の指す範囲は文脈にも依存しますが、要素内容でも混合内容でもモデル群を総称して内容モデルと呼ぶことが多いようです。キーワードをも内容モデルに含めることもよくあります。

|
1. キーワード
2. モデル群
?
1. +
  1. ps
2. 例外

[26] (広義の)内容モデルとして利用できるキーワードには、次のものがあります。

CDATA
RCDATA
EMPTY
ANY

[27] XML で利用できるのは、 EMPTY と ANY だけです >>122。

[28] SGML の内容モデルでは、 ANY の場合とモデル群の場合に、例外をも指定できます。それ以外のキーワードの時には、指定できません。

例外を参照。

[29] XML では例外は指定できません。

[30] 非構文的制約:

[104] [決定的内容モデル] ある要素が内容モデル中の複数の要素型の指定に該当しうる時、互換性のため、これを誤りとする。 (決定的内容モデル, SGML の言葉では曖昧でない内容モデル。)
[105] [群・引数実体が適当に入れ子になっていること] 開き括弧と閉じ括弧は同じ実体の置換文中になければなりません。 (妥当性制約)
[106] [引数実体中の群の完全性] 相互運用性のため、引数実体の置換文は1つ以上の非空白文字を含むべきです。また、その最初及び最後の非空白文字は接続子 (| / ,) ではないべきです。
[31] [要素型の重複がないこと] 混合内容モデルでは、1つの要素型は1度しか出現しては行けません。 (妥当性制約)

[32] >>104 に反する例:

( (b , c) | (b , d) ) (正 ( b , ( c | d ) ) )
[11] 2003-09-29 02:10:01 +00:00 aaa: aaa

[33] >>105 に反する例:

( %model;

[34] >>106 に反する例:

<!ENTITY % model " ">; ( %model; foo )
<!ENTITY % model " bar | ">; ( %model; foo )
<!ENTITY % con " | ">; ( bar %con; foo )

[2] SGML や XML における内容モデルの分類:

宣言内容
要素内容
混合内容
空要素

[19]

内容模型content model
ある要素型の実現値中で認められると宣言されたマーク構造。 XML 1.0 は要素内容だけを含む (文字データなしの) 要素と混合内容 (文字データに加えて子要素を散在させられる要素) の2種類に分けています。後者は内容の規定が #PCDATA (文字データを表します。) で始まります。 XHTML m12n Term、>>151

[122] Extensible Markup Language (XML) 1.0 (Fifth Edition) (2013-05-29 05:49:56 +09:00 版) http://www.w3.org/TR/xml/#elemdecls
[18] XHTML m12n
- [XHTML m12n Term] 2. Terms and Definitions IW:XHTML1m12n:"terms.html#a_terms"
[151] XHTML™ 2.0 - Terms and Definitions (2010-12-17 00:44:37 +09:00 版) http://www.w3.org/TR/2010/NOTE-xhtml2-20101216/terms.html

[114] 要素字句とパラメタ実体参照 - 2003年12月 - マーク付けノート http://www.satoshii.org/markup/notes/2003/12#date12-3

[115] >>114 は、 <!ENTITY % foo "foo"> <!ELEMENT bar (%foo;+)> のように出現標識が別の実体に分断されていてはいけないという話。

[17] >>114-115

直接内容モデルに %baz.qname;+ と記述すればエラーになることに注意して下さい。
ちなみに、XML にはこの辺りの規則についての明確な記述はありません。何らかのエラーになるのは間違いありませんが、invalid なのか not well-formed なのかも判然としない状態です。

という話の答えが今更ながら判った気がするので書いてみます。

When a parameter-entity reference is recognized in the DTD and included, its replacement text MUST be enlarged by the attachment of one leading and one following space (#x20) character; the intent is to constrain the replacement text of parameter entities to contain an integral number of grammatical tokens in the DTD. (XML 4.4.8 Included as PE http://www.w3.org/TR/REC-xml/#as-PE, http://www.w3.org/TR/xml11/#as-PE)

という規定 (XML にだけあって SGML にはない。) に従えば、 %baz.qname;+ は引数実体参照を展開すると baz + のようになります。

これは 48 番の生成規則 http://www.w3.org/TR/REC-xml/#NT-cp に違反します。ですから非整形式になります。

[52] バリエーションのようなものとして、 HyTime は HyLex を規定していました。

WF2

[4] XBL 2.0 ( (2012-05-03 02:23:03 +09:00 版)) http://dev.w3.org/2006/xbl2/Overview.html#xbl-elements

[38] Allow anything in <template> for document conformance (zcorpan著, 2016-07-08 03:42:26 +09:00) https://github.com/whatwg/html/commit/950d3015bead974bec1d7d86c00d641655ea0b66

仕様書

要素の内容の適合性

内容モデル

閲覧文脈にない文書

雛形内容

影木

歴史

SGML / XML

WF2