DOM の構文解析と直列化 — DOM Parsing and Serialization

`Element$I `型の~nodeを~XMLに直列化する$ときは、 次に従う： ◎ The algorithm for producing an XML serialization of a DOM node of type Element is as follows:

【 簡潔にするため、 この~algoの一部には（等価なふるまいになるよう）手を加えている。 】

1. %要素 ~LET %~node 【この段は、以下を読み易くするための，この訳による追加（単なる名称変更）。】
2. ~IF［ `整形式が要求されるか$V ~EQ ~T ］~AND［ %要素 の`局所~名$eLは、［ `003A^U を包含する ］~OR［ ~XML `Name$P 生成規則に合致しない ］］ ⇒ ~THROW 例外 — %要素 の直列化は整形式~要素にならない。 ◎ If the require well-formed flag is set (its value is true), and this node's localName attribute contains the character ":" (U+003A COLON) or does not match the XML Name production, then throw an exception; the serialization of this node would not be a well-formed element. ◎ ↓↓Let markup be the string "<" (U+003C LESS-THAN SIGN). ◎ ↓↓Let qualified name be an empty string. ◎ ↓↓Let skip end tag be a boolean flag with value false. ◎ ↓↓Let ignore namespace definition attribute be a boolean flag with value false. 【！ dfn-skip-end-tag 】
3. %~map ~LET `~ns接頭辞~mapを複製する$( `接頭辞~map$V ) ◎ Given prefix map, copy a namespace prefix map and let map be the result.

4. `局所~接頭辞~map@V ~LET 新たな空`~map$ — この~mapを成す各~entryは：

   • ~ns接頭辞を与える文字列を~keyとする。
   • ~nsを与える文字列を値とする。 この値においては、 ~NULL ~nsは空~文字列で表現される。

   ◎ Let local prefixes map be an empty map. The map has unique Node prefix strings as its keys, with corresponding namespaceURI Node values as the map's key values (in this map, the null namespace is represented by the empty string).

   注記： この~mapは、 要素ごとに局所的であり，次のために利用される：

   • ~ns接頭辞~定義を与える属性が必要で，そのために新たな`接頭辞を生成する$べきときに、 他の接頭辞と競合しないことを確保する。
   • %要素 の`属性たちを~XMLに直列化する$ときに，重複する接頭辞~定義を飛ばせるようにする。
   • `~ns接頭辞~map$内の接頭辞のうち［ %要素 に局所的に定義されるもの, そうでないもの ］を，この~algoが判別できるようにする。

   ◎ Note This map is local to each element. It is used to ensure there are no conflicting prefixes should a new namespace prefix attribute need to be generated. It is also used to enable skipping of duplicate prefix definitions when writing an element's attributes: the map allows the algorithm to distinguish between a prefix in the namespace prefix map that might be locally-defined (to the current Element) and one that is not.

5. `局所的な既定の~ns@V ~LET %要素 の`~ns情報を記録する$( %~map, `局所~接頭辞~map$V ) ◎ Let local default namespace be the result of recording the namespace information for node given map and local prefixes map.

   注記： この段は %~map も更新することに加え、 %要素 上に見出された~ns接頭辞~定義を， `局所~接頭辞~map$V に追加する。 `局所的な既定の~ns$V は、 %要素 上に既定の~nsを与える属性が［ 在れば それが定義する~ns ／ 無ければ ε ］になる。 ◎ Note The above step will update map with any found namespace prefix definitions, add the found prefix definitions to the local prefixes map and return a local default namespace value defined by a default namespace attribute if one exists. Otherwise it returns null.

6. `~ns定義~属性は無視するか@V ~LET ~F ◎ ↑↑
7. %~ns ~LET %要素 の`~ns$eL ◎ Let inherited ns be a copy of namespace. ◎ Let ns be the value of node's namespaceURI attribute.
8. %接頭辞 ~LET %要素 の`~ns接頭辞$eL 【~NULL に設定された場合、接頭辞は直列化されない。】 ◎ ↓
9. %~ns宣言~markup ~LET 空~文字列 【これは、接頭辞~宣言／既定の~ns宣言が必要になったとき，他の値に設定される。】 ◎ ↓

10. ~IF［ %~ns ~EQ `文脈~ns$V ］： ◎ If inherited ns is equal to ns, then:

    1. ~IF［ `局所的な既定の~ns$V ~NEQ ε ］ ⇒ `~ns定義~属性は無視するか$V ~SET ~T ◎ If local default namespace is not null, then set ignore namespace definition attribute to true.

    2. %接頭辞 ~SET［［ %~ns ~EQ `~XML~ns$ ］ならば `xml^l ／ ~ELSE_ ~NULL ］ ◎ If ns is the XML namespace, then append to qualified name the concatenation of the string "xml:" and the value of node's localName. ◎ Otherwise, append to qualified name the value of node's localName. The node's prefix if it exists, is dropped.

       注記： `~XML~ns$に属さない場合、 %要素 に`~ns接頭辞$eLが存在しても，落とされる。 ◎ Append the value of qualified name to markup.

11. ~ELSE： ◎ Otherwise, inherited ns is not equal to ns (the node's own namespace is different from the context namespace of its parent). Run these sub-steps:

    1. ~IF［ `整形式が要求されるか$V ~EQ ~T ］~AND［ %接頭辞 ~EQ `xmlns^l ］ ⇒ ~THROW 例外 — %要素 は合法に往復しない。 ◎ Let prefix be the value of node's prefix attribute.

    2. %候補~接頭辞 ~LET ［［ %接頭辞 ~NEQ `xmlns^l ］ならば `選好される接頭辞~文字列を検索取得する$( %~map, %~ns, %接頭辞 ) ／ ~ELSE_ `xmlns^l ］

       注記： %~map の~keyたちに %~ns が無い場合、 ~NULL が返される。

       ◎ Let candidate prefix be the result of retrieving a preferred prefix string prefix from map given namespace ns. ◎ Note The above may return null if no namespace key ns exists in map. ◎ If the value of prefix matches "xmlns", then run the following steps: • If the require well-formed flag is set, then throw an error. An Element with prefix "xmlns" will not legally round-trip in a conforming XML parser. • Let candidate prefix be the value of prefix.

    3. ~IF［ %候補~接頭辞 ~NEQ ~NULL （この接頭辞は %~ns に~mapするよう定義されている） ］： ◎ Found a suitable namespace prefix: if candidate prefix is not null (a namespace prefix is defined which maps to ns), then:

       注記： %候補~接頭辞 が直列化されることになる — それは、 %要素 の自前の`~ns接頭辞$eLと異なり得る。 ◎ Note The following may serialize a different prefix than the Element's existing prefix if it already had one. However, the retrieving a preferred prefix string algorithm already tried to match the existing prefix if possible.

       1. %接頭辞 ~SET %候補~接頭辞

          注記： %要素 または そのいずれかの先祖に、 %要素 の~nsを定義する~ns接頭辞~定義が存在する。

          ◎ Append to qualified name the concatenation of candidate prefix, ":" (U+003A COLON), and node's localName. There exists on this node or the node's ancestry a namespace prefix definition that defines the node's namespace.

       2. ~IF［ `局所的な既定の~ns$V ~NIN { ε, `~XML~ns$ } ］ ⇒ `文脈~ns$V ~SET ［ `局所的な既定の~ns$V ~NEQ 空~文字列 ならば `局所的な既定の~ns$V ／ ~ELSE_ ~NULL ］ （`文脈~ns$V は、 %要素 の自前の~nsではなく， 宣言された既定の~nsに変更される。） ◎ If the local default namespace is not null (there exists a locally-defined default namespace declaration attribute) and its value is not the XML namespace, then let inherited ns get the value of local default namespace unless the local default namespace is the empty string in which case let it get null (the context namespace is changed to the declared default, rather than this node's own namespace).

          注記： `~XML~ns$を定義するような［ 既定の~ns定義／~ns接頭辞 ］は、 在っても， %要素 の属性たちを直列化するときには省略される。 ◎ Note Any default namespace definitions or namespace prefixes that define the XML namespace are omitted when serializing this node's attributes. ◎ Append the value of qualified name to markup.

    4. ~ELIF［ %接頭辞 ~NEQ ~NULL ］： ◎ Otherwise, if prefix is not null, then:

       注記： この時点で、 %要素 にも, そのどの先祖にも［ %接頭辞 を定義する~ns ／ %接頭辞 を~nsに~mapする宣言 ］はない。 以降の手続きは、 次を確保する：

       • %接頭辞 用に新たな~ns接頭辞~宣言を作成する。
       • %接頭辞 は［ %要素 の`属性~list$内に既存の~ns接頭辞~宣言 【！ ＊？同じ localName の】 ］とは競合しない。

       ◎ Note By this step, there is no namespace or prefix mapping declaration in this node (or any parent node visited by this algorithm) that defines prefix otherwise the step labelled Found a suitable namespace prefix would have been followed. The sub-steps that follow will create a new namespace prefix declaration for prefix and ensure that prefix does not conflict with an existing namespace prefix declaration of the same localName in node's attribute list.
       1. ~IF［ `局所~接頭辞~map$V[ %接頭辞 ] ~NEQ ε ］ ⇒ %接頭辞 ~SET `接頭辞を生成する$( %~map, %~ns ) ◎ If the local prefixes map contains a key matching prefix, then let prefix be the result of generating a prefix providing as input map, ns, and prefix index.
       2. `接頭辞~mapに追加する$( %~map, %接頭辞, %~ns ) ◎ Add prefix to map given namespace ns. ◎ Append to qualified name the concatenation of prefix, ":" (U+003A COLON), and node's localName. ◎ Append the value of qualified name to markup.

       3. %~ns宣言~markup ~SET 次の連結：

          注記： これは、 %接頭辞 に対応する~ns接頭辞~宣言を直列化する。

          1. ~SPACE
          2. `xmlns:^l
          3. %接頭辞
          4. `003D^U
          5. `0022^U
          6. `属性~値を直列化する$( %~ns )
          7. `0022^U
          ◎ Append the following to markup, in the order listed: ◎ Note The following serializes a namespace prefix declaration for prefix which was just added to the map. ◎ • " " (U+0020 SPACE); • The string "xmlns:"; • The value of prefix; • "="" (U+003D EQUALS SIGN, U+0022 QUOTATION MARK); • The result of serializing an attribute value given ns and the require well-formed flag as input; • """ (U+0022 QUOTATION MARK).
       4. ~IF［ `局所的な既定の~ns$V ~NEQ ε 【！＊ (there exists a locally-defined default namespace declaration attribute)】 ］ ⇒ `文脈~ns$V ~SET ［ `局所的な既定の~ns$V ~NEQ 空~文字列 ならば `局所的な既定の~ns$V ／ ~ELSE_ ~NULL ］ ◎ If local default namespace is not null (there exists a locally-defined default namespace declaration attribute), then let inherited ns get the value of local default namespace unless the local default namespace is the empty string in which case let it get null.

    5. ~ELIF［ `局所的な既定の~ns$V ~NEQ %~ns ］： ◎ Otherwise, if local default namespace is null, or local default namespace is not null and its value is not equal to ns, then:

       注記： %要素 用の~nsは 依然として直列化される必要があるが、 この時点では %接頭辞 も %候補~接頭辞 も可用でない。 そのため、 この段では，既定の~ns宣言を利用して~nsを定義する — 既存の既定の~ns宣言が在れば，それは置換される。 ◎ Note At this point, the namespace for this node still needs to be serialized, but there's no prefix (or candidate prefix) availble; the following uses the default namespace declaration to define the namespace--optionally replacing an existing default declaration if present.

       1. `~ns定義~属性は無視するか$V ~SET ~T ◎ Set the ignore namespace definition attribute flag to true. ◎ Append to qualified name the value of node's localName.

       2. `文脈~ns$V ~SET %~ns ◎ Let the value of inherited ns be ns.

          注記： 新たな既定の~nsは、 直列化において， %要素 の~nsを定義するときに利用され、 その`子$用の `文脈~ns$V として動作することになる。 ◎ Note The new default namespace will be used in the serialization to define this node's namespace and act as the context namespace for its children.

       3. %~ns宣言~markup ~SET 次の連結： ◎ Append the value of qualified name to markup. ◎ Append the following to markup, in the order listed:

          注記： これは、 新たな（または~~代用の）既定の~ns定義を直列化する。 ◎ Note The following serializes the new (or replacement) default namespace definition.

          1. ~SPACE
          2. `xmlns^l
          3. `003D^U
          4. `0022^U
          5. `属性~値を直列化する$( %~ns )
          6. `0022^U

          ◎ • " " (U+0020 SPACE); • The string "xmlns"; • "="" (U+003D EQUALS SIGN, U+0022 QUOTATION MARK); • The result of serializing an attribute value given ns and the require well-formed flag as input; • """ (U+0022 QUOTATION MARK).
       【！ Finally, regardless of prefix, the node has a local default namespace that matches 'ns'. So, we'll just use that and drop the prefix】

    6. ~ELSE（ `局所的な既定の~ns$V ~EQ %~ns ~NEQ ε ）： ◎ Otherwise, the node has a local default namespace that matches ns. Append to qualified name the value of node's localName,＼

       1. `文脈~ns$V ~SET %~ns ◎ let the value of inherited ns be ns, and append the value of qualified name to markup.

    注記： %~ns ~NEQ `文脈~ns$V になるような すべての組合nは，上で取扱われ、 %要素 は，その元の`~ns$eLを保全するように直列化されることになる。 ◎ Note All of the combinations where ns is not equal to inherited ns are handled above such that node will be serialized preserving its original namespaceURI.

12. %局所~名 ~LET %要素 の`局所~名$eL

13. `有修飾~名@V ~LET ［ %接頭辞 ~EQ ~NULL ならば %局所~名 ／ ~ELSE_ 次の連結 ]：

    1. %接頭辞
    2. `003A^U
    3. %局所~名
    ◎ ↑↑

14. %~markup ~LET 次の連結：

    1. `003C^U
    2. `有修飾~名$V
    3. %~ns宣言~markup
    ◎ ↑↑
15. %~markup に次の結果を付加する ⇒ %要素 の`属性たちを~XMLに直列化する$( %~map, `局所~接頭辞~map$V, `~ns定義~属性は無視するか$V ) ◎ Append to markup the result of the XML serialization of node's attributes given map, prefix index, local prefixes map, ignore namespace definition attribute flag, and require well-formed flag.

16. ~IF［ %要素 の`子~群$は空である ］~AND［ ~OR↓ ］…

    • %~ns ~NEQ `~HTML~ns$
    • ［ %~ns ~EQ `~HTML~ns$ ］~AND［ %局所~名 ~IN { `area^l , `base^l , `basefont^l , `bgsound^l , `br^l , `col^l , `embed^l , `frame^l , `hr^l , `img^l , `input^l , `keygen^l , `link^l , `menuitem^l , `meta^l , `param^l , `source^l , `track^l , `wbr^l } （これらは`~void要素$の~tag名を与える） ］

    …ならば：

    1. ~IF［ %~ns ~EQ `~HTML~ns$ ］ ⇒ %~markup に ~SPACE を付加する

    2. %~markup に次の連結を付加する：

       1. `002F^U
       2. `003E^U
    3. ~RET %~markup
    ◎ If ns is the HTML namespace, and the node's list of children is empty, and the node's localName matches any one of the following void elements: "area", "base", "basefont", "bgsound", "br", "col", "embed", "frame", "hr", "img", "input", "keygen", "link", "menuitem", "meta", "param", "source", "track", "wbr"; then append the following to markup, in the order listed: ◎ " " (U+0020 SPACE); ◎ "/" (U+002F SOLIDUS). ◎ and set the skip end tag flag to true. ◎ If ns is not the HTML namespace, and the node's list of children is empty, then append "/" (U+002F SOLIDUS) to markup and set the skip end tag flag to true. ◎ Append ">" (U+003E GREATER-THAN SIGN) to markup. ◎ If the value of skip end tag is true, then return the value of markup and skip the remaining steps. The node is a leaf-node.
17. %~markup に `003E^U を付加する ◎ ↑

18. ~IF［ %~ns ~EQ `~HTML~ns$ ］~AND［ %局所~名 ~EQ `template^l ］ ⇒ %~markup に次の結果を付加する ⇒ %要素 の`~template内容$を`~XMLに直列化する$( `文脈~ns$V, %~map ) ◎ If ns is the HTML namespace, and the node's localName matches the string "template", then this is a template element. Append to markup the result of XML serializing a DocumentFragment node given the template element's template contents (a DocumentFragment), providing inherited ns, map, prefix index, and the require well-formed flag.

    注記： %要素 は `template$e 要素であり、 その`~template内容$は `DocumentFragment$I である。 これは、 `~XHTML文書を構文解析-$する規則の下でも，`~template内容$が往復できるようにする。 ◎ Note This allows template content to round-trip , given the rules for parsing XHTML documents.

19. ~ELSE ⇒ %要素 の`子~群$を成す ~EACH( %子 ) に対し，`~tree順序$で ⇒ %~markup に次の結果を付加する ⇒ %子 を`~XMLに直列化する$( `文脈~ns$V, %~map ) ◎ Otherwise, append to markup the result of running the XML serialization algorithm on each of node's children, in tree order, providing inherited ns, map, prefix index, and the require well-formed flag.

20. %~markup に次の連結を付加する：

    1. `003C^U
    2. `002F^U
    3. `有修飾~名$V
    4. `003E^U
    ◎ Append the following to markup, in the order listed: ◎ • "</" (U+003C LESS-THAN SIGN, U+002F SOLIDUS); • The value of qualified name; • ">" (U+003E GREATER-THAN SIGN).
21. ~RET %~markup ◎ Return the value of markup.

`Document$I `型の~nodeを~XMLに直列化する$ときは、 次に従う： ◎ The algorithm for producing an XML serialization of a DOM node of type Document is as follows:

1. ~IF［ `整形式が要求されるか$V ~EQ ~T ］~AND［ %~node の`文書~要素$ ~EQ ~NULL ］ ⇒ ~THROW 例外 — %~node の直列化は整形式~文書にならない。 ◎ If the require well-formed flag is set (its value is true), and this node has no documentElement (the documentElement attribute's value is null), then throw an exception; the serialization of this node would not be a well-formed document.
2. %直列形の文書 ~LET 空~文字列 ◎ Otherwise, run the following steps: ◎ Let serialized document be an empty string.

3. %~node の`子~群$を成す ~EACH( %子 ) に対し，`~tree順序$で ⇒ %直列形の文書 に次の結果を付加する ⇒ %子 を`~XMLに直列化する$( `文脈~ns$V, `接頭辞~map$V ) ◎ For each child child of node, in tree order, run the XML serialization algorithm on the child passing along the provided arguments, and append the result to serialized document.

   注記： これは、 `文書~要素$の前後にある任意個数の［ `ProcessingInstruction$I ／ `Comment$I ］~node, および 高々 1 個の `DocumentType$I ~nodeも，直列化することになる。 （ `Text$I ~nodeは`文書$の子には許容されない。） ◎ Note This will serialize any number of ProcessingInstruction and Comment nodes both before and after the Document's documentElement node, including at most one DocumentType node. (Text nodes are not allowed as children of the Document.)

4. ~RET %直列形の文書 ◎ Return the value of serialized document.

`Comment$I `型の~nodeを~XMLに直列化する$ときは、 次に従う： ◎ The algorithm for producing an XML serialization of a DOM node of type Comment is as follows:

1. %~data ~LET %~node の`~data$ ◎ ↓

2. ~IF［ `整形式が要求されるか$V ~EQ ~T ］~AND［ %~data は ~OR↓ を満たす ］…

   • ~XML `Char$P 生成規則に合致しない文字がある
   • 2 個の `002D^U 並びを包含する
   • `002D^U で終端している

   …ならば ⇒ ~THROW 例外 — %~data の直列化は整形式にならない。

   ◎ If the require well-formed flag is set (its value is true), and node's data contains characters that are not matched by the XML Char production or contains "--" (two adjacent U+002D HYPHEN-MINUS characters) or that ends with a "-" (U+002D HYPHEN-MINUS) character, then throw an exception; the serialization of this node's data would not be well-formed.

3. ~RET 次の連結：

   1. `<!--^l
   2. %~data
   3. `-->^l
   ◎ Otherwise, return the concatenation of "<!--", node's data, and "-->".

`Text$I `型の~nodeを~XMLに直列化する$ときは、 次に従う： ◎ The algorithm for producing an XML serialization of a DOM node of type Text is as follows:

1. %~data ~LET %~node の`~data$
2. ~IF［ `整形式が要求されるか$V ~EQ ~T ］~AND［ %~data 内には~XML `Char$P 生成規則に合致しない文字がある ］ ⇒ ~THROW 例外 — %~data の直列化は整形式にならない。 ◎ If the require well-formed flag is set (its value is true), and node's data contains characters that are not matched by the XML Char production, then throw an exception; the serialization of this node's data would not be well-formed.
3. %~markup ~LET 空~文字列 ◎ Let markup be the value of node's data.
4. %~data を成す ~EACH( %文字 ) に対し，順に ⇒ %~markup に ［ %文字 に応じて，次に与える文字列 ］を付加する ⇒＃ `0026^U ならば `&amp;^l ／ `003C^U ならば `&lt;^l ／ `003E^U ならば `&gt;^l ／ ~ELSE_ %文字 ◎ Replace any occurrences of "&" in markup by "&amp;". ◎ Replace any occurrences of "<" in markup by "&lt;". ◎ Replace any occurrences of ">" in markup by "&gt;".
5. ~RET %~markup ◎ Return the value of markup.

`DocumentFragment$I `型の~nodeを~XMLに直列化する$ときは、 次に従う： ◎ The algorithm for producing an XML serialization of a DOM node of type DocumentFragment is as follows:

1. %~markup ~LET 空~文字列 ◎ Let markup the empty string.
2. %~node の`子~群$を成す ~EACH( %子 ) に対し，`~tree順序$で ⇒ %~markup に次の結果を付加する ⇒ %子 を`~XMLに直列化する$( `文脈~ns$V, `接頭辞~map$V ) ◎ For each child child of node, in tree order, run the XML serialization algorithm on the child given namespace, prefix map, a reference to prefix index, and flag require well-formed. Concatenate the result to markup.
3. ~RET %~markup ◎ Return the value of markup.

`DocumentType$I `型の~nodeを~XMLに直列化する$ときは、 次に従う： ◎ The algorithm for producing an XML serialization of a DOM node of type DocumentType is as follows:

1. ( %公な~ID, %~system~ID ) ~LET %~node の ( `公な~ID$dT, `~system~ID$dT ) ◎ ↓

2. ~IF［ `整形式が要求されるか$V ~EQ ~T ］~AND［ ~OR↓ ］…

   • %公な~ID 内に［ ~XML `PubidChar$P 生成規則に合致しない文字 ］がある
   • %~system~ID 内に［ ~XML `Char$P 生成規則に合致しない文字 ］がある
   • %~system~ID 内に［ `0022^U, `0027^U ］の両者がある

   …ならば ⇒ ~THROW 例外 — %~node の直列化は整形式の文書~型~宣言にならない。

   ◎ If the require well-formed flag is true and the node's publicId attribute contains characters that are not matched by the XML PubidChar production, then throw an exception; the serialization of this node would not be a well-formed document type declaration. ◎ If the require well-formed flag is true and the node's systemId attribute contains characters that are not matched by the XML Char production or that contains both a """ (U+0022 QUOTATION MARK) and a "'" (U+0027 APOSTROPHE), then throw an exception; the serialization of this node would not be a well-formed document type declaration.

3. %~markup ~LET 次の連結：

   1. `003C^U
   2. `0021^U
   3. `DOCTYPE^l
   4. ~SPACE
   5. %~node の`名前$dT【！ ＊原文誤 Name】 — %~node が`~HTML文書$に属する場合、 この値は小文字のみからなる
   ◎ Let markup be an empty string. ◎ Append the string "<!DOCTYPE" to markup. ◎ Append " " (U+0020 SPACE) to markup. ◎ Append the value of the node's name attribute to markup. For a node belonging to an HTML document, the value will be all lowercase.

4. ~IF［ %公な~ID ~NEQ 空~文字列 ］ ⇒ %~markup に次の連結を付加する：

   1. ~SPACE
   2. `PUBLIC^l
   3. ~SPACE
   4. `0022^U
   5. %公な~ID
   6. `0022^U
   ◎ If the node's publicId is not the empty string then append the following, in the order listed, to markup: • " " (U+0020 SPACE); • The string "PUBLIC"; • " " (U+0020 SPACE); • """ (U+0022 QUOTATION MARK); • The value of the node's publicId attribute; • """ (U+0022 QUOTATION MARK).

5. ~IF［ %~system~ID ~NEQ 空~文字列 ］~AND［ %公な~ID ~EQ 空~文字列 ］ ⇒ %~markup に次の連結を付加する：

   1. ~SPACE
   2. `SYSTEM^l
   ◎ If the node's systemId is not the empty string and the node's publicId is set to the empty string, then append the following, in the order listed, to markup: • " " (U+0020 SPACE); • The string "SYSTEM".

6. ~IF［ %~system~ID ~NEQ 空~文字列 ］ ⇒ %~markup に次の連結を付加する：

   1. ~SPACE
   2. `0022^U
   3. %~system~ID
   4. `0022^U
   ◎ If the node's systemId is not the empty string then append the following, in the order listed, to markup: • " " (U+0020 SPACE); • """ (U+0022 QUOTATION MARK); • The value of the node's systemId attribute; • """ (U+0022 QUOTATION MARK).
7. %~markup に `003E^U を付加する ◎ Append ">" (U+003E GREATER-THAN SIGN) to markup.
8. ~RET %~markup ◎ Return the value of markup.

`ProcessingInstruction$I `型の~nodeを~XMLに直列化する$ときは、 次に従う： ◎ The algorithm for producing an XML serialization of a DOM node of type ProcessingInstruction is as follows:

1. ( %~target, %~data ) ~LET %~node の ( `~target$pI, `~data$ ) ◎ ↓

2. ~IF［ `整形式が要求されるか$V ~EQ ~T ］~AND［ ~OR↓ ］…

   • %~target 内に `003A^U がある
   • %~target は`~ASCII大小無視$で `xml^l に合致する
   • %~data 内に~XML `Char$P 生成規則に合致しない文字がある
   • %~data 内に `?>^l （ `003F^U `003E^U ）がある

   …ならば ⇒ ~THROW 例外 — %~target ／ %~data の直列化は整形式にならない。

   ◎ If the require well-formed flag is set (its value is true), and node's target contains a ":" (U+003A COLON) character or is an ASCII case-insensitive match for the string "xml", then throw an exception; the serialization of this node's target would not be well-formed. ◎ If the require well-formed flag is set (its value is true), and node's data contains characters that are not matched by the XML Char production or contains the string "?>" (U+003F QUESTION MARK, U+003E GREATER-THAN SIGN), then throw an exception; the serialization of this node's data would not be well-formed.

3. ~RET 次の連結：

   1. `003C^U
   2. `003F^U
   3. %~target
   4. ~SPACE
   5. %~data
   6. `003F^U
   7. `003E^U
   ◎ Let markup be the concatenation of the following, in the order listed: ◎ • "<?" (U+003C LESS-THAN SIGN, U+003F QUESTION MARK); • The value of node's target; • " " (U+0020 SPACE); • The value of node's data; • "?>" (U+003F QUESTION MARK, U+003E GREATER-THAN SIGN). ◎ Return the value of markup.