Notifications API （日本語訳）

◎要約

この標準は、末端-利用者~向けに通知を — 概して~top-level閲覧~文脈の表示域の外側に — 表示する~APIを定義する。それは、~platformに独立でありつつ，既存の通知~systemと互換になるように設計されている。 ◎ This standard defines an API to display notifications to the end user, typically outside the top-level browsing context’s viewport. It is designed to be compatible with existing notification systems, while remaining platform-independent.

1. 各種用語

この仕様は、 Infra 標準 `INFRA$r に依存する。 ◎ This specification depends on the Infra Standard. [INFRA]

この仕様にて利用される一部の用語は、次に挙げる仕様にて定義される ⇒ `DOM$r `FETCH$r `HR-TIME$r `HTML$r `WEBIDL$r `SERVICE-WORKERS$r `URL$r `VIBRATION$r ◎ Some terms used in this specification are defined in the DOM, Fetch, High Resolution Time, HTML, IDL, Service Workers, URL, and Vibration API Standards. [DOM] [FETCH] [HR-TIME] [HTML] [WEBIDL] [SERVICE-WORKERS] [URL] [VIBRATION]

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

◎表記記号

2. 通知

`通知@ （ `notification^en ）は、起こった何か — ~messageの送達など — の抽象的な表現である。 ◎ A notification is an abstract representation of something that happened, such as the delivery of a message.

各 `通知$には、以下に挙げるものが結付けられる： ◎ ↓

`~sw登録@nT ◎ A notification has an associated service worker registration＼: ~NULL ／ある`~sw登録$ ◎ (null or a service worker registration).＼; 初期~時は ~NULL とする。 ◎ It is initially null.
`~title@nT ◎ A notification has an associated title＼: ある文字列 ◎ (a string).
`方向@nT ◎ A notification has an associated direction＼: `auto^l ／ `ltr^l ／ `rtl^l ◎ ("auto", "ltr", or "rtl").; 【ある `NotificationDirection$I 値。】
`言語@nT ◎ A notification has an associated language＼: ある文字列 ◎ (a string).; 【 `§ 言語＠#language$を見よ。】
`本体@nT ◎ A notification has an associated body＼: ある文字列 ◎ (a string).
`~tag@nT ◎ A notification has an associated tag＼: ある文字列 ◎ (a string).; 【 `同じ概念的~eventを識別する＠#tags-example$。】
`~data@nT ◎ A notification has an associated data＼: ある`~Record$ ◎ (a Record).; 【 ~appが自前の目的に利用できる任意な~data。】
`時刻印@nT ◎ A notification has an associated timestamp＼: ある `EpochTimeStamp$I 値 ◎ (an EpochTimeStamp).; 注記：時刻印は、通知【の作成~時刻に代えて，その内容が表す現実の~event】の実際の時刻を指示するためにも利用できる。例えば、［機器が~offlineにあるために即時に送達できなかった~message用に通知が利用された時点を指す過去］にすることも, ［開始しつつある会合~用の未来］にすることもできる。 ◎ Timestamps can be used to indicate the time at which a notification is actual. For example, this could be in the past when a notification is used for a message that couldn’t immediately be delivered because the device was offline, or in the future for a meeting that is about to start.
`生成元@nT ◎ A notification has an associated origin＼: ある`生成元$ ◎ (an origin).
`再通知-が選好されるか@nT ◎ A notification has an associated renotify preference＼: ある真偽値 ◎ (a boolean).＼; 初期~時は ~F とする。 ◎ It is initially false.＼; ~T の場合、次を指示する ⇒ `通知を示す$ときに与えられた新たな通知が，既存の通知と同じ`~tag$nTを有するならば、その手続きを走らせた後に，末端-利用者に~alertされるべきである ◎ When true, indicates that the end user should be alerted after the notification show steps have run with a new notification that has the same tag as an existing notification.
`静音が選好されるか@nT ◎ A notification has an associated silent preference＼: ~NULL ／ある真偽値 ◎ (null or a boolean).＼; 初期~時は ~F とする。 ◎ It is initially null.＼; ~T の場合、次を指示する ⇒ 音響や振動は生じるべきでない。 ◎ When true, indicates that no sounds or vibrations should be made.＼; ~NULL の場合、次を指示する ⇒ 音響や振動を生産するかどうかは~platform規約に委ねられるべきである。 ◎ When null, indicates that producing sounds or vibrations should be left to platform conventions.; 【 `音響の~supportは除去された＠https://github.com/whatwg/notifications/commit/459bf358cae197a5b88c6a227e018756ef4c21cd$。】
`ヤリトリを要求する選好はあるか@nT ◎ A notification has an associated require interaction preference＼: ある真偽値 ◎ (a boolean).＼; 初期~時は ~F とする。 ◎ It is initially false.＼; ~T の場合、次を指示する ⇒ 大きさに不足ない~screenを備える機器~上では、当の通知は，末端-利用者がそれを［作動化する／退ける］まで，いつでも可用であり続けるべきである。 ◎ When true, indicates that on devices with a sufficiently large screen, the notification should remain readily available until the end user activates or dismisses the notification.
`画像~URL@nT ◎ A notification can have these associated graphics: an image URL,＼
`~icon~URL@nT ◎ icon URL,＼
`~badge~URL@nT ◎ and badge URL;＼: いずれも ⇒ ε ／`~URL$ — 初期~時は ε とする。 ◎ ↑; これらは、順に，［ `画像~資源$nT, `~icon資源$nT, `~badge資源$nT ］が~fetchされる~URLを与える。 ◎ and their corresponding＼
`画像~資源@nT ◎ image resource,＼
`~icon資源@nT ◎ icon resource,＼
`~badge資源@nT ◎ and badge resource.: いずれも ⇒ ε ／ある画像 — 初期~時は ε とする。 ◎ ↑; `画像~資源$nTは、 `通知$を成す内容の一部として示され，［ `~icon資源$nT, `~badge資源$nT ］より高い視覚的な優先度で表示されるべき絵図を与える†。より少ない状況下で表示されてもヨイが††。 ◎ An image resource is a picture shown as part of the content of the notification, and should be displayed with higher visual priority than the icon resource and badge resource, though it may be displayed in fewer circumstances.; 【† 言い換えれば、［ `画像~資源$nTとは、挙げられた 3 種の資源のうち［通知~platformにおいて，一般に最も高い優先度で表示される画像である］ものと定義される］と解釈することもできる。】【†† どれを優先するかは、状況に応じて，通知~platformが制御するかもしれない。】; `~icon資源$nTは、 `通知$を増補する画像（~iconや送信者の写真など）を与える。 ◎ An icon resource is an image that reinforces the notification (such as an icon, or a photo of the sender).; `~badge資源$nTは、当の~web~app — あるいは，~web~appが何種類かの`通知$を送信する場合には、 `通知$の種類 — を表現している~iconを与える。 `通知$自体を表示する十分な空間がない場合にも、 `通知$を表現するために利用されて`ヨイ^em。 `通知$の内側に表示されても`ヨイ^emが、その視覚的な優先度は［ `画像~資源$nT, `~icon資源$nT ］より低くされるべきである。 ◎ A badge resource is an icon representing the web application, or the category of the notification if the web application sends a wide variety of notifications. It may be used to represent the notification when there is not enough space to display the notification itself. It may also be displayed inside the notification, but then it should have less visual priority than the image resource and icon resource.
`振動~pattern@nT ◎ A notification has an associated vibration pattern＼: ある`~list$ ◎ (a list).＼; 初期~時は « » とする。 ◎ It is initially « ».; 【通知-時に生じる振動を表す~dataを与える。】; 注記：開発者には、［ `画像~資源$nT, `~icon資源$nT, `~badge資源$nT, `振動~pattern$nT ］を通して伝達される情報を［末端-利用者が他からも~access可能にする］ことが奨励される — とりわけ，これらの特能を~supportしない通知~platformは、これらを無視するかもしれないので。 ◎ Developers are encouraged to not convey information through an image, icon, badge, or vibration pattern that is not otherwise accessible to the end user, especially since notification platforms that do not support these features might ignore them.
`動作~群@nT ◎ A notification has associated actions＼: `通知~動作$たちが成す`~list$ ◎ (a list of zero or more notification actions).＼ (a list of zero or more actions).＼; 【翻訳の都合により，この~listを成す各`通知~動作$は、単に “動作” とも称される。】

各 `通知~動作@ は、末端-利用者~向けの選択肢を表現し，次に挙げるものが結付けられる： ◎ A notification action represents a choice for an end user. Each notification action has an associated:

`名前@nA ⇒ 文字列 ◎ name • A string.
`~title@nA ⇒ 文字列 ◎ title • A string.
`~icon~URL@nA ⇒ ~NULL ／ある`~URL$ — 初期~時は ~NULL とする。【`~icon資源$nAが~fetchされる~URL】 ◎ icon URL • Null or a URL. It is initially null.
`~icon資源@nA ⇒ ~NULL ／ある資源 — 初期~時は ~NULL とする。 ◎ icon resource • Null or a resource. It is initially null.

末端-利用者は、［通知~自体を作動化する代替として，その`動作~群$nTを成すある動作を作動化する］こともある。 `最大~動作~数@ は、 `実装定義$な 0 以上の整数であり， `動作~群$nTを成し得る動作の個数として［通知~platformの拘束の中で~supportされる最大］を表現する。 ◎ Users may activate actions, as alternatives to activating the notification itself. The maximum number of actions supported is an implementation-defined integer of zero or more, within the constraints of the notification platform.

注記：動作の表示-は~platformに依存するので、開発者には，［末端-利用者が通知から呼出せるどの動作も，~web~appの中で【通知~以外の何かにより】可用にする］ことが奨励される。 ◎ Since display of actions is platform-dependent, developers are encouraged to make sure that any action an end user can invoke from a notification is also available within the web application.

注記：一部の~platformは、 `~icon資源$nAを［末端-利用者に表示する前に，~platformの視覚的な~styleにより良く合致するよう改変する］かもしれない — 例えば［隅を丸める／特定の色で塗る］などにより。開発者には、そのような事例に対しても，利用する~iconの重要な情報が［隅が切取られる／色が~~不明瞭になる］などにより失われないよう，上品に取扱うことが奨励される。 ◎ Some platforms might modify an icon resource to better match the platform’s visual style before displaying it to the end user, for example by rounding the corners or painting it in a specific color. Developers are encouraged to use an icon that handles such cases gracefully and does not lose important information through, e.g., loss of color or clipped corners.

所与の`通知$ %通知が： ◎ ↓

`持続的@ （ `persistent^en ）であるとは、次が満たされることをいう ⇒ %通知の`~sw登録$nT ~NEQ ~NULL ◎ A non-persistent notification is a notification whose service worker registration is null.
◎追跡路 `持続的でない@ （ `non-persistent^en ）とは、次が満たされることをいう ⇒ ~NOT %通知は`持続的$である ◎ (This is a tracking vector.) A persistent notification is a notification whose service worker registration is non-null.

【これは，純粋に否定なので、この訳では，単に “`持続的$でない” と記す（~mark-upする）ことにする。】

`設定群~objで通知を作成する@ ときは、所与の ( 文字列 %~title, `NotificationOptions$I `辞書$ %~option群, `環境~設定群~obj$ %設定群 ) に対し： ◎ To create a notification with a settings object, given a string title, NotificationOptions dictionary options, and environment settings object settings:

%生成元 ~LET %設定群の`生成元$enV ◎ Let origin be settings’s origin.
%基底~URL ~LET %設定群の`~API用~基底~URL$enV ◎ Let baseURL be settings’s API base URL.
%~fallback時刻印 ~LET 次の結果を最も近い整数に丸めた結果 ⇒ `所要時間を時刻印に暗黙的に変換する$( 次の結果 ) ⇒ `所要時間を得る$( `~Unix~epoch$, `現在の壁~時計~時刻$enV( %設定群 ) ) ◎ Let fallbackTimestamp be the number of milliseconds from the Unix epoch to settings’s current wall time, rounded to the nearest integer.
~RET `通知を作成する$( ↓ ) ⇒＃ %~title, %~option群, %生成元, %基底~URL, %~fallback時刻印 ◎ Return the result of creating a notification given title, options, origin, baseURL, and fallbackTimestamp.

`通知を作成する@ ときは、所与の ⇒＃文字列 %~title, `NotificationOptions$I `辞書$ %~option群, `生成元$ %生成元, `~URL$ %基底~URL, `EpochTimeStamp$I %~fallback時刻印 ◎終に対し： ◎ To create a notification, given a string title, NotificationOptions dictionary options, an origin origin, a URL baseURL, and an EpochTimeStamp fallbackTimestamp:

%通知 ~LET 新たな`通知$ ◎ Let notification be a new notification.
~IF［ ~OR↓ ］…
- ［ %~option群[ "`silent$mO" ] ~EQ ~T ］~AND［ %~option群[ "`vibrate$mO" ] ~NEQ ε ］
- ［ %~option群[ "`renotify$mO" ] ~EQ ~T ］~AND［ %~option群[ "`tag$mO" ] ~EQ 空~文字列］
…ならば ⇒ ~THROW `TypeError$E
◎ If options["silent"] is true and options["vibrate"] exists, then throw a TypeError. ◎ If options["renotify"] is true and options["tag"] is the empty string, then throw a TypeError.
%通知の `~data$nT ~SET `StructuredSerializeForStorage$A( %~option群[ "`data$mO" ] ) ◎ Set notification’s data to StructuredSerializeForStorage(options["data"]).
%通知の ⇒＃ `~title$nT ~SET %~title, `方向$nT ~SET %~option群[ "`dir$mO" ], `言語$nT ~SET %~option群[ "`lang$mO" ], `生成元$nT ~SET %生成元, `本体$nT ~SET %~option群[ "`body$mO" ], `~tag$nT ~SET %~option群[ "`tag$mO" ] ◎ Set notification’s title to title. ◎ Set notification’s direction to options["dir"]. ◎ Set notification’s language to options["lang"]. ◎ Set notification’s origin to origin. ◎ Set notification’s body to options["body"]. ◎ Set notification’s tag to options["tag"].
%通知の ⇒＃ `画像~URL$nT ~SET `~URLを得る^i( %~option群[ "`image$mO" ] ), `~icon~URL$nT ~SET `~URLを得る^i( %~option群[ "`icon$mO" ] ), `~badge~URL$nT ~SET `~URLを得る^i( %~option群[ "`badge$mO" ] )
この段の中で `~URLを得る^i ときは、所与の ( %値 ) に対し，次の手続きを走らすとする：
1. ~IF［ %値 ~EQ ε ］ ⇒ ~RET ε
2. %~URL ~LET `~URL構文解析する$( %値, %基底~URL )
3. ~RET［ %~URL ~EQ `失敗^i ならば ε ／ ~ELSE_ %~URL ］
◎ If options["image"] exists, then parse it using baseURL, and if that does not return failure, set notification’s image URL to the return value. (Otherwise notification’s image URL is not set.) ◎ If options["icon"] exists, then parse it using baseURL, and if that does not return failure, set notification’s icon URL to the return value. (Otherwise notification’s icon URL is not set.) ◎ If options["badge"] exists, then parse it using baseURL, and if that does not return failure, set notification’s badge URL to the return value. (Otherwise notification’s badge URL is not set.)
%vibrate ~LET %~option群[ "`vibrate$mO" ] ◎ ↓
~IF［ %vibrate ~NEQ ε ］ ⇒ %通知の`振動~pattern$nT ~SET `検証して正規化する$( %vibrate ) ◎ If options["vibrate"] exists, then validate and normalize it and set notification’s vibration pattern to the return value.
%timestamp ~LET %~option群[ "`timestamp$mO" ] ◎ ↓
%通知の`時刻印$nT ~SET %timestamp に応じて ⇒＃ ε ならば %~fallback時刻印／ ~ELSE_ %timestamp ◎ If options["timestamp"] exists, then set notification’s timestamp to the value. Otherwise, set notification’s timestamp to fallbackTimestamp.
%通知の ⇒＃ `再通知-が選好されるか$nT ~SET %~option群[ "`renotify$mO" ], `静音が選好されるか$nT ~SET %~option群[ "`silent$mO" ], `ヤリトリを要求する選好はあるか$nT ~SET %~option群[ "`requireInteraction$mO" ] ◎ Set notification’s renotify preference to options["renotify"]. ◎ Set notification’s silent preference to options["silent"]. ◎ Set notification’s require interaction preference to options["requireInteraction"].
%通知の`動作~群$nT ~SET « » ◎ Set notification’s actions to « ».
%~option群[ "`actions$mO" ] を成す ~EACH( %~entry ) に対し： ◎ For each entry in options["actions"],＼
1. ~IF［ %通知の`動作~群$nTの~size ~GTE `最大~動作~数$ ］ ⇒ ~BREAK ◎ up to the maximum number of actions supported (skip any excess entries):
2. %動作 ~LET 新たな`通知~動作$ — その ⇒＃ `名前$nA ~SET %~entry[ "`action$mA" ], `~title$nA ~SET %~entry[ "`title$mA" ] ◎ Let action be a new notification action. ◎ Set action’s name to entry["action"]. ◎ Set action’s title to entry["title"].
3. %icon ~LET %~entry[ "`icon$mA" ] ◎ ↓
4. ~IF［ %icon ~NEQ ε ］：
  1. %~URL ~LET `~URL構文解析する$( %icon, %基底~URL )
  2. ~IF［ %~URL ~NEQ `失敗^i ］ ⇒ %動作の`~icon~URL$nA ~SET %~URL
  ◎ If entry["icon"] exists, then parse it using baseURL, and if that does not return failure, set action’s icon URL to the return value. (Otherwise action’s icon URL remains null.)
5. %通知の`動作~群$nTに %動作を付加する ◎ Append action to notification’s actions.
~RET %通知 ◎ Return notification.

2.1. 存続期間と~UI統合

~UAは、 `通知~list@ を保つモノトスル — それは、 `通知$たちが成す`~list$である。 ~UAには、次の要件が課される： ◎ The user agent must keep a list of notifications, which is a list of zero or more notifications.

`持続的$でない通知に対しては，作成した数秒~後には`通知を閉じる$べきである。 ◎ User agents should run the close steps for a non-persistent notification a couple of seconds after they have been created.
~platformの “通知~center” が可用であっても，`持続的$でない通知をそこに表示するべきでない。 ◎ User agents should not display non-persistent notification in a platform’s "notification center" (if available).
`持続的$な通知を，`通知~list$から除去されるまでは持続化するべきである。 ◎ User agents should persist persistent notifications until they are removed from the list of notifications.

`持続的$な通知は、それを表現するいずれかの `Notification$I ~obj上で `close()$m ~methodを呼出すこともできる。 ◎ A persistent notification could have the close() method invoked of one of its Notification objects.
~platformの “通知~center” が可用ならば，`持続的$な通知をそこに表示するべきである。 ◎ User agents should display persistent notifications in a platform’s "notification center" (if available).

2.2. 許可~APIとの統合

`通知~API^citeは、 `名前$pM `notifications@l により識別される`強力な特能$である ◎ The Notifications API is a powerful feature which is identified by the name "notifications". [Permissions]

`通知~許可~状態を取得する@ ときは、次の手続きを走らす： ◎ To get the notifications permission state, run these steps:

%許可~状態 ~LET `現在の許可~状態を取得する$( `notifications$l ) ◎ Let permissionState be the result of getting the current permission state with "notifications".
~RET %許可~状態に応じて ⇒＃ `prompt^l ならば `default^l／ ~ELSE_ %許可~状態 ◎ If permissionState is "prompt", then return "default". ◎ Return permissionState.

2.3. 方向

この節における用語 “期待される” は、 ~HTML `§ 具現化＠~HTMLrendering#rendering$ に利用されるそれと等価とする。 `HTML$r ◎ This section is written in terms equivalent to those used in the Rendering section of HTML. [HTML]

~UAには、 `通知$の`~text内容$における~Unicode意味論を尊守することが期待される — ここでの `~text内容@ とは、［ `~title$nTと`本体$nT, および `動作~群$nTを成す各~動作の`~title$nA ］を成す~textの総称である。各`~text内容$は、表示されるときには［ 1 個~以上の双方向-~algo段落が成す，互いに独立な集合］として，双方向-~algoの規則［ `P1^i, `P2^i, `P3^i ］に定義されるとおりに扱うことが期待される — 一例として、文字 U+000A (LF) による段落分断の挙動を~supportすることも含め。 `通知$の`方向$nTに対する `auto^l 以外の値は、 `通知$の各`~text内容$を成す各~段落に対し，規則［ `P2^i, `P3^i ］より高~levelな上書きを供する。 `BIDI$r ◎ User agents are expected to honor the Unicode semantics of the text of a notification’s title, body, and the title of each of its actions. Each is expected to be treated as an independent set of one or more bidirectional algorithm paragraphs when displayed, as defined by the bidirectional algorithm’s rules P1, P2, and P3, including, for instance, supporting the paragraph-breaking behavior of U+000A LINE FEED (LF) characters. For each paragraph of the title, body and the title of each of the actions, the notification’s direction provides the higher-level override of rules P2 and P3 if it has a value other than "auto". [BIDI]

`通知$の`方向$nTは、［通知~platformが，`通知$を成す一連の動作を末端-利用者~向けに並べて表示する場合］に，それらが従うべき順序も決定する。 ◎ The notification’s direction also determines the relative order in which the notification’s actions should be displayed to the end user, if the notification platform displays them side by side.

2.4. 言語

`通知$の`言語$nTは、［ `通知$の`~text内容$用の首な言語］を文字列で指定する。空~文字列は、首な言語は未知であることを指示する。他の文字列は、言語~tag `BCP47$r として解釈するモノトスル。［妥当性／整形式性］は、施行されない。 ◎ The notification’s language specifies the primary language for the notification’s title, body and the title of each of its actions. Its value is a string. The empty string indicates that the primary language is unknown. Any other string must be interpreted as a language tag. Validity or well-formedness are not enforced. [BCP47]

注記：開発者には、妥当な言語~tagのみを利用することが奨励される。 ◎ Developers are encouraged to only use valid language tags.

2.5. 資源

`通知を~fetchする@ ときは、所与の ( `通知$ %通知 ) に対し： ◎ The fetch steps for a given notification notification are:

%資源を~fetchして復号する ~LET 所与の ( %~URL, %手続き ) に対し， %~URL を`~fetch$した上で，次を`並列的$に走らす手続き：
1. %結果 ~LET ε
2. %応答 ~SET ~fetchされた結果の`応答$
3. %応答を待機する
4. ~IF［ %応答の`内部~応答$の`種別$rs ~EQ `default^l ］ ⇒ 資源を画像として復号するよう試みる ⇒ ~IF ［ ~UAは復号された資源の形式を~supportする］ ⇒ %結果 ~SET 復号された資源
5. %手続き( %結果 )
注記：画像~資源の場合、この資源を~fetchする意図は `img^e 要素に`類似する＠~HEimages#update-the-image-data$が， `抽象-化する必要がある＠~HTMLissue/4474$ 【！https://www.w3.org/Bugs/Public/show_bug.cgi?id=24055】 ◎ The intent is to fetch this resource similar to an <img>, but this needs abstracting.

【この段は、以下を集約するため，この訳にて導入している。】
◎ ↓
( %画像~URL, %~icon~URL, %~badge~URL ) ~LET %通知の ( `画像~URL$nT, `~icon~URL$nT, `~badge~URL$nT ) ◎ ↓
~IF［通知~platformは画像を~supportする］~AND［ %画像~URL ~NEQ ε ］ ⇒ %資源を~fetchして復号する( %画像~URL, 次の手続き )

手続きは、所与の ( %結果 ) に対し ⇒ %通知の`画像~資源$nT ~SET %結果
◎ If the notification platform supports images, fetch notification’s image URL, if image URL is set. ◎ The intent is to fetch this resource similar to an <img>, but this needs abstracting. ◎ Then, in parallel: • Wait for the response. • If the response’s internal response’s type is "default", then attempt to decode the resource as image. • If the image format is supported, set notification’s image resource to the decoded resource. (Otherwise notification has no image resource.)
~IF［通知~platformは~iconを~supportする］~AND［ %~icon~URL ~NEQ ε ］ ⇒ %資源を~fetchして復号する( %~icon~URL, 次の手続き )

手続きは、所与の ( %結果 ) に対し ⇒ %通知の`~icon資源$nT ~SET %結果
◎ If the notification platform supports icons, fetch notification’s icon URL, if icon URL is set. ◎ The intent is to fetch this resource similar to an <img>, but this needs abstracting. ◎ Then, in parallel: • Wait for the response. • If the response’s internal response’s type is "default", then attempt to decode the resource as image. ◎ If the image format is supported, set notification’s icon resource to the decoded resource. (Otherwise notification has no icon resource.)
~IF［通知~platformは~badgeを~supportする］~AND［ %~badge~URL ~NEQ ε ］ ⇒ %資源を~fetchして復号する( %~badge~URL, 次の手続き )

手続きは、所与の ( %結果 ) に対し ⇒ %通知の`~badge資源$nT ~SET %結果
◎ If the notification platform supports badges, fetch notification’s badge URL, if badge URL is set. ◎ The intent is to fetch this resource similar to an <img>, but this needs abstracting. ◎ Then, in parallel: • Wait for the response. • If the response’s internal response’s type is "default", then attempt to decode the resource as image. • If the image format is supported, set notification’s badge resource to the decoded resource. (Otherwise notification has no badge resource.)
~IF［通知~platformは動作と動作~iconを~supportする］ ⇒ %通知の`動作~群$nTを成す ~EACH( %動作 ) に対し ⇒ ~IF［ %動作の`~icon~URL$nA ~NEQ ~NULL ］ ⇒ %資源を~fetchして復号する( %動作の`~icon~URL$nA, 次の手続き )

手続きは、所与の ( %結果 ) に対し ⇒ %動作の`~icon資源$nA ~SET %結果に応じて ⇒ ε ならば ~NULL ／ ~ELSE_ %結果
◎ If the notification platform supports actions and action icons, then for each action in notification’s actions: if icon URL is non-null, fetch action’s icon URL. ◎ The intent is to fetch this resource similar to an <img>, but this needs abstracting. ◎ Then, in parallel: • Wait for the response. • If the response’s internal response’s type is "default", then attempt to decode the resource as image. • If the image format is supported, then set action’s icon resource to the decoded resource. (Otherwise action’s icon resource remains null.)

2.6. 通知を示す手続き

`通知を示す@ ときは、所与の ( `通知$ %通知 ) に対し： ◎ The notification show steps for a given notification notification are:

`通知を~fetchする$( %通知 ) — この~fetchにおいて %資源を~fetchして復号する手続きが呼出されたならば、それらすべてが完了するまで待機する ◎ Run the fetch steps for notification. ◎ Wait for any fetches to complete and notification’s image resource, icon resource, and badge resource to be set (if any), as well as the icon resources for the notification’s actions (if any).
%示したか ~LET ~F ◎ Let shown be false.
%旧~通知 ~LET `通知~list$内に次を満たす`通知$が［在るならばそれ／無いならば ~NULL ］ ⇒ ［その`~tag$nT ~EQ %通知の`~tag$nT ~NEQ 空~文字列］~AND［ ( その`生成元$nT, %通知の`生成元$nT ) は`同一-生成元$である］ ◎ Let oldNotification be the notification in the list of notifications whose tag is not the empty string and is notification’s tag, and whose origin is same origin with notification’s origin, if any, and null otherwise.
~IF［ %旧~通知 ~NEQ ~NULL ］： ◎ If oldNotification is non-null, then:
1. `~close~eventを取扱う$( %旧~通知 ) ◎ Handle close events with oldNotification.
2. ~IF［通知~platformは置換を~supportする］： ◎ If the notification platform supports replacement, then:
  1. `通知~list$内の %旧~通知を %通知に`置換する$ ◎ Replace oldNotification with notification, in the list of notifications.
  2. %示したか ~SET ~T ◎ Set shown to true.
  注記：通知~platformには、 ~nativeな置換【表示-中な通知を置換する？】を~supportすることが強く奨励される — その方が利用者~体験は良くなるので。 ◎ Notification platforms are strongly encouraged to support native replacement as it leads to a better user experience.
3. ~ELSE ⇒ `通知~list$から %旧~通知を`除去する$ ◎ Otherwise, remove oldNotification from the list of notifications.
~IF［ %示したか ~EQ ~F ］： ◎ If shown is false, then:
1. `通知~list$に %通知を`付加する$ ◎ Append notification to the list of notifications.
2. 機器~上に %通知を表示する（通知~platformの適切な~APIを~callするなどにより） ◎ Display notification on the device (e.g., by calling the appropriate notification platform API).
~IF［［ %示したか ~EQ ~F ］~OR［ %旧~通知 ~NEQ ~NULL ］］~AND［ %通知の`再通知-が選好されるか$nT ~EQ ~T ］ ⇒ `通知を~alertする$( %通知 ) ◎ If shown is false or oldNotification is non-null, and notification’s renotify preference is true, then run the alert steps for notification.
~IF［ %通知は`持続的$でない］ ⇒ `~taskを~queueする$( 【`~task~source$が指定されていない】, 次の手続き )

手続きは ⇒ `~eventを発火する$( %通知を表現している【`唯一の$】 `Notification$I ~obj, `show^et )
◎ If notification is a non-persistent notification, then queue a task to fire an event named show on the Notification object representing notification.

2.7. 通知の作動化-法

下層の通知~platformは作動化を~supportする下で、［ `通知$ %通知／ %通知の`動作~群$nTを成すいずれかの動作］が末端-利用者により作動化されたときは、 ~UAは，（他が指定されない限り）次の手続きを走らすモノトスル： ◎ When a notification notification, or one of its actions, is activated by the end user, assuming the underlying notification platform supports activation, the user agent must (unless otherwise specified) run these steps:

~IF［ %通知は`持続的$である］： ◎ If notification is a persistent notification, then:
1. %動作~名 ~LET 空~文字列 ◎ Let action be the empty string.
2. ~IF［利用者により %通知の`動作~群$nTを成すいずれかの動作が作動化された］ ⇒ %動作~名 ~SET 当の動作の`名前$nA ◎ If one of notification’s actions was activated by the user, then set action to that notification action’s name.
3. `~sw通知~eventを発火する$( `notificationclick^et, %通知, %動作~名 ) ◎ Fire a service worker notification event named "notificationclick" given notification and action.
4. ~RET ◎ ↓
`~taskを~queueする$( 【`~task~source$が指定されていない】, 次の手続き ) ◎ Otherwise, queue a task＼
手続きは： ◎ to run these steps:
1. %~focusするか ~LET 次を走らせた結果 ⇒ `~eventを発火する$( %通知を表現している【`唯一の$】 `Notification$I ~obj, `click^et ) — 次のように初期化して ⇒＃ `cancelable$m 属性 ~SET ~T ◎ Let intoFocus be the result of firing an event named click on the Notification object representing notification, with its cancelable attribute initialized to true.
  
  注記： ~UAには、［ `click^et ~event用の~event~listenerの中からも， `focus()$m が働くようにする］ことが奨励される。 ◎ User agents are encouraged to make focus() work from within the event listener for the event named click.
2. ~IF［ %~focusするか ~EQ ~T ］ ⇒ ~UAは %通知に関係する`閲覧~文脈$の表示域に~focusするべきである ◎ If intoFocus is true, then the user agent should bring the notification’s related browsing context’s viewport into focus.

注記： ~web~platform全体にわたり、 "`activate^en" （ “作動化-” ）は，意図的に "`click^en" と誤って命名されている。 ◎ Throughout the web platform "activate" is intentionally misnamed as "click".

2.8. 通知の~close法

［下層の通知~platform／末端-利用者］により`通知$が~closeされたときは、 `通知を閉じる$手続きを走らすモノトスル。 ◎ When a notification is closed, either by the underlying notification platform or by the end user, the close steps for it must be run.

`通知を閉じる@ ときは、所与の ( `通知$ %通知 ) に対し： ◎ The close steps for a given notification notification are:

~IF［ %通知 ~NIN `通知~list$ ］ ⇒ ~RET ◎ If the list of notifications does not contain notification, then abort these steps.
`~close~eventを取扱う$( %通知 ) ◎ Handle close events with notification.
`通知~list$から %通知を`除去する$ ◎ Remove notification from the list of notifications.

`~close~eventを取扱う@ ときは、所与の ( %通知 ) に対し： ◎ To handle close events given a notification notification:

~IF［ %通知は`持続的$である］~AND［ %通知は末端-利用者により~closeされた］ ⇒ `~sw通知~eventを発火する$( `notificationclose^et, %通知 ) ◎ If notification is a persistent notification and notification was closed by the end user, then fire a service worker notification event named "notificationclose" given notification.
~IF［ %通知は`持続的$でない］ ⇒ `~taskを~queueする$( 【`~task~source$が指定されていない】, 次の手続き )

手続きは ⇒ `~eventを発火する$( %通知を表現している `Notification$I ~obj, `close^et )
◎ If notification is a non-persistent notification, then queue a task to fire an event named close on the Notification object representing notification.

2.9. 末端-利用者への~alert法

末端-利用者に `通知を~alertする@ ときは、所与の ( `通知$ %通知 ) に対し： ◎ The alert steps for alerting the end user about a given notification notification are:

~IF［ %通知の`振動~pattern$nT は空でない【！if any】］ ⇒ `振動を遂行する$( %通知の`振動~pattern$nT ) ◎ Perform vibration using notification’s vibration pattern, if any.

3. ~API

[`Exposed$=(Window,Worker)]
interface `Notification@I : `EventTarget$I {
  `Notification$mc(`DOMString$ %title, optional `NotificationOptions$I %options = {});

  static readonly attribute `NotificationPermission$I `permission$m;
  [`Exposed$=Window] static `Promise$<`NotificationPermission$I> `requestPermission$m(optional `NotificationPermissionCallback$I %deprecatedCallback);

  static readonly attribute `unsigned long$ `maxActions$m;

  attribute `EventHandler$I `onclick$m;
  attribute `EventHandler$I `onshow$m;
  attribute `EventHandler$I `onerror$m;
  attribute `EventHandler$I `onclose$m;

  readonly attribute `DOMString$ `title$m;
  readonly attribute `NotificationDirection$I `dir$m;
  readonly attribute `DOMString$ `lang$m;
  readonly attribute `DOMString$ `body$m;
  readonly attribute `DOMString$ `tag$m;
  readonly attribute `USVString$ `image$m;
  readonly attribute `USVString$ `icon$m;
  readonly attribute `USVString$ `badge$m;
  [`SameObject$] readonly attribute `FrozenArray$<`unsigned long$> `vibrate$m;
  readonly attribute `EpochTimeStamp$I `timestamp$m;
  readonly attribute `boolean$ `renotify$m;
  readonly attribute `boolean$? `silent$m;
  readonly attribute `boolean$ `requireInteraction$m;
  [`SameObject$] readonly attribute `any$ `data$m;
  [`SameObject$] readonly attribute `FrozenArray$<`NotificationAction$I> `actions$m;

  `undefined$ `close$m();
};

dictionary `NotificationOptions@I {
  `NotificationDirection$I `dir@mO = "auto";
  `DOMString$ `lang@mO = "";
  `DOMString$ `body@mO = "";
  `DOMString$ `tag@mO = "";
  `USVString$ `image@mO;
  `USVString$ `icon@mO;
  `USVString$ `badge@mO;
  `VibratePattern$I `vibrate@mO;
  `EpochTimeStamp$I `timestamp@mO;
  `boolean$ `renotify@mO = false;
  `boolean$? `silent@mO = null;
  `boolean$ `requireInteraction@mO = false;
  `any$ `data@mO = null;
  `sequence$<`NotificationAction$I> `actions@mO = [];
};

enum `NotificationPermission@I {
  `default@l,
  `denied@l,
  `granted@l
};

enum `NotificationDirection@I {
  `auto@l,
  `ltr@l,
  `rtl@l
};

dictionary `NotificationAction@I {
  required `DOMString$ `action@mA;
  required `DOMString$ `title@mA;
  `USVString$ `icon@mA;
};

callback `NotificationPermissionCallback@I = `undefined$ (`NotificationPermission$I %permission);

各 `Notification$I ~objには、それが表現する`通知$が結付けられる： ◎ ↓

`持続的$でない通知を表現する `Notification$I ~objは、 `new Notification()$m 構築子を通して作成でき，通知ごとに 1 個に限られる。 ◎ A non-persistent notification is represented by one Notification object and can be created through Notification's constructor.
`持続的$な通知を表現する `Notification$I ~objは、通知ごとに 0 個~以上いくつでもあり得る。そのような`通知$は、 `showNotification()$m ~methodを通して作成できる。【そのような~objたちは、 `getNotifications()$m を通して／ `~sw通知~eventを発火する$ときに作成される。】 ◎ A persistent notification is represented by zero or more Notification objects and can be created through the showNotification() method.

3.1. ~garbage収集

`Notification$I ~obj %N は、次を満たしている間は~garbage収集されないモノトスル ⇒ ［ %N が表現している`通知$ ~IN `通知~list$ ］~AND［ %N には次に挙げるいずれかの型の`~event~listener$が~~登録されている］ ⇒ `click^et, `show^et, `close^et, `error^et ◎ A Notification object must not be garbage collected while the list of notifications contains its corresponding notification and it has an event listener whose type is click, show, close, or error.

3.2. 構築子

`new Notification(title, options)@m 構築子~手続きは： ◎ The new Notification(title, options) constructor steps are:

~IF［コレに`関連な大域~obj$は `ServiceWorkerGlobalScope$I ~objである］ ⇒ ~THROW `TypeError$E ◎ If this’s relevant global object is a ServiceWorkerGlobalScope object, then throw a TypeError.
~IF［ %~option群[ "`actions$mO" ] は`空$でない］ ⇒ ~THROW `TypeError$E ◎ If options["actions"] is not empty, then throw a TypeError.

注記： `動作~群$nT（ `actions$mO ）は、 `持続的$な通知に限り，~supportされる。 ◎ Actions are only supported for persistent notifications.
%通知 ~LET `設定群~objで通知を作成する$( %title, %options, コレに`関連な設定群~obj$ ) ◎ Let notification be the result of creating a notification with a settings object given title, options, and this’s relevant settings object.
コレの`通知$ ~SET %通知 ◎ Associate this with notification.
この段は`並列的$に走らす： ◎ Run these steps in parallel:
1. ~IF［ `通知~許可~状態を取得する$() ~NEQ `granted$l ］： ◎ If the result of getting the notifications permission state is not "granted", then＼
  1. `~taskを~queueする$( 【`~task~source$が指定されていない】, 次の手続き )
    
    手続きは ⇒ `~eventを発火する$( コレ, `error^et )
    ◎ queue a task to fire an event named error on this,＼
  2. ~RET ◎ and abort these steps.
2. `通知を示す$( %通知 ) ◎ Run the notification show steps for notification.

3.3. 静的~member

`permission@m 静的~取得子~手続きは ⇒ ~RET `通知~許可~状態を取得する$() ◎ The static permission getter steps are to return the result of getting the notifications permission state.

注記：標準を編集する者は、上を複製するのは慎むこと。同期的な許可は、同期的な入出力の様なものであり，不良な案である。 ◎ If you edit standards please refrain from copying the above. Synchronous permissions are like synchronous IO, a bad idea.

開発者には、代わりに`許可~API^citeの `query()$m ~methodを利用することが奨励される。 `Permissions$r ◎ Developers are encouraged to use the Permissions query() method instead. [Permissions]

const %permission = await navigator.permissions.query({name: "notifications"});
if (permission.state === "granted") {
   /* 
`通知~API^citeを利用する許可が得られた…
◎
We have permission to use the API…
 */
}

`requestPermission(deprecatedCallback)@m 静的~method~手続きは： ◎ The static requestPermission(deprecatedCallback) method steps are:

%大域~obj ~LET `現在の大域~obj$ ◎ Let global be the current global object.
%~promise ~LET `新たな~promise$( コレに`関連な~realm$ ) ◎ Let promise be a new promise in this’s relevant Realm.
この段は`並列的$に走らす： ◎ Run these steps in parallel:
1. %許可~状態 ~LET `利用する許可を要請する$( `notifications$l ) ◎ Let permissionState be the result of requesting permission to use "notifications".
2. `大域~taskを~queueする$( `~DOM操作~task~source$, %大域~obj, 次の手続き ) ◎ Queue a global task on the DOM manipulation task source given global＼
  手続きは： ◎ to run these steps:
  1. ~IF［ %deprecatedCallback ~NEQ ε ］ ⇒ `~callback関数を呼出す$( %deprecatedCallback, « %許可~状態 », `報告する^i ) ◎ If deprecatedCallback is given, then invoke deprecatedCallback with « permissionState » and "report".
  2. `~promiseを解決する$( %~promise, %許可~状態 ) ◎ Resolve promise with permissionState.
~RET %~promise ◎ Return promise.

通知は、［前もって末端-利用者に何かを依頼することはイミを成す］ものと知られている一つである。他の~API用の仕様は、この~patternを利用せずに， `より相応しい数多の代替＠http://robert.ocallahan.org/2011/06/permissions-for-web-applications_30.html$いずれかを使役するべきである。 ◎ Notifications are the one instance thus far where asking the end user upfront makes sense. Specifications for other APIs should not use this pattern and instead employ one of the many more suitable alternatives.

`maxActions@m 静的~取得子~手続きは ⇒ ~RET `最大~動作~数$ ◎ The static maxActions getter steps are to return the maximum number of actions supported.

3.4. ~obj~member

次に挙げる`~event~handler$（および対応する`~event~handler~event型$）は、 `Notification$I ~objの属性として~supportするモノトスル： ◎ The following are the event handlers (and their corresponding event handler event types) that must be supported as attributes by the Notification object.

`~event~handler$	`~event~handler~event型$
`onclick@m	`click^et
`onshow@m	`show^et
`onerror@m	`error^et
`onclose@m	`close^et

`close()@m ~method手続きは ⇒ `通知を閉じる$( コレの`通知$ ) ◎ The close() method steps are to run the close steps for this’s notification.

`title@m 取得子~手続きは ⇒ ~RET コレの`通知$の`~title$nT ◎ The title getter steps are to return this’s notification’s title.

`dir@m 取得子~手続きは ⇒ ~RET コレの`通知$の`方向$nT ◎ The dir getter steps are to return this’s notification’s direction.

`lang@m 取得子~手続きは ⇒ ~RET コレの`通知$の`言語$nT ◎ The lang getter steps are to return this’s notification’s language.

`body@m 取得子~手続きは ⇒ ~RET コレの`通知$の`本体$nT ◎ The body getter steps are to return this’s notification’s body.

`tag@m 取得子~手続きは ⇒ ~RET コレの`通知$の`~tag$nT ◎ The tag getter steps are to return this’s notification’s tag.

`image@m 取得子~手続きは ⇒ ~RET コレの`通知$の`画像~URL$nT %~URL に応じて ⇒＃ ε ならば空~文字列／ ~ELSE_ `~URLを直列化する$( %~URL ) ◎ The image getter steps are: • If there is no this’s notification’s image URL, then return the empty string. • Return this’s notification’s image URL, serialized.

`icon@m 取得子~手続きは ⇒ ~RET コレの`通知$の`~icon~URL$nT %~URL に応じて ⇒＃ ε ならば空~文字列／ ~ELSE_ `~URLを直列化する$( %~URL ) ◎ The icon getter steps are: • If there is no this’s notification’s icon URL, then return the empty string. • Return this’s notification’s icon URL, serialized.

`badge@m 取得子~手続きは ⇒ ~RET コレの`通知$の`~badge~URL$nT %~URL に応じて ⇒＃ ε ならば空~文字列／ ~ELSE_ `~URLを直列化する$( %~URL ) ◎ The badge getter steps are: • If there is no this’s notification’s badge URL, then return the empty string. • Return this’s notification’s badge URL, serialized.

`vibrate@m 取得子~手続きは ⇒ ~RET コレの`通知$の`振動~pattern$nT ◎ The vibrate getter steps are to return this’s notification’s vibration pattern.

`timestamp@m 取得子~手続きは ⇒ ~RET コレの`通知$の`時刻印$nT ◎ The timestamp getter steps are to return this’s notification’s timestamp.

`renotify@m 取得子~手続きは ⇒ ~RET コレの`通知$の`再通知-が選好されるか$nT ◎ The renotify getter steps are to return this’s notification’s renotify preference.

`silent@m 取得子~手続きは ⇒ ~RET コレの`通知$の`静音が選好されるか$nT ◎ The silent getter steps are to return this’s notification’s silent preference.

`requireInteraction@m 取得子~手続きは ⇒ ~RET コレの`通知$の`ヤリトリを要求する選好はあるか$nT ◎ The requireInteraction getter steps are to return this’s notification’s require interaction preference.

`data@m 取得子~手続きは ⇒ ~RET `StructuredDeserialize$A( コレの`通知$の`~data$nT, コレに`関連な~realm$ ) ⇒ 例外が投出されたときは ⇒ ~RET ~NULL ◎ The data getter steps are to return StructuredDeserialize(this’s notification’s data, this’s relevant Realm). If this throws an exception, then return null.

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

%動作~群 ~LET 新たな空な `sequence$<`NotificationAction$I> 型~値 ◎ Let frozenActions be an empty list of type NotificationAction.
コレの`通知$の`動作~群$nTを成す ~EACH( %~entry ) に対し： ◎ For each entry of this’s notification’s actions:
1. %動作 ~LET 新たな `NotificationAction$I ◎ Let action be a new NotificationAction.
2. %動作[ "`action$mA" ] ~SET %~entry の`名前$nA, ◎ Set action["action"] to entry’s name.
3. %動作[ "`title$mA" ] ~SET %~entry の`~title$nA, ◎ Set action["title"] to entry’s title.
4. ~IF［ %~entry の`~icon~URL$nA ~NEQ ~NULL ］ ⇒ %動作[ "`icon$mA" ] ~SET `~URLを直列化する$( %~entry の`~icon~URL$nA ) ◎ If entry’s icon URL is non-null, then set action["icon"] to entry’s icon URL, serialized.
5. %動作上で `Object.freeze$c を~callする — これは、 ~scriptによる不用意な変異を防止する。 ◎ Call Object.freeze on action, to prevent accidental mutation by scripts.
6. %動作~群に %動作を付加する ◎ Append action to frozenActions.
~RET `凍結d配列を作成する$( %動作~群 ) ◎ Return the result of create a frozen array from frozenActions.

3.5. 例

3.5.1. ~pageからの~eventの利用-法

`持続的$でない通知を表現する `Notification$I ~objには、その存続中に~eventが配送される — 開発者は、それを利用して，自身が欲する挙動を生成できる。 ◎ Non-persistent Notification objects dispatch events during their lifecycle, which developers can use to generate desired behaviors.

`click^et ~eventは、末端-利用者が通知を作動化したときに配送される。 ◎ The click event dispatches when the end user activates a notification.

var %not = new Notification("Gebrünn Gebrünn by Paul Kalkbrenner", { icon: "newsong.svg", tag: "song" });
%not.onclick = function() { displaySong(this); };

3.5.2. ~swからの動作の利用-法

`持続的$な通知は、 `ServiceWorkerGlobalScope$I に向けて `notificationclick^et ~eventを発火する。 ◎ Persistent notifications fire notificationclick events on the ServiceWorkerGlobalScope.

次の例の~swは、 1 個の “~archive” `通知~動作$を伴うある通知を示して、［末端-利用者が、 ~websiteを開かずに，この通知からこの共通的な~taskを遂行する］ことも可能にする（例えば，通知~platformは、通知~上に~buttonを示すかもしれない）。末端-利用者は、通知の本体を作動化して，その受信箱を開くこともできる。 ◎ Here a service worker shows a notification with a single "Archive" notification action, allowing end users to perform this common task from the notification without having to open the website (for example, the notification platform might show a button on the notification). The end user can also activate the main body of the notification to open their inbox.

self.registration.showNotification("甲さんから新たな~mailです", {
  actions: [{action: 'archive', title: "~archive"}]
});

self.addEventListener('notificationclick', function(%event) {
  %event.notification.close();
  if (%event.action === 'archive') {
    silentlyArchiveEmail();
  } else {
    clients.openWindow("/受信箱");
  }
}, false);

3.5.3. 複数の~instance用の `tag^mO ~memberの利用-法

同じ~web~appの複数の~instanceが，同時並行に運用されることは、頻繁にある — 末端-利用者が~browserの複数の~UItab内で~mail~appを開いたときなど。 ~desktopは共有される資源であり、 `通知~API^citeの `tag$mO ~memberが，これらの~instanceが容易に協調する仕方を供する。 ◎ Web applications frequently operate concurrently in multiple instances, such as when an end user opens a mail application in multiple browser tabs. Since the desktop is a shared resource, the notifications API provides a way for these instances to easily coordinate, by using the tag member.

同じ概念的~eventを表現する複数の通知には、同じ仕方で~tagを付与できる — 両者とも示されるとき、末端-利用者は 1 個の通知のみを受信することになる。 ◎ Notifications which represent the same conceptual event can be tagged in the same way, and when both are shown, the end user will only receive one notification.

/* 
ある~instanceの中で新たな~mailを通知する：
 */
new Notification("丙さんから~mailです", { tag: 'message1' });

/* 
少し経ってから，別の~instanceの中で新たな~mailを通知する：
 */
new Notification("丙さんから~mailです", { tag: 'message1' });

この状況における結果は、 ~UAがここの~algoに従うならば， 1 個の通知 `丙さんから~mailです^l になる。 ◎ The result of this situation, if the user agent follows the algorithms here, is a single notification "New mail from John Doe".

3.5.4. 単独の~instance用の `tag^mO ~memberの利用-法

`tag$mO ~memberは、 ~appの単独の~instanceからも利用できる — 自身の通知を，状態~変化に伴いアリな限り最新に保つために。 ◎ The tag member can also be used by a single instance of an application to keep its notifications as current as possible as state changes.

例えば、甲さんが~chat~appを利用していて，相手の乙さんは甲が “遊休中”† の間に複数の~messageを送信した場合、 ~appは［甲が各~messageに対する~desktop通知をいちいち見ない］ことを選好することもできる。【†~appがどうやって “遊休中” を検出するかは、~appに委ねられる。】 ◎ For example, if Alice is using a chat application with Bob, and Bob sends multiple messages while Alice is idle, the application may prefer that Alice not see a desktop notification for each message.

/* 乙からの "こんにちは" */
new Notification("乙さん： こんにちは", { tag: 'chat_乙' });

/* 乙からの "今日の午後は~~空いてますか？" */
new Notification("乙さん： こんにちは / 今日の午後は~~空いてますか？", { tag: 'chat_乙' });

この状況における結果は、 `1 個^emの通知になる。 2 個目の通知は、同じ~tagが伴われた最初の通知を置換する。通知を~queueする（~queueされた順に通知する）~platformにおいては、 ~tagを利用すれば，~queue内での通知の位置も保守-可能になる。最新の通知を最初に示すような~platformにおいては、 `close()$m ~methodを利用して類似な結果を達成することもできる。 ◎ The result of this situation is a single notification; the second one replaces the first having the same tag. In a platform that queues notifications (first-in-first-out), using the tag allows the notification to also maintain its position in the queue. Platforms where the newest notifications are shown first, a similar result could be achieved using the close() method.

4. ~sw~API

dictionary `GetNotificationOptions@I {
  `DOMString$ `tag@mGO = "";
};

partial interface `ServiceWorkerRegistration$I {
  `Promise$<`undefined$> `showNotification$m(`DOMString$ %title, optional `NotificationOptions$I %options = {});
  `Promise$<`sequence$<`Notification$I>> `getNotifications$m(optional `GetNotificationOptions$I %filter = {});
};

[`Exposed$=ServiceWorker]
interface `NotificationEvent@I : `ExtendableEvent$I {
  `NotificationEvent@mc(`DOMString$ %type, `NotificationEventInit$I %eventInitDict);

  readonly attribute `Notification$I `notification@mE;
  readonly attribute `DOMString$ `action@mE;
};

dictionary `NotificationEventInit@I : `ExtendableEventInit$I {
  required `Notification$I `notification@mNI;
  `DOMString$ `action@mNI = "";
};

partial interface `ServiceWorkerGlobalScope$I {
  attribute `EventHandler$I `onnotificationclick$m;
  attribute `EventHandler$I `onnotificationclose$m;
};

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

%大域~obj ~LET コレに`関連な大域~obj$ ◎ Let global be this’s relevant global object.
%~promise ~LET `新たな~promise$( コレに`関連な~realm$ ) ◎ Let promise be a new promise in this’s relevant Realm.
~IF［コレにて`作動中な~worker$ ~EQ ~NULL ］ ⇒＃ `~promiseを却下する$( %~promise, `TypeError$E 例外 )； ~RET %~promise ◎ If this’s active worker is null, then reject promise with a TypeError and return promise.
%通知 ~LET `設定群~objで通知を作成する$( %~title, %~option群, コレに`関連な設定群~obj$ ) ◎ Let notification be the result of creating a notification with a settings object given title, options, and this’s relevant settings object.＼

例外が投出されたときは、 ~catchして ⇒＃ `~promiseを却下する$( %~promise, その例外 )； ~RET %~promise ◎ If this threw an exception, then reject promise with that exception and return promise.
%通知の`~sw登録$nT ~SET コレ ◎ Set notification’s service worker registration to this.
この段は`並列的$に走らす： ◎ Run these steps in parallel:
1. ~IF［ `通知~許可~状態を取得する$() ~NEQ `granted$l ］： ◎ If the result of getting the notifications permission state is not "granted", then＼
  1. `大域~taskを~queueする$( `~DOM操作~task~source$, %大域~obj, 次の手続き )
    
    手続きは ⇒ `~promiseを却下する$( %~promise, `TypeError$E )
    ◎ queue a global task on the DOM manipulation task source given global to reject promise with a TypeError,＼
  2. ~RET ◎ and abort these steps.
2. `通知を示す$( %通知 ) ◎ Run the notification show steps for notification.
3. `大域~taskを~queueする$( `~DOM操作~task~source$, %大域~obj, 次の手続き )
  
  手続きは ⇒ `~promiseを解決する$( %~promise )
  ◎ Queue a global task on the DOM manipulation task source given global to resolve promise with undefined.
~RET %~promise ◎ Return promise.

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

%大域~obj ~LET コレに`関連な大域~obj$ ◎ Let global be this’s relevant global object.
%~realm ~LET コレに`関連な~realm$ ◎ Let realm be this’s relevant Realm.
%生成元 ~LET コレに`関連な設定群~obj$の`生成元$enV ◎ Let origin be this’s relevant settings object’s origin.
%~promise ~LET `新たな~promise$( %~realm ) ◎ Let promise be a new promise in realm.
この段は`並列的$に走らす： ◎ Run these steps in parallel:
1. %通知~群 ~LET 新たな`~list$ ◎ ↓
2. `通知~list$を成す ~EACH( %通知 ) に対し，作成~順序で：
  1. ~IF［ ~AND↓ ］…
    - ( %通知の`生成元$nT, %生成元 ) は`同一-生成元$である
    - %通知の`~sw登録$nT ~EQ コレ
    - %filter[ "`tag$mGO" ] ~IN { 空~文字列, %通知の`~tag$nT }
    …ならば ⇒ %通知~群に %通知を`付加する$
  ◎ Let tag be filter["tag"]. ◎ Let notifications be a list of all notifications in the list of notifications whose origin is same origin with origin, whose service worker registration is this, and whose tag, if tag is not the empty string, is tag.
3. `大域~taskを~queueする$( `~DOM操作~task~source$, %大域~obj, 次の手続き ) ◎ Queue a global task on the DOM manipulation task source given global＼
  手続きは： ◎ to run these steps:
  1. %~obj群 ~LET « » ◎ Let objects be a list.
  2. %通知~群を成す ~EACH( %通知 ) に対し： ◎ For each notification in notifications, in creation order,＼
    1. %~obj ~LET %通知を表現している`新たな~obj$( `Notification$I, %~realm ) ◎ create a new Notification object with realm representing notification,＼
    2. %~obj群に %~obj を`付加する$ ◎ and append it to objects.
  3. `~promiseを解決する$( %~promise, %~obj群 ) ◎ Resolve promise with objects.
~RET %~promise ◎ Return promise.

注記：この~methodは、新たな `Notification$I ~objたち【で解決される~promise】を返す — それらが表現する下層の`通知$には、すでに存在する `Notification$I ~objが表現する`通知$と同じものもあるかもしれない。 ◎ This method returns zero or more new Notification objects which might represent the same underlying notification of Notification objects already in existence.

`~sw通知~eventを発火する@ ときは、所与の ( 名前 %名前, `通知$ %通知, 文字列 %動作（省略時は空~文字列） ) に対し ⇒ `機能的~eventを発火する$( %通知の`~sw登録$nT, %名前, `NotificationEvent$I ) — 次のように初期化して ⇒＃ `notification$mE 属性 ~SET %通知を表現している`新たな~obj$( `Notification$I, 【~realmは指定されていない】 ), `action$mE 属性 ~SET %動作 ◎ To fire a service worker notification event named name given a notification notification, and an optional string action (default the empty string): run Fire Functional Event given name, NotificationEvent, notification’s service worker registration, and the following initialization: ◎ notification • A new Notification object representing notification. ◎ action • action

`notification$mE 取得子~手続きは、初期化-時の値を返す。 ◎ The notification getter steps are to return the value it was initialized to.

`action$mE 取得子~手続きは、初期化-時の値を返す。 ◎ The action getter steps are to return the value it was initialized to.

次に挙げる`~event~handler$（および対応する`~event~handler~event型$）は、 `ServiceWorkerGlobalScope$I ~objの属性として~supportするモノトスル： ◎ The following is the event handler (and its corresponding event handler event type) that must be supported as attribute by the ServiceWorkerGlobalScope object:

`~event~handler$	`~event~handler~event型$
`onnotificationclick@m	`notificationclick^et
`onnotificationclose@m	`notificationclose^et

謝辞

`_acks1@

知的財産権

`_ipr1@