STEP 1: XML DTDからの移行（パラメタ実体なし）

• モジュールの例
• module要素
• interface要素
  • export要素
• 要素型宣言
  • 要素生け垣モデル
    • empty要素
    • ref要素
    • choice要素
    • sequence要素
    • none要素
  • データ型参照
  • 混在生け垣モデル
• 属性リスト宣言
• まとめ

モジュールの例

<!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です．

interface要素

<module moduleVersion="1.2" relaxCoreVersion="1.0" targetNamespace="" xmlns="http://www.xml.gr.jp/xmlns/relaxCore"> <interface> ... </interface> ... </module>

export要素

<export label="foo"/>

export 要素のlabel 属性 の値は，ルートになりうる要素型です．export要素は複数あっても構いません．
以下の例は，要素型fooとbarがルートになりうることを表しています．

<interface> <export label="foo"/> <export label="bar"/> </interface>

要素型宣言

<elementRule role="element-type-name"> ...hedge model... </elementRule>

elemementRule要素は，生け垣モデルを持つことができます．生け垣とは，要素（子孫要素も含む）と文字データの並びのことです．生け垣モデルとは，どんな生け垣が許されるかを表す制約条件です．
生け垣モデルには，要素生け垣モデル，データ型参照，混在生け垣モデルがあります．

要素生け垣モデル

empty要素

<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要素

<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要素

<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要素

<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要素

<elementRule role="bar"> <none/> </elementRule>

このelementRuleは，barの内容としてはなにも許されないことを示しています．noneを導入する理由は，STEP 2で明らかになります．

データ型参照

<elementRule role="bar" type="integer"/>

このelementRuleは，bar要素の内容は整数を表現する文字列であることを示します．

<bar>10</bar>

前後に空白を挿入することはできません．すなわち，次の例は許されません．

<bar> 10 </bar>

混在生け垣モデル

<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/>Mako&#x74;&#x6F;<foo2/>IUJ</bar>

属性リスト宣言

<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"/>

まとめ