一覧

• [2] [根要素型]: 文書型宣言中の Name は、根要素の要素型と一致しなければならない。 (http://www.w3.org/TR/REC-xml#vc-roottype)
• [3] [宣言及びパラメーター実体の入れ子適当性]: パラメーター実体の置換文はマーク宣言で適切に入れ子となっていなければならない。つまり、マーク宣言の最初又は最後のいずれかの文字がパラメーター実体参照の置換文に含まれていたなら、その両方が同じ置換文中に含まれていなければならない。 (http://www.w3.org/TR/REC-xml#vc-PEinMarkupDecl)
• [4] [非依存文書宣言]:
  1. 属性値に既定値が指定されていて、その要素型が文書中で使われており、かつその属性の値が指定されていないものがある場合、
  2. 実体 (apos, lt, gt, quot, apos を除く。) への参照が文書中にある場合、
  3. 正規化の対象となる値を取る属性があって、その文書中で正規化の結果変化する値が使われている場合、
     • 訂正: 正規化の対象となる値を取る属性があって、その文書中で正規化の結果、宣言がなかった場合と変化する値が使われている場合 http://www.w3.org/XML/xml-V10-2e-errata#E36
  4. 要素内容を持つ要素型で、その要素型の実現値の中に直接空白間隔を持つものがある場合、
  • のいずれかを満たす宣言を外部マーク宣言が持つ時に、非依存文書宣言 (standalone) の値は no でなければならない。 http://www.w3.org/TR/REC-xml#vc-check-rmd
• [5] [要素妥当]: 要素は、名前が一致する ELEMENT 宣言があり、その内容モデルと実際の内容が一致する (詳しくは仕様書参照)。混合内容でない時に子要素間に挿入可能な S を CDATA マーク区間とすることはできないのに注意。 http://www.w3.org/TR/REC-xml#elementvalid
• [6] [属性値の型]: 属性は宣言されていなければならない。その値はその宣言された型でなければならない。 http://www.w3.org/TR/REC-xml#ValueType
• [7] [要素型宣言の一意性]: 要素型は複数回宣言することは出来ない。 http://www.w3.org/TR/REC-xml#EDUnique
• [8] [集団及びパラメーター実体の入れ子適当性]: 要素型宣言の内容モデルの部分のパラメーター実体は、括弧について適当に入れ子になっていなければならない。つまり、開き括弧と閉じ括弧の一方がある実体の参照の置換文に含まれるなら、他者も含まれなければならない。 http://www.w3.org/TR/REC-xml#vc-PEinGroup
• [9] [(混合内容における) 要素型の重複の禁止]: 1つの混合内容宣言で同じ要素型が複数出現してはならない。 http://www.w3.org/TR/REC-xml#vc-MixedChildrenUnique
• [10] [ID]: ID 型の属性の値は生成規則 Name に一致しなければならない。その値は1つの文書中で複数回出現してはならない。 http://www.w3.org/TR/REC-xml#id
• [11] [一要素一 ID]: 一つの要素に複数個の ID 型の属性は置けない。 http://www.w3.org/TR/REC-xml#one-id-per-el
• [12] [ID 属性の既定値]: ID 型の属性の既定値宣言は #IMPLIED 又は #REQUIRED でなければならない。 http://www.w3.org/TR/REC-xml#id-default (ID 型属性の既定値は指定できない。)
• [13] [IDREF]: ID 型の属性の値は生成規則 Name に、 IDREFS 型の値は Names に一致しなければならない。各 Name はその文書中のどれかの要素の ID 型属性の値と一致していなければならない。 http://www.w3.org/TR/REC-xml#idref
• [14] [実体名]: ENTITY 型の属性の値は生成規則 Name に、 ENTITIES 型の値は Names に一致しなければならない。各 Name は DTD で宣言された非解析実体の Name と一致していなければならない。
• [15] http://www.w3.org/TR/REC-xml#entname
• [16] [名前字句]: NMTOKEN 型の値は生成規則 Nmtoken, NMTOKENS 型の値は Nmtokens に一致していなければならない。 http://www.w3.org/TR/REC-xml#nmtok
• [17] [記法属性]: 記法 (NOTATION) 型の属性の値は(属性)宣言に含まれる記法名のいずれかと一致していなければならない。全ての記法名は宣言されていなければならない。 http://www.w3.org/TR/REC-xml#notatn
• [18] [一要素一記法]: 一つの要素に複数個の NOTATION 型属性は存在できない。 http://www.w3.org/TR/REC-xml#OneNotationPer
• [19] [(強制)空要素に記法なし]: 互換性のため、 EMPTY と宣言された要素に NOTATION 型の属性は存在できない。 http://www.w3.org/TR/REC-xml#NoNotationEmpty
• [20] [列挙]: この型の属性の値は宣言された Nmtoken 値の一つと一致しなければならない。 http://www.w3.org/TR/REC-xml#enum
• [21] [必須属性]: 既定値宣言が鍵言葉 #REQUIRED である場合、その要素型の要素は全てその属性を指定されていなければならない。 http://www.w3.org/TR/REC-xml#RequiredAttr
• [22] [属性既定値の構文的な正しさ]: 宣言した既定値は宣言した型に照らして正当でなければならない。 http://www.w3.org/TR/REC-xml#defattrvalid
  • [34] なお、この検査は構文的正しさのみであり、他の点は検討しない。例えば ENTITY 型の属性値でその既定値の名前を持つ外部非解析実体が宣言されているかは、属性の既定値が実際に使われる (補完される) ときに初めて検証される。 http://www.w3.org/XML/xml-V10-2e-errata#E9
• [23] [固定属性既定値]: 既定値宣言に鍵言葉 #FIXED がある場合、その属性の全ての実現値はその既定値と一致していなければならない。 http://www.w3.org/TR/REC-xml#FixedAttr
• [25] [条件区間及び引数実体の入れ子適当性]: 条件区間の <![ , [ , ]> のいずれかが引数実体参照の置換文に含まれる場合、他の全てが同じ置換文に含まれていなければならない。 http://www.w3.org/TR/REC-xml#condsec-nesting
• [26] [実体が宣言されていること]: 属性は全て宣言されていなければなりません。相互運用性のため、 amp なども宣言するべきです。引数実体は参照される前に、一般実体は直接又は間接に属性の既定値の宣言で参照される前に宣言されていなければなりません。 (詳しくは仕様書参照。) http://www.w3.org/TR/REC-xml#vc-entdeclared
• [27] [記法が宣言されていること]: (実体宣言の記法の) Name は記法名と一致しなければなりません。 http://www.w3.org/TR/REC-xml#not-declared
  • [39] >>27 記法宣言は実体宣言の前にある必要はあるんだろうか? ないんだろうか?
  • >>39 記法参照。
• [28] [記法名の一意性]: 同じ名前の記法を複数宣言できません。 http://www.w3.org/TR/REC-xml#UniqueNotationName
• [32] >>9 訂正: 内容モデルで同じ要素型が複数回一致することを許す場合 http://www.w3.org/XML/xml-V10-2e-errata#E34
• [33] >>5 訂正 http://www.w3.org/XML/xml-V10-2e-errata#E15 にも注意。特に、混合でない子要素の内容モデルの場合、生の値が空白間隔である文字参照である実体への参照 (置換文は文字参照ではなく生の文字になる。) は使えても、置換文が文字参照である実体参照は使えないのに注意。
• [35] [(列挙・記法名の)字句の重複無し]: 単一の NotationType 属性宣言の記法名や単一の Enumeration 属性宣言の Nmtoken は、全て異なるものでなければなりません。 http://www.w3.org/XML/xml-V10-2e-errata#E2
• [37] [妥当な xml:lang] (削除済み制約) xml:lang 属性の値は、 NMTOKEN として正規化した後に、生成規則 [33] に一致しなければならない。 (FE errata E31 http://www.w3.org/XML/xml-19980210-errata#E31 で追加, E73 http://www.w3.org/XML/xml-19980210-errata#E73 で (明記されていないものの) 削除。削除理由は、 「XML 処理系の立ち入るべき水準ではない」。)
  • ちなみに xml:lang 属性は、 SE の errata で CDATA に修正されてます。
• [40] >>28 TE で文言修正。「ある名前は複数回記法宣言で宣言してはなりません。」

[41] XML文書の条件は整形式たることですから、妥当性制約が満たされないとしても、XML文書たりえます。ただし、妥当性制約への違反は誤りです (>>1) から、処理した結果は未定義です。

[42] >>41 ということは、例えば妥当でない要素が出てきたらそこで処理終了しても構わないということになります。妥当性検証を行う処理器なら普通な動作ですが、行わない処理器でもそうしてもいい、と。 (例えば要素内容の検証はしないけど強制空要素の検証はする、とか。)

[43] >>3,>>8,>>25 の引数実体との入れ子に関する制約も妥当性制約ということは、入れ子関係がおかしくても整形式たり得るということだ。正しく処理される保証はないだけで。

妥当性検証はしない処理器でも、これくらいの誤りの検出はしておいた方が実装が楽かもしれない (し、そうでないかもしれない)。

[44] SGML互換性のために属性値の列挙の群と引数実体が適当に入れ子になっていることという条件が必要なような。。。

(名無しさん)

処理系と妥当性制約

[29] 妥当性を検証する処理系は、利用者の任意選択により、 DTD の宣言により表現された制約への違反及び XML 仕様書の妥当性制約への違反を報告しなければなりません。 http://www.w3.org/TR/REC-xml#dt-validating

この条件を満たすため、妥当性を検証する処理系は DTD 全体と全ての外部解析実体を読まなければなりません。 http://www.w3.org/TR/REC-xml#dt-validating

[36] 妥当性制約はXML//整形式制約に加えての追加の制約です。 XML 文書は必ずしも妥当性制約を満たしている必要はありませんが、 できるなら満たすことが望ましいでしょう。特に、宣言の完全性 (DTD で定義されていること) 以外の制約は必ず満たすべきです。

メモ