empty 要素

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

• choice要素 の子要素が全て empty要素 (あるいはそれと見倣されるもの)であった場合、choice要素 自体が一つの一つの empty要素 と見倣されます。
• choice要素 の子要素に、他のパターンに混じって empty要素 が存在した場合、「記述無し」という定義が選択肢の中に入ります。例えば、次のような記述を考えてみます。

  <choice>
   <value>うどん</value>
   <value>そば</value>
   <value>ラーメン</value>
   <empty/>
  </choice>
  

  この場合、empty要素 は無視されず、「うどん」「そば」「ラーメン」という値が記述出来るのに加え、「何も記述しない」パターンをも許してしまいます。とりわけ、必須記法を choice要素 で選択させる場合には、気を附けなければなりません。

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