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. 向内部[[BlockerList]] 中追加一个包含 reason 和 timestamp 的条目。

要使用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 与 reason相等， 则从 element 的[[BlockerList]] 中移除 entry。

3. 使用 reason 和 true添加阻止器。

要确定一个InPagePermissionMixin element 的 阻止器：

1. 令 blockers 为使用阻止器排序算法对 element 的[[BlockerList]] 进行排序的结果。

2. 如果 blockers 不为空，且 blockers[0] 正在阻止，则返回 blockers[0]。

3. 不返回任何内容。

要确定两个阻止器 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. 使用 type “onvalidationstatuschange”、 bubbles true 和 cancelable true初始化 event。

   3. 将 event分派给 element。

要为 element 分派 onpromptaction：

1. 令 event 为一个新的Event。

2. 使用 type “onpromptaction”、 bubbles true 和 cancelable true初始化 event。

3. 将 event分派给 element。

要为 element 分派 onpromptdismiss：

1. 令 event 为一个新的Event。

2. 使用 type “onpromptdismiss”、 bubbles true 和 cancelable true初始化 event。

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";  // 仍然不可以，因为 type 已经设置过。
                       // 若作为初始赋值则可以。
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]] 设置为获取当前 权限状态的结果。

注：受支持的强大功能集合由实现定义。

HTMLPermissionElement 的isTypeSupported() 方法 使用DOMString type 参数时的步骤为：

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. 将this追加到节点可导航对象的[[PermissionElements]]。

4. 将内部[[IntersectionRect]] 初始化为 undefined。

5. 使用 IntersectionObserver 回调和 «[ "rootMargin" → "-4px" ]» 构造新的IntersectionObserver， 并将内部[[IntersectionObserver]] 初始化为其结果。

6. 调用[[IntersectionObserver]].observe(this)。

7. 如果[[Features]] 为空，则使用原因type_invalid 添加永久阻止器。

8. 如果this的类型不允许，则使用unsuccesful_registration 添加临时阻止器。

9. 使用原因 recently_attached 添加到期阻止器。

10. 如果this 的节点可导航对象的可遍历可导航对象 是一个围栏可导航对象，则使用illegal_subframe 添加永久阻止器。

11. 在this上可能分派 onvalidstatechange。

HTMLPermissionElement 的移除步骤为：

1. 从节点可导航对象的[[PermissionElements]] 中移除this。

2. 为this的节点可导航对象重新检查类型 许可性。

3. 在this上可能分派 onvalidstatechange。

给定 event 时，一个 permission element 的激活行为为：

1. 断言：element 的[[Features]] 不为 null。

2. 如果 element 的[[Features]] 为空，则返回。

3. 如果 event.isTrusted 为 false，则返回。

4. 如果 element.isValid 为 false，则返回。

5. 令 descriptor 为为 element构建权限 描述符的结果。

6. 请求使用由 descriptor 描述的强大功能的权限。

7. 如果上一步被用户取消或关闭，则在 this 上分派 onpromptdismiss 并返回。

   [PERMISSIONS] 规范假定请求使用权限 总会成功。也就是说，它假定用户总会作出 选择，并且算法总会给出与该选择对应的 grant/deny 答案。但你无法强迫用户这样做。 一些用户代理可能一方面为明确 拒绝提供一种 UI 控件（例如“拒绝”按钮），另一方面为取消或关闭 请求对话框提供另一种控件（例如右上角的“X”按钮）。尽管底层规范中 没有明确的挂钩，我们仍在此区分这两种操作。

8. 在this上分派 onpromptaction。

要为一个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. 在this上可能分派 onvalidstatechange。

是否需要定义 字典相等性？

要确定一个 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 是一个大于零的、由实现定义的unsigned long。

7. 将内部[[position]] 初始化为 null。

8. 将内部[[positionError]] 初始化为 null。

HTMLGeolocationElement 的插入步骤为：

1. 将内部[[BlockerList]] 初始化为 «»。

2. 将this追加到节点可导航对象的[[PermissionElements]]。

3. 将内部[[IntersectionRect]] 初始化为 undefined。

4. 使用 IntersectionObserver 回调和 «[ "rootMargin" → "-4px" ]» 构造新的IntersectionObserver， 并将内部[[IntersectionObserver]] 初始化为其结果。

5. 调用[[IntersectionObserver]].observe(this)。

6. 如果[[Features]] 为空，则使用原因type_invalid 添加永久阻止器。

7. 如果this的类型不允许，则使用unsuccesful_registration 添加临时阻止器。

8. 使用原因 recently_attached 添加到期阻止器。

9. 如果this 的节点可导航对象的可遍历可导航对象 是一个围栏可导航对象，则使用illegal_subframe 添加永久阻止器。

10. 在this上可能分派 onvalidstatechange。

11. 可能自动定位。

HTMLGeolocationElement 的移除步骤为：

1. 从节点可导航对象的[[PermissionElements]] 中移除this。

2. 为this的节点可导航对象重新检查类型 许可性。

3. 在this上可能分派 onvalidstatechange。

给定 event 时，HTMLGeolocationElement element 的激活行为为：

1. 断言：element 的[[Features]] 不为 null。

2. 如果 element 的[[Features]] 为空，则返回。

3. 如果 event.isTrusted 为 false，则返回。

4. 如果 element.isValid 为 false，则返回。

5. 令 descriptor 为为 element构建权限 描述符的结果。

6. 请求使用由 descriptor 描述的强大功能的权限。

7. 如果上一步被用户取消或关闭，则在 this 上分派 onpromptdismiss 并返回。

   [Permissions] 规范假定请求使用权限 总会成功。也就是说，它假定用户总会作出 选择，并且算法总会给出与该选择对应的 grant/deny 答案。但你无法强迫用户这样做。 一些用户代理可能一方面为明确 拒绝提供一种 UI 控件（例如“拒绝”按钮），另一方面为取消或关闭 请求对话框提供另一种控件（例如右上角的“X”按钮）。尽管底层规范中 没有明确的挂钩，我们仍在此区分这两种操作。

8. 在this上分派 onpromptaction。

9. 获取位置。

position 获取器步骤为返回 [[position]] 的值。

error 获取器步骤为返回 [[positionError]] 的值。

要可能自动定位：

1. 如果获取当前 权限状态的结果不是 granted， 则返回。

2. 如果autolocate 不为 true，则返回。

3. 获取位置。

要获取位置：

1. 令 positionCallback 为一个执行以下步骤的PositionCallback：

   1. 将this的[[positionError]] 设置为 undefined。

   2. 将this的[[position]] 设置为PositionCallback 的 position 参数。

   3. 向this分派 onlocation。

2. 令 errorCallback 为一个执行以下步骤的PositionErrorCallback：

   1. 将this的[[position]] 设置为 undefined。

   2. 将this的[[positionError]] 设置为PositionCallback 的 positionError 参数。

   3. 向this分派 onlocation。

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. 使用type “onlocation” 初始化 event。

3. 将 event分派给 element。