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

`Element@srz ~algoは、 所与の ( `Element$I ~node %~node, 文字列 %継承された~ns【！namespace】, `~ns接頭辞~map$ %接頭辞~map ) に対し： ◎ The algorithm for XML serializing an Element node, given an Element node, a string namespace, a namespace prefix map prefix map, a mutable reference to an integer prefix index, and a boolean require well-formed, must run the following steps:

1. %要素 ~LET %~node

   【 この段は、 以下を読み易くするための，この訳による追加（単なる名称変更）。 】

2. %局所~名 ~LET %要素 の`局所~名$eL ◎ ↓
3. ~IF［ `整形式が要求されるか$V ~EQ ~T ］ ⇒ ~IF［ %局所~名 は`003A^U を包含する ］~OR［ %局所~名 は~XML `Name$P 生成規則に合致しない ］ ⇒ ~THROW `整形式~性~error$ ◎ If require well-formed is true, and node's local name contains the character ":" (U+003A COLON) or does not match the XML Name production, then throw an exception.＼ (The serialization of node would not be well-formed.)
4. %~markup ~LET `003C^U ◎ Let markup be "<" (U+003C LESS-THAN SIGN).
5. %有修飾~名 ~LET ε【！空~文字列】 ◎ Let qualified name be the empty string. ◎ ↓ Let skip end tag be false.
6. %~ns定義~属性を無視するか ~LET ~F ◎ Let ignore namespace definition attribute be false.
7. %~map ~LET `~ns接頭辞~mapを複製する$( %接頭辞~map ) ◎ Let map be the result of copy a namespace prefix map given prefix map.

8. %局所~接頭辞~map ~LET 新たな`有順序~map$ ◎ Let local prefixes map be « » (an ordered map from strings to strings).

   注記： この~mapを成す各~entryの：

   • ~keyは、 文字列であり，ある~ns接頭辞を与える。
   • 値は、 文字列であり，ある~nsを与える — 空~文字列は、 ~NULL ~nsを表現する。

   ◎ Note Its keys will be prefixes, and its values will be namespaces. In this map, the null namespace is represented by the empty string.

   注記： この~mapは、 要素ごとに局所的であり： ◎ Note This map is local to each element.＼

   • 次を確保するために利用される ⇒ 新たな`~ns接頭辞~宣言$が必要になる場合に， 他の接頭辞と競合しない`接頭辞を生成する$。 ◎ It is used to ensure there are no conflicting prefixes if a new namespace prefix attribute needs to be generated.＼
   • 次を可能化するために利用される ⇒ %要素 用に`要素の属性たちを~XMLに直列化する$ときに， 重複している`~ns接頭辞~宣言$を飛ばす。 ◎ It is also used to enable skipping of duplicate prefix definitions when writing an element's attributes:＼
   • 次をこの~algoに許容する ⇒ `~ns接頭辞~map$内の接頭辞のうち［ %要素 に局所的に定義されるもの, そうでないもの ］を判別する。 ◎ 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.

9. %局所的な既定の~ns ~LET `要素の~ns情報を記録する$( %要素【！'s `属性~list$】, %~map, %局所~接頭辞~map ) ◎ Let local default namespace be the result of recording the namespace information for node's attribute list given map and local prefixes map.

   注記： この段は、 【%要素 上に】見出された`~ns接頭辞~宣言$で %~map を更新することに加え， %局所~接頭辞~map にも当の定義を追加する。 %局所的な既定の~ns は、 %要素 上に既定の~nsを定義する属性が［ 在るならば それが定義する~ns（空~文字列は ~NULL ~nsを表現する）／ 無いならば ε ］になる。 ◎ Note The above step will update map with any found namespace prefix definitions, add the found prefix definitions to local prefixes map and return the value of a default namespace attribute (which can be empty) if one exists. Otherwise it returns null.

10. %~ns ~LET %要素 の`~ns$eL ◎ ↑ Let inherited ns be namespace. ◎ Note inherited ns will be passed down as the namespace argument when serializing node's children. ◎ Let ns be node's namespace.

11. ~IF［ %継承された~ns ~EQ %~ns ］： ◎ If inherited ns is ns, then:

    注記： %要素 は %継承された~ns 【！現在の既定の~ns】に属する。 この場合、 %要素 は（接頭辞を有していた場合でも）接頭辞を伴わずに, `既定の~ns宣言$も落として直列化されることになる。 例外は， %要素 が`~XML~ns$に属する場合であり、 その事例では，接頭辞 `xml:^l が利用される — この接頭辞は宣言される必要はないので、 それを宣言する労も為されない。 ◎ Note node is in the current default namespace. The steps below serialize node without a prefix (even if it had one), and drop any default namespace declaration. An exception is made if node is in the XML namespace, in which case the "xml:" prefix is used; this prefix does not need to be declared and no effort is made to declare it.

    1. ~IF［ %局所的な既定の~ns ~NEQ ε ］ ⇒ %~ns定義~属性を無視するか ~SET ~T ◎ If local default namespace is not null, then set ignore namespace definition attribute to true.
    2. %有修飾~名 ~SET %~ns に応じて ⇒＃ `~XML~ns$ならば `xml:^l ／ ~ELSE_ 空~文字列 ◎ If ns is the XML namespace, then append the concatenation of "xml:"＼
    3. %有修飾~名 に %局所~名 を付加する ◎ and node's local name to qualified name. ◎ Otherwise, append node's local name to qualified name.
    4. %~markup に %有修飾~名 を付加する ◎ Append qualified name to markup.

12. ~ELSE： ◎ Otherwise:

    注記： この場合， %要素 の`~ns$eLは %継承された~ns 【！the context namespace】とは異なるので、 そうなるよう直列化する必要がある。 以下では，可用な~ns接頭辞が［ 在るならば，それを利用する／ 無いならば，`既定の~ns宣言$を利用するか導入する ］ことになる。 ◎ Note inherited ns is not equal to ns; node's own namespace is different from the context namespace. To differentiate node's namespace from the context namespace, the steps below will use a namespace prefix if one is available; if not, they will use or introduce a default namespace declaration.

    1. %接頭辞 ~LET %要素 の`~ns接頭辞$eL ◎ Let prefix be node's namespace prefix.

    2. %候補~接頭辞 ~LET `選好される接頭辞~文字列を検索取得する$( %~map, %~ns, %接頭辞 ) ◎ Let candidate prefix be the result of retrieving a preferred prefix string prefix from map given ns.

       注記： %候補~接頭辞 が ~NULL になる事例では （ %~ns へ対応付けられる接頭辞は見出されなかった【！(not even prefix)】）、 この~algoは， 新たな`~ns接頭辞~宣言$（ `xmlns:^a ）を生成して， %~map に新たな接頭辞を`追加する＠#dfn-add$ことになる。 ◎ Note candidate prefix will be null if no prefix was found that maps to ns (not even prefix). In that case, this algorithm will generate a new xmlns attribute and add any new prefix to map below.

    3. ~IF［ %接頭辞 ~EQ `xmlns^l ］： ◎ If prefix is "xmlns", then:

       1. ~IF［ `整形式が要求されるか$V ~EQ ~T ］ ⇒ ~THROW `整形式~性~error$ （ %要素 は適合な`~XML構文解析器$においては合法に往復しない。） ◎ If require well-formed is true, then throw an exception. An Element with namespace prefix "xmlns" will not legally round-trip in a conforming XML parser.
       2. %候補~接頭辞 ~SET `xmlns^l ◎ Set candidate prefix to prefix.

    4. ~IF［ %候補~接頭辞 ~NEQ ~NULL ］： ◎ Found a suitable namespace prefix: if candidate prefix is not null, then:

       注記： %要素 の`広義-先祖$のうち いずれかが， %要素 の`~ns$eLへ対応付けられる %候補~接頭辞 を定義する`~ns接頭辞~宣言$を有している。 ◎ Note Either node or one of its ancestors defines that candidate prefix maps to node's namespace.

       注記： 以下は、 %接頭辞 【！%要素 の既存の`~ns接頭辞$eL】とは異なる接頭辞を直列化することもある。 しかしながら、 これが起こるのは， %接頭辞 が正しい~nsへ対応付けられていない場合に限られる — `選好される接頭辞~文字列を検索取得する$ときに， すでに %接頭辞 を照合するよう試行したので。 ◎ Note The following could serialize a different prefix than node's existing namespace prefix, if any. However, this only happens if this prefix does not map to the correct namespace, as the retrieving a preferred prefix string algorithm already tried to match the existing prefix.

       [`課題 #52＠https://github.com/w3c/DOM-Parsing/issues/52$] 次の~XML文書を構文解析してから直列化したとする： ◎ Issue 52: XMLSerializer: Should prefer the default namespace to a prefix declared in an ancestor xml-serialization ◎ Suppose that we have the following XML document, parse it, and serialize it.

       <root xmlns:x="uri1">
        <table xmlns="uri1"/>
       </root>
       

       現在の仕様に従うなら、 その結果は： ◎ If we follow the current specification, the serialization result is:

       <root xmlns:x="uri1">
        <x:table xmlns="uri1"/>
       </root>
       

       これは、［ Edge, Firefox, Safari, Chrome 73- ］とは互換でない。 （ Chrome 74 は、 上と同じ結果を生産するが，それは修正-中にある。） ◎ It's incompatible with Edge, Firefox, Safari, and Chrome 73-. (Chrome 74 produces the above result, and we're fixing it.)

       編集者は、 上の段：

       2. %候補~接頭辞 ~LET `選好される接頭辞~文字列を検索取得する$( %~map, %~ns, %接頭辞 )

       を次のように変更するべきと~~考えている：

       2. %候補~接頭辞 ~LET ［ ~AND↓ が満たされるならば ~NULL ／ ~ELSE_ `選好される接頭辞~文字列を検索取得する$( %~map, %~ns, %接頭辞 ) ］：

          • %接頭辞 ~EQ ~NULL

          • ~OR↓：

            • ［ %~ns ~EQ ~NULL ］~AND［ %局所的な既定の~ns ~EQ ε 【空~文字列？】 ］
            • %~ns ~EQ %局所的な既定の~ns

       ◎ I think 12.1 in https://w3c.github.io/DOM-Parsing/#xml-serializing-an-element-node should be changed as following: ◎ Original: Let candidate prefix be the result of retrieving a preferred prefix string prefix from map given namespace ns. ◎ Proposed: Let candidate prefix be null if prefix is null and ns equals to local default namespace. Otherwise let candidate prefix be the result of retrieving a preferred prefix string prefix from map given namespace ns.

       この挙動~用の`~test事例＠https://wpt.live/domparsing/XMLSerializer-serializeToString.html$ （ `"Check if start tag serialization does NOT apply the default namespace if its namespace is declared in an ancestor."^en ） もある。 ◎ WPT domparsing/XMLSerializer-serializeToString.html contains a testcase for this behavior. "Check if start tag serialization does NOT apply the default namespace if its namespace is declared in an ancestor."

       1. %有修飾~名 ~SET 次を順に連結した結果：

          1. %候補~接頭辞
          2. `003A^U
          3. %局所~名
          ◎ Append the concatenation of candidate prefix, ":" (U+003A COLON), and node's local name to qualified name.

       2. ~IF［ %局所的な既定の~ns ~NIN { ε, `~XML~ns$ } ］ ⇒ %継承された~ns ~SET %局所的な既定の~ns に応じて ⇒＃ 空~文字列ならば ~NULL ／ ~ELSE_ %局所的な既定の~ns ◎ If local default namespace is not null＼ ↓ (node has a default namespace declaration attribute)＼ and is not the XML namespace, then: • If local default namespace is the empty string, set inherited ns to null. • Otherwise, set inherited ns to local default namespace.

          注記： %要素 は`既定の~ns宣言$を有する。 %継承された~ns が %要素 の`~ns$eLとは相違するアリ性もある。 ◎ Note It is possible that inherited ns differs from node's namespace.

          注記： ［ `既定の~ns宣言$／`~ns接頭辞~宣言$ ］のうち`~XML~ns$を定義するものは、 %要素 の`属性~list$を成す`属性$たちを直列化するときには，省略される。 ◎ Note Any default namespace definitions or namespace prefixes that define the XML namespace are omitted when serializing attributes in node's attribute list.

       3. %~markup に %有修飾~名 を付加する ◎ Append qualified name to markup.

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

       注記： %要素 の どの`広義-先祖$【！node (or any parent Node visited by this algorithm) 】にも，［ %要素 の`~ns$eLへ対応付けられる接頭辞 ］を定義する`~ns接頭辞~宣言$は無い — さもなければ、 前~段【！#dfn-found-a-suitable-namespace-prefix】が遂行されるはずなので。 理想的には， %接頭辞 【！%要素 の`~ns接頭辞$eL】を利用したい所だが、［ %接頭辞 を %要素 の`~ns$eL以外の~nsへ対応付ける`~ns接頭辞~宣言$ ］を すでに %要素 が有する事例もある。 その事例においては、 最後の拠所として`接頭辞を生成する$ことになる。 いずれにせよ、 以下において，［ 最終的に利用する接頭辞 ］用に新たな`~ns接頭辞~宣言$を直列化することになる。 ◎ Note By this step, there is no namespace or prefix mapping declaration in node (or any parent Node visited by this algorithm) that defines a prefix that maps to node's namespace; otherwise the step labelled Found a suitable namespace prefix would have been followed. Ideally we would use node's namespace prefix. However, it could be the case that node already declares its own prefix as mapping to something else than its own namespace. In that case we will generate a new prefix as a last resort. In either case, the sub-steps that follow will serialize a new namespace prefix declaration for the prefix we end up using.

       1. ~IF［ %局所~接頭辞~map[ %接頭辞 ] ~NEQ ε ］ ⇒ %接頭辞 ~SET `接頭辞を生成する$( %~map, %~ns ) ◎ If local prefixes map contains prefix, then set prefix to the result of generating a prefix given map, ns, and prefix index.
       2. `接頭辞~mapに追加する$( %~map, %接頭辞, %~ns ) ◎ Add prefix to map given ns.

       3. %有修飾~名 ~SET 次を順に連結した結果：

          1. %接頭辞
          2. `003A^U
          3. %局所~名
          ◎ Append the concatenation of prefix, ":" (U+003A COLON), and node's local name to qualified name.
       4. %~markup に %有修飾~名 を付加する ◎ Append qualified name to markup.

       5. %~markup に次を順に付加する

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

          注記： これは、 上で %~map へ追加した %接頭辞 用の`~ns接頭辞~宣言$を直列化する。

          ◎ Append the following to markup, in the order listed: ◎ Note The following serializes a namespace prefix declaration for prefix which was just added to map. ◎ • " " (U+0020 SPACE); • "xmlns:"; • prefix; • "="" (U+003D EQUALS SIGN, U+0022 QUOTATION MARK); • The result of serializing an attribute value given ns and require well-formed; • """ (U+0022 QUOTATION MARK).
       6. ~IF［ %局所的な既定の~ns ~NEQ ε ］ ⇒ %継承された~ns ~SET %局所的な既定の~ns に応じて ⇒＃ 空~文字列ならば ~NULL ／ ~ELSE_ %局所的な既定の~ns ◎ If local default namespace is not null (node has a default namespace declaration attribute), then: • If local default namespace is the empty string, set inherited ns to null. • Otherwise, set inherited ns to local default namespace.

    6. ~ELIF［ 【！不要：%局所的な既定の~ns ~EQ ε ~OR 】 %局所的な既定の~ns ~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 namespace prefix (or candidate prefix) available; the following uses the default namespace declaration to define the namespace—optionally replacing an existing default declaration if present.

       1. %~ns定義~属性を無視するか ~SET ~T ◎ Set ignore namespace definition attribute to true.
       2. %有修飾~名 ~SET %局所~名 ◎ Append node's local name to qualified name.

       3. %継承された~ns ~SET %~ns ◎ Set inherited ns to ns.

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

       4. %~markup に %有修飾~名 を付加する ◎ Append qualified name to markup.

       5. %~markup に次を順に付加する：

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

          注記： これは、 新たな（または既存のものを置換する）`既定の~ns宣言$を直列化する。

          ◎ Append the following to markup, in the order listed: ◎ Note The following serializes the new (or replacement) default namespace definition. ◎ • " " (U+0020 SPACE); • "xmlns"; • "="" (U+003D EQUALS SIGN, U+0022 QUOTATION MARK); • The result of serializing an attribute value given ns and require well-formed; • """ (U+0022 QUOTATION MARK).

    7. ~ELSE【！local default namespace is ns.】： ◎ Otherwise: ◎ Note local default namespace is ns.

       1. %有修飾~名 ~SET %局所~名 ◎ Append node's local name to qualified name.
       2. %継承された~ns ~SET %~ns ◎ Set inherited ns to ns.
       3. %~markup に %有修飾~名 を付加する ◎ Append qualified name to markup.

    注記： %~ns と %継承された~ns が等しくない場合の各~組合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 namespace.

13. %~markup に次の結果を付加する ⇒ `要素の属性たちを~XMLに直列化する$( %要素, %~map, %局所~接頭辞~map, %~ns定義~属性を無視するか ) ◎ Append to markup the result of the XML serialization of the attributes of node given map, prefix index, local prefixes map, ignore namespace definition attribute, and require well-formed.

14. ~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 } ~FN ］

      【~FN これらは、［ `~void要素$／ `HTML$r において`廃用にされた要素＠~HTMLobs$／ `HTML$r には言及されていない要素（ `menuitem^e ） ］の~tag名を与える。 （これらのうち，廃用にされたものは、 ~void要素であるものとは定義されていないが， `~HTML構文解析器$においては~void要素と同様に扱われる。） 】

    …ならば： 【！and set skip end tag to true】

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

    2. %~markup に次を順に付加する：

       1. `002F^U
       2. `003E^U
    3. ~RET %~markup

    注記： %要素 は~~末端~nodeである 【ので、`空~要素~tag$の構文を利用する】。

    ◎ If ns is the HTML namespace, and node's children is empty, and node's local name is one of the following: "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 skip end tag to true. ◎ If ns is not the HTML namespace, and node's children is empty, then append "/" (U+002F SOLIDUS) to markup and set skip end tag to true. ◎ Append ">" (U+003E GREATER-THAN SIGN) to markup. ◎ If skip end tag is true, then return markup. node is a leaf node.

15. ~IF［ %~ns ~EQ `~HTML~ns$ ］~AND［ %局所~名 ~EQ `template^l ］ ⇒ %~markup に次の結果を付加する ⇒ `DocumentFragment$srz( %要素 の`~template内容$, %継承された~ns, %~map ) ◎ If ns is the HTML namespace, and node's local name is "template" (this is a template element), append to markup the result of XML serializing a DocumentFragment node given node's template contents (a DocumentFragment), inherited ns, map, prefix index, and require well-formed.

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

16. ~ELSE ⇒ %要素 の`子~群$を成す ~EACH( %子 ) に対し ⇒ %~markup に次の結果を付加する ⇒ %子 を`~nodeを~XMLに直列化する$( %子, %継承された~ns, %~map ) ◎ Otherwise, for each child of node's children: • Append to markup the result of running the XML serialization algorithm given child, inherited ns, map, prefix index, and require well-formed.

17. %~markup に次を順に付加する：

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

`Document@srz ~algoは、 所与の ( `Document$I ~node %~node, 文字列 %継承された~ns【！namespace】, `~ns接頭辞~map$ %接頭辞~map ) に対し： ◎ The algorithm for XML serializing a Document node, given a Document node, a string namespace, a namespace prefix map prefix map, a mutable reference to an integer prefix index, and a boolean require well-formed, must run the following steps:

1. ~IF［ `整形式が要求されるか$V ~EQ ~T ］~AND［ %~node の`文書~要素$ ~EQ ~NULL ］ ⇒ ~THROW `整形式~性~error$ ◎ If require well-formed is true, and node's document element is null, then throw an exception.＼ The serialization of node would not be well-formed. ◎ Otherwise:
2. %直列化された文書 ~LET 空~文字列 ◎ • Let serialized document be the empty string.

3. %~node の`子~群$を成す ~EACH( %子 ) に対し ⇒ %直列化された文書 に次の結果を付加する ⇒ `~nodeを~XMLに直列化する$( %子, %継承された~ns, %接頭辞~map【！map】 ) ◎ • For each child of node's children: •• Append to serialized document the result of running the XML serialization algorithm given child, inherited ns, map, prefix index, and require well-formed.

   注記： これは、 次に挙げるものも直列化することになる：

   • `文書~要素$の前後にある任意個数の［ `ProcessingInstruction$I ／ `Comment$I ］~node
   • 1 個以下の `DocumentType$I ~node

   （ `Text$I ~nodeは、 `Document$I の`子$としては許容されない。）

   ◎ • Note • This will serialize any number of ProcessingInstruction and Comment nodes both before and after the document element, as well as at most one DocumentType node. (Text nodes are not allowed as children of a Document.)
4. ~RET %直列化された文書 ◎ • Return serialized document.

`Comment@srz ~algoは、 所与の ( `Comment$I ~node %~node ) に対し： ◎ The algorithm for XML serializing a Comment node, given a Comment node, and a boolean require well-formed, must run the following steps:

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

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

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

   …ならば ⇒ ~THROW `整形式~性~error$

   ◎ If require well-formed 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 ends with a "-" (U+002D HYPHEN-MINUS) character, then throw an exception.＼ The serialization of node would not be well-formed.

3. ~RET 次を順に連結した結果：

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

`CDATASection@srz ~algoは、 所与の ( `CDATASection$I ~node %~node ) に対し： ◎ The algorithm for XML serializing a CDATASection node, given a CDATASection node, and a boolean require well-formed, must run the following steps:

1. ~RET 次を順に連結した結果：

   1. `<![CDATA[^l
   2. %~node の`~data$
   3. `]]>^l
   ◎ Let markup be the concatenation of "<![CDATA[", node's data, and "]]>". ◎ Return markup.

`Text@srz ~algoは、 所与の ( `Text$I ~node %~node ) に対し： ◎ The algorithm for XML serializing a Text node, given a Text node, and a boolean require well-formed, must run the following steps:

1. %~data ~LET %~node の`~data$ ◎ Let markup be node's data.
2. ~IF［ `整形式が要求されるか$V ~EQ ~T ］~AND［ %~data 内に~XML `Char$P 生成規則に合致しない文字が在る ］ ⇒ ~THROW `整形式~性~error$ ◎ If require well-formed is true, and markup contains characters that are not matched by the XML Char production, then throw an exception.＼ The serialization of node would not be well-formed.
3. %~markup ~LET 空~文字列 ◎ ↑↓
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 markup.

`DocumentFragment@srz ~algoは、 所与の ( `DocumentFragment$I ~node %~node, 文字列 %継承された~ns【！namespace】, `~ns接頭辞~map$ %接頭辞~map ) に対し： ◎ The algorithm for XML serializing a DocumentFragment node, given a DocumentFragment node, a string namespace, a namespace prefix map prefix map, a mutable reference to an integer prefix index, and a boolean require well-formed, must run the following steps:

1. %~markup ~LET 空~文字列 ◎ Let markup be the empty string.
2. %~node の`子~群$を成す ~EACH( %子 ) に対し ⇒ %~markup に次の結果を付加する ⇒ `~nodeを~XMLに直列化する$( %子, %継承された~ns, %接頭辞~map【！map】 ) ◎ For each child of node's children: • Append to markup the result of running the XML serialization algorithm given child, inherited ns, map, prefix index, and require well-formed.
3. ~RET %~markup ◎ Return markup.

`DocumentType@srz ~algoは、 所与の ( `DocumentType$I ~node %~node ) に対し： ◎ The algorithm for XML serializing a DocumentType node, given a DocumentType node, and a boolean require well-formed, must run the following steps:

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

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

   • %公な~ID 内に［ ~XML `PubidChar$P 生成規則に合致しない文字 ］が在る
   • %~system~ID 内に［ ~XML `Char$P 生成規則に合致しない文字 ］が在る
   • %~system~ID 内に［ `0022^U, `0027^U ］どちらも在る

   …ならば ⇒ ~THROW `整形式~性~error$

   ◎ If require well-formed is true, and node's public ID contains characters that are not matched by the XML PubidChar production, then throw an exception.＼ The serialization of node would not be well-formed. ◎ If require well-formed is true, and node's system ID 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 node would not be well-formed.

4. %~markup ~LET 次を順に連結した結果：

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

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

   1. ~SPACE
   2. `PUBLIC^l
   3. ~SPACE
   4. `~IDを直列化する$( %公な~ID )
   ◎ If node's public ID is not the empty string, then append the following, in the order listed, to markup: • " " (U+0020 SPACE); • "PUBLIC"; • " " (U+0020 SPACE); • the serialization of the ID node's public ID.

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

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

7. ~IF［ %~system~ID ~NEQ 空~文字列 ］ ⇒ %~markup に次を順に付加する：

   1. ~SPACE
   2. `~IDを直列化する$( %~system~ID )
   ◎ If node's system ID is not the empty string, then append the following, in the order listed, to markup: • " " (U+0020 SPACE); • the serialization of the ID node's system ID.
8. %~markup に `003E^U を付加する ◎ Append ">" (U+003E GREATER-THAN SIGN) to markup.
9. ~RET %~markup ◎ Return markup.

`~IDを直列化する@ ~algoは、 所与の ( %~ID ) に対し： ◎ The serialization of the ID id is the result of the following steps:

1. %引用符 ~LET %~ID 内に `0022^U は［ 在るならば `0027^U ／ 無いならば `0022^U ］ ◎ If id contains """ (U+0022 QUOTATION MARK), let q be "'" (U+0027 APOSTROPHE), and let q be """ (U+0022 QUOTATION MARK) otherwise.

2. ~RET 次を順に連結した結果：

   1. %引用符
   2. %~ID
   3. %引用符
   ◎ Return the concatenation of q, id, and q.

`ProcessingInstruction@srz ~algoは、 所与の ( `ProcessingInstruction$I ~node %~node ) に対し： ◎ The algorithm for XML serializing a ProcessingInstruction node, given a ProcessingInstruction node, and a boolean require well-formed, must run the following steps:

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

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

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

   …ならば ⇒ ~THROW `整形式~性~error$

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

4. ~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); • node's target; • " " (U+0020 SPACE); • node's data; • "?>" (U+003F QUESTION MARK, U+003E GREATER-THAN SIGN). ◎ Return markup.