notAllowed 要素

記述を不許可に設定する要素

記述を不許可にするための要素です。既にあるパターンの効果を打ち消すのにも使えます。
choice要素を用いた選択肢の「初期値」として使えなくもありませんが、取り扱いには注意が必要です。親要素への効果の波及が著しいため、非常に使いづらい要素の一つとなっております。
notAllowed要素を含んだ構造要素(choice要素など)の振舞いには、注意が必要です。詳しくは後述します。
一応、ルート要素としても記述可能です。そのようにして意味があるかどうかは知りませんが、取り敢えずは出来ます。
パターン中に記述された(もしくは参照先のマクロに含まれた) notAllowed要素は、親要素に対して著しい影響を及ぼします。

<span class="codefrag">choice</span>要素の中の <span class="codefrag">notAllowed</span>要素

choice要素の子要素の中に一つ以上の notAllowed要素が含まれた場合、notAllowed要素は無視され、その他のパターンのみが適用されます。
ただし、choice要素の中に notAllowed要素もしくは notAllowed要素と見倣される記述 (notAllowed要素を子要素に持つ interleave要素など)のみが存在する場合、その choice要素自体が、一つの notAllowed要素と見倣されます。

原則として、連続する notAllowed要素は、一つの notAllowed要素と見倣されます。
notAllowed要素が必然的に適用されるパターンでは、もとのパターンの効果は無視され、全て一つの notAllowed要素に置き換わります。例えば、notAllowed要素を一つ以上子要素に有する attribute要素, group要素, interleave要素, oneOrMore要素がこれに相当します。
zeroOrMore要素, optional要素の子要素に notAllowed要素が存在していた場合、これらのパターン自体が単に無視されます (notAllowed要素には置き換わりません)。
except要素の子要素の中に一つ以上の notAllowed要素が含まれた場合、 except要素そのものの効果が消えます。
notAllowed要素を一つ以上子要素に持つ element要素では、要素宣言そのものが破毀されます (の筈ですが、うまく検証プログラムで処理出来ないこともあります)。