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를 없음으로 설정한다.

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과 같으면, 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 getter 단계는 다음과 같다.

1. element의 차단 요소가 없음인지 반환한다.

InPagePermissionMixin element의 invalidReason getter 단계는 다음과 같다.

1. element의 차단 요소가 없음이면 ""을 반환한다.

2. 그렇지 않으면 element의 차단 요소의 이유 문자열을 반환한다.

InPagePermissionMixin element의 initialPermissionStatus getter 단계는 다음과 같다.

1. element의 내부 [[InitialPermissionStatus]]를 반환한다.

InPagePermissionMixin element의 permissionStatus getter 단계는 다음과 같다.

1. element의 현재 권한 상태를 가져온 결과를 반환한다.

InPagePermissionMixin element의 현재 권한 상태를 가져오는 방법은 믹스인을 포함하는 특정 요소에 따라 달라진다. 따라서 각 요소는 자체 알고리즘을 정의해야 한다.

element에 대해 onvalidstatechange를 디스패치할 수 있으면 디스패치하려면:

1. oldState를 [[LastNotifiedValidState]]로 설정한다.

2. newState를 element의 차단 요소가 없음인지 여부로 설정한다.

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";  // type이 이미 설정되었으므로 여전히 가능하지 않다.
                       // 최초 할당이었다면 가능했을 것이다.
pepc.type;  // "". 변경되지 않은 내부 상태를 반영한다.

HTMLPermissionElement의 type getter 단계는 다음과 같다.

1. [[Features]]가 null이면 ""을 반환한다.

2. [[Features]]에 있는 모든 강력한 기능의 이름을 " "으로 구분하여 연결한 문자열을 반환한다.

HTMLPermissionElement의 type setter 단계는 다음과 같다.

1. [[Features]]가 null이 아니면 반환한다.

2. [[Features]]를 «»로 설정한다.

3. features를 입력 문자열로 유형 문자열을 파싱한 결과로 설정한다.

4. features가 없음이면 반환한다.

5. 각 강력한 기능 이름을 [[Features]] 순서 있는 집합에 추가한다.

6. [[InitialPermissionStatus]]를 현재 권한 상태를 가져온 결과로 설정한다.

참고: 지원되는 강력한 기능 집합은 구현 정의이다.

DOMString type 인수를 사용하는 HTMLPermissionElement의 isTypeSupported() 메서드 단계는 다음과 같다.

1. features를 type으로 유형 문자열을 파싱한 결과로 설정한다.

2. features가 없음이 아닌지 반환한다.

주어진 문자열 type을 유형 문자열로 파싱하려면:

1. list를 type을 공백으로 구분된 강력한 기능 이름의 문자열로 파싱한 결과로 설정한다.

2. 오류가 발생했으면 없음을 반환한다.

3. 강력한 기능 집합을 사용자 에이전트의 HTMLPermissionElement에서 지원하는지 확인한다. 지원하지 않으면 없음을 반환한다.

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. this에서 onvalidstatechange를 디스패치할 수 있으면 디스패치한다.

HTMLPermissionElement의 제거 단계는 다음과 같다.

1. this를 노드 탐색 가능 객체의 [[PermissionElements]]에서 제거한다.

2. this의 노드 탐색 가능 객체에 대해 유형 허용 가능성을 다시 확인한다.

3. this에서 onvalidstatechange를 디스패치할 수 있으면 디스패치한다.

permission element에 event가 주어졌을 때의 활성화 동작은 다음과 같다.

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 기능 (예: "거부" 버튼)과 요청 대화상자를 취소하거나 닫는 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는 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. this에서 onvalidstatechange를 디스패치할 수 있으면 디스패치한다.

11. 가능하면 자동으로 위치를 가져온다.

HTMLGeolocationElement의 제거 단계는 다음과 같다.

1. this를 노드 탐색 가능 객체의 [[PermissionElements]]에서 제거한다.

2. this의 노드 탐색 가능 객체에 대해 유형 허용 가능성을 다시 확인한다.

3. this에서 onvalidstatechange를 디스패치할 수 있으면 디스패치한다.

HTMLGeolocationElement element에 event가 주어졌을 때의 활성화 동작은 다음과 같다.

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 기능 (예: "거부" 버튼)과 요청 대화상자를 취소하거나 닫는 UI 기능 (예: 오른쪽 위의 "X" 버튼)을 서로 다르게 제공할 수 있다. 여기서는 기반 명세에 명확한 연결점이 없음에도 이 두 동작을 구분한다.

8. this에서 onpromptaction을 디스패치한다.

9. 위치를 가져온다.

position getter 단계는 [[position]]의 값을 반환하는 것이다.

error getter 단계는 [[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. event를 type "onlocation"으로 초기화한다.

3. event를 element에 디스패치한다.