empty 要素

空の記述を定義する要素

要素の中身など、ある箇所において「空の記述」を定義する要素です。
要素の中身や属性値など、様々な定義の中で使うことが出来ます。しかし大抵は、空要素の定義もしくは属性セットの初期値の定義内で使われることが多いかと思われます。
常に空要素です。中身はありません。
grammar 要素の直下には置いてはなりません。
empty 要素をルート要素とすることが出来ます。利用価値の是非はともかく、一応可能です。

パターン内での empty 要素の振舞い

概要

複数の連続する empty 要素は、一つの empty 要素と見倣されます。
interleave, group, oneOrMore, zeroOrMore, optional 各要素内の子要素に empty 要素が含まれていた場合、その empty 要素は単に無視されます。ただし、 empty 要素しか存在しない場合は、そのパターン要素は、一つの empty 要素と見倣されます。
choice 要素内の empty 要素に関しては、後述します。

choice 要素内

choice 要素の子要素が全て empty 要素 (あるいはそれと見倣されるもの)であった場合、 choice 要素自体が一つの一つの empty 要素と見倣されます。
choice 要素の子要素に、他のパターンに混じって empty 要素が存在した場合、「記述無し」という定義が選択肢の中に入ります。例えば、次のような記述を考えてみます。
```
<choice>
 <value>うどん</value>
 <value>そば</value>
 <value>ラーメン</value>
 <empty/>
</choice>
```
この場合、 empty 要素は無視されず、「うどん」「そば」「ラーメン」という値が記述出来るのに加え、「何も記述しない」パターンをも許してしまいます。とりわけ、必須記法を choice 要素で選択させる場合には、気を附けなければなりません。

element 要素内

element 要素の子要素が empty 要素 (と属性宣言のパターン要素)のみである場合、その element 要素で定義される要素は空要素と定義されます。