HTML — 共通 DOM インタフェース

【この訳に特有な表記規約】

2.6.1. ~IDL属性における内容~属性の反映-法

次に挙げるものが，反映-法を築くための部品を成す： ◎ The building blocks for reflecting are as follows:

`反映される~target@ ◎ A reflected target＼

要素／ `ElementInternals$I ~obj

これは、 概して，文脈から明瞭になる。 これが実装する~interfaceは、 概して，`反映される~IDL属性$を有するそれに一致する — `ElementInternals$I ~objである場合、 常に一致する。 ◎ is an element or ElementInternals object. It is typically clear from context and typically identical to the interface of the reflected IDL attribute. It is always identical to that interface when it is an ElementInternals object.

`反映される~IDL属性@ ◎ A reflected IDL attribute＼

ある~interfaceの，ある属性~member。 ◎ is an attribute interface member.

`反映される内容~属性~名@ ◎ A reflected content attribute name＼

文字列。 ◎ is a string.＼

これは、 `反映される~target$に応じて，次を表現する：

• 要素 ⇒ ある内容~属性であって［ その`名前空間$attr ~EQ ~NULL ］を満たすものの`局所~名$attr
• `ElementInternals$I ~obj ⇒ `反映される~target$の`~target要素$iNの`内部~内容~属性~map$を成す，ある~key

◎ When the reflected target is an element, it represents the local name of a content attribute whose namespace is null. When the reflected target is an ElementInternals object, it represents a key of the reflected target's target element's internal content attribute map.

`反映される~IDL属性$は、 `反映される~target$の`反映される内容~属性~名$を `反映する@ ものと定義され得る。 このことは、 一般に，次を意味する： ◎ A reflected IDL attribute can be defined to reflect a reflected content attribute name of a reflected target. In general this means that＼

• 当の~IDL属性の取得子は、 当の内容~属性の現在の値を返す。 ◎ the IDL attribute getter returns the current value of the content attribute,＼
• 当の~IDL属性の設定子は、 当の内容~属性の値を所与の値†に変更する。 ◎ and the setter changes the value of the content attribute to the given value.

【† `所与の値$は、 正式には~Web~IDLに定義される — 設定子に渡された値を当の~IDL属性の型に変換した結果を意味する。 】

`反映される~target$が要素である場合、 `反映される~IDL属性$は，追加的に `ElementInternals$I を `~supportする@eI ものと宣言し得る。 このことは、 次を意味する ⇒ `ElementInternals$I ~interfaceも，［ `反映される~IDL属性$として［ 同じ`識別子$を伴う ］かつ［ 同じ`反映される内容~属性~名$を`反映する$ ］ものを有する ◎ If the reflected target is an element, then the reflected IDL attribute can additionally declare to support ElementInternals. This means that the ElementInternals interface also has a reflected IDL attribute, with the same identifier, and that reflected IDL attribute reflects the same reflected content attribute name.

反映を指示する例 ⇒ `fooBar^m ~IDL属性は、 `foobar^a 内容~属性を`反映する$ことに加えて， `ElementInternals$I を`~supportする$eIモノトスル。 ◎ The fooBar IDL attribute must reflect the foobar content attribute and support ElementInternals.

`~target$V には、 次に挙げる~algoが結付けられる： ◎ Reflected targets have these associated algorithms:

• `要素を取得する@ ⇒ 引数をとらず，要素を返す。 ◎ get the element: takes no arguments; returns an element.
• `内容~属性を取得する@ ⇒ 引数をとらず，［ ~NULL ／文字列 ］を返す。 ◎ get the content attribute: takes no arguments; returns null or a string.
• `内容~属性を設定する@ ⇒ 文字列を引数にとり，何も返さない。 ◎ set the content attribute: takes a string value; returns nothing.
• `内容~属性を削除する@ ⇒ 引数をとらず，何も返さない。 ◎ delete the content attribute: takes no arguments; returns nothing.

これらは、 `~target$V に応じて， 以下に従うものと定義される：

• 要素である場合： ◎ For a reflected target that is an element element, these are defined as follows:

  • `要素を取得する$ときは ⇒ ~RET `~target$V ◎ get the element • Return element.

  • `内容~属性を取得する$ときは： ◎ get the content attribute

    1. %属性 ~LET `属性を名前空間と局所~名により取得する$( ~NULL, `内容~属性~名$V, `~target$V ) ◎ Let attribute be the result of running get an attribute by namespace and local name given null, the reflected content attribute name, and element.
    2. ~IF［ %属性 ~EQ ~NULL ］ ⇒ ~RET ~NULL ◎ If attribute is null, then return null.
    3. ~RET %属性 の`値$attr ◎ Return attribute's value.
  • `内容~属性を設定する$ときは、 所与の ( 文字列 %値 ) に対し ⇒ `属性~値を設定する$( `~target$V, `内容~属性~名$V, %値 ) ◎ set the content attribute with a string value • Set an attribute value given element, the reflected content attribute name, and value.
  • `内容~属性を削除する$ときは ⇒ `属性を名前空間と局所~名により除去する$( ~NULL, `内容~属性~名$V, `~target$V ) ◎ delete the content attribute • Remove an attribute by namespace and local name given null, the reflected content attribute name, and element.

• `ElementInternals$I ~objである場合： ◎ For a reflected target that is an ElementInternals object elementInternals, they are defined as follows:

  • `要素を取得する$ときは ⇒ ~RET `~target$V の`~target要素$iN ◎ get the element • Return elementInternals's target element.

  • `内容~属性を取得する$ときは： ◎ get the content attribute

    1. %結果 ~LET `~target$V の`~target要素$iNの`内部~内容~属性~map$[ `内容~属性~名$V ] ◎ ↓
    2. ~RET %結果 に応じて ⇒＃ ε ならば ~NULL ／ ~ELSE_ %結果 ◎ If elementInternals's target element's internal content attribute map[the reflected content attribute name] does not exist, then return null. ◎ Return elementInternals's target element's internal content attribute map[the reflected content attribute name].
  • `内容~属性を設定する$ときは、 所与の ( 文字列 %値 ) に対し ⇒ `~target$V の`~target要素$iNの`内部~内容~属性~map$[ `内容~属性~名$V] ~SET %値 ◎ set the content attribute with a string value • Set elementInternals's target element's internal content attribute map[the reflected content attribute name] to value.
  • `内容~属性を削除する$ときは ⇒ `~target$V の`~target要素$iNの`内部~内容~属性~map$[ `内容~属性~名$V ] ~SET ε ◎ delete the content attribute • Remove elementInternals's target element's internal content attribute map[the reflected content attribute name].

  注記： この結果、 `ElementInternals$I ~obj用の~data構造は，いくぶん冗長になる — その`~target要素$iNの`内部~内容~属性~map$は，直に操作し得ず、 そのような反映は，単-方向に限り起こるので。 それでも，この~approachが選ばれたのは、［ `反映される~target$たちから共有される~IDL属性を定義するとき，誤り難くなるようにするため ］および［ 共通な~API意味論からの便益を得るため ］である。 ◎ This results in somewhat redundant data structures for ElementInternals objects as their target element's internal content attribute map cannot be directly manipulated and as such reflection is only happening in a single direction. This approach was nevertheless chosen to make it less error-prone to define IDL attributes that are shared between reflected targets and benefit from common API semantics.

`~IDL属性$V が［ `DOMString$I ／ `DOMString?^I ］型であって，ある`列挙d属性$を`反映-$している場合、 `~IDL属性$V は， `既知な値のみに制限され@ るものと指定され得る — その場合， `~IDL属性$V 用の取得子が返す結果は、 以下に与える処理~modelにより，［ 当の列挙d属性~用の~keyword／空~文字列／ ~NULL ］に限られることになる。 ◎ IDL attributes of type DOMString or DOMString? that reflect enumerated content attributes can be limited to only known values. Per the processing models below, those will cause the getters for such IDL attributes to only return keywords for those enumerated attributes, or the empty string or null.

`~IDL属性$V は `DOMString$I 型である場合： ◎ If a reflected IDL attribute has the type DOMString:

• 取得子~手続きは： ◎ The getter steps are:

  1. %要素 ~LET コレの`要素を取得する$() ◎ Let element be the result of running this's get the element.
  2. %内容~属性~値 ~LET コレの`内容~属性を取得する$() ◎ Let contentAttributeValue be the result of running this's get the content attribute.
  3. %属性~定義 ~LET ［ %要素 の次を満たす内容~属性 ］の定義 ⇒ ［ その`名前空間$attr ~EQ ~NULL ］~AND［ その`局所~名$attr ~EQ `内容~属性~名$V ］ ◎ Let attributeDefinition be the attribute definition of element's content attribute whose namespace is null and local name is the reflected content attribute name.

  4. ~IF［ %属性~定義 は［ 当の内容~属性は`列挙d属性$である ］ことを指示する ］~AND［ `~IDL属性$V は`既知な値のみに制限され$ている ］：

     1. %状態 ~LET %属性~定義 に定義された， %内容~属性~値 に対応する状態

     2. ~IF［ %状態 ~EQ ε ］ ⇒ ~RET 空~文字列

        （例：［ %内容~属性~値 ~EQ ~NULL ］~AND［ %属性~定義 の`欠落~値~用の既定の状態$ ~EQ ε ］の場合）

     3. %~keyword ~LET %状態 用の`正準的な~keyword$
     4. ~RET %~keyword に応じて ⇒＃ ε ならば 空~文字列 ／ ~ELSE_ %~keyword
     ◎ If attributeDefinition indicates it is an enumerated attribute and the reflected IDL attribute is defined to be limited to only known values: • If contentAttributeValue does not correspond to any state of attributeDefinition (e.g., it is null and there is no missing value default), or that it is in a state of attributeDefinition with no associated keyword value, then return the empty string. • Return the canonical keyword for the state of attributeDefinition that contentAttributeValue corresponds to.
  5. ~RET %内容~属性~値 に応じて ⇒＃ ~NULL ならば 空~文字列／ ~ELSE_ %内容~属性~値 ◎ If contentAttributeValue is null, then return the empty string. ◎ Return contentAttributeValue.
• 設定子~手続きは ⇒ コレの`内容~属性を設定する$( 所与の値 ) ◎ The setter steps are to run this's set the content attribute with the given value.

`~IDL属性$V は `DOMString?^I 型である場合： ◎ If a reflected IDL attribute has the type DOMString?:

• 取得子~手続きは： ◎ The getter steps are:

  1. %要素 ~LET コレの`要素を取得する$() ◎ Let element be the result of running this's get the element.
  2. %内容~属性~値 ~LET コレの`内容~属性を取得する$() ◎ Let contentAttributeValue be the result of running this's get the content attribute.
  3. %属性~定義 ~LET ［ %要素 の次を満たす内容~属性 ］の定義 ⇒ ［ その`名前空間$attr ~EQ ~NULL ］~AND［ その`局所~名$attr ~EQ `内容~属性~名$V ］ ◎ Let attributeDefinition be the attribute definition of element's content attribute whose namespace is null and local name is the reflected content attribute name.
  4. ~Assert： %属性~定義 は［ 当の内容~属性は`列挙d属性$である ］ことを指示する。 ◎ Assert: attributeDefinition indicates it is an enumerated attribute.
  5. ~Assert： `~IDL属性$V は`既知な値のみに制限され$ている。 ◎ Assert: the reflected IDL attribute is limited to only known values.
  6. %状態 ~LET %属性~定義 に定義された， %内容~属性~値 に対応する状態 ◎ ↓
  7. ~Assert： %状態 ~NEQ ε ◎ Assert: contentAttributeValue corresponds to a state of attributeDefinition.
  8. %~keyword ~LET %状態 用の`正準的な~keyword$ ◎ ↓
  9. ~RET %~keyword に応じて ⇒＃ ε ならば ~NULL ／ ~ELSE_ %~keyword ◎ If contentAttributeValue corresponds to a state of attributeDefinition with no associated keyword value, then return null. ◎ Return the canonical keyword for the state of attributeDefinition that contentAttributeValue corresponds to.

• 設定子~手続きは： ◎ The setter steps are:

  1. ~IF［ 所与の値 ~EQ ~NULL ］ ⇒ コレの`内容~属性を削除する$() ◎ If the given value is null, then run this's delete the content attribute.
  2. ~ELSE ⇒ コレの`内容~属性を設定する$( 所与の値 ) ◎ Otherwise, run this's set the content attribute with the given value.

`~IDL属性$V は `USVString$I 型である場合： ◎ If a reflected IDL attribute has the type USVString:

• 取得子~手続きは： ◎ The getter steps are:

  1. %要素 ~LET コレの`要素を取得する$() ◎ Let element be the result of running this's get the element.
  2. %内容~属性~値 ~LET コレの`内容~属性を取得する$() ◎ Let contentAttributeValue be the result of running this's get the content attribute.
  3. %属性~定義 ~LET ［ %要素 の次を満たす内容~属性 ］の定義 ⇒ ［ その`名前空間$attr ~EQ ~NULL ］~AND［ その`局所~名$attr ~EQ `内容~属性~名$V ］ ◎ Let attributeDefinition be the attribute definition of element's content attribute whose namespace is null and local name is the reflected content attribute name.

  4. ~IF［ %属性~定義 は［ 当の内容~属性は`~URL$を包含する ］ことを指示する ］： ◎ If attributeDefinition indicates it contains a URL:

     1. ~IF［ %内容~属性~値 ~EQ ~NULL ］ ⇒ ~RET 空~文字列 ◎ If contentAttributeValue is null, then return the empty string.
     2. %~URL~record ~LET `~URLを符号化法の下で相対的に構文解析する$( %内容~属性~値, %要素 の`~node文書$ ) 【！#encoding-parsing-and-serializing-a-url】 ◎ Let urlString be the result of encoding-parsing-and-serializing a URL given contentAttributeValue, relative to element's node document.
     3. ~IF［ %~URL~record ~NEQ `失敗^i ］ ⇒ ~RET `~URLを直列化する$( %~URL~record ) ◎ If urlString is not failure, then return urlString.
  5. ~RET `~IDL型に変換する$( %内容~属性~値, `USVString$I ) ◎ Return contentAttributeValue, converted to a scalar value string.
• 設定子~手続きは ⇒ コレの`内容~属性を設定する$( 所与の値 ) ◎ The setter steps are to run this's set the content attribute with the given value.

`~IDL属性$V は `boolean$I 型である場合： ◎ If a reflected IDL attribute has the type boolean:

• 取得子~手続きは： ◎ The getter steps are:

  1. %内容~属性~値 ~LET コレの`内容~属性を取得する$() ◎ Let contentAttributeValue be the result of running this's get the content attribute.
  2. ~IF［ %内容~属性~値 ~EQ ~NULL ］ ⇒ ~RET ~F ◎ If contentAttributeValue is null, then return false.
  3. ~RET ~T ◎ Return true.

• 設定子~手続きは： ◎ The setter steps are:

  1. ~IF［ 所与の値 ~EQ ~F ］ ⇒ コレの`内容~属性を削除する$() ◎ If the given value is false, then run this's delete the content attribute.
  2. ~IF［ 所与の値 ~EQ ~T ］ ⇒ コレの`内容~属性を設定する$( 空~文字列 ) ◎ If the given value is true, then run this's set the content attribute with the empty string.

注記： これは、 `真偽-内容~属性$の規則に対応する。 ◎ This corresponds to the rules for boolean content attributes.

`~IDL属性$V は `long$I 型である場合： ◎ If a reflected IDL attribute has the type long,＼

• `負でない数のみに制限され@ るものと指定され得る。 ◎ optionally limited to only non-negative numbers＼ and optionally with a default value defaultValue:

• 取得子~手続きは： ◎ The getter steps are:

  1. %内容~属性~値 ~LET コレの`内容~属性を取得する$() ◎ Let contentAttributeValue be the result of running this's get the content attribute.

  2. ~IF［ %内容~属性~値 ~NEQ ~NULL ］： ◎ If contentAttributeValue is not null:

     1. %構文解析した値 ~LET `~IDL属性$V に応じて ⇒＃ `負でない数のみに制限され$ていないならば`整数として構文解析する$( %内容~属性~値 ) ~ELSE_ `負でない整数として構文解析する$( %内容~属性~値 ) ◎ Let parsedValue be the result of integer parsing contentAttributeValue if the reflected IDL attribute is not limited to only non-negative numbers; otherwise the result of non-negative integer parsing contentAttributeValue.
     2. ~IF［ %構文解析した値 ~NEQ `失敗^i ］~AND［ %構文解析した値 ~IN `long$I 型がとり得る範囲 ］ ⇒ ~RET %構文解析した値 ◎ If parsedValue is not an error and is within the long range, then return parsedValue.
  3. ~RET ［ `既定~値$V ~NEQ ε ならば `既定~値$V ／ ~ELSE_ `~IDL属性$V は`負でない数のみに制限され$ているならば −1 ／ ~ELSE_ 0 ］ ◎ If the reflected IDL attribute has a default value, then return defaultValue. ◎ If the reflected IDL attribute is limited to only non-negative numbers, then return −1. ◎ Return 0.

• 設定子~手続きは： ◎ The setter steps are:

  1. ~IF［ `~IDL属性$V は`負でない数のみに制限され$ている ］~AND［ 所与の値 ~LT 0 ］ ⇒ ~THROW `IndexSizeError$E ◎ If the reflected IDL attribute is limited to only non-negative numbers and the given value is negative, then throw an "IndexSizeError" DOMException.
  2. コレの`内容~属性を設定する$( 所与の値を表現する`妥当な整数$のうち，アリな限り最短な文字列 ) ◎ Run this's set the content attribute with the given value converted to the shortest possible string representing the number as a valid integer.

`~IDL属性$V は `unsigned long$I 型である場合： ◎ If a reflected IDL attribute has the type unsigned long,＼

• 次に挙げるいずれか【一つ】が指定され得る：

  • `正な整数のみに制限され@ る
  • `~fallbackありの下で正な整数のみに制限され@ る
  • ある最小, 最大による `範囲に切詰められ@ る
  ◎ optionally limited to only positive numbers, limited to only positive numbers with fallback, or clamped to the range [clampedMin, clampedMax],＼ and optionally with a default value defaultValue:

• 取得子~手続きは： ◎ The getter steps are:

  1. %内容~属性~値 ~LET コレの`内容~属性を取得する$() ◎ Let contentAttributeValue be the result of running this's get the content attribute.
  2. ( %最小, %最大 ) ~LET ( 0, 2147483647 ) ◎ ↓
  3. ~IF［ `~IDL属性$V は［ `正な整数のみに制限され$ている／ `~fallbackありの下で正な整数のみに制限され$ている ］ ⇒ %最小 ~SET 1 ◎ Let minimum be 0. ◎ If the reflected IDL attribute is limited to only positive numbers or limited to only positive numbers with fallback, then set minimum to 1.
  4. ~IF［ `~IDL属性$V は，ある最小, 最大による`範囲に切詰められ$ている ］ ⇒＃ ( %最小, %最大 ) ~SET ( その最小, その最大 ) ◎ If the reflected IDL attribute is clamped to the range, then set minimum to clampedMin. ◎ Let maximum be 2147483647 if the reflected IDL attribute is not clamped to the range; otherwise clampedMax.

  5. ~IF［ %内容~属性~値 ~NEQ ~NULL ］： ◎ If contentAttributeValue is not null:

     1. %構文解析した値 ~LET `負でない整数として構文解析する$( %内容~属性~値 ) ◎ Let parsedValue be the result of non-negative integer parsing contentAttributeValue.

     2. ~IF［ %構文解析した値 ~NEQ `失敗^i ］：

        1. ~IF［ %構文解析した値 ~IN { %最小 〜 %最大 } ］ ⇒ ~RET %構文解析した値 ◎ If parsedValue is not an error and is in the range minimum to maximum, inclusive, then return parsedValue.
        2. ~IF［ `~IDL属性$V は`範囲に切詰められ$ている ］ ⇒ ~RET ［ %構文解析した値 ~LT %最小 ならば %最小 ／ ~ELSE_ %最大 ］ ◎ If parsedValue is not an error and the reflected IDL attribute is clamped to the range: ◎ If parsedValue is less than minimum, then return minimum. ◎ Return maximum.
  6. ~RET `既定~値$V に応じて ⇒＃ ε ならば %最小 ／ ~ELSE_ `既定~値$V ◎ If the reflected IDL attribute has a default value, then return defaultValue. ◎ Return minimum.

• 設定子~手続きは： ◎ The setter steps are:

  1. ~IF［ `~IDL属性$V は`正な整数のみに制限され$ている ］~AND［ 所与の値 ~EQ 0 ］ ⇒ ~THROW `IndexSizeError$E ◎ If the reflected IDL attribute is limited to only positive numbers and the given value is 0, then throw an "IndexSizeError" DOMException.
  2. %最小 ~LET ［ 次が満たされるならば 1 ／ ~ELSE_ 0 ］ ⇒ `~IDL属性$V は［ `正な整数のみに制限され$ている／ `~fallbackありの下で正な整数のみに制限され$ている ］ ◎ Let minimum be 0. ◎ If the reflected IDL attribute is limited to only positive numbers or limited to only positive numbers with fallback, then set minimum to 1.
  3. %新たな値 ~LET ［ 所与の値 ~IN { %最小 〜 2147483647 } ならば所与の値／ ~ELSE_ `既定~値$V ~NEQ ε ならば `既定~値$V ／ ~ELSE_ %最小 ］ ◎ Let newValue be minimum. ◎ If the reflected IDL attribute has a default value, then set newValue to defaultValue. ◎ If the given value is in the range minimum to 2147483647, inclusive, then set newValue to it.
  4. コレの`内容~属性を設定する$( %新たな値 を表現する`妥当な負でない整数$のうち，アリな限り最短な文字列 ) ◎ Run this's set the content attribute with newValue converted to the shortest possible string representing the number as a valid non-negative integer.

  注記： `範囲に切詰められ$ていても， 設定子~手続きに対する効果は無い。 ◎ Clamped to the range has no effect on the setter steps.

`~IDL属性$V は `double$I 型である場合： ◎ If a reflected IDL attribute has the type double,＼

• `正な数のみに制限され@ るものと指定され得る。

  【 この用語は， 原文では “`正な整数のみに制限され$る” と集約されたが、 この訳では，意図的に別個な用語のまま保つ。 】

  ◎ optionally limited to only positive numbers＼ and optionally with a default value defaultValue:

• 取得子~手続きは： ◎ The getter steps are:

  1. %内容~属性~値 ~LET コレの`内容~属性を取得する$() ◎ Let contentAttributeValue be the result of running this's get the content attribute.

  2. ~IF［ %内容~属性~値 ~NEQ ~NULL ］： ◎ If contentAttributeValue is not null:

     1. %構文解析した値 ~LET `浮動小数点数として構文解析する$( %内容~属性~値 ) ◎ Let parsedValue be the result of floating-point number parsing contentAttributeValue.
     2. ~IF［ %構文解析した値 ~NEQ `失敗^i ］ ⇒ ~IF［ %構文解析した値 ~GT 0 ］~OR［ `~IDL属性$V は`正な数のみに制限され$ていない ］ ⇒ ~RET %構文解析した値 ◎ If parsedValue is not an error and is greater than 0, then return parsedValue. ◎ If parsedValue is not an error and the reflected IDL attribute is not limited to only positive numbers, then return parsedValue.
  3. ~RET `既定~値$V に応じて ⇒＃ ε ならば 0 ／ ~ELSE_ `既定~値$V ◎ If the reflected IDL attribute has a default value, then return defaultValue. ◎ Return 0.

• 設定子~手続きは： ◎ The setter steps are:

  1. ~IF［ `~IDL属性$V は`正な数のみに制限され$ている ］~AND［ 所与の値 ~LTE 0 ］ ⇒ ~RET ◎ If the reflected IDL attribute is limited to only positive numbers and the given value is not greater than 0, then return.
  2. コレの`内容~属性を設定する$( `浮動小数点数として最良な表現$( 所与の値 ) ) ◎ Run this's set the content attribute with the given value, converted to the best representation of the number as a floating-point number.

  注記： `WEBIDL$r にて定義されるとおり、 設定子に対する値 Infinity, NaN（ `Not-a-Number^en ）は， 例外を投出させる。 ◎ The values Infinity and Not-a-Number (NaN) values throw an exception on setting, as defined in Web IDL. [WEBIDL]

`~IDL属性$V は `DOMTokenList$I 型である場合： ◎ If a reflected IDL attribute has the type DOMTokenList, then＼

• 取得子~手続きは、 次を満たす `DOMTokenList$I ~obj %O を返す：

  • %O の `内容~属性~名$V に`結付けられた要素を取得する~algo＠~DOM4#_dtl-element$() ~EQ コレ
  • %O に結付けられた`属性の局所~名＠~DOM4#_dtl-localname$ ~EQ `内容~属性~名$V
  ◎ its getter steps are to return a DOMTokenList object whose associated element is this and associated attribute's local name is the reflected content attribute name.＼
• 仕様~策定者は、 この型の~IDL属性~用には，［ `ElementInternals$I を`~supportする$eI ］を利用し得ない。 ◎ Specification authors cannot use support ElementInternals for IDL attributes of this type.

`~IDL属性$V は %T? 型で， %T は `Element$I または それを継承する~interfaceである場合： ◎ If a reflected IDL attribute has the type T?, where T is either Element or an interface that inherits from Element, then with attr being the reflected content attribute name:

• `~target$V は、 次に挙げるものを有する：

  • `内容~属性~名$V 用に `明示的に設定された要素@ ⇒ ある要素への弱い参照／ ~NULL — 初期~時は ~NULL とする。 ◎ Its reflected target has an explicitly set attr-element, which is a weak reference to an element or null. It is initially null.

  • `内容~属性~名$V に `結付けられた要素を取得する~algo@ ： ◎ Its reflected target reflectedTarget has a get the attr-associated element algorithm, that runs these steps:

    1. %要素 ~LET `~target$V の`要素を取得する$() ◎ Let element be the result of running reflectedTarget's get the element.
    2. %内容~属性~値 ~LET `~target$V の`内容~属性を取得する$() ◎ Let contentAttributeValue be the result of running reflectedTarget's get the content attribute.
    3. %~IDL属性~要素 ~LET `~target$V の `内容~属性~名$V 用に`明示的に設定された要素$ ◎ ↓
    4. ~IF［ %~IDL属性~要素 ~NEQ ~NULL ］ ⇒ ~RET ［ 次が満たされるならば %~IDL属性~要素 ／ ~ELSE_ ~NULL ］ ⇒ %~IDL属性~要素 は、 %要素 の ある`~shadowも含めた先祖$の`子孫$である ◎ If reflectedTarget's explicitly set attr-element is not null: • If reflectedTarget's explicitly set attr-element is a descendant of any of element's shadow-including ancestors, then return reflectedTarget's explicitly set attr-element. • Return null.
    5. ~IF［ %内容~属性~値 ~EQ ~NULL ］ ⇒ ~RET ~NULL ◎ ↓
    6. ~RET 次を満たす要素は［ 在るならば それらのうち`~tree順序$で最初のもの ／ 無いならば ~NULL ］ ⇒ ［ その`根$ ~EQ %要素 の`根$ ］~AND［ その`~ID$ ~EQ %内容~属性~値 ］~AND［ %T を`実装-$する ］ ◎ Otherwise, if contentAttributeValue is not null, return the first element candidate, in tree order, that meets the following criteria: • candidate's root is the same as element's root; • candidate's ID is contentAttributeValue;and • candidate implements T. ◎ If no such element exists, then return null. ◎ Return null.
• 取得子~手続きは ⇒ ~RET コレの `内容~属性~名$V に`結付けられた要素を取得する~algo$() ◎ The getter steps are to return the result of running this's get the attr-associated element.

• 設定子~手続きは： ◎ The setter steps are:

  1. ~IF［ 所与の値 ~EQ ~NULL ］： ◎ If the given value is null, then:

     1. コレの `内容~属性~名$V 用に`明示的に設定された要素$ ~SET ~NULL ◎ Set this's explicitly set attr-element to null.
     2. コレの`内容~属性を削除する$() ◎ Run this's delete the content attribute.
     3. ~RET ◎ Return.
  2. コレの`内容~属性を設定する$( 空~文字列 ) ◎ Run this's set the content attribute with the empty string.
  3. コレの `内容~属性~名$V 用に`明示的に設定された要素$ ~SET 所与の値への弱い参照 ◎ Set this's explicitly set attr-element to a weak reference to the given value.

• `~target$V が要素である場合に限り、 内容~属性と~IDL属性を同期するため， `~target$V 用の`属性~変更-時の手続き$が利用される — それは、 所与の ( %局所~名, %旧-値, %値, %名前空間 ) に対し： ◎ For element reflected targets only: the following attribute change steps, given element, localName, oldValue, value, and namespace, are used to synchronize between the content attribute and the IDL attribute:

  1. ~IF［ %局所~名 ~NEQ `内容~属性~名$V ］~OR［ %名前空間 ~NEQ ~NULL ］ ⇒ ~RET ◎ If localName is not attr or namespace is not null, then return.
  2. `~target$V の `内容~属性~名$V 用に`明示的に設定された要素$ ~SET ~NULL ◎ Set element's explicitly set attr-element to null.

注記： 一貫性を得るため、 この型の`反映される~IDL属性$の識別子は， `Element^l で終端することが強く奨励される。 ◎ Reflected IDL attributes of this type are strongly encouraged to have their identifier end in "Element" for consistency.

`~IDL属性$V は `FrozenArray$<%T>? 型で， %T は `Element$I または それを継承する~interfaceである場合： ◎ If a reflected IDL attribute has the type FrozenArray<T>?, where T is either Element or an interface that inherits from Element, then with attr being the reflected content attribute name:

• `~target$V は、 次に挙げるものを有する： ◎ ↓

  • `内容~属性~名$V 用に `明示的に設定された要素~群@ ⇒ ［ 要素への弱い参照 ］たちが成す`~list$ ／ ~NULL — 初期~時は ~NULL とする。 ◎ Its reflected target has an explicitly set attr-elements, which is either a list of weak references to elements or null. It is initially null.
  • `内容~属性~名$V 用に `~cacheした要素~群@ ⇒ 要素たちが成す`~list$ — 初期~時は空とする。 ◎ Its reflected target has a cached attr-associated elements, which is a list of elements. It is initially « ».
  • `内容~属性~名$V 用に `~cacheした要素~群~obj@ ⇒ `FrozenArray$<%T>? 型の値 ／ ~NULL — 初期~時は ~NULL とする。 ◎ Its reflected target has a cached attr-associated elements object, which is a FrozenArray<T>?. It is initially null.

  • `内容~属性~名$V に `結付けられた要素~群を取得する~algo@ ◎ Its reflected target reflectedTarget has a get the attr-associated elements algorithm, which runs these steps:

    1. %要素~群 ~LET 新たな`~list$ ◎ Let elements be an empty list.
    2. %要素 ~LET `~target$V の`要素を取得する$() ◎ Let element be the result of running reflectedTarget's get the element.
    3. %~IDL属性~要素~群 ~LET `~target$V の `内容~属性~名$V 用に`明示的に設定された要素~群$ ◎ ↓
    4. ~IF［ %~IDL属性~要素~群 ~NEQ ~NULL ］ ⇒ %~IDL属性~要素~群 を成す ~EACH( %~IDL属性~要素 ) に対し ⇒ ~IF［ %~IDL属性~要素 は， %要素 の ある`~shadowも含めた先祖$の`子孫$である ］ ⇒ %要素~群 に %~IDL属性~要素 を`付加する$ ◎ If reflectedTarget's explicitly set attr-elements is not null: • For each attrElement in reflectedTarget's explicitly set attr-elements: •• If attrElement is not a descendant of any of element's shadow-including ancestors, then continue. •• Append attrElement to elements.

    5. ~ELSE： ◎ Otherwise:

       1. %内容~属性~値 ~LET `~target$V の`内容~属性を取得する$() ◎ Let contentAttributeValue be the result of running reflectedTarget's get the content attribute.
       2. ~IF［ %内容~属性~値 ~EQ ~NULL ］ ⇒ ~RET ~NULL ◎ If contentAttributeValue is null, then return null.
       3. %~token群 ~LET `~ASCII空白で分割する$( %内容~属性~値 ) ◎ Let tokens be contentAttributeValue, split on ASCII whitespace.

       4. %~token群 を成す ~EACH( %~ID ) に対し： ◎ For each id of tokens:

          1. %候補 ~LET 次を満たす要素は［ 在るならば それらのうち`~tree順序$で最初のもの ／ 無いならば ~NULL ］ ⇒ ［ その`根$ ~EQ %要素 の`根$ ］~AND［ その`~ID$ ~EQ %~ID ］~AND［ %T を`実装-$する ］ ◎ Let candidate be the first element, in tree order, that meets the following criteria: • candidate's root is the same as element's root; • candidate's ID is id; and • candidate implements T.
          2. ~IF［ %候補 ~NEQ ~NULL ］ ⇒ %要素~群 に %候補 を`付加する$ ◎ If no such element exists, then continue. ◎ Append candidate to elements.
    6. ~RET %要素~群 ◎ Return elements.

• 取得子~手続きは： ◎ The getter steps are:

  1. %要素~群 ~LET コレの `内容~属性~名$V に`結付けられた要素~群を取得する~algo$() ◎ Let elements be the result of running this's get the attr-associated elements.
  2. ~IF［ %要素~群 の内容と コレの `内容~属性~名$V 用に`~cacheした要素~群$の内容は 等しい【順序を問わず，同じ要素たちからなる】 ］ ⇒ ~RET コレの `内容~属性~名$V 用に`~cacheした要素~群~obj$ ◎ If the contents of elements is equal to the contents of this's cached attr-associated elements, then return this's cached attr-associated elements object.
  3. %凍結d配列としての要素~群 ~LET `~IDL型に変換する$( %要素~群, `FrozenArray$<%T>? ) ◎ Let elementsAsFrozenArray be elements, converted to a FrozenArray<T>?.
  4. コレの `内容~属性~名$V 用に`~cacheした要素~群$ ~SET %要素~群 ◎ Set this's cached attr-associated elements to elements.
  5. コレの `内容~属性~名$V 用に`~cacheした要素~群~obj$ ~SET %凍結d配列としての要素~群 ◎ Set this's cached attr-associated elements object to elementsAsFrozenArray.
  6. ~RET %凍結d配列としての要素~群 ◎ Return elementsAsFrozenArray.

  注記： この余分な~cacheしている層は、 `element.reflectedElements === element.reflectedElements^c を満たす不変則を保全するために必要yである。 ◎ This extra caching layer is necessary to preserve the invariant that element.reflectedElements === element.reflectedElements.

• 設定子~手続きは： ◎ The setter steps are:

  1. ~IF［ 所与の値 ~EQ ~NULL ］： ◎ If the given value is null:

     1. コレの `内容~属性~名$V 用に`明示的に設定された要素~群$ ~SET ~NULL ◎ Set this's explicitly set attr-elements to null.
     2. コレの`内容~属性を削除する$() ◎ Run this's delete the content attribute.
     3. ~RET ◎ Return.
  2. コレの`内容~属性を設定する$( 空~文字列 ) ◎ Run this's set the content attribute with the empty string.
  3. %要素~群 ~LET 新たな`~list$ ◎ Let elements be an empty list.

  4. 所与の値を成す ~EACH( %要素 ) に対し： ◎ For each element in the given value:

     1. %要素~群 に %要素 への弱い参照を`付加する$ ◎ Append a weak reference to element to elements.
  5. コレの `内容~属性~名$V 用に`明示的に設定された要素~群$ ~SET %要素~群 ◎ Set this's explicitly set attr-elements to elements.

• `~target$V が要素である場合に限り、 内容~属性と~IDL属性を同期するため， `~target$V 用の`属性~変更-時の手続き$が利用される — それは、 所与の ( %局所~名, %旧-値, %値, %名前空間 ) に対し： ◎ For element reflected targets only: the following attribute change steps, given element, localName, oldValue, value, and namespace, are used to synchronize between the content attribute and the IDL attribute:

  1. ~IF［ %局所~名 ~NEQ `内容~属性~名$V ］~OR［ %名前空間 ~NEQ ~NULL ］ ⇒ ~RET ◎ If localName is not attr or namespace is not null, then return.
  2. `~target$V の `内容~属性~名$V 用に`明示的に設定された要素~群$ ~SET ~NULL ◎ Set element's explicitly set attr-elements to null.

注記： 一貫性を得るため、 この型の`反映される~IDL属性$の識別子は， `Elements^l で終端することが強く奨励される。 ◎ Reflected IDL attributes of this type are strongly encouraged to have their identifier end in "Elements" for consistency.

2.6.2. 仕様における反映-の利用-法

`反映$は、［ `反映される~IDL属性$を通して内容~属性への有型~accessを与える ］ことにより， 首に［ ~web開発者にとっての易しさを改善する ］ためにある。 真実を成す最終的な~sourceは，内容~属性であり、 ~web~platformは，それに基づいて築かれる。 すなわち、 仕様~策定者は，`反映される~IDL属性$を［ 取得子~手続き／設定子~手続き ］に利用してはナラナイ — 代わりに 当の内容~属性の有無と値 （または、 `列挙d属性$の状態など，その上層にある抽象-化） を利用しなければナラナイ。 ◎ Reflection is primarily about improving web developer ergonomics by giving them typed access to content attributes through reflected IDL attributes. The ultimate source of truth, which the web platform builds upon, is the content attributes themselves. That is, specification authors must not use the reflected IDL attribute getter or setter steps, but instead must use the content attribute presence and value. (Or an abstraction on top, such as the state of an enumerated attribute.)

これには、 2 つの重要な例外 — `反映される~IDL属性$が次に挙げるいずれかの型である場合 — がある： ◎ Two important exceptions to this are reflected IDL attributes whose type is one of the following:

• %T? 型で， %T は `Element$I または それを継承する~interfaceである ◎ T?, where T is either Element or an interface that inherits from Element
• `FrozenArray$<%T>? 型で， %T は `Element$I または それを継承する~interfaceである ◎ FrozenArray<T>?, where T is either Element or an interface that inherits from Element

これらに対しては、 仕様~策定者は，`反映される~target$の［ `内容~属性~名$V に［ `結付けられた要素を取得する~algo$／ `結付けられた要素~群を取得する~algo$ ］ ~algo ］（同順）を利用しなければナラナイ。 当の内容~属性の有無と値は、 当の`反映される~IDL属性$と全部的には同期し得ないので，利用してはナラナイ。 ◎ For those, specification authors must use the reflected target's attr-associated element and attr-associated elements, respectively. The content attribute presence and value must not be used as they cannot be fully synchronized with the reflected IDL attribute.

`反映される~target$の［ `内容~属性~名$V 用に［ `明示的に設定された要素$, `明示的に設定された要素~群$, `~cacheした要素~群$ ］］は、 実装の内部的な詳細として扱われる — 【~web~platformが，】それらに基づいて築かれることはない。 ◎ A reflected target's explicitly set attr-element, explicitly set attr-elements, and cached attr-associated elements are to be treated as internal implementation details and not to be built upon.

2.6.3. ~collection

［ `HTMLFormControlsCollection$I ／ `HTMLOptionsCollection$I ］~interfaceは、 `HTMLCollection$I ~interfaceから派生した`~collection$である。 `HTMLAllCollection$I ~interfaceは、 `~collection$であるが，そのように派生されるものではない。 ◎ The HTMLFormControlsCollection and HTMLOptionsCollection interfaces are collections derived from the HTMLCollection interface. The HTMLAllCollection interface is a collection, but is not so derived.

[Exposed=Window]
interface `HTMLFormControlsCollection@I : `HTMLCollection$I {
  // `~length0$m, `item()$m を継承する
  getter (`RadioNodeList$I or `Element$I)? `namedItem$m(DOMString name); // 継承された `~namedItem0()$m を隠蔽する
};

[Exposed=Window]
interface `RadioNodeList@I : `NodeList$I {
  attribute DOMString `value$m;
};

[Exposed=Window]
interface `HTMLOptionsCollection@I : `HTMLCollection$I {
  // `item()$m, `~namedItem0()$m を継承する
  [`CEReactions$] attribute unsigned long `length$m; // 継承された `~length0$m を隠蔽する
  [`CEReactions$] `setter$m undefined (unsigned long index, `HTMLOptionElement$I? option);
  [`CEReactions$] undefined `add$m((`HTMLOptionElement$I or `HTMLOptGroupElement$I) element, optional (`HTMLElement$I or long)? before = null);
  [`CEReactions$] undefined `remove$m(long index);
  attribute long `selectedIndex$m;
};

2.6.3. `DOMStringList^I ~interface

`DOMStringList$I ~interfaceは、 文字列の~listを昔風の仕方で表現する。 ◎ The DOMStringList interface is a non-fashionable retro way of representing a list of strings.

[Exposed=(Window,Worker)]
interface `DOMStringList@I {
  readonly attribute unsigned long `length$sL;
  getter DOMString? `item$sL(unsigned long %index);
  boolean `contains$sL(DOMString %string);
};

新たな~APIは、 `DOMStringList$I ではなく， `sequence<DOMString>^c または それに等価なものを利用しなければナラナイ。 ◎ New APIs must use sequence<DOMString> or equivalent rather than DOMStringList.

%strings.`length$sL

%strings が包含している文字列の個数を返す。 ◎ Returns the number of strings in strings.

%strings[%index]

%strings.`item(index)$sL

%strings 内の~index %index 番の文字列を返す。 ◎ Returns the string with index index from strings.

%strings.`contains(string)$sL

%strings が %string を［ 包含するならば ~T ／ ~ELSE_ ~F ］を返す ◎ Returns true if strings contains string, and false otherwise.

各 `DOMStringList$I ~objには、 `文字列~list@ が結付けられる — それは、 文字列たちが成す`~list$である。 ◎ Each DOMStringList object has an associated list.

`DOMStringList$I ~obj %O が所与の時点で`~supportする~prop~index$は、 %O の`文字列~list$の`~index群$とする。 ◎ The DOMStringList interface supports indexed properties. The supported property indices are the indices of this's associated list.