第039回_XML文書とXMLプロセッサ

[Definition: A textual object is a well-formed XML document if:] Taken as a whole, it matches the production labeled document. It meets all the well-formedness constraints given in this specification. Each of the parsed entities which is referenced directly or indirectly within the document is well-formed.

[定義: 次の条件を満たすとき、テキストオブジェクトは整形式のXML文書とする。] documentの生成規則にマッチすること。この仕様が与えるすべての整形式制約を満たすこと。文書中の直接・間接的に参照する解析対象実体のそれぞれが整形式であること。

Conforming XML processors fall into two classes: validating and non-validating. Validating and non-validating processors alike must report violations of this specification's well-formedness constraints in the content of the document entity and any other parsed entities that they read.

[Definition: Validating processors must, at user option, report violations of the constraints expressed by the declarations in the DTD, and failures to fulfill the validity constraints given in this specification.] To accomplish this, validating XML processors must read and process the entire DTD and all external parsed entities referenced in the document.

Non-validating processors are required to check only the document entity, including the entire internal DTD subset, for well-formedness. [Definition: While they are not required to check the document for validity, they are required to process all the declarations they read in the internal DTD subset and in any parameter entity that they read, up to the first reference to a parameter entity that they do not read; that is to say, they must use the information in those declarations to normalize attribute values, include the replacement text of internal entities, and supply default attribute values.] Except when standalone="yes", they must not process entity declarations or attribute-list declarations encountered after a reference to a parameter entity that is not read, since the entity may have contained overriding declarations; when standalone="yes",
processors must process these declarations.

Note that when processing invalid documents with a non-validating processor the application may not be presented with consistent information. For example, several requirements for uniqueness within the document may not be met, including more than one element with the same id, duplicate declarations of elements or notations with the same name, etc. In these cases the behavior of the parser with respect to reporting such information to the application is undefined.

XML 1.1 processors must be able to process both XML 1.0 and XML 1.1 documents. Programs which generate XML should generate XML 1.0, unless one of the specific features of XML 1.1 is required.

XMLプロセッサの適合性は「妥当性を検証する」と「妥当性を検証しない」の2つのクラスに分類できる。「妥当性を検証する」プロセッサと「妥当性を検証しない」プロセッサは、どちらも
文書実体やそれ以外に読み取った解析対象実体に対して
この仕様書が示す整形式制約への違反を報告しなければならない。

[定義: 妥当性を検証するプロセッサは、ユーザのオプション指定がある場合には、DTDの宣言が表現する制約の違反とこの仕様書が与える妥当性制約の確認をしようとして失敗したことを報告しなければならない。]　この要件を実現するために、妥当性を検証するXMLプロセッサはDTD全体と文書が参照するすべての外部解析対象実体を読み取り、処理しなければならない。

妥当性を検証しないプロセッサは、整形式であるかを確認するために内部DTDサブセットを含めた文書実体だけを検査することが要件となる。[定義: 妥当性を検証しないプロセッサは妥当性のために文書実体を検査しなくてよい。ただし、内部サブセットと読み込んだパラメータ実体の中に現れる宣言を読み込む必要がある。ただし、読まなかったパラメータ実体の参照が最初に現れた場合は、それ以降は読まなくて良い。;つまり、属性値を正規化したり、内部実体の置換テキストをインクルードしたり、デフォルトの属性値を与えるために宣言の中の情報を使わなければならない。]

妥当性を検証しないプロセッサは、standalone="yes"である場合を除いて、読んでいないパラメータ実体の参照が現れた後は、実体宣言と属性リスト宣言を処理してはいけない。その理由は、読み取れなかったパラメータ実体宣言が実体宣言と属性リスト宣言の内容を上書きする可能性があるからである。; standalone="yes"の場合、読み取れないパラメータ実体参照の後ろにある実体宣言と属性リスト宣言を処理しなければならない。

妥当性を検証しないプロセッサで妥当でない文書を処理する時、アプリケーションは矛盾のない情報を受け取れないかもしれない点に注意せよ。例えば、文書上の一意性を示す要件を満たさないかもしれない。
――――
　同じIDを持つ要素が複数ある
　同じ名前の要素宣言や記法宣言の重複
　etc...
が考えられる。
――――
これらの場合、妥当性を検証しないプロセッサがアプリケーションに対してどのような情報を報告するかの点についての振る舞いは定義しない。

XML1.1のプロセッサは、XML1.0とXML1.1の両方の文書を処理することができなければいけない。XMLを生成するプログラムはXML1.1特有の仕様を使わない限りXML1.0の文書を生成するべきである。