STEP 8: tagとattPool再訪

• tag要素のrole属性
  • 属性によって異なる内容モデル
  • tag要素が表す制約条件
  • elementRule要素のrole属性
  • ref要素による参照の禁止
  • データ型none再訪
• attPool要素
  • attPoolが表す制約条件
  • elementRule要素による参照の禁止
• 複数のtagまたはattPool要素による役割の共有の禁止
• まとめ

tag要素のrole属性

属性によって異なる内容モデル

<!-- This is legal. --> <val type="integer">10</val> <!-- This is also legal. --> <val type="string">foo bar</val> <!-- This is illegal. --> <val type="integer">foo bar</val>

したがって，type属性の値がintegerかstringかで，次の二つのelementRuleを使い分けたくなります．

<!-- Case 1: type="integer" --> <elementRule role="val" type="integer"/> <!-- Case 2: type="string" --> <elementRule role="val" type="string"/>

しかし，STEP 7までの機能では，タグ名に対して内容モデルを記述しています．属性値は使われません．したがって，type属性の値に関わらず，同じelementRuleが適用されてしまいます．

tag要素が表す制約条件

<tag name="tag-name" role="role-name"> ... </tag>

tag要素は，タグ名と属性に関する制約条件の集まりを役割に関連づけます．tag要素に記述された条件を開始タグ（または空要素タグ）が満たすとき，このタグは指定された役割を持つと言います．
例として，次のtag要素を考えます．

<tag name="val" role="val-integer"> <attribute name="type" type="NMTOKEN" required="true"> <enumeration value="integer"/> </attribute> </tag>

このtag要素は，「タグ名がvalであり，type属性の値はintegerという文字列である」という制約条件を表しています．この条件を満たす開始タグ（または空要素タグ）は，役割val-integerを持ちます．したがって，次の開始タグは，役割val-integerを持ちます．

<val type="integer">

次のtag要素では，type属性の値に関する条件が「値がstringという文字列である」に変わり，役割がval-stringに変わっています．

<tag name="val" role="val-string"> <attribute name="type" type="NMTOKEN" required="true"> <enumeration value="string"/> </attribute> </tag>

次の開始タグは役割val-integerは持ちませんが，役割val-stringは持ちます．

<val type="string">

tag要素によって指定されていない属性があっても構いません．たとえば，次の開始タグの属性unknownは，先のtag要素で言及されていません．しかし，この開始タグは，役割val-stringを持ちます．ただし，診断メッセージは出力されます．

<val type="string" unknown="">

STEP 1から7までにあるようなrole属性がないtag要素はどう解釈されるのでしょうか．role属性がない場合は，name属性と同じものが指定されたものとみなされます．したがって次の二つのtag要素は同じ意味を持ちます．

<tag name="foo"> <attribute name="bar" type="int"/> </tag> <tag name="foo" role="foo"> <attribute name="bar" type="int"/> </tag>

elementRule要素のrole属性

<!-- Case 1: type="integer" --> <tag name="val" role="val-integer"> <attribute name="type" type="NMTOKEN" required="true"> <enumeration value="integer"/> </attribute> </tag> <elementRule role="val-integer" label="val" type="integer"/> <!-- Case 2: type="string" --> <tag name="val" role="val-string"> <attribute name="type" type="NMTOKEN" required="true"> <enumeration value="string"/> </attribute> </tag> <elementRule role="val-string" label="val" type="string"/>

二つのtag要素がタグ名val"と属性名"typeを指定していることに注意して下さい．RELAXにおけるtag要素は，一度だけしか行われない宣言ではなく，何度でも書ける制約条件なのです．

ref要素による参照の禁止

<tag name="foo"/> <attPool role="bar"> <ref role="foo"/> </attPool>

データ型none再訪

<tag name="div" role="divSec"> <attribute name="class" type="string"> <enumeration value="sec"/> </attribute> </tag>

問題は<div>を表現する役割divWithoutClassをどう記述するかです．次のように記述したとします．

<tag name="div" role="divWithoutClass"/>

この記述では，<div class="sec">に対しても，divWithoutClassが成立してしまいます．宣言されていない属性があるというメッセージは出ますが，両方の役割を持つとみなされてしまいます．⁽¹⁾
属性classを持たないということを陽に指定するには，データ型noneを用いて次のように書く必要があります．

<tag name="div" role="divWithoutClass"> <attribute name="class" type="none"/> </tag>

データ型noneに属する文字列は存在しないので，どんな値を属性classに指定しても役割divWithoutClassを持つことはありません．

attPool要素

attPoolが表す制約条件

<attPool role="info"> <attribute name="class" required="true"> <enumeration value="informative"/> </attribute> </attPool>

このattPool要素は，「classという属性が指定されており，その値はinformativeという文字列である」という条件にinfoという役割を関連付けています．タグ名が何であっても構いません．このattPoolによって，次の空要素タグは役割infoを持ちます．

<some class="informative"/>

tag要素のときと同様に，宣言されていない属性があっても構いません．たとえば，次の開始タグに対して役割infoは成立します．

<some class="informative" unknown=""/>

elementRule要素による参照の禁止

<attPool role="info"/> <elementRule role="info" label="informative" type="emptyString"/>

複数のtagまたはattPool要素による役割の共有の禁止

<tag name="foo1" role="bar"> <attribute name="a" type="string"/> ... </tag> <tag name="foo2" role="bar"> <attribute name="b" type="string"/> ... </tag>

以下の例では，役割とタグ名の両方を共有しています．これも構文エラーです．

<tag name="foo" role="foo"> <attribute name="a" type="string"/> ... </tag> <tag name="foo" role="foo"> <attribute name="b" type="string"/> ... </tag>

role属性が省略され，name属性の値が使われたときも，共有は許されません．次の二つのtag要素は，上の二つのtag要素と同じ意味を持ちます．したがって，この例も構文エラーです．

<tag name="foo"> <attribute name="a" type="string"/> ... </tag> <tag name="foo"> <attribute name="b" type="string"/> ... </tag>

つぎの例では，二つのattPool要素が役割barを共有しています．したがって，構文エラーです．

<attPool role="bar"> <attribute name="a" type="string"/> ... </attPool> <attPool role="bar"> <attribute name="b" type="string"/> ... </attPool>

最後に，tag要素とattPool要素が役割barを共有した例を示します．これも，構文エラーです．

<attPool role="bar"> <attribute name="a" type="string"/> ... </attPool> <tag role="bar" name="foo"> <attribute name="b" type="string"/> ... </tag>

まとめ