Web 共有 API — Web Share API

`share()@m ~method手続きは： ◎

1. %大域~obj ~LET コレに`関連な大域~obj$ ◎ Let global be this's relevant global object.
2. %文書 ~LET %大域~obj に`結付けられた文書$ ◎ Let document be global's associated Document.
3. ~IF［ %文書 は`全部的に作動中$でない ］ ⇒ ~RET `却下される~promise$( `InvalidStateError$E 例外 ) ◎ If document is not fully active, return a promise rejected with an "InvalidStateError" DOMException.
4. ~IF［ %文書 には `web-share$l の`利用は許容されて$いない ］ ⇒ ~RET `却下される~promise$( `NotAllowedError$E 例外 ) ◎ If document is not allowed to use "web-share", return a promise rejected with a "NotAllowedError" DOMException.
5. ~IF［ コレ.`sharePromise$sl ~NEQ ~NULL ］ ⇒ ~RET `却下される~promise$( `InvalidStateError$E 例外 ) ◎ If this.[[sharePromise]] is not null, return a promise rejected with an "InvalidStateError" DOMException.
6. ~IF［ %大域~obj は`一過な作動化を有して$いない ］ ⇒ ~RET `却下される~promise$( `NotAllowedError$E 例外 ) ◎ If global does not have transient activation, return a promise rejected with a "NotAllowedError" DOMException.
7. %大域~obj の`利用者-作動化を消費する$ ◎ Consume user activation of global.
8. %基底 ~LET コレに`関連な設定群~obj$の`~API用~基底~URL$enV ◎ Let base be this's relevant settings object's API base URL.
9. ~IF［ `共有n~dataを検証する$( %~data, %基底 ) ~EQ ~F ］ ⇒ ~RET `却下される~promise$( `TypeError$E 例外 ) ◎ If validate share data with data and base returns false, then return a promise rejected with a TypeError.
10. %url ~LET %~data[ "`url$mb" ] ◎ ↓

11. ~IF［ %url ~NEQ ε ］： ◎ If data's url member is present:

    1. %~URL ~LET `~URL構文解析する$( %url, %基底 ) ◎ Let url be the result of running the URL parser on data's url with base.
    2. ~Assert： %~URL ~NEQ `失敗^i 【！`URL$I である】 ◎ Assert: url is URL.
    3. %~data ~SET %~data の複製 ◎ Set data to a copy of data,＼
    4. %~data[ "`url$mb" ] ~SET `~URLを直列化する$( %~URL ) ◎ with its url member set to the result of running the URL serializer on url.
12. %files ~LET %~data[ "`files$mb" ] ◎ ↓
13. ~IF［ 【%files ~NEQ ε】 ］~AND［ 【 %files を成す】ある~fileの型は、 ~securityの考慮点に因り阻止されている ］ ⇒ ~RET `却下される~promise$( `NotAllowedError$E 例外 ) ◎ If a file type is being blocked due to security considerations, return a promise rejected with a "NotAllowedError" DOMException.
14. %~promise ~SET `新たな~promise$ ◎ ↓

15. コレ.`sharePromise$sl ~SET %~promise

    【 この段は、 以下で並列的に遂行される手続きが完了する前に，この~methodが~callされ再び遂行されるのを防止する。 】

    ◎ Set this.[[sharePromise]] to be a new promise.

16. この段は`並列的$に遂行する： ◎ Return this.[[sharePromise]] and in parallel:

    1. ~IF［ 可用な`共有n~target$は無い ］： ◎ If there are no share targets available,＼

       1. `大域~taskを~queueする$( `利用者~対話~task~source$, %大域~obj, 次の手続き ) ◎ queue a global task on the user interaction task source using global to:

          手続きは： ◎

          1. `~promiseを却下する$( %~promise, `AbortError$E 例外 ) ◎ Reject this.[[sharePromise]] with an "AbortError" DOMException.
          2. コレ.`sharePromise$sl ~SET ~NULL ◎ Set this.[[sharePromise]] to null.
       2. ~RET ◎ Terminate this algorithm.

    2. ［ `共有n~target$たち, この演算を中止する能 ］を伴う~UIを利用者に呈示して、 利用者が何か選ぶまで待機する。

       この~UIは、［ ~web~siteが~dataを~native~appへ黙って送信し得ない ］ことを確保するための，~security用の確認として~serveする。 ~UAは、［ ~OS~levelの~UIがこの機能性を供さない場合 ］には［ 共有される内容を利用者が検証yできるようにする中間的な~UI ］を示すベキである。

       ◎ Present the user with a choice of one more share targets and the ability abort the operation. This UI surface serves as a security confirmation, ensuring that websites cannot silently send data to native applications. The user agent SHOULD show intermediary UI through which the user can verify the shared content (if the OS-level UI does not provide this functionality). ◎ Wait for the user's choice.

    3. ~IF［ 利用者は共有n演算を中止することを選んだ ］： ◎ If the user chose to abort the share operation,＼

       1. `大域~taskを~queueする$( `利用者~対話~task~source$, %大域~obj, 次の手続き ) ◎ queue a global task on the user interaction task source using global to:

          手続きは： ◎

          1. `~promiseを却下する$( %~promise, `AbortError$E 例外 ) ◎ Reject this.[[sharePromise]] with an "AbortError" DOMException,
          2. コレ.`sharePromise$sl ~SET ~NULL ◎ Set this.[[sharePromise]] to null.
       2. ~RET ◎ Terminate this algorithm.
    4. %~target ~LET 選ばれた`共有n~target$ ◎ ↓

    5. %~target を作動化して， %~data を %~target が`摂取するに相応しい形式に変換する$ — その結果を %~target へ伝送する ◎ Activate the chosen share target, convert data to a format suitable for ingestion into the target, and transmit the converted data to the target.

       ［ %~target を開始するとき／当の~dataを伝送するとき ］に~errorが生じたときは ］： ◎ If an error occurs starting the target or transmitting the data,＼

       1. `大域~taskを~queueする$( `利用者~対話~task~source$, %大域~obj, 次の手続き ) ◎ queue a global task on the user interaction task source using global to:

          手続きは： ◎

          1. `~promiseを却下する$( %~promise, `DataError$E 例外 ) ◎ Reject this.[[sharePromise]] with an "DataError" DOMException.
          2. コレ.`sharePromise$sl ~SET ~NULL ◎ Set this.[[sharePromise]] to null.
       2. ~RET ◎ Terminate this algorithm.

    6. 当の~dataが %~target — あるいは、 %~target への伝送を確認できない場合は~OS — へ成功裡に伝送されたときは ］ ⇒ `大域~taskを~queueする$( `利用者~対話~task~source$, %大域~obj, 次の手続き ) ◎ Once the data has either been successfully transmitted to the share target, or successfully transmitted to the OS (if the transmission to the share target cannot be confirmed), queue a global task on the user interaction task source using global to:

       注記： %~target に~payloadを与えた時点で、 当の共有nは，成功裡と見なされる。 それ【どれ？（~UA？作者？）】は、［ %~target が~dataを受容-可能でないと見なした場合は，上品に回復できる／ ~errorが生じた場合は，末端-利用者に~error~messageを示せる ］ — それは、 送信者が~errorを取扱うことには依拠し得ない。 言い換えれば、 `share()$m ~methodは “発火したなら忘れる” — すなわち、 ~targetが~payloadを［ 認可する／却下する ］まで待機することはない。 ◎ Note Once a share target has been given the payload, the share is considered successful. If the target considers the data unacceptable or an error occurs, it can either recover gracefully, or show an error message to the end-user; it cannot rely on the sender to handle errors. In other words, the share() method is "fire and forget"; it does not wait for the target to approve or reject the payload.

       手続きは： ◎

       1. `~promiseを解決する$( %~promise ) ◎ Resolve this.[[sharePromise]] with undefined.
       2. コレ.`sharePromise$sl ~SET ~NULL ◎ Set this.[[sharePromise]] to null.
17. ~RET %~promise ◎ ↑↑

`canShare(data)@m ~method手続きは： ◎ When the canShare() method is called with argument ShareData data, run the following steps:

1. %文書 ~LET コレに`関連な大域~obj$に`結付けられた文書$ ◎ Let document be the this's relevant global object's associated Document.
2. ~IF［ %文書 は`全部的に作動中$でない ］ ⇒ ~RET ~F ◎ If document is not fully active, return false.
3. ~IF［ %文書 には `web-share$l の`利用は許容されて$いない ］ ⇒ ~RET ~F ◎ If document is not allowed to use "web-share", return false.
4. ~RET `共有n~dataを検証する$( %~data, コレに`関連な設定群~obj$の`~API用~基底~URL$enV ) ◎ Return the result of validate share data with data and this's relevant settings object's API base URL.

`共有n~dataを検証する@ ときは、 所与の ( %~data, %基底 ) に対し， 次の手続きを走らす： ◎ To validate share data with data and base, run the following steps:

1. %title ~LET %~data[ "`title$mb" ] ◎ ↓
2. %text ~LET %~data[ "`text$mb" ] ◎ ↓
3. %url ~LET %~data[ "`url$mb" ] ◎ ↓
4. %files ~LET %~data[ "`files$mb" ] ◎ ↓

5. ~IF［ %title ~EQ ε ］~AND［ %text ~EQ ε ］~AND［ %url ~EQ ε ］ ⇒ ~IF［ %files ~EQ ε ］~OR［ %files は空である ］ ⇒ ~RET ~F

   注記： この段は、 %~data として `{ files: [] }^c が渡された場合に， 空な辞書と同じに扱うようにする。 `{text: "text", files: []}^c の様な辞書が渡された場合、 `files$mb は，無視されるだけになる。

   ◎ If none of data's members title, text, or url or files are present, return false. ◎ Let titleTextOrUrl be true if any of title, or text, or url is present. ◎ If data's files member is present: • If titleTextOrUrl is false and data's files member is empty, return false. ◎ • Note • This causes a { files: [] } dictionary to be treated as an empty dictionary. However, passing a dictionary like {text: "text", files: []} is fine, as files is just ignored.

6. ~IF［ %files ~NEQ ε ］： ◎ ↑

   1. ~IF［ 実装は、 ~file共有を~supportしない ］ ⇒ ~RET ~F ◎ If the implementation does not support file sharing, return false.
   2. ~IF［ ~UAは、 %files を成す ある~fileを共有すると敵対的な共有nになり得ると予見する （すなわち、 ~fileの特性 — 内容, ~sizeなど — が何らかの仕方で悪意的であるものと決定した） ］ ⇒ ~RET ~F ◎ If the user agent believes sharing any of the files in files would result in a potentially hostile share (i.e., the user agent determines a file is malicious in some way, because of its contents, size, or other characteristic), return false.

7. ~IF［ %url ~NEQ ε ］： ◎ If data's url member is present:

   1. %~URL ~LET `~URL構文解析する$( %url, %基底 ) ◎ Let url be the result of running the URL parser on data's url member, with base, and no encoding override.
   2. ~IF［ %~URL ~EQ `失敗^i ］ ⇒ ~RET ~F ◎ If url is failure, return false.

   3. ~IF ［ %~URL の`~scheme$urlは ~OR↓ を満たす ］…

      • `局所~scheme$である
      • 次に挙げるいずれかである ⇒＃ `file^sc, `javascript^sc, `ws^sc, `wss^sc
      • `共有-可能な~scheme$でない

      …ならば ⇒ ~RET ~F

      【 1, 2 個目の条件は、 実質的には不要 — そこに挙げられた~schemeは、 `共有-可能な~scheme$でないので。 】

      ◎ If the url's scheme is a local scheme, or file, or javascript, or ws, or wss, return false. ◎ If url's scheme is not a sharable scheme, return false.
8. ~RET ~T ◎ Return true.