title
要素のnumber属性は整数だけに制限したいのですが,DTDでは出来ません.
<!ELEMENT doc (title, para*)> <!ELEMENT para (#PCDATA | em)*> <!ELEMENT title (#PCDATA | em)*> <!ELEMENT em (#PCDATA)> <!ATTLIST para class NMTOKEN #IMPLIED > <!ATTLIST title class NMTOKEN #IMPLIED number CDATA #REQUIRED > |
つぎにRELAXモジュールを示します.number
属性は整数であると指定されています.
<module moduleVersion="1.2" relaxCoreVersion="1.0" targetNamespace="" xmlns="http://www.xml.gr.jp/xmlns/relaxCore"> <interface> <export label="doc"/> </interface> <elementRule role="doc"> <sequence> <ref label="title"/> <ref label="para" occurs="*"/> </sequence> </elementRule> <elementRule role="para"> <mixed> <ref label="em" occurs="*"/> </mixed> </elementRule> <elementRule role="title"> <mixed> <ref label="em" occurs="*"/> </mixed> </elementRule> <elementRule role="em" type="string"/> <tag name="doc"/> <tag name="para"> <attribute name="class" type="NMTOKEN"/> </tag> <tag name="title"> <attribute name="class" type="NMTOKEN"/> <attribute name="number" required="true" type="integer"/> </tag> <tag name="em"/> </module> |
module
要素によって表現されます.
<module moduleVersion="1.2" relaxCoreVersion="1.0" targetNamespace="" xmlns="http://www.xml.gr.jp/xmlns/relaxCore"> ... </module> |
moduleVersion
属性は,このモジュールのバージョンを表します.この例では,"1.2"です.
relaxCoreVersion
属性は,RELAX Core自体のバージョンを表します.現在は必ず"1.0"です.
targetNamespace
属性は,このモジュールが扱う名前空間を指定します.この例では,""を指定しています.
RELAX Coreのための名前空間名は,http://www.xml.gr.jp/xmlns/relaxCoreです.
module
の先頭はinterface
要素が入ります.一つのモジュールにはinterface
要素が一つだけ存在します.
<module moduleVersion="1.2" relaxCoreVersion="1.0" targetNamespace="" xmlns="http://www.xml.gr.jp/xmlns/relaxCore"> <interface> ... </interface> ... </module> |
interface
要素の中にはexport
要素がいくつか入ります.
<export label="foo"/> |
export
要素のlabel
属性
の値は,ルートになりうる要素型です.export
要素は複数あっても構いません.
以下の例は,要素型fooとbarがルートになりうることを表しています.
<interface> <export label="foo"/> <export label="bar"/> </interface> |
elementRule
要素によって表現されます.elementRule
のrole
属性は,要素型の名前を指定します.elementRule
は,interface
の後にいくつでも書くことができます.
<elementRule role="element-type-name"> ...hedge model... </elementRule> |
elemementRule
要素は,生け垣モデルを持つことができます.生け垣とは,要素(子孫要素も含む)と文字データの並びのことです.生け垣モデルとは,どんな生け垣が許されるかを表す制約条件です.
生け垣モデルには,要素生け垣モデル,データ型参照,混在生け垣モデルがあります.
empty, ref, choice, sequence, none
要素とoccurs
属性によって表現されます.要素生け垣モデルは,子供要素の並びとして何を許容するかを表現します.また,これらの要素の間に適当に空白を挿入することができます.empty
要素は,空の内容を表します.elementRule
を考えます.
<elementRule role="foo"> <empty/> </elementRule> |
このelementRule
は,foo
要素の内容が空であることを表しています.開始タグの直後に終了タグを置いても,空要素タグを用いても構いません.
<foo/> |
<foo></foo> |
XMLのEMPTY
とは異なり,開始タグと終了タグの間に空白だけを置くことも許されます.
<foo> </foo> |
empty
は,後述するchoice
やsequence
の中で使用することができます.このように拡張する理由は,STEP 2で明らかになります.なお,XMLのEMPTY
とまったく同じ機能が必要なら,STEP 3にあるデータ型emptyString
を使って下さい.
以下では,要素型foo, foo1, foo2
は,empty
を生け垣モデルとして持つelementRule
によって宣言されているものとみなして説明します.
ref
要素は,要素型を参照します.例えば,<ref label="foo"/>は,foo
という要素型を参照します.elementRule
を考えます.
<elementRule role="bar"> <ref label="foo"/> </elementRule> |
このelementRule
は,bar
要素の内容はfoo
要素であることを示しています.例えば,次のbar
要素はこのelementRule
に従っています.
<bar><foo/></bar> |
foo
要素の前後に空白が入っても構いません.
<bar> <foo/> </bar> |
ref
要素は,occurs
属性を持つことができます.値は,"*", "+", "?"のどれかで,それぞれ0回以上の繰り返し,1回以上の繰り返し,0回または1回の繰り返しを意味します.
occurs
属性に"?"を指定した例を示します.
<elementRule role="bar"> <ref label="foo" occurs="?"/> </elementRule> |
このelementRule
は,bar
要素の内容はfoo
要素または空であることを示しています.
<bar><foo/></bar> |
<bar></bar> |
foo要素の前後に空白が入っても構いません.また,空の場合にも空白を入れることができます.
<bar> <foo/> </bar> |
<bar> </bar> |
choice
要素は選択(XMLにある"|")を表します.choice要素の子供は要素生け垣モデルです.choice
もoccurs
属性を持つことが出来ます.choice
を用いたelementRule
の例を示します.
<elementRule role="bar"> <choice occurs="+"> <ref label="foo1"/> <ref label="foo2"/> </choice> </elementRule> |
このelementRule
は,bar
要素の内容がfoo1
要素またはfoo2
要素の1回以上の繰り返しであることを示しています.
<bar><foo2/></bar> |
<bar> <foo2/> </bar> |
<bar> <foo1/> <foo2/> <foo1/> </bar> |
sequence
要素は並び(XMLにある",")を表します.sequence
要素の子供は要素生け垣モデルです.sequence
もoccurs
属性を持つことが出来ます.sequence
を用いたelementRule
の例を示します.
<elementRule role="bar"> <sequence occurs="?"> <ref label="foo1"/> <ref label="foo2"/> </sequence> </elementRule> |
このelementRule
は,bar
要素の内容が,foo1
要素とfoo2
要素の並び,または空であることを示しています.
<bar><foo1/><foo2/></bar> |
<bar> <foo1/> <foo2/></bar> |
<bar/> |
<bar></bar> |
<bar> </bar> |
none
要素は,RELAXではじめて導入されたもので,何ともマッチしないという生け垣モデルです.
<elementRule role="bar"> <none/> </elementRule> |
このelementRule
は,bar
の内容としてはなにも許されないことを示しています.none
を導入する理由は,STEP 2で明らかになります.
elementRule
のtype
属性によって,データ型を参照する内容モデルを書くことができます.文書中に書かれた文字列は,参照されたデータ型と照合されます.指定できるのは,XML Schema Part 2で導入されたデータ型の名前か,RELAXが独自に導入したデータ型の名前です.データ型についてはSTEP 3で説明します.type
を用いたelementRule
の例を示します.
<elementRule role="bar" type="integer"/> |
このelementRule
は,bar
要素の内容は整数を表現する文字列であることを示します.
<bar>10</bar> |
前後に空白を挿入することはできません.すなわち,次の例は許されません.
<bar> 10 </bar> |
mixed
要素は,XMLにある混在生け垣モデル(#PCDATA|a|b|...|z)*を大幅に拡張したものです.<mixed>
と</mixed>
の間には,要素生け垣モデルが書けます.要素生け垣モデルを直接書いたときは,要素の間には空白だけが挿入できたことを思い出して下さい.mixed
で囲むことにより,空白だけではなく,どんな文字でも挿入できるようになります.
<elementRule role="bar"> <mixed> <choice occurs="*"> <ref label="foo1"/> <ref label="foo2"/> </choice> </mixed> </elementRule> |
このmixed
要素に含まれるchoice
要素は,foo1
とfoo2
の0個以上の繰り返しとマッチします.mixed
の効果により,これらの要素の間に任意の文字が許されます.したがって,XMLの混在内容モデル(#PCDATA | foo1|
foo2)*
と等価になります.
生け垣モデル(#PCDATA)を表現するには,二つの方法があります.一つは,データ型string
をtype
属性で指定する方法です.もう一つは,mixed
要素のなかに,空のラベル列だけとマッチする要素生け垣モデルを記述する方法です.次にその例を示します.
<elementRule role="bar" type="string"/> |
<elementRule role="bar"> <mixed> <empty/> </mixed> </elementRule> |
より進んだ例として,次のelementRule
を考えます.
<elementRule role="bar"> <mixed> <sequence> <ref label="foo1"/> <ref label="foo2"/> </sequence> </mixed> </elementRule> |
<foo1/>と<foo2/>の並びは,mixed
の中のsequence
要素にマッチします.したがって,次の例はこのelementRule
により許されています.
<bar>Murata<foo1/>Makoto<foo2/>IUJ</bar> |
次の例のようにCDATAセクションや文字参照が現れても構いません.
<bar><![CDATA[Murata]]><foo1/>Makoto<foo2/>IUJ</bar> |
tag
要素によって表現されます.
<tag name="element-type-name"> ...list of attribute declarations... </tag> |
tag
要素は,子供要素としてattribute
要素をいくつか持つことができます.
<tag name="element-type-name"> <attribute ... /> <attribute ... /> </tag> |
一つのattribute
要素は,一つの属性を宣言します.attribute
要素の例を下に示します.
<attribute name="age" required="true" type="integer"/> |
name
属性の値は,宣言される属性名です.この例ではageです.
required
属性の値としてtrue
が指定されれば,この属性は省略できません.required
属性が指定されなければ省略できます.この例では指定されていますから省略できません.
type
属性は,データ型名を指定します.type
属性が省略された場合は,string
というデータ型(任意の文字列)が指定されたものとみなされます.
このattribute
要素だけからなるtag
の例を考えます.
<tag name="bar"> <attribute name="age" required="true" type="integer"/> </tag> |
次の開始タグはこのtag
に従っています.
<bar age="39"> |
次の二つの開始タグは従っていません.一つ目の例はage
属性を省いていますし,二つ目の例は値が整数ではありません.
<bar> |
<bar age="bu huo"> <!-- "bu huo" means forty years in Chinese. In Japan, it is pronounced as "FUWAKU". --> |
DTDでは,属性を持たない要素型については,属性リスト宣言を書く必要がありませんでした.しかし,RELAXでは,属性を持たない場合も空のtag
を書く必要があります.たとえば要素型bar
が属性を持たない場合は次のように書きます.
<tag name="bar"/> |
hedgeRule
要素です.DTDにあるパラメタ実体のうち,内容モデルで使われるものに相当します.hedgeRule
要素の構文を次に示します.foo
はパラメタ実体の名前です.
<hedgeRule label="foo"> ...element content model... </hedgeRule> |
このように定義したhedgeRule
を参照するには,<hedgeRef label="foo"/>
と書きます.このhedgeRef
要素は,hedgeRule
の中で指定された要素生け垣モデルで置き換えられます.
以下の例では,要素型doc
のためのelementRule
の生け垣モデルからhedgeRule
を参照しています.このelementRule
は,STEP 1の先頭にあるモジュールにあったものを書き換えて,title
以外の部分をhedgeRule
で記述したものです.
<hedgeRule label="doc.body"> <ref label="para" occurs="*"/> </hedgeRule> <elementRule role="doc"> <sequence> <ref label="title"/> <hedgeRef label="doc.body"/> </sequence> </elementRule> |
doc.body
への参照は次のように展開されます.
<elementRule role="doc"> <sequence> <ref label="title"/> <ref label="para" occurs="*"/> </sequence> </elementRule> |
この例では,elementRule
の中からhedgeRule
を参照しましたが,hedgeRule
の中からも同様に可能です.
hedgeRule
の中には,要素生け垣モデルだけが書けます.データ型参照や混在生け垣モデルは許されません.たとえば,以下の二つはどれも許されません.
<hedgeRule label="mixed.param"> <mixed> <choice occurs="*"> <ref label="em"/> <ref label="strong"/> <choice> </mixed> </hedgeRule> <hedgeRule label="string.param" type="string"/> |
hedgeRef
と混在生け垣モデルを併用するときは,hedgeRule
の中でmixed
を使うのではなく,hedgeRef
をmixed
で括ってelementRule
の中に書きます.その例を次に示します.混在生け垣モデルはphrase
を参照しており,phrase
はhedgeRule
で記述されています.
<hedgeRule label="phrase"> <choice> <ref label="em"/> <ref label="strong"/> <choice> </hedgeRule> <elementRule role="p"> <mixed> <hedgeRef label="phrase" occurs="*"/> </mixed> </elementRule> |
hedgeRef
要素はoccurs
属性を持つことができますし,hedgeRule
の中に書かれる要素生け垣モデルもoccurs
属性を持つことができます.次の例では,両方にoccurs
属性が指定されています.
<hedgeRule label="bar"> <sequence occurs="+" > <ref label="foo1"/> <ref label="foo2"/> </sequence> </hedgeRule> <elementRule role="foo"> <hedgeRef label="bar" occurs="*"/> </elementRule> |
この例をDTDで表現すれば,パラメタ実体の展開がどう行われるべきかは明らかです.
<!ENTITY % bar "(foo1, foo2)+"> <!-- original --> <!ELEMENT foo (%bar;)*> <!-- expanded --> <!ELEMENT foo ((foo1, foo2)+)*> |
上の例を展開した結果を次に示します.展開のときに,一つしか子供を持たないchoice
要素が導入されていることに注意して下さい.これは,hedgeRef
要素にあったoccurs="*"
を引き継いでいます.
<elementRule role="foo"> <choice occurs="*"> <sequence occurs="+" > <ref label="foo1"/> <ref label="foo2"/> </sequence> </choice> </elementRule> |
hedgeRef
で参照する前にhedgeRule
を書く必要はありません.たとえば,次の記述はエラーではありません.
<elementRule role="doc"> <sequence> <ref label="title"/> <hedgeRef label="doc.body"/> </sequence> </elementRule> <hedgeRule label="doc.body"> <ref label="para" occurs="*"/> </hedgeRule> |
hedgeRule
を書いてはいけません.次の例では,bar
のための生け垣モデルの中でbar
を参照していますからエラーになります.
<hedgeRule label="bar"> <choice> <ref label="title"/> <hedgeRef label="bar" occurs="*"/> </choice> </hedgeRule> |
次の例では,bar1
のための生け垣モデルの中でbar2
を参照しており,bar2
のための生け垣モデルの中でbar1
を参照しています.したがって,エラーになります.
<hedgeRule label="bar1"> <hedgeRef label="bar2" occurs="*"/> </hedgeRule> <hedgeRule label="bar2"> <choice> <ref label="title"/> <hedgeRef label="bar1"/> </choice> </hedgeRule> |
empty
は,主にhedgeRule
の中で使います.以下に例を示します.
<hedgeRule label="frontMatter"> <empty/> </hedgeRule> <elementRule role="section"> <sequence> <ref label="title"/> <hedgeRef label="frontMatter"/> <ref label="para" occurs="*"/> </sequence> </elementRule> |
このモジュールを再利用する人は,frontMatter
の記述をカスタマイズすることによって,section
の構造を変更できます.
none
もhedgeRule
の中で使います.以下に,使用例を示します.
<hedgeRule label="local-block-class"> <none/> </hedgeRule> <hedgeRule label="block-class"> <choice> <ref label="para"/> <ref label="fig"/> <hedgeRef label="local-black-class"/> </choice> </hedgeRule> |
このモジュールを再利用する人は,local-block-class
の記述をカスタマイズすることによって,block-class
の内容を変更できます.
attPool
要素の構文を下に示します.foo
はパラメタ実体の名前です.
<attPool role="foo"> ...attribute definitions... </attPool> |
このように定義したattPool
を参照するには,属性定義の並びの先頭に<ref role="foo"/>
と書きます.このref
要素は,attPool
の中で指定された属性定義の並びで置き換えられます.
以下の例では,要素型title
のためのtag
要素からattPool
を参照しています.このtag
は,STEP 1の先頭にあるモジュールにあったものを書き直したものです.多くの要素型に共通するrole
属性が,common.att
というattPool
に記述されています.
<attPool role="common.att"> <attribute name="class" type="NMTOKEN"/> </attPool> <tag name="title"> <ref role="common.att"/> <attribute name="number" required="true" type="integer"/> </tag> |
ref
要素は次のように展開されます.
<tag name="title"> <attribute name="class" type="NMTOKEN"/> <attribute name="number" required="true" type="integer"/> </tag> |
この例では,tag
の中からattPool
を参照しましたが,attPool
の中からも同様に可能です.
ref
で参照する前にattPool
を書く必要はありません.たとえば,次の記述はエラーではありません.
<tag name="title"> <ref role="common.att"/> <attribute name="number" required="true" type="integer"/> </tag> <attPool role="common.att"> <attribute name="role" type="NMTOKEN"/> </attPool> |
tag
またはattPool
の中に,複数のref
要素を書くことができます.以下に,一つのattPool
のなかで複数のref
要素を用いた例を示します.必須の属性をcommon-req.att
にまとめ,必須ではない属性をcommon-opt.att
にまとめています.この二つをcommon.att
を記述するattPool
から参照しています.
<attPool role="common.att"> <ref role="common-req.att"/> <ref role="common-opt.att"/> </attPool> <attPool role="common-req.att"> <attribute name="role" type="NMTOKEN" required="true"/> </attPool> <attPool role="common-opt.att"> <attribute name="id" type="NMTOKEN"/> </attPool> |
hedgeRule
のときと同様に,自分自身を直接的または間接的に参照するのはエラーです.たとえば,次の例はエラーです.
<attPool role="bar1"> <ref role="bar2"/> <attribute name="id" type="NMTOKEN"/> </attPool> <attPool role="bar2"> <ref role="bar1"/> </attPool> |
none
とemptyString
の二つです.none
を導入する理由は,STEP 8で明らかになります.
<tag name="p"> <attribute name="class" type="none"/> </tag> |
したがって,次の開始タグは許されません.
<p class="foo"> |
EMPTY
との互換性があります.
<elementRule role="em" type="emptyString"/> |
このelementRule
は,次の二つに限って許しています.<em>
と</em>
の間に空白が入ることは許されません.
<em/> |
<em></em> |
integer
に「15以上,65以下」という制限を加えることができます.制限を示す構文も,XML Schema Part 2と同様です.elementRule
が参照しているデータ型に制限を加えるには,elementRule
に子要素を追加します.age
の生け垣モデルはinteger
への参照です.要素minInclusive
とmaxInclusive
はそれぞれ最小値と最大値に関する追加条件を表しています.したがって,age
要素の内容は,18から65までの整数を表す文字列になります.
<elementRule role="age" type="integer"> <minInclusive value="18"/> <maxInclusive value="65"/> </elementRule> |
age
要素に,文字列"20"を内容として含むことができます.
<age>20</age> |
しかし,文字列"11"は駄目です.
<age>11</age> |
attribute
が参照しているデータ型に制限を加えるには,attribute
に子要素を追加します.employee
のsex
属性は,man
かwoman
のどちらかであると指定しています.ここで,enumeration
は許される値を指定する付加条件です.
<tag name="employee"> <attribute name="sex" type="NMTOKEN"> <enumeration value="man"/> <enumeration value="woman"/> </attribute> </tag> |
sex
属性は文字列"man"
を持つことが出来ます.
<employee sex="man"/> |
しかし,文字列"foo"
は駄目です.
<employee sex="foo"/> |
annotation
要素です.annotation
要素が入れられるのは,次の箇所です.interface
要素の前に一個だけ
export
要素の中に一個だけ
elementRule
要素の最初の子として一個だけ
hedgeRule
要素の最初の子として一個だけ
tag
要素の最初の子として一個だけ
attPool
要素の最初の子として一個だけ
attribute
要素の最初の子として一個だけ
include
要素の子要素として一個だけ
element
要素の最初の子として一個だけ
div
要素の最初の子として一個だけ
elementRule
要素の最初の子として,注釈を使用した例を以下に示します.注釈の内容は省略しています.
<elementRule role="para"> <annotation> ... </annotation> <mixed> <ref label="fnote" occurs="*"/> </mixed> </elementRule> |
annotation
要素は,子要素としてdocumentation
とappinfo
をいくつでも持つことができます.
documentation
要素です.RELAX Namespaceが制定されていない現時点は,テキストデータしか入れられません.documentation
を付加したものを次に示します.
<elementRule role="para"> <annotation> <documentation>This is a paragraph.</documentation> </annotation> <mixed> <ref label="fnote" occurs="*"/> </mixed> </elementRule> |
documentation
要素がsource
属性を持つ場合は,説明を参照するURIが属性値です.この場合は,documentation
要素の内容は使われません.モジュールを表示するツールは,リンクを利用した表示を提供します.
<elementRule role="para"> <annotation> <documentation source="http://www.xml.gr.jp/relax/"/> </annotation> <mixed> <ref label="fnote" occurs="*"/> </mixed> </elementRule> |
documentation
要素にxml:lang
属性が指定されたときは,documentation
要素の内容が,どの自然言語で書かれているかを示します.
つぎの例では,xml:lang
の値として"en"が指定されています.
<elementRule role="para"> <annotation> <documentation xml:lang="en">This is a paragraph.</documentation> </annotation> <mixed> <ref label="fnote" occurs="*"/> </mixed> </elementRule> |
appinfo
要素です.RELAX Namespaceが制定されていない現時点は,テキストデータしか入れられません.
<elementRule role="foo" type="integer"> <annotation><appinfo>default:1</appinfo></annotation> </elementRule> |
appinfo
要素がsource
属性を持つ場合は,隠し情報を参照するURLが属性値です.この場合は,appinfo
要素の内容は使われません.
elementRule, hedgeRule, tag, attPool
を一つにまとめて注釈をつけたいことがあります.そのために用意されているのがdiv
要素です.div
要素は,module
要素の中に,elementRule, hedgeRule, tag, attPool
と同レベルに置きます.div
要素の中にさらにdiv
要素を置くこともできます.div
要素の中には,elementRule, hedgeRule, tag,
attPool, div
を置くことができます.div
を使用して注釈を加えたものを下に示します.
<module moduleVersion="1.2" relaxCoreVersion="1.0" targetNamespace="" xmlns="http://www.xml.gr.jp/xmlns/relaxCore"> <interface> <export label="doc"/> </interface> <div> <annotation> <documentation>The root node</documentation> </annotation> <elementRule role="doc"> <sequence> <ref label="title"/> <ref label="para" occurs="*"/> </sequence> </elementRule> <tag name="doc"/> </div> <div> <annotation> <documentation>Paragraphs</documentation> </annotation> <elementRule role="para"> <mixed> <ref label="em" occurs="*"/> </mixed> </elementRule> <tag name="para"> <attribute name="class" type="NMTOKEN"/> </tag> </div> <elementRule role="title"> <mixed> <ref label="em" occurs="*"/> </mixed> </elementRule> <tag name="title"> <attribute name="class" type="NMTOKEN"/> <attribute name="number" required="true" type="integer"/> </tag> <elementRule role="em" type="string"/> <tag name="em"/> </module> |
include
要素によって参照することができます.include
要素は参照されたモジュールの本体によって置き換えられます.include
要素の使用例を考えてみます.まず,インクルードされる側のモジュールをつぎに示します.
<module moduleVersion="1.2" relaxCoreVersion="1.0" targetNamespace="" xmlns="http://www.xml.gr.jp/xmlns/relaxCore"> <interface/> <elementRule role="bar" type="emptyString"/> <tag name="bar"/> </module> |
このモジュールには,bar
に関するelementRule
とtag
要素があります.interface
要素は空要素です.このモジュールはbar.rlx
に格納されているものとします.
次に,このモジュールを参照して取り込む側のモジュールを示します.
<module moduleVersion="1.2" relaxCoreVersion="1.0" targetNamespace="" xmlns="http://www.xml.gr.jp/xmlns/relaxCore"> <interface> <export label="foo"/> </interface> <elementRule role="foo"> <ref label="bar"/> </elementRule> <tag name="foo"/> <include moduleLocation="bar.rlx" /> </module> |
このモジュールには,foo
に関するelementRule
とtag
が記述されています.モジュールの最後にあるinclude
要素は,moduleLocation
属性でbar.rlx
を指定しています.
include
要素は,参照されているモジュールの本体(module
要素の内容のうち,interface
以降)によって置き換えられます.この例では,つぎのように置き換えられます.
<module moduleVersion="1.2" relaxCoreVersion="1.0" targetNamespace="" xmlns="http://www.xml.gr.jp/xmlns/relaxCore"> <interface> <export label="foo"/> </interface> <elementRule role="foo"> <ref label="bar"/> </elementRule> <tag name="foo"/> <elementRule role="bar" type="emptyString"/> <tag name="bar"/> </module> |
interface
要素は空でした.次のように,interface
要素に子要素を追加してみます.
<module moduleVersion="1.2" relaxCoreVersion="1.0" targetNamespace="" xmlns="http://www.xml.gr.jp/xmlns/relaxCore"> <interface> <export label="bar"/> </interface> <elementRule role="bar" type="emptyString"/> <tag name="bar"/> </module> |
この場合には,インクルードされる側のモジュールにあるinterface
要素の内容が,インクルードする側のモジュールのinterface
要素に追加されます.この例では次のようになります.
<module moduleVersion="1.2" relaxCoreVersion="1.0" targetNamespace="" xmlns="http://www.xml.gr.jp/xmlns/relaxCore"> <interface> <export label="foo"/> <export label="bar"/> </interface> <elementRule role="foo"> <ref label="bar"/> </elementRule> <tag name="foo"/> <elementRule role="bar" type="emptyString"/> <tag name="bar"/> </module> |
default
属性をattribute要素に導入して,属性のデフォルトを指定できるようにします.しかし,既存のパーサはXML文書の解析時にRELAXモジュールをいっさい見てくれません.したがって,default属性もとうぜん使いません.実体や記法を宣言するための構文をRELAXに導入しても,やはり同じことです.
<?xml version="1.0" encoding="utf-8"?> <!DOCTYPE person [ <!ATTLIST person bloodType CDATA "A"> ]> <person/> |
この文書と照合するRELAXモジュールを示します.
<module moduleVersion="1.0" relaxCoreVersion="1.0" xmlns="http://www.xml.gr.jp/xmlns/relaxCore"> <interface> <export label="person"/> </interface> <elementRule role="person"> <empty/> </elementRule> <tag name="person"> <attribute name="bloodType"> <enumeration value="O"/> <enumeration value="A"/> <enumeration value="B"/> <enumeration value="AB"/> </attribute> </tag> </module> |
この例では,DTDの側でデフォルト値"A"を指定しています.XMLパーサは,これを利用してくれます.RELAXモジュールに照らしてこのXML文書を検証することも問題なく可能です."A"が属性値として指定された場合とまったく同様にして検証は行われます.
同様に,実体や記法もDTDで記述することができます.まず,解析対象実体の例を示します.
<?xml version="1.0"?> <!DOCTYPE doc [ <!ENTITY foo "This is a pen"> ]> <doc> <para>&foo;</para> </doc> |
この文書は,次のRELAXモジュールに従っています.
<module moduleVersion="1.0" relaxCoreVersion="1.0" xmlns="http://www.xml.gr.jp/xmlns/relaxCore"> <interface> <export label="doc"/> </interface> <elementRule role="doc"> <ref label="para" occurs="*"/> </elementRule> <elementRule role="para" type="string"/> <tag name="doc"/> <tag name="para"/> </module> |
つぎに,解析対象外実体と記法を用いた例を示します.
<?xml version="1.0"?> <!DOCTYPE doc [ <!NOTATION eps PUBLIC "-//ISBN 0-7923-9432-1::Graphic Notation//NOTATION Adobe Systems Encapsulated Postscript//EN"> <!ENTITY logo_eps SYSTEM "logo.eps" NDATA eps> <!ELEMENT doc EMPTY> <!ATTLIST doc logo ENTITY #IMPLIED> ]> <doc logo="logo_eps"/> |
この文書も,次のRELAXモジュールに従っています.
<module moduleVersion="1.0" relaxCoreVersion="1.0" xmlns="http://www.xml.gr.jp/xmlns/relaxCore"> <interface> <export label="doc"/> </interface> <elementRule role="doc" type="emptyString"/> <tag name="doc"> <attribute name="logo" type="ENTITY"/> </tag> </module> |
elementRule, hedgeRule
の説明は,DTDを知っている人がすぐに理解できる範囲だけを扱っています.実際にはもっと一般化された考え方がRELAXには存在しています.elementRule
は,label
属性
を持つことができます.ここでは,まずlabel
属性の目的を説明し,次に機構を説明します.
<!-- This example is legal. --> <section> <para>This paragraph can contain footnotes <footnote>This is a footnote</footnote>.</para> </section> |
<!-- This example is illegal. --> <table> ... <para>This paragraph cannot contain a footnote <footnote>This is an illegal footnote</footnote>.</para> ... </table> |
したがって,段落が章の中にあるときと,表の中にあるときとでは,下記の二つの内容モデルを使いわけたくなります.
<!-- Case 1: subordinate to <section> elements. --> <!ELEMENT para (#PCDATA|footnote)*> <!-- Case 2: subordinate to <table> elements. --> <!ELEMENT para (#PCDATA)> |
出現位置によって内容モデルを変えたいという例はHTMLにもあります.HTMLでは,a
要素が,他のa
要素の中に直接的または間接的に現れることを禁止しています.同様のことは,form
要素にもあてはまります.form
の中にform
が現れることは禁止されています.
<!-- This example is illegal. --> <a href="foo"><span><a href="bar">dmy</a></span></a> |
<!-- This example is also illegal. --> <form> ... <div> <form> ... </form> </div> ... </form> |
HTMLでは,a
要素はspan
要素を含むことができます.入れ子は間接的であっても禁止したいので,a
の外にあるspan
ではa
を許し,中にあるspan
では許さないようにする必要があります.form
についても同様で,form
の外にあるdiv
ではform
を許し,中にあるdiv
では許さないようにする必要があります.
<!-- Case 1: subordinate to <a> elements. --> <!ELEMENT span (#PCDATA|a)*> <!-- Case 2: not subordinate to <a> elements. --> <!ELEMENT span (#PCDATA)> |
しかし,DTDでは,タグ名が同じである限り,内容モデルは常に一つです.したがって,段落の出現箇所によって,内容モデルを変えることはできません.span
の内容モデルも常に一つであり,span
がa
の中にあるかどうかで内容モデルを変えることはできません.div
の内容モデルも同様です.
この問題を回避するために,二つの方法が用いられてきました.一つの方法は,出現箇所ごとに別のタグ名を導入することです.この方法を用いた例を次に示します.章の中の段落にはparaInSection
というタグ名,表の中の段落はparaInTable
というタグ名を導入しています.
<!ELEMENT paraInSection (#PCDATA|footnote)*> <!ELEMENT paraInTable (#PCDATA)> |
<!-- This example is legal. --> <section> <paraInSection>This paragraph can contain footnotes <footnote>This is a footnote</footnote>.</paraInSection> </section> |
<table> ... <paraInTable>This paragraph cannot contain a footnote.</paraInTable> ... </table> |
この方法には,DTDが大きくなると,ほとんど同じタグ名が急速に増えるという問題があります.段落,脚注,箇条書き等のような通常のタグ名が何倍にも増えるからです.
もう一つの方法は,タグ名は一つで済ませる代わりに,必要ないくつかの内容モデルをすべて足した内容モデルを作るというものです.この方法を用いた例を次に示します.章の中の段落だけではなく,表の中の段落にも,注釈が許されています.
<!ELEMENT para (#PCDATA|footnote)*> |
この方法には,検証が不十分になるという問題があります.いまの例だと,以下の文書が検証を通ってしまいます.
<!-- This example is illegal. --> <table> ... <para>This paragraph cannot contain a footnote <footnote>This is an illegal footnote</footnote>.</para> ... </table> |
elementRule
はlabel
属性
を持つことができます.次に,elementRule
の基本的な形を示します.
<elementRule role="name" label="label"> ...content model... </elementRule> |
label
属性が省略された場合は,role
属性と同じ値を指定したものと解釈されます.したがって,次の二つのelementRule
は等価です.
<elementRule role="foo"> ...content model... </elementRule> |
<elementRule role="foo" label="foo"> ...content model... </elementRule> |
脚注を含む段落と含まない段落とでラベルを使い分け,異なる内容モデルを指定した例を次に示します.
<elementRule role="para" label="paraWithFNotes"> <mixed> <ref label="footnote" occurs="*"/> </mixed> </elementRule> <elementRule role="para" label="paraWithoutFNotes"> <mixed> <empty/> <mixed/> </elementRule> <tag name="para"/> |
一番目のelementRule
は,ラベルがparaWithFNotes
である段落の内容は脚注を含んだ文字列であることを示しています.二番目のelementRule
は,ラベルがparaWithoutFNotes
である段落の内容は単なる文字列であることを示しています.
多くの場合にラベルとタグ名は一対一に対応します.実際,STEP 6までの例ではそうでした.しかし,前節で示したような問題を扱うには,タグ名と一対一に対応しないラベルが必要になります.
ref
要素のlabel
属性を説明します.この属性の値は,常にラベルです.STEP 1では,値が要素型名だと書きましたが,あの説明は正確ではありません.RELAXには要素型という概念はありません.(実はXML 1.0にもありません.要素型宣言は定義されていますが,要素型の定義はどこを捜してもありません.)paraWithFNotes
とparaWithoutFNotes
はラベルですから,ref
要素から参照することができます.章のための内容モデルからは,paraWithFNotes
を参照します.表(正確には表のセル)のための内容モデルからは,paraWithoutFNotes
を参照します.
<elementRule role="section"> <ref label="paraWithFNotes" occurs="*"/> </elementRule> <elementRule role="cell"> <ref label="paraWithoutFNotes" occurs="*"/> </elementRule> |
hedgeRule
がlabel
属性に同一のラベルを指定しても構いません.次の例では,ラベルblockElem
に対してhedgeRule
が二つ存在しています.
<hedgeRule label="blockElem"> <ref label="para"/> </hedgeRule> <hedgeRule label="blockElem"> <ref label="itemizedList"/> </hedgeRule> |
次のelementRule
は,このblockElem
を参照しています.
<elementRule role="doc"> <sequence> <ref label="title"/> <hedgeRef label="blockElem" occurs="*"/> </sequence> </elementRule> |
RELAX文法との照合のとき,hedgeRef
は最初にすべて展開されます.このhedgeRef
を例に展開の仕方を説明します.
ラベルblockElem
を記述する二つのhedgeRule
の生け垣モデルは,どちらもref
要素です.それらをまとめてchoice
要素で括った結果は次のようになります.
<choice> <ref label="para"/> <ref label="itemizedList"/> </choice> |
展開したいhedgeRef
は,occurs
属性として*
を指定しています.このchoice
に,これを転記します.
<choice occurs="*"> <ref label="para"/> <ref label="itemizedList"/> </choice> |
最後に,このchoice
要素でhedgeRef
を置き換えます.
<elementRule role="doc"> <sequence> <ref label="title"/> <choice occurs="*"> <ref label="para"/> <ref label="itemizedList"/> </choice> </sequence> </elementRule> |
あるラベルを参照するhedgeRef
を展開するための手順をまとめておきます.
hedgeRule
をすべて探す.
hedgeRule
の生け垣モデルをchoice
要素で一つに括る.
hedgeRef
のoccurs
属性をこのchoice
要素に転記する.
choice
で,hedgeRef
を置き換える.
hedgeRule
によるラベルの共有が認められているので,無理に一つのhedgeRule
にまとめる必要がありません.たとえば,numberedItemizedList
をblockElem
の一種として追加しても,次のhedgeRule
を書き足すだけで済みます.他のhedgeRule
を変更する必要はありません.
<hedgeRule label="blockElem"> <ref label="numberedItemizedList"/> </hedgeRule> |
hedgeRule
とelementRule
が同じラベルを共有することは許されません.たとえば,次の例は構文エラーです.
<hedgeRule label="foo"> <ref label="bar"/> </hedgeRule> <elementRule role="foo" label="foo"> <empty/> </elementRule> |
elementRule
がlabel
属性に同一のラベルを指定しても構いません.また,複数のelementRule
のrole
属性が同一であっても構いません.elementRule
がrole
属性としてsection
を指定しています.どちらもlabel
属性は省略されていますから,section
を指定しているものとみなされます.
<tag name="section"/> <elementRule role="section"> <ref label="para" occurs="*"/> </elementRule> <elementRule role="section"> <choice occurs="*"> <ref label="para"/> <ref label="fig"/> </choice> </elementRule> |
ラベルを共有する複数のelementRule
が存在するときは,どれか一つが成立するだけで十分です.
次のsection
要素を考えます.一番目のelementRule
も二番目のelementRule
も,これを認めています.したがって,ラベルsection
を振ることができます.
<section><para/></section> |
次のsection
要素はfig
要素を含んでいるので,二番目のelementRule
だけが成立しています.どれか一つが成立していれば十分ですから,やはりラベルsection
を振ることができます.
<section><para/><fig/><para/></section> |
複数のelementRule
が同一のラベルを記述することの利点を説明します.すでにモジュールが作成されているとします.より広い範囲の文書が合法になるようにこのモジュールを変更することを考えます.
従来の方法では,既存のelementRule
を変更する必要があります.今まで合法だった文書が,この変更後にも合法であるという保証はありません.
RELAXでは,既存のelementRule
を変更せず,新たにelementRule
を追加することで対処できます.この方法だと,今まで合法だった文書がやはり合法であることは原理的に保証されています.
先の例では,para
だけをsection
の内容として許すのが当初の予定であり,一番目のelementRule
はそのために書かれています.その後に,fig
も内容として許すように二番目のelementRule
を追加しています.一番目のelementRule
は依然として有効ですから,今まで合法だった文書が合法でなくなることはありません.
tag
が属性リスト宣言に相当し,attPool
が属性だけを定義するパラメータ実体に相当すると説明しました.実際には,より一般的な考え方がRELAXでは存在しています.tag
要素は,name
属性のほかに,role
属性を持つことができます.この節では,まずこの拡張の動機を説明し,つぎにrole
属性を導入します.val
という要素のtype
属性の値によってval
の内容モデルを変えたいとします.type="integer"
と指定されていれば内容モデルはデータ型integer
への参照ですし,type="string"
と指定されていればデータ型string
への参照です.
<!-- 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
要素は,name
属性のほかに,role
属性を持つことができます.tag
の基本的な形は次の通りです.name
属性はタグ名を指定しますが,role
属性が指定するのは役割です.
<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
属性は,タグ名を指定するのではなく役割を指定します.したがって,タグ名が同じであっても属性が違えば,別の生け垣モデルを使うことができます.val-string
とval-integer
を使えば,タグ名がval
である開始タグに対して二つのelementRule
を使い分けることが出来ます.述語名val-string
を指定するelementRule
ば,type
属性の値がstring
である開始タグを扱います.役割val-integer
を指定すれば,type
属性の値がinteger
であるものを扱います.
<!-- 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
要素で記述してはいけません.記述するのなら,attPool
要素で記述する必要があります.ref
要素は,tag
要素によって記述された役割foo
を参照しています.したがって,構文エラーです.
<tag name="foo"/> <attPool role="bar"> <ref role="foo"/> </attPool> |
none
を導入しました.属性が指定された場合と指定されない場合とで異なる内容モデルを用いるときに,none
は有益です.<div class="sec">
と<div>
で内容モデルを変えることを考えます.前者を表現する役割divSec
は次のように記述されます.
<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
が成立してしまいます.宣言されていない属性があるというメッセージは出ますが,両方の役割を持つとみなされてしまいます.(1)
属性class
を持たないということを陽に指定するには,データ型none
を用いて次のように書く必要があります.
<tag name="div" role="divWithoutClass"> <attribute name="class" type="none"/> </tag> |
データ型none
に属する文字列は存在しないので,どんな値を属性class
に指定しても役割divWithoutClass
を持つことはありません.
attPool
要素は,パラメタ実体のように単に展開されるものではありません.attPool
要素は,tag
要素とほとんど同等の概念です.tag
要素は,タグ名に関する制約条件と属性に関する制約条件の集まりに役割を関連付けるものでした.attPool
要素もほとんど同じで,違いはタグ名に関する制約条件を指定できないことだけです.すなわち,属性に関する制限の集まりに役割を関連付けるものが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
要素のrole
属性で指定する役割を,attPool
要素で記述してはいけません.記述するのなら,tag
要素で記述する必要があります.elementRule
は役割info
を参照しています.役割info
はattPool
要素によって規定されています.したがって,この例は構文エラーです.
<attPool role="info"/> <elementRule role="info" label="informative" type="emptyString"/> |
tag
またはattPool
要素が,一つの役割を共有することはできません.tag
要素が役割bar
を共有しています.したがって,構文エラーです.
<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> |
tag
要素はタグ名と属性を宣言するものだと見なしてきました.本当は,タグ名に関する条件と属性に関する条件に役割を関連づけるのがtag
要素です.これまでは,役割とタグ名は常に同じでしたが,必ずしもそうではありません.多くの場合にはラベルと役割とタグ名には一対一に対応しますが,一般的にはそうではありません.構文要素 | タグ名/ラベル/役割の区別 |
elementRule のrole 属性 |
tag で記述された役割への参照 |
elementRule のlabel 属性 |
ラベルの記述 |
hedgeRule のlabel 属性 |
ラベルの記述 |
ref のlabel 属性 |
elementRule によって記述されたラベルへの参照 |
hedgeRef のlabel 属性 |
hedgeRule によって記述されたラベルへの参照 |
tag のname 属性 |
タグ名の記述 |
tag のrole 属性 |
役割の記述 |
attPool のrole 属性 |
役割の記述 |
ref のrole 属性 |
attPool によって記述された役割への参照 |
名前の種類 | インスタンス中で | RELAXモジュール中で |
タグ名 | 出現する | 節の一部として出現する |
役割 | 出現しない | 節の一部として出現する(役割の記述と参照) |
ラベル | 出現しない | 生成規則の一部として出現する(ラベルの記述と参照) |
role
属性だけです.RELAXの簡潔さ,強力さの現れといっていいでしょう.RELAX!element
という要素を生け垣モデルとして許しています.これは単なる略記法であり,ref
とelementRule
とtag
に展開されます.この節では,まずelement
要素の目的を説明し,次に機構を説明します.x
とy
を宣言し,型としてint
を指定しています.
public class Point { int x; int y; } |
変数x
が別のクラスで宣言されるときは,異なる型を指定されているかも知れません.次の例では,float
型がクラスFoo
のx
に対して指定されています.
public class Foo { float x; } |
element
要素は,変数名と型の指定を同時に行うための要素生け垣モデルです.element
要素は,必ずname
属性とtype
を持ちます.さらに,occurs
属性も持つことができます.
<element name="tag-name" type="datatype-name"/> |
<element name="tag-name" type="datatype-name" occurs="*"/> |
element
要素を用いることによって次のようなtag
要素とelementRule
要素が書けます.
<tag name="Point"/> <elementRule role="Point"> <sequence> <element name="x" type="integer"/> <element name="y" type="integer"/> </sequence> </elementRule> |
x=100
かつy=200
であるようなPoint
は次のXML文書によって表現できます.
<Point> <x>100</x> <y>200</y> </Point> |
element
要素は単なる構文糖衣(syntax sugar)です.生け垣モデル中のelement
要素はref
要素に置き換えられ,elementRule
要素とtag
要素が生成されます.elementRule
をもう一度示します.このelement
要素がどう展開されるかを考えてみます.
<elementRule label="Point"> <sequence> <element name="x" type="integer"/> <element name="y" type="integer"/> </sequence> </elementRule> |
どちらのelement
要素もref
要素によって置き換えられます.また,elementRule
とtag
がそれぞれに対して生成されます.生成されるelementRule
の生け垣モデルは,element
のtype
属性で指定されたデータ型への参照です.
<elementRule label="Point"> <sequence> <ref label="Point$1"/> <ref label="Point$2"/> </sequence> </elementRule> <elementRule role="Point$1" label="Point$1" type="integer"/> <tag role="Point$1" name="x"/> <elementRule role="Point$2" label="Point$2" type="integer"/> <tag role="Point$2" name="y"/> |
element
要素がoccurs
属性を持っているときは,生成されるref
要素にoccurs
属性が付与されます.たとえば,最初のelementRule
でelement
にoccurs="?"
が指定されたとします(下記参照).
<elementRule label="Point"> <sequence> <element name="x" type="integer" occurs="?"/> <element name="y" type="integer" occurs="?"/> </sequence> </elementRule> |
展開の結果は次のようになります.
<elementRule label="Point"> <sequence> <ref label="Point$1" occurs="?"/> <ref label="Point$2" occurs="?"/> </sequence> </elementRule> <elementRule role="Point$1" label="Point$1" type="integer"/> <tag role="Point$1" name="x"/> <elementRule role="Point$2" label="Point$2" type="integer"/> <tag role="Point$2" name="y"/> |
element
要素がどう展開されるかをまとめておきます.ref
要素を生成します.そのlabel
属性の値として,他のラベルと衝突しないラベルが自動生成されます.もし,element
要素にoccurs
属性があれば,生成されたref
要素に引き継がれます.elementRule
を生成します.そのrole
属性の値として,他の役割と衝突しない役割が生成されます.label
属性の値は,ref
要素を生成したときに自動生成したラベルです.このelementRule
の生け垣モデルとして,element
要素のtype
属性を転記します.tag
要素を生成します.elementRule
を生成するときに自動生成した役割がrole
属性として指定されます.生成されたtag
のname
属性としては,元々のelement
要素のname
属性の値が指定されます.element
要素による記述は,とても自然で分かりやすいと思います.RELAX!tag
要素のelementRule
要素への埋め込みについて説明します.tag
とattPool
に,生け垣モデルはelementRule
とhedgeRule
に記述されます.elementRule
は,役割を通じてtag
を参照し,このtag
がさらにattPool
を参照します.elementRule
とあるtag
が密接に関連している場合には,両者を分離するのではなく,一つの要素にまとめてしまうほうが便利なこともあります.elementRule
とtag
とに分離した記述の例として,STEP 8にある例をもう一度示します.
<!-- 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"/> |
ここで,役割val-integer
, val-string
がこの二つのelementRule
要素からだけしか参照されていないとします.わざわざval-integer
, val-string
という二つの名前をつけて参照するより,以下のように直接埋め込みたくなります.
<!-- Case 1: type="integer" --> <elementRule label="val" type="integer"> <tag> <attribute name="type" type="NMTOKEN" required="true"> <enumeration value="integer"/> </attribute> </tag> </elementRule> <!-- Case 2: type="string" --> <elementRule label="val" type="string"> <tag> <attribute name="type" type="NMTOKEN" required="true"> <enumeration value="string"/> </attribute> </tag> </elementRule> |
この書き方の利点は,役割に名をつけて参照する必要がないことです.書き直す前は,タグ名ともラベルとも違う名前をつけていました.この名前がなくなった分だけ,読むときの負担が減っています.
属性と生け垣モデルとを同時に記述できることを利点と感じる人もいます.たとえば,x座標とy座標を持つ点を,XMLで二通りに表現した例を以下に示します.前者では,属性によって表現し,後者では要素によって表現しています.両者の差異は僅かであり,書き換えが容易に可能です.
<elementRule label="point" type="emptyString"> <tag> <attribute name="x" type="integer"/> <attribute name="y" type="integer"/> </tag> </elementRule> |
<elementRule label="point"> <tag/> <sequence> <element name="x" type="integer"/> <element name="y" type="integer"/> </sequence> </elementRule> |
tag
を含むelementRule
は,role
属性を持つことは許されません.その代わりに,label
属性は必須です.
埋め込まれたtag
がrole
属性をもつことも許されません.この例では省略されていますが,name
属性を持つことは許されています.
tag
は,elementRule
から取り出され,その兄弟要素になります.本STEPの最初の例を用いて説明します.
<elementRule label="val" type="integer"> <tag> <attribute name="type" type="NMTOKEN" required="true"> <enumeration value="integer"/> </attribute> </tag> </elementRule> |
まず,適当な役割を生成します.この例では,val$1
という役割を生成しています.
次に,埋め込まれたtag
要素をelementRule
から取り出し,その兄弟要素として配置します.role
属性を追加し,先に生成した役割のval$1
を属性値として指定します.
tag
要素がname
属性を持っていないときに限って,name
属性を追加します.値としては,elementRule
要素のlabel
属性の値を用います.この例では,tag
要素のname
属性の値として"val"
を指定します.
最後に,elementRule
にrole
属性を追加し,先に生成した役割を指定します.
<elementRule label="val" type="integer" role="val$1"> </elementRule> <tag name="val" role="val$1"> <attribute name="type" type="NMTOKEN" required="true"> <enumeration value="integer"/> </attribute> </tag> |
tag
の埋め込みによって,簡潔で分かりやすい記述が可能になります.RELAX!