HTML の権限要素

interface mixin InPagePermissionMixin {
  readonly attribute boolean isValid;
  readonly attribute InPagePermissionMixinBlockerReason invalidReason;
  readonly attribute PermissionState initialPermissionStatus;
  readonly attribute PermissionState permissionStatus;

  attribute EventHandler onpromptaction;
  attribute EventHandler onpromptdismiss;
  attribute EventHandler onvalidationstatuschange;
};

enum InPagePermissionMixinBlockerReason {
  // ブロッカー理由なし。
  "",

  // すべての InPagePermissionMixin 使用者がサポートするブロッカー理由。
  "illegal_subframe", "unsuccesful_registration",
  "recently_attached", "intersection_changed",
  "intersection_out_of_viewport_or_clipped",
  "intersection_occluded_or_distorted", "style_invalid",

  // HTMLPermissionElement 固有のブロッカー理由。
  "type_invalid",
};

InPagePermissionMixinBlockerReason reasonおよび省略可能なフラグexpiresを用いて ブロッカーを追加するには、次の手順を実行する。

1. 表明: reasonは""ではない。 （InPagePermissionMixinBlockerReasonの空文字列は、 ブロッカーが存在しないことを示す。なぜブロックしないブロッカーの空文字列を追加するのか？）

2. timestampを None とする。

3. expiresの場合、timestampを現在の高分解能時刻に ブロッカー遅延を加えた値とする。

4. reasonおよびtimestampを持つエントリーを、内部[[BlockerList]]に 付加する。

InPagePermissionMixinBlockerReason reasonを用いて 期限付きブロッカーを追加するには、次の手順を実行する。

1. 表明: reasonは、ブロッカー 理由表で「期限付き」として掲載されている。

2. reasonおよび true を用いてブロッカーを追加する。

InPagePermissionMixinBlockerReason reasonを用いて 一時ブロッカーを追加するには、次の手順を実行する。

1. 表明: reasonは、ブロッカー 理由表で「一時」として掲載されている。

2. reasonおよび false を用いてブロッカーを追加する。

InPagePermissionMixinBlockerReason reasonを用いて 永続ブロッカーを追加するには、次の手順を実行する。

1. 表明: reasonは、ブロッカー 理由表で「永続」として掲載されている。

2. reasonおよび false を用いてブロッカーを追加する。

elementからInPagePermissionMixinBlockerReason reasonを持つ ブロッカーを削除するには、次の手順を実行する。

1. 表明: reasonは、 ブロッカー 理由表で「一時」として掲載されている。

2. elementの[[BlockerList]]内の各entryについて、次を実行する。

   1. entryの理由がreasonに 等しい場合、 entryをelementの[[BlockerList]]から 削除する。

3. reasonおよび true を用いてブロッカーを追加する。

InPagePermissionMixin elementの ブロッカーを決定するには、次の手順を実行する。

1. blockersを、ブロッカー順序付けアルゴリズムを用いて elementの[[BlockerList]]を ソートした結果とする。

2. blockersが空でなく、 blockers[0]がブロック中である場合、 blockers[0]を返す。

3. 何も返さない。

2 つのブロッカーaおよびbに対する ブロッカー順序付けを決定するには、 次の手順を実行する。

1. really large numberを 99 とする。

2. 表明: ブロッカー理由表内の順序ヒントは、 いずれもreally large number以上ではない。

3. aがブロック中である場合、 a hintを、ブロッカー 理由表にあるaの理由の 順序ヒントとする。そうでない場合、a hintをreally large numberとする。

4. bがブロック中である場合、 b hintを、ブロッカー 理由表にあるbの理由の 順序ヒントとする。そうでない場合、b hintをreally large numberとする。

5. a hintがb hint以下であるかどうかを返す。

InPagePermissionMixinの ブロッカーリストのentryは、次の場合に ブロック中である。

1. entryにブロッカーのタイムスタンプがない場合、

2. または、entryにブロッカーのタイムスタンプがあり、その ブロッカーのタイムスタンプが 現在の高分解能時刻以上である場合。

InPagePermissionMixin elementのisValid ゲッターの手順は、次のとおりである。

1. elementのブロッカーが Nothing であるかどうかを返す。

InPagePermissionMixin elementのinvalidReasonゲッターの手順は、 次のとおりである。

1. elementのブロッカーが Nothing である場合、""を返す。

2. そうでない場合、elementのブロッカーの理由文字列を返す。

InPagePermissionMixin elementの initialPermissionStatus ゲッターの手順は、次のとおりである。

1. elementの内部[[InitialPermissionStatus]]を返す。

InPagePermissionMixin elementの permissionStatus ゲッターの手順は、次のとおりである。

1. elementについて 現在の権限状態を取得した結果を返す。

InPagePermissionMixin elementについて 現在の権限状態を取得する方法は、 ミックスインを含む個々の要素に依存する。 したがって、各要素は独自のアルゴリズムを定義しなければならない。

elementについて 必要に応じて onvalidstatechange をディスパッチするには、 次の手順を実行する。

1. oldStateを[[LastNotifiedValidState]]とする。

2. newStateを、elementのブロッカーが Nothing であるかどうかとする。

3. [[LastNotifiedValidState]] をnewStateに設定する。

4. oldReasonを[[LastNotifiedInvalidReason]]とする。

5. newReasonを、elementの invalidReasonであるかどうかとする。

6. [[LastNotifiedInvalidReason]] をnewReasonに設定する。

7. oldState != newStateまたはoldReason != newReasonの場合、 次を実行する。

   1. eventを新しいEventとする。

   2. eventを、 type "onvalidationstatuschange"、 bubbles true、および cancelable true で初期化する。

   3. eventをelementに ディスパッチする。

elementについて onpromptaction をディスパッチするには、次の手順を実行する。

1. eventを新しいEventとする。

2. eventを、 type "onpromptaction"、 bubbles true、および cancelable true で初期化する。

3. eventをelementに ディスパッチする。

elementについて onpromptdismiss をディスパッチするには、 次の手順を実行する。

1. eventを新しいEventとする。

2. eventを、 type "onpromptdismiss"、 bubbles true、および cancelable true で初期化する。

3. eventをelementに ディスパッチする。

@namespace "http://www.w3.org/1999/xhtml";
permission, geolocation {
  opacity: 1.0;
  line-height: normal !important;
  whitespace: nowrap !important;
  user-select: none !important;
  appearance: auto !important;
  box-sizing: content-box !important;
  vertical-align: middle !important;
  text-emphasis: initial !important;
  text-shadow: initial !important;
}

@namespace "http://www.w3.org/1999/xhtml";
permission {
  outline-offset: clamp(0, computed, none); /* 負の outline-offset は不可。 */
  font-weight: clamp(200, computed, none);  /* 200 未満の font-weight は不可。 */
  word-spacing: clamp(0, computed, 0.5em);  /* word-spacing は 0..0.5em の範囲 */
  letter-spacing: clamp(-0.05em, commputed, 0.2em);  /* letter-spacing は -0.05..0.2em の範囲 */

  min-height: clamp(1em, computed, none);
  max-height: clamp(none, computed, 3em);
  min-width: clamp(none, computed, calc(fit-content));

  border-width: clamp(none, computed, 1em);

  font-style: if(computed = "normal" or computed = "italic", computed, "normal");
  display: if (computed = "inline-block" or computed = "none", computed, "inline-block");
  cursor: if (computed = "pointer" or computed = "not-allowed", computed, "pointer")
}

@namespace "http://www.w3.org/1999/xhtml";
permission {
  padding-top: clamp(1em, computed, none);
  padding-bottom: calc(padding-top);
}

@namespace "http://www.w3.org/1999/xhtml";
permission {
  padding-left: clamp(none, computed, 5em);
  padding-right: calc(padding-left);
}

@namespace "http://www.w3.org/1999/xhtml";
permission {
  max-width: clamp(none, computed, calc(3 * fit-content));
}

[Exposed=Window]
interface HTMLPermissionElement : HTMLElement {
  [HTMLConstructor] constructor();
  [CEReactions, Reflect] attribute DOMString type;
  static boolean isTypeSupported(DOMString type);
};
HTMLPermissionElement includes InPagePermissionMixin;

// 有効な型を変更する:
var pepc = document.createElement("permission");
pepc.type = "camera";  // 問題ない。
pepc.type;  // "camera"。
pepc.type = "geolocation";  // 問題がある。初回の代入であれば問題なかった。
pepc.type;  // "camera"。変更されていない内部状態を反映する。

// 無効な型を設定する:
pepc = document.createElement("permission");
pepc.type = "icecream";  // アイスクリームは強力なブラウザー機能ではない。問題がある。
pepc.type;  // ""。内部状態を反映する。
pepc.type = "camera";  // 型はすでに設定されているため、引き続き問題がある。
                       // 初回の代入であれば問題なかった。
pepc.type;  // ""。変更されていない内部状態を反映する。

HTMLPermissionElement のtype ゲッターの手順は、次のとおりである。

1. [[Features]] が null の場合、""を返す。

2. [[Features]]内のすべての強力な機能名を、 " "で区切って連結した文字列を返す。

HTMLPermissionElement のtype セッターの手順は、次のとおりである。

1. [[Features]] が null でない場合、戻る。

2. [[Features]] を«»に設定する。

3. featuresを、入力文字列を用いて 型文字列を構文解析した結果とする。

4. featuresが None の場合、戻る。

5. 各強力な機能名を、[[Features]] 順序付き集合に 付加する。

6. [[InitialPermissionStatus]] を、 現在の権限状態を取得した結果に設定する。

注: サポートされる強力な機能の集合は、実装定義である。

引数DOMString typeを持つ HTMLPermissionElement のisTypeSupported() メソッドの手順は、次のとおりである。

1. featuresを、typeを用いて 型文字列を構文解析した結果とする。

2. featuresが None でないかどうかを返す。

指定された文字列typeを 型文字列として 構文解析するには、次の手順を実行する。

1. listを、typeを空白で区切られた 強力な機能名の文字列として構文解析した結果とする。

2. 何らかのエラーが発生した場合、None を返す。

3. ユーザーエージェントが、 HTMLPermissionElement に対して強力な機能の集合をサポートするか確認する。 サポートしない場合、None を返す。

4. listを返す。

HTMLPermissionElement のconstructor()の手順は、 次のとおりである。

1. 内部[[Features]] スロットを null に初期化する。

2. 内部[[BlockerList]] を«»に初期化する。

3. 内部[[LastNotifiedValidState]] を false で初期化する。

4. 内部[[LastNotifiedInvalidReason]] を空 文字列で初期化する。

5. 内部[[InitialPermissionStatus]] を、 現在の権限状態を取得した結果に初期化する。

HTMLPermissionElement の挿入手順は、次のとおりである。

1. [[Features]] が null の場合、[[Features]] を«»に設定する。

2. 内部[[BlockerList]] を«»に初期化する。

3. ノードナビゲーバブルの[[PermissionElements]]に、 thisを 付加する。

4. 内部[[IntersectionRect]] を undefined で初期化する。

5. 内部[[IntersectionObserver]] を、 IntersectionObserver コールバックおよび «[ "rootMargin" → "-4px" ]»を用いて、新しいIntersectionObserverを 構築した結果で初期化する。

6. [[IntersectionObserver]].observe(this)を呼び出す。

7. [[Features]] が空である場合、理由type_invalidを用いて 永続ブロッカーを追加する。

8. thisが許容可能な型でない場合、 unsuccesful_registrationを用いて 一時ブロッカーを追加する。

9. 理由 recently_attachedを用いて 期限付きブロッカーを追加する。

10. thisの ノードナビゲーバブルのトラバーサブルナビゲーバブルが フェンス付きナビゲーバブルである場合、 illegal_subframeを用いて 永続ブロッカーを追加する。

11. 必要に応じて onvalidstatechange をディスパッチするをthis上で実行する。

HTMLPermissionElement の削除手順は、次のとおりである。

1. ノードナビゲーバブルの[[PermissionElements]]から、 thisを 削除する。

2. thisのノードナビゲーバブルについて、 型の許容可能性を再確認する。

3. 必要に応じて onvalidstatechange をディスパッチするをthis上で実行する。

permission elementにeventが与えられたときの アクティブ化動作は、次のとおりである。

1. 表明: elementの[[Features]] は null ではない。

2. elementの[[Features]] が空である場合、戻る。

3. event.isTrusted が false の場合、戻る。

4. element.isValid が false の場合、戻る。

5. descriptorを、elementについて 権限記述子を構築した結果とする。

6. descriptorによって記述される強力な機能を使用する権限を要求する。

7. 前の手順がユーザーによってキャンセルまたは閉じられた場合、 onpromptdismiss をディスパッチするを this上で実行し、 戻る。

   [PERMISSIONS] 仕様は、使用する権限を要求する処理が 常に成功すると想定している。すなわち、ユーザーは常に 選択を行い、アルゴリズムはその選択に対応するgrant/deny の回答を常に提供すると想定している。しかし、ユーザーにそれを強制することはできない。 一部のユーザーエージェントは、明示的な拒否（たとえば「拒否」ボタン）と、 要求ダイアログのキャンセルまたは終了（たとえば右上隅の「X」ボタン）に対して、 異なる UI 操作手段を持つ場合がある。ここでは、 基礎となる仕様に明確なフックがないにもかかわらず、 これら 2 つの操作を区別する。

8. onpromptaction をディスパッチするをthis上で実行する。

HTMLPermissionElement elementについて 権限記述子を構築するには、次の手順を実行する。

[Permissions] 仕様は、記述子がパラメーターなしの 単一の権限（enableHighAccuracyに相当するものなど）を記述すると想定している。 ここでは、より表現力のある権限モデルを 想定している。これは、おそらく上流の [Permissions]で解決し、 さらにここで適応する必要がある。

1. resultを新しいPermissionDescriptorとする。

2. resultに次を設定する。

   • elementの[[Features]]に含まれる 強力な機能名を含める。

3. resultを返す。

HTMLPermissionElement のIntersectionObserver コールバックは IntersectionObserverCallback を実装し、次の手順を実行する。

1. 表明: IntersectionObserverの root は文書である。

2. entriesを、最初のコールバック引数の値である 交差オブザーバーエントリーの リストとする。

3. 表明: entriesは空ではない。

4. entryをentriesの最後の項目とする。

5. entry.isVisible の場合、次を実行する。

   1. intersection_occluded_or_distortedを持つ ブロッカーを削除する。

   2. intersection_out_of_viewport_or_clippedを持つ ブロッカーを削除する。

6. そうでない場合、次を実行する。

   1. entry.intersectionRatio >= 1 の場合、次を実行する。

      1. reasonをintersection_occluded_or_distortedとする。

   2. そうでない場合、次を実行する。

      1. reasonをintersection_out_of_viewport_or_clippedとする。

   3. reasonを用いて一時 ブロッカーを追加する。

7. [[IntersectionRect]] がentry.intersectionRect と等しくない場合、 intersection_changedを用いて 期限付きブロッカーを追加する。

8. [[IntersectionRect]] を entry.intersectionRect に設定する。

9. 必要に応じて onvalidstatechange をディスパッチするをthis上で実行する。

辞書の等価性を 定義する必要があるか？

elementが 許容可能な型であるかを決定するには、 次の手順を実行する。

1. 表明: elementのノードナビゲーバブルの[[PermissionElements]] はelementを 含む。

2. countを 0 とする。

3. elementのノードナビゲーバブルの[[PermissionElements]]内の 各currentについて、次を実行する。

   1. currentがelementである場合、 中断する。

   2. element.[[Features]] がcurrent.[[Features]]に 等しい場合、 countを 1 増加させる。

4. countが 3 未満であるかどうかを返す。

documentについて 型の許容可能性を再確認するには、 次の手順を実行する。

1. documentの [[PermissionElements]]内の 各currentについて、次を実行する。

   1. currentが許容可能な型である場合、 currentから unsuccesful_registrationを持つ ブロッカーを削除する。

HTMLPermissionElement elementについて 現在の権限状態を取得するには、 次の手順を実行する。

1. typesをelementの内部[[Features]]とする。

2. typesが null、またはtypesが空である場合、 promptを返す。

3. currentをgrantedとする。

4. typesの各typeについて、次を実行する。

   1. stateを、typeについて 現在の権限状態を取得した結果とする。

   2. 次の順序を仮定し、 currentをcurrentとstateの小さい方とする。 granted > prompt > denied。

5. currentを返す。

「有効な権限型なし」に対する PermissionState が何であるべきかは明確ではない。 ここでは Chrome の実装に基づいて "prompt" を選択しているが、 この選択は任意である。

[Exposed=Window]
interface HTMLGeolocationElement : HTMLElement {
  [HTMLConstructor] constructor();

  readonly attribute GeolocationPosition? position;
  readonly attribute GeolocationPositionError? error;
  [CEReactions, Reflect] attribute boolean autolocate;
  [CEReactions, Reflect] attribute boolean watch;

  attribute EventHandler onlocation;
};
HTMLGeolocationElement includes InPagePermissionMixin;

HTMLGeolocationElement のconstructor()の手順は、 次のとおりである。

1. 内部[[Features]] スロットを« "geolocation" »に初期化する。

2. 内部[[BlockerList]] を«»に初期化する。

3. 内部[[LastNotifiedValidState]] を false で初期化する。

4. 内部[[LastNotifiedInvalidReason]] を空 文字列で初期化する。

5. 内部[[InitialPermissionStatus]] を、 現在の権限状態を取得した結果に初期化する。

6. 内部[[watchIDs]] を« watchID »に初期化する。ここで、 watchIDは、0 より大きい実装定義のunsigned long である。

7. 内部[[position]] を null に初期化する。

8. 内部[[positionError]] を null に初期化する。

HTMLGeolocationElement の挿入手順は、次のとおりである。

1. 内部[[BlockerList]] を«»に初期化する。

2. ノードナビゲーバブルの[[PermissionElements]]に、 thisを 付加する。

3. 内部[[IntersectionRect]] を undefined で初期化する。

4. 内部[[IntersectionObserver]] を、 IntersectionObserver コールバックおよび «[ "rootMargin" → "-4px" ]»を用いて、新しいIntersectionObserverを 構築した結果で初期化する。

5. [[IntersectionObserver]].observe(this)を呼び出す。

6. [[Features]] が空である場合、理由type_invalidを用いて 永続ブロッカーを追加する。

7. thisが許容可能な型でない場合、 unsuccesful_registrationを用いて 一時ブロッカーを追加する。

8. 理由 recently_attachedを用いて 期限付きブロッカーを追加する。

9. thisの ノードナビゲーバブルのトラバーサブルナビゲーバブルが フェンス付きナビゲーバブルである場合、 illegal_subframeを用いて 永続ブロッカーを追加する。

10. 必要に応じて onvalidstatechange をディスパッチするをthis上で実行する。

11. 必要に応じて自動的に位置を取得する。

HTMLGeolocationElement の削除手順は、次のとおりである。

1. ノードナビゲーバブルの[[PermissionElements]]から、 thisを 削除する。

2. thisのノードナビゲーバブルについて、 型の許容可能性を再確認する。

3. 必要に応じて onvalidstatechange をディスパッチするをthis上で実行する。

HTMLGeolocationElement elementにeventが与えられたときの アクティブ化動作は、次のとおりである。

1. 表明: elementの[[Features]] は null ではない。

2. elementの[[Features]] が空である場合、戻る。

3. event.isTrusted が false の場合、戻る。

4. element.isValid が false の場合、戻る。

5. descriptorを、elementについて 権限記述子を構築した結果とする。

6. descriptorによって記述される強力な機能を使用する権限を要求する。

7. 前の手順がユーザーによってキャンセルまたは閉じられた場合、 onpromptdismiss をディスパッチするを this上で実行し、 戻る。

   [Permissions] 仕様は、使用する権限を要求する処理が 常に成功すると想定している。すなわち、ユーザーは常に 選択を行い、アルゴリズムはその選択に対応するgrant/deny の回答を常に提供すると想定している。しかし、ユーザーにそれを強制することはできない。 一部のユーザーエージェントは、明示的な拒否（たとえば「拒否」ボタン）と、 要求ダイアログのキャンセルまたは終了（たとえば右上隅の「X」ボタン）に対して、 異なる UI 操作手段を持つ場合がある。ここでは、 基礎となる仕様に明確なフックがないにもかかわらず、 これら 2 つの操作を区別する。

8. onpromptaction をディスパッチするを this上で実行する。

9. 位置を取得する。

position ゲッターの手順は、[[position]]の値を 返すことである。

error ゲッターの手順は、[[positionError]]の値を 返すことである。

必要に応じて自動的に位置を取得するには、 次の手順を実行する。

1. 現在の 権限状態を取得した結果が granted でない場合、戻る。

2. autolocate が true でない場合、戻る。

3. 位置を取得する。

位置を取得するには、次の手順を実行する。

1. positionCallbackを、次の手順を実行するPositionCallbackとする。

   1. thisの[[positionError]] を undefined に設定する。

   2. thisの[[position]] を、PositionCallbackの position 引数に設定する。

   3. onlocation をディスパッチするをthisに対して実行する。

2. errorCallbackを、次の手順を実行するPositionErrorCallbackとする。

   1. thisの[[position]] を undefined に設定する。

   2. thisの[[positionError]] を、PositionCallbackの positionError 引数に設定する。

   3. onlocation をディスパッチするをthisに対して実行する。

3. positionOptionsを«[]»とする。

4. geolocationを、関連する大域オブジェクトのGeolocationとする。

5. thisのwatch が true の場合、次を実行する。

   1. geolocation、positionCallback、 errorCallback、positionOptions、およびthisの[[watchIDs]]を用いて 位置を要求する。

6. そうでない場合、次を実行する。

   1. geolocation、positionCallback、 errorCallback、およびpositionOptionsを用いて 位置を要求する。

elementについて onlocation を ディスパッチするには、次の手順を実行する。

1. eventを新しいEventとする。

2. eventをtype "onlocation"で 初期化する。

3. eventをelementに ディスパッチする。