7.1.1. 入子の閲覧文脈

ある種の要素（例えば `iframe$e 要素）は、更に`閲覧文脈$を~instance化し得る。 そのような要素 %要素 は `閲覧文脈~容器@ と呼ばれる。 【 `iframe^e 以外に該当する要素には、 `embed$e, `object$e と，廃用にされた `frame$e がある（他には？）。】 ◎ Certain elements (for example, iframe elements) can instantiate further browsing contexts. These elements are called browsing context containers.

`閲覧文脈$ %子 が別の`閲覧文脈$ %親 の `子~閲覧文脈@ であるとは、次をすべて満たす`閲覧文脈~容器$ %要素 が在ることをいう： ◎ A browsing context child is said to be a child browsing context of another browsing context parent, if all of the following conditions hold:

• %子 ~EQ %要素 が`入子にしている閲覧文脈$ ◎ child is a nested browsing context of a browsing context container element
• %要素 は`接続されて$いる ◎ element is connected
• %親 ~EQ %要素 の`~shadowも含む根$が`属する閲覧文脈$ ◎ element's shadow-including root's browsing context is parent

上の条件に加えて， %要素 は`文書~木~内$にあるならば、 %子 は %親 の`文書~木に属する子~閲覧文脈@ であるという。 ◎ A browsing context child is then a document-tree child browsing context of parent if it is a child browsing context and its browsing context container is not just connected, but also in a document tree.

`閲覧文脈$ %子 がある %親 の`子~閲覧文脈$であるならば、そのような %親 は一意に定まる。 この %親 を指して， %子 の `親~閲覧文脈@ という。 そのような %親 は無いならば、 %子 の`親~閲覧文脈$ ~EQ ε （存在しない）と定義される。 ◎ A browsing context child may have a parent browsing context. This is the unique browsing context that has child as a child browsing context, if any such browsing context exists. Otherwise, the browsing context has no parent browsing context.

`入子の閲覧文脈$でない`閲覧文脈$ %B の`親~閲覧文脈$は ε である。 このとき、 %B は，［ %B を`先祖$とするような閲覧文脈 ］すべての `~top-level閲覧文脈@ になる。 ◎ A browsing context that is not a nested browsing context has no parent browsing context, and is the top-level browsing context of all the browsing contexts for which it is an ancestor browsing context.

【 “`~top-level閲覧文脈$である” ことに`子~閲覧文脈$の存在が要求されるわけではない。 ~top-level閲覧文脈 %B 自身の~top-level閲覧文脈も %B である（例えば、`補助~閲覧文脈$）。 】

`閲覧文脈$に対する，非 ε の`親~閲覧文脈$による推移閉包 【親を順々に辿って得られる先祖たち】 は、`先祖~閲覧文脈$の~listを成す。 ◎ The transitive closure of parent browsing contexts for a browsing context that is a nested browsing context gives the list of ancestor browsing contexts.

`文書$ %文書 の `子孫~閲覧文脈~list@ は、次の~algoが返す~listで与えられる： ◎ The list of the descendant browsing contexts of a Document d is the (ordered) list returned by the following algorithm:

1. %~list ~LET 新たな`~list$ ◎ Let list be an empty list.
2. ~Assert： %文書 が`属する閲覧文脈$ ~NEQ ε 【この段はこの訳による補完】

3. %文書 `木~内にある$ ~EACH( `閲覧文脈~容器$ %C ) に対し，`木~順序$で： ◎ For each child browsing context of d that is nested through an element that is in the Document d, in the tree order of the elements nesting those browsing contexts, run these substeps:

   1. %子~閲覧文脈 ~LET %C が`入子にしている閲覧文脈$ ◎ ↑
   2. ~IF［ %子~閲覧文脈 は %文書 が`属する閲覧文脈$の`子~閲覧文脈$でない ］ ⇒ ~CONTINUE ◎ ↑
   3. %~list に %子~閲覧文脈 を`付加する$ ◎ Append that child browsing context to the list list.
   4. %子~閲覧文脈 にて`作動中の文書$の`子孫~閲覧文脈~list$を成す ~EACH( %子孫 ) に対し ⇒ %~list に %子孫 を`付加する$ ◎ Append the list of the descendant browsing contexts of the active document of that child browsing context to the list list.
4. ~RET %~list ◎ Return the constructed list.

`作動中の文書$は、それが`属する閲覧文脈$ %B が次のいずれかを満たすならば， `全部的に作動中@ であるとされる： ◎ A Document is said to be fully active when it has a browsing context and it is the active document of that browsing context, and＼

• %B は`~top-level閲覧文脈$である ◎ either its browsing context is a top-level browsing context, or＼
• ［ %B の`親~閲覧文脈$ %P ~NEQ ε ］~AND［ %B は %P において`全部的に作動中$である文書を`通して入子にされ$ている ］ ◎ it has a parent browsing context and the Document through which it is nested is itself fully active.

`子~閲覧文脈$ %B は，要素に結付けられるので、常にその`親~閲覧文脈$に属する特定の`文書$ %文書 に束ねられる。 ~UAは、 %文書 が`全部的に作動中$でない下では、利用者による %B とのやりとりを許容しては~MUST_NOT。 ◎ Because they are associated with an element, child browsing contexts are always tied to a specific Document in their parent browsing context. User agents must not allow the user to interact with child browsing contexts of elements that are in Documents that are not themselves fully active.

`入子の閲覧文脈$は、 `~load~event遅延~中~mode@ 下に置かれ得る。 この~modeは、`~navigate$に際して新たな`文書$が作成される前に，その`閲覧文脈~容器$向けの`~load~eventを遅延する$ために利用される。 ◎ A browsing context that is a nested browsing context can be put into a delaying load events mode. This is used when it is navigated, to delay the load event of its browsing context container before the new Document is created.

`閲覧文脈$ %B の `文書~族@ は、［ %B の`~session履歴$内にある`文書$ ］すべてと, ［ それらの各`文書$の`文書~族$ ］すべての和集合からなる。 `文書$ %文書 の`文書~族$は、［ %文書 を`通して入子にされ$ている各 `閲覧文脈$の`文書~族$ ］すべての和集合からなる。 ◎ The document family of a browsing context consists of the union of all the Document objects in that browsing context's session history and the document families of all those Document objects. The document family of a Document object consists of the union of all the document families of the browsing contexts that are nested through the Document object.

`閲覧文脈~容器$ %C の `内容~文書@ は、次の~algoの結果で与えられる： ◎ The content document of a browsing context container container is the result of the following algorithm:

1. %B ~LET %C が`入子にしている閲覧文脈$ ◎ ↓
2. ~IF［ %B ~EQ ~NULL ］ ⇒ ~RET ~NULL ◎ If container's nested browsing context is null, then return null. ◎ Let context be container's nested browsing context.
3. %文書 ~LET %B にて`作動中の文書$ ◎ Let document be context's active document.
4. ~IF［ ( %文書 の`生成元$, `現在の設定群~obj$により指定される`生成元$enV ) は`同じ生成元~domain$でない ］ ⇒ ~RET ~NULL ◎ If document's origin and the origin specified by the current settings object are not same origin-domain, then return null.
5. ~RET %文書 ◎ Return document.

<!DOCTYPE html>
<iframe></iframe>

<script>
"use strict";
const %element = document.querySelector("iframe");
const %iframeWindow = %element.contentWindow;
%element.remove();

console.assert(%iframeWindow.top === null);
console.assert(%iframeWindow.parent === null);
console.assert(%iframeWindow.frameElement === null);
</script>

7.1.2. 補助~閲覧文脈

新たな閲覧文脈を、要素を`通して入子にされ$ることなく，ある`~top-level閲覧文脈$に関係するように作成することも可能である。 そのような閲覧文脈は、 `補助~閲覧文脈@ と呼ばれる。 補助~閲覧文脈は、常に`~top-level閲覧文脈$である。 ◎ It is possible to create new browsing contexts that are related to a top-level browsing context without being nested through an element. Such browsing contexts are called auxiliary browsing contexts. Auxiliary browsing contexts are always top-level browsing contexts.

`補助~閲覧文脈$ %B を作成させた`閲覧文脈$を指して、 %B を `開いた閲覧文脈@ という — そのようなものが無ければ、開いた閲覧文脈は ε とする。 ◎ An auxiliary browsing context has an opener browsing context, which is the browsing context from which the auxiliary browsing context was created.

【 おそらく， “補助~閲覧文脈である” と “開いた閲覧文脈 ~NEQ ε” は、論理的に等価になると思われる。 】

7.1.3. 保安

所与の`閲覧文脈$ %A, %B に対し， %A が %B に `近しい@ （ “ %A is familiar with %B ” ）とは、次のいずれかが満たされることを意味する： ◎ A browsing context A is familiar with a second browsing context B if one of the following conditions is true:

• ( %A にて`作動中の文書$の`生成元$, %B にて`作動中の文書$の`生成元$ ) は`同一生成元$である ◎ Either the origin of the active document of A is the same as the origin of the active document of B, or
• %A の`~top-level閲覧文脈$ ~EQ %B ◎ The browsing context A is a nested browsing context with a top-level browsing context, and its top-level browsing context is B, or
• ［ %B は`補助~閲覧文脈$である ］~AND［ %A は %B を`開いた閲覧文脈$に`近しい$ ］ ◎ The browsing context B is an auxiliary browsing context and A is familiar with B's opener browsing context, or
• %B のある`先祖~閲覧文脈$ %X が存在して ⇒ %A にて`作動中の文書$の`生成元$, %X にて`作動中の文書$の`生成元$ ) は`同一生成元$である ◎ The browsing context B is not a top-level browsing context, but there exists an ancestor browsing context of B whose active document has the same origin as the active document of A (possibly in fact being A itself).

【 最初と最後の条件から、特に，［ %A ~EQ %B, または %A は %B の`先祖~閲覧文脈$である ］ならば、 %A は %B に`近しい$ことになる。 】

所与の`閲覧文脈$ %A, %B に対し、次の手続きが ~T を返すならば， %A は %B を `~navigateすることは許容されて@ いるとされる： ◎ A browsing context A is allowed to navigate a second browsing context B if the following algorithm returns true:

1. ~IF［ %A ~EQ %B ］ ⇒ ~RET ~T ◎ ↓
2. %S ~LET［ %A にて`作動中の文書$ ］の`作動中の~sandbox法~flag集合$ ◎ ↓

3. ~RET［ 次のいずれかが満たされるならば ~F ／ ~ELSE_ ~T ］：

   • ［ %B は`~top-level閲覧文脈$ではない ］~AND［ %A は %B の`先祖~閲覧文脈$でない ］~AND［ `~navi$sbox ~IN %S ］ ◎ If A is not the same browsing context as B, and A is not one of the ancestor browsing contexts of B, and B is not a top-level browsing context, and A's active document's active sandboxing flag set has its sandboxed navigation browsing context flag set, then return false.

   • ［ %B は %A の`~top-level閲覧文脈$である ］~AND［ 次のいずれかが満たされる ］： ◎ Otherwise, if B is a top-level browsing context, and is one of the ancestor browsing contexts of A, then:

     • ［ この~algoは`利用者による作動化から誘発されて$いる ］~AND［ `利用者~作動化~top-level~navi$sbox ~IN %S ］ ◎ If this algorithm is triggered by user activation and A's active document's active sandboxing flag set has its sandboxed top-level navigation with user activation browsing context flag set, then return false.
     • ［ この~algoは`利用者による作動化から誘発されて$いない ］~AND［ `非~利用者~作動化~top-level~navi$sbox ~IN %S ］ ◎ Otherwise, if this algorithm is not triggered by user activation and A's active document's active sandboxing flag set has its sandboxed top-level navigation without user activation browsing context flag set, then return false.
   • ［ %B は`~top-level閲覧文脈$である ］~AND［ %B は %A の`先祖~閲覧文脈$でない ］~AND［ `~navi$sbox ~NIN %S ］~AND［ %A は %B の`許可-済み~navigator$でない ］ ◎ Otherwise, if B is a top-level browsing context, and is neither A nor one of the ancestor browsing contexts of A, and A's Document's active sandboxing flag set has its sandboxed navigation browsing context flag set, and A is not the one permitted sandboxed navigator of B, then return false. ◎ Return true.

【 最初の 2 つの段は、 3 番目の段を簡潔に記すための，訳者による追加。 】【 論理的には、 %A が %B を~navigateする機会が生じ得ないような場合（ “互いに無縁な” 閲覧文脈など）も ~F を返すべきだが、不要なので省略されていると見られる。 】

7.1.4. 閲覧文脈の~group分け

所与の`閲覧文脈$ %A に対し，次のいずれかを満たす`閲覧文脈$ %B は、 %A から `直接到達可能@ とされる： ◎ Each browsing context is defined as having a list of one or more directly reachable browsing contexts. These are:

• %B ~EQ %A ◎ The browsing context itself.
• %B の`親~閲覧文脈$ ~EQ %A ◎ All the browsing context's child browsing contexts.
• %B ~EQ %A の`親~閲覧文脈$ ◎ The browsing context's parent browsing context.
• %B を`開いた閲覧文脈$ ~EQ %A ◎ All the browsing contexts that have the browsing context as their opener browsing context.
• %B ~EQ %A を`開いた閲覧文脈$ ◎ The browsing context's opener browsing context.

【 この関係は、反射律と対称律を満たす（そのことが明白になるよう，ここでは 原文を等価な形に言い換えている）。 】

`直接到達可能$な関係による推移閉包は、 `互いに関係する閲覧文脈~群@ を形成する。 ◎ The transitive closure of all the browsing contexts that are directly reachable browsing contexts forms a unit of related browsing contexts.

【 すなわち、推移律も満たすように — したがって，同値律を満たすように — “直接到達可能” を拡張した関係に基づく，同値類。 】

各 `互いに関係する閲覧文脈~群$は，更に、各~groupが次を満たすような，最も少数の~groupに分けられる ⇒ ~groupのどの~memberも，その`作動中の文書$の`生成元$は，［ `document.domain$m 属性に対する適切な操作 ］を通して，~groupの他の~memberにて`作動中の文書$のそれと`同じ生成元~domain$にできる一方で、他の~groupの~memberとは同じにできない。 ◎ Each unit of related browsing contexts is then further divided into the smallest number of groups such that every member of each group has an active document with an origin that, through appropriate manipulation of the document.domain attribute, could be made to be same origin-domain with other members of the group, but could not be made the same as members of any other group.＼

そのような各~groupを `互いに関係するかつ生成元も類似する閲覧文脈~群@ という。 ◎ Each such group is a unit of related similar-origin browsing contexts.

【 この定義が~well-definedになるためには， “適切な操作〜” が 対称律を満たす（可逆になる）必要があるが、それを確かめるためには，この仕様~全体を精査する必要がある。 おそらく、［ 2 つの~memberが同じ~groupに属するのは、両者 に対し ある適切な操作を施した結果が`同じ生成元~domain$になるとき ］と解釈されるべきに思われる（そう解釈すれば精査する必要もなくなる）。 】

注記： 各 `互いに関係するかつ生成元も類似する閲覧文脈~群$ が持ち得る`~event-loop$は高々一つまでである（一方で、複数の`互いに関係するかつ生成元も類似する閲覧文脈~群$は，同じ`~event-loop$を共有し得る）。 ◎ There is also at most one event loop per unit of related similar-origin browsing contexts (though several units of related similar-origin browsing contexts can have a shared event loop).

7.1.5. 閲覧文脈~名

各 `閲覧文脈$は、 `閲覧文脈~名@ を持つ。 他が言明されない限り，空~文字列とする（名前がないことを表す）。 ◎ Browsing contexts can have a browsing context name. Unless stated otherwise, it is the empty string.

`妥当な閲覧文脈~名@ とは、［ 空でない ］~AND［ 最初の文字 ~NEQ `005F^U `_^smb ］を満たす文字列である。 （最初の文字 ~EQ `005F^U `_^smb なる文字列は、次に述べる特別な~keyword用に予約される。） ◎ A valid browsing context name is any string with at least one character that does not start with a U+005F LOW LINE character. (Names starting with an underscore are reserved for special keywords.)

頁の “~link等” （ ~link, ~script, ~form提出 等々）が指定する，`妥当な閲覧文脈~名または~keyword$ 値 — 以下，単に %名前 と記す — は、頁が~sandbox化されているか否かに応じて、下の規範的でない “表 A” の 2 列目以降に要約されるような，それぞれに異なる意味を持つ： ◎ These values have different meanings based on whether the page is sandboxed or not, as summarized in the following (non-normative) table.＼

~sandbox化された閲覧文脈に対する制約のほとんどは、他の~algo — 例えば `~navi$~algo — により適用される。 `閲覧文脈を選ぶ規則$ではなく。 ◎ Most of the restrictions on sandboxed browsing contexts are applied by other algorithms, e.g. the navigation algorithm, not the rules for choosing a browsing context given below.

`閲覧文脈を選ぶ規則@ は、所与の ( `閲覧文脈~名$ %名前, `閲覧文脈$ %現, 真偽値 %noopener ) に対し，次に従う： ◎ The rules for choosing a browsing context, given a browsing context name name, a browsing context current, and a boolean noopener are as follows:

1. %小文字~化~名 ~LET `~ASCII小文字~化する$( %名前 ) ◎ ↓

2. %結果 ~SET %小文字~化~名 に応じて，次で与えられる閲覧文脈または ~NULL： ◎ Let chosen be null. ◎ Let new be false.

   空~文字列

   `_self^l

   %現 ◎ If name is the empty string or an ASCII case-insensitive match for "_self", then set chosen to current.

   `_parent^l

   %現 の`親~閲覧文脈$ ~NEQ ε ならば それ ／ ~ELSE_ %現 ◎ If name is an ASCII case-insensitive match for "_parent", then set chosen to current's parent browsing context, if any, and current otherwise.

   `_top^l

   %現 の`~top-level閲覧文脈$ ~NEQ ε ならば それ ／ ~ELSE_ %現 ◎ If name is an ASCII case-insensitive match for "_top", then set chosen to current's top-level browsing context, if any, and current otherwise.

   `_blank^l

   ~NULL

   その他

   ~IF［ 次のいずれも満たすような閲覧文脈 %B は存在する ］…

   • %B の`名前$ ~EQ %名前
   • %現 は %B に`近しい$
   • ~UAは， %現, %B が互いに到達してもよいほどに十分~関係すると決定した

   …ならば ⇒ そのような閲覧文脈のうちのいずれか ⇒ 該当する %B が複数ある場合、~UAは，そのうち一つを［ 何らかの，一貫した, 任意の方式 ］で選定するべきである — 例えば［ 最も近過去に開いたもの ／ 最も近過去に~focusされたもの ／ より近く関係するもの ］など。

   ~ELSE ⇒ ~NULL

   ◎ If name is not an ASCII case-insensitive match for "_blank" and there exists a browsing context whose name is the same as name, and current is familiar with that browsing context, and the user agent determines that the two browsing contexts are related enough that it is ok if they reach each other, then set chosen to that browsing context. If there are multiple matching browsing contexts, the user agent should set chosen to one in some arbitrary consistent manner, such as the most recently opened, most recently focused, or more closely related.

   これは、 issue #1440 にて，もっと精確に定められることになる。 ◎ This will be made more precise in issue #1440.

3. ~IF［ %結果 ~NEQ ~NULL ］ ⇒ ~RET ( %結果, ~F ) ◎ ↑
4. ~Assert： 新たな閲覧文脈が要請されている — 何が起こるかは、~UAの環境設定と能に依存する ◎ Otherwise, a new browsing context is being requested, and what happens depends on the user agent's configuration and abilities — it is determined by the rules given for the first applicable option from the following list:
5. %新 ~LET ~F ◎ ↑↑
6. %~flag集合 ~LET［ %現 にて`作動中の文書$ ］の`作動中の~sandbox法~flag集合$ ◎ ↓
7. ~IF［ この~algoは、`利用者による作動化から誘発されて$いない ］~AND［ ~UAは~popupを示さないよう環境設定されている（すなわち，~UAは “popup blocker” を可能化している） ］ ⇒ ~UAは、~popupを阻止したことを利用者に伝えてよい。 ◎ If the algorithm is not triggered by user activation and the user agent has been configured to not show popups (i.e. the user agent has a "popup blocker" enabled) • The user agent may inform the user that a popup has been blocked.

8. ~ELIF［ `補助~navi$sbox ~IN %~flag集合 ］： ◎ If current's active document's active sandboxing flag set has the sandboxed auxiliary navigation browsing context flag set.

   1. ~UAの任意選択で、利用者に，次の選択肢を提供する： ◎ The user agent may offer the user one of:

      • 新たな~top-level閲覧文脈 ⇒＃ %結果 ~SET `新たな閲覧文脈を作成する$( %noopener ), %新 ~SET ~T ◎ Set chosen to a new top-level browsing context given noopener, and set new to true.
      • 既存のものを再利用する ⇒ %結果 ~SET 既存の`~top-level閲覧文脈$ ◎ Set chosen to an existing top-level browsing context.
      • 辞退する

      この事例が生じた場合、~linkを開こうと試行している文書は，作者が明示的に~sandbox化していることを意味する。 ◎ If this case occurs, it means that an author has explicitly sandboxed the document that is trying to open a link.

   注記： 利用者が辞退した場合／~UAが上の選択肢を提供しなかった場合、［ %結果, %新 ］はそのままにされる。 ◎ If the user declines or the user agent doesn't offer the above, the variables remain unchanged.

9. ~ELIF［ ~UAは新たな閲覧文脈を作成するように環境設定されている ］： ◎ If the user agent has been configured such that in this instance it will create a new browsing context:

   1. %結果 ~SET `新たな閲覧文脈を作成する$( %noopener ) ◎ Set chosen to a new auxiliary browsing context given noopener＼
   2. %結果 は`補助~閲覧文脈$になるとする ⇒ %結果 を`開いた閲覧文脈$ ~SET %現 ◎ with the opener browsing context being current, and＼
   3. %新 ~SET ~T ◎ set new to true.
   4. ~IF［ %小文字~化~名 ~NEQ `_blank^l ］ ⇒ %結果 の`名前$ ~SET %名前 ◎ If name is not an ASCII case-insensitive match for "_blank", then chosen's name must be set to name.

   注記： 新たに作成された`閲覧文脈$が即時に`~navigate$される場合、その~naviは，［ `置換~可能化~flag$ ~SET ~ON ］の下で行われることになる。 ◎ If the newly created browsing context is immediately navigated, then the navigation will be done with replacement enabled.

10. ~ELIF［ ~UAは %現 を再利用するように環境設定されている ］ ⇒ %結果 ~SET %現 ◎ If the user agent has been configured such that in this instance it will reuse current • Set chosen to current.

11. ~ELSE（ ~UAは閲覧文脈を見出さないように環境設定されている） ⇒ 何もしない ◎ If the user agent has been configured such that in this instance it will not find a browsing context • Do nothing.

    注記： ~UAには、［ ~UAが常に %現 を再利用するように環境設定する仕方 ］を，利用者に供することが奨励される。 ◎ User agents are encouraged to provide a way for users to configure the user agent to always reuse current.

12. ~IF［ %新 ~EQ ~T ］： ◎ If new is true, then:

    1. ~IF［ `~navi$sbox ~IN %~flag集合 ］ ⇒ %結果 の`許可-済み~navigator$ ~SET %現 ◎ Let flagSet be current's active document's active sandboxing flag set. ◎ If flagSet's sandboxed navigation browsing context flag is set, then current must be set as chosen's one permitted sandboxed navigator.
    2. ~IF［ `~sandboxは補助~閲覧文脈に伝播する~flag$ ~IN %~flag集合 ］ ⇒ %結果 の`~popup~sandbox法~flag集合$に %~flag集合 内のすべての~flagを追加する ◎ If flagSet's sandbox propagates to auxiliary browsing contexts flag is set, then all the flags that are set in flagSet must be set in chosen's popup sandboxing flag set.
13. ~RET ( %結果, %新 ) ◎ Return chosen and new.