DOM

1.1. 依存関係

この仕様の IDL 片は、 Web IDL 仕様に述べられる，適合 IDL 片に課される要件に従うものとして、解釈され~MUST。 `WEBIDL$r ◎ The IDL fragments in this specification must be interpreted as required for conforming IDL fragments, as described in the Web IDL specification. [WEBIDL]

この仕様の一部の用語は `Encoding^cite, `Selectors^cite, `Web IDL^cite, `XML^cite, `Namespaces in XML^cite にて定義される。 `ENCODING$r `SELECTORS4$r `WEBIDL$r `XML$r `XML-NAMES$r ◎ Some of the terms used in this specification are defined in Encoding, Selectors, Web IDL, XML, and Namespaces in XML. [ENCODING] [SELECTORS4] [WEBIDL] [XML] [XML-NAMES]

1.2. 拡張性

この仕様に対する~vendor特有の~proprietaryな拡張は、行わないことが強く求められる。 文書作成者はその種の拡張を利用してはならない。 そのような行為は、懸案~内容への~accessが特定の~UAの利用者に限られてしまい，相互運用性の悪化と利用者~層の細分化を招くことになるので。 ◎ Vendor-specific proprietary extensions to this specification are strongly discouraged. Authors must not use such extensions, as doing so reduces interoperability and fragments the user base, allowing only users of specific user agents to access the content in question.

拡張が必要になったときは、それに則って~DOM標準が更新されるか，あるいは `適用仕様@† のために提供される［ 拡張性のための~hook ］を利用するような，新たな標準が書かれ得る。 ◎ When extensions are needed, the DOM Standard can be updated accordingly, or a new standard can be written that hooks into the provided extensibility hooks for applicable specifications.

【† `HTML$r に定義されるそれ（ applicable specifications ）と同様 — この仕様~自身も含まれる。 】

【日本語訳に固有の表記規約】

この仕様を通して，よく用いられる［ “結付けられる”, “初期化される”, “新たな … （を作成-）” ］等々の句については、 ~~共通の慣用表現を~~参照されたし。

この訳の，~algoや定義の記述に利用されている各種記号（ ~LET, ~EQ, ~IF, ~EACH (…), ~RET, ~THROW, 等々）の意味や定義の詳細は、~SYMBOL_DEF_REFを~~参照されたし。 （ 尚、 ~THROW, ~RET について，現時点のこの仕様には、例外を投出した後／値を返した後にも，並列的に実行を継続する~algoは規定されていない。 ）

加えて、記号［ ~AN, ~DE, ~iAN, ~iDE ］も，~nodeの親子関係の記述に利用される（定義は次~節に）。

太字の “此れ” は，`文脈obj$を意味する。

記述を容易にするため、次の（非公式な）定義を導入する： 所与の［ 有限個の~objからなる全順序~集合（例えば`木$や~list）の部分集合（例えば ある条件を満たすものなど） ］ %S に対し，その［ `最初0@ ／ `最後0@ ］のものとは、 %S が空（例えば，条件を満たす~objが存在しない）ならば ~NULL であり，そうでなければ その全順序において %S の中で［ 最初 ／ 最後 ］に位置する~objである。 “最初” ／ “最後” がこの意味で用いられる所（ ~NULL もとり得る所）では、常に（ WebIDL 方式に倣って） "?" が付記される。

整数 %index に対する “%index 番” は 0 番目から数えるものとする。

2.1. 木

`木@ とは、有限の階層的な木~構造を意味する。 `木~順序@ は、深優先前順走査に基づく。 ◎ A tree is a finite hierarchical tree structure. In tree order is preorder, depth-first traversal of a tree.

<e><e></e>~sourceに<e>現れる<e>順序が</e><e>そのまま<e>木~順序に</e></e>なる</e></e>

`木$に `関与-@ する~objは、他の~objまたは~NULL をとる `親@ を持ち，有順序の, 0 個以上の `子@ ~objを持つ。 `親$ ~objが %B である~obj %A は， %B の子である。 ◎ An object that participates in a tree has a parent, which is either another object or null, and an ordered list of zero or more child objects. An object A whose parent is object B is a child of B.

【 同じ~objが複数の（互いに根が異なる）木に関与することはない（少なくともこの仕様の中では）。 】

~objの `根@ とは、［ ~objの`親$ ~EQ ~NULL ］ならば~obj自身であり，他の場合は~objの`親$の`根$である。 `木$の`根$は、その`木$に`関与-$している~objであって，［ `親$ ~EQ ~NULL ］なるものである。 ◎ The root of an object is itself, if its parent is null, or else it is the root of its parent. The root of a tree is any object participating in that tree whose parent is null.

~obj %A が~obj %B の `子孫@ であるとは、次を意味する ⇒ ［ %A は %B の`子$である ］~OR［ %A は %B のある`子孫$の`子$である ］ ◎ An object A is called a descendant of an object B, if either A is a child of B or A is a child of an object C that is a descendant of B.

【 %A ⊂ %B とも記す。 】【 %A 自身が %A の`子孫$になることはない。 】

~obj %A が~obj %B の `広義子孫@ であるとは、次を意味する ⇒ ［ %A ~EQ %B ］~OR［ %A は %B の`子孫$である ］ ◎ An inclusive descendant is an object or one of its descendants.

【 %A ⊆ %B とも記す。 】

【 “広義” という対訳は，よいとは言えないが、より忠実に “自身も含めた子孫” などと訳すのでは，用語として定義する意義 — 他から簡潔に参照できるようにする — も失われる（単に “自身または子孫” と記すのと同じことになる）。 】

~obj %A が~obj %B の `先祖@ であるとは、次を意味する ⇒ %B は %A の`子孫$である ◎ An object A is called an ancestor of an object B if and only if B is a descendant of A.

【 %A ⊃ %B とも記す。 】

~obj %A が~obj %B の `広義先祖@ であるとは、次を意味する ⇒ ［ %A は %B と同じである ］~OR［ %A は %B の`先祖$である ］ ◎ An inclusive ancestor is an object or one of its ancestors.

【 %A ⊇ %B とも記す。 】

~obj %A が~obj %B の `同胞@ （ “兄弟” ）であるとは、次を意味する ⇒ ［ %A の`親$ ~NEQ ~NULL ］~AND［ %A の`親$ ~EQ %B の`親$ ］ ◎ An object A is called a sibling of an object B, if and only if B and A share the same non-null parent.

【 定義により， %A 自身も 親が非~NULLならば %A の`同胞$になる。 この仕様の中では、この点について特に注意を要する箇所は（現時点では）ないが。 例えば、この同胞の定義を “%A と %B は同じでない” と解釈したとしても，この仕様の残りの部分には影響しない。 】

~obj %A が~obj %B の `広義同胞@ であるとは、次を意味する ⇒ ［ %A ~EQ %B ］~OR［ %A は %B の`同胞$である ］ ◎ An inclusive sibling is an object or one of its siblings.

【 %A 自身は，親が~NULLであっても %A の広義同胞になる点で、`同胞$の定義と異なる。 この定義は、もっぱら他の仕様のためにあり，この仕様~内では利用されない。 】

~obj %A が~obj %B に `先行-@ するとは、次を意味する ⇒ ［ %A と %B は同じ`木$に関与する ］~AND［ `木~順序$において %A は %B より前に位置する ］ ◎ An object A is preceding an object B if A and B are in the same tree and A comes before B in tree order.

~obj %A が~obj %B に `後続-@ するとは、次を意味する ⇒ ［ %A と %B は同じ`木$に関与する ］~AND［ `木~順序$において %A は %B より後に位置する ］ ◎ An object A is following an object B if A and B are in the same tree and A comes after B in tree order.

~objの `最初0の子@ とは、~objの`子$のうち，`最初0$のものである。 ◎ The first child of an object is its first child or null if it has no children.

~objの `最後0の子@ とは、~objの`子$のうち，`最後0$のものである。 ◎ The last child of an object is its last child or null if it has no children.

~objの `兄@ とは、~objに`先行-$する`同胞$のうち，`最後0$のものである。 ◎ The previous sibling of an object is its first preceding sibling or null if it has no preceding sibling.

~objの `弟@ とは、~objに`後続-$する`同胞$のうち，`最初0$のものである。 ◎ The next sibling of an object is its first following sibling or null if it has no following sibling.

~objの `指数@ とは、~objに`先行-$する`同胞$の個数である。 ◎ The index of an object is its number of preceding siblings.

2.2. 文字列

２つの文字列を `大小区別@ で比較するとは、各 文字ごとに，符号位置を正確に比較することを意味する。 ◎ Comparing two strings in a case-sensitive manner means comparing them exactly, code point for code point.

２つの文字列の `~ASCII大小無視@ で比較するとは、~~範囲 { U+0041 〜 U+005A } （ LATIN CAPITAL LETTER A 〜 LATIN CAPITAL LETTER Z ）の文字と, 対応する~~範囲 { U+0061 〜 U+007A } （ LATIN SMALL LETTER A 〜 LATIN SMALL LETTER Z ）の文字は同一視することを除き、各 文字ごとに，符号位置を正確に比較することを意味する。 ◎ Comparing two strings in a ASCII case-insensitive manner means comparing them exactly, code point for code point, except that the characters in the range U+0041 to U+005A (i.e. LATIN CAPITAL LETTER A to LATIN CAPITAL LETTER Z), inclusive, and the corresponding characters in the range U+0061 to U+007A (i.e. LATIN SMALL LETTER A to LATIN SMALL LETTER Z), inclusive, are considered to also match.

文字列の `~ASCII大文字化@ とは、文字列の中の~~範囲 { U+0061 〜 U+007A } に入る文字すべてを，対応する~~範囲 { U+0041 〜 U+005A } の文字に置換することを意味する。 ◎ Converting a string to ASCII uppercase means replacing all characters in the range U+0061 to U+007A, inclusive, with the corresponding characters in the range U+0041 to U+005A, inclusive.

文字列の `~ASCII小文字化@ とは、文字列の中の~~範囲 { U+0041 〜 U+005A } に入る文字すべてを，対応する~~範囲 { U+0061 〜 U+007A } の文字に置換することを意味する。 ◎ Converting a string to ASCII lowercase means replacing all characters in the range U+0041 to U+005A, inclusive, with the corresponding characters in the range U+0061 to U+007A, inclusive.

文字列 %pattern が文字列 %s に `先頭一致@ するとは、 %pattern は %s より長くなく, かつ %s の末尾部分を %pattern の長さになるまで切り取ったとき、２つの文字列が互いに合致することをいう。 【この語は、この仕様の中では利用されていない。】 ◎ A string pattern is a prefix match for a string s when pattern is not longer than s and truncating s to pattern’s length leaves the two strings as matches of each other.

2.3. 有順序~集合

【 有順序~集合 — 全順序である集合、言い換えれば，~listであって，その各項が~listの中で一意である 】

文字列 %入力 を `有順序~集合 解析器@ にかけるときは、次を走らす： ◎ The ordered set parser takes a string input and then runs these steps:

1. %位置 ~LET 0 （ %入力 の先頭を指す~pointer） ◎ Let position be a pointer into input, initially pointing at the start of the string.
2. %tokens ~LET 空~list（~tokenからなる有順序~集合） ◎ Let tokens be an ordered set of tokens, initially empty.
3. `~ASCII空白類を読み飛ばす$ ◎ Skip ASCII whitespace.

4. ~WHILE［ %位置 ~LT %入力 の長さ ］： ◎ While position is not past the end of input:

   1. %token ~LET `~ASCII空白類$でない符号位置の並びを`収集-$した結果 ◎ Collect a code point sequence of code points that are not ASCII whitespace.
   2. ~IF［ %token ~NIN %tokens ］ ⇒ %token を %tokens に付加する ◎ If the collected string is not in tokens, append the collected string to tokens.
   3. `~ASCII空白類を読み飛ばす$ ◎ Skip ASCII whitespace.
5. ~RET %tokens ◎ Return tokens.

%符号位置~集合 に含まれる符号位置の並びを `収集-@ するときは、次を走らす： ◎ To collect a code point sequence of code points, run these steps:

1. %入力, %位置 はこの手続きを呼出した~algoの，同じ名前の変数とする。 ◎ Let input and position be the same variables as those of the same name in the algorithm that invoked these steps.
2. %結果 ~LET 空文字列 ◎ Let result be the empty string.
3. ~WHILE［ %位置 ~LT %入力 の長さ ］~AND［ %位置 が指す符号位置 ~IN %符号位置~集合 ］ ⇒ その符号位置を %結果 の末尾に付加する；
   %位置 ~INCBY 1 ◎ While position does not point past the end of input and the code point at position is one of code points, append that code point to the end of result and advance position to the next code point in input.
4. ~RET %結果 ◎ Return result.

`~ASCII空白類を読み飛ばす@ とは、`~ASCII空白類$の並びを`収集-$して，その返値は破棄することを意味する。 ◎ To skip ASCII whitespace means to collect a code point sequence of ASCII whitespace and discard the return value.

文字列からなる有順序~集合 %S を `有順序~集合 直列化器@ にかけるときは、［ %S が空~集合ならば 空文字列 ／ ~ELSE_ %S 内の各 文字列を U+0020 区切りで連結した結果 ］を返す。 ◎ The ordered set serializer takes a set and returns the concatenation of the strings in set, separated from each other by U+0020, if set is non-empty, and the empty string otherwise.

2.4. 選択子

文字列 %選択子 を %node の `視野の下で照合-@ するときは、次を走らす： ◎ To scope-match a selectors string selectors against a node, run these steps:

1. %S ~LET %選択子 を`選択子として解析-$した結果 `SELECTORS4$r ◎ Let s be the result of parse a selector selectors. [SELECTORS4]
2. ~IF［ %S ~EQ `失敗^i ］ ⇒ ~THROW `SyntaxError^E ◎ If s is failure, throw a SyntaxError.
3. ~RET %node を`視野根$に利用する下で、 %node の`根$に対し， %S を`選択子として評価-$した結果 `SELECTORS4$r ◎ Return the result of evaluate a selector s against node’s root using scoping root node. [SELECTORS4].

注記： 選択子の中の~nsに対する~supportは、計画されておらず，追加されることはない。 ◎ Support for namespaces within selectors is not planned and will not be added.

2.5. ~ns

`~HTML~ns@ は `http://www.w3.org/1999/xhtml^c である。 ◎ The HTML namespace is http://www.w3.org/1999/xhtml.

`~SVG~ns@ は `http://www.w3.org/2000/svg^c である。 ◎ The SVG namespace is http://www.w3.org/2000/svg.

`~XML~ns@ は `http://www.w3.org/XML/1998/namespace^c である。 ◎ The XML namespace is http://www.w3.org/XML/1998/namespace.

`~XMLNS~ns@ は `http://www.w3.org/2000/xmlns/^c である。 ◎ The XMLNS namespace is http://www.w3.org/2000/xmlns/.

%名前 を `有修飾~名として検証-@ するときは、次を走らす： ◎ To validate a qualifiedName, run these steps:

1. ~IF［ %名前 は `Name$prod 生成規則に合致しない ］ ⇒ ~THROW `InvalidCharacterError^E ◎ If qualifiedName does not match the Name production, then throw an InvalidCharacterError.
2. ~IF［ %名前 は `QName$prod 生成規則に合致しない ］ ⇒ ~THROW `NamespaceError^E ◎ If qualifiedName does not match the QName production, then throw a NamespaceError.

( %~ns, %名前 ) に対し `検証して抽出-@ するときは、次を走らす： ◎ To validate and extract a namespace and qualifiedName, run these steps:

1. ~IF［ %~ns ~EQ 空文字列 ］ ⇒ %~ns ~SET ~NULL ◎ If namespace is the empty string, set it to null.
2. %名前 を`有修飾~名として検証-$する （例外投出あり） ◎ Validate qualifiedName. Rethrow any exceptions.
3. %接頭辞 ~LET ~NULL ◎ Let prefix be null.
4. %局所名 ~LET %名前 ◎ Let localName be qualifiedName.
5. ~IF［ %名前 は `:^l (U+003A) を含む 【 `PrefixedName$prod 生成規則に合致】 ］ ⇒ ( %接頭辞, %局所名 ) ~SET %名前 をそこで分割して得られる ( 前の部分, 後の部分 ) ◎ If qualifiedName contains a ":" (U+003E), then split the string on it and set prefix to the part before and localName to the part after.

6. ~IF［ 次のいずれかが満たされる ］…： ◎ ↓

   • ［ %~ns ~EQ ~NULL ］~AND［ %接頭辞 ~NEQ ~NULL ］ ◎ If prefix is non-null and namespace is null, then throw a NamespaceError.
   • ［ %~ns ~NEQ `~XML~ns$ ］~AND［ %接頭辞 ~EQ `xml^l ］ ◎ If prefix is "xml" and namespace is not the XML namespace, then throw a NamespaceError.
   • ［ %~ns ~NEQ `~XMLNS~ns$ ］~AND［［ %名前 ~EQ `xmlns^l ］~OR［ %接頭辞 ~EQ `xmlns^l ］］ ◎ If either qualifiedName or prefix is "xmlns" and namespace is not the XMLNS namespace, then throw a NamespaceError.
   • ［ %~ns ~EQ `~XMLNS~ns$ ］~AND［ %名前 ~NEQ `xmlns^l ］~AND［ %接頭辞 ~NEQ `xmlns^l ］ ◎ If namespace is the XMLNS namespace and neither qualifiedName nor prefix is "xmlns", then throw a NamespaceError.

   …ならば ⇒ ~THROW `NamespaceError^E ◎ ↑

7. ~RET ( %~ns, %接頭辞, %局所名 ) ◎ Return namespace, prefix, and localName.

3.1. “DOM Events” 概説

Web ~platformを全体を通して，`~event$は、~network活動や利用者との対話など，何かが生じた際に通達するために，~objに向けて`配送$される。 これらの~objは $EventTarget ~ifcを実装し， その $addEventListener() を~callすることにより `~event$を観測するための`~event~listener$を追加できる： ◎ Throughout the web platform events are dispatched to objects to signal an occurrence, such as network activity or user interaction. These objects implement the EventTarget interface and can therefore add event listeners to observe events by calling addEventListener():

%obj.addEventListener("load", imgFetched)

function imgFetched(%ev) {
  // 成功裡に load できた
  …
}

`~event~listener$は、 $removeEventListener() ~methに同じ引数を渡すことにより除去できる。 ◎ Event listeners can be removed by utilizing the removeEventListener() method, passing the same arguments.

`~event$もまた~objであり， $Event ~ifc（またはその派生~ifc）を実装する。 上の例では、 %ev が`~event$である。 それは `~event~listener$の `callback$i （概して上に示したような JavaScript Function ）に引数として渡される。 `~event~listener$は、まず，`~event$の $type 属性~値（上の例では `load^l ）をその~~制御に利用する。 `~event$の $target 属性~値は`~event$の`配送$先の~obj（上の例の %obj ）を返す。 ◎ Events are objects too and implement the Event interface (or a derived interface). In the example above ev is the event. It is passed as argument to event listener’s callback (typically a JavaScript Function as shown above). Event listeners key off the event’s type attribute value ("load" in the above example). The event’s target attribute value returns the object to which the event was dispatched (obj above).

概して、`~event$は，利用者との対話や何らかの~task完了の結果，~UAにより`配送$されるものであるが、~app自身も`~event$を`配送$できる（合成~eventと共通的に呼ばれている）： ◎ Now while typically events are dispatched by the user agent as the result of user interaction or the completion of some task, applications can dispatch events themselves, commonly known as synthetic events:

// ~custom~event~listenerを追加-
obj.addEventListener("cat", function(%e) { process(%e.detail) })

// ~eventを作成して配送する
var %event = new CustomEvent("cat", {"detail":{"hazcheeseburger":true}})
%obj.dispatchEvent(%event)

通達-時の他にも、`~event$は，処理の中で次に起きる出来事を~appに制御させる~~目的で利用されることがある。 例えば，~form~submit処理の一環として、 $type 属性~値が `submit^l の`~event$が`配送$される。 この`~event$の $preventDefault() ~methが呼出されると，~formは~submitされずに終了されることになる。 ~appにより`配送$される`~event$（合成~event）を通して，この機能性を利用する場合、 $EventTarget.dispatchEvent() ~methの返値も利用できる： ◎ Apart from signaling, events are sometimes also used to let an application control what happens next in an operation. For instance as part of form submission an event whose type attribute value is "submit" is dispatched. If this event’s preventDefault() method is invoked, form submission will be terminated. Applications who wish to make use of this functionality through events dispatched by the application (synthetic events) can make use of the return value of the dispatchEvent() method:

if(%obj.dispatchEvent(%event)) {
  // ~eventは取消されなかった。手品の時間だ。
  …
}

<!doctype html>
<html>
 <head>
  <title>Boring example</title>
 </head>
 <body>
  <p>Hello <span id=x>world</span>!</p>
  <script>
function test(%e) {
  debug(%e.target, %e.currentTarget, %e.eventPhase); // A
}
document.addEventListener("hey", test, {capture: true}); // B
document.body.addEventListener("hey", test); // C
var %ev = new Event("hey", {bubbles:true})
document.getElementById("x").dispatchEvent(%ev);
  </script>
 </body>
</html>

3.2. ~ifc ^@Event

$Event ~objは、単に `~event@ とも呼ばれる。 それは、何かが生じたときにそれが通達されるようにする — 例えば，画像を~downloadし終えたときなど。 ◎ An Event object is simply named an event. It allows for signaling that something has occurred, e.g., that an image has completed downloading.

各`~event$には、次のものが結付けられる： ◎ ↓

`関係target@

~NULL または $EventTarget ~obj 。 他が定められない限り， ~NULL とする。 ◎ An event has an associated relatedTarget (null or an EventTarget object). Unless stated otherwise it is null.

注記： 他の仕様は ^relatedTarget 属性を定義するときに `関係target$を利用する。 `UIEVENTS$r ◎ Other specifications use relatedTarget to define a relatedTarget attribute. [UIEVENTS]

`経路@

いくつかの組からなる~listであり，初期時は空とする。 その各~組は、次のものからなる：

`item@i

$EventTarget ~obj。

`target@i

~NULL または $EventTarget ~obj。

`関係target@i

~NULL または $EventTarget ~obj。

そのような組を意図して与えられる値は、 組( %item, %target, %関係target ) のように表記される。

◎ An event has an associated path. A path is a list of tuples, each of which consists of an item (an EventTarget object), target (null or an EventTarget object), and a relatedTarget (null or an EventTarget object). A tuple is formatted as (item, target, relatedTarget). A path is initially the empty list.

`適用仕様$は、`~event$に対し `再targetする手続き@ を定義して~MAY。 この~algoには、下に述べる`配送$~algoに指示される %~event が渡される ◎ Specifications may define retargeting steps for all or some events. The algorithm is passed event, as indicated in the dispatch algorithm below.

var %event = new $Event(type [, eventInitDict])

$type 属性~値が %type にされた，新たな %event を返す。 %eventInitDict 引数（省略可）により，~objの同じ名前の~memberを通して $bubbles と $cancelable 属性も設定し得る。 ◎ Returns a new event whose type attribute value is set to type. The optional eventInitDict argument allows for setting the bubbles and cancelable attributes via object members of the same name.

%event . $type

%event の型を返す。 例えば `click^l, `hashchange^l, `submit^l など。 ◎ Returns the type of event, e.g. "click", "hashchange", or "submit".

%event . $target

%event の`配送$先の~objを返す。 ◎ Returns the object to which event is dispatched.

%event . $currentTarget

現在~呼出されている `callback$i を持つ`~event~listener$が登録されている~objを返す。 ◎ Returns the object whose event listener’s callback is currently being invoked.

%event . $composedPath()

%event の`経路$内にある各 `item$i ~obj（それ上で~listenerが呼出される~obj）からなる~listを返す — ただし、［ `~shadow根$の`~mode$sR ~EQ `closed^l ］なる`~shadow木$内の`~node$であって， %event の $currentTarget からは到達できないものは、返値から除かれる。 ◎ Returns the item objects of event’s path (objects on which listeners will be invoked), except for any nodes in shadow trees of which the shadow root’s mode is "closed" that are not reachable from event’s currentTarget.

%event . $eventPhase

`~event$の相： $NONE, $CAPTURING_PHASE, $AT_TARGET, $BUBBLING_PHASE のいずれかを返す。 ◎ Returns the event’s phase, which is one of NONE, CAPTURING_PHASE, AT_TARGET, and BUBBLING_PHASE.

%event . $stopPropagation()

`木$ 内に`配送$されているとき、この~methを呼び出すことにより，現在の~obj以外の~objには %event が到達しないようになる。 ◎ When dispatched in a tree, invoking this method prevents event from reaching any objects other than the current object.

%event . $stopImmediatePropagation()

この~methの呼出ingにより、 %event は 現在の~listenerが走り終えた後に登録された`~event~listener$には到達しなくなり、`木$ 内に`配送$されたときには， %event は他のどの~objにも到達しなくなる。 ◎ Invoking this method prevents event from reaching any registered event listeners after the current one finishes running and, when dispatched in a tree, also prevents event from reaching any other objects.

%event . $bubbles

%event がどう初期化されたかに応じて，~T か~F を返す。 %event がその $target 属性~値の`先祖$へ `木~順序$の逆順にも遡る場合は ~T を返し, 他の場合は~F を返す。 ◎ Returns true or false depending on how event was initialized. True if event goes through its target attribute value’s ancestors in reverse tree order, and false otherwise.

%event . $cancelable

%event がどう初期化されたかに応じて，~T か~F を返す。 その返値は常に意味を持つとは限らないが、~T の場合， %event が`配送$されている間の処理が $preventDefault() ~methの呼出ingにより取消せることを指示し得る。 ◎ Returns true or false depending on how event was initialized. Its return value does not always carry meaning, but true can indicate that part of the operation during which event was dispatched, can be canceled by invoking the preventDefault() method.

%event . $preventDefault()

$cancelable 属性~値が~T のときに呼出されて， %event に対する~listenerの実行-中に $AddEventListenerOptions.passive 属性が ~F に設定された場合、 %event が取消される必要がある旨をその`配送$ 処理に通達する。 ◎ If invoked when the cancelable attribute value is true, and while executing a listener for the event with passive set to false, signals to the operation that caused event to be dispatched that it needs to be canceled.

%event . $defaultPrevented

~T は、 $preventDefault() が呼出され, 成功裡に取消されたことを指示する。 他の場合は~F を返す。 ◎ Returns true if preventDefault() was invoked successfully to indicate cancellation, and false otherwise.

%event . $composed

%event がどう初期化されたかに依存して ~T か ~F を返す。 ［ %event の $target 属性~値の`根$が $ShadowRoot `~node$である ］ときに，その~nodeを過ぎた先†にある~listenerも呼出す場合は ~T になり、他の場合は~F になる。 ◎ Returns true or false depending on how event was initialized. True if event invokes listeners past a ShadowRoot node that is the root of its target attribute value, and false otherwise.

【† %~event の`経路$が、`~shadow根$の`~host$を通して別の`~node木$へつながるように，構成される。 】

%event . $isTrusted

%event が~UA から`配送$されたものである場合は~T を, 他の場合は~F を返す。 ◎ Returns true if event was dispatched by the user agent, and false otherwise.

%event . $timeStamp

%event の作成~時刻を 1970 年 1 月 1 日 00:00:00 UTC から経過したミリ秒数で返す。 ◎ Returns the creation time of event as the number of milliseconds that passed since 00:00:00 UTC on 1 January 1970.

@type

取得子は、初期化時の値を返さ~MUST。 `~event$の作成時には、この属性は空文字列に初期化され~MUST。 ◎ The type attribute must return the value it was initialized to. When an event is created the attribute must be initialized to the empty string.

@target

@currentTarget

これらのいずれも，取得子は、それぞれの初期化時の値を返さ~MUST。 `~event$の作成時には、これらの属性は~NULL に初期化され~MUST。 ◎ The target and currentTarget attributes must return the values they were initialized to. When an event is created the attributes must be initialized to null.

@composedPath()

被呼出時には、次を走らせ~MUST： ◎ The composedPath() method, when invoked, must run these steps:

1. %~composed経路 ~LET 新たな空~list ◎ Let composedPath be a new empty list.
2. %現~target ~LET 此れの $currentTarget 属性~値 ◎ Let currentTarget be context object’s currentTarget attribute value.

3. ~FOR 此れの`経路$内の~EACH( %組 ) に対し：

   1. %item ~LET %組 の `item$i

   2. ~IF［ 次のいずれかが満たされる ］…

      • ［ %現~target は $Window ~objである ］~AND［ %item は`~node$である ］~AND［ %item は［ %item の`~shadowも含む根$ ］から`~closed-shadow-hidden$である ］
      • ［ %現~target は`~node$である ］~AND［ %item は %現~target から`~closed-shadow-hidden$である ］

      …ならば ⇒ ~CONTINUE

   3. %item を %~composed経路 に付加する
   ◎ For each tuple in context object’s path: • If currentTarget is a Window object, then: •• If tuple’s item is not a node, or tuple’s item is not closed-shadow-hidden from tuple’s item’s shadow-including root, then append tuple’s item to composedPath. • Otherwise, if currentTarget is a node and tuple’s item is not closed-shadow-hidden from currentTarget, or currentTarget is not a node, then append tuple’s item to composedPath.
4. ~RET %~composed経路 ◎ Return composedPath.

注記： この~algoは、`配送$~algoに対する %~target 引数が`~node$でないときは， %~event 引数の最終的な`経路$内のどの組も，`~node$を包含しないものと見做している。 ◎ This algorithm assumes that when the target argument to the dispatch algorithm is not a node, none of the tuples in event argument’s eventual path will contain a node either.

@eventPhase

取得子は、初期化時の値を返さ~MUST。 値は、次のいずれかで~MUST： ◎ The eventPhase attribute must return the value it was initialized to, which must be one of the following:

@NONE (数値 0)

まだ`配送$されていない`~event$はこの相に属する。 ◎ Events not currently dispatched are in this phase.

@CAPTURING_PHASE (数値 1)

`~event$が`木$に`関与-$する~objに向けて`配送$されるとき、~eventがその $target 属性~値に到達するまでは，この相に属する。 ◎ When an event is dispatched to an object that participates in a tree it will be in this phase before it reaches its target attribute value.

@AT_TARGET (数値 2)

`~event$が`配送$されるとき、~eventの $target 属性~値 上では，この相に属する。 ◎ When an event is dispatched it will be in this phase on its target attribute value.

@BUBBLING_PHASE (数値 3)

`~event$が`木$に`関与-$する~objに向けて`配送$されるとき、~eventがその $target 属性~値に到達した後は，この相に属する。 ◎ When an event is dispatched to an object that participates in a tree it will be in this phase after it reaches its target attribute value.

`~event$の作成時には、この属性は $NONE に初期化され~MUST。 ◎ Initially the attribute must be initialized to NONE.

各`~event$には、次の~flag（すべて初期時~OFF ）が結付けられる： ◎ Each event has the following associated flags that are all initially unset:

@stopPropagation()

被呼出時には、次を設定し~MUST ⇒ 此れの`伝播停止$f ~SET ~ON ◎ The stopPropagation() method, when invoked, must set the context object’s stop propagation flag.

@stopImmediatePropagation()

被呼出時には、次を設定し~MUST ⇒ 此れの`伝播停止$f ~SET ~ON；
此れの`伝播即停止$f ~SET ~ON ◎ The stopImmediatePropagation() method, when invoked, must set context object’s stop propagation flag and context object’s stop immediate propagation flag.

@bubbles

@cancelable

これらのいずれも，取得子は、それぞれの初期化時の値を返さ~MUST。 ◎ The bubbles and cancelable attributes must return the values they were initialized to.

@preventDefault()

被呼出時には、次をし~MUST ⇒ ~IF［ 此れの $cancelable 属性~値 ~EQ ~T ］~AND［ 此れの`受動~listener内$f ~EQ ~OFF ］ ⇒ 此れの`被取消$f ~SET ~ON ◎ The preventDefault() method, when invoked, must set the canceled flag if the cancelable attribute value is true and the in passive listener flag is unset.

注記： これは、 $preventDefault() を呼出しても効果がない局面もあることを意味する。 ~UAには、~debugを援助するため，精確な~~原因を開発者~consoleに~logすることが奨励される。 ◎ This means there are scenarios where invoking preventDefault() has no effect. User agents are encouraged to log the precise cause in a developer console, to aid debugging.

@defaultPrevented

取得子は、［ 此れの`被取消$f ~EQ ~ON ならば ~T ／ ~ELSE_~F ］を返さ~MUST。 ◎ The defaultPrevented attribute’s getter must return true if context object’s canceled flag is set, and false otherwise.

@composed

取得子は、［ 此れの`~composed$f ~EQ ~ON ならば ~T ／ ~ELSE_~F ］を返さ~MUST。 ◎ The composed attribute’s getter must return true if context object’s composed flag is set, and false otherwise.

@isTrusted

取得子は、初期化時の値を返さ~MUST。 `~event$の作成時には、この属性は~F に初期化され~MUST。 ◎ The isTrusted attribute must return the value it was initialized to. When an event is created the attribute must be initialized to false.

@timeStamp

取得子は、初期化時の値を返さ~MUST。 `~event$の作成時には、この属性は 1970 年 1 月 1 日 00:00:00 UTC から経過した，閏秒を含まないミリ秒数に初期化され~MUST。 【 JavaScript の `Date^c も同様に閏秒を無視する。 】 ◎ The timeStamp attribute must return the value it was initialized to. When an event is created the attribute must be initialized to the number of milliseconds that have passed since 00:00:00 UTC on 1 January 1970, ignoring leap seconds.

これは、変更される見込みが高く，すでに実装を反映しなくなっている。 詳細は dom #23 を見られたし。 ◎ This is highly likely to change and already does not reflect implementations well. Please see dom #23 for more details.

%event を ( %type, %bubbles, %cancelable ) で `初期化-@ するときは、 %event の各種［ ~flag, 属性 ］を次のように初期化し~MUST： ◎ To initialize an event, with type, bubbles, and cancelable, run these steps:

• `初期化済み$f ~SET ~ON ◎ Set the initialized flag.
• ( `伝播停止$f, `伝播即停止$f, `被取消$f ) ~SET ( ~OFF, ~OFF, ~OFF ) ◎ Unset the stop propagation flag, stop immediate propagation flag, and canceled flag.
• $isTrusted 属性 ~SET ~F ◎ Set the isTrusted attribute to false.
• $target 属性 ~SET ~NULL ◎ Set the target attribute to null.
• $type 属性 ~SET %type ◎ Set the type attribute to type.
• $bubbles 属性 ~SET %bubbles ◎ Set the bubbles attribute to bubbles.
• $cancelable 属性 ~SET %cancelable ◎ Set the cancelable attribute to cancelable.

@initEvent(type, bubbles, cancelable)

被呼出時には、次を走らせ~MUST： ◎ The initEvent(type, bubbles, cancelable) method, when invoked, must run these steps:

1. ~IF［ 此れの`配送$f ~EQ ~ON ］ ⇒ ~RET ◎ If context object’s dispatch flag is set, then return.
2. 此れを ( %type, %bubbles, %cancelable ) で`初期化-$する ◎ Initialize context object with type, bubbles, and cancelable.

注記： $initEvent() は、`~event$が構築子を持つので冗長であり，また $composed も設定できないが、旧来の内容のために~supportされる必要がある。 ◎ As events have constructors initEvent() is redundant and incapable of setting composed. It has to be supported for legacy content.

3.3. ~ifc ^@CustomEvent

~custom~dataを運ばせる用途に， $CustomEvent ~ifcを利用する`~event$を利用できる。 ◎ Events using the CustomEvent interface can be used to carry custom data.

var %event = new $CustomEvent(type [, eventInitDict])

%eventInitDict 引数（省略可）により， $detail 属性も設定できることを除き、 $Event の構築子と同様にふるまう。 ◎ Works analogously to the constructor for Event except that the optional eventInitDict argument now allows for setting the detail attribute too.

%event . $detail

%event の作成時に与えられた~custom~dataを返す。 概して，合成~eventで利用される。 ◎ Returns any custom data event was created with. Typically used for synthetic events.

@detail

取得子は、初期化時の値を返さ~MUST。 ◎ The detail attribute must return the value it was initialized to.

@initCustomEvent(type, bubbles, cancelable, detail)

被呼出時には、次を走らせ~MUST： ◎ The initCustomEvent(type, bubbles, cancelable, detail) method must, when invoked, run these steps:

1. ~IF［ 此れの`配送$f ~EQ ~ON ］ ⇒ ~RET ◎ If context object’s dispatch flag is set, terminate these steps.
2. 此れを ( %type, %bubbles, %cancelable ) で`初期化-$する ◎ Initialize the context object with type, bubbles, and cancelable.
3. 此れの $detail 属性 ~SET %detail ◎ Set context object’s detail attribute to detail.

3.4. ~eventの構築法

@Event.Event(type, eventInitDict)

@CustomEvent.CustomEvent(type, eventInitDict)

$Event ~ifc, または それを継承する~ifcの構築子の被呼出時には、次を走らせ~MUST： ◎ When a constructor of the Event interface, or of an interface that inherits from the Event interface, is invoked, these steps must be run:

1. %event ~LET 呼出された構築子の~ifcを利用する，新たな`~event$ ◎ Create an event that uses the interface the constructor was invoked upon.
2. %event の`初期化済み$f ~SET ~ON ◎ Set its initialized flag.
3. %event の $Event.type 属性 ~SET %type 引数に初期化- ◎ Initialize the type attribute to the type argument.
4. ~IF［ %eventInitDict 引数は与えられている ］ ⇒ ~FOR その引数に在する~EACH ( `辞書~member$ %m ) に対し ⇒ ~IF［ %event は %m の key を`識別子$とする属性を持つ ］ ⇒ その属性~値 ~SET %m の値 ◎ If there is an eventInitDict argument, then for each dictionary member present, find the attribute on event whose identifier matches the key of the dictionary member and then set the attribute to the value of that dictionary member.
5. ~RET %event ◎ Return the event.

3.5. ~event~ifcの定義法

一般に、$Event を継承する新たな~ifcを定義する際には，常に WHATWG または W3C WebApps WG ~communityからの~feedbackを仰ぐように願う。 ◎ In general, when defining a new interface that inherits from Event please always ask feedback from the WHATWG or the W3C WebApps WG community.

$CustomEvent ~ifcはその起点に利用できるものだが、 `init*Event()^c の類いの~methは，構築子とかぶって冗長になるので導入しないように。 $Event ~ifcを継承する~ifcがその種の~methを備えているのは、歴史的な理由に限られている。 ◎ The CustomEvent interface can be used as starting point. However, do not introduce any init*Event() methods as they are redundant with constructors. Interfaces that inherit from the Event interface that have such a method only have it for historical reasons.

3.6. ~ifc ^@EventTarget

$@EventTarget ~objは、何かが起きた時に`~event$が`配送$される~targetを表現する。 ◎ The EventTarget object represents the target to which an event is dispatched when something has occurred.

各 $EventTarget ~objには、いくつかの~event~listenerからなる， `~listener~list@ が結付けられる。 ◎ Each EventTarget object has an associated list of event listeners.

`~event~listener@ を利用すれば、特定の`~event$を観測できる。 ◎ An event listener can be used to observe a specific event.

各`~event~listener$は、次の~fieldからなる： ◎ An event listener consists of these fields:

• `type@i — 文字列 ◎ type (a string)
• `callback@i — $EventListener ◎ callback (an EventListener)
• `capture@i — 真偽値（初期時は ~F ） ◎ capture (a boolean, initially false)
• `passive@i — 真偽値（初期時は ~F ） ◎ passive (a boolean, initially false)
• `once@i — 真偽値（初期時は ~F ） ◎ once (a boolean, initially false)
• `removed@i — 内部処理用の真偽値（初期時は ~F ） ◎ removed (a boolean for bookkeeping purposes, initially false)

注記： 上の~fieldに示したように， `callback$i は $EventListener であるが、`~event~listener$は，より幅広い概念である。 ◎ Although callback is an EventListener, as can be seen from the fields above, an event listener is a broader concept.

各 $EventTarget ~objには、`~event$が与えられた下で，~objの `親~targetを取得-@ する~algoも結付けられる。 それは、［ $EventTarget ~obj, または ~NULL ］を返す。 他から指定されない限り， ~NULL を返す。 ◎ Each EventTarget object also has an associated get the parent algorithm, which takes an event event, and returns an EventTarget object. Unless specified otherwise it returns null.

注記： ［ `~node$ ／ `~shadow根$ ／ `文書$ ］は、`親~targetを取得-$する~algoを上書きする。 ◎ Nodes, shadow roots, and documents override the get the parent algorithm.

【 この~algoは、~eventの`配送$時にその伝播`経路$を構築するために利用される。 】

%target . $addEventListener(type, callback [, options])

［ $type 属性~値が %type である`~event$ ］に対する`~event~listener$を， %target の`~listener~list$に付加する。 %callback 引数が，`~event$が`配送$されたときに呼出される `callback$i として設定される。 ◎ Appends an event listener for events whose type attribute value is type. The callback argument sets the callback that will be invoked when the event is dispatched.

%options 引数は、~listener特有の~optionを設定する。 互換性のため、これはただの真偽値もとり得る — その場合、この~methは，正確に［ %options の ^capture ~memberに その値が指定された ］かのように挙動する。 ◎ The options argument sets listener-specific options. For compatibility this can be just a boolean, in which case the method behaves exactly as if the value was specified as options’ capture member.

%options の $EventListenerOptions.capture ~memberが［ ~T ／ ［ ~F または不在 ］］の場合、 `callback$i は，［ `~event$の $eventPhase 属性~値が［ $BUBBLING_PHASE ／ $CAPTURING_PHASE ］の間は，呼出されない ］ようになる。 いずれにせよ、`~event$の $eventPhase 属性~値が $AT_TARGET のときは， `callback$i は呼出される。 ◎ When set to true, options’ capture member prevents callback from being invoked when the event’s eventPhase attribute value is BUBBLING_PHASE. When false (or not present), callback will not be invoked when event’s eventPhase attribute value is CAPTURING_PHASE. Either way, callback will be invoked if event’s eventPhase attribute value is AT_TARGET.

%options の $AddEventListenerOptions.passive ~memberに対する ~T は、 `callback$i は $preventDefault() を呼出しても`~event$を取消さないことを指示する。 これは、 ~event~listenerの観測法 に述べる処理能の最適化を可能化するために利用される ◎ When set to true, options’ passive member indicates that the callback will not cancel the event by invoking preventDefault(). This is used to enable performance optimizations described in §3.7 Observing event listeners.

%options の $AddEventListenerOptions.once ~memberが ~T に設定されている場合、~callbackが呼出されるのは一度限りであり，その後には`~event~listener$は除去されることを指示する。 ◎ When set to true, options’s once member indicates that the callback will only be invoked once after which the event listener will be removed.

`~event~listener$は、重複しない場合（ `type$i, `callback$i, `capture$i のいずれかが異なる場合）に限り， %target の`~listener~list$に付加される。 ◎ The event listener is appended to target’s list of event listeners and is not appended if it is a duplicate, i.e., having the same type, callback, and capture values.

%target . $removeEventListener(type, callback [, options])

引数と同じ［ `type$i, `callback$i, `capture$i ］を持つ`~event~listener$を %target の`~listener~list$から除去する。 ◎ Remove the event listener in target’s list of event listeners with the same type, callback, and options.

%target . $dispatchEvent(event)

合成~event %event を %target に向けて`配送$する。 ［ %event の $cancelable 属性~値が ~F であるか, または %event の $preventDefault() ~methが呼出されていないとき ］は~T，他の場合は~F を返す。 ◎ Dispatches a synthetic event event to target and returns true if either event’s cancelable attribute value is false or its preventDefault() method was not invoked, and false otherwise.

%options を `平坦化-@ するときは、次を走らす： ◎ To flatten options, run these steps:

1. %capture ~LET ~F ◎ Let capture be false.
2. ~IF［ %options は ~B 型である ］ ⇒ %capture ~SET %options ◎ If options is a boolean, set capture to options.
3. ~IF［ %options は辞書~型である ］ ⇒ %capture ~SET %options の $EventListenerOptions.capture ~member値 ◎ If options is a dictionary, then set capture to options’s capture.
4. ~RET %capture ◎ Return capture and passive.

%options を `もっと平坦化-@ するときは、次を走らす： ◎ To flatten more options, run these steps:

1. %capture ~LET %options を `平坦化-$した結果 ◎ Let capture be the result of flattening options.
2. ( %once, %passive ) ~LET ( ~F, ~F ) ◎ Let once and passive be false.
3. ~IF［ %options は辞書~型である ］ ⇒ ( %passive, %once ) ~SET %options の ( $AddEventListenerOptions.passive, $AddEventListenerOptions.once ) ~member値 ◎ If options is a dictionary, then set passive to options’s passive and once to options’s once.
4. ~RET ( %capture, %passive, %once ) ◎ Return capture, passive, and once.

@addEventListener(type, callback, options)

被呼出時には、次を走らせ~MUST： ◎ The addEventListener(type, callback, options) method, when invoked, must run these steps:

1. ~IF［ 此れに`関連する大域~obj$ %G は $ServiceWorkerGlobalScope ~objである ］~AND［ %G に結付けられている`~service~worker$の`~script資源$の，`評価されたことがある~flag$ ~EQ ~ON ］`SERVICE-WORKERS$r ⇒ ~THROW `TypeError^E ◎ If context object’s relevant global object is a ServiceWorkerGlobalScope object and its associated service worker’s script resource’s has ever been evaluated flag is set, then throw a TypeError. [SERVICE-WORKERS]

   注記： 当の~service~workerに対し許容される~event型の格納を最適化するため, および ~event~listenerに対する非決定的な変更を避けるため、この~methの呼出は，~service~worker~scriptが初めて評価される間にのみ許容される。 ◎ To optimize storing the event types allowed for the service worker and to avoid non-deterministic changes to the event listeners, invocation of the method is allowed only during the very first evaluation of the service worker script.

2. ~IF［ %callback ~EQ ~NULL ］ ⇒ ~RET ◎ If callback is null, terminate these steps.
3. ( %capture, %passive, %once ) ~LET %options を`もっと平坦化-$した結果 ◎ Let capture, passive, and once be the result of flattening more options.
4. ~IF［ 此れの`~listener~list$内に［ ( `type$i, `callback$i, `capture$i ) ~EQ ( %type, %callback, %capture ) ］なる`~event~listener$が在る ］ ⇒ ~RET ◎ ↓
5. 次のように設定された`~event~listener$を，此れの`~listener~list$に付加する ⇒ `type$i ~SET %type ,
   `callback$i ~SET %callback ,
   `capture$i ~SET %capture ,
   `passive$i ~SET %passive ,
   `once$i ~SET %once ◎ If context object’s associated list of event listener does not contain an event listener whose type is type, callback is callback, and capture is capture, then append a new event listener to it, whose type is type, callback is callback, capture is capture, passive is passive, and once is once.

@removeEventListener(type, callback, options)

被呼出時には、次を走らせ~MUST： ◎ The removeEventListener(type, callback, options) method, when invoked, must, run these steps

2. ~IF［ 此れの`~listener~list$内に［ ( `type$i, `callback$i, `capture$i ) ~EQ ( %type, %callback, %capture ) ］なる`~event~listener$ %~listener が在る ］：

   1. %~listener を`~listener~list$から除去する
   2. %~listener の `removed$i ~SET ~T
   ◎ If there is an event listener in the associated list of event listeners whose type is type, callback is callback, and capture is capture, then set that event listener’s removed to true and remove it from the associated list of event listeners.

@dispatchEvent(event)

被呼出時には、次を走らせ~MUST： ◎ The dispatchEvent(event) method, when invoked, must run these steps:

1. ~IF［ %event の`配送$f ~EQ ~ON ］~OR［ %event の`初期化済み$f ~EQ ~OFF ］ ⇒ ~THROW `InvalidStateError^E ◎ If event’s dispatch flag is set, or if its initialized flag is not set, then throw an InvalidStateError.
2. %event の $isTrusted 属性 ~SET ~F に初期化- ◎ Initialize event’s isTrusted attribute to false.
3. ~RET 此れに向けて %event を`配送$した結果 ◎ Return the result of dispatching event to context object.

3.7. ~event~listenerの観測法

一般に、開発者は，`~event~listener$の有無が観測され得るものとは予期しない。 `~event~listener$の影響0は、その `callback$i により決定される。 すなわち開発者は、何もしない`~event~listener$を追加するとき，副作用が生じるとは予期しない。 ◎ In general, developers do not expect the presence of an event listener to be observable. The impact of an event listener is determined by its callback. That is, a developer adding a no-op event listener would not expect it to have any side effects.

あいにく，一部の~event API は、効率的に実装するためには，`~event~listener$の観測が要求される設計になっている。 すなわち、空の~listenerであっても，~appの挙動における処理能に劇的に影響0し得る結果、~listenerの有無が観測され得るようになっている。 例えば ~touch／~wheel ~eventの利用は、非同期~scrollingを阻むことがある。 一部の事例では、この問題は，［ ~eventが $cancelable になるのは，非 $AddEventListenerOptions.passive ~listenerが一つ以上あるときに限る ］ように指定することで、軽減できる。 例えば、非 $AddEventListenerOptions.passive $TouchEvent ~listenerは，~scrollingを阻ま~MUSTが、すべての~listenerが $AddEventListenerOptions.passive ならば、 【~UAは】 $TouchEvent を（ $preventDefault() の~callは無視されるように）取消せなくすることで，~scrollingを`並列的$に開始できるようになる。 なので、~eventを配送している~codeは，非 $AddEventListenerOptions.passive ~listenerの~~不在を観測でき、それを利用して配送~中の~eventの $cancelable ~propを ~F にできる。 ◎ Unfortunately, some event APIs have been designed such that implementing them efficiently requires observing event listeners. This can make the presence of listeners observable in that even empty listeners can have a dramatic performance impact on the behavior of the application. For example, touch and wheel events which can be used to block asynchronous scrolling. In some cases this problem can be mitigated by specifying the event to be cancelable only when there is at least one non-passive listener. For example, non-passive TouchEvent listeners must block scrolling, but if all listeners are passive then scrolling can be allowed to start in parallel by making the TouchEvent uncancelable (so that calls to preventDefault() are ignored). So code dispatching an event is able to observe the absence of non-passive listeners, and use that to clear the cancelable property of the event being dispatched.

新たなどの~event API も，この~propを必要としないように定義されるのが理想的である（論を交わしたければ public-script-coord@w3.org を利用されたし）。 ◎ Ideally, any new event APIs are defined such that they do not need this property (use public-scrip-coord@w3.org for discussion).

3.8. ~eventの配送法

%上書target （省略可）が与えられた下で、所与の %target に向けて，`~event$ %~event を `配送@ するときは、次を走らす： ◎ To dispatch an event to a target, with an optional targetOverride, run these steps:

1. %~event の`配送$f ~SET ~ON ◎ Set event’s dispatch flag.

2. ~IF［ %上書target は与えられていない ］ ⇒ %上書target ~SET %target ◎ If targetOverride is not given, let targetOverride be target.

   注記： %上書target は、 HTML からのみ，それも ごく限られた~~状況に限って利用される。 ◎ The targetOverride argument is only used by HTML and only under very specific circumstances.

3. %関係target ~LET %~event の`関係target$ ◎ ↓
4. ~IF［ %~event の`関係target$ ~NEQ ~NULL ］ ⇒ %関係target ~SET %target に対し %関係target を`再target$した結果 ◎ Let relatedTarget be the result of retargeting event’s relatedTarget against target if event’s relatedTarget is non-null, and null otherwise.
5. %~event の`経路$に 組( %target, %上書target, %関係target ) を付加する ◎ Append (target, targetOverride) to event’s path.
6. %親 ~LET %~event を与える下で， %target の`親~targetを取得-$した結果 ◎ Let parent be the result of invoking target’s get the parent with event.

7. ~WHILE［ %親 ~NEQ ~NULL ］： ◎ While parent is non-null:

   1. %関係target ~LET %~event の`関係target$ ◎ ↓
   2. ~IF［ %~event の`関係target$ ~NEQ ~NULL ］ ⇒ %関係target ~SET %親 に対し %関係target を`再target$した結果 ◎ Let relatedTarget be the result of retargeting event’s relatedTarget against parent if event’s relatedTarget is non-null, and null otherwise.
   3. ~IF［ %target の`根$ は %親 の`~shadowも含む広義先祖$である ］ ⇒ %~event の`経路$に 組( %親, ~NULL, %関係target ) を付加する ◎ If target’s root is a shadow-including inclusive ancestor of parent, then append (parent, null, relatedTarget) to event’s path.
   4. ~ELIF［ %親 ~EQ %関係target ］ ⇒ %親 ~SET ~NULL ◎ Otherwise, if parent and relatedTarget are identical, then set parent to null.
   5. ~ELSE ⇒ %target ~SET %親；
      %~event の`経路$に 組( %親, %target, %関係target ) を付加する ◎ Otherwise, set target to parent and append (parent, target, relatedTarget) to event’s path.
   6. ~IF［ %親 ~NEQ ~NULL ］ ⇒ %親 ~SET %~event を与える下で， %親 の`親~targetを取得-$した結果 ◎ If parent is non-null, then set parent to the result of invoking parent’s get the parent with event.

   【 %~event の`経路$はこの段で確定され、以降の手続きで~event~listenerにより~DOMが改変されても，影響されない。 】

8. %~event の $eventPhase 属性 ~SET $CAPTURING_PHASE ◎ Set event’s eventPhase attribute to CAPTURING_PHASE.

9. ~FOR %~event の`経路$内の~EACH ( %組 ) に対し，逆順に： ◎ For each tuple in event’s path, in reverse order:

   1. %~event の $target 属性 ~SET %~event の`経路$内の［ %組 または %組 に先行する組 ］のうち，［ `target$i ~NEQ ~NULL ］なるもののうち，最後の組の `target$i ◎ Set event’s target attribute to the target of the last tuple in event’s path, that is either tuple or preceding tuple, whose target is non-null.
   2. %~event の`関係target$ ~SET %組 の `関係target$i ◎ Set event’s relatedTarget to tuple’s relatedTarget.
   3. %~event に対し`再targetする手続き$を走らす ◎ Run the retargeting steps with event.
   4. ~IF［ %組 の `target$i ~EQ ~NULL ］ ⇒ %組 の `item$i を %~event で`呼出す$ ◎ If tuple’s target is null, then invoke tuple’s item with event.

10. ~FOR %~event の`経路$内の~EACH ( %組 ) に対し，順に： ◎ For each tuple in event’s path, in order:

    1. %~event の $eventPhase 属性 ~SET ［ %組 の `target$i ~NEQ ~NULL ならば $AT_TARGET ／ ~ELSE_ $BUBBLING_PHASE ］ ◎ If tuple’s target is non-null, then set event’s eventPhase attribute to AT_TARGET. ◎ Otherwise, set event’s eventPhase attribute to BUBBLING_PHASE.
    2. ~IF［［ %~event の $eventPhase 属性 ~EQ $BUBBLING_PHASE ］~AND［ %~event の $bubbles 属性 ~EQ ~T ］］~OR［ %~event の $eventPhase 属性 ~EQ $AT_TARGET ］ ⇒ %組 の `item$i を %~event で`呼出す$ ◎ If either event’s eventPhase attribute is BUBBLING_PHASE and event’s bubbles attribute is true or event’s eventPhase attribute is AT_TARGET, then invoke tuple’s item with event.
11. %~event の ( `配送$f, `伝播停止$f, `伝播即停止$f ) ~SET ( ~OFF, ~OFF, ~OFF ) ◎ Unset event’s dispatch flag, stop propagation flag, and stop immediate propagation flag.
12. %~event の $eventPhase 属性 ~SET $NONE ◎ Set event’s eventPhase attribute to NONE.
13. %~event の $currentTarget 属性 ~SET ~NULL ◎ Set event’s currentTarget attribute to null.
14. %~event の`経路$ ~SET 空~list ◎ Set event’s path to the empty list.
15. ~RET ［ %~event の`被取消$f ~EQ ~ON ならば ~F ／ ~ELSE_ ~T ］ ◎ Return false if event’s canceled flag is set, and true otherwise.

%~obj を`~event$ %~event で `呼出す@ ときは、次を走らす： ◎ To invoke an object with event, run these steps:

1. ~IF［ %~event の`伝播停止$f ~EQ ~OFF ］ ⇒ ~RET ◎ If event’s stop propagation flag is set, then terminate these steps.
2. %~listener~list ~LET 空~list ◎ Let listeners be the empty list.

3. %~obj の`~listener~list$内の ~EACH ( `~event~listener$ %~listener ) に対し ⇒ %~listener への~pointerを %~listener~list に付加する ◎ For each event listener associated with object, append a pointer to the event listener to listeners.

   注記： これは、この時点以降に追加された~event~listenerは，走らせないようにする。 除去については、 `removed$i ~fieldに因り，依然として効果を及ぼすことに注意。 ◎ This avoids event listeners added after this point from being run. Note that removal still has an effect due to the removed field.

4. %~event の $currentTarget 属性 ~SET %~obj に初期化- ◎ Initialize event’s currentTarget attribute to object.
5. %found ~LET %~obj を %~event で`内部的に呼出した$結果 ◎ Let found be the result of running inner invoke object with event.

6. ~IF［ %found ~EQ ~F ］~AND［ %~event の $type 属性~値は［ 下の表のいずれかの行の 1 列目の文字列 ］に `~ASCII大小無視$で合致する ］…： ◎ If found is false, run these substeps: ◎ Let originalEventType be event’s type attribute value. ◎ If event’s type attribute value is a match for any of the strings in the first column in the following table, set event’s type attribute value to the string in the second column on the same row as the matching string, and terminate these substeps otherwise.

   ~event型◎Event type	旧来の~event型◎Legacy event type
   `animationend^l	`webkitAnimationEnd^l
   `animationiteration^l	`webkitAnimationIteration^l
   `animationstart^l	`webkitAnimationStart^l
   `transitionend^l	`webkitTransitionEnd^l

   …ならば：

   1. %元~event型 ~LET %~event の $type 属性~値 ◎ ↑
   2. %~event の $type 属性~値 ~SET 同じ行の 2 列目の文字列 ◎ ↑
   3. %~obj を %~event で`内部的に呼出す$ ◎ Inner invoke object with event.
   4. %~event の $type 属性~値 ~SET %元~event型 ◎ Set event’s type attribute value to originalEventType.

%~obj を %~event で `内部的に呼出す@ ときは、次を走らす： ◎ To inner invoke an object with event, run these steps:

1. %found ~LET ~F ◎ Let found be false.

2. ~FOR %~listener~list 内の ~EACH ( `~event~listener$ %~listener ) に対し： ◎ For each listener in listeners, whose removed is false, run these substeps:

   1. ~IF［ %~listener の `removed$i ~EQ ~F ］ ⇒ ~CONTINUE ◎ ↑
   2. ~IF［ %~listener の `type$i ~NEQ %~event の $type 属性~値 ］ ⇒ ~CONTINUE ◎ If event’s type attribute value is not listener’s type, terminate these substeps (and run them for the next event listener).
   3. %found ~SET ~T ◎ Set found to true.
   4. ~IF［ %~listener の `capture$i ~EQ ~F ］~AND［ %~event の $eventPhase 属性~値 ~EQ $CAPTURING_PHASE ］ ⇒ ~CONTINUE ◎ If event’s eventPhase attribute value is CAPTURING_PHASE and listener’s capture is false, terminate these substeps (and run them for the next event listener).
   5. ~IF［ %~listener の `capture$i ~EQ ~T ］~AND［ %~event の $eventPhase 属性~値 ~EQ $BUBBLING_PHASE ］ ⇒ ~CONTINUE ◎ If event’s eventPhase attribute value is BUBBLING_PHASE and listener’s capture is true, terminate these substeps (and run them for the next event listener).
   6. ~IF［ %~listener の `once$i ~EQ ~T ］ ⇒ %~listener を %~obj の`~listener~list$から除去する ◎ If listener’s once is true, then remove listener from object’s associated list of event listeners.
   7. ~IF［ %~listener の `passive$i ~EQ ~T ］ ⇒ %~event の`受動~listener内$f ~SET ~ON ◎ If listener’s passive is true, set event’s in passive listener flag.

   8. 次を与える下で，`利用者~objの演算を~call$する：

      • %~listener の `callback$i
      • `handleEvent^l
      • 引数~list： ( %~event )
      • `~callback this 値$： %~event の$currentTarget 属性~値

      ~IF［ ~callした結果，例外が投出された ］ ⇒ `その例外を報告する$

      ◎ Call a user object’s operation with listener’s callback, "handleEvent", a list of arguments consisting of event, and event’s currentTarget attribute value as the callback this value. If this throws an exception, report the exception.
   9. %~event の`受動~listener内$f ~SET ~OFF ◎ Unset event’s in passive listener flag.
   10. ~IF［ %~event の`伝播即停止$f ~EQ ~ON ］ ⇒ ~RET %found ◎ If event’s stop immediate propagation flag is set, return found.
3. ~RET %found ◎ Return found.

3.9. ~eventの発火法

注記： ~DOMの文脈における~eventの “`発火-$” とは、`~event$の［ 作成-, 初期化-, `配送$ ］処理の略語であり，この処理過程を記述し易くするものである。 `~event$の $bubbles や $cancelable 属性も初期化する記述も必要な場合は、 “^cancelable 属性を~T に初期化した上で， ^submit ~eventを`発火-$する” 等々の様に記述することもできる。 ◎ Fire in the context of DOM is short for creating, initializing, and dispatching an event. Fire an event makes that process easier to write down. If the event needs its bubbles or cancelable attribute initialized, one could write "fire an event named submit with its cancelable attribute initialized to true".

3.10. 動作 vs. 発生

`~event$は、動作（ action ）ではなく，発生（ occurrence ）をしるす（ signify する）ものである。 言葉を代えれば、~algoからの~~通知を表現し，その~algoの進路に（例えば $preventDefault() の呼出ingを通して）働きかけるために利用できるものである。 `~event$は、何らかの~algoを走らすような［ 動作／動作を~~起動するもの ］として利用されては~MUST_NOT。 そのような用途のためのものではない。 ◎ An event signifies an occurrence, not an action. Phrased differently, it represents a notification from an algorithm and can be used to influence the future course of that algorithm (e.g., through invoking preventDefault()). Events must not be used as actions or initiators that cause some algorithm to start running. That is not what they are for.

注記： ここで特に~~強調している~~理由は、以前の~DOMでは，`~event$に “既定の動作” の概念が結付けられていて，人を誤った考えに~~導いていたからである。 `~event$は、動作を表現したり, 引き起こすものではなく，進行中~のものに働きかけるために限って利用できるものである。 ◎ This is called out here specifically because previous iterations of the DOM had a concept of "default actions" associated with events that gave folks all the wrong ideas. Events do not represent or cause actions, they can only be used to influence an ongoing one.

【 参考 】

4.1. ~DOM概説

~DOM（ “The DOM（ Document Object Model ）” ）は元々，文書（特に，~HTML文書や~XML文書）に対する~accessと操作のための API を意味するものであったが、この仕様における語 “文書” は、短い静的な文書から 多彩な~multimediaを伴う長い小論や報告書，更には本格的な対話的~appまでに渡る、任意の~markupに基づく資源を指すものとして用いられる。 ◎ In its original sense, "The DOM" is an API for accessing and manipulating documents (in particular, HTML and XML documents). In this specification, the term "document" is used for any markup-based resource, ranging from short static documents to long essays or reports with rich multimedia, as well as to fully-fledged interactive applications.

そのような各~文書は、`~node木$として表現される。 これらの`~node$のうち一部は他の`~node$を`子$に持ち，他のものは葉（末端）~nodeになる。 ◎ Each such document is represented as a node tree. Some of the nodes in a tree can have children, while others are always leaves.

<!DOCTYPE html>
<html class=e>
 <head><title>Aliens?</title></head>
 <body>Why yes.</body>
</html>

`~HTML解析器$の~~仕組みから，すべての`~ASCII空白類$が $Text `~node$にされてはいないが、一般的な概念は明らかである。 ~~入力の~markupから，`~node$たちが成す`木$が出来上がる。 ◎ Note that, due to the magic that is HTML parsing, not all ASCII whitespace were turned into Text nodes, but the general concept is clear. Markup goes in, a tree of nodes comes out.

注記： さらに探求してみたければ、最高によくできている Live DOM Viewer を利用するといい。 ◎ The most excellent Live DOM Viewer can be used to explore this matter in more detail.

4.2. ~node木

`~node木$には、`~node$の型とそれに許容される`子$との関係性で表される，次の拘束が課される： ◎ A node tree is constrained as follows, expressed as a relationship between the type of node and its allowed children:

$Document

`木~順序$において，次からなる： ◎ In tree order:

1. それぞれが $ProcessingInstruction または $Comment である， 0 個以上の~node ◎ Zero or more nodes each of which is ProcessingInstruction or Comment.
2. 0 個または 1 個の $DocumentType ~node ◎ Optionally one DocumentType node.
3. 0 個または 1 個の $Element ~node ◎ Optionally one Element node.

$DocumentFragment

$Element

それぞれが $Element, $ProcessingInstruction, $Comment, $Text のいずれかである， 0 個以上の~nodeからなる ◎ Zero or more nodes each of which is Element, Text, ProcessingInstruction, or Comment.

$DocumentType

$Text

$ProcessingInstruction

$Comment

子を持たない ◎ None.

`~node$ %node の `~length@ とは、 %node の型に応じて，次で与えられる整数である： ◎ To determine the length of a node node, switch on node:

$DocumentType

0 ◎ Zero.

`文字~data~node$◎Text, ProcessingInstruction, Comment

その`~data$内の`符号単位$の個数 ◎ The number of code units in its data.

$Document

$DocumentFragment

$Element

その`子$の個数 ◎ Its number of children.

`~node$が `空@ であるとは、その`~length$が 0 であることを意味する。 ◎ A node is considered empty if its length is zero.

[`NoInterfaceObject$, `Exposed$=Window]
interface @Slotable {
  ~RA $HTMLSlotElement? $assignedSlot;
};

$Element implements $Slotable;
$Text implements $Slotable;

4.3. 変異~ob

`変異~ob 複合~極小taskを待入する@ ときは、次を走らす： ◎ To queue a mutation observer compound microtask, run these steps:

1. ~IF［ `変異~ob 複合~極小task待入済み$f ~EQ ~ON ］ ⇒ ~RET ◎ If mutation observer compound microtask queued flag is set, terminate these steps.
2. `変異~ob 複合~極小task待入済み$f ~SET ~ON ◎ Set mutation observer compound microtask queued flag.
3. `変異~obに通知$するための 複合~極小task を 待入する ◎ Queue a compound microtask to notify mutation observers.

`変異~obに通知@ するときは、次を走らす： ◎ To notify mutation observers, run these steps:

1. `変異~ob 複合~極小task待入済み$f ← ~OFF ◎ Unset mutation observer compound microtask queued flag.
2. %通知~list ~LET `変異~ob 通知~list$の複製 ◎ Let notify list be a copy of unit of related similar-origin browsing contexts' list of MutationObserver objects.
3. %通達~slot~list ~LET %閲覧文脈~群 の`通達~slot~list$の複製 ◎ Let signalList be a copy of unit of related similar-origin browsing contexts' signal slot list.
4. %閲覧文脈~群 の`通達~slot~list$を空にする ◎ Empty unit of related similar-origin browsing contexts' signal slot list.

5. ~FOR %通知~list 内の~EACH ( $MutationObserver ~obj %MO ) に対し ⇒ 次の手続きを走らす 複合~極小task下位~taskを実行する `HTML$r ： ◎ For each MutationObserver object mo in notify list, execute a compound microtask subtask to run these steps: [HTML]

   1. %待行列 ~LET %MO の`記録待行列$の複製 ◎ Let queue be a copy of mo’s record queue.
   2. %MO の`記録待行列$を空にする ◎ Empty mo’s record queue.
   3. ［ `observer^i ~EQ %MO ］なる `一時~登録済~ob$ をすべて除去する ◎ Remove all transient registered observers whose observer is mo.

   4. ~IF［ %待行列 は空でない ］：

      1. 次を与える下で，`~callback関数を呼出す$：

         • ~callback関数~型の値： %MO の`~callback$mo
         • 引数~list： ( %待行列, %MO )
         • `~callback this 値$： %MO
      2. ~IF［ 前~段で例外が投出された ］ ⇒ `その例外を報告する$
      ◎ If queue is non-empty, invoke mo’s callback with a list of arguments consisting of queue and mo, and mo as the callback this value. If this throws an exception, report the exception.
6. ~FOR %通達~slot~list 内の ~EACH ( `~slot$ %~slot ) に対し，順に ⇒ %~slot に向けて，名前 `slotchange^et の~eventを［ $Event.bubbles 属性 ~SET ~T ］にした上で`発火-$する ◎ For each slot slot in signalList, in order, fire an event named slotchange, with its bubbles attribute set to true, at slot.

各`~node$には、`登録済~ob$ の~listが結付けられる。 ◎ Each node has an associated list of registered observers.

`登録済~ob@ は、［ `observer^i （ $MutationObserver ~obj ）, `options^i （ $MutationObserverInit 辞書 ） ］の組である。 `一時~登録済~ob@ とは、この組に加えて，`登録済~ob$である `source^i も持つ，`登録済~ob$の一種である。 ◎ A registered observer consists of an observer (a MutationObserver object) and options (a MutationObserverInit dictionary). A transient registered observer is a specific type of registered observer that has a source which is a registered observer.

注記： `一時~登録済~ob$は、所与の`~node$に対し，それが除去された後も`~node$の`子孫$における変異を追跡するために利用される — これにより、`~node$の`親$にて ^subtree が ~T に設定されているとき，それらの変異は失われないようになる。 ◎ Transient registered observers are used to track mutations within a given node’s descendants after node has been removed so they do not get lost when subtree is set to true on node’s parent.

4.4. ~ifc ^@Node

注記： $@Node は抽象~ifcであり，`~node$として存在することはない。 それは、すべての`~node$（ $Document, $DocumentType, $DocumentFragment, $Element, $Text, $ProcessingInstruction, $Comment ）から利用される。 ◎ Node is an abstract interface and does not exist as node. It is used by all nodes (Document, DocumentType, DocumentFragment, Element, Text, ProcessingInstruction, and Comment).

【 2016 年 8 月の仕様~変更により、 $Attr も $Node を継承するようにされた。 そのため，この仕様の一部には、上の注記のように，そうでないことを前提にした記述が残っていることに注意。 】

各`~node$には `~node文書@ が結付けられる。 それは`文書$であり，作成時に設定される。 ◎ Each node has an associated node document, set upon creation, that is a document.

注記： `~node$の`~node文書$は `受入-$ ~algoにより変更され得る。 ◎ A node’s node document can be changed by the adopt algorithm.

【 ~nodeが`文書~木~内$になくても，結付けられることになる。 】

所与の~eventの下で，`~node$ %node の`親~targetを取得-$するときは、［ %node の`割当先~slot$ ~NEQ ~NULL ならば それ ／ ~ELSE_ %node の`親$ ］を返す。 ◎ A node’s get the parent algorithm, given an event, returns the node’s assigned slot, if node is assigned, and node’s parent otherwise.

【 `文書$は、~nodeの親~targetを取得する~algoを上書きする。 】

%node . $nodeType

次に挙げる数で表現される, %node の型を返す： ◎ Returns the type of node, represented by a number from the following list:

$Node . $ELEMENT_NODE `(1)^i

%node は`要素$である。 ◎ node is an element.

$Node . $TEXT_NODE `(3)^i

%node は $Text `~node$である。 ◎ node is a Text node.

$Node . $CDATA_SECTION_NODE `(4)^i

%node は $CDATASection `~node$である。 ◎ node is a CDATASection node.

$Node . $PROCESSING_INSTRUCTION_NODE `(7)^i

%node は $ProcessingInstruction `~node$である。 ◎ node is a ProcessingInstruction node.

$Node . $COMMENT_NODE `(8)^i

%node は $Comment `~node$である。 ◎ node is a Comment node.

$Node . $DOCUMENT_NODE `(9)^i

%node は`文書$である。 ◎ node is a document.

$Node . $DOCUMENT_TYPE_NODE `(10)^i

%node は`文書型$である。 ◎ node is a doctype.

$Node . $DOCUMENT_FRAGMENT_NODE `(11)^i

%node は`文書片$である。 ◎ node is a DocumentFragment node.

%node . $nodeName

%node の型に応じて，次の文字列を返す： ◎ Returns a string appropriate for the type of node, as follows:

$Element

その $Element.tagName 属性~値 ◎ Its tagName attribute value.

$Attr

その `有修飾~名$a ◎ Its qualified name.

$Text

`#text^l ◎ "#text".

$CDATASection

`#cdata-section^l ◎ "#cdata-section".

$ProcessingInstruction

その $target ◎ Its target.

$Comment

`#comment^l ◎ "#comment".

$Document

`#document^l ◎ "#document".

$DocumentType

その`文書型名$ ◎ Its name.

$DocumentFragment

`#document-fragment^l ◎ "#document-fragment".

@nodeType

取得子は、此れの型に応じて，次を返さ~MUST（括弧内は数値）： ◎ The nodeType attribute’s getter, when invoked, must return the first matching statement, switching on the context object:

$Element

@ELEMENT_NODE (1)

$Attr

@ATTRIBUTE_NODE (2)

$Text

@TEXT_NODE (3)

$CDATASection

@CDATA_SECTION_NODE (4)

$ProcessingInstruction

@PROCESSING_INSTRUCTION_NODE (7)

$Comment

@COMMENT_NODE (8)

$Document

@DOCUMENT_NODE (9)

$DocumentType

@DOCUMENT_TYPE_NODE (10)

$DocumentFragment

@DOCUMENT_FRAGMENT_NODE (11)

@nodeName

取得子は、此れの型に応じて，次を返さ~MUST。 ◎ The nodeName attribute’s getter, when invoked, must return the first matching statement, switching on the context object:

$Element

此れの $Element.tagName 属性~値 ◎ Its tagName attribute value.

$Attr

此れの`有修飾~名$a ◎ Its qualified name.

$Text

`#text^l ◎ "#text".

$CDATASection

`#cdata-section^l ◎ "#cdata-section".

$ProcessingInstruction

此れの`~target$ ◎ Its target.

$Comment

`#comment^l ◎ "#comment".

$Document

`#document^l ◎ "#document".

$DocumentType

此れの`文書型名$ ◎ Its name.

$DocumentFragment

`#document-fragment^l ◎ "#document-fragment".

%node . $baseURI

%node の`~node文書$の`文書~基底URL$を返す。 ◎ Returns node’s node document’s document base URL.

@baseURI

取得子は、此れの`~node文書$の`文書~基底URL$を`直列化-$した結果を返さ~MUST。 ◎ The baseURI attribute’s getter must return node document’s document base URL, serialized.

%node . $isConnected

［ %node は`接続され$ているならば ~T ／ ~ELSE_ ~F ］を返す。 ◎ Returns true if node is connected and false otherwise.

%node . $ownerDocument

`~node文書$を返す。 `文書$に対しては~NULL を返す。 ◎ Returns the node document. Returns null for documents.

%node . $getRootNode()

%node の`根$を返す。 ◎ Returns node’s root.

%node . $getRootNode({ composed:true })

%node の`~shadowも含む根$を返す。 ◎ Returns node’s shadow-including root.

%node . $parentNode

`親$を返す。 ◎ Returns the parent.

%node . $parentElement

`親~要素$を返す。 ◎ Returns the parent element.

%node . $hasChildNodes()

%node が`子$を持っているかどうかを返す。 ◎ Returns whether node has children.

%node . $childNodes

すべての`子$を返す。 ◎ Returns the children.

%node . $firstChild

`最初0の子$を返す。 ◎ Returns the first child.

%node . $lastChild

`最後0の子$を返す。 ◎ Returns the last child.

%node . $previousSibling

`兄$を返す。 ◎ Returns the previous sibling.

%node . $nextSibling

`弟$を返す。 ◎ Returns the next sibling.

@isConnected

取得子は、［ 此れは`接続され$ているならば ~T ／ ~ELSE_ ~F ］を返さ~MUST。 ◎ The isConnected attribute’s getter must return true, if context object is connected, and false otherwise.

@ownerDocument

取得子は、［ 此れは`文書$である ならば ~NULL ／ ~ELSE_ 此れの`~node文書$ ］を返さ~MUST。 ◎ The ownerDocument attribute’s getter must return null, if the context object is a document, and the context object’s node document otherwise.

注記： `文書$の`~node文書$は，`文書$ 自身である。 すべての`~node$は、どの時点であれ，`~node文書$を持つ。 ◎ The node document of a document is that document itself. All nodes have a node document at all times.

@getRootNode(options)

取得子は、［［ %options の ^composed ~EQ ~T ］ならば 此れの`~shadowも含む根$ ／ ~ELSE_ 此れの`根$ ］を返さ~MUST。 ◎ The getRootNode(options) attribute’s getter must return context object’s shadow-including root if options’s composed is true, and context object’s root otherwise.

@parentNode

取得子は、此れの`親$を返さ~MUST。 ◎ The parentNode attribute’s getter must return the context object’s parent.

注記： $Attr `~node$には親はない。 ◎ An Attr node has no parent.

@parentElement

取得子は、此れの`親~要素$を返さ~MUST。 ◎ The parentElement attribute’s getter must return the context object’s parent element.

@hasChildNodes()

被呼出時には、［ 此れは`子$を持つならば~T ／ ~ELSE_ ~F ］を返さ~MUST。 ◎ The hasChildNodes() method, when invoked, must return true if the context object has children, and false otherwise.

@childNodes

取得子は、次のようにされた $NodeList `~collection$を返さ~MUST ⇒ `根$cl ~SET 此れ,
`~filter$は 此れの`子$のみに合致する ◎ The childNodes attribute’s getter must return a NodeList rooted at the context object matching only children.

@firstChild

取得子は、此れの`最初0の子$を返さ~MUST。 ◎ The firstChild attribute’s getter must return the context object’s first child.

@lastChild

取得子は、此れの`最後0の子$を返さ~MUST。 ◎ The lastChild attribute’s getter must return the context object’s last child.

@previousSibling

取得子は、此れの`兄$を返さ~MUST。 ◎ The previousSibling attribute’s getter must return the context object’s previous sibling.

注記： $Attr `~node$には`同胞$はない。 ◎ An Attr node has no siblings.

@nextSibling

取得子は、此れの`弟$を返さ~MUST。 ◎ The nextSibling attribute’s getter must return the context object’s next sibling.

@nodeValue

取得子は、此れの型に応じて，次を返さ~MUST：

$Attr

此れの`値$a ◎ Context object’s value.

`文字~data~node$◎Text, ProcessingInstruction, Comment

此れの`~data$ ◎ Context object’s data.

他の~node

~NULL

設定子は、次を走らせ~MUST： ◎ The nodeValue attribute must, on setting, if the new value is null, act as if it was the empty string instead, and then do as described below, depending on the context object:

1. %値 ~LET ［ 所与の値 ~NEQ ~NULL ならば それ ／ ~ELSE_ 空文字列 ］ ◎ ↑

2. 此れの型に応じて：

   $Attr

   ( 此れ, %値 ) で`既存の属性0値を設定-$する ◎ Set an existing attribute value with context object and new value.

   `文字~data~node$◎Text, ProcessingInstruction, Comment

   次を与える下で，此れの`~dataを置換-$する ⇒ ~offset: 0,
   ~count: 此れの`~length$,
   ~data: %値 ◎ Text, ProcessingInstruction, Comment ◎ Replace data with node context object, offset 0, count context object’s length, and data new value.

   他の~node

   何もしない ◎ Do nothing.

@textContent

取得子は、此れの型に応じて，次を返さ~MUST： ◎ The textContent attribute’s getter must return the following, switching on context object:

$DocumentFragment

$Element

此れのすべての $Text `~node$`子孫$の`~data$を，`木~順序$で連結した結果 ◎ The concatenation of data of all the Text node descendants of the context object, in tree order.

$Attr

此れの`値$a ◎ Context object’s value.

`文字~data~node$◎Text, ProcessingInstruction, Comment

此れの`~data$ ◎ Context object’s data.

$Document

$DocumentType

~NULL ◎ Null.

設定子は、次を走らせ~MUST： ◎ The textContent attribute’s setter must, if the given value is null, act as if it was the empty string instead, and then do as described below, switching on context object:

1. %値 ~LET ［ 所与の値 ~NEQ ~NULL ならば それ ／ ~ELSE_ 空文字列 ］ ◎ ↑

2. 此れの型に応じて：

   $DocumentFragment

   $Element

   1. %node ~LET ~NULL ◎ Let node be null.
   2. ~IF［ %値 ~NEQ 空文字列 ］ ⇒ %node ~SET `新たな~text~node$( %値, 此れの`~node文書$ ) ◎ If the given value is not the empty string, set node to a new Text node whose data is the given value and node document is context object’s node document.
   3. 此れ の内容を %node で`すべて置換-$する ◎ Replace all with node within the context object.

   $Attr

   ( 此れ, 所与の値 ) で`既存の属性0値を設定-$する ◎ Set an existing attribute value with context object and new value.

   `文字~data~node$◎Text, ProcessingInstruction, Comment

   次を与える下で，此れの`~dataを置換-$する ⇒ ~offset: 0,
   ~count: 此れの`~length$,
   ~data: %値 ◎ Replace data with node context object, offset 0, count context object’s length, and data the given value.

   $Document

   $DocumentType

   何もしない ◎ Do nothing.

%node . $normalize()

%node に含まれている`空$の`狭義の~Text0~node$は除去し、`連続的な狭義の~Text0~node列$に対しては，その最初の`~node$に~~後続の`~data$を連結してひとまとめにする。 ◎ Removes empty exclusive Text nodes and concatenates the data of remaining contiguous exclusive Text nodes into the first of their nodes.

【 この記述は、 “除去-” と “連結-” の順序に関し，微妙に正確でない — 実際の~algoでは、空 ^Text ~nodeのうち，［ 最初の~node %N が空でないような`連続的な狭義の~Text0~node列$ ］に含まれるものは、後続の空 ^Text ~nodeより先に %N に連結される（その結果として，除去されるが）。 】

@normalize()

被呼出時には、次を走らせ~MUST： ◎ The normalize() method, when invoked, must run these steps for each descendant exclusive Text node node of context object:

1. ~FOR 此れの`子孫$である ~EACH ( `狭義の~Text0~node$ %node ) に対し： ◎ Let node be the Text node descendant.

   【 木~順序で。 加えて，~~厳密に述べるなら、このループの処理で木から除去される ^Text ~nodeは（動的に）反復対象から除外する必要もある。 】

   1. %~length ~LET %node の`~length$ ◎ Let length be node’s length.
   2. %~length ~EQ 0 ⇒ %node をその親から`除去-$する；
      ~CONTINUE ◎ If length is zero, then remove node and continue with the next exclusive Text node, if any.
   3. %除去対象 ~LET %node の`連続的な狭義の~Text0~node列$から %node 自身（常に先頭になる）は除外した結果の~list ◎ ↓
   4. %data ~LET %除去対象 内の ~EACH ( %text ) の`~data$を順に連結した結果 ◎ Let data be the concatenation of the data of node’s contiguous exclusive Text nodes (excluding itself), in tree order.
   5. 次を与える下で， %node の`~dataを置換-$する ⇒ ~offset: %~length,
      ~count: 0,
      ~data: %data ◎ Replace data with node node, offset length, count 0, and data data.

   6. ~FOR %除去対象 内の ~EACH ( %text ) に対し，順に： ◎ Let currentNode be node’s next sibling. ◎ While currentNode is an exclusive Text node:

      1. ~FOR ~EACH ( `範囲0$ %R ) に対し： ◎ ↓

         1. ~IF［ %R の`始点~node$ ~EQ %text ］ ⇒ %R の`始点~offset$ ~INCBY %~length；
            %R の`始点~node$ ~SET %node ◎ For each range whose start node is currentNode, add length to its start offset and set its start node to node.
         2. ~IF［ %R の`終点~node$ ~EQ %text ］ ⇒ %R の`終点~offset$ ~INCBY %~length；
            %R の`終点~node$ ~SET %node ◎ For each range whose end node is currentNode, add length to its end offset and set its end node to node.
         3. ~IF［ %R の`始点~node$ ~EQ %text の`親$ ］~AND［ %R の`始点~offset$ ~EQ %text の`指数$ ］ ⇒ %R の`始点~node$ ~SET %node；
            %R の`始点~offset$ ~SET %~length ◎ For each range whose start node is currentNode’s parent and start offset is currentNode’s index, set its start node to node and its start offset to length.
         4. ~IF［ %R の`終点~node$ ~EQ %text の`親$ ］~AND［ %R の`終点~offset$ ~EQ %text の`指数$ ］ ⇒ %R の`終点~node$ ~SET %node；
            %R の`終点~offset$ ~SET %~length ◎ For each range whose end node is currentNode’s parent and end offset is currentNode’s index, set its end node to node and its end offset to length.
      2. %~length ~INCBY %text の`~length$ ◎ Add currentNode’s length to length. ◎ Set currentNode to its next sibling.
   7. ~FOR %除去対象 内の~EACH ( %text ) に対し，順に ⇒ %text をその親から`除去-$する ◎ Remove node’s contiguous exclusive Text nodes (excluding itself), in tree order.

%node . $cloneNode([deep = false])

%node の複製を返す。 %deep が~T の場合、複製には %node の`子孫$も含められる。 ◎ Returns a copy of node. If deep is true, the copy also includes the node’s descendants.

%node . $isEqualNode(otherNode)

%node と %otherNode が同じ~propを持つかどうかを返す。 ◎ Returns whether node and otherNode have the same properties.

`適用仕様$は、すべてのまたは一部の`~node$に対し, `~clone時の手続き@ を定義してもよい。 ~algoには，`~clone$ ~algoにて指示される ( %複製, %node, %文書, `~clone子孫^f（省略時は ~OFF ） ) が渡される。 ◎ Specifications may define cloning steps for all or some nodes. The algorithm is passed copy, node, document, and an optional clone children flag, as indicated in the clone algorithm.

注記： ~HTMLは `script$e ／ `input$e 要素に対する`~clone時の手続き$を定義する。 ~SVGもその `script^e 要素に対し同様にされるべきだが、現時点では，呼び出すことはない。 ◎ HTML defines cloning steps for script and input elements. SVG ought to do the same for its script elements, but does not call this out at the moment.

( `文書^i： %文書, `~clone子孫^f ) （いずれも省略可）が与えられた下で， %node を `~clone@ するときは、次を走らす： ◎ To clone a node, with an optional document and clone children flag, run these steps:

1. ~IF［ %文書 は与えられていない ］ ⇒ %文書 ~LET %node の`~node文書$ ◎ If document is not given, let document be node’s node document.

2. ~IF［ %node は`要素$である ］： ◎ If node is an element, then:

   1. %値 ~LET ［ %node は `is^A `属性0$nmを有するならば その値 ／ ~ELSE_ ~NULL ］ ◎ ↓

   2. %複製 ~LET `新たな要素$( %文書, %node の`局所名$, %node の`~ns$, %node の`~ns接頭辞$, %値, %同期~custom要素~flag ) — ここで ⇒ %同期~custom要素~flag は ~OFF にするべきである ◎ Let copy be the result of creating an element, given document, node’s local name, node’s namespace, node’s namespace prefix, and the value of node’s is attribute if present (or null if not). The synchronous custom elements flag should be unset.

   3. ~FOR %node の`属性0~list$内の ~EACH ( %属性0 ) に対し ⇒ ［ %属性0 を`~clone$した結果 ］を %複製 に`付加-$する ◎ For each attribute in node’s attribute list, in order, run these substeps: • Let copyAttribute be a clone of attribute. • Append copyAttribute to copy.

3. ~ELSE ⇒ %複製 ~LET %node の型に応じて，次のように設定された，［ %node と同じ~ifcを実装する新たな`~node$ ］： ◎ Otherwise, let copy be a node that implements the same interfaces as node, and fulfills these additional requirements, switching on node:

   $Document

   %複製 の［ `符号化方式$, `内容型$, `文書URL$, `種別$, `~mode$ ］ ~SET %node のそれら ◎ Set copy’s encoding, content type, URL, type, and mode, to those of node.

   $DocumentType

   %複製 の［ `文書型名$, `~publicID$, `~systemID$ ］ ~SET %node のそれら ◎ Set copy’s name, public ID, and system ID, to those of node.

   $Attr

   %複製 の［ `~ns$a, `~ns接頭辞$a, `局所名$a, `値$a, ］ ~SET %node のそれら ◎ Set copy’s namespace, namespace prefix, local name, and value, to those of node.

   $Text

   $Comment

   %複製 の`~data$ ~SET %node のそれ ◎ Set copy’s data, to that of node.

   $ProcessingInstruction

   %複製 の［ $ProcessingInstruction.target, `~data$ ］ ~SET %node のそれら ◎ Set copy’s target and data to those of node.

   他の~node

   — 【 すなわち， $DocumentFragment になるが、未策定？複製される項目がない？ 】 ◎ —

4. ~IF［ %複製 は`文書$である ］ ⇒ %文書 ~SET %複製 ◎ ↓
5. %複製 の`~node文書$ ~SET %文書 ◎ Set copy’s node document and document to copy, if copy is a document, and set copy’s node document to document otherwise.
6. 他の`適用仕様$において %node に対し定義されている`~clone時の手続き$があれば， ( %複製, %node, %文書, `~clone子孫^f ) を与える下で，それを走らす ◎ Run any cloning steps defined for node in other applicable specifications and pass copy, node, document and the clone children flag if set, as parameters.
7. ~IF［ `~clone子孫^f ~EQ ~ON ］ ⇒ ~FOR %node の~EACH ( `子$ %子 ) に対し 【木~順序で】 ⇒ ( `文書^i： %文書, `~clone子孫^f： ~ON ) を与える下で， %子 を`~clone$した結果を %複製 に付加する ◎ If the clone children flag is set, clone all the children of node and append them to copy, with document as specified and the clone children flag being set.
8. ~RET %複製 ◎ Return copy.

@cloneNode(deep)

被呼出時には、次を走らせ~MUST： ◎ The cloneNode(deep) method, when invoked, must run these steps:

1. ~IF［ 此れは`~shadow根$である ］ ⇒ ~THROW `NotSupportedError^E ◎ If context object is a shadow root, then throw a NotSupportedError.
2. ~RET ［ ( `~clone子孫^f：［ %deep ~EQ ~T ならば ~ON ／ ~ELSE_ ~OFF ］ ) を与える下で，此れを`~clone$した結果 ◎ Return a clone of the context object, with the clone children flag set if deep is true.

２つの`~node$ %A, %B は、次のいずれの条件も満たすならば， `等しい@ とされる。 ◎ A node A equals a node B if all of the following conditions are true:

• %A と %B の $nodeType 属性~値は一致する。 ◎ A and B’s nodeType attribute value is identical.

• %A の型に応じて，次も等しい： ◎ The following are also equal, depending on A:

  $DocumentType

  `文書型名$, `~publicID$, `~systemID$ ◎ Its name, public ID, and system ID.

  $Element

  `~ns$, `~ns接頭辞$, `局所名$, ［ `属性0~list$内の`属性0$の個数 ］ ◎ Its namespace, namespace prefix, local name, and its number of attributes in its attribute list.

  $Attr

  `~ns$a, `局所名$a, `値$a ◎ Its namespace, local name, and value.

  $ProcessingInstruction

  `~target$, `~data$ ◎ Its target and data.

  $Text

  $Comment

  `~data$ ◎ Its data.

  その他

  —

  【 すなわち， $Document, $DocumentFragment （ $ShadowRoot ） が該当するが、未策定？（少なくとも、 %A と %B が同一であれば，等しいとされるべき？） 】

• %A が`要素$である場合は ⇒ その`属性0~list$内のどの`属性0$ %属性 に対しても ⇒ %B の`属性0~list$内に %属性 に`等しい$`属性0$が在る ◎ If A is an element, each attribute in its attribute list has an attribute that equals an attribute in B’s attribute list.
• %A と %B は同じ個数の`子$を持つ ◎ A and B have the same number of children.
• %A のどの`子$も，同じ`指数$に位置する %B の`子$に`等しい$ ◎ Each child of A equals the child of B at the identical index.

@isEqualNode(otherNode)

被呼出時には、［［ %otherNode ~NEQ ~NULL ］~AND［ 此れと %otherNode は`等しい$ ］ならば~T ／ ~ELSE_ ~F ］を返さ~MUST。 ◎ The isEqualNode(otherNode) method, when invoked, must return true if otherNode is non-null and context object equals otherNode, and false otherwise.

@isSameNode(otherNode)

被呼出時には、［［ %otherNode ~EQ 此れ ］ならば~T ／ ~ELSE_ ~F ］を返さ~MUST。 ◎ The isSameNode(otherNode) method, when invoked, must return true if otherNode is context object, and false otherwise.

%node . $compareDocumentPosition(other)

%node に相対的な %other の位置を指示する~bitmaskを返す。 ~bitは次のように設定される： ◎ Returns a bitmask indicating the position of other relative to node. These are the bits that can be set:

$Node . $DOCUMENT_POSITION_DISCONNECTED `(1)^i

%node と %other が同じ`木$に属さないならば~ON にされる。 ◎ Set when node and other are not in the same tree.

$Node . $DOCUMENT_POSITION_PRECEDING `(2)^i

%other が %node に`先行-$するならば~ON にされる。 ◎ Set when other is preceding node.

$Node . $DOCUMENT_POSITION_FOLLOWING `(4)^i

%other が %node に`後続-$するならば~ON にされる。 ◎ Set when other is following node.

$Node . $DOCUMENT_POSITION_CONTAINS `(8)^i

%other が %node の`先祖$であるならば~ON にされる。 ◎ Set when other is an ancestor of node.

$Node . $DOCUMENT_POSITION_CONTAINED_BY `(16)^i

%other が %node の`子孫$であるならば~ON にされる。 ◎ Set when other is a descendant of node.

%node . $contains(other)

%other が %node の`広義子孫$ならば ~T, 他の場合は~F を返す。 ◎ Returns true if other is an inclusive descendant of node, and false otherwise.

次のものは $compareDocumentPosition() が~bitmaskとして返す定数である： ◎ These are the constants compareDocumentPosition() returns as mask:

• @DOCUMENT_POSITION_DISCONNECTED (1)
• @DOCUMENT_POSITION_PRECEDING (2)
• @DOCUMENT_POSITION_FOLLOWING (4)
• @DOCUMENT_POSITION_CONTAINS (8)
• @DOCUMENT_POSITION_CONTAINED_BY (16, 16進 10)
• @DOCUMENT_POSITION_IMPLEMENTATION_SPECIFIC (32, 16進 20)

@compareDocumentPosition(other)

被呼出時には、次を走らせ~MUST： ◎ The compareDocumentPosition(other) method, when invoked, must run these steps:

1. ~IF［ 此れ ~EQ %other ］ ⇒ ~RET 0 ◎ If context object is other, then return zero.
2. ( %他~node, %自~node ) ~LET ( %other, 此れ ) ◎ Let node1 be other and node2 be context object.
3. ( %他~属性0, %自~属性0 ) ~LET ( ~NULL, ~NULL ) ◎ Let attr1 and attr2 be null.
4. ~IF［ %他~node は`属性0$である ］ ⇒ %他~属性0 ~SET %他~node；
   %他~node ~SET %他~属性0 が`属する要素$ ◎ If node1 is an attribute, then set attr1 to node1 and node1 to attr1’s element.

5. ~IF［ %自~node は`属性0$である ］： ◎ If node2 is an attribute, then:

   1. %自~属性0 ~SET %自~node；
      %自~node ~SET %自~属性0 が`属する要素$ ◎ Set attr2 to node2 and node2 to attr2’s element.

   2. ~IF［ %他~属性0 ~NEQ ~NULL ］~AND［ %自~属性0 ~NEQ ~NULL ］~AND［ %自~node ~EQ %他~node ］： ◎ If attr1 and node1 are non-null, and node2 is node1, then:

      1. ~FOR %自~node の`属性0~list$内の ~EACH ( `属性0$ %属性0 ) に対し： ◎ For each attribute attr in node2’s attribute list:

         1. ~IF［ ( %属性0, %他~属性0 ) は`等しい$ ］ ⇒ ~RET $DOCUMENT_POSITION_IMPLEMENTATION_SPECIFIC ~PLUS $DOCUMENT_POSITION_PRECEDING ◎ If attr equals attr1, then return the result of adding DOCUMENT_POSITION_IMPLEMENTATION_SPECIFIC and DOCUMENT_POSITION_PRECEDING.
         2. ~IF［ ( %属性0, %自~属性0 ) は`等しい$ ］ ⇒ ~RET $DOCUMENT_POSITION_IMPLEMENTATION_SPECIFIC ~PLUS $DOCUMENT_POSITION_FOLLOWING ◎ If attr equals attr2, then return the result of adding DOCUMENT_POSITION_IMPLEMENTATION_SPECIFIC and DOCUMENT_POSITION_FOLLOWING.

6. ~IF［ %他~node ~EQ ~NULL ］~OR［ %自~node ~EQ ~NULL ］~OR［ %他~node の`根$ ~NEQ %自~node の`根$ ］ ⇒ ~RET ［ $DOCUMENT_POSITION_DISCONNECTED ~PLUS $DOCUMENT_POSITION_IMPLEMENTATION_SPECIFIC ~PLUS ［ $DOCUMENT_POSITION_PRECEDING または $DOCUMENT_POSITION_FOLLOWING （ただし，いずれが~~選択されるかは一貫するものとする）］ ］ ◎ If node1 or node2 is null, or node1’s root is not node2’s root, then return the result of adding DOCUMENT_POSITION_DISCONNECTED, DOCUMENT_POSITION_IMPLEMENTATION_SPECIFIC, and either DOCUMENT_POSITION_PRECEDING or DOCUMENT_POSITION_FOLLOWING, with the constraint that this is to be consistent, together.

   注記： $DOCUMENT_POSITION_PRECEDING, $DOCUMENT_POSITION_FOLLOWING のいずれを返値に用いるかは，概して~pointer比較により行われる。 JavaScript 実装においては `Math.random()^c で~~決定し得る。 ◎ Whether to return DOCUMENT_POSITION_PRECEDING or DOCUMENT_POSITION_FOLLOWING is typically implemented via pointer comparison. In JavaScript implementations a cached Math.random() value can be used.

   【 “一貫する” — 理想的には，各~node木の間の全順序関係も保たれるように一貫させるべきであろう。 】

7. ~IF［［ %他~node ~AN %自~node ］~AND［ %他~属性0 ~EQ ~NULL ］］~OR［［ %他~node ~EQ %自~node ］~AND［ %自~属性0 ~NEQ ~NULL ］］ ⇒ ~RET $DOCUMENT_POSITION_CONTAINS ~PLUS $DOCUMENT_POSITION_PRECEDING ◎ If node1 is an ancestor of node2 and attr1 is null, or node1 is node2 and attr2 is non-null, then return the result of adding DOCUMENT_POSITION_CONTAINS to DOCUMENT_POSITION_PRECEDING.
8. ~IF［［ %他~node ~DE %自~node ］~AND［ %自~属性0 ~EQ ~NULL ］］~OR［［ %他~node ~EQ %自~node ］~AND［ %他~属性0 ~NEQ ~NULL ］］ ⇒ ~RET $DOCUMENT_POSITION_CONTAINED_BY ~PLUS $DOCUMENT_POSITION_FOLLOWING ◎ If node1 is a descendant of node2 and attr2 is null, or node1 is node2 and attr1 is non-null, then return the result of adding DOCUMENT_POSITION_CONTAINED_BY to DOCUMENT_POSITION_FOLLOWING.
9. ~IF［ %他~node は %自~node に`先行-$する ］ ⇒ ~RET $DOCUMENT_POSITION_PRECEDING ◎ If node1 is preceding node2, then return DOCUMENT_POSITION_PRECEDING.

10. ~RET $DOCUMENT_POSITION_FOLLOWING ◎ Return DOCUMENT_POSITION_FOLLOWING.

    `属性0$は`木$に`関与-$しないが、この~algoに因り、`属性0$は，［ それを有する`要素$ ］の`子$に`先行-$するものとされることになる。 ◎ Due to the way attributes are handled in this algorithm this results in a node’s attributes counting as preceding that node’s children, despite attributes not participating in a tree.

@contains(other)

被呼出時には、次を走らせ~MUST：

1. ~IF［ %other ~EQ null ］ ⇒ ~RET ~F
2. ~IF［ %other ~iDE 此れ ］ ⇒ ~RET ~T
3. ~RET ~F

◎ The contains(other) method, when invoked, must return true if other is an inclusive descendant of context object, and false otherwise (including when other is null).

%要素 に対し， %~ns を用いて `~ns接頭辞を~locate@ するときは、次を走らす： ◎ To locate a namespace prefix for an element using namespace, run these steps:

1. ~IF［ %要素 の`~ns$ ~EQ %~ns ］~AND［ %要素 の`~ns接頭辞$ ~NEQ ~NULL ］ ⇒ ~RET %要素 の`~ns接頭辞$ ◎ If element’s namespace is namespace and its namespace prefix is not null, then return its namespace prefix.
2. ~IF［ %要素 は［ `~ns接頭辞$a ~EQ `xmlns^l ］~AND［ `値$a ~EQ %~ns ］なる`属性0$を`有する$ ］ ⇒ ~RET そのような`属性0$のうち，最初のものの`局所名$a ◎ If element has an attribute whose namespace prefix is "xmlns" and value is namespace, then return element’s first such attribute’s local name.
3. %親 ~SET %要素 の`親~要素$ ◎ ↓
4. ~IF［ %親 ~NEQ ~NULL ］ ⇒ ~RET %親 に対し %namespace を用いて `~ns接頭辞を~locate$した結果 ◎ If element’s parent element is not null, then return the result of running locate a namespace prefix on that element using namespace.
5. ~RET ~NULL ◎ Return null.

%node に対し， %接頭辞 を用いて `~nsを~locate@ するときは、次を走らす： ◎ To locate a namespace for a node using prefix switch on node:

1. %node の型に応じて： ◎ ↑

   $Element

   1. ~IF［ %node の`~ns$ ~NEQ ~NULL ］~AND［ %node の`~ns接頭辞$ ~EQ %接頭辞 ］ ⇒ ~RET その`~ns$ ◎ If its namespace is not null and its namespace prefix is prefix, then return namespace.

   2. ~IF［ %node は、［ %接頭辞 に応じて，次を満たす ］ような`属性0$ %属性0 （一意に~~定まる）を`有する$ ］…：

      %接頭辞 ~NEQ ~NULL の場合：

      ［ `~ns$a ~EQ `~XMLNS~ns$ ］~AND［ `~ns接頭辞$a ~EQ `xmlns^l ］~AND［ `局所名$a ~EQ %接頭辞 ］

      %接頭辞 ~EQ ~NULL の場合：

      ［ `~ns$a ~EQ `~XMLNS~ns$ ］~AND［ `~ns接頭辞$a ~EQ ~NULL ］~AND［ `局所名$a ~EQ `xmlns^l ］

      …ならば ⇒ ~RET ［ %属性0 の`値$a ~NEQ 空文字列 ならばそれ ／ ~ELSE_ ~NULL ］

      ◎ If it has an attribute whose namespace is the XMLNS namespace, namespace prefix is "xmlns", and local name is prefix, or if prefix is null and it has an attribute whose namespace is the XMLNS namespace, namespace prefix is null, and local name is "xmlns", then return its value if it is not the empty string, and null otherwise.

   3. %要素 ~LET %node の`親~要素$ ◎ If its parent element is null, then return null. ◎ Return the result of running locate a namespace on its parent element using prefix.

   $Document

   %要素 ~LET %node の`文書~要素$ ◎ If its document element is null, return null. ◎ Return the result of running locate a namespace on its document element using prefix.

   $DocumentType

   $DocumentFragment

   ~RET ~NULL ◎ Return null.

   $Attr

   %要素 ~LET %node が`属する要素$ ◎ If its element is null, then return null. ◎ Return the result of running locate a namespace on its element using prefix.

   他の~node（`文字~data~node$）◎Any other node

2. ~IF［ %要素 ~EQ ~NULL ］ ⇒ ~RET ~NULL ◎ ↑
3. ~RET %要素 に対し， %接頭辞 を用いて `~nsを~locate$した結果 ◎ ↑

@lookupPrefix(namespace)

被呼出時には、次を走らせ~MUST： ◎ The lookupPrefix(namespace) method, when invoked, must run these steps:

1. ~IF［ %namespace ~IN { ~NULL, 空文字列 } ］ ⇒ ~RET ~NULL ◎ If namespace is null or the empty string, return null.

2. %要素 ~LET 此れの型に応じて，次で与えられる［ 要素, または ~NULL ］： ◎ Switch on the context object:

   $Element

   此れ ◎ Return the result of locating a namespace prefix for the node using namespace.

   $Document

   此れの`文書~要素$ ◎ Return the result of locating a namespace prefix for its document element, if its document element is non-null, and null otherwise.

   $DocumentType

   $DocumentFragment

   ~NULL ◎ Return null.

   $Attr

   此れが`属する要素$ ◎ Return the result of locating a namespace prefix for its element, if its element is non-null, and null otherwise.

   他の~node（`文字~data~node$）◎Any other node

   此れの`親~要素$ ◎ Return the result of locating a namespace prefix for its parent element, if its parent element is non-null, and null otherwise.

3. ~RET ［ %要素 ~EQ ~NULL ならば ~NULL ／ ~ELSE_ %要素 に対し %namespace を用いて `~ns接頭辞を~locate$した結果 ］ ◎ ↑

@lookupNamespaceURI(prefix)

被呼出時には、次を走らせ~MUST： ◎ The lookupNamespaceURI(prefix) method, when invoked, must run these steps:

1. ~IF［ %prefix ~EQ 空文字列 ］ ⇒ %prefix ~SET ~NULL ◎ If prefix is the empty string, then set it to null.
2. ~RET 此れに対し， %prefix を用いて `~nsを~locate$した結果 ◎ Return the result of running locate a namespace for the context object using prefix.

@isDefaultNamespace(namespace)

被呼出時には、次を走らせ~MUST： ◎ The isDefaultNamespace(namespace) method, when invoked, must run these steps:

1. ~IF［ %namespace ~EQ 空文字列 ］ ⇒ %namespace ~SET ~NULL ◎ If namespace is the empty string, then set it to null.
2. %既定~ns ~LET 此れに対し，~NULL を用いて `~nsを~locate$した結果 ◎ Let defaultNamespace be the result of running locate a namespace for context object using null.
3. ~RET ［ %既定~ns ~EQ %namespace ならば ~T ／ ~ELSE_ ~F ］ ◎ Return true if defaultNamespace is the same as namespace, and false otherwise.

@insertBefore(node, child)

被呼出時には、此れの中で， %node を %child の前に`前挿入$した結果を返さ~MUST。 ◎ The insertBefore(node, child) method, when invoked, must return the result of pre-inserting node into context object before child.

【 ~HTMLの `br^e のような空~要素であっても（あるいは `script^e 要素であっても）、子~nodeを挿入でき, 木の一部を成すことになる。 次の $appendChild() も同様。 】

@appendChild(node)

被呼出時には、 %node を此れに`付加-$した結果を返さ~MUST。 ◎ The appendChild(node) method, when invoked, must return the result of appending node to context object.

@replaceChild(node, child)

被呼出時には、此れの中で %child を %node に`置換-$した結果を返さ~MUST。 ◎ The replaceChild(node, child) method, when invoked, must return the result of replacing child with node within context object.

@removeChild(child)

被呼出時には、 %child を此れから`前除去-$した結果を返さ~MUST。 ◎ The removeChild(child) method, when invoked, must return the result of pre-removing child from context object.

`~node$ %根 に対する， %有修飾~名 を `有修飾~名に持つ要素の~list@ とは、次のようにされた $HTMLCollection である ⇒ `根$cl ~SET %根,
`~filter$ ~SET ［ %根 の`子孫$である`要素$のうち，次で与えられる %条件 に合致する ］ような`~filter$： ◎ The list of elements with qualified name qualifiedName for a node root is the HTMLCollection returned by the following algorithm:

1. ~IF［ %有修飾~名 ~EQ `*^l (U+002A) ］ ⇒ %条件 ~SET なし ◎ If qualifiedName is "*" (U+002A), return a HTMLCollection rooted at root, whose filter matches only descendant elements.

2. ~ELIF［ %根 の`~node文書$は`~HTML文書$である ］ ⇒ %条件 ~SET 次のいずれかを満たす： ◎ Otherwise, if root’s node document is an HTML document, return a HTMLCollection rooted at root, whose filter matches the following descendant elements:

   • ［ `~ns$ ~EQ `~HTML~ns$ ］~AND［ `有修飾~名$ ~EQ %有修飾~名 の`~ASCII小文字化$ ］ ◎ Whose namespace is the HTML namespace and whose qualified name is qualifiedName, converted to ASCII lowercase.
   • ［ `~ns$ ~NEQ `~HTML~ns$ ］~AND［ `有修飾~名$ ~EQ %有修飾~名 ］ ◎ Whose namespace is not the HTML namespace and whose qualified name is qualifiedName.
3. ~ELSE ⇒ %条件 ~SET ［ `有修飾~名$ ~EQ %有修飾~名 ］ ◎ Otherwise, return a HTMLCollection rooted at root, whose filter matches descendant elements whose qualified name is qualifiedName.

以前の~callと同じ引数で呼出されたときは、 %根 の`~node文書$の`種別$が変化していない限り，そのときに返したものと同じ $HTMLCollection ~objを返してもよい。 ◎ When invoked with the same argument, and as long as root’s node document’s type has not changed, the same HTMLCollection object may be returned as returned by an earlier call.

`~node$ %根 に対する， ( %~ns, %局所名 ) を `( ~ns, 局所名 ) に持つ要素の~list@ とは、次のようにされた $HTMLCollection である ⇒ `根$cl ~SET %根,
`~filter$ ~SET ［ %根 の`子孫$である`要素$のうち，次で与えられる %条件 に合致する ］ような`~filter$： ◎ The list of elements with namespace namespace and local name localName for a node root is the HTMLCollection returned by the following algorithm:

1. %C ~LET `*^l (U+002A) ◎ ↓
2. ~IF［ %~ns ~EQ %C ］~AND［ %局所名 ~EQ %C ］ ⇒ %条件 ~SET なし ◎ If both namespace and localName are "*" (U+002A), return a HTMLCollection rooted at root, whose filter matches descendant elements.
3. ~ELIF［ %~ns ~EQ %C ］ ⇒ %条件 ~SET ［ `局所名$ ~EQ %局所名 ］ ◎ Otherwise, if namespace is "*" (U+002A), return a HTMLCollection rooted at root, whose filter matches descendant elements whose local name is localName.
4. ~ELIF［ %局所名 ~EQ %C ］ ⇒ %条件 ~SET ［ `~ns$ ~EQ %~ns ］ ◎ Otherwise, if localName is "*" (U+002A), return a HTMLCollection rooted at root, whose filter matches descendant elements whose namespace is namespace.
5. ~ELSE ⇒ %条件 ~SET ［ `~ns$ ~EQ %~ns ］~AND［ `局所名$ ~EQ %局所名 ］ ◎ Otherwise, return a HTMLCollection rooted at root, whose filter matches descendant elements whose namespace is namespace and local name is localName.

以前の~callと同じ引数で呼出されたときは，そのときに返したものと同じ $HTMLCollection ~objを返してもよい。 ◎ When invoked with the same arguments, the same HTMLCollection object may be returned as returned by an earlier call.

`~node$ %根 に対する，%classNames を `~classesに含む要素の~list@ とは、次の~algoが返す $HTMLCollection である： ◎ The list of elements with class names classNames for a node root is the HTMLCollection returned by the following algorithm:

1. %~classes ~LET %classNames を`有順序~集合 解析器$にかけた結果 ◎ Let classes be the result of running the ordered set parser on classNames.
2. ~IF［ %~classes は空である ］ ⇒ ~RET 空の $HTMLCollection ◎ If classes is the empty set, return an empty HTMLCollection.

3. ~RET 次のようにされた $HTMLCollection `~collection$ ⇒ `根$cl ~SET %根,
   `~filter$は［ %根 の`子孫$`要素$であって，その`~classes$は %~classes に含まれるすべての~tokenを含むもの ］に合致する ◎ Return a HTMLCollection rooted at root, whose filter matches descendant elements that have all their classes in classes.

   `~classes$と %~classes の中の各~tokenの比較は、［ %根 の`~node文書$の`~mode$が `quirks^l ならば `~ASCII大小無視$ ／ ~ELSE_ `大小区別$ ］で行われ~MUST。 ◎ The comparisons for the classes must be done in an ASCII case-insensitive manner if root’s node document’s mode is "quirks", and in a case-sensitive manner otherwise.

4.5. ~ifc ^@Document

$@Document `~node$は、単に `文書@ とも呼ばれている。 ◎ Document nodes are simply known as documents.

注記： ~modeが既定の~modeから変更されるのは、`文書$が，新たな`閲覧文脈$（初期の `about:blank^l ）から，［ DOCTYPE 文字列の有無, およびその値 ］に基づいて `~HTML解析器$を通して作成される場合に限られる。 `HTML$r ◎ The mode is only ever changed from the default for documents created by the HTML parser based on the presence, absence, or value of the DOCTYPE string, and by a new browsing context (initial "about:blank"). [HTML]

注記： `非過去互換~mode$ は 元々 “標準~mode” として知られ， `限定的互換~mode$ は かつては “ほぼ標準~mode” と呼ばれていた。 それらは今や標準により定義されたので（また、それらの元々の名称が的外れであることから Ian Hickson が否認したので）、改称された。 ◎ No-quirks mode was originally known as "standards mode" and limited-quirks mode was once known as "almost standards mode". They have been renamed because their details are now defined by standards. (And because Ian Hickson vetoed their original names on the basis that they are nonsensical.)

var %document = new $Document()

新たな`文書$を返す。 ◎ Returns a new document.

%document . $implementation

%document の $DOMImplementation ~objを返す。 ◎ Returns document’s DOMImplementation object.

%document . $URL

%document . $documentURI

%document の`文書URL$ を返す。 ◎ Returns document’s URL.

%document . $origin

%document の`生成元$を返す。 ◎ Returns document’s origin.

%document . $compatMode

%document の`~mode$が［ `quirks^l ならば文字列 `BackCompat^l ／ ~ELSE_ `CSS1Compat^l ］を返す。 ◎ Returns the string "BackCompat" if document’s mode is "quirks", and "CSS1Compat" otherwise.

%document . $characterSet

%document の`符号化方式$を返す。 ◎ Returns document’s encoding.

%document . $contentType

%document の`内容型$を返す。 ◎ Returns document’s content type.

@Document()

この構築子の被呼出時には、次のようにされた，新たな`文書$を返さ~MUST ⇒ `生成元$ ~SET `現在の大域~obj$に`結付けられている文書$の`生成元$ `HTML$r ◎ The Document() constructor, when invoked, must return a new document whose origin is the origin of current global object’s associated Document. [HTML]

注記： $DOMImplementation.createDocument() と違って、この構築子は $XMLDocument ~objではなく，`文書$（ $Document ~obj）を返す。 ◎ Unlike createDocument(), this constructor does not return an XMLDocument object, but a document (Document object).

@implementation

取得子は、此れ（`文書$）に結付けられている $DOMImplementation ~objを返さ~MUST。 ◎ The implementation attribute’s getter must return the DOMImplementation object that is associated with the document.

@URL

@documentURI

これらのいずれも，取得子は、此れの`文書URL$を`直列化-$した結果を返さ~MUST。 ◎ The URL attribute’s getter and documentURI attribute’s getter must return the URL, serialized.

@origin

取得子は、此れの`生成元$を`Unicode に直列化-$した結果を返さ~MUST。 ◎ The origin attribute’s getter must return the Unicode serialization of context object’s origin.

@compatMode

取得子は、［ 此れの`~mode$ ~EQ `quirks^l ならば `BackCompat^l ／ ~ELSE_ `CSS1Compat^l ］を返さ~MUST。 ◎ The compatMode attribute’s getter must return "BackCompat" if context object’s mode is "quirks", and "CSS1Compat" otherwise.

@characterSet

@charset

@inputEncoding

これらのいずれも，取得子は、此れの`符号化方式$の 名前 を返さ~MUST。 ◎ The characterSet attribute’s getter, charset attribute’s getter, and inputEncoding attribute’s getter, must return context object’s encoding’s name.

@contentType

取得子は、此れの`内容型$を返さ~MUST。 ◎ The contentType attribute’s getter must return the content type.

%document . $doctype

`文書型$が［ 在ればそれ ／ 無ければ~NULL ］を返す。 ◎ Returns the doctype or null if there is none.

%document . $documentElement

`文書~要素$を返す。 ◎ Returns the document element.

%collection = %document . $getElementsByTagName(qualifiedName)

%qualifiedName が `*^l の場合、`子孫$`要素$すべてからなる $HTMLCollection を返す。 ◎ If qualifiedName is "*" returns a HTMLCollection of all descendant elements.

他の場合、［ `有修飾~名$が %qualifiedName なる `子孫$`要素$ ］すべてからなる $HTMLCollection を返す（ `~HTML文書$ 内の`~HTML~ns$に属する`要素$に対しては，大小無視の合致による）。 ◎ Otherwise, returns a HTMLCollection of all descendant elements whose qualified name is qualifiedName. (Matches case-insensitively against elements in the HTML namespace within an HTML document.)

%collection = %document . $getElementsByTagNameNS(namespace, localName)

%namespace, %localName のいずれも `*^l の場合は、`子孫$`要素$すべてからなる $HTMLCollection を返す。 ◎ If namespace and localName are "*" returns a HTMLCollection of all descendant elements.

%namespace のみが `*^l の場合は、［ `局所名$が %localName なる `子孫$`要素$ ］すべてからなる $HTMLCollection を返す。 ◎ If only namespace is "*" returns a HTMLCollection of all descendant elements whose local name is localName.

%localName のみが `*^l の場合は、［ `~ns$が %namespace なる `子孫$`要素$ ］すべてからなる $HTMLCollection を返す。 ◎ If only localName is "*" returns a HTMLCollection of all descendant elements whose namespace is namespace.

他の場合は、［ `~ns$が %namespace, かつ `局所名$が %localName なる `子孫$`要素$ ］すべてからなる $HTMLCollection を返す。 ◎ Otherwise, returns a HTMLCollection of all descendant elements whose namespace is namespace and local name is localName.

%collection = %document . $getElementsByClassName(classNames)

%collection = %element . $Element.getElementsByClassName(classNames)

~methが呼出された~obj（`文書$または`要素$）内の`要素$のうち，［ %classNames で与えられる一連の~class名をすべて持つもの ］からなる $HTMLCollection を返す。 %classNames 引数は一連の~class名の~space区切り~listとして解釈される。 ◎ Returns a HTMLCollection of the elements in the object on which the method was invoked (a document or an element) that have all the classes given by classNames. The classNames argument is interpreted as a space-separated list of classes.

@doctype

取得子は、［ 此れの`子$である ］~AND［ `文書型$である ］ような~nodeのうち，`最初0$のものを返さ~MUST。 ◎ The doctype attribute’s getter must return the child of the document that is a doctype, and null otherwise.

@documentElement

取得子は、此れの`文書~要素$を返さ~MUST。 ◎ The documentElement attribute’s getter must return the document element.

@getElementsByTagName(qualifiedName)

被呼出時には、此れに対する， %qualifiedName を`有修飾~名に持つ要素の~list$を返さ~MUST。 ◎ The getElementsByTagName(qualifiedName) method, when invoked, must return the list of elements with qualified name qualifiedName for the context object.

注記： したがって，`~HTML文書$においては、 `document.getElementsByTagName("FOO")^c は `~HTML~ns$に属さない `FOO^e 要素と `~HTML~ns$に属する `foo^e 要素に合致し， `~HTML~ns$に属する `FOO^e 要素には合致しないことになる。 ◎ Thus, in an HTML document, document.getElementsByTagName("FOO") will match <FOO> elements that are not in the HTML namespace, and <foo> elements that are in the HTML namespace, but not <FOO> elements that are in the HTML namespace.

@getElementsByTagNameNS(namespace, localName)

被呼出時には、此れに対する， ( %namespace, %localName ) を `( ~ns, 局所名 ) に持つ要素の~list$を返さ~MUST。 ◎ The getElementsByTagNameNS(namespace, localName) method, when invoked, must return the list of elements with namespace namespace and local name localName for the context object.

@getElementsByClassName(classNames)

被呼出時には、此れに対する，%classNames を`~classesに含む要素の~list$を返さ~MUST。 ◎ The getElementsByClassName(classNames) method, when invoked, must return the list of elements with class names classNames for the context object.

次の XHTML 片が与えられたとする： ◎ Given the following XHTML fragment:

<div id="example">
  <p id="p1" class="aaa bbb"/>
  <p id="p2" class="aaa ccc"/>
  <p id="p3" class="bbb ccc"/>
</div>

document.getElementById(`example^l).getElementsByClassName(`aaa^l) の~callは、その中の 2 個の paragraph p1 と p2 からなる $HTMLCollection を返すことになる。 ◎ A call to document.getElementById("example").getElementsByClassName("aaa") would return a HTMLCollection with the two paragraphs p1 and p2 in it.

一方で， getElementsByClassName(`ccc bbb^l) の~callは その中の 1 個の~node p3 のみを返すことになる。 document.getElementById(`example^l).getElementsByClassName(`bbb   ccc ^l) の~callも同じものを返すことになる。 ◎ A call to getElementsByClassName("ccc bbb") would only return one node, however, namely p3. A call to document.getElementById("example").getElementsByClassName("bbb ccc ") would return the same thing.

getElementsByClassName(`aaa,bbb^l) の~callは 1 個の~nodeも返さない。 上のどの要素も `aaa,bbb^c ~classに属さない。 ◎ A call to getElementsByClassName("aaa,bbb") would return no nodes; none of the elements above are in the aaa,bbb class.

%element = %document . $createElement(localName [, options])

`局所名$が %localName であるような，`要素$を返す（ %document が`~HTML文書$である場合， %localName は小文字化される）。 `要素$の`~ns$は，［［ %document が`~HTML文書$である ］または［ %document の`内容型$ ~EQ `application/xhtml+xml^l ］ならば `~HTML~ns$ ／ 他の場合は ~NULL ］になる。 ◎ Returns an element with localName as local name (if document is an HTML document, localName gets lowercased). The element’s namespace is the HTML namespace when document is an HTML document or document’s content type is "application/xhtml+xml", and null otherwise.

%localName が `Name$prod 生成規則に合致しない場合は `InvalidCharacterError^E 例外が投出される。 ◎ If localName does not match the Name production an InvalidCharacterError will be thrown.

%options の $ElementCreationOptions.is ~memberを利用して，`~custom化された組込みの要素$を作成できる。 ◎ When supplied, options’ is member can be used to create a customized built-in element.

%element = %document . $createElementNS(namespace, qualifiedName [, options])

`~ns$ %namespace に属するような，新たな`要素$を返す。 その［ `~ns接頭辞$, `局所名$ ］は、順に，［ %qualifiedName が `:^l (U+003A) を含む ］ならば，それを挟んだ［ 前, 後 ］の部分，他の場合は［ ~NULL, %qualifiedName ］にされる。 ◎ Returns an element with namespace namespace. Its namespace prefix will be everything before ":" (U+003E) in qualifiedName or null. Its local name will be everything after ":" (U+003E) in qualifiedName or qualifiedName.

%qualifiedName が `Name$prod 生成規則に合致しない場合は `InvalidCharacterError^E 例外が投出される。 ◎ If localName does not match the Name production an InvalidCharacterError will be thrown.

次のいずれかを条件を満たす場合， `NamespaceError^E 例外が投出される： ◎ If one of the following conditions is true a NamespaceError will be thrown:

• %localName は `QName$prod 生成規則に合致しない。 ◎ localName does not match the QName production.
• %namespace は空文字列であるのに，`~ns接頭辞$は~NULL でない。 ◎ Namespace prefix is not null and namespace is the empty string.
• %namespace は`~XML~ns$でないのに，`~ns接頭辞$は `xml^l である。 ◎ Namespace prefix is "xml" and namespace is not the XML namespace.
• %namespace は`~XMLNS~ns$でないのに， %qualifiedName または`~ns接頭辞$は `xmlns^l である。 ◎ qualifiedName or namespace prefix is "xmlns" and namespace is not the XMLNS namespace.
• %namespace は`~XMLNS~ns$であるのに， %qualifiedName も`~ns接頭辞$も `xmlns^l でない。 ◎ namespace is the XMLNS namespace and neither qualifiedName nor namespace prefix is "xmlns".

%documentFragment = %document . $createDocumentFragment()

$DocumentFragment `~node$を返す。 ◎ Returns a DocumentFragment node.

%text = %document . $createTextNode(data)

`~data$が %data にされた，新たな $Text `~node$を返す。 ◎ Returns a Text node whose data is data.

%text = %document . $createCDATASection(data)

`~data$が %data にされた，新たな $CDATASection `~node$を返す。 ◎ Returns a CDATASection node whose data is data.

%comment = %document . $createComment(data)

`~data$が %data にされた，新たな $Comment `~node$を返す。 ◎ Returns a Comment node whose data is data.

%processingInstruction = %document . $createProcessingInstruction(target, data)

$target が %target にされ, `~data$が %data にされた，新たな $ProcessingInstruction `~node$を返す。 次の場合は `InvalidCharacterError^E 例外が投出される：

• %target が `Name$prod 生成規則に合致しない場合。
• %data が `?>^l を含んでいる場合。

◎ Returns a ProcessingInstruction node whose target is target and data is data. If target does not match the Name production an InvalidCharacterError will be thrown. If data contains "?>" an InvalidCharacterError will be thrown.

他が定められない限り，所与の ( 局所名, ~ns ) に `対応する要素~ifc@ は、 $Element とする。 ◎ The element interface for any name and namespace is Element, unless stated otherwise.

注記： 例えば，~HTML標準は、 ( `html$e, `~HTML~ns$ ) に対応するそれを， $HTMLHtmlElement ~ifcと定義している。 `HTML$r ◎ The HTML Standard will e.g. define that for html and the HTML namespace, the HTMLHtmlElement interface is used. [HTML]

@createElement(localName, options)

被呼出時には、次を走らせ~MUST： ◎ The createElement(localName, options) method, when invoked, must run these steps:

1. ~IF［ %localName は `Name$prod 生成規則に合致しない ］ ⇒ ~THROW `InvalidCharacterError^E ◎ If localName does not match the Name production, then throw an InvalidCharacterError.
2. ~IF［ 此れは`~HTML文書$ である ］ ⇒ %localName ~SET %localName の`~ASCII小文字化$ ◎ If the context object is an HTML document, let localName be converted to ASCII lowercase.
3. %is ~LET %options に $ElementCreationOptions.is ~memberが［ 在するならば その値 ／ 不在ならば ~NULL ］ ◎ Let is be the value of is member of options, or null if no such member exists.
4. %定義 ~LET ( 此れ, `~HTML~ns$, %localName, %is ) を与える下で，`~custom要素~定義を検索-$した結果 ◎ Let definition be the result of looking up a custom element definition, given the context object, the HTML namespace, localName, and is.
5. ~IF［ %is ~NEQ ~NULL ］~AND［ %定義 ~EQ ~NULL ］ ⇒ ~THROW `NotFoundError^E ◎ If is is non-null and definition is null, then throw a NotFoundError.
6. %~ns ~LET ［［ 此れは`~HTML文書$である ］~OR［ 此れの`内容型$ ~EQ `application/xhtml+xml^l ］ならば `~HTML~ns$ ／ ~ELSE_ ~NULL ］ ◎ Let namespace be the HTML namespace, if the context object is an HTML document or context object’s content type is "application/xhtml+xml", and null otherwise.
7. %要素 ~LET `新たな要素$( 此れ, %localName, %~ns, ~NULL, %is, ~ON ) （例外投出あり） ◎ Let element be the result of creating an element given the context object, localName, namespace, null, is, and with the synchronous custom elements flag set. Rethrow any exceptions.
8. ~IF［ %is ~NEQ ~NULL ］ ⇒ ( `is^l, %is ) を用いて， %要素 の`属性0値を設定-$する ◎ If is is non-null, then set an attribute value for element using "is" and is.
9. ~RET %要素 ◎ Return element.

`内的 createElementNS 手続き@ は、所与の ( %文書, %namespace, %qualifiedName, %options ) に対し，次を走らす： ◎ The internal createElementNS steps, given document, namespace, qualifiedName, and options, are as follows:

1. ( %~ns, %接頭辞, %局所名 ) ~LET ( %namespace, %qualifiedName ) に対し`検証して抽出-$した結果 （例外投出あり） ◎ Let namespace, prefix, and localName be the result of passing namespace and qualifiedName to validate and extract. Rethrow any exceptions.
2. %定義 ~LET ( %文書, %~ns, %局所名, %is ) を与える下で，`~custom要素~定義を検索-$した結果 ◎ Let definition be the result of looking up a custom element definition, given the context object, namespace, localName, and is.
3. %要素 ~LET `新たな要素$( %文書, %局所名, %~ns, %接頭辞, %is, ~ON ) （例外投出あり） ◎ Let element be the result of creating an element given document, localName, namespace, prefix, is, and with the synchronous custom elements flag set. Rethrow any exceptions.

@createElementNS(namespace, qualifiedName, options)

被呼出時には、 ( 此れ, %namespace, %qualifiedName, %options ) を与える下で， `内的 createElementNS 手続き$を走らせた結果を返さ~MUST。 ◎ The createElementNS(namespace, qualifiedName, options) method, when invoked, must return the result of running the internal createElementNS steps, given context object, namespace, qualifiedName, and options.

@createDocumentFragment()

被呼出時には、次のように設定された 新たな`文書片$を返さ~MUST ⇒ `~node文書$ ~SET 此れ ◎ The createDocumentFragment() method, when invoked, must return a new DocumentFragment node with its node document set to the context object.

@createTextNode(data)

被呼出時には、 `新たな~text~node$( %data, 此れ ) を返さ~MUST ◎ The createTextNode(data) method, when invoked, must return a new Text node with its data set to data and node document set to the context object.

注記： %data が `Char$prod 生成規則に合致する文字のみからなるかどうかは、検査されない。 ◎ No check is performed that data consists of characters that match the Char production.

@createCDATASection(data)

被呼出時には、次を走らせ~MUST： ◎ The createCDATASection(data) method, when invoked, must run these steps:

1. ~IF［ 此れは`~HTML文書$である ］ ⇒ ~THROW `NotSupportedError^E ◎ If context object is an HTML document, then throw a NotSupportedError.
2. ~IF［ %data は文字列 `]]>^l を包含する ］ ⇒ ~THROW `InvalidCharacterError^E ◎ If data contains the string "]]>", then throw an InvalidCharacterError.
3. ~RET 次のようにされた，新たな $CDATASection `~node$ ⇒ ( `~data$, `~node文書$ ) ~SET ( %data, 此れ ) ◎ Return a new CDATASection node with its data set to data and node document set to the context object.

@createComment(data)

被呼出時には、次のように設定された 新たな $Comment `~node$を返さ~MUST ⇒ `~data$ ~SET %data,
`~node文書$ ~SET 此れ ◎ The createComment(data) method, when invoked, must return a new Comment node with its data set to data and node document set to the context object.

注記： %data が `Char$prod 生成規則に合致する文字からなるかどうかや, 連続する 2 個の~hyphen（ "--" ）を含むかどうか, ~hyphenで終わるかどうかは、検査されない。 ◎ No check is performed that data consists of characters that match the Char production or that it contains two adjacent hyphens or ends with a hyphen.

@createProcessingInstruction(target, data)

被呼出時には、次を走らせ~MUST： ◎ The createProcessingInstruction(target, data) method, when invoked, must run these steps:

1. ~IF［ %target は `Name$prod 生成規則に合致しない ］ ⇒ ~THROW `InvalidCharacterError^E ◎ If target does not match the Name production, then throw an InvalidCharacterError.
2. ~IF［ %data は文字列 `?>^l を含む ］ ⇒ ~THROW `InvalidCharacterError^E ◎ If data contains the string "?>", then throw an InvalidCharacterError.
3. ~RET 次のように設定された 新たな $ProcessingInstruction `~node$ ⇒ $ProcessingInstruction.target ~SET %target ,
   `~data$ ~SET %data ,
   `~node文書$ ~SET 此れ ◎ Return a new ProcessingInstruction node, with target set to target, data set to data, and node document set to the context object.

注記： %target が `xml^l または `:^l を含むかどうか, あるいは %data が `Char$prod 生成規則に合致する文字を含むかどうかは，検査されない。 ◎ No check is performed that target contains "xml" or ":", or that data contains characters that match the Char production.

%clone = %document . $importNode(node [, deep = false])

%node の複製を返す。 %deep が~T の場合、複製には %node の`子孫$も含められる。 ◎ Returns a copy of node. If deep is true, the copy also includes the node’s descendants.

%node が`文書$または`~shadow根$である場合， `NotSupportedError^E 例外が投出される。 ◎ If node is a document or a shadow root, throws a NotSupportedError.

%node = %document . $adoptNode(node)

%node を他の`文書$から移動させた上で，それを返す。 ◎ Moves node from another document and returns it.

%node が`文書$である場合， `NotSupportedError^E 例外が投出される。 %node が`~shadow根$である場合， `HierarchyRequestError^E 例外が投出される。 ◎ If node is a document, throws a NotSupportedError or, if node is a shadow root, throws a HierarchyRequestError.

@importNode(node, deep)

被呼出時には、次を走らせ~MUST： ◎ The importNode(node, deep) method, when invoked, must run these steps:

1. ~IF［ %node は `文書$または`~shadow根$である ］ ⇒ ~THROW `NotSupportedError^E ◎ If node is a document or shadow root, then throw a NotSupportedError.
2. ~RET［ ( `文書^i： 此れ, `~clone子孫^f：［ %deep ~EQ ~T ならば ~ON ／ ~ELSE_ ~OFF ］ ) を与える下で， %node を`~clone$した結果 ◎ Return a clone of node, with context object and the clone children flag set if deep is true.

`適用仕様$は、一部またはすべての`~node$に対し， `受入-時の手続き@ を定義してよい。 ~algoの引数には，`受入-$ ~algoに指示される %node と %旧-文書 が渡される。 ◎ Specifications may define adopting steps for all or some nodes. The algorithm is passed node and oldDocument, as indicated in the adopt algorithm.

%node を %文書 に`受入-@するときは、次を走らす： ◎ To adopt a node into a document, run these steps:

1. %旧-文書 ~LET %node の`~node文書$ ◎ Let oldDocument be node’s node document.
2. ~IF［ %node の`親$ ~NEQ ~NULL ］ ⇒ %node を %node の`親$から`除去-$する ◎ If node’s parent is not null, remove node from its parent.

3. ~IF［ %文書 ~NEQ %旧-文書 ］： ◎ If document is not the same as oldDocument, run these substeps:

   1. ~FOR %node の ~EACH ( `~shadowも含む広義子孫$ %広義子孫 ) に対し ◎ For each inclusiveDescendant in node’s shadow-including inclusive descendants, run these subsubsteps:

      1. %広義子孫 の`~node文書$ ~SET %文書 ◎ Set inclusiveDescendant’s node document to document.
      2. ~IF［ %広義子孫 は`要素$である ］ ⇒ %広義子孫 の`属性0~list$内の ~EACH ( %属性0 ) に対し ⇒ %属性0 の`~node文書$ ~SET %文書 ◎ If inclusiveDescendant is an element, then set the node document of each attribute in inclusiveDescendant’s attribute list to document.
   2. ~FOR %node の ~EACH ( `~shadowも含む広義子孫$ %広義子孫 ) に対し ⇒ ~IF［ %広義子孫 は`~custom$である ］ ⇒ 次を与える下で，`~custom要素~callback反応を待入れる$ ⇒ %広義子孫,
      ~callback名： `adoptedCallback^l,
      引数~list： ( %旧-文書, %文書 ) ◎ For each inclusiveDescendant in node’s shadow-including inclusive descendants that is a custom element, enqueue a custom element callback reaction with inclusiveDescendant, callback name "adoptedCallback", and an argument list containing oldDocument and document.
   3. ~FOR %node の ~EACH ( `~shadowも含む広義子孫$ %広義子孫 ) に対し，`~shadowも含む木~順序$で ⇒ ( %広義子孫, %旧-文書 ) を与える下で，`受入-時の手続き$を走らす ◎ For each inclusiveDescendant in node’s shadow-including inclusive descendants, in shadow-including tree order, run the adopting steps with inclusiveDescendant and oldDocument.

@adoptNode(node)

被呼出時には、次を走らせ~MUST： ◎ The adoptNode(node) method, when invoked, must run these steps:

1. ~IF［ %node は`文書$である ］ ⇒ ~THROW `NotSupportedError^E ◎ If node is a document, then throw a NotSupportedError.
2. ~IF［ %node は`~shadow根$である ］ ⇒ ~THROW `HierarchyRequestError^E ◎ If node is a shadow root, then throw a HierarchyRequestError.
3. %node を此れに`受入-$する ◎ Adopt node into the context object.
4. ~RET %node ◎ Return node.

@createAttribute(localName)

被呼出時には、次を走らせ~MUST： ◎ The createAttribute(localName) method, when invoked, must run these steps:

1. ~IF［ %localName は~XMLの `Name$prod 生成規則に合致しない ］ ⇒ ~THROW `InvalidCharacterError^E ◎ If localName does not match the Name production in XML, then throw an InvalidCharacterError.
2. ~IF［ 此れは`~HTML文書$である ］ ⇒ %localName ~SET %localName を `~ASCII小文字化$した結果 ◎ If the context object is an HTML document, let localName be converted to ASCII lowercase.
3. ~RET 次のように設定された 新たな`属性0$ ⇒ `局所名$a ~SET %localName,
   `~node文書$ ~SET 此れ ◎ Return a new attribute whose local name is localName and node document is context object.

@createAttributeNS(namespace, qualifiedName)

被呼出時には、次を走らせ~MUST： ◎ The createAttributeNS(namespace, qualifiedName) method, when invoked, must run these steps:

1. ~RET 次のように設定された 新たな`属性0$：

   • `~ns$a ~SET %~ns
   • `~ns接頭辞$a ~SET %接頭辞
   • `局所名$a ~SET %局所名
   • `~node文書$ ~SET 此れ
   ◎ Return a new attribute whose namespace is namespace, namespace prefix is prefix, local name is localName, and node document is context object.

@createEvent(interface)

被呼出時には、次を走らせ~MUST： ◎ The createEvent(interface) method, when invoked, must run these steps:

1. %構築子 ~LET ~NULL ◎ Let constructor be null.

2. ~IF［ %interface は［ 下の表のいずれかの行の 1 列目の文字列 ］に `~ASCII大小無視$で合致する ］ ⇒ %構築子 ~SET ［ 合致した行の 2 列目の~ifc ］の構築子 ◎ If interface is an ASCII case-insensitive match for any of the strings in the first column in the following table, then set constructor to the interface in the second column on the same row as the matching string:

   文字列◎String	~ifc◎Interface	仕様（空欄はこの仕様）◎Notes
   `animationevent^l	$AnimationEvent	`CSS3-ANIMATIONS$r
   `beforeunloadevent^l	$BeforeUnloadEvent	`HTML$r
   `closeevent^l	$CloseEvent	同上
   `compositionevent^l	$CompositionEvent	`UIEVENTS$r
   `customevent^l	$CustomEvent
   `devicemotionevent^l	^DeviceMotionEvent	`DEVICE-ORIENTATION$r
   `deviceorientationevent^l	^DeviceOrientationEvent	同上
   `dragevent^l	$DragEvent	`HTML$r
   `errorevent^l	$ErrorEvent	同上
   `event^l	$Event
   `events^l	同上
   `focusevent^l	$FocusEvent	`UIEVENTS$r
   `hashchangeevent^l	$HashChangeEvent	`HTML$r
   `htmlevents^l	$Event
   `idbversionchangeevent^l	$IDBVersionChangeEvent	`INDEXEDDB$r
   `keyboardevent^l	$KeyboardEvent	`UIEVENTS$r
   `messageevent^l	$MessageEvent	`HTML$r
   `mouseevent^l	$MouseEvent	`UIEVENTS$r
   `mouseevents^l	同上	同上
   `pagetransitionevent^l	$PageTransitionEvent	`HTML$r
   `popstateevent^l	$PopStateEvent	同上
   `progressevent^l	$ProgressEvent	`XHR$r
   `storageevent^l	$StorageEvent	`HTML$r
   `svgevents^l	$Event
   `svgzoomevent^l	$SVGZoomEvent	`SVG$r
   `svgzoomevents^l	同上	同上
   `textevent^l	$CompositionEvent	`UIEVENTS$r
   `touchevent^l	$TouchEvent	`TOUCH-EVENTS$r
   `trackevent^l	$TrackEvent	`HTML$r
   `transitionevent^l	$TransitionEvent	`CSS3-TRANSITIONS$r
   `uievent^l	$UIEvent	`UIEVENTS$r
   `uievents^l	同上	同上
   `webglcontextevent^l	^WebGLContextEvent	`WEBGL$r
   `wheelevent^l	$WheelEvent	`UIEVENTS$r

3. ~IF［ %構築子 ~EQ ~NULL ］ ⇒ ~THROW `NotSupportedError^E ◎ If constructor is null, then throw a NotSupportedError.

4. ~IF［ %構築子 の初期値 ~EQ undefined ］ ⇒ ~THROW `NotSupportedError^E ◎ If the initial value of constructor is undefined, then throw a NotSupportedError.

   概して~UAは、環境設定によっては，~touch~eventの~supportを不能化する — その場合、 $TouchEvent の初期値は undefined になる。 ◎ Typically user agents disable support for touch events in some configurations, in which case the initial value of TouchEvent is undefined.

5. %~event ~LET ( 空文字列 ) を引数に，%構築子 の初期値を 呼び出した結果 ◎ Let event be the result of invoking the initial value of constructor with the empty string as argument.
6. %~event の`初期化済み$f ~SET ~OFF ◎ Unset event’s initialized flag.
7. ~RET %~event ◎ Return event.

注記： 代わりに，`~event$構築子が利用されるべきである。 ◎ Event constructors ought to be used instead.

@createRange()

被呼出時には、次のように設定された 新たな`範囲0$を返さ~MUST ⇒ `始点$ ~SET (此れ, 0) ,
`終点$ ~SET (此れ, 0) ◎ The createRange() method, when invoked, must return a new range with (context object, 0) as its start and end.

注記： 代わりに， $Range.Range() 構築子が利用されるべきである。 ◎ The Range() constructor ought to be used instead.

@createNodeIterator(root, whatToShow, filter)

被呼出時には、次のように設定された 新たな $NodeIterator ~objを返さ~MUST： ◎ The createNodeIterator(root, whatToShow, filter) method, when invoked, must run these steps:

• `根~node$ ~SET %root ◎ Create a NodeIterator object. ◎ Set root to root and initialize the referenceNode attribute to root.
• $NodeIterator.referenceNode 属性 ~SET %root に初期化- ◎ ↑
• $NodeIterator.pointerBeforeReferenceNode 属性 ~SET ~T に初期化- ◎ Initialize the pointerBeforeReferenceNode attribute to true.
• `whatToShow ~bitmask$ ~SET %whatToShow ◎ Set whatToShow to whatToShow.
• `~filter~callback$ ~SET %filter ◎ Set filter to filter. ◎ Return the newly created NodeIterator object.

@createTreeWalker(root, whatToShow, filter)

被呼出時には、次のように設定された 新たな $TreeWalker ~objを返さ~MUST： ◎ The createTreeWalker(root, whatToShow, filter) method, when invoked, must run these steps:

• `根~node$ ~SET %root ◎ Create a TreeWalker object. ◎ Set root to root and initialize the currentNode attribute to root.
• $TreeWalker.currentNode 属性 ~SET %root に初期化- ◎ ↑
• `~filter~callback$ ~SET %filter ◎ Set filter to filter. ◎ Return the newly created TreeWalker object.

4.6. ~ifc ^@DocumentType

$DocumentType `~node$は、単に `文書型@ （ doctype ）とも呼ばれている。 ◎ DocumentType nodes are simply known as doctypes.

@name

取得子は、此れの`文書型名$を返さ~MUST。 ◎ The name attribute’s getter must return the context object’s name.

@publicId

取得子は、此れの`~publicID$を返さ~MUST。 ◎ The publicId attribute’s getter must return the context object’s public ID.

@systemId

取得子は、此れの`~systemID$を返さ~MUST。 ◎ The systemId attribute’s getter must return the context object’s system ID.

4.7. ~ifc ^@DocumentFragment

【 この訳では， $DocumentFragment `~node$を `文書片@ と記すことにする。 】

各 `文書片$には、 `~host@ が結付けられる — それは，［ ~NULL, 異なる`~node木$内にある`要素$ ］のいずれかであり、他が定められない限り，~NULL とする。 ◎ A DocumentFragment node has an associated host (null or an element in a different node tree). It is null unless otherwise stated.

注記： `文書片$の`~host$は，~HTMLの `template$e 要素と`~shadow根$で有用になる概念であり、`前挿入$および`置換-$の~algoに影響0する。 ◎ The DocumentFragment node’s host concept is useful for HTML’s template element and for shadow roots, and impacts the pre-insert and replace algorithms.

var %tree = new $DocumentFragment()

新たな`文書片$を返す。 ◎ Returns a new DocumentFragment node.

@DocumentFragment()

この構築子の被呼出時には、次のようにされた新たな`文書片$を返さ~MUST ⇒ `~node文書$ ~SET `現在の大域~obj$に`結付けられている文書$ ◎ The DocumentFragment() constructor, when invoked, must return a new DocumentFragment node whose node document is current global object’s associated Document.

4.8. ~ifc ^@ShadowRoot

$ShadowRoot ~nodeは、単に `~shadow根@ （ shadow root ）とも呼ばれている。 ◎ ShadowRoot nodes are simply known as shadow roots.

各 `~shadow根$には、 `~mode@sR が結付けられる。 それは、［ `open^l, `closed^l ］のいずれかである。 ◎ Shadow roots have an associated mode("open" or "closed").

`~shadow根$の`~host$が ~NULL になることは決してない。 ◎ Shadow roots’s associated host is never null.

@mode

取得子は、此れの`~mode$sRを返さ~MUST。 ◎ The mode attribute’s getter must return the context object’s mode.

@host

取得子は、此れの`~host$を返さ~MUST。 ◎ The host attribute’s getter must return the context object’s host.

`~shadowも含む木~順序@ は、`木$に対する`~shadowも含む深優先前順走査$に従う順序である。 `~node木$ %木 に対する `~shadowも含む深優先前順走査@ は、［ %木 に対する深優先前順走査† ］に従いつつ， %木 において［ `~shadow~host$である`要素$ %要素 ］に遭遇した各所では，［［ %要素 の`~shadow根$elmの`~node木$†† ］に対する，`~shadowも含む深優先前順走査$ ］に従う。 ◎ In shadow-including tree order, is shadow-including preorder, depth-first traversal of a node tree. shadow-including preorder, depth-first traversal of a node tree tree is preorder, depth-first traversal of tree, with for each shadow host encountered in tree, shadow-including preorder, depth-first traversal of that element’s shadow root’s node tree just after it is encountered.

【† すなわち，通常の`木~順序$ 】【†† すなわち，その~shadow根を`根$とするような`~shadow木$ 】

~obj %O の `~shadowも含む根@ とは、 %O の`根$を %根 とするとき，［ %根 は`~shadow根$であるならば %根 の`~host$の`~shadowも含む根$ ／ ~ELSE_ %根 ］である。 ◎ The shadow-including root of an object is its root’s host’s shadow-including root, if the object’s root is a shadow root, and its root otherwise.

~obj %A が~obj %B の `~shadowも含む子孫@ であるとは、次を意味する ⇒ ［ %A は %B の`子孫$である ］~OR［ %A の`根$ %根 は`~shadow根$であって， %根 の`~host$は %B の`~shadowも含む広義子孫$である ］ ◎ An object A is a shadow-including descendant of an object B, if A is a descendant of B, or A’s root is a shadow root and A’s root’s host is a shadow-including inclusive descendant of B.

~obj %A が~obj %B の `~shadowも含む広義子孫@ であるとは、次を意味する ⇒ ［ %A ~EQ %B ］~OR［ %A は %B の`~shadowも含む子孫$である ］ ◎ A shadow-including inclusive descendant is an object or one of its shadow-including descendants.

~obj %A が~obj %B の `~shadowも含む先祖@ であるとは、次を意味する ⇒ %B は %A の`~shadowも含む子孫$である ◎ An object A is a shadow-including ancestor of an object B, if and only if B is a shadow-including descendant of A.

~obj %A が~obj %B の `~shadowも含む広義先祖@ であるとは、次を意味する ⇒［ %A ~EQ %B ］~OR［ %A は %B の`~shadowも含む先祖$である ］ ◎ A shadow-including inclusive ancestor is an object or one of its shadow-including ancestors.

`~node$ %A が `~node$ %B から `~closed-shadow-hidden@ であるとは、 %A の`根$ %根 が次のすべてを満たすことを意味する： ◎ A node A is closed-shadow-hidden from a node B if all of the following conditions are true:

• %根 は`~shadow根$である ◎ A’s root is a shadow root.
• %根 は %B の`~shadowも含む広義先祖$でない ◎ A’s root is not a shadow-including inclusive ancestor of B.
• ［ %根 の`~mode$sR ~EQ `closed^l ］~OR［ %根 の`~host$は %B から`~closed-shadow-hidden$である ］ ◎ A’s root is a shadow root whose mode is "closed" or A’s root’s host is closed-shadow-hidden from B.

~obj %B に対し，~obj %A を `再target@ するときは、次を走らす： ◎ To retarget an object A against an object B, repeat these steps until they return an object:

1. ~WHILE 無条件： ◎ ↑

   1. %根 ~LET %A の`根$ ◎ ↓
   2. ~IF［ %根 は`~shadow根$でない ］~OR［ %根 は %B の`~shadowも含む広義先祖$である ］ ⇒ ~RET %A ◎ If A’s root is not a shadow root, or A’s root is a shadow-including inclusive ancestor of B, then return A.
   3. %A ~SET %根 の`~host$ ◎ Set A to A’s root’s host.

課題： この~objについての更なる情報は、今の所， Shadow DOM にて見れる。 ~DOM標準には、時経過に伴い，それらの詳細が含められることになる。 ◎ For now you can find more information about this object in Shadow DOM. The DOM Standard will be updated over time to cover more details.

4.9. ~ifc ^@Element

$@Element `~node$は、単に `要素@ とも呼ばれている。 ◎ Element nodes are simply known as elements.

各 `要素$には［ `~ns@, `~ns接頭辞@, `局所名@, `~custom要素~状態@, `~custom要素~定義@, `~is0値@ ］が結付けられる。 これらのいずれの値も，`要素を作成-$するときに初期化される。 ◎ Elements have an associated namespace, namespace prefix, local name, custom element state, custom element definition, is value. When an element is created, all of these values are initialized.

`要素$の`~custom要素~状態$は、［ `undefined^l ／ `failed^l ／ `uncustomized^l ／ `custom^l ］のいずれかである。 `要素$のうち［ `~custom要素~状態$ ~IN { `uncustomized^l ／ `custom^l } ］なるものは、 `定義済み@ という。 `要素$のうち［ `~custom要素~状態$ ~EQ `custom^l ］なるものは、 `~custom@ という。 ◎ An element’s custom element state is one of "undefined", "failed", "uncustomized", or "custom". An element whose custom element state is "uncustomized" or "custom" is said to be defined. An element whose custom element state is "custom" is said to be custom.

注記： 要素が`定義済み$かどうかは、 :defined 疑似類の挙動を決定するときに利用される。 要素が`~custom$であるかどうかは、 変異~algo の挙動を決定するときに利用される。 `failed^l 状態は、`~custom要素~構築子$が初回に正しく実行するのに失敗した場合に，`昇格$により再び実行されないことを確保するために利用される。 ◎ Whether or not an element is defined is used to determine the behavior of the :defined pseudo-class. Whether or not an element is custom is used to determine the behavior of the mutation algorithms. The "failed" state is used to ensure that if a custom element constructor fails to execute correctly the first time, it is not executed again by an upgrade.

<!DOCTYPE html>
<script>
  window.customElements.define(
    "sw-rey",
    class extends HTMLElement {}
  );
  window.customElements.define(
    "sw-finn",
    class extends HTMLElement {},
    { extends: "p" }
  );
  window.customElements.define(
    "sw-kylo",
    class extends HTMLElement {
      constructor() {
        /* 
`super()^c は、この例からは意図的に省略している。
◎
super() intentionally omitted for this example
 */
    }
  });
</script>

<!-- 
`undefined^l （`定義済み$でも`~custom$でもない）
◎
"undefined" (not defined, not custom)
 -->
<sw-han></sw-han>
<p is="sw-luke"></p>
<p is="asdf"></p>

<!-- 
`failed^l （`定義済み$でも`~custom$でもない）
◎
"failed" (not defined, not custom)
 -->
<sw-kylo></sw-kylo>

<!-- 
`uncustomized^l （`定義済み$であるが`~custom$ではない）
◎
"uncustomized" (defined, not custom)
 -->
<p></p>
<asdf></asdf>

<!-- 
`custom^l （`定義済み$であって`~custom$でもある）
◎
"custom" (defined, custom)
 -->
<sw-rey></sw-rey>
<p is="sw-finn"></p>

`要素$には `~shadow根@elm （ ~NULL, または `~shadow根$）も結付けられる。 他が定められない限り，~NULL とする。 `要素$のうち，［ `~shadow根$elm ~NEQ ~NULL ］なるものは、 `~shadow~host@ とされる。 ◎ Elements also have an associated shadow root (null or a shadow root). It is null unless otherwise stated. An element is a shadow host if its shadow root is non-null.

`要素$ %要素 の `有修飾~名@ とは、［ %要素 の`~ns接頭辞$ ~EQ ~NULL ならば %要素 の`局所名$ ／ ~ELSE_［ %要素 の`~ns接頭辞$, `:^l, %要素 の`局所名$ ］の並びである。 ◎ An element’s qualified name is its local name if its namespace prefix is null, and its namespace prefix, followed by ":", followed by its local name, otherwise.

~UAは、これを内的~slotに持たせて最適化することもできるが、要求されるわけでない。 この概念は、可読性のために，この標準に取り入れられている。 ◎ User agents could have this as an internal slot as an optimization, but are not required to do so. The standard has this concept for readability.

`要素を作成-@ するときは、所与の ( %文書, %局所名, %~ns, %接頭辞 （省略時は ~NULL ）, %is （省略時は ~NULL ）, %同期~custom要素~flag （省略時は ~OFF ）) に対し，次の手続きを走らす： ◎ To create an element, given a document, localName, namespace, and optional prefix, is, and synchronous custom elements flag, run these steps:

【 この訳では、この手続きを呼出すときは， “`新たな要素$( %引数~list )” のように表記する。 】

1. %結果 ~LET ~NULL ◎ If prefix was not given, let prefix be null. ◎ If is was not given, let is be null. ◎ Let result be null.
2. %定義 ~LET ( %文書, %~ns, %局所名, %is ) を与える下で，`~custom要素~定義を検索-$した結果 ◎ Let definition be the result of looking up a custom element definition given document, namespace, localName, and is.

3. ~IF［ %定義 ~NEQ ~NULL ］~AND［ %定義 の`名前$cD ~NEQ %定義 の`局所名$cD ］（すなわち，%定義 は`~custom化された組込みの要素$を表現する）： ◎ If definition is non-null, and definition’s name is not equal to its local name (i.e., definition represents a customized built-in element), then:

   1. %~ifc ~LET ( %局所名, `~HTML~ns$ ) に`対応する要素~ifc$ ◎ Let interface be the element interface for localName and the HTML namespace.

   2. %結果 ~SET 次のようにされた，新たな`要素$：

      • %~ifc を実装する
      • `属性0$は持たない
      • `~ns$ ~SET `~HTML~ns$
      • `~ns接頭辞$ ~SET %接頭辞
      • `局所名$ ~SET %局所名
      • `~custom要素~状態$ ~SET `undefined^l
      • `~custom要素~定義$ ~SET ~NULL
      • `~is0値$ ~SET %is
      • `~node文書$ ~SET %文書
      ◎ Set result to a new element that implements interface, with no attributes, namespace set to the HTML namespace, namespace prefix set to prefix, local name set to localName, custom element state set to "undefined", custom element definition set to null, is value set to is, and node document set to document.
   3. ~IF［ %同期~custom要素~flag ~EQ ~ON ］ ⇒ %定義 を用いて %要素 を`昇格$する ◎ If the synchronous custom elements flag is set, upgrade element using definition.
   4. ~ELSE ⇒ ( %結果, %定義 ) を与える下で，`~custom要素~昇格~反応を待入れる$ ◎ Otherwise, enqueue a custom element upgrade reaction given result and definition.

4. ~ELIF［ %定義 ~NEQ ~NULL ］： ◎ Otherwise, if definition is non-null, then:

   1. ~IF［ %同期~custom要素~flag ~EQ ~ON ］： ◎ If the synchronous custom elements flag is set:

      1. %C ~LET %定義 の`構築子$cD ◎ Let C be definition’s constructor.
      2. %結果 ~SET Construct( %C ) （例外投出あり） ◎ Set result to Construct(C). Rethrow any exceptions.

      3. ~IF［ %結果 は $HTMLElement ~ifcを実装しない ］ ⇒ ~THROW `TypeError^E ◎ If result does not implement the HTMLElement interface, throw a TypeError.

         注記： これは、当の~objが~HTML要素~構築子により割り当てられることを確保するための~brand検査である。 より精確に知りたければ webidl #97 を見よ。 ◎ This is meant to be a brand check to ensure that the object was allocated by the a HTML element constructor. See webidl #97 about making this more precise. HTMLElement

         この検査に合格したなら、 %結果 の［ `~custom要素~状態$, `~custom要素~定義$ ］はすでに初期化されていることになる。 ◎ If this check passes, then result will already have its custom element state and custom element definition initialized.

      4. ~IF［ %結果 は次のいずれかを満たす ］…：
         • %結果 の`属性0~list$は空でない
         • %結果 は`子$を持つ
         • %結果 の`親$ ~NEQ ~NULL
         • %結果 の`~node文書$ ~NEQ %文書

         • %結果 の`~ns$ ~NEQ `~HTML~ns$

           注記： これを書いている時点では、 $HTMLElement ~ifcを実装するどの要素も~HTML~nsに属するので、上の~brand検査から，この検査は冗長であるが、永遠に保障されるわけではない — 例えば、~SVGと~HTMLのある種の~ifcが収束するような，仕様の変更に直面したときなど。

         • %結果 の`局所名$ ~NEQ %局所名
         …ならば ⇒ ~THROW `NotSupportedError^E ◎ If result’s attribute list is not empty, then throw a NotSupportedError. ◎ If result has children, then throw a NotSupportedError. ◎ If result’s parent is not null, then throw a NotSupportedError. ◎ If result’s node document is not document, then throw a NotSupportedError. ◎ If result’s namespace is not the HTML namespace, then throw a NotSupportedError. ◎ As of the time of this writing, every element that implements the HTMLElement interface is also in the HTML namespace, so this check is currently redundant with the above brand check. However, this is not guaranteed to be true forever in the face of potential specification changes, such as converging certain SVG and HTML interfaces. ◎ If result’s local name is not equal to localName, then throw a NotSupportedError.
      5. %結果 の`~ns接頭辞$ ~SET %接頭辞 ◎ Set result’s namespace prefix to prefix.
      6. %結果 の`~is0値$ ~SET ~NULL ◎ Set result’s namespace prefix to prefix.

   2. ~ELSE： ◎ Otherwise:

      1. %結果 ~SET 次のようにされた，新たな`要素$：

         • $HTMLElement を実装する
         • `属性0$は持たない
         • `~ns$ ~SET `~HTML~ns$
         • `~ns接頭辞$ ~SET %接頭辞
         • `局所名$ ~SET %局所名
         • `~custom要素~状態$ ~SET `undefined^l
         • `~custom要素~定義$ ~SET ~NULL
         • `~is0値$ ~SET ~NULL
         • `~node文書$ ~SET %文書
         ◎ Set result to a new element that implements the HTMLElement interface, with no attributes, namespace set to the HTML namespace, namespace prefix set to prefix, local name set to localName, custom element state set to "undefined", custom element definition set to null, is value set to null, and node document set to document.
      2. ( %結果, %定義 ) を与える下で，`~custom要素~昇格~反応を待入れる$ ◎ Enqueue a custom element upgrade reaction given result and definition.

5. ~ELSE： ◎ Otherwise:

   1. %~ifc ~LET ( %局所名, %~ns ) に`対応する要素~ifc$ ◎ Let interface be the element interface for localName and namespace.

   2. %結果 ~SET 次のようにされた，新たな`要素$：

      • %~ifc を実装する
      • `属性0$は持たない
      • `~ns$ ~SET %~ns
      • `~ns接頭辞$ ~SET %接頭辞
      • `局所名$ ~SET %局所名
      • `~custom要素~状態$ ~SET `uncustomized^l
      • `~custom要素~定義$ ~SET ~NULL
      • `~is0値$ ~SET %is
      • `~node文書$ ~SET %文書
      ◎ Set result to a new element that implements interface, with no attributes, namespace set to namespace, namespace prefix set to prefix, local name set to localName, custom element state set to "uncustomized", custom element definition set to null, is value set to is, and node document set to document.
   3. ~IF［ 次のいずれも満たされる ］…：
      • %~ns ~EQ `~HTML~ns$
      • ［ %局所名 は`妥当な~custom要素~名$である ］~OR［ %is ~NEQ ~NULL ］
      …ならば ⇒ %結果 の`~custom要素~状態$ ~SET `undefined^l ◎ If namespace is the HTML namespace, and either localName is a valid custom element name or is is non-null, then set result’s custom element state to "undefined".
6. ~RET %結果 ◎ Return result.

`要素$は、有順序の `属性0~list@ も持ち， $NamedNodeMap 【 ~objである $attributes 属性 】 を通して公開される。 `要素$の作成時に明示的に与えられない限り，その`属性0~list$は空である。 `要素$ %要素 が`属性0$ %A を `有する@ とは、［ %A ~IN %要素 の`属性0~list$ ］を意味する。 ◎ Elements also have an ordered attribute list exposed through a NamedNodeMap. Unless explicitly given when an element is created, its attribute list is empty. An element has an attribute A if A is in its attribute list.

`適用仕様$は、`要素$上の `属性0を変更する手続き@ を定義して~MAY。 そのような~algoには、当の要素に加えて， ( %局所名, %旧-値, %値, %~ns ) が渡される。 ◎ This and other specifications may define attribute change steps for elements. The algorithm is passed element, localName, oldValue, value, and namespace.

`要素$ %要素 の（`有する$）`属性0$ %属性0 の`値$aを %値 に `変更-@a するときは、次を走らす： ◎ To change an attribute attribute from an element element to value, run these steps:

1. %要素 に対する次の様な `attributes^l の変異~記録を`待入する$ ⇒ 名前: %属性0 の`局所名$a,
   ~ns: %属性0 の`~ns$,
   旧-値: %属性0 の`値$a ◎ Queue a mutation record of "attributes" for element with name attribute’s local name, namespace attribute’s namespace, and oldValue attribute’s value.
2. ~IF［ %要素 は`~custom$である ］ ⇒ 次を与える下で，`~custom要素~callback反応を待入れる$ ⇒ %要素,
   ~callback名： `attributeChangedCallback^l,
   引数~list： ( %属性0 の`局所名$, %属性0 の`値$a, %値, %属性0 の`~ns$ ) ◎ If element is custom, then enqueue a custom element callback reaction with element, callback name "attributeChangedCallback", and an argument list containing attribute’s local name, attribute’s value, value, and attribute’s namespace.
3. 次を渡して， %要素 上の`属性0を変更する手続き$を走らす ⇒ ( %属性0 の`局所名$a, %属性0 の`値$a, %値, %属性0 の`~ns$a ) ◎ Run the attribute change steps with element, attribute’s local name, attribute’s value, value, and attribute’s namespace.
4. %属性0 の`値$a ~SET %値 ◎ Set attribute’s value to value.

`要素$ %要素 に（それが`有さない$）`属性0$ %属性0 を `付加-@a するときは、次を走らす： ◎ To append an attribute attribute to an element element, run these steps:

1. %要素 に対する次の様な `attributes^l の変異~記録を`待入する$ ⇒ 名前: %属性0 の`局所名$a,
   ~ns: %属性0 の`~ns$,
   旧-値: null ◎ Queue a mutation record of "attributes" for element with name attribute’s local name, namespace attribute’s namespace, and oldValue null.
2. ~IF［ %要素 は`~custom$である ］ ⇒ 次を与える下で，`~custom要素~callback反応を待入れる$ ⇒ %要素,
   ~callback名： `attributeChangedCallback^l,
   引数~list： ( %属性0 の`局所名$, ~NULL, %属性0 の`値$a, %属性0 の`~ns$ ) ◎ If element is custom, then enqueue a custom element callback reaction with element, callback name "attributeChangedCallback", and an argument list containing attribute’s local name, null, attribute’s value, and attribute’s namespace.
3. 次を渡して， %要素 上の`属性0を変更する手続き$を走らす ⇒ ( %属性0 の`局所名$a, ~NULL, %属性0 の`値$a, %属性0 の`~ns$a ) ◎ Run the attribute change steps with element, attribute’s local name, null, attribute’s value, and attribute’s namespace.
4. %属性0 を %要素 の`属性0~list$に付加する ◎ Append the attribute to the element’s attribute list.
5. %属性0 が`属する要素$ ~SET %要素 ◎ Set attribute’s element to element.

`要素$ %要素 から（それが`有する$）`属性0$ %属性0 を `除去-@a するときは、次を走らす： ◎ To remove an attribute attribute from an element element, run these steps:

1. %要素 に対する次の様な `attributes^l の変異~記録を`待入する$ ⇒ 名前: %属性0 の`局所名$a,
   ~ns: %属性0 の`~ns$,
   旧-値: %属性0 の`値$a ◎ Queue a mutation record of "attributes" for element with name attribute’s local name, namespace attribute’s namespace, and oldValue attribute’s value.
2. ~IF［ %要素 は`~custom$である ］ ⇒ 次を与える下で，`~custom要素~callback反応を待入れる$ ⇒ %要素,
   ~callback名： `attributeChangedCallback^l,
   引数~list： ( %属性0 の`局所名$, %属性0 の`値$a, ~NULL, %属性0 の`~ns$ ) ◎ If element is custom, then enqueue a custom element callback reaction with element, callback name "attributeChangedCallback", and an argument list containing attribute’s local name, attribute’s value, null, and attribute’s namespace.
3. 次を渡して， %要素 上の`属性0を変更する手続き$を走らす ⇒ ( %属性0 の`局所名$a, %属性0 の`値$a, ~NULL, %属性0 の`~ns$a ) ◎ Run the attribute change steps with element, attribute’s local name, attribute’s value, null, and attribute’s namespace.
4. %要素 の`属性0~list$から %属性0 を除去する ◎ Remove attribute from the element’s attribute list.
5. %属性0 が`属する要素$ ~SET ~NULL ◎ Set attribute’s element to null.

`要素$ %要素 内の`属性0$ %旧-属性0 を `属性0$ %新-属性0 で `置換-@a するときは、次を走らす： ◎ To replace an attribute oldAttr by an attribute newAttr in an element element, run these steps:

1. %要素 に対する次の様な `attributes^l の変異~記録を`待入する$ ⇒ 名前: %旧-属性0 の`局所名$a,
   ~ns: %旧-属性0 の`~ns$a,
   旧-値: %旧-属性0 の`値$a ◎ Queue a mutation record of "attributes" for element with name oldAttr’s local name, namespace oldAttr’s namespace, and oldValue oldAttr’s value.
2. ~IF［ %要素 は`~custom$である ］ ⇒ 次を与える下で，`~custom要素~callback反応を待入れる$ ⇒ %要素,
   ~callback名： `attributeChangedCallback^l,
   引数~list： ( %旧-属性0 の`局所名$, %旧-属性0 の`値$a, %新-属性0 の`値$a, %旧-属性0 の`~ns$ ) ◎ If element is custom, then enqueue a custom element callback reaction with element, callback name "attributeChangedCallback", and an argument list containing oldAttr’s local name, oldAttr’s value, newAttr’s value, and oldAttr’s namespace.
3. 次を渡して， %要素 上の`属性0を変更する手続き$を走らす ⇒ ( %旧-属性0 の`局所名$a, %旧-属性0 の`値$a, %新-属性0 の`値$a, %旧-属性0 の`~ns$a ) ◎ Run the attribute change steps with element, oldAttr’s local name, oldAttr’s value, newAttr’s value, and oldAttr’s namespace.
4. %要素 の`属性0~list$内の %旧-属性0 を %新-属性0 で置換する ◎ Replace oldAttr by newAttr in the element’s attribute list.
5. %旧-属性0 が`属する要素$ ~SET ~NULL ◎ Set oldAttr’s element to null.
6. %新-属性0 が`属する要素$ ~SET %要素 ◎ Set newAttr’s element to element.

所与の %有修飾~名 を用いて，`要素$ %要素 から `属性0を取得-@ するときは、次を走らす： ◎ To get an attribute by name given a qualifiedName and element element, run these steps:

1. ~IF［ %要素 は`~HTML~ns$に属する ］~AND［ %要素 の`~node文書$は`~HTML文書$である ］ ⇒ %有修飾~名 ~LET %有修飾~名 の`~ASCII小文字化$ ◎ If element is in the HTML namespace and its node document is an HTML document, let qualifiedName be converted to ASCII lowercase.
2. ~RET %要素 の`属性0~list$ 内の［ `有修飾~名$a ~EQ %有修飾~名 ］なる`最初0$の`属性0$ ◎ Return the first attribute in element’s attribute list whose qualified name is qualifiedName, and null otherwise.

所与の ( %~ns, %局所名 ) を用いて，`要素$ %要素 から `属性0を取得-@ns するときは、次を走らす： ◎ To get an attribute by namespace and local name given a namespace, localName, and element element, run these steps:

1. ~RET %要素 の`属性0~list$ 内の［ `~ns$a ~EQ %~ns ］~AND［ `局所名$a ~EQ %局所名 ］なる`最初0$の`属性0$ ◎ Return the attribute in element’s attribute list whose namespace is namespace and local name is localName, if any, and null otherwise.

( %局所名, %~ns （省略時は ~NULL ） ) を用いて，`要素$ %要素 から `属性0値を取得-@ するときは、次を走らす： ◎ To get an attribute value given an element element, localName, and optionally a namespace (null unless stated otherwise), run these steps:

1. %属性0 ~LET ( %局所名, %~ns ) を用いて， %要素 から`属性0を取得-$nsした結果 ◎ Let attr be the result of getting an attribute given namespace, localName, and element.
2. ~RET ［ %属性0 ~EQ ~NULL ならば空文字列 ／ ~ELSE_ %属性0 の`値$a ］ ◎ If attr is null, then return the empty string. ◎ Return attr’s value.

所与の`属性0$ %属性0 を用いて`要素$ %要素 の `属性0を設定-@ するときは、次を走らす： ◎ To set an attribute given an attr and element, run these steps:

1. ~IF［ %属性0 が`属する要素$ ~NIN { ~NULL, %要素 } ］ ⇒ ~THROW `InUseAttributeError^E ◎ If attr’s element is neither null nor element, throw an InUseAttributeError.
2. %旧-属性0 ~LET ( %属性0 の`~ns$a, %属性0 の`局所名$a ) を用いて， %要素 から`属性0を取得-$nsした結果 ◎ Let oldAttr be the result of getting an attribute given attr’s namespace, attr’s local name, and element.
3. ~IF［ %旧-属性0 ~EQ %属性0 ］ ⇒ ~RET %属性0 ◎ If oldAttr is attr, return attr.
4. ~IF［ %旧-属性0 ~NEQ ~NULL ］ ⇒ %要素 内の %旧-属性0 を %属性0 で`置換-$aする ◎ If oldAttr is non-null, replace it by attr in element.
5. ~ELSE ⇒ %要素 に %属性0 を`付加-$aする ◎ Otherwise, append attr to element.
6. ~RET %旧-属性0 ◎ Return oldAttr.

( %局所名, %値 ) , および ( %接頭辞 （省略時は ~NULL ）, %~ns （省略時は ~NULL ） ) を用いて，`要素$ %要素 の `属性0値を設定-@ するときは、次を走らす： ◎ To set an attribute value for an element element using a localName and value, and an optional prefix, and namespace, run these steps:

1. %属性0 ~LET ( %~ns, %局所名 ) を用いて， %要素 から`属性0を取得-$nsした結果 ◎ If prefix is not given, set it to null. ◎ If namespace is not given, set it to null. ◎ Let attribute be the result of getting an attribute given namespace, localName, and element.
2. ~IF［ %属性0 ~NEQ ~NULL ］ ⇒ %要素 の %属性0 の値を %値 に`変更-$aする；
   ~RET ◎ ↓

3. 次のように設定された 新たな`属性0$を %要素 に`付加-$aする：

   • `~ns$a ~SET %~ns
   • `~ns接頭辞$a ~SET %接頭辞
   • `局所名$a ~SET %局所名
   • `値$a ~SET %値
   • `~node文書$ ~SET %要素 の`~node文書$
   ◎ If attribute is null, create an attribute whose namespace is namespace, namespace prefix is prefix, local name is localName, value is value, and node document is element’s node document, then append this attribute to element, and then terminate these steps. ◎ Change attribute from element to value.

所与の %有修飾~名 を用いて`要素$ %要素 から `属性0を除去-@ するときは、次を走らす： ◎ To remove an attribute by name given a qualifiedName and element element, run these steps:

1. %属性0 ~LET %有修飾~名 を用いて %要素 から`属性0を取得-$した結果 ◎ Let attr be the result of getting an attribute given qualifiedName and element.
2. ~IF［ %属性0 ~NEQ ~NULL ］ ⇒ %要素 から %属性0 を`除去-$aする ◎ If attr is non-null, remove it from element.
3. ~RET %属性0 ◎ Return attr.

所与の ( %~ns, %局所名 ) を用いて，`要素$ %要素 から `属性0を除去-@ns するときは、次を走らす： ◎ To remove an attribute by namespace and local name given a namespace, localName, and element element, run these steps:

1. %属性0 ~LET ( %~ns, %局所名 ) を用いて， %要素 から`属性0を取得-$nsした結果 ◎ Let attr be the result of getting an attribute given namespace, localName, and element.
2. ~IF［ %属性0 ~NEQ ~NULL ］ ⇒ %要素 から %属性0 を`除去-$aする ◎ If attr is non-null, remove it from element.
3. ~RET %属性0 ◎ Return attr.

`要素$には、一意な識別子である `~ID@ が結付けられ得る。 ◎ An element can have an associated unique identifier (ID)

注記： 歴史的に，`要素$は複数の識別子を持ち得ていた。 例えば~HTML `id^A `属性0$nmと DTD を利用して。 この仕様では `~ID$を~DOMの概念とし，`要素$につき `id^A `属性0$nmで与えられる 1 個に限るとする。 ◎ Historically elements could have multiple identifiers e.g., by using the HTML id attribute and a DTD. This specification makes ID a concept of the DOM and allows for only one per element, given by an id attribute.

`要素$の`~ID$の更新~時に利用する，`属性0を変更する手続き$は、次で与えられる： ◎ Use these attribute change steps to update an element’s ID:

1. ~IF［ %局所名 ~EQ `id^l ］~AND［ %~ns ~EQ ~NULL ］~AND［ %値 ~IN { ~NULL, 空文字列 } ］ ⇒ %要素 の`~ID$を未設定にする ◎ If localName is id, namespace is null, and value is null or the empty string, then unset element’s ID.
2. ~ELIF［ %局所名 ~EQ `id^l ］~AND［ %~ns ~EQ ~NULL ］ ⇒ %要素 の`~ID$ ~SET %値 ◎ Otherwise, if localName is id, namespace is null, then set element’s ID to value.

注記： この仕様は、どの`要素$に対しても，その［ ^class, ^id, ^slot ］`属性0$nmに対する要件を定義しているが、これらの属性0を利用をするかどうかは，適合性の要件にしていない。 ◎ While this specification defines requirements for class, id, and slot attributes on any element, it makes no claims as to whether using them is conforming or not.

`~node$ %N の `親~要素@ とは、［ %N の`親$が`要素$であるならば それ ／ ~ELSE_ ~NULL ］である。 ◎ A node’s parent of type Element is known as a parent element. If the node has a parent of a different type, its parent element is null.

%namespace = %element . $namespaceURI

`~ns$を返す。 ◎ Returns the namespace.

%prefix = %element . $prefix

`~ns接頭辞$を返す。 ◎ Returns the namespace prefix.

%localName = %element . $localName

`局所名$を返す。 ◎ Returns the local name.

%qualifiedName = %element . $tagName

`有修飾~名$を返す。 （ `~HTML文書$ においては返値は大文字化される。） ◎ Returns the qualified name. (The return value is uppercased in an HTML document.)

@namespaceURI

取得子は、此れの`~ns$を返さ~MUST。 ◎ The namespaceURI attribute’s getter must return the context object’s namespace.

@prefix

取得子は、此れの`~ns接頭辞$を返さ~MUST。 ◎ The prefix attribute’s getter must return the context object’s namespace prefix.

@localName

取得子は、此れの`局所名$を返さ~MUST。 ◎ The localName attribute’s getter must return the context object’s local name.

@tagName

取得子は、次を走らせ~MUST： ◎ The tagName attribute’s getter must run these steps:

1. %有修飾~名 ~LET 此れの`有修飾~名$ ◎ Let qualifiedName be context object’s qualified name.
2. ~IF［ 此れは`~HTML~ns$に属する ］~AND［ 此れの`~node文書$は`~HTML文書$である ］ ⇒ ~RET %有修飾~名 の`~ASCII大文字化$ ◎ If the context object is in the HTML namespace and its node document is an HTML document, let qualifiedName be converted to ASCII uppercase.
3. ~RET %有修飾~名 ◎ Return qualifiedName.

要素~上の一部の IDL 属性は、所与の %名前 の`属性0$を `反映-@ するように定義される。 すなわち、次に従うような取得子, 設定子を持た~MUST： ◎ IDL attributes that are defined to reflect a content attribute of a given name, must have a getter and setter that follow these steps:

取得子

( %名前 ) を用いて，此れから`属性0値を取得-$した結果を返す ◎ Return the result of running get an attribute value given context object and name.

設定子

( %名前, 所与の値 ) を用いて，此れの`属性0値を設定-$する ◎ Set an attribute value for the context object using name and the given value.

@id

`id^l 内容属性を`反映-$し~MUST。 ◎ The id attribute must reflect the "id" content attribute.

@className

`class^l 内容属性を`反映-$し~MUST。 ◎ The className attribute must reflect the "class" content attribute.

@classList

取得子は、次のようにされた $DOMTokenList を返さ~MUST ⇒ `要素$dtl ~SET 此れ,
`属性0の局所名$dtl ~SET ^class ◎ ↓

この属性が返す $DOMTokenList ~objの`~tokens$は、`要素$の `~classes@ とも呼ばれる。 ◎ The classList attribute’s getter must return a DOMTokenList object whose associated element is the context object and whose associated attribute’s local name is class. The tokens of this particular DOMTokenList object are also known as the element’s classes.

【 [`SameObject$] が指定されているので、各~要素とこの~objの各~instanceは，一対一に対応する。 】

@slot

`slot^l 内容属性を`反映-$し~MUST。 ◎ The slot attribute must reflect the "slot" content attribute.

［ ^id, ^class, ^slot ］`属性0$nmは、要素の~nsにかかわらず どの要素~上にも現れ得るので、実質的に，（すべての~nsより）上位の大域~属性になる。 ◎ id, class, and slot are effectively superglobal attributes as they can appear on any element, regardless of that element’s namespace.

@hasAttributes()

被呼出時には、［ 此れの`属性0~list$が空ならば ~F ／ ~ELSE_ ~T ］を返さ~MUST。 ◎ The hasAttributes() method, when invoked, must return false if context object’s attribute list is empty, and true otherwise.

@attributes

取得子は、此れに結付けられている $NamedNodeMap を返さ~MUST。 ◎ The attributes attribute’s getter must return the associated NamedNodeMap.

@getAttributeNames()

被呼出時には、［ 此れの`属性0~list$内の各 `属性0$に対する`有修飾~名$a ］からなる，同じ順序の~list（属性0~listが空ならば空~list）を返さ~MUST。 ◎ The getAttributeNames() method, when invoked, must return the qualified names of the attributes in the context object’s attribute list, in order, and the empty sequence otherwise.

結果の中の各 名前が一意になることは保障されない。 ◎ These are not guaranteed to be unique.

@getAttribute(qualifiedName)

被呼出時には、次を走らせ~MUST： ◎ The getAttribute(qualifiedName) method, when invoked, must run these steps:

1. %属性0 ~LET %qualifiedName を用いて此れから`属性0を取得-$した結果 ◎ Let attr be the result of getting an attribute given qualifiedName and the context object.
2. ~RET ［ %属性0 ~EQ ~NULL ならば ~NULL ／ ~ELSE_ %属性0 の`値$a ］ ◎ If attr is null, return null. ◎ Return attr’s value.

@getAttributeNS(namespace, localName)

被呼出時には、次を走らせ~MUST： ◎ The getAttributeNS(namespace, localName) method, when invoked, must these steps:

1. %属性0 ~LET ( %namespace, %localName ) を用いて，此れから`属性0を取得-$nsした結果 ◎ Let attr be the result of getting an attribute given namespace, localName, and the context object.
2. ~IF［ %属性0 ~EQ ~NULL ］ ⇒ ~RET ~NULL ◎ If attr is null, return null.
3. ~RET %属性0 の`値$a ◎ Return attr’s value.

@setAttribute(qualifiedName, value)

被呼出時には、次を走らせ~MUST： ◎ The setAttribute(qualifiedName, value) method, when invoked, must run these steps:

1. ~IF［ %qualifiedName は~XMLの `Name$prod 生成規則に合致しない ］ ⇒ ~THROW `InvalidCharacterError^E ◎ If qualifiedName does not match the Name production in XML, then throw an InvalidCharacterError.
2. ~IF［ 此れは`~HTML~ns$に属する ］~AND［ 此れの`~node文書$は`~HTML文書$である ］ ⇒ %qualifiedName ~SET %qualifiedName の`~ASCII小文字化$ ◎ If the context object is in the HTML namespace and its node document is an HTML document, let qualifiedName be converted to ASCII lowercase.
3. %属性0 ~LET 此れの`属性0~list$内の［ `有修飾~名$a ~EQ %qualifiedName ］なる`属性0$のうち，`最初0$のもの ◎ Let attribute be the first attribute in context object’s attribute list whose qualified name is qualifiedName, and null otherwise.
4. ~IF［ %属性0 ~EQ ~NULL ］ ⇒ 次のように設定された 新たな`属性0$を，此れの`属性0~list$に`付加-$aする ⇒ `局所名$a ~SET %qualifiedName,
   `値$a ~SET %value,
   `~node文書$ ~SET 此れの`~node文書$ ◎ If attribute is null, create an attribute whose local name is qualifiedName, value is value, and node document is context object’s node document, then append this attribute to context object , and then terminate these steps.
5. ~ELSE ⇒ 此れの %属性0 の`値$aを %value に`変更-$aする ◎ Change attribute from context object to value.

@setAttributeNS(namespace, qualifiedName, value)

被呼出時には、次を走らせ~MUST： ◎ The setAttributeNS(namespace, qualifiedName, value) method, when invoked, must run these steps:

1. ( %局所名, %value ), および ( %接頭辞, %~ns ) を用いて，此れの`属性0値を設定-$する ◎ Set an attribute value for the context object using localName, value, and also prefix and namespace.

@removeAttribute(qualifiedName)

被呼出時には、 %qualifiedName を用いて 此れから`属性0を除去-$し~MUST。 ◎ The removeAttribute(qualifiedName) method, when invoked, must remove an attribute given qualifiedName and the context object, and then return undefined.

@removeAttributeNS(namespace, localName)

被呼出時には、 ( %namespace, %localName ) を用いて，此れから`属性0を除去-$nsし~MUST。 ◎ The removeAttributeNS(namespace, localName) method, when invoked, must remove an attribute given namespace, localName, and context object, and then return undefined.

@hasAttribute(qualifiedName)

被呼出時には、次を走らせ~MUST： ◎ The hasAttribute(qualifiedName) method, when invoked, must run these steps:

1. ~RET ［ 此れは［ `有修飾~名$a ~EQ %qualifiedName ］なる`属性0$を`有する$ならば ~T ／ ~ELSE_ ~F ］ ◎ Return true if the context object has an attribute whose qualified name is qualifiedName, and false otherwise.

@hasAttributeNS(namespace, localName)

被呼出時には、次を走らせ~MUST： ◎ The hasAttributeNS(namespace, localName) method, when invoked, must run these steps:

1. ~RET ［ 此れは［ `~ns$a ~EQ %namespace ］~AND［ `局所名$a ~EQ %localName ］なる`属性0$を`有する$ならば ~T ／ ~ELSE_ ~F ］ ◎ Return true if the context object has an attribute whose namespace is namespace and local name is localName, and false otherwise.

@getAttributeNode(qualifiedName)

被呼出時には、 %qualifiedName を用いて此れから`属性0を取得-$した結果を返さ~MUST。 ◎ The getAttributeNode(qualifiedName) method, when invoked, must return the result of getting an attribute given qualifiedName and context object.

@getAttributeNodeNS(namespace, localName)

被呼出時には、 ( %namespace, %localName ) を用いて，此れから`属性0を取得-$nsした結果を返さ~MUST。 ◎ The getAttributeNodeNS(namespace, localName) method, when invoked, must return the result of getting an attribute given namespace, localName, and the context object.

@setAttributeNode(attr)

@setAttributeNodeNS(attr)

これらのいずれも，被呼出時には、 %attr を用いて此れの`属性0を設定-$した結果を返さ~MUST（例外投出あり）。 ◎ The setAttributeNode(attr) and setAttributeNodeNS(attr) methods, when invoked, must return the result of setting an attribute given attr and the context object. Rethrow any exceptions.

@removeAttributeNode(attr)

被呼出時には、次を走らせ~MUST： ◎ The removeAttributeNode(attr) method, when invoked, must run these steps:

1. ~IF［ %attr ~NIN 此れの`属性0~list$ ］ ⇒ ~THROW `NotFoundError^E ◎ If attr is not in context object’s attribute list, then throw a NotFoundError.
2. 此れから %attr を`除去-$aする ◎ Remove attr from context object.
3. ~RET %attr ◎ Return attr.

var %shadow = %element . $attachShadow(init)

%element に対する`~shadow根$を作成した上で，それを返す。 ◎ Creates a shadow root for element and returns it.

var %shadow = %element . $shadowRoot

%element の`~shadow根$elm %~shadow は非~NULL，かつ %~shadow の［ `~mode$sR ~EQ `open^l ］ならば %~shadow を返す。 他の場合は ~NULL を返す。 ◎ Returns element’s shadow root, if any, and if shadow root’s mode is "open", and null otherwise.

@attachShadow(init)

被呼出時には、次を走らせ~MUST： ◎ The attachShadow(init) method, when invoked, must run these steps:

1. ~IF［ 此れの`~ns$ ~NEQ `~HTML~ns$ ］ ⇒ ~THROW `NotSupportedError^E ◎ If context object’s namespace is not the HTML namespace, then throw a NotSupportedError.

2. ~IF［ 此れの`局所名$は 次のいずれにも該当しない ］ ⇒ ~THROW `NotSupportedError^E：

   • `妥当な~custom要素~名$
   • `article^l, `aside^l, `blockquote^l, `body^l, `div^l, `footer^l, `h1^l, `h2^l, `h3^l, `h4^l, `h5^l, `h6^l, `header^l, `nav^l, `p^l, `section^l, `span^l
   ◎ If context object’s local name is not a valid custom element name, "article", "aside", "blockquote", "body", "div", "footer", "h1", "h2", "h3", "h4", "h5", "h6", "header", "nav", "p", "section", or "span", then throw a NotSupportedError.
3. ~IF［ 此れは`~shadow~host$である ］ ⇒ ~THROW `InvalidStateError^E ◎ If context object is a shadow host, then throw an InvalidStateError.

4. %~shadow ~LET 次のようにされた，新たな`~shadow根$

   • `~node文書$ ~SET 此れの`~node文書$
   • `~host$ ~SET 此れ
   • `~mode$sR ~SET %init の $ShadowRootInit.mode
   ◎ Let shadow be a new shadow root whose node document is context object’s node document, host is context object, and mode is init’s mode.
5. 此れの`~shadow根$elm ~SET %~shadow ◎ Set context object’s shadow root to shadow.
6. ~RET %~shadow ◎ Return shadow.

@shadowRoot

取得子は、次を走らせ~MUST： ◎ The shadowRoot attribute’s getter must run these steps:

1. %~shadow ~LET 此れの `~shadow根$elm ◎ Let shadow be context object’s shadow root.
2. ~IF［ %~shadow ~EQ ~NULL ］~OR［ %~shadow の`~mode$sR ~EQ `closed^l ］ ⇒ ~RET ~NULL ◎ If shadow is null or its mode is "closed", then return null.
3. ~RET %~shadow ◎ Return shadow.

%element . $closest(selectors)

%element の`広義先祖$であって, %selectors に合致するような`要素$が［ 在れば，それらのうち %element に最も近いもの ／ 無ければ ~NULL ］を返す。 ◎ Returns the first (starting at element) inclusive ancestor that matches selectors, and null otherwise.

%element . $matches(selectors)

%element の`根$に対し %selectors を照合した結果，［ %element が得られるならば ~T ／ ~ELSE_ ~F ］を返す。 ◎ Returns true if matching selectors against element’s root yields element, and false otherwise.

@closest(selectors)

被呼出時には、次を走らせ~MUST： ◎ The closest(selectors) method, when invoked, must run these steps:

1. %選択子 ~LET %selectors を`選択子として解析-$した結果 `SELECTORS4$r ◎ Let s be the result of parse a selector from selectors. [SELECTORS4]
2. ~IF［ %選択子 ~EQ `失敗^i ］ ⇒ ~THROW `SyntaxError^E ◎ If s is failure, throw a SyntaxError.
3. %要素~list ~LET 此れの`広義先祖$である`要素$からなる，`木~順序$と逆順による~list ◎ Let elements be context object’s inclusive ancestors that are elements, in reverse tree order.
4. ~FOR %要素~list 内の ~EACH ( %要素 ) に対し ⇒ ~IF［［［ `~scope-ps要素$ ~SET 此れ ］の下で， %要素 に対し %選択子 を`照合-$した結果 `SELECTORS4$r ］ ~EQ success ］ ⇒ ~RET %要素 ◎ For each element in elements, if match a selector against an element, using s, element, and :scope element context object, returns success, return element. [SELECTORS4]
5. ~RET ~NULL ◎ Return null.

@matches(selectors)

@webkitMatchesSelector(selectors)

これらのいずれも，被呼出時には、次を走らせ~MUST： ◎ The matches(selectors) and webkitMatchesSelector(selectors) methods, when invoked, must run these steps:

1. %選択子 ~LET %selectors を`選択子として解析-$した結果 `SELECTORS4$r ◎ Let s be the result of parse a selector from selectors. [SELECTORS4]
2. ~IF［ %選択子 ~EQ `失敗^i ］ ⇒ ~THROW `SyntaxError^E ◎ If s is failure, throw a SyntaxError.
3. ~RET ［ `~scope-ps要素$ ~SET 此れ ］の下で， 此れ†に対し %選択子 を`照合-$した結果が［ success ならば~T ／ ~ELSE_ ~F ］ `SELECTORS4$r ◎ Return true if the result of match a selector against an element, using s, element, and :scope element context object, returns success, and false otherwise. [SELECTORS4]

【† 原文は 2 個目の“此れ” の代わりに~~未定義の変数 “%element” が記されているが、誤記と見られる。 】

@getElementsByTagName(qualifiedName)

被呼出時には、此れに対する， %qualifiedName を`有修飾~名に持つ要素の~list$を返さ~MUST。 ◎ The getElementsByTagName(qualifiedName) method, when invoked, must return the list of elements with qualified name qualifiedName for the context object.

@getElementsByTagNameNS(namespace, localName)

被呼出時には、此れに対する， ( %namespace, %localName ) を `( ~ns, 局所名 ) に持つ要素の~list$を返さ~MUST。 ◎ The getElementsByTagNameNS(namespace, localName) method, when invoked, must return the list of elements with namespace namespace and local name localName for context object.

@getElementsByClassName(classNames)

被呼出時には、此れに対する，%classNames を`~classesに含む要素の~list$を返さ~MUST。 ◎ The getElementsByClassName(classNames) method, when invoked, must return the list of elements with class names classNames for context object.

文字列 %where が与えられた下で，`~node$ %~node を`要素$ %要素 の `隣に挿入-@ するときは、 %where を `~ASCII小文字化$した結果に応じて： ◎ To insert adjacent, given an element element, string where, and a node node, run the steps associated with the first ASCII case-insensitive match for where:

`beforebegin^l

1. ~IF［ %要素 の`親$ ~EQ ~NULL ］ ⇒ ~RET ~NULL ◎ If element’s parent is null, return null.
2. ~RET %要素 の`親$の中で， %~node を %要素 の前に`前挿入$した結果 （例外投出あり） ◎ Return the result of pre-inserting node into element’s parent before element. Rethrow any exceptions.

`afterbegin^l

1. ~RET %要素 の中で， %~node を %要素 の`最初0の子$ の前に`前挿入$した結果 （例外投出あり） ◎ Return the result of pre-inserting node into element before element’s first child. Rethrow any exceptions.

`beforeend^l

1. ~RET %要素 の中で， %~node を ~NULL の前に`前挿入$した結果 （例外投出あり） ◎ Return the result of pre-inserting node into element before null. Rethrow any exceptions.

`afterend^l

1. ~IF［ %要素 の`親$ ~EQ ~NULL ］ ⇒ ~RET ~NULL ◎ If element’s parent is null, return null.
2. ~RET %要素 の`親$ の中で， %~node を %要素 の`弟$ の前に`前挿入$した結果 （例外投出あり） ◎ Return the result of pre-inserting node into element’s parent before element’s next sibling. Rethrow any exceptions.

その他

1. ~THROW `SyntaxError^E ◎ Throw a SyntaxError.

@insertAdjacentElement(where, element)

被呼出時には、次を走らせ~MUST：

1. ~RET %where を与える下で， %element を此れの`隣に挿入-$した結果 （例外投出あり）

◎ The insertAdjacentElement(where, element) method, when invoked, must return the result of running insert adjacent, given context object, where, and element. Rethrow any exceptions.

@insertAdjacentText(where, data)

被呼出時には、次を走らせ~MUST： ◎ The insertAdjacentText(where, data) method, when invoked, must run these steps:

1. %text ~LET `新たな~text~node$( %data, 此れの`~node文書$ ) ◎ Let text be a new Text node whose data is data and node document is context object’s node document.
2. %where を与える下で， %text を此れの`隣に挿入-$する （例外投出あり） ◎ Run insert adjacent, given context object, where, and text. Rethrow any exceptions.

注記： この~methは何も返さない — それを設計しようとする前からすでに存在していたので。 ◎ This method returns nothing because it existed before we had a chance to design it.

4.10. ~ifc ^@CharacterData

注記： $CharacterData は抽象~ifcであり，`~node$として存在するものではない。 それは［ $Text, $ProcessingInstruction, $Comment ］`~node$から利用される。 ◎ CharacterData is an abstract interface and does not exist as node. It is used by Text, ProcessingInstruction, and Comment nodes.

【 簡潔に記述するため，この訳では，これらの型の~node（ $Text （ $CDATASection も含む）, $ProcessingInstruction, $Comment ）を総称して `文字~data~node@ と記すことにする（非公式な用語）。 （機能上は異なるものだが）多くの処理で，これらは同等に扱われるので。 】

$CharacterData ~ifcを継承する 【~ifcを実装する】 各`~node$には `~data@ と呼ばれる変異可能な文字列が結付けられる。 ◎ Each node inheriting from the CharacterData interface has an associated mutable string called data.

( ~offset: %offset, ~count: %count, ~data: %data ) を与える下で，~node %node の `~dataを置換-@ するときは、次を走らす： ◎ To replace data of node node with offset offset, count count, and data data, run these steps:

1. %~length ~LET %node の`~length$ ◎ Let length be node’s length.
2. ~IF［ %offset ~GT %~length ］ ⇒ ~THROW `IndexSizeError^E ◎ If offset is greater than length, then throw an IndexSizeError.
3. ~IF［ %offset ~PLUS %count ~GT %~length ］ ⇒ %count ~LET %~length ~MINUS %offset ◎ If offset plus count is greater than length let count be length minus offset.
4. %node に対する次の様な `characterData^l の変異~記録を`待入する$ ⇒ 旧-値: %node の`~data$ ◎ Queue a mutation record of "characterData" for node with oldValue node’s data.
5. %挿入点 ~LET %node の`~data$の中の， %offset 個目の`符号単位$の直後を指す位置（ %offset ~EQ 0 は先頭を指す） ◎ ↓
6. %挿入点 から末尾側に位置する %count 個の`符号単位$を除去する ◎ ↓
7. %挿入点 に %data を挿入する ◎ Insert data into node’s data after offset code units. ◎ Let delete offset be offset plus the number of code units in data. ◎ Starting from delete offset code units, remove count code units from node’s data.
8. %差分 ~LET %data に含まれている`符号単位$の個数 ~MINUS %count ◎ ↓

9. ~FOR ~EACH ( `範囲0$ %R ) に対し： ◎ ↓

   1. ~IF［ %R の`始点~node$ ~EQ %node ］~AND［ %offset ~LT %R の`始点~offset$ ~LTE %offset ~PLUS %count ］ ⇒ %R の`始点~offset$ ~SET %offset ◎ For each range whose start node is node and start offset is greater than offset but less than or equal to offset plus count, set its start offset to offset.

   2. ~IF［ %R の`終点~node$ ~EQ %node ］~AND［ %offset ~LT %R の`終点~offset$ ~LTE %offset ~PLUS %count ］ ⇒ %R の`終点~offset$ ~SET %offset

      【 範囲0の終点がちょうど置換される~~範囲の末尾を指している場合も，終点は置換した~~範囲の先頭に “寄せられる” ことになる。 】

      ◎ For each range whose end node is node and end offset is greater than offset but less than or equal to offset plus count, set its end offset to offset.
   3. ~IF［ %R の`始点~node$ ~EQ %node ］~AND［ %R の`始点~offset$ ~GT %offset ~PLUS %count ］ ⇒ %R の`始点~offset$ ~INCBY %差分 ◎ For each range whose start node is node and start offset is greater than offset plus count, increase its start offset by the number of code units in data, then decrease it by count.
   4. ~IF［ %R の`終点~node$ ~EQ %node ］~AND［ %R の`終点~offset$ ~GT %offset ~PLUS %count ］ ⇒ %R の`終点~offset$ ~INCBY %差分 ◎ For each range whose end node is node and end offset is greater than offset plus count, increase its end offset by the number of code units in data, then decrease it by count.

~node %node から `~dataの部分文字列@ を得るときは、所与の ( ~offset: %offset, ~count: %count ) に対し，次を走らす： ◎ To substring data with node node, offset offset, and count count, run these steps:

【 この訳では、 “%node の`~dataの部分文字列$( %offset, %count )” のように表記する。 】

1. ~IF［ %offset ~PLUS %count ~GT %~length ］ ⇒ %count ~LET %~length ~MINUS %offset ◎ If offset plus count is greater than length, return a string whose value is the code units from the offsetth code unit to the end of node’s data, and then terminate these steps.
2. ~RET %node の`~data$の［ %offset 個目の`符号単位$の直後（ %offset ~EQ 0 なら先頭）から， %count 個の`符号単位$ ］並びからなる文字列 ◎ Return a string whose value is the code units from the offsetth code unit to the offset+countth code unit in node’s data.

@data

取得子は、此れの`~data$を返さ~MUST。 ◎ ↓

設定子は、次を与える下で，此れの`~dataを置換-$し~MUST ⇒ ~offset: 0,
~count: 此れの`~length$,
~data: 所与の値 ◎ The data attribute’s getter must return context object’s data. Its setter must replace data with node context object, offset 0, count context object’s length, and data new value.

@length

取得子は、此れの`~length$を返さ~MUST。 ◎ The length attribute’s getter must return context object’s length.

@substringData(offset, count)

被呼出時には、此れの`~dataの部分文字列$( %offset, %count ) を返さ~MUST ◎ The substringData(offset, count) method, when invoked, must return the result of running substring data with node context object, offset offset, and count count.

@appendData(data)

被呼出時には、次を与える下で，此れの`~dataを置換-$し~MUST ⇒ ~offset: 此れの`~length$,
~count: 0,
~data: %data ◎ The appendData(data) method, when invoked, must replace data with node context object, offset context object’s length, count 0, and data data.

@insertData(offset, data)

被呼出時には、次を与える下で，此れの`~dataを置換-$し~MUST ⇒ ~offset: %offset,
~count: 0,
~data: %data ◎ The insertData(offset, data) method, when invoked, must replace data with node context object, offset offset, count 0, and data data.

@deleteData(offset, count)

被呼出時には、次を与える下で，此れの`~dataを置換-$し~MUST ⇒ ~offset: %offset,
~count: %count,
~data: 空文字列 ◎ The deleteData(offset, count) method, when invoked, must replace data with node context object, offset offset, count count, and data the empty string.

@replaceData(offset, count, data)

被呼出時には、次を与える下で，此れの`~dataを置換-$し~MUST ⇒ ~offset: %offset,
~count: %count,
~data: %data ◎ The replaceData(offset, count, data) method, when invoked, must replace data with node context object, offset offset, count count, and data data.

4.11. ~ifc ^@Text

var %text = new $Text([data = ""])

`~data$が %data にされた，新たな $Text `~node$を返す。 ◎ Returns a new Text node whose data is data.

%text . $splitText(offset)

所与の %offset の地点で`~data$を分割し，残りの部分を $Text `~node$として返す。 ◎ Splits data at the given offset and returns the remainder as Text node.

%text . $wholeText

隣接するすべての`同胞$ $Text `~node$の`~data$を連結した結果を返す。 ◎ Returns the combined data of all direct Text node siblings.

`新たな~text~node@( %文字列, %文書 ) という表記は、次のように設定された 新たな $Text `~node$を意味する ⇒ ( `~data$, `~node文書$ ) ~SET ( %文字列, %文書 )

【 この表記は、簡潔に記述するため，この訳に導入したものである。 】

`狭義の~Text0~node@ とは、 $CDATASection `~node$でない $Text `~node$である。 ◎ An exclusive Text node is a Text node that is not a CDATASection node.

@Text(data)

この構築子の被呼出時には、`新たな~text~node$( %data, `現在の大域~obj$に`結付けられている文書$ ) を返さ~MUST ◎ The Text(data) constructor, when invoked, must return a new Text node whose data is data and node document is current global object’s associated Document.

$Text `~node$ %node を ~offset %offset の所で `分割-@ するときは、次を走らす： ◎ To split a Text node node with offset offset, run these steps:

1. %count ~LET %~length ~MINUS %offset ◎ Let count be length minus offset.
2. %新-~data ~LET 此れの`~dataの部分文字列$( %offset, %count ) ◎ Let new data be the result of substringing data with node node, offset offset, and count count.
3. %新-~node ~LET `新たな~text~node$( %新-~data, %node の`~node文書$ ) ◎ Let new node be a new Text node, with the same node document as node. Set new node’s data to new data.
4. %親 ~LET %node の`親$ ◎ Let parent be node’s parent.

5. ~IF［ %親 ~NEQ ~NULL ］： ◎ If parent is not null, run these substeps:

   1. %親 の中で， %新-~node を %node の`弟$の前に`挿入-$する ◎ Insert new node into parent before node’s next sibling.

   2. ~FOR ~EACH ( `範囲0$ %R ) に対し： ◎ ↓

      1. ~IF［ %R の`始点~node$ ~EQ %node ］~AND［ %R の`始点~offset$ ~GT %offset ］ ⇒ %R の`始点~node$ ~SET %新-~node；
         %R の`始点~offset$ ~DECBY %offset ◎ For each range whose start node is node and start offset is greater than offset, set its start node to new node and decrease its start offset by offset.
      2. ~IF［ %R の`終点~node$ ~EQ %node ］~AND［ %R の`終点~offset$ ~GT %offset ］ ⇒ %R の`終点~node$ ~SET %新-~node；
         %R の`終点~offset$ ~DECBY %offset ◎ For each range whose end node is node and end offset is greater than offset, set its end node to new node and decrease its end offset by offset.
      3. ~IF［ %R の`始点~node$ ~EQ %親 ］~AND［ %R の`始点~offset$ ~EQ %node の`指数$ ~PLUS 1 ］ ⇒ %R の`始点~offset$ ~INCBY 1 ◎ For each range whose start node is parent and start offset is equal to the index of node + 1, increase its start offset by one.
      4. ~IF［ %R の`終点~node$ ~EQ %親 ］~AND［ %R の`終点~offset$ ~EQ %node の`指数$ ~PLUS 1 ］ ⇒ %R の`終点~offset$ ~INCBY 1 ◎ For each range whose end node is parent and end offset is equal to the index of node + 1, increase its end offset by one.
6. 次を与える下で， %node の`~dataを置換-$する ⇒ ~offset: %offset,
   ~count: %count,
   ~data: 空文字列 ◎ Replace data with node node, offset offset, count count, and data the empty string.

7. ~IF［ %親 ~EQ ~NULL ］ ⇒ ~FOR ~EACH ( `範囲0$ %R ) に対し： ◎ If parent is null, run these substeps:

   1. ~IF［ %R の`始点~node$ ~EQ %node ］~AND［ %R の`始点~offset$ ~GT %offset ］ ⇒ %R の`始点~offset$ ~SET %offset ◎ For each range whose start node is node and start offset is greater than offset, set its start offset to offset.
   2. ~IF［ %R の`終点~node$ ~EQ %node ］~AND［ %R の`終点~offset$ ~GT %offset ］ ⇒ %R の`終点~offset$ ~SET %offset ◎ For each range whose end node is node and end offset is greater than offset, set its end offset to offset.
8. ~RET %新-~node ◎ Return new node.

@splitText(offset)

被呼出時には、~offset %offset の所で 此れを`分割-$し~MUST。 ◎ The splitText(offset) method, when invoked, must split context object with offset offset.

@wholeText

取得子は、此れの`連続的な~Text0~node列$ 内の ~EACH ( %text ) の`~data$を `木~順序$で連結した結果を返さ~MUST。 ◎ The wholeText attribute, when invoked, must return a concatenation of the data of the contiguous Text nodes of context object, in tree order.

4.12. ~ifc ^@CDATASection

4.13. ~ifc ^@ProcessingInstruction

各 $ProcessingInstruction `~node$には `~target@ が結付けられる。 ◎ ProcessingInstruction nodes have an associated target.

@target

取得子は、此れの`~target$を返さ~MUST。 ◎ The target attribute must return the target.

4.14. ~ifc ^@Comment

var %comment = new $Comment([data = ""])

`~data$が %data にされた，新たな $Comment `~node$を返す。 ◎ Returns a new Comment node whose data is data.

@Comment(data)

この構築子の被呼出時には、次のように設定された 新たな $Comment `~node$を返さ~MUST ⇒ `~data$ ~SET %data,
`~node文書$ ~SET `現在の大域~obj$に`結付けられている文書$ ◎ The Comment(data) constructor, when invoked, must return a new Comment node whose data is data and node document is current global object’s associated Document.

5.1. “DOM Ranges” 概説

$Range ~obj （ `範囲0$ ）は`~node木$の中の連続する内容を表現する。 各 `範囲0$ は`境界点$と呼ばれる，`始点$と`終点$を持つ。 各 `境界点$は、 ( `~node$, 非負~整数~offset ) の組である。 言い換えれば、`範囲0$は`~node木$の中の２つの`境界点$に挟まれる `中身@rg を表現する。 ◎ A Range object (range) represents a sequence of content within a node tree. Each range has a start and an end which are boundary points. A boundary point is a tuple consisting of a node and a non-negative numeric offset. So in other words, a range represents a piece of content within a node tree between two boundary points.

`範囲0$は、編集における 内容の選択や複製に よく利用される。 例えば 次の`~node木$が与えられたとき： ◎ Ranges are frequently used in editing for selecting and copying content.

• `要素$: `p^e
  • `要素$: `img^e, ^src=`insanity-wolf^l ^alt=`Little-endian BOM; decode as big-endian!^l
  • $Text:  CSS 2.1 syndata is 
  • `要素$: `em^e
    • $Text: awesome
  • $Text: !

次の様にして， `syndata is awes^l の並びを表現する`範囲0$が得られる（変数 %p には `p^e `要素$が, %em には `em^e `要素$が，割当されているとする）： ◎ In the node tree above, a range can be used to represent the sequence “syndata is awes”. Assuming p is assigned to the p element, and em to the em element, this would be done as follows:

var %range = new Range(),
    %text1 = %p.childNodes[1],
    %text2 = %em.firstChild
%range.setStart(%text1, 9) // 先頭の空白類も数に入れる
%range.setEnd(%text2, 4)
// %range を文字列化-した結果は、今や先に示した文字列になる
◎
var range = new Range(),
    firstText = p.childNodes[1],
    secondText = em.firstChild
range.setStart(firstText, 9) // do not forget the leading space
range.setEnd(secondText, 4)
// range now stringifies to the aforementioned quote

注記： `範囲0$は、上の`~node木$の ^src や ^alt などの`属性0$は表現できない。 `範囲0$の概念は`~node$に対してのみ有用になる。 ◎ Attributes such as src and alt in the node tree above cannot be represented by a range. The ranges concept is only useful for nodes.

範囲0は`~node木$に対する変異に影響される。 その種の変異により`範囲0$が無効化されることはなく，可能なら内容の同じ部分を表現するようにされる。 `範囲0$は、その`中身$rgの一部が変異したときなど、`~node木$に対する変異に伴って，必要に応じて それ自身に~~変更が加えられ得る。 ◎ Ranges are affected by mutations to the node tree. Such mutations will not invalidate a range and will try to ensure that the range still represents the same piece of content. Necessarily, a range might itself be modified as part of the mutation to the node tree when e.g. part of the content it represents is mutated.

詳細は、 `挿入-$／`除去-$の~algo, $Node.normalize() ~meth, `~dataを置換-$ ／ `分割-$の~algo を見よ。 ◎ See the insert and remove algorithms, the normalize() method, and the replace data and split algorithms for the hairy details.

【 例えば範囲0の境界点が~nodeの “内部” を指していて，その~nodeが木から除去された場合、その境界点は “~nodeが抜けた穴” を指すようにされる（始点と終点が別々の木の中を指さないようにされる）。 始点と終点の両者が同じ~nodeの内部を指していたとしても、除去された~nodeの内部を指すことはなく，範囲0は依然として元の木に結付けられたままにされ、範囲0は，その始点と終点が同じ “穴” を指す様に “畳まれる” ことになる。 】

5.2. ~ifc ^@Range

$Range ~objは単に `範囲0@ （ “DOM range”, “~~範囲~obj” ）とも呼ばれている。 ◎ Range objects are simply known as ranges.

【 一般語の “~~範囲” と区別し易くするため、この訳では， “°” を付けて “範囲0” と記すことにする。 】【 各 `範囲0$は、その作成-時からずっと，同じある`~node木$に結付けられ続ける。 仕様には明示的にそう述べられてはいないが、各種~algoの挙動から，そう結論できる。 】

`境界点@ とは、［ `~node$と, 非負~整数である `~offset@ ］の組である。 ◎ A boundary point is a (node, offset) tuple, where offset is a non-negative integer.

【 以下では， “( %node, %offset )” の様に括弧で括って記される。 】

注記： 一般に，`境界点$の`~offset$は［ 0 〜 `境界点$の`~node$の`~length$ ］の~~範囲に入る。 `木$を改変する~algo（特に， `挿入-$, `除去-$, `~dataを置換-$, `分割-$ ）は、その`木$に結付けられている一連の`範囲0$も改変する。 ◎ Generally speaking, a boundary point’s offset will be between zero and the boundary point’s node length, inclusive. Algorithms that modify a tree (in particular the insert, remove, replace data, and split algorithms) also modify ranges associated with that tree.

2 つの `境界点$ %A = (%node-A, %offset-A) と %B = (%node-B, %offset-B) が同じ `根$rgを持つとき、%B に相対的な %A の `位置bp@ は次の~algoの返値に従って `前bp@, `等bp@, `後bp@, のいずれかになる： ◎ If the two nodes of boundary points (node A, offset A) and (node B, offset B) have the same root, the position of the first relative to the second is either before, equal, or after, as returned by the following algorithm:

【 この~algoは２つの境界点に対し，上の模式図における位置関係（左側が “前” ）を算出するものになる。 前／後の関係については、 “ %A は%B より `前bp$ ／ `後bp$ ” とも記す。 】

1. ~IF［ %node-A ~EQ %node-B ］ ⇒ ~RET ［ %offset-A ~EQ %offset-B ならば `等bp$ ／ %offset-A ~LT %offset-B ならば `前bp$ ／ %offset-A ~GT %offset-B ならば `後bp$ ］ ◎ If node A is the same as node B, return equal if offset A is the same as offset B, before if offset A is less than offset B, and after if offset A is greater than offset B.
2. ~IF［ %node-A は %node-B に`後続-$する ］ ⇒ ~RET %A に相対的な %B の`位置bp$が［ `前bp$ならば `後bp$ ／ `後bp$ならば `前bp$ ］ ◎ If node A is following node B, compute the position of (node B, offset B) relative to (node A, offset A). If it is before, return after. If it is after, return before.

3. ~IF［ %node-A ~AN %node-B ］： ◎ If node A is an ancestor of node B:

   1. %子 ~LET %node-B ◎ Let child equal node B.
   2. ~WHILE［ %子 の`親$ ~NEQ %node-A ］ ⇒ %子 ~SET %子 の`親$ ◎ While child is not a child of node A, set child to its parent.
   3. ~IF［ %子 の`指数$ ~LT %offset-A ］ ⇒ ~RET `後bp$ ◎ If the index of child is less than offset A, return after.
4. ~RET `前bp$ ◎ Return before.

各 `範囲0$には 2 個の`境界点$ — `始点@ と `終点@ — が結付けられる。 ◎ Each range has two associated boundary points — a start and end.

`範囲0$の `根@rg とは、その`始点~node$の`根$である。 ◎ The root of a range is the root of its start node.

【 `終点~node$の`根$と同じになる（常にそうなるように拘束される）。 】

所与の`範囲0$ %範囲0 に対し： ◎ ↓

• 次のいずれも満たす`~node$ %node は、 %範囲0 に `被包含@ であるとされる：

  • %node の`根$ ~EQ %範囲0 の`根$rg
  • (%node, 0) は %範囲0 の`始点$より `後bp$
  • (%node, %node の`~length$) は %範囲0 の`終点$より `前bp$
  ◎ A node node is contained in a range range if node’s root is the same as range’s root, and (node, 0) is after range’s start, and (node, length of node) is before range’s end.

• 次のいずれかを満たす`~node$ %node は、 %範囲0 に `半被包含@ であるとされる：

  • ［ %node ~iAN %範囲0 の`始点~node$ ］~AND ［ %node ~iAN %範囲0 の`終点~node$ でない ］
  • ［ %node ~iAN %範囲0 の`始点~node$ でない ］~AND［ %node ~iAN %範囲0 の`終点~node$ ］
  ◎ A node is partially contained in a range if it is an inclusive ancestor of the range’s start node but not its end node, or vice versa.

var %range = new $Range()

新たな`範囲0$を返す。 ◎ Returns a new range.

@Range()

この構築子の被呼出時には、次を走らせ~MUST：

1. %文書 ~LET `現在の大域~obj$に`結付けられている文書$
2. ~RET 次のように設定された 新たな $Range ⇒ `始点$ ~SET ( %文書, 0 ) ,
   `終点$ ~SET ( %文書, 0 )

◎ The Range() constructor, when invoked, must return a new range with (current global object’s associated Document, 0) as its start and end.

%node = %range . $startContainer

%range の`始点~node$を返す。 ◎ Returns range’s start node.

%offset = %range . $startOffset

%range の`始点~offset$を返す。 ◎ Returns range’s start offset.

%node = %range . $endContainer

%range の`終点~node$を返す。 ◎ Returns range’s end node.

%offset = %range . $endOffset

%range の`終点~offset$を返す。 ◎ Returns range’s end offset.

%collapsed = %range . $collapsed

%range の`始点$と`終点$が同じ場合は~T を, 他の場合は~F を返す。 ◎ Returns true if range’s start and end are the same, and false otherwise.

%container = %range . $commonAncestorContainer

%range の`始点~node$と`終点~node$の両方の`広義先祖$であるような，最も末端の~nodeを返す。 【原文の “ancestor” （先祖）は~~厳密な記述ではない。】 ◎ Returns the node, furthest away from the document, that is an ancestor of both range’s start node and end node.

@startContainer

取得子は、此れの`始点~node$を返さ~MUST。 ◎ The startContainer attribute’s getter must return the start node.

@startOffset

取得子は、此れの`始点~offset$を返さ~MUST。 ◎ The startOffset attribute’s getter must return the start offset.

@endContainer

取得子は、此れの`終点~node$を返さ~MUST。 ◎ The endContainer attribute’s getter must return the end node.

@endOffset

取得子は、此れの`終点~offset$を返さ~MUST。 ◎ The endOffset attribute’s getter must return the end offset.

@collapsed

取得子は、［ 此れの`始点$ ~EQ `終点$ならば ~T ／ ~ELSE_ ~F ］を返さ~MUST。 ◎ The collapsed attribute’s getter must return true if start is the same as end, and false otherwise.

@commonAncestorContainer

取得子は、此れの ( `始点~node$, `終点~node$ ) の`共通の広義先祖$を返さ~MUST。 ◎ The commonAncestorContainer attribute’s getter must run these steps: • Let container be start node. • While container is not an inclusive ancestor of end node, let container be container’s parent. • Return container.

【 次のブロックは、原文には存在しない，この訳による補完。 ブロックにて挙げる各種~methは、範囲0の片方または両方の境界点を新たな地点に変更する。 片方の境界点（以下， %P ）のみを変更する~methについては、整合性を保つため，もう片方の境界点（以下， %Q ）も必要に応じて~~正される： すなわち， %Q が［ %P と異なる木の中に位置する, または %P より［ 前bp（始点が変更された場合） ／ 後bp（終点が変更された場合） ］に位置する ］ようになった場合、 %P と同じ地点にされる（ 範囲0は “畳まれる” ）。 】

%range . $setStart(node, offset)

%range . $setEnd(node, offset)

それぞれ，始点／終点を 境界点 (%node, %offset) と同じ位置にする。

%node が`文書型$である場合， `InvalidNodeTypeError^E 例外が投出される。 他の場合， %offset が %node の`~length$を超えている場合， `IndexSizeError^E 例外が投出される。

%range . $setStartBefore(node)

%range . $setStartAfter(node)

それぞれ，始点を %node の外側の［ 始端（下図の `S^c ）／終端（下図の `E^c ） ］に位置させる。

%node の`親$が~NULL の場合， `InvalidNodeTypeError^E 例外が投出される。

%range . $setEndBefore(node)

%range . $setEndAfter(node)

それぞれ，終点を %node の外側の［ 始端（下図の `S^c ）／終端（下図の `E^c ） ］に位置させる。

%node の`親$が~NULL の場合， `InvalidNodeTypeError^E 例外が投出される。

（説明用の図式 — %node 引数が，図の~COLOR_Yが表す~nodeに対応しているとする。） `[|(|.|)|[|(|.|)|S[y|s[|(|.|)|]|(|.|.|.|)|[|]|e]|E(|.|.|)|]|]^bpex

%range . $collapse(toStart)

範囲0を “畳む”。 %toStart が~T の場合は 終点を始点と同じ地点に位置させ，他の場合は 始点を終点と同じ地点に位置させる。

%range . $selectNode(node)

%node を “選択-” する。 すなわち，始点と終点を %node の外側の両端（上図の `S^c, `E^c ）に位置させる。

%node の`親$が~NULL の場合， `InvalidNodeTypeError^E 例外が投出される。

%range . $selectNodeContents(node)

%node の内容を “選択-” する。 すなわち，始点と終点を %node の内側の両端（上図の `s^c, `e^c ）に位置させる。

%node が`文書型$である場合， `InvalidNodeTypeError^E 例外が投出される。

%range . $compareBoundaryPoints(how, sourceRange)

%range の始点または終点（ %how により指示される）が， %sourceRange の始点または終点（ %how により指示される）に比して［ `前bp$, `等bp$, `後bp$ ］のいずれに位置bpするかに応じて、［ −1, 0, 1 ］を返す。

%範囲0 の 始点／終点 に，`境界点$ (%node, %offset) を `設定bp@ するときは、次を走らす： ◎ To set the start or end of a range to a boundary point (node, offset), run these steps:

1. ~IF［ %node は`文書型$である ］ ⇒ ~THROW `InvalidNodeTypeError^E ◎ If node is a doctype, then throw an InvalidNodeTypeError.
2. ~IF［ %offset ~GT %node の`~length$ ］ ⇒ ~THROW `IndexSizeError^E ◎ If offset is greater than node’s length, then throw an IndexSizeError.
3. %境界点 ~LET `境界点$ (%node, %offset) ◎ Let bp be the boundary point (node, offset).

4. “始点に設定する” 場合 ◎ If these steps were invoked as "set the start"

   1. ~IF［ %境界点 は %範囲0 の`終点$より `後bp$ ］~OR［ %範囲0 の`根$rg ~NEQ %node の`根$ ］ ⇒ %範囲0 の`終点$ ~SET %境界点 ◎ If bp is after the range’s end, or if range’s root is not equal to node’s root, set range’s end to bp.
   2. %範囲0 の`始点$ ~SET %境界点 ◎ Set range’s start to bp.

   “終点に設定する” 場合 ◎ If these steps were invoked as "set the end"

   1. ~IF［ %境界点 は %範囲0 の`始点$より `前bp$ ］~OR［ %範囲0 の`根$rg ~NEQ %node の`根$ ］ ⇒ %範囲0 の`始点$ ~SET %境界点 ◎ If bp is before the range’s start, or if range’s root is not equal to node’s root, set range’s start to bp.
   2. %範囲0 の`終点$ ~SET %境界点 ◎ Set range’s end to bp.

@setStart(node, offset)

被呼出時には、此れの始点に，`境界点$ (%node, %offset) を`設定bp$し~MUST。 ◎ The setStart(node, offset) method, when invoked, must set the start of context object to boundary point (node, offset).

@setEnd(node, offset)

被呼出時には、此れの終点に，`境界点$ (%node, %offset) を`設定bp$し~MUST。 ◎ The setEnd(node, offset) method, when invoked, must set the end of context object to boundary point (node, offset).

@setStartBefore(node)

被呼出時には、次を走らせ~MUST： ◎ The setStartBefore(node) method, when invoked, must run these steps:

1. %親 ~LET %node の`親$ ◎ Let parent be node’s parent.
2. ~IF［ %親 ~EQ ~NULL ］ ⇒ ~THROW `InvalidNodeTypeError^E ◎ If parent is null, then throw an InvalidNodeTypeError.
3. 此れの始点に，`境界点$ (%親, %node の`指数$) を`設定bp$する ◎ Set the start of the context object to boundary point (parent, node’s index).

@setStartAfter(node)

被呼出時には、次を走らせ~MUST： ◎ The setStartAfter(node) method, when invoked, must run these steps:

1. 此れの始点に，`境界点$ (%親, %node の`指数$ ~PLUS 1) を`設定bp$する ◎ Set the start of the context object to boundary point (parent, node’s index plus one).

@setEndBefore(node)

被呼出時には、次を走らせ~MUST： ◎ The setEndBefore(node) method, when invoked, must run these steps:

1. 此れの終点に，`境界点$ (%親, %node の`指数$) を`設定bp$する ◎ Set the end of the context object to boundary point (parent, node’s index).

@setEndAfter(node)

被呼出時には、次を走らせ~MUST： ◎ The setEndAfter(node) when invoked, method must run these steps:

1. 此れの終点に，`境界点$ (%親, %node の`指数$ ~PLUS 1) を`設定bp$する ◎ Set the end of the context object to boundary point (parent, node’s index plus one).

@collapse(toStart)

被呼出時には、次を走らせ~MUST：

1. ~IF［ %toStart ~EQ ~T ］ ⇒ `終点$ ~SET `始点$
2. ~ELSE ⇒ `始点$ ~SET `終点$

◎ The collapse(toStart) method, when invoked, must if toStart is true, set end to start, and set start to end otherwise.

`~node$ %node を，`範囲0$ %範囲0 の `中身として選択-@rg するときは、次を走らす： ◎ To select a node node within a range range, run these steps:

1. %index ~LET %node の`指数$ ◎ Let index be node’s index.
2. %範囲0 の`始点$ ~SET `境界点$ (%親, %index) ◎ Set range’s start to boundary point (parent, index).
3. %範囲0 の`終点$ ~SET `境界点$ (%親, %index ~PLUS 1) ◎ Set range’s end to boundary point (parent, index plus one).

@selectNode(node)

被呼出時には、 %node を，此れの`中身として選択-$rgし~MUST。 ◎ The selectNode(node) method, when invoked, must select node within context object.

@selectNodeContents(node)

被呼出時には、次を走らせ~MUST： ◎ The selectNodeContents(node) method, when invoked, must run these steps:

1. ~IF［ %node は`文書型$である ］ ⇒ ~THROW `InvalidNodeTypeError^E ◎ If node is a doctype, then throw an InvalidNodeTypeError.
2. %~length ~LET %node の`~length$ ◎ Let length be the length of node.
3. 此れの`始点$ ~SET `境界点$ (%node, 0) ◎ Set start to the boundary point (node, 0).
4. 此れの`終点$ ~SET `境界点$ (%node, %~length) ◎ Set end to the boundary point (node, length).

@compareBoundaryPoints(how, sourceRange)

被呼出時には、次を走らせ~MUST： ◎ The compareBoundaryPoints(how, sourceRange) method, when invoked, must run these steps:

1. ~IF［ %how ~NIN { $START_TO_START, $START_TO_END, $END_TO_END, $END_TO_START } ］ ⇒ ~THROW `NotSupportedError^E ◎ If how is not one of • START_TO_START • START_TO_END • END_TO_END • END_TO_START ◎ then throw a NotSupportedError.
2. ~IF［ 此れの`根$rg ~NEQ %sourceRange の`根$rg ］ ⇒ ~THROW `WrongDocumentError^E ◎ If context object’s root is not the same as sourceRange’s root, then throw a WrongDocumentError.

3. %how に応じて： ◎ If how is:

   $START_TO_START:

   %基準点 ~LET %sourceRange の`始点$；
   %相対点 ~LET 此れの`始点$ ◎ Let this point be the context object’s start. Let other point be sourceRange’s start.

   $START_TO_END:

   %基準点 ~LET %sourceRange の`始点$；
   %相対点 ~LET 此れの`終点$ ◎ Let this point be the context object’s end. Let other point be sourceRange’s start.

   $END_TO_END:

   %基準点 ~LET %sourceRange の`終点$；
   %相対点 ~LET 此れの`終点$ ◎ Let this point be the context object’s end. Let other point be sourceRange’s end.

   $END_TO_START:

   %基準点 ~LET %sourceRange の`終点$；
   %相対点 ~LET 此れの`始点$ ◎ Let this point be the context object’s start. Let other point be sourceRange’s end.

4. ~RET ［ %基準点 に相対的な %相対点 の`位置bp$ ］に応じて ⇒ ［ %基準点 より `前bp$ ならば ~MINUS 1 ／ %基準点 と `等bp$ ならば 0 ／ %基準点 より `後bp$ ならば 1 ］ ◎ If the position of this point relative to other point is ◎ before • Return −1. ◎ equal • Return 0. ◎ after • Return 1.

【 次のブロックは、原文には存在しない，この訳による補完。 ブロックにて挙げる各種~methは、主に，範囲0の`中身$rgを操作する。 】

%range . $deleteContents()

`範囲0$の`中身$rgを削除した上で、範囲0の`境界点$を “畳む”。

`deleteContents()^c の実行例。 図の記号［ `s^c, `e^c ］が順に範囲の［ 始点, 終点 ］を表すとするとき、図左の~~状態から図右の~~状態になる。 被包含~node（図の ~COLOR_X ）, および 始点／終点~nodeの文字~dataのうち 範囲0に入る部分の文字（図の `+^c ）が除去される。 半被包含~node（図の ~COLOR_Y ）は除去されない。 この例では、始点 `s^c が指す`文字~data~node$は，~dataは空になるが~node自体は残される。 図右の `S^c, `E^c が元の始点, 終点に対応する位置であるが、実行後の始点と終点は，図右の `X^c （共通の広義先祖の直下）を指すようにされることに注意（範囲0は “畳まれる” ）。 始点~node ~iAN 終点~node であった場合、始点の位置は変化しない。 始点~node ~iDE 終点~node であった場合、全体の終端（右端）から相対的な終点の位置は変化しない。

`[|[|]|[y|(y|s+|)|]|[x|(|.|)|]|[y|(x|.|)|[y|(y|+|+|e.|)|[|]|]|(|.|)|]|] → [|[|]|[y|(y|S)|]|X[y|[y|(y|E.|)|[|]|]|(|.|)|]|]^bpex

%range . $extractContents()

`範囲0$の`中身$rgを~cloneした結果を返すと同時に，中身は削除する（ “カット” ）。 機能的には $cloneContents() と $deleteContents() の組み合わせと同等になる。

%range . $cloneContents()

`範囲0$の`中身を~clone$rgした結果を返す。 返される`中身$rgは、新たな`文書片$で包装される。

^cloneContents() の実行例。 図左の記号［ `s^c, `e^c ］が順に範囲の［ 始点, 終点 ］を表すとするとき、その間に挟まれた部分の~cloneが図右に示すように得られる（ `S^c, `E^c が元の始点と終点に対応する位置）。 図の~COLOR_Yの 2 個の~nodeが，範囲の`半被包含$の子。 入れ物にあたる それらの`共通の広義先祖$は、~cloneにおいては`文書片$（~COLOR_X）に置換される。 始点 `s^c が属する`文字~data~node$は~dataが空にされるが、~node自体は［ その親から共通の広義先祖の子まで ］の先祖も含めて~cloneされる。

`[|[|]|[y|(|.|s)|(|.|)|]|(|.|)|[y|(|.|)|[|(|.|.|e.|)|[|]|]|(|.|)|]|] → [x|[y|(|S)|(|.|)|]|(|.|)|[y|(|.|)|[|(|.|.|E)|]|]|]^bpex

%range . $insertNode(node)

`範囲0$の`中身$rgの先頭に %node を挿入する（`中身に挿入-$rgする）。

%range . $surroundContents(%newParent)

`範囲0$の`中身$rgを %newParent ~nodeで包装する。 それに伴い、範囲0の始点, 終点は， %newParent の（外側の）両端を指すようにされる。 包装するに先立って、 %newParent の元々の子はすべて除去され， %newParent 自身も元々の親から除去される。

^surroundContents(%newParent) の実行例。 記号 `s^c は始点, `e^c は終点を表すとき、その間の区間に %newParent の “皮” が被せられる（図の~COLOR_Y）。 `Text^c 以外の`半被包含$は許容されないので、始点と終点は `Text^c の層を~~無視すれば同じ親の直下に位置する必要がある（さもなければ例外が投出される）。 図の様に境界点が `Text^c ~node内に位置する場合、その~nodeはそこで分割される。

`[|(|.|)|s[x|(|.|)|]|[x|(|.|.|)|[|]|]|(|.|e.|)|] → [|(|.|)|s[y|[x|(|.|)|]|[x|(|.|.|)|[|]|]|(|.|)|]|e(|.|)|]^bpex

@deleteContents()

被呼出時には、次を走らせ~MUST： ◎ The deleteContents() method, when invoked, must run these steps:

1. ~IF［ `始点$と`終点$は `等bp$ ］ ⇒ ~RET ◎ If start is end, terminate these steps.
2. ( %元始点~node, %元始点~offset, %元終点~node, %元終点~offset ) ~LET 順に，此れの ( `始点~node$, `始点~offset$, `終点~node$, `終点~offset$ ) ◎ Let original start node, original start offset, original end node, and original end offset be the context object’s start node, start offset, end node, and end offset, respectively.

3. ~IF［ %元始点~node ~EQ %元終点~node ］~AND［ %元始点~node, %元終点~node は，いずれも`文字~data~node$である ］：

   1. 次を与える下で， %元始点~node の`~dataを置換-$する ⇒ ~offset: %元始点~offset,
      ~count: %元終点~offset ~MINUS %元始点~offset,
      ~data: 空文字列
   2. ~RET
   ◎ If original start node and original end node are the same, and they are a Text, ProcessingInstruction, or Comment node, replace data with node original start node, offset original start offset, count original end offset minus original start offset, and data the empty string, and then terminate these steps.
4. %除去対象 ~LET 此れに`被包含$なるすべての`~node$から，`親$も此れに`被包含$なる`~node$を除いたものからなる，`木~順序$の~list ◎ Let nodes to remove be a list of all the nodes that are contained in the context object, in tree order, omitting any node whose parent is also contained in the context object.
5. ~IF［ %元始点~node ~iAN %元終点~node ］ ⇒ %新-~node ~LET %元始点~node；
   %新-~offset ~LET %元始点~offset ◎ If original start node is an inclusive ancestor of original end node, set new node to original start node and new offset to original start offset.

6. ~ELSE：

   1. %新-~node ~LET ( %元始点~node, %元終点~node ) の`共通の広義先祖$
   2. %新-~offset ~LET ［ %新-~node の`子$のうち, %元始点~node の`広義先祖$である`~node$ † ］の`指数$ ~PLUS 1

   【 見通しを良くするため、ここの訳は，原文を等価な記述に変形している。 前段の条件の否定が成立することから †の~nodeは必ず存在し， %新-~node に`半被包含$なる子のうち 最初の方になる。 】

   Otherwise:

   1. Let reference node equal original start node.
   2. While reference node’s parent is not null and is not an inclusive ancestor of original end node, set reference node to its parent.

   3. Set new node to the parent of reference node, and new offset to one plus the index of reference node.

      If reference node’s parent were null, it would be the root of the context object, so would be an inclusive ancestor of original end node, and we couldn’t reach this point.

7. ~IF［ %元始点~node は`文字~data~node$である ］ ⇒ 次を与える下で， %元始点~node の`~dataを置換-$する ⇒ ~offset: %元始点~offset,
   ~count: %元始点~node の`~length$ ~MINUS %元始点~offset,
   ~data: 空文字列 ◎ If original start node is a Text, ProcessingInstruction, or Comment node, replace data with node original start node, offset original start offset, count original start node’s length minus original start offset, data the empty string.
8. ~FOR %除去対象 内の~EACH ( %node ) に対し，`木~順序$で ⇒ %node をその`親$から`除去-$する ◎ For each node in nodes to remove, in tree order, remove node from its parent.
9. ~IF［ %元終点~node は`文字~data~node$である ］ ⇒ 次を与える下で， %元終点~node の`~dataを置換-$する ⇒ ~offset: 0,
   ~count: %元終点~offset,
   ~data: 空文字列 ◎ If original end node is a Text, ProcessingInstruction, or Comment node, replace data with node original end node, offset 0, count original end offset and data the empty string.
10. 此れの`始点$ ~SET (%新-~node, %新-~offset)；
    此れの`終点$ ~SET (%新-~node, %新-~offset) ◎ Set start and end to (new node, new offset).

`範囲0$ %範囲0 の `中身を抽出-@rg するときは、次を走らす： ◎ To extract a range range, run these steps:

1. %断片 ~LET 次のように設定された 新たな`文書片$`~node$ ⇒ `~node文書$ ~SET %範囲0 の`始点~node$の`~node文書$ ◎ Let fragment be a new DocumentFragment node whose node document is range’s start node’s node document.
2. ~IF［ %範囲0 の`始点$と`終点$は `等bp$ ］ ⇒ ~RET %断片 ◎ If range’s start is its end, return fragment.
3. ( %元始点~node, %元始点~offset, %元終点~node, %元終点~offset ) ~LET 順に， %範囲0 の ( `始点~node$, `始点~offset$, `終点~node$, `終点~offset$ ) ◎ Let original start node, original start offset, original end node, and original end offset be range’s start node, start offset, end node, and end offset, respectively.

4. ~IF［ %元始点~node ~EQ %元終点~node ］~AND［ それは`文字~data~node$である ］： ◎ If original start node is original end node, and they are a Text, ProcessingInstruction, or Comment node:

   1. %clone ~LET %元始点~node を`~clone$した結果 ◎ Let clone be a clone of original start node.
   2. %clone の`~data$ ~SET %元始点~node の`~dataの部分文字列$( %元始点~offset, ( %元終点~offset ~MINUS %元始点~offset ) ) ◎ Set the data of clone to the result of substringing data with node original start node, offset original start offset, and count original end offset minus original start offset.
   3. %clone を %断片 に`付加-$する ◎ Append clone to fragment.
   4. 次を与える下で， %元始点~node の`~dataを置換-$する ⇒ ~offset: %元始点~offset,
      ~count: %元終点~offset ~MINUS %元始点~offset,
      ~data: 空文字列 ◎ Replace data with node original start node, offset original start offset, count original end offset minus original start offset, and data the empty string.
   5. ~RET %断片 ◎ Return fragment.
5. %共通0広義先祖 ~LET ( %元始点~node, %元終点~node ) の`共通の広義先祖$ ◎ Let common ancestor be original start node. ◎ While common ancestor is not an inclusive ancestor of original end node, set common ancestor to its own parent.
6. %~first半被包含子 ~LET ~NULL ◎ Let first partially contained child be null.
7. ~IF［ %元始点~node ~iAN %元終点~node ］でない ⇒ %~first半被包含子 ~SET %共通0広義先祖 の`子$のうち， %範囲0 に`半被包含$なる最初のもの ◎ If original start node is not an inclusive ancestor of original end node, set first partially contained child to the first child of common ancestor that is partially contained in range.
8. %~last半被包含子 ~LET ~NULL ◎ Let last partially contained child be null.

9. ~IF［ %元終点~node ~iAN %元始点~node ］でない ⇒ %~last半被包含子 ~SET %共通0広義先祖 の`子$のうち， %範囲0 に`半被包含$なる最後のもの ◎ If original end node is not an inclusive ancestor of original start node, set last partially contained child to the last child of common ancestor that is partially contained in range.

   注記： これらの変数~代入は実際に常に意味を持つ。 例えば， %元始点~node ~iAN %元終点~node でないならば、 %元始点~node 自身が %範囲0 に半被包含であり，共通の広義先祖の子までの，その先祖すべても同様である。 共通の広義先祖は、 %元終点~node の`広義先祖$になる筈なので，%元始点~node にはなり得ない。 逆の場合も同様である。 また、２つの子がいずれも定義されたなら，それらは決して等しくならないことにも注意。 ◎ These variable assignments do actually always make sense. For instance, if original start node is not an inclusive ancestor of original end node, original start node is itself partially contained in range, and so are all its ancestors up until a child of common ancestor. common ancestor cannot be original start node, because it has to be an inclusive ancestor of original end node. The other case is similar. Also, notice that the two children will never be equal if both are defined.

10. %被包含子列 ~LET %共通0広義先祖 の`子$のうち， %範囲0 に`被包含$なるものすべてからなる `木~順序$による~list。 ◎ Let contained children be a list of all children of common ancestor that are contained in range, in tree order.

11. ~IF［ %被包含子列 のうちのいずれかが`文書型$である ］ ⇒ ~THROW `HierarchyRequestError^E ◎ If any member of contained children is a doctype, then throw a HierarchyRequestError.

    注記： `文書型$は決して半被包含にはならないので，最初や最後の半被包含~nodeを考える必要はない。 それは 範囲0 の境界点 【始点~node／終点~node】 にはなり得ず, 何かの先祖にもなり得ない。 ◎ We do not have to worry about the first or last partially contained node, because a doctype can never be partially contained. It cannot be a boundary point of a range, and it cannot be the ancestor of anything.

12. ~ELSE ⇒ %新-~node ~LET %共通0広義先祖；
    %新-~offset ~LET %~first半被包含子 の`指数$ ~PLUS 1

    【ここの訳は、原文の記述と同じ結果を得るものに簡略化している。】

    Otherwise:

    1. Let reference node equal original start node.
    2. While reference node’s parent is not null and is not an inclusive ancestor of original end node, set reference node to its parent.

    3. Set new node to the parent of reference node, and new offset to one plus reference node’s index.

       If reference node’s parent is null, it would be the root of range, so would be an inclusive ancestor of original end node, and we could not reach this point.

13. ~IF［ %~first半被包含子 は`文字~data~node$である ］： ◎ If first partially contained child is a Text, ProcessingInstruction, or Comment node:

    この事例では， %~first半被包含子 は %元始点~node である。 ◎ In this case, first partially contained child is original start node.

    1. %clone の`~data$ ~SET %元始点~node の`~dataの部分文字列$( %元始点~offset, ( %元始点~node の`~length$ ~MINUS %元始点~offset ) ) ◎ Set the data of clone to the result of substringing data with node original start node, offset original start offset, and count original start node’s length minus original start offset.
    2. 次を与える下で， %元始点~node の`~dataを置換-$する ⇒ ~offset: %元始点~offset,
       ~count: %元始点~node の`~length$ ~MINUS %元始点~offset,
       ~data: 空文字列 ◎ Replace data with node original start node, offset original start offset, count original start node’s length minus original start offset, and data the empty string.

14. ~ELIF［ %~first半被包含子 ~NEQ ~NULL ］： ◎ Otherwise, if first partially contained child is not null:

    1. %clone ~LET %~first半被包含子 を`~clone$した結果 ◎ Let clone be a clone of first partially contained child.
    2. %下位~範囲0 ~LET 次のように設定された 新たな`範囲0$ ⇒ `始点$ ~SET (%元始点~node, %元始点~offset),
       `終点$ ~SET (%~first半被包含子, %~first半被包含子 の`~length$ ) ◎ Let subrange be a new range whose start is (original start node, original start offset) and whose end is (first partially contained child, first partially contained child’s length).
    3. %下位~断片 ~LET %下位~範囲0 の`中身を抽出-$rgした結果 ◎ Let subfragment be the result of extracting subrange.
    4. %下位~断片 を %clone に`付加-$する ◎ Append subfragment to clone.
15. %被包含子列 内の~EACH ( %被包含子 ) に対し ⇒ %被包含子 を %断片 に`付加-$する ◎ For each contained child in contained children, append contained child to fragment.

16. ~IF［ %~last半被包含子 は`文字~data~node$である ］： ◎ If last partially contained child is a Text, ProcessingInstruction, or Comment node:

    この事例では， %~last半被包含子 は %元始点~node である。 ◎ In this case, last partially contained child is original end node.

    1. %clone ~LET %元終点~node を`~clone$した結果 ◎ Let clone be a clone of original end node.
    2. %clone の`~data$ ~SET %元終点~node の`~dataの部分文字列$( 0, %元終点~offset ) ◎ Set the data of clone to the result of substringing data with node original end node, offset 0, and count original end offset.
    3. 次を与える下で， %元終点~node の`~dataを置換-$する ⇒ ~offset: 0,
       ~count: %元終点~offset,
       ~data: 空文字列 ◎ Replace data with node original end node, offset 0, count original end offset, and data the empty string.

17. ~ELIF［ %~last半被包含子 ~NEQ ~NULL ］： ◎ Otherwise, if last partially contained child is not null:

    1. %clone ~LET %~last半被包含子 を`~clone$した結果 ◎ Let clone be a clone of last partially contained child.
    2. %下位~範囲0 ~LET 次のように設定された 新たな`範囲0$ ⇒ `始点$ ~SET (%~last半被包含子, 0),
       `終点$ ~SET (%元終点~node, %元終点~offset) ◎ Let subrange be a new range whose start is (last partially contained child, 0) and whose end is (original end node, original end offset).
18. %範囲0 の`始点$ ~SET (%新-~node, %新-~offset)；
    %範囲0 の`終点$ ~SET (%新-~node, %新-~offset) ◎ Set range’s start and end to (new node, new offset).

@extractContents()

被呼出時には、此れの`中身を抽出-$rgした結果を返さ~MUST。 ◎ The extractContents() method, when invoked, must return the result of extracting context object.

`範囲0$ %範囲0 の`中身を~clone@rg するときは、次を走らす： ◎ To clone the contents of a range range, run these steps:

3. 1. %下位~断片 ~LET %下位~範囲0 の`中身を~clone$rgした結果 ◎ Let subfragment be the result of cloning the contents of subrange.

4. ~FOR %被包含子列 内の~EACH ( %被包含子 ) に対し： ◎ For each contained child in contained children:

   1. %clone ~LET ( `~clone子孫^f： ~ON ) を与える下で， %被包含子 を`~clone$した結果 ◎ Let clone be a clone of contained child with the clone children flag set.

@cloneContents()

被呼出時には、此れの`中身を~clone$rgした結果を返さ~MUST。 ◎ The cloneContents() method, when invoked, must return the result of cloning the contents of context object.

`~node$ %node を`範囲0$ %範囲0 の `中身に挿入-@rg するときは，次を走らす： ◎ To insert a node node into a range range, run these steps:

【 `始点$の直後に %node を挿入する。 それに伴い、終点は，末尾側からの相対位置が変化しないように適宜ずらされる（すなわち、挿入-後の 始点／終点 の，先頭／末尾 からの相対位置は不変）。 始点が`文字~data~node$の内部を指している場合、その~nodeは始点の所で 2 つに分割される。 】

1. ~IF［ %範囲0 の`始点~node$ は［ $ProcessingInstruction または $Comment ］~nodeである ］~OR［［ `親$ ~EQ ~NULL ］なる $Text `~node$である ］~OR［ ~EQ %node である ］ ⇒ ~THROW `HierarchyRequestError^E ◎ If range’s start node is a ProcessingInstruction or Comment node, is a Text node whose parent is null, or is node, then throw a HierarchyRequestError.
2. %基準~node ~LET ~NULL ◎ Let referenceNode be null.
3. ~IF［ %範囲0 の`始点~node$ は $Text `~node$である ］ ⇒ %基準~node ~SET それ ◎ If range’s start node is a Text node, set referenceNode to that Text node.
4. ~ELIF［ `始点~node$ の`子$に［ `指数$ ~EQ `始点~offset$ ］なるものが在る ］ ⇒ %基準~node ~SET それ ◎ Otherwise, set referenceNode to the child of start node whose index is start offset, and null if there is no such child.
5. %親 ~LET ［ %基準~node ~NEQ ~NULL ならば その`親$ ／ ~ELSE_ %範囲0 の`始点~node$ ］ ◎ Let parent be range’s start node if referenceNode is null, and referenceNode’s parent otherwise.
6. %node を %親 の中で %基準~node の前に`挿入し得るかどうか検証する$ ◎ Ensure pre-insertion validity of node into parent before referenceNode.

7. ~IF［ %範囲0 の`始点~node$ は $Text `~node$である ］ ⇒ %基準~node ~SET それを %範囲0 の`始点~offset$ の所で`分割-$した結果

   【 `始点~offset$ が 0 でも ^Text ~nodeは`分割-$されることになる。 】

   ◎ If range’s start node is a Text node, set referenceNode to the result of splitting it with offset range’s start offset.
8. ~IF［ %node ~EQ %基準~node ］ ⇒ %基準~node ~SET その`弟$ ◎ If node is referenceNode, set referenceNode to its next sibling.
9. ~IF［ %node の`親$ ~NEQ ~NULL ］ ⇒ %node を %node の`親$から`除去-$する ◎ If node’s parent is not null, remove node from its parent.
10. %新-~offset ~LET ［ %基準~node ~NEQ ~NULL ならば その`指数$ ／ ~ELSE_ %親 の`~length$ ］ ◎ Let newOffset be parent’s length if referenceNode is null, and referenceNode’s index otherwise.
11. %新-~offset ~INCBY ［ %node は`文書片$であるならば その`~length$ ／ ~ELSE_ 1 ］ ◎ Increase newOffset by node’s length if node is a DocumentFragment node, and one otherwise.
12. %親 の中で， %node を %基準~node の前に`前挿入$する ◎ Pre-insert node into parent before referenceNode.

13. ~IF［ %範囲0 の`始点$ ~EQ %範囲0 の`終点$ ］ ⇒ %範囲0 の`終点$ ~SET (%親, %新-~offset)

    【 始点 ~NEQ 終点の場合の終点の位置は，`前挿入$（が呼び出す`挿入-$）の段階で適宜ずらされる。 】

    ◎ If range’s start and end are the same, set range’s end to (parent, newOffset).

@insertNode(node)

被呼出時には、 %node を此れの`中身に挿入-$rgし~MUST。 ◎ The insertNode(node) method, when invoked, must insert node into context object.

@surroundContents(newParent)

被呼出時には、次を走らせ~MUST： ◎ The surroundContents(newParent) method, when invoked,, when invoked, must run these steps:

1. ~IF［ 此れに`半被包含$なる， $Text でない`~node$が在る ］ ⇒ ~THROW `InvalidStateError^E ◎ If a non-Text node is partially contained in the context object, then throw an InvalidStateError.
2. ~IF［ %newParent は $Document, $DocumentType, $DocumentFragment `~node$ のいずれかである ］ ⇒ ~THROW `InvalidNodeTypeError^E ◎ If newParent is a Document, DocumentType, or DocumentFragment node, then throw an InvalidNodeTypeError.
3. %断片 ~LET 此れの`中身を抽出-$rgした結果 ◎ Let fragment be the result of extracting context object.
4. ~IF［ %newParent は`子$を持つ ］ ⇒ %newParent の内容を ~NULL で`すべて置換-$する ◎ If newParent has children, replace all with null within newParent.
5. %newParent を此れの`中身に挿入-$rgする ◎ Insert newParent into context object.

6. %断片 を %newParent に`付加-$する

   【 %newParent が`文字~data~node$であった場合、（ `中身に挿入-$rgした上で）この段で例外が投出されることになる。 】

   ◎ Append fragment to newParent.
7. %newParent を，此れの`中身として選択-$rgする ◎ Select newParent within context object.

@cloneRange()

被呼出時には、次のように設定された 新たな`範囲0$を返さ~MUST ⇒ `始点$ ~SET 此れの`始点$の複製,
`終点$ ~SET 此れの`終点$の複製 ◎ The cloneRange() method, when invoked, must return a new range with the same start and end as context object.

@detach()

被呼出時には、何もしては~MUST_NOT。 ◎ The detach() method, when invoked, must do nothing. Its functionality (disabling a Range object) was removed, but the method itself is preserved for compatibility.

注記： この機能性（ ^Range ~objの不能化）は、取り除かれた。 互換性のため存続はするが。 ◎ ↑

%position = %range . $isPointInRange( node, offset )

境界点 ( %node, %offset ) が %range 内に入る†かどうかを返す。

%position = %range . $comparePoint( node, offset )

境界点 ( %node, %offset ) が %range より前に位置する場合は ~MINUS 1 を, %range 内に入る†場合は 0 を, %range より後に位置する場合は 1 を 返す。 ◎ Returns −1 if the point is before the range, 0 if the point is in the range, and 1 if the point is after the range.

† 境界点が %range のいずれかの境界点に一致する場合も，“入る” と見なされる。

%intersects = %range . $intersectsNode( node )

%range が %node と交わるかどうかを返す。 ◎ Returns whether range intersects node.

【 %node が %range に隣接している場合（ %range の終点（始点）が %node の 外側の 始端（終端）を指す境界点に一致する場合）は、“交わらない”。 例えば下図で `s^c, `e^c が %range の境界点を表すとするとき，図の~COLOR_Yが表す %node は交わらない。 】

`[|[y|(|.|)|]|s[|(|.|.|)|e[y|(|.|.|)|]|]|]^bpex

【 一般に、 %node は %範囲0 に (1) “全部的に包含されている” とき（ `被包含$ ）, または (2) %範囲0 の始点~node／終点~nodeいずれかの`広義先祖$であるとき、 “交わる”。 】

$stringifier

範囲0を文字列化した結果は、範囲0により “選択-” されているすべての~textになる。

【 上のブロックに挙げた ^isPointInRange(), ^stringifier は、原文には存在しない，この訳による補完。 】

@isPointInRange(node, offset)

取得子は、次を走らせ~MUST： ◎ The isPointInRange(node, offset) must run these steps:

1. ~IF［ %node の`根$ ~NEQ 此れの`根$rg ］ ⇒ ~RET ~F ◎ If node’s root is different from the context object’s root, return false.
2. ~IF［ (%node, %offset) は `始点$より `前bp$ ］~OR［ `終点$より `後bp$ ］ ⇒ ~RET ~F ◎ If (node, offset) is before start or after end, return false.
3. ~RET ~T ◎ Return true.

@comparePoint(node, offset)

被呼出時には、次を走らせ~MUST： ◎ The comparePoint(node, offset) method, when invoked, must run these steps:

1. ~IF［ %node の`根$ ~NEQ 此れの`根$rg ］ ⇒ ~THROW `WrongDocumentError^E ◎ If node’s root is different from the context object’s root, then throw a WrongDocumentError.
2. ~IF［ (%node, %offset) は `始点$より `前bp$ ］ ⇒ ~RET ~MINUS 1 ◎ If (node, offset) is before start, return −1.
3. ~IF［ (%node, %offset) は `終点$より `後bp$ ］ ⇒ ~RET 1 ◎ If (node, offset) is after end, return 1.
4. ~RET 0 ◎ Return 0.

@intersectsNode(node)

被呼出時には、次を走らせ~MUST： ◎ The intersectsNode(node) method, when invoked, must run these steps:

1. ~IF［ %親 ~EQ ~NULL ］ ⇒ ~RET ~T ◎ If parent is null, return true.
2. %offset ~LET %node の`指数$ ◎ Let offset be node’s index.
3. ~IF［ (%親, %offset) は`終点$より `前bp$ ］~AND［ (%親, %offset ~PLUS 1) は`始点$より `後bp$ ］ ⇒ ~RET ~T ◎ If (parent, offset) is before end and (parent, offset + 1) is after start, return true.
4. ~RET ~F ◎ Return false.

@stringifier

文字列化の挙動は、次を走らせ~MUST： ◎ The stringification behavior must run these steps:

1. %s ~LET 空文字列 ◎ Let s be the empty string.
2. ~IF［ `始点~node$ ~EQ `終点~node$ ］~AND［ それは $Text `~node$である ］ ⇒ ~RET ［ その $Text `~node$の`~data$ ］の［ `始点~offset$ から`終点~offset$ までの部分文字列 ］ ◎ If start node is end node, and it is a Text node, return the substring of that Text node’s data beginning at start offset and ending at end offset.
3. ~IF［ `始点~node$ は $Text `~node$である ］ ⇒ ［ その`~node$の`~data$ ］の［ `始点~offset$ から末尾までの部分文字列 ］を %s に付加する ◎ If start node is a Text node, append to s the substring of that node’s data from the start offset until the end.
4. 此れに`被包含$なる ~EACH ( $Text `~node$ ) に対し，`木~順序$で ⇒ その`~data$を %s に付加する ◎ Append to s the concatenation, in tree order, of the data of all Text nodes that are contained in the context object.
5. ~IF［ `終点~node$ は $Text `~node$である ］ ⇒ ［ その`~node$の`~data$ ］の［ 先頭から`終点~offset$ までの部分文字列 ］を %s に付加する ◎ If end node is a Text node, append to s the substring of that node’s data from its start until the end offset.
6. ~RET %s ◎ Return s.

注記： ^Range ~ifcに対する拡張として， ^createContextualFragment(), ^getClientRects(), ^getBoundingClientRect() ~methが，他の仕様に定義されている。 `DOM-Parsing$r `CSSOM-VIEW$r ◎ The createContextualFragment(), getClientRects(), and getBoundingClientRect() methods are defined in other specifications. [DOM-Parsing] [CSSOM-VIEW]

6.1. ~ifc ^@NodeIterator

注記： $NodeIterator ~objは $Document.createNodeIterator() ~methにより作成できる。 ◎ NodeIterator objects can be created using the createNodeIterator() method.

各 $NodeIterator ~objには、 `反復器~collection@ が結付けられる。 それは、次のようにされた`~collection$である ⇒ `根$cl ~SET `根~node$,
`~filter$は どの`~node$にも合致する ◎ Each NodeIterator object has an associated iterator collection, which is a collection rooted at root, whose filter matches any node.

注記： 前に示したように、各 $NodeIterator ~objには［ `根~node$, `whatToShow ~bitmask$, `~filter~callback$ ］が結付けられる。 ◎ As mentioned earlier, NodeIterator objects have an associated root node, whatToShow bitmask, and filter callback as well.

所与の入力 ( $NodeIterator %反復器, `~node$ %被除去~node ) に対する `前除去-時の手続き@ は、次で与えられる： ◎ The NodeIterator pre-removing steps given a nodeIterator and toBeRemovedNode, are as follows:

1. ~IF［ %被除去~node は［ %反復器 の $referenceNode 属性~値 ］の`広義先祖$でない ］ ⇒ ~RET ◎ If toBeRemovedNode is not an inclusive ancestor of the referenceNode attribute value, terminate these steps.

2. ~IF［ %反復器 の $pointerBeforeReferenceNode 属性~値 ~EQ ~T ］： ◎ If the pointerBeforeReferenceNode attribute value is true, run these substeps:

   1. %次 ~LET ［ %被除去~node に`後続-$する ］~AND［ %反復器 の`根~node$の`広義子孫$である ］~AND［ %被除去~node の`広義子孫$でない ］ような，`最初0$の`~node$ ◎ Let next be toBeRemovedNode’s first following node that is an inclusive descendant of nodeIterator’s root and is not an inclusive descendant of toBeRemovedNode, and null if there is no such node.
   2. ~IF［ %次 ~NEQ ~NULL ］ ⇒ %反復器 の $referenceNode 属性 ~SET %次；
      ~RET ◎ If next is non-null, set nodeIterator’s referenceNode attribute to next and terminate these steps.
   3. %反復器 の $pointerBeforeReferenceNode 属性 ~SET ~F ◎ Otherwise, set nodeIterator’s pointerBeforeReferenceNode attribute to false. ◎ Steps are not terminated here.
3. %兄 ~LET %被除去~node の`兄$ ◎ ↓
4. %反復器 の $referenceNode 属性 ~SET［ %兄 ~EQ ~NULL ならば %被除去~node の`親$ ／ ~ELSE_ %兄 の`広義子孫$のうち，`最後0$のもの ］ ◎ Set nodeIterator’s referenceNode attribute to toBeRemovedNode’s parent, if toBeRemovedNode’s previous sibling is null, and to the inclusive descendant of toBeRemovedNode’s previous sibling that appears last in tree order otherwise.

@root

取得子は、`根~node$を返さ~MUST。 ◎ The root attribute’s getter must return root.

@referenceNode

@pointerBeforeReferenceNode

これらのいずれも，取得子は、それぞれの初期化時の値を返さ~MUST。 ◎ The referenceNode and pointerBeforeReferenceNode attributes must return what they were initialized to.

【 概念的には、この２つの属性の組により、`走査-$において “次” の~nodeを探索する開始地点を指す，~pointerが表現される。 ^referenceNode （初期値は先頭の~node ）が “現在の” ~nodeを表し、真偽値をとる ^pointerBeforeReferenceNode （初期値は ~T ）に従って、~pointerは，現在の~nodeの “直後” （ ~F ）または “直前” （ ~T ）を指す（すなわち、初期時の~pointerは先頭の~nodeの直前を指している）。 】

@whatToShow

取得子は、`whatToShow ~bitmask$ を返さ~MUST。 ◎ The whatToShow attribute’s getter must return whatToShow.

@filter

取得子は、`~filter~callback$を返さ~MUST。 ◎ The filter attribute’s getter must return filter.

所与の %方向 （ '順' または '逆' ）へ，此れ（ $NodeIterator ~obj）を `走査-@ するときは、次を走らす： ◎ To traverse in direction direction run these steps:

1. %node ~LET 此れの $referenceNode 属性の値 ◎ Let node be the value of the referenceNode attribute.
2. %node直前 ~LET 此れの $pointerBeforeReferenceNode 属性の値 ◎ Let before node be the value of the pointerBeforeReferenceNode attribute.
3. %collection ~LET 此れの`反復器~collection$ ◎ ↓

4. ~WHILE 無条件： ◎ Run these substeps:

   1. ~IF［ %方向 ~EQ '順' ］： ◎ If direction is next

      1. ~IF［ %node直前 ~EQ ~F ］：

         1. %node ~SET %collection の中で %node に`後続-$する`最初0$の`~node$
         2. ~IF［ %node ~EQ ~NULL ］ ⇒ ~RET ~NULL
      2. ~ELSE ⇒ %node直前 ~SET ~F

      ◎ If before node is false, let node be the first node following node in the iterator collection. If there is no such node return null. If before node is true, set it to false.

   2. ~ELSE（ %方向 ~EQ '逆' ）： ◎ If direction is previous

      1. ~IF［ %node直前 ~EQ ~T ］：

         1. %node ~SET %collection の中で %node に`先行-$する`最後0$の`~node$
         2. ~IF［ %node ~EQ ~NULL ］ ⇒ ~RET ~NULL
      2. ~ELSE ⇒ %node直前 ~SET ~T

      ◎ If before node is true, let node be the first node preceding node in the iterator collection. If there is no such node return null. If before node is false, set it to true.
   3. ~IF［ %node を`~filterにかけた$結果 ~EQ $NodeFilter.FILTER_ACCEPT ］ ⇒ ~BREAK ◎ Filter node and let result be the return value. ◎ If result is FILTER_ACCEPT, go to the next step in the overall set of steps. Otherwise, run these substeps again.
5. 此れの $referenceNode 属性 ~SET %node ◎ ↓
6. 此れの $pointerBeforeReferenceNode 属性 ~SET %node直前 ◎ ↓
7. ~RET %node ◎ Set the referenceNode attribute to node, set the pointerBeforeReferenceNode attribute to before node, and return node.

【 走査の方向が前回と逆向きに切り替わった場合、探索は，前回の走査による “現在の” ~node（ ^referenceNode ）から開始されることに注意（その次／前の~nodeからではなく）。 探索の結果，`~filter$に合致する~nodeが見出されなかった場合、属性は変更されない。 見出された場合、 ^referenceNode は，新たに見出された~nodeにされ、 ^pointerBeforeReferenceNode （ “現在の” 走査-方向）は，入力された方向を表すようにされる（ ~F が '順' 方向に対応する）。 】

@nextNode()

被呼出時には、 '順' 方向へ，此れを`走査-$した結果を返さ~MUST。 ◎ The nextNode() method, when invoked, must traverse in direction next.

@previousNode()

被呼出時には、 '逆' 方向へ，此れを`走査-$した結果を返さ~MUST。 ◎ The previousNode() method, when invoked, must traverse in direction previous.

@detach()

被呼出時には、何もしては~MUST_NOT。 ◎ The detach() method, when invoked, must do nothing. Its functionality (disabling a NodeIterator object) was removed, but the method itself is preserved for compatibility.

注記： この機能性（ ^NodeIterator ~objの不能化）は、取り除かれた。 互換性のため存続はするが。 ◎ ↑

6.2. ~ifc ^@TreeWalker

注記： $TreeWalker ~objは $Document.createTreeWalker() ~methにより作成できる。 ◎ TreeWalker objects can be created using the createTreeWalker() method.

注記： 前に示したように、各 $TreeWalker ~objには `根~node$, `whatToShow ~bitmask$, `~filter~callback$ が結付けられる。 ◎ As mentioned earlier TreeWalker objects have an associated root node, whatToShow bitmask, and filter callback.

@root

取得子は、此れの`根~node$を返さ~MUST。 ◎ The root attribute’s getter must return root.

@whatToShow

取得子は、此れの `whatToShow ~bitmask$ を返さ~MUST。 ◎ The whatToShow attribute’s getter must return whatToShow.

@filter

取得子は、此れの`~filter~callback$を返さ~MUST。 ◎ The filter attribute’s getter must return filter.

@currentNode

取得子は、初期化時の値を返さ~MUST。 ◎ The currentNode attribute must return what it was initialized to.

設定子は、与えられた値に設定し~MUST。 ◎ Setting the currentNode attribute must set it to the new value.

@parentNode()

被呼出時には、次を走らせ~MUST： ◎ The parentNode() method, when invoked, must run these steps:

1. %node ~LET 此れの $currentNode 属性の値 ◎ Let node be the value of the currentNode attribute.

2. ~WHILE［ %node ~NEQ ~NULL ］~AND［ %node ~NEQ `根~node$ ］： ◎ While node is not null and is not root, run these substeps:

   1. %node ~SET %node の`親$ ◎ Let node be node’s parent.

   2. ~IF［ %node ~NEQ ~NULL ］~AND［ %node を`~filterにかけた$結果 ~EQ $NodeFilter.FILTER_ACCEPT ］：

      1. 此れの $currentNode 属性 ~SET %node
      2. ~RET %node
      ◎ If node is not null and filtering node returns FILTER_ACCEPT, then set the currentNode attribute to node, return node.
3. ~RET ~NULL ◎ Return null.

所与の %側 （ '最初' または '最後' ）へ，此れ（ $TreeWalker ~obj）の `子を走査-@ するときは、次を走らす： ◎ To traverse children of type type, run these steps:

1. %node ~SET %側 に応じて［ '最初' ならば %node の`最初0の子$ ／ '最後' ならば %node の`最後0の子$ ］ ◎ Set node to node’s first child if type is first, and node’s last child if type is last.
2. ~IF［ %node ~EQ ~NULL ］ ⇒ ~RET ~NULL ◎ If node is null, return null.

3. ~WHILE 無条件： ◎ Main: ◎ Repeat these substeps:

   1. %結果 ~LET %node を`~filterにかけた$結果 ◎ Filter node and let result be the return value.

   2. ~IF［ %結果 ~EQ $NodeFilter.FILTER_ACCEPT ］：

      1. 此れの $currentNode 属性 ~SET %node
      2. ~RET %node
      ◎ If result is FILTER_ACCEPT, then set the currentNode attribute to node and return node.

   3. ~IF［ %結果 ~EQ $NodeFilter.FILTER_SKIP ］： ◎ If result is FILTER_SKIP, run these subsubsteps:

      1. %子 ~LET %側 に応じて［ '最初' ならば %node の`最初0の子$ ／ '最後' ならば %node の`最後0の子$ ］ ◎ Let child be node’s first child if type is first, and node’s last child if type is last.
      2. ~IF［ %子 ~NEQ ~NULL ］ ⇒ %node ~SET %子；
         ~CONTINUE ◎ If child is not null, set node to child and goto Main.

   4. ~WHILE 無条件： ◎ Repeat these subsubsteps:

      1. %同胞 ~LET %側 に応じて［ '最初' ならば %node の`弟$ ／ '最後' ならば %node の`兄$ ］ ◎ Let sibling be node’s next sibling if type is first, and node’s previous sibling if type is last.
      2. ~IF［ %同胞 ~NEQ ~NULL ］ ⇒ %node ~SET %同胞；
         ~BREAK ◎ If sibling is not null, set node to sibling and goto Main.
      3. %親 ~LET %node の`親$ ◎ Let parent be node’s parent.
      4. ~IF［ %親 ~IN { ~NULL, `根~node$, 此れの $currentNode 属性の値 } ］ ⇒ ~RET ~NULL ◎ If parent is null, parent is root, or parent is currentNode attribute’s value, return null.
      5. ~ELSE ⇒ %node ~SET %親 ◎ Otherwise, set node to parent.

@firstChild()

被呼出時には、 '最初' へ，此れの`子を走査-$した結果を返さ~MUST。 ◎ The firstChild() method, when invoked, must traverse children of type first.

@lastChild()

被呼出時には、 '最後' へ，此れの`子を走査-$した結果を返さ~MUST。 ◎ The lastChild() method, when invoked, must traverse children of type last.

所与の %方向 （ '順' または '逆' ）へ，此れ（ $TreeWalker ~obj）の `同胞を走査-@ するときは、次を走らす： ◎ To traverse siblings of type type run these steps:

1. ~IF［ %node ~EQ `根~node$ ］ ⇒ ~RET ~NULL ◎ If node is root, return null.
2. 1. %同胞 ~LET %方向 に応じて［ '順' ならば %node の`弟$ ／ '逆' ならば %node の`兄$ ］ ◎ Let sibling be node’s next sibling if type is next, and node’s previous sibling if type is previous.

   2. ~WHILE［ %同胞 ~NEQ ~NULL ］： ◎ While sibling is not null, run these subsubsteps:

      1. %node ~SET %同胞 ◎ Set node to sibling.
      2. %同胞 ~SET %方向 に応じて［ '順' ならば %node の`最初0の子$ ／ '逆' ならば %node の`最後0の子$ ］ ◎ Set sibling to node’s first child if type is next, and node’s last child if type is previous.
      3. ~IF［ %結果 ~EQ $NodeFilter.FILTER_REJECT ］~OR［ %同胞 ~EQ ~NULL ］ ⇒ %同胞 ~SET %方向 に応じて［ '順' ならば %node の`弟$ ／ '逆' ならば %node の`兄$ ］ ◎ If result is FILTER_REJECT or sibling is null, then set sibling to node’s next sibling if type is next, and node’s previous sibling if type is previous.
   3. %node ~SET その`親$ ◎ Set node to its parent.
   4. ~IF［ %node ~IN { ~NULL, `根~node$ } ］ ⇒ ~RET ~NULL ◎ If node is null or is root, return null.
   5. ~IF［ %node を`~filterにかけた$結果 ~EQ $NodeFilter.FILTER_ACCEPT ］ ⇒ ~RET ~NULL ◎ Filter node and if the return value is FILTER_ACCEPT, then return null. ◎ Run these substeps again.

@nextSibling()

被呼出時には、 '順' 方向へ，此れの`同胞を走査-$した結果を返さ~MUST。 ◎ The nextSibling() method, when invoked, must traverse siblings of type next.

@previousSibling()

被呼出時には、 '逆' 方向へ，此れの`同胞を走査-$した結果を返さ~MUST。 ◎ The previousSibling() method, when invoked, must traverse siblings of type previous.

@previousNode()

被呼出時には、次を走らせ~MUST： ◎ The previousNode() method, when invoked, must run these steps:

1. ~WHILE［ %node ~NEQ `根~node$ ］： ◎ While node is not root, run these substeps:

   1. %同胞 ~LET %node の`兄$ ◎ Let sibling be the previous sibling of node.

   2. ~WHILE［ %同胞 ~NEQ ~NULL ］： ◎ While sibling is not null, run these subsubsteps:

      1. %node ~SET %同胞 ◎ Set node to sibling.

      2. ~WHILE［ %結果 ~NEQ $NodeFilter.FILTER_REJECT ］~AND［ %node は`子$を持つ ］：

         1. %node ~SET %node の`最後0の子$
         2. %結果 ~SET %node を`~filterにかけた$結果
         ◎ While result is not FILTER_REJECT and node has a child, set node to its last child and then filter node and set result to the return value.
      3. %同胞 ~SET %node の`兄$ ◎ Set sibling to the previous sibling of node.
   3. ~IF［ %node ~EQ `根~node$ ］~OR［ %node の`親$ ~EQ ~NULL ］ ⇒ ~RET ~NULL ◎ If node is root or node’s parent is null, return null.
   4. %node ~SET %node の`親$ ◎ Set node to its parent.
   5. ~IF［ %node を`~filterにかけた$結果 ~EQ $NodeFilter.FILTER_ACCEPT ］ ⇒ 此れの $currentNode 属性 ~SET %node；
      ~RET %node ◎ Filter node and if the return value is FILTER_ACCEPT, then set the currentNode attribute to node and return node.

@nextNode()

被呼出時には、次を走らせ~MUST： ◎ The nextNode() method, when invoked, must run these steps:

1. %結果 ~LET $NodeFilter.FILTER_ACCEPT ◎ Let result be FILTER_ACCEPT.

2. 1. ~WHILE［ %結果 ~NEQ $NodeFilter.FILTER_REJECT ］~AND［ %node は`子$を持つ ］： ◎ While result is not FILTER_REJECT and node has a child, run these subsubsteps:

      1. %node ~SET %node の`最初0の子$ ◎ Set node to its first child.
      2. %結果 ~SET %node を`~filterにかけた$結果 ◎ Filter node and set result to the return value.

   2. %node ~SET ［ %node に`後続-$する ］~AND［ `根~node$に`後続-$しない† ］ような `最初0$の`~node$

      ~IF［ %node ~EQ ~NULL ］ ⇒ ~RET ~NULL

      【† 次の条件も必要では？ “~AND %結果 ~EQ ^FILTER_REJECT の場合は %node の子孫~nodeでもない” 】

      ◎ If a node is following node and is not following root, set node to the first such node. Otherwise, return null.
   3. （次の反復へ） ◎ Run these substeps again.

6.3. ~ifc ^@NodeFilter

$NodeFilter ~objは、`~filter~callback$として利用できる。 また、 `whatToShow ~bitmask$用の定数を提供する。 ◎ NodeFilter objects can be used as filter callback and provide constants for the whatToShow bitmask.

注記： 概して， JavaScript 関数として実装される。 ◎ It is typically implemented as a JavaScript function.

~callbackの返値には、次の定数が利用できる： ◎ These constants can be used as callback return value:

`whatToShow ~bitmask$には、次の定数が利用できる： ◎ These constants can be used for the whatToShow bitmask:

• @SHOW_ALL (4294967295, 16進 FFFFFFFF)
• @SHOW_ELEMENT (1)
• @SHOW_ATTRIBUTE (2)
• @SHOW_TEXT (4)
• @SHOW_CDATA_SECTION (8)
• @SHOW_PROCESSING_INSTRUCTION (64, 16進 40)
• @SHOW_COMMENT (128, 16進 80)
• @SHOW_DOCUMENT (256, 16進 100)
• @SHOW_DOCUMENT_TYPE (512, 16進 200)
• @SHOW_DOCUMENT_FRAGMENT (1024, 16進 400)

7.1. ~ifc ^@DOMTokenList

$DOMTokenList ~obj %O において，所与の %~token を `検証-@dtl するときは、次を走らす： ◎ A DOMTokenList object’s validation steps for a given token are:

• %~token集合 ~LET %O の`属性0の局所名$dtlに対する`被support~token集合$dtl ◎ ↓
• ~IF［ %~token集合 は、未定義である ］ ⇒ ~THROW `TypeError^E ◎ If the associated attribute’s local name does not define supported tokens, throw a TypeError.
• ~RET［ %~token の `~ASCII小文字化$ ~IN %~token集合 ならば ~T ／ ~ELSE_ ~F ］ ◎ Let lowercase token be a copy of token, converted to ASCII lowercase. ◎ If lowercase token is present in supported tokens, return true. ◎ Return false.

所与の $DOMTokenList ~obj %O 対し， ( %要素, %名前 ) は ( %O の`要素$dtl, %O の`属性0の局所名$dtl ) とするとき： ◎ ↓

• %O の `更新~手続き@ は、次を走らす ⇒ ( %名前, ［ %O の`~tokens$を`有順序~集合 直列化器$にかけた結果 ］ ) を用いて， %要素 の`属性0値を設定-$する ◎ A DOMTokenList object’s update steps are to set an attribute value for the associated element using associated attribute’s local name and the result of running the ordered set serializer for tokens.
• %O の `直列化-手続き@ は、次を返す ⇒ ( %名前 ) を用いて， %要素 から`属性0値を取得-$した結果 ◎ A DOMTokenList object’s serialize steps are to return the result of running get an attribute value given the associated element and the associated attribute’s local name.

• %要素 上の`属性0を変更する手続き$は、次で与えられる： ◎ A DOMTokenList object has these attribute change steps for its associated element:

  1. ~IF［ %局所名 ~EQ %名前 ］~AND［ %~ns ~EQ ~NULL ］ ⇒ %O の`~tokens$ ~SET ［ %値 ~EQ ~NULL ならば空 ／ ~ELSE_ %値 を`有順序~集合 解析器$にかけた結果 ］ ◎ If localName is associated attribute’s local name, namespace is null, and value is null, then set tokens to the empty set. ◎ Otherwise, localName is associated attribute’s local name, namespace is null, then set tokens to value, parsed.

• %O の作成-時には、次の手続きを走らす： ◎ When a DOMTokenList object is created, run these substeps:

  1. %値 ~LET ［ ( %名前, ~NULL ) を用いて， %要素 から`属性0を取得-$nsした結果 ］の`値$a ◎ Let element be associated element. ◎ Let localName be associated attribute’s local name. ◎ Let value be the result of getting an attribute given null, localName, and element.
  2. 次を渡して， %要素 上の`属性0を変更する手続き$を走らす ⇒ ( %名前, %値, %値, ~NULL ) ◎ Run the attribute change steps for element, localName, value, value, and null.

%tokenlist . $length

~tokenの個数を返す。 ◎ Returns the number of tokens.

%tokenlist . $item(index)

%tokenlist[%index]

%index 番の~tokenを返す。 ◎ Returns the token with index index.

%tokenlist . $contains(token)

%token が在れば~T を, 無ければ~F を返す。 ◎ Returns true if token is present, and false otherwise.

%tokenlist . $add(tokens…)

渡された引数のうち，まだ無いものを追加する。 ◎ Adds all arguments passed, except those already present.

下記に該当する場合、例外が投出される。 ◎ Throws a SyntaxError if one of the arguments is the empty string. ◎ Throws an InvalidCharacterError if one of the arguments contains any ASCII whitespace.

%tokenlist . $remove(tokens…)

渡された引数のそれぞれを（もし在れば）除去する。 ◎ Removes arguments passed, if they are present.

◎ Throws a SyntaxError if one of the arguments is the empty string. ◎ Throws an InvalidCharacterError if one of the arguments contains any ASCII whitespace.

%tokenlist . $toggle(token [, force])

%force に応じて：

• %force が省略されている場合、 %token の有無を “切り替える”。 すなわち、 %token がすでに在れば除去し，無ければ追加する。
• %force ~EQ ~T の場合、 %token を追加する（ $add() と同じ）。
• %force ~EQ ~F の場合、 %token を除去する（ $remove() と同じ）。

その結果、 %token が残っていれば ~T を, 無くなっていれば ~F を返す。

◎ If force is not given, "toggles" token, removing it if it’s present and adding it if it’s not present. If force is true, adds token (same as add()). If force is false, removes token (same as remove()). ◎ Returns true if token is now present, and false otherwise.

◎ Throws a SyntaxError if token is empty. ◎ Throws an InvalidCharacterError if token contains any spaces.

%tokenlist . $replace(token, newToken)

%token を %newToken で置換する。 ◎ Replaces token with newToken.

◎ Throws a SyntaxError if one of the arguments is the empty string. ◎ Throws an InvalidCharacterError if one of the arguments contains any ASCII whitespace.

（例外）

上の各種~methに所与の文字列~引数のいずれかが，次に該当する場合、対応する例外が投出される：

• 空文字列の場合： `SyntaxError^E
• `~ASCII空白類$を含む場合： `InvalidCharacterError^E

◎ ↑

%tokenlist . $supports(token)

%token が`被support~token集合$dtlに含まれて［ いれば ~T ／ いなければ ~F ］を返す。 ◎ Returns true if token is in the associated attribute’s supported tokens. Returns false otherwise.

`属性0の局所名$dtlに対し，`被support~token集合$dtlが定義されていない場合、 `TypeError^E 例外が投出される。 ◎ Throws a TypeError if the associated attribute has no supported tokens defined.

%tokenlist . $value

結付けられている`~tokens$を文字列として返す。 ◎ Returns the associated set as string.

設定して結付けられている属性を変更できる。 ◎ Can be set, to change the associated attribute.

@length

取得子は、［ 此れの`~tokens$に含まれている~tokenの個数 ］を返さ~MUST。 ◎ The length attribute' getter must return the number of tokens in the tokens.

~objの`被support ~prop~index$の~~範囲は、［ 0 〜 ( 此れの`~tokens$に含まれている~tokenの個数 ~MINUS 1 ) ］である（`~tokens$が空ならば~~範囲も空）。 ◎ The object’s supported property indices are the numbers in the range zero to the number of tokens in tokens minus one, unless tokens is empty, in which case there are no supported property indices.

@item(index)

被呼出時には、次を走らせ~MUST： ◎ The item(index) method, when invoked, must run these steps:

1. ~RET ［ %index ~GTE ［ 此れの`~tokens$に含まれている~tokenの個数 ］ならば~NULL ／ ~ELSE_ 此れの`~tokens$の中で %index 番の~token ］ ◎ If index is equal to or greater than the number of tokens in tokens, return null. ◎ Return the indexth token in tokens.

@contains(token)

被呼出時には、［ %token ~IN 此れの`~tokens$ ならば ~T ／ ~ELSE_ ~F ］を返さ~MUST。 ◎ The contains(token) method, when invoked, must return true if token is in tokens, and false otherwise.

@add(tokens…)

被呼出時には、次を走らせ~MUST： ◎ The add(tokens…) method, when invoked, must run these steps:

1. ~FOR %tokens 内の~EACH ( %token ) に対し，与えられた順に ⇒ %token を`検査する$dtl ◎ For each token in tokens, run these substeps: • If token is the empty string, then throw a SyntaxError. • If token contains any ASCII whitespace, then throw an InvalidCharacterError.
2. ~FOR %tokens 内の~EACH ( %token ) に対し，与えられた順に ⇒ ~IF［ %token ~NIN 此れの`~tokens$ ］ ⇒ 此れの`~tokens$に %token を付加する ◎ For each token in tokens, in given order, that is not in tokens, append token to tokens.
3. `更新~手続き$を走らす ◎ Run the update steps.

@remove(tokens…)

被呼出時には、次を走らせ~MUST： ◎ The remove(tokens…) method, when invoked, must run these steps:

1. %tokens 内の各 %token に対し ⇒ ~IF［ %token ~IN 此れの`~tokens$ ］ ⇒ 此れの`~tokens$から %token を除去する ◎ For each token in tokens, remove token from tokens.

@toggle(token, force)

被呼出時には、次を走らせ~MUST： ◎ The toggle(token, force) method, when invoked, must run these steps:

1. %token を`検査する$dtl ◎ If token is the empty string, then throw a SyntaxError. ◎ If token contains any ASCII whitespace, then throw an InvalidCharacterError.

2. ~IF［ %token ~IN 此れの`~tokens$ ］： ◎ If token is in tokens, run these substeps:

   1. ~IF［ %force は渡されていない ］~OR［ %force ~EQ ~F ］ ⇒ 此れの`~tokens$から %token を除去する；
      `更新~手続き$を走らす；
      ~RET ~F ◎ If force is either not passed or is false, then remove token from tokens, run the update steps, and return false.
   2. ~ELSE ⇒ ~RET ~T ◎ Otherwise, return true.

3. ~ELSE： ◎ Otherwise, run these substeps:

   1. ~IF［ %force は渡されている ］~AND［ %force ~EQ ~F ］ ⇒ ~RET ~F ◎ If force is passed and is false, return false.
   2. 此れの`~tokens$に %token を付加する；
      `更新~手続き$を走らす；
      ~RET ~T ◎ Otherwise, append token to tokens, run the update steps, and return true.

@replace(token, newToken)

被呼出時には、次を走らせ~MUST： ◎ The replace(token, newToken) method, when invoked, must run these steps:

1. ~IF［ %token ~EQ 空文字列 ］~OR［ %newToken ~EQ 空文字列 ］ ⇒ ~THROW `SyntaxError^E ◎ If either token or newToken is the empty string, then throw a SyntaxError.
2. ~IF［ %token は`~ASCII空白類$を含んでいる ］~OR［ %newToken は`~ASCII空白類$を含んでいる ］ ⇒ ~THROW `InvalidCharacterError^E ◎ If either token or newToken contains any ASCII whitespace, then throw an InvalidCharacterError.
3. ~IF［ %token ~NIN %tokens ］ ⇒ ~RET ◎ If token is not in tokens, terminate these steps.
4. 此れの`~tokens$内の %token を %newToken に置換する ◎ Replace token in tokens with newToken.

【 最初と二番目の段は、 %token, %newToken を順に`検査する$dtlのとは，挙動が異なる（意図的？）。 】

@supports(token)

被呼出時には、次を走らせ~MUST： ◎ The supports(token) method, when invoked, must run these steps:

1. ~RET 此れにおいて %token を`検証-$dtlした結果 （例外投出あり） ◎ Let result be the return value of validation steps called with token. Rethrow any exceptions. ◎ Return result.

@value

取得子は、此れの`直列化-手続き$を走らせた結果を返さ~MUST。 ◎ The value attribute must return the result of running context object’s serialize steps.

設定子は、 ( 此れの［ `属性0の局所名$dtl ］, 所与の値 ) を用いて，［ 此れの`要素$dtl ］の`属性0値を設定-$し~MUST。 ◎ Setting the value attribute must set an attribute value for the associated element using associated attribute’s local name and the given value.

8.1. DOM Events

以下は `DOM Level 3 Events^cite の［ "DOM Event Architecture", "Basic Event Interfaces", "Mutation Events", "Mutation Name Event Types" ］各~章に述べられた特色機能に加えられた変更点である。 他の章は `UI Events^cite 仕様 `UIEVENTS$r に移行されるものと期待されている。 ◎ These are the changes made to the features described in the "DOM Event Architecture", "Basic Event Interfaces", "Mutation Events", and "Mutation Name Event Types" chapters of DOM Level 3 Events. The other chapters are defined by the UI Events specification. [UIEVENTS]

• ~eventは今や構築子を持つ。 ◎ Events have constructors now.
• @MutationEvent, @MutationNameEvent は除去された。 ◎ Removes MutationEvent, and MutationNameEvent.
• 発火-（ fire ）は今や配送（ dispatch ）の同義語ではなく，~eventの初期化も含む。 ◎ Fire is no longer synonymous with dispatch, but includes initializing an event.
• `伝播停止$f（`伝播即停止$f）と`被取消$fは、配送~後ではなく， $Event.initEvent() を呼出した時に~OFF にされる。 ◎ The propagation and canceled flags are unset when invoking initEvent() rather than after dispatch.

8.2. DOM Core

以下は `DOM Level 3 Core^cite で述べられた特色機能に加えられた変更点である。 ◎ These are the changes made to the features described in DOM Level 3 Core.

$DOMString, $DOMException, $DOMTimeStamp は、今や Web IDL にて定義される。 ◎ DOMString, DOMException, and DOMTimeStamp are now defined in Web IDL.

$Node は今や $EventTarget を継承する。 ◎ Node now inherits from EventTarget.

`~node$は`文書$ 間を超えて暗黙的に`受入-$される。 ◎ Nodes are implicitly adopted across document boundaries.

`文書型$は今や常に`~node文書$を持ち，`文書$ 間を超えて移動できる。 ◎ Doctypes now always have a node document and can be moved across document boundaries.

$ProcessingInstruction は今や $CharacterData を継承する。 ◎ ProcessingInstruction now inherits from CharacterData.

@hasAttributes(), @attributes は、 $Node から $Element へ移動された。 ◎ hasAttributes() and attributes moved from Node to Element.

@namespaceURI, @prefix, @localName は、 $Node から $Element, $Attr へ移動された。 ◎ namespaceURI, prefix, and localName moved from Node to Element and Attr.

この節に挙げる，残りの~ifcと~ifc~memberは、~DOM~platformを単純化するために取り除かれた。 この仕様に適合する実装が それらを~supportすることはない。 ◎ The remainder of interfaces and interface members listed in this section were removed to simplify the DOM platform. Implementations conforming to this specification will not support them.

警告： 以下の特色機能がすべて取り除かれても Web 互換性が保たれるかどうかは、はっきりしない部分もある。 これらの特色機能の一部について，再~導入されるべき根拠を示す~dataがあれば、編集者まで寄せられるよう願う。 ◎ It is not yet clear if it would be web-compatible to remove all the following features. The editors welcome any data showing that some of these features should be reintroduced.

~ifc： ◎ Interfaces:

• @DOMConfiguration
• @DOMError
• @DOMErrorHandler
• @DOMImplementationList
• @DOMImplementationSource
• @DOMLocator
• @DOMObject
• @DOMStringList
• @DOMUserData
• @Entity
• @EntityReference
• @NameList
• @Notation
• @TypeInfo
• @UserDataHandler

~ifc~member： ◎ Interface members:

$@Node

• @isSupported
• @getFeature()
• @getUserData()
• @setUserData()

$@Document

• @createCDATASection()
• @createEntityReference()
• @xmlEncoding
• @xmlStandalone
• @xmlVersion
• @strictErrorChecking
• @domConfig
• @normalizeDocument()
• @renameNode()

$@DOMImplementation

• @getFeature()

$@Attr

• @schemaTypeInfo
• @isId

$@Element

• @schemaTypeInfo
• @setIdAttribute()
• @setIdAttributeNS()
• @setIdAttributeNode()

$@DocumentType

• @entities
• @notations
• @internalSubset

$@Text

• @isElementContentWhitespace
• @replaceWholeText()

8.3. DOM Ranges （範囲0）

以下は `DOM Level 2 Traversal and Range^cite. の "Document Object Model Range" 章にて述べられている特色機能に加えられた変更点である。 ◎ These are the changes made to the features described in the "Document Object Model Range" chapter of DOM Level 2 Traversal and Range.

• @RangeException は取り除かれた。 ◎ RangeException has been removed.
• $@Range ~objは今や`文書$ 間で移動でき， `文書~木~内$にない`~node$にも利用できる。 ◎ Range objects can now be moved between documents and used on nodes that are not in a document tree.
• 素の $Range() 構築子が出現。 ◎ A wild Range() constructor appeared.
• 新たな~meth $comparePoint(), $intersectsNode(), $isPointInRange() が追加された。 ◎ New methods comparePoint(), intersectsNode(), and isPointInRange() have been added.
• $detach は今や何もしない。 ◎ detach() is now a no-op.
• ^toString は、今や IDL を通して定義される。 ◎ toString is now defined through IDL.

8.4. DOM Traversal （走査）

以下は `DOM Level 2 Traversal and Range^cite の "Document Object Model Traversal" 章にて述べられている 特色機能に加えられた変更点である。 ◎ These are the changes made to the features described in the "Document Object Model Traversal" chapter of DOM Level 2 Traversal and Range.

• $@Document の $createNodeIterator(), $createTreeWalker() は、今や省略可の引数をとり，最早~DOMには決して取り入れられることはない実体参照を与える４個目の引数は除かれた。 ◎ createNodeIterator() and createTreeWalker() now have optional arguments and lack a fourth argument which is no longer relevant given entity references never made it into the DOM.
• 前述の理由により， @NodeIterator.expandEntityReferences 属性は $NodeIterator および $TreeWalker ~ifcから除去された。 ◎ The expandEntityReferences attribute has been removed from the NodeIterator and TreeWalker interfaces for the aforementioned reason.
• ~proprietary拡張による実装に足並みを揃えるため、 $@NodeIterator ~objに $referenceNode, $pointerBeforeReferenceNode 属性が追加された。 ◎ The referenceNode and pointerBeforeReferenceNode attributes have been added to NodeIterator objects to align with proprietary extensions of implementations.
• ~UA に足並みを揃えるため、 $nextNode() と $previousNode() は今や $NodeFilter から呼出されたときに例外を投出し得る。 ◎ nextNode() and previousNode() now throw when invoked from a NodeFilter to align with user agents.
• $detach は今や何もしない。 ◎ detach() is now a no-op.