Fullscreen API

`要素を~fullscreen化する@ ときは、 所与の ( %要素 ) に対し： ◎ To fullscreen an element:

1. %どこまで隠すか ~LET `最上層な~popover先祖を見出す$( %要素, ~NULL, ~F ) ◎ Let hideUntil be the result of running topmost popover ancestor given element, null, and false.
2. ~IF［ %どこまで隠すか ~EQ ~NULL ］ ⇒ %どこまで隠すか ~SET %要素 の`~node文書$ ◎ If hideUntil is null, then set hideUntil to element’s node document.
3. `ある所までの~popoverをすべて隠す$( %どこまで隠すか, ~F, ~T ) ◎ Run hide all popovers until given hideUntil, false, and true.
4. %要素 の`~fullscreenか$ ~SET ~T ◎ Set element’s fullscreen flag.
5. `上端~層から要素を即時に除去する$( %要素 ) ◎ Remove from the top layer immediately given element.
6. `上端~層に要素を追加する$( %要素 ) ◎ Add to the top layer given element.

`要素を~unfullscreenする@ ときは、 所与の ( %要素 ) に対し： ◎ To unfullscreen an element,＼

1. %要素 の`~fullscreenか$ ~SET ~F ◎ unset element’s fullscreen flag＼
2. ~IF［ %要素 は `iframe$e 要素である ］ ⇒ %要素 の`~iframe~fullscreenか$ ~SET ~F ◎ and iframe fullscreen flag (if any),＼
3. `上端~層から要素を即時に除去する$( %要素 ) ◎ and remove from the top layer immediately given element.

`文書を~unfullscreenする@ ときは、 所与の ( %文書 ) に対し ⇒ %文書 の`上端~層$を成す ~EACH( `要素$ %要素 ) に対し ⇒ ~IF［ %要素 の`~fullscreenか$ ~EQ ~T ］ ⇒ `要素を~unfullscreenする$( %要素 ) ◎ To unfullscreen a document, unfullscreen all elements, within document’s top layer, whose fullscreen flag is set.

`~fullscreenから全部的に抜出る@ ときは、 所与の ( `文書$ %文書 ) に対し，次を走らす： ◎ To fully exit fullscreen a document document, run these steps:

1. ~IF［ %文書 の`~fullscreen要素$ ~EQ ~NULL ］ ⇒ ~RET ◎ If document’s fullscreen element is null, terminate these steps.
2. %文書 の`上端~層$を成す ~EACH( %要素 ) に対し ⇒ ~IF［ %要素 の`~fullscreenか$ ~EQ ~T ］~AND［ %要素 ~NEQ %文書 の`~fullscreen要素$ ］ ⇒ `要素を~unfullscreenする$( %要素 ) ◎ Unfullscreen elements whose fullscreen flag is set, within document’s top layer, except for document’s fullscreen element.
3. `~fullscreenから抜出る$( %文書 ) ◎ Exit fullscreen document.

`除去-時の手続き$は、 所与の ( %除去された~node ) に対し，次を走らす： ◎ Whenever the removing steps run with a removedNode, run these steps:

1. %文書 ~LET %除去された~node の`~node文書$ ◎ Let document be removedNode’s node document.

2. %除去された~node の ~EACH( `~shadowも含めた広義-子孫$ %~node ) に対し，`~shadowも含めた~tree順序$で： ◎ Let nodes be removedNode’s shadow-including inclusive descendants that have their fullscreen flag set, in shadow-including tree order. ◎ For each node in nodes:

   1. ~IF［ %~node の`~fullscreenか$ ~EQ ~F ］ ⇒ ~CONTINUE ◎ ↑
   2. ~IF［ %~node ~EQ %文書 の`~fullscreen要素$ ］ ⇒ `~fullscreenから抜出る$( %文書 ) ◎ If node is document’s fullscreen element, exit fullscreen document.
   3. ~ELSE ⇒ `要素を~unfullscreenする$( %~node ) ◎ Otherwise, unfullscreen node.

   4. ~IF［ %~node ~IN %文書 の`上端~層$ ］ ⇒ `上端~層から要素を即時に除去する$( %~node ) ◎ If document’s top layer contains node, remove from the top layer immediately given node.

      注記： `上端~層$は，他の仕様から要素が追加されたり除去され得るので、 %~node は %文書 の`~fullscreen要素$でないかもしれない。 例えば、 %~node は開いている `dialog$e 要素にもなり得る。 ◎ Other specifications can add and remove elements from top layer, so node might not be document’s fullscreen element. For example, node could be an open dialog element.

`文書~unload時の片付け手続き$は、 所与の ( %文書 ) に対し，次を走らす ⇒ `~fullscreenから全部的に抜出る$( %文書 ) ◎ Whenever the unloading document cleanup steps run with a document, fully exit fullscreen document.

`~fullscreen化~手続き@ は、 所与の ( `文書$ %文書 ) に対し，次を走らす： ◎ To run the fullscreen steps for a document document, run these steps:

1. %処理待ち~event群 ~LET %文書 の`処理待ち~fullscreen~event群$【の~clone】 ◎ Let pendingEvents be document’s list of pending fullscreen events.
2. %文書 の`処理待ち~fullscreen~event群$を`空にする$ ◎ Empty document’s list of pending fullscreen events.

3. %処理待ち~event群 を成す ~EACH( ~tuple ( %型, %要素 ) ) に対し： ◎ For each (type, element) in pendingEvents:

   1. %~target ~LET ［ 次が満たされるならば %要素 ／ ~ELSE_ %文書 ］ ⇒ ［ %要素 は`接続されて$いる ］~AND［ %要素 の`~node文書$ ~EQ %文書 ］ ◎ Let target be element if element is connected and its node document is document, and otherwise let target be document.
   2. `~eventを発火する$( %~target, %型 ) — 次のように初期化して ⇒＃ `bubbles$m 属性 ~SET ~T, `composed$m 属性 ~SET ~T ◎ Fire an event named type, with its bubbles and composed attributes set to true, at target.

注記： この手続きは、 `HTML$r にて定義される`描画を更新する手続き＠~WAPI#update-the-rendering$【！`~event~loop$】に統合されている。 ◎ These steps integrate with the event loop defined in HTML. [HTML]

enum `FullscreenNavigationUI@I {
  `auto$l,
  `show$l,
  `hide$l
};

dictionary `FullscreenOptions@I {
  `FullscreenNavigationUI$I `navigationUI@m = "auto";
};

partial interface `Element$I {
  `Promise$<`undefined$> `requestFullscreen$m(optional `FullscreenOptions$I %options = {});

  attribute `EventHandler$I `onfullscreenchange$m;
  attribute `EventHandler$I `onfullscreenerror$m;
};

partial interface `Document$I {
  [`LegacyLenientSetter$] readonly attribute `boolean$ `fullscreenEnabled$m;
  [`LegacyLenientSetter$, `Unscopable$] readonly attribute `boolean$ `fullscreen$m; // 歴史的

  `Promise$<`undefined$> `exitFullscreen$m();

  attribute `EventHandler$I `onfullscreenchange$m;
  attribute `EventHandler$I `onfullscreenerror$m;
};

partial interface mixin `DocumentOrShadowRoot$I {
  [`LegacyLenientSetter$] readonly attribute `Element$I? `fullscreenElement$m;
};

`~fullscreen要素~準備済み検査@ は、 所与の ( `要素$ %要素 ) に対し ⇒ ~RET ~IS ~AND↓： ◎ A fullscreen element ready check for an element element returns true if all of the following are true, and false otherwise:

• %要素 は`接続されて$いる ◎ element is connected.
• %要素 の`~node文書$には `fullscreen$l `特能の利用は許容され$ている ◎ element’s node document is allowed to use the "fullscreen" feature.
• ［ %要素 の`名前空間$el ~NEQ `~HTML名前空間$ ］~OR［ %要素 の`~popover可視性~状態$ ~EQ `隠している$i ］ ◎ element namespace is not the HTML namespace or element’s popover visibility state is hidden.

`requestFullscreen(options)@m ~method~手続きは： ◎ The requestFullscreen(options) method steps are:

1. %処理待ち文書 ~LET コレの`~node文書$ ◎ Let pendingDoc be this’s node document.
2. %~promise ~LET `新たな~promise$ ◎ Let promise be a new promise.
3. ~IF［ %処理待ち文書 は`全部的に作動中$でない ］ ⇒＃ `~promiseを却下する$( %~promise, `TypeError$E 例外 )； ~RET %~promise ◎ If pendingDoc is not fully active, then reject promise with a TypeError exception and return promise.

4. %~error ~LET ~IS ~NOT ~AND↓： ◎ Let error be false. ◎ If any of the following conditions are false, then set error to true:

   • ~OR↓：

     • コレの`名前空間$el ~EQ `~HTML名前空間$
     • コレは~SVG `svg$e 要素である `SVG$r
     • コレは~MathML `math$e 要素である `MATHML$r
     ◎ This’s namespace is the HTML namespace or this is an SVG svg or MathML math element. [SVG] [MATHML]
   • コレは `dialog$e 要素でない ◎ This is not a dialog element.
   • `~fullscreen要素~準備済み検査$( コレ ) ~EQ ~T ◎ The fullscreen element ready check for this returns true.
   • `~fullscreenは~supportされて$いる ◎ Fullscreen is supported.

   • ［ コレに`関連な大域~obj$は`一過な作動化を有して$いる ］~OR［ この~algoは、 利用者が生成した方位~変更により誘発された† ］

     【† この用語は、 `SCREEN-ORIENTATION$r に定義されていたが，今や廃された。 】

     ◎ This’s relevant global object has transient activation or the algorithm is triggered by a user generated orientation change.
5. ~IF［ %~error ~EQ ~F ］ ⇒ `利用者-作動化を消費する$( %処理待ち文書 に`関連な大域~obj$ ) ◎ If error is false, then consume user activation given pendingDoc’s relevant global object.

6. ~RET %~promise — 加えて… ◎ Return promise,＼

   …以下の手続きも`並列的$に走らす： ◎ and run the remaining steps in parallel.

   1. ~IF［ %~error ~EQ ~F ］： ◎ If error is false, then＼

      • %処理待ち文書 の`~node~navigable$の`~top-level辿可能$navにて`作動中な文書$navの表示域の寸法を~resizeする — 任意選択で† %options[ "`navigationUI$m" ] の値を織り込む下で： ◎ resize pendingDoc’s node navigable’s top-level traversable’s active document’s viewport’s dimensions, optionally taking into account options["navigationUI"]:

        値	表示域の寸法
        `hide@l	出力-機器の~screenの全部的な寸法 ◎ full dimensions of the screen of the output device
        `show@l	出力-機器の~screenから［ ~UAが示す~page~navi~controlが占める部分 ］を除いた寸法 ◎ dimensions of the screen of the output device clamped to allow the user agent to show page navigation controls
        `auto@l	他の行に挙げたいずれか — どの寸法かは、 ~UAが定義する ◎ user-agent defined, but matching one of the above

        【† 織り込まない場合、 `auto$l であったかのように挙動すると思われる。 】

      • 加えて，任意選択で ⇒ 末端利用者~向けに、 これを復帰する方法について~~述べる~messageを表示する ◎ Optionally display a message how the end user can revert this.

   2. ~ELIF［ ~NOT ~AND↓ ］… ◎ If any of the following conditions are false, then set error to true:

      • コレの`~node文書$ ~EQ %処理待ち文書 ◎ This’s node document is pendingDoc.
      • `~fullscreen要素~準備済み検査$( コレ ) ~EQ ~T ◎ The fullscreen element ready check for this returns true.

      …ならば： ◎ If error is true:

      1. %処理待ち文書 の`処理待ち~fullscreen~event群$に ( `fullscreenerror$et, コレ ) を`付加する$set ◎ Append (fullscreenerror, this) to pendingDoc’s list of pending fullscreen events.
      2. `~promiseを却下する$( %~promise, `TypeError$E 例外 ) ◎ Reject promise with a TypeError exception and＼
      3. ~RET ◎ terminate these steps.
   3. %~fullscreen要素~群 ~LET 新たな`有順序~集合$ ◎ Let fullscreenElements be an ordered set＼
   4. %要素 ~LET コレ ◎ initially consisting of this.

   5. ~WHILE［ %要素 ~NEQ ~NULL ］：

      1. %~fullscreen要素~群 に %要素 を`付加する$set
      2. %要素 ~LET %要素 の`~node~navigable$の`容器$nav
      ◎ While true: • Let last be the last item of fullscreenElements. • Let container be last’s node navigable’s container. • If container is null, then break. • Append container to fullscreenElements.

   6. %~fullscreen要素~群 を成す ~EACH( %要素 ) に対し： ◎ For each element in fullscreenElements:

      1. %文書 ~LET %要素 の`~node文書$ ◎ Let doc be element’s node document.

      2. ~IF［ %要素 ~EQ %文書 の`~fullscreen要素$ ］ ⇒ ~CONTINUE ◎ If element is doc’s fullscreen element, continue.

         注記： 何も変化しない場合、 観測器に通知する必要は無い。 ◎ No need to notify observers when nothing has changed.

      3. ~IF［ %要素 ~EQ コレ ］~AND［ コレは `iframe$e `要素$である ］ ⇒ %要素 の`~iframe~fullscreenか$ ~SET ~T ◎ If element is this and this is an iframe element, then set element’s iframe fullscreen flag.
      4. `要素を~fullscreen化する$( %要素 ) ◎ Fullscreen element within doc.
      5. %文書 の`処理待ち~fullscreen~event群$に ( `fullscreenchange$et, %要素 ) を`付加する$set ◎ Append (fullscreenchange, element) to doc’s list of pending fullscreen events.

      注記： 要素たちが~fullscreen化される順序は、 観測され得ない — `~fullscreen化~手続き$は、 `~tree順序$で呼出されるので。 【なぜ観測され得ない？】 ◎ The order in which elements are fullscreened is not observable, because run the fullscreen steps is invoked in tree order.

   7. `~promiseを解決する$( %~promise ) ◎ Resolve promise with undefined.

注記： ~process外にある【？】`~navigable$での実装は、 読者への宿題として残される。 改善案があれば歓迎する。 ◎ Implementations with out-of-process navigables are left as an exercise to the reader. Input welcome on potential improvements.

`fullscreenEnabled@m 取得子~手続きは ⇒ ~RET ~IS［ コレには `fullscreen$l `特能の利用は許容され$ている ］~AND［ `~fullscreenは~supportされて$いる ］ ◎ The fullscreenEnabled getter steps are to return true if this is allowed to use the "fullscreen" feature and fullscreen is supported, and false otherwise

`fullscreen@m 取得子~手続きは ⇒ ~RET ~IS［ コレの`~fullscreen要素$ ~NEQ ~NULL ］ ◎ The fullscreen getter steps are to return false if this’s fullscreen element is null, and true otherwise.

注記： 作者は、 代わりに `fullscreenElement$m 属性を利用するように。 ◎ Use the fullscreenElement attribute instead.

`fullscreenElement@m 取得子~手続きは： ◎ The fullscreenElement getter steps are:

1. ~IF［ コレは`~shadow根$である ］~AND［ コレの`~host$は`接続されて$いない ］ ⇒ ~RET ~NULL ◎ If this is a shadow root and its host is not connected, then return null.
2. %候補 ~LET コレの`~fullscreen要素$をコレに向けて`~targetし直す$ ◎ Let candidate be the result of retargeting fullscreen element against this.
3. ~IF［ ( %候補, コレ ) は同じ`~tree$内にある ］ ⇒ ~RET %候補 ◎ If candidate and this are in the same tree, then return candidate.
4. ~RET ~NULL ◎ Return null.

`~unfullscreenする文書を収集する@ ときは、 所与の ( %文書 ) に対し，次を走らす： ◎ To collect documents to unfullscreen given doc, run these steps:

1. %文書~群 ~LET 新たな`有順序~集合$ ◎ Let docs be an ordered set＼ ↓ consisting of doc.

2. ~WHILE 無条件

   1. ~Assert： %文書 の`~fullscreen要素$ ~NEQ ~NULL
   2. %文書~群 に %文書 を`付加する$set
   3. ~IF［ %文書 は`単純~fullscreen文書$でない ］ ⇒ ~BREAK
   4. %容器 ~LET %文書 の`~node~navigable$の`容器$nav
   5. ~IF［ %容器 ~EQ ~NULL ］ ⇒ ~BREAK
   6. ~IF［ %容器 の`~iframe~fullscreenか$ ~EQ ~F 【！原文 set( ~T ) は誤り】 ］ ⇒ ~BREAK
   7. %文書 ~SET %容器 の`~node文書$
   ◎ While true: • Let lastDoc be docs’s last document. • Assert: lastDoc’s fullscreen element is not null. • If lastDoc is not a simple fullscreen document, break. • Let container be lastDoc’s node navigable’s container. • If container is null, then break. • If container’s iframe fullscreen flag is set, break. • Append container’s node document to docs.

3. ~RET %文書~群 ◎ Return docs.

   注記： %文書~群 は，文書のうち［ その`~fullscreen要素$が~unfullscreenされることになるもの ］からなるが、 その最後の文書 %文書 の`上端~層$内には［ `~fullscreenか$ ~EQ ~T ］にされた`要素$が複数個あるかもしれない — その事例では、 %文書 は依然として，~fullscreenであり続けることになる。 ◎ This is the set of documents for which the fullscreen element will be unfullscreened, but the last document in docs might have more than one element in its top layer with the fullscreen flag set, in which case that document will still remain in fullscreen.

`~fullscreenから抜出る@ ときは、 所与の ( `文書$ %文書 ) に対し，次を走らす： ◎ To exit fullscreen a document doc, run these steps:

1. %~promise ~LET `新たな~promise$ ◎ Let promise be a new promise.
2. ~IF［ %文書 は`全部的に作動中$でない ］~OR［ %文書 の`~fullscreen要素$ ~EQ ~NULL ］ ⇒＃ `~promiseを却下する$( %~promise, `TypeError$E 例外 )； ~RET %~promise ◎ If doc is not fully active or doc’s fullscreen element is null, then reject promise with a TypeError exception and return promise.
3. %~resizeか ~LET ~F ◎ Let resize be false.
4. %文書~群 ~LET `~unfullscreenする文書を収集する$( %文書 ) ◎ Let docs be the result of collecting documents to unfullscreen given doc.
5. %~top-level文書 ~LET %文書 の`~node~navigable$の`~top-level辿可能$navにて`作動中な文書$nav ◎ Let topLevelDoc be doc’s node navigable’s top-level traversable’s active document.
6. ~IF［ %~top-level文書 ~IN %文書~群 ］~AND［ %~top-level文書 は`単純~fullscreen文書$である ］ ⇒＃ %文書 ~SET %~top-level文書； %~resizeか ~SET ~T ◎ If topLevelDoc is in docs, and it is a simple fullscreen document, then set doc to topLevelDoc and resize to true.
7. ~IF［ %文書 の`~fullscreen要素$は`接続されて$いない ］ ⇒ %文書 の`処理待ち~fullscreen~event群$に ( `fullscreenchange$et, %文書 の`~fullscreen要素$ ) を`付加する$set ◎ If doc’s fullscreen element is not connected: • Append (fullscreenchange, doc’s fullscreen element) to doc’s list of pending fullscreen events.

8. ~RET %~promise — 加えて… ◎ Return promise,＼

   …以下の手続きも`並列的$に走らす： ◎ and run the remaining steps in parallel.

   1. `~screen方位を全部的に~unlockする手続き$( %文書 ) ◎ Run the fully unlock the screen orientation steps with doc.
   2. ~IF［ %~resizeか ~EQ ~T ］ ⇒ %文書 の表示域を その “通常の” 寸法に~resizeする ◎ If resize is true, resize doc’s viewport to its "normal" dimensions.
   3. ~IF［ %文書 の`~fullscreen要素$ ~EQ ~NULL ］ ⇒＃ `~promiseを解決する$( %~promise )； ~RET ◎ If doc’s fullscreen element is null, then resolve promise with undefined and terminate these steps.
   4. %抜出る文書~群 ~LET `~unfullscreenする文書を収集する$( %文書 ) ◎ Let exitDocs be the result of collecting documents to unfullscreen given doc.
   5. %子孫~文書~群 ~LET 新たな`有順序~集合$ ◎ ↓
   6. %文書 の`子孫~navigable群$を成す ~EACH( %子孫 ) に対し【！in tree order は不要】 ⇒ ~IF［ %子孫 にて`作動中な文書$navの`~fullscreen要素$ ~NEQ ~NULL ］ ⇒ %子孫~文書~群 に %子孫 にて`作動中な文書$navを`付加する$set ◎ Let descendantDocs be an ordered set consisting of doc’s descendant navigables' active documents whose fullscreen element is non-null, if any, in tree order.

   7. %抜出る文書~群 を成す ~EACH( %抜出る文書 ) に対し： ◎ For each exitDoc in exitDocs:

      1. %抜出る文書 の`処理待ち~fullscreen~event群$に ( `fullscreenchange$et, %抜出る文書 の`~fullscreen要素$ ) を`付加する$set ◎ Append (fullscreenchange, exitDoc’s fullscreen element) to exitDoc’s list of pending fullscreen events.
      2. ~IF［ %~resizeか ~EQ ~T ］ ⇒ `文書を~unfullscreenする$( %抜出る文書 ) ◎ If resize is true, unfullscreen exitDoc.
      3. ~ELSE ⇒ `要素を~unfullscreenする$( %抜出る文書 の`~fullscreen要素$ ) ◎ Otherwise, unfullscreen exitDoc’s fullscreen element.

   8. %子孫~文書~群 を成す ~EACH( %子孫~文書 ) に対し： ◎ For each descendantDoc in descendantDocs:

      1. %子孫~文書 の`処理待ち~fullscreen~event群$に ( `fullscreenchange$et, %子孫~文書 の`~fullscreen要素$ ) を`付加する$set ◎ Append (fullscreenchange, descendantDoc’s fullscreen element) to descendantDoc’s list of pending fullscreen events.
      2. `文書を~unfullscreenする$( %子孫~文書 ) ◎ Unfullscreen descendantDoc.

      注記： 文書たちが~unfullscreenされる順序は、 観測され得ない — `~fullscreen化~手続き$は、 `~tree順序$で呼出されるので。 【なぜ観測され得ない？】 ◎ The order in which documents are unfullscreened is not observable, because run the fullscreen steps is invoked in tree order.

   9. `~promiseを解決する$( %~promise ) ◎ Resolve promise with undefined.

`exitFullscreen()@m ~method~手続きは ⇒ ~RET `~fullscreenから抜出る$( コレ ) ◎ The exitFullscreen() method steps are to return the result of running exit fullscreen on this.