WebDriver BiDi

병렬로 실행 중인 알고리즘 algorithm이 이벤트 집합 events 및 resume id를 대기할 때:

1. algorithm의 실행을 일시 중지한다.

2. 단언: 대기 큐는 resume id를 포함하지 않는다.

3. 대기 큐[resume id]를 (events, algorithm)으로 설정한다.

주어진 name, id 및 parameters로 재개하려면:

1. 대기 큐가 id를 포함하지 않으면, 반환한다.

2. (events, algorithm)을 대기 큐[id]로 둔다.

3. events의 각 event에 대해:

   1. event가 name과 같으면:

      1. 대기 큐에서 id를 제거한다.

      2. algorithm의 단계들을 일시 중지된 지점부터 계속 실행하며, name 및 parameters를 대기의 결과로 전달한다.

         이것이 이벤트 루프의 다른 어떤 작업보다 먼저 실행되도록 보장하기 위해 마이크로태스크 같은 것이 있어야 하는가?

참고: 이 알고리즘은 주어진 navigable에 대한 WebDriver 구성에 접근할 수 있게 하며, navigables의 값을 확인한 다음, user contexts를 확인하고 마지막으로 global을 확인한다. 구성이 설정되어 있지 않으면 설정되지 않음을 반환한다.

WebDriver 구성 configuration의 navigable navigable에 대한 WebDriver 구성 값 가져오기를 하려면:

1. top-level traversable을 navigable의 최상위 traversable로 둔다.

2. configuration의 navigables가 top-level traversable을 포함하면:

   1. navigable configuration value를 configuration의 navigables[top-level traversable]로 둔다.

   2. navigable configuration value가 설정되지 않음이 아니면, navigable configuration value를 반환한다.

3. user context를 navigable의 연관된 사용자 컨텍스트로 둔다.

4. configuration의 user contexts가 user context를 포함하면:

   1. user context configuration value를 configuration의 user contexts[user context]로 둔다.

   2. user context configuration value가 설정되지 않음이 아니면, user context configuration value를 반환한다.

5. configuration의 global을 반환한다.

참고: 이는 target별로 WebDriver 구성을 저장하기 위한 일반 알고리즘이다. target은 navigable, 사용자 컨텍스트 중 하나일 수 있으며, target이 null이거나 생략된 경우 전역으로 저장한다.

제공되지 않은 경우 null인 선택적 target에 WebDriver 구성 configuration의 값 value를 저장하려면, 여기서 target은 navigable, 사용자 컨텍스트 또는 null이다:

1. target이 null이면, configuration의 global을 value로 설정한다.

2. target이 사용자 컨텍스트이면, configuration의 user contexts[target]를 value로 설정한다.

3. target이 navigable이면, configuration의 navigables[target]를 value로 설정한다.

참고: 이 일반 알고리즘은 command parameters에 "userContexts"와 "contexts"가 있는지에 따라 WebDriver 구성의 값을 global, user contexts, 또는 navigables에 저장한다. 이 매개변수들은 서로 배타적이다. 둘 다 제공되지 않으면, 구성은 전역으로 저장된다.

주어진 command parameters에 대해 WebDriver 구성 configuration의 값 value를 WebDriver 구성 저장하려면:

1. command parameters가 "userContexts"를 포함하고 command parameters가 "contexts"를 포함하면, 오류를 반환하되, 오류 코드는 invalid argument로 한다.

2. affected navigables를 빈 집합으로 둔다.

3. command parameters가 "contexts"를 포함하면:

   1. navigables를 command parameters["contexts"]를 사용하여 id로 유효한 최상위 traversable 가져오기를 시도한 결과로 둔다.

   2. navigables의 각 navigable에 대해:

      1. navigable을 affected navigables에 추가한다.

      2. configuration의 value를 navigable에 저장한다.

4. 그렇지 않고, command parameters가 "userContexts"를 포함하면:

   1. user contexts를 command parameters["userContexts"]를 사용하여 유효한 사용자 컨텍스트 가져오기를 시도한 결과로 둔다.

   2. user contexts의 각 user context에 대해:

      1. 각 top-level traversable에 대해, 그 연관된 사용자 컨텍스트가 user context인 모든 최상위 traversable의 목록에서:

         1. top-level traversable을 affected navigables에 추가한다.

      2. configuration의 value를 user context에 저장한다.

5. 그렇지 않으면:

   1. 모든 최상위 traversable의 각 top-level traversable에 대해, top-level traversable을 affected navigables에 추가한다.

   2. configuration의 value를 저장한다.

6. affected navigables를 반환한다.

Command = {
  id: js-uint,
  CommandData,
  Extensible,
}

CommandData = (
  BrowserCommand //
  BrowsingContextCommand //
  EmulationCommand //
  InputCommand //
  NetworkCommand //
  ScriptCommand //
  SessionCommand //
  StorageCommand //
  WebExtensionCommand
)

EmptyParams = {
   Extensible
}

Message = (
  CommandResponse /
  ErrorResponse /
  Event
)

CommandResponse = {
  type: "success",
  id: js-uint,
  result: ResultData,
  Extensible
}

ErrorResponse = {
  type: "error",
  id: js-uint / null,
  error: ErrorCode,
  message: text,
  ? stacktrace: text,
  Extensible
}

ResultData = (
  BrowserResult /
  BrowsingContextResult /
  EmulationResult /
  InputResult /
  NetworkResult /
  ScriptResult /
  SessionResult /
  StorageResult /
  WebExtensionResult
)

EmptyResult = {
  Extensible
}

Event = {
  type: "event",
  EventData,
  Extensible
}

EventData = (
  BrowsingContextEvent //
  InputEvent //
  LogEvent //
  NetworkEvent //
  ScriptEvent
)

Extensible = (*text => any)

js-int = -9007199254740991..9007199254740991
js-uint = 0..9007199254740991

활성 BiDi 세션의 목록은 다음으로 주어진다:

1. BiDi sessions를 새 목록으로 둔다.

2. 활성 세션의 각 session에 대해:

   1. session이 BiDi 세션이면, session을 BiDi sessions에 추가한다.

3. BiDi sessions를 반환한다.

ErrorCode = "invalid argument" /
            "invalid selector" /
            "invalid session id" /
            "invalid web extension" /
            "move target out of bounds" /
            "no such alert" /
            "no such network collector" /
            "no such element" /
            "no such frame" /
            "no such handle" /
            "no such history entry" /
            "no such intercept" /
            "no such network data" /
            "no such node" /
            "no such request" /
            "no such screencast" /
            "no such script" /
            "no such storage partition" /
            "no such user context" /
            "no such web extension" /
            "session not created" /
            "unable to capture screen" /
            "unable to close browser" /
            "unable to set cookie" /
            "unable to set file input" /
            "unavailable network data" /
            "underspecified storage partition" /
            "unknown command" /
            "unknown error" /
            "unsupported operation"

event name 및 navigables가 주어졌을 때 이벤트가 활성화된 세션의 집합은 다음과 같다:

1. sessions를 새 집합으로 둔다.

2. 활성 BiDi 세션의 각 session에 대해:

   1. session, event name 및 navigables로 이벤트가 활성화되어 있으면, session을 sessions에 추가한다.

3. sessions를 반환한다.

주어진 session, event name 및 navigables에 대해 이벤트가 활성화되어 있는지 결정하려면:

참고: 공유 워커는 여러 컨텍스트와 연관될 수 있으므로, navigables는 집합이다.

1. top-level traversables를 navigables로 최상위 traversable 가져오기를 수행한 결과로 둔다.

2. session의 구독에 있는 각 subscription에 대해:

   1. subscription의 이벤트 이름이 event name을 포함하지 않으면, 계속한다.

   2. subscription이 전역이면 true를 반환한다.

   3. 사용자 컨텍스트 id가 비어 있지 않으면:

      1. top-level traversables의 각 navigable에 대해:

         1. subscription의 사용자 컨텍스트 id가 navigable의 연관된 사용자 컨텍스트의 사용자 컨텍스트 id를 포함하면, true를 반환한다.

   4. 그렇지 않으면:

      1. subscription top-level traversables를 subscription의 최상위 traversable id로 id로 navigable 가져오기를 수행한 결과로 둔다.

      2. top-level traversables와 subscription top-level traversables의 교집합이 비어 있지 않으면 true를 반환한다.

3. false를 반환한다.

event name 및 session이 주어졌을 때 이벤트가 활성화된 최상위 traversable의 집합은 다음과 같다:

1. result를 새 집합으로 둔다.

2. session의 구독에 있는 각 subscription에 대해:

   1. subscription의 이벤트 이름이 event name을 포함하지 않으면, 계속한다.

   2. subscription이 전역이면:

      1. 원격 끝의 최상위 traversable에 있는 각 traversable에 대해:

         1. traversable을 result에 추가한다.

      2. 중단한다.

   3. 그렇지 않고, 사용자 컨텍스트 id가 비어 있지 않으면:

      1. 원격 끝의 최상위 traversable에 있는 각 traversable에 대해:

         1. subscription의 사용자 컨텍스트 id가 traversable의 연관된 사용자 컨텍스트의 사용자 컨텍스트 id를 포함하면, traversable을 result에 추가한다.

   4. 그렇지 않으면:

      1. top-level traversables를 subscription의 최상위 traversable id로 id로 navigable 가져오기를 수행한 결과로 둔다.

      2. top-level traversables의 각 항목을 result에 추가한다.

3. result를 반환한다.

주어진 name에 대해 이벤트 이름 집합 얻기를 하려면:

1. events를 빈 집합으로 둔다.

2. name이 U+002E(마침표)를 포함하면:

   1. name이 이벤트의 이벤트 이름이면, name을 events에 추가하고 데이터 events와 함께 성공을 반환한다.

   2. 오류를 반환하되, 오류 코드는 invalid argument로 한다.

3. 그렇지 않으면 name은 모듈의 모든 이벤트를 나타내는 것으로 해석된다. name이 모듈 이름이 아니면, 오류를 반환하되, 오류 코드는 invalid argument로 한다.

4. 이름이 name인 모듈의 각 이벤트에 대한 이벤트 이름을 events에 추가한다.

5. 데이터 events와 함께 성공을 반환한다.

세션 session이 주어졌을 때 WebSocket 리소스 이름을 구성하려면:

1. session이 null이면, "/session"을 반환한다

2. 문자열 "/session/"과 session의 세션 ID를 연결한 결과를 반환한다.

WebSocket 리스너 listener와 세션 session이 주어졌을 때 WebSocket URL을 구성하려면:

1. resource name을 session으로 WebSocket 리소스 이름을 구성한 결과로 둔다.

2. listener의 host로 host를 설정하고, listener의 port로 port를 설정하며, path를 resource name으로 설정하고, listener의 secure flag가 설정되어 있으면 wss-URI 구성을 따르고 그렇지 않으면 ws-URL 구성을 따르는 방식으로 구성된 WebSocket URI를 반환한다.

resource name이 주어졌을 때 WebSocket 리소스의 세션 ID를 얻으려면:

1. resource name이 바이트 문자열 "/session/"로 시작하지 않으면, null을 반환한다.

2. session id를 resource name에서 "/session/" 접두사 뒤에 오는 바이트들로 둔다.

3. session id가 UUID의 문자열 표현이 아니면, null을 반환한다.

4. session id를 반환한다.

세션 session이 주어졌을 때 WebSocket 연결을 수신 대기하기 시작하려면:

1. 원격 끝이 재사용하고자 하는 기존 WebSocket 리스너가 활성 리스너 안에 있으면, listener를 그 리스너로 둔다. 그렇지 않으면 listener를 구현 정의 host, port, secure flag, 그리고 빈 WebSocket 리소스 목록을 갖는 새 WebSocket 리스너로 둔다.

2. resource name을 session으로 WebSocket 리소스 이름을 구성한 결과로 둔다.

3. resource name을 listener의 WebSocket 리소스 목록에 추가한다.

4. listener를 원격 끝의 활성 리스너에 추가한다.

5. listener를 반환한다.

WebSocket 연결 connection, 타입 type, 데이터 data가 주어졌을 때 들어오는 메시지 처리를 하려면:

1. type이 text가 아니면, connection, null 및 invalid argument가 주어졌을 때 오류 응답 전송을 하고, 마지막으로 반환한다.

2. 단언: data는 스칼라 값 문자열이다. 그렇지 않으면 WebSocket의 UTF-8로 인코딩된 데이터의 오류 처리가 이미 WebSocket 연결을 실패시켰을 것이기 때문이다.

   UTF-8 오류에 어떤 상태 코드를 사용하는지는 아무것도 정의하지 않는 듯하다.

3. connection과 연결된 BiDi 세션이 있으면, session을 그 세션으로 둔다. 그렇지 않고 connection이 세션과 연결되지 않은 WebSocket 연결에 있으면, session을 null로 둔다. 그렇지 않으면 반환한다.

4. parsed를 data가 주어졌을 때 JSON을 Infra 값으로 파싱한 결과로 둔다. 이것이 예외를 던지면, connection, null 및 invalid argument가 주어졌을 때 오류 응답 전송을 하고, 마지막으로 반환한다.

5. session이 null이 아니고 활성 세션에 없으면 반환한다.

6. parsed를 원격 끝 정의와 대조한다. 이것이 일치하면:

   1. matched를 일치한 데이터를 나타내는 맵으로 둔다.

   2. 단언: matched는 "id", "method" 및 "params"를 포함한다.

   3. command id를 matched["id"]로 둔다.

   4. method를 matched["method"]로 둔다

   5. command를 method라는 명령 이름을 가진 명령으로 둔다.

   6. session이 null이고 command가 정적 명령이 아니면, connection, command id, 그리고 invalid session id가 주어졌을 때 오류 응답 전송을 하고 반환한다.

   7. 다음 단계를 병렬로 실행한다:

      1. result를 session 및 명령 매개변수 matched["params"]가 주어졌을 때 command의 원격 끝 단계를 실행한 결과로 둔다.

      2. result가 오류이면, connection, command id, 그리고 result의 오류 코드가 주어졌을 때 오류 응답 전송을 하고, 마지막으로 반환한다.

      3. value를 result의 데이터로 둔다.

      4. 단언: value는 method라는 명령 이름을 가진 명령에 대응하는 결과 타입의 정의와 일치한다.

      5. method가 "session.new"이면, session을 활성 세션 목록에서 그 세션 ID가 value의 "sessionId" 속성과 같은 항목으로 두고, connection을 session의 세션 WebSocket 연결에 추가하며, connection을 세션과 연결되지 않은 WebSocket 연결에서 제거한다.

      6. response를 로컬 끝 정의의 CommandResponse 생성규칙과 일치하는 새 맵으로 둔다. 이때 id 필드는 command id로 설정하고 value 필드는 value로 설정한다.

      7. serialized를 response가 주어졌을 때 infra 값을 JSON 바이트로 직렬화한 결과로 둔다.

      8. serialized로 구성된 WebSocket 메시지를 전송하되, connection을 통해 전송한다.

7. 그렇지 않으면:

   1. command id를 null로 둔다.

   2. parsed가 맵이고 parsed["id"]가 존재하며 0 이상의 정수이면, command id를 그 정수로 설정한다.

   3. error code를 invalid argument로 둔다.

   4. parsed가 맵이고 parsed["method"]가 존재하며 문자열이지만, parsed["method"]가 모든 명령 이름의 집합에 없으면, error code를 unknown command로 설정한다.

   5. connection, command id, 그리고 error code가 주어졌을 때 오류 응답 전송을 한다.

settings 객체 settings가 주어졌을 때 관련 navigable 가져오기를 하려면:

1. related navigables를 빈 집합으로 둔다.

2. settings의 관련 전역 객체가 Window이면:

   1. navigable을 관련 전역 객체의 연관된 Document의 node navigable로 둔다.

   2. navigable이 null이 아니면, navigable을 related navigables에 추가한다.

3. 그렇지 않고 settings로 지정된 전역 객체가 WorkerGlobalScope이면, 그 전역 객체의 소유자 집합의 각 owner에 대해:

   1. navigable을 null로 둔다.

   2. owner가 Document이면, navigable을 owner의 node navigable로 설정한다.

   3. navigable이 null이 아니면, navigable을 related navigables에 추가한다.

4. related navigables를 반환한다.

컨텍스트 id의 목록 navigable ids가 주어졌을 때 id로 navigable 가져오기를 하려면:

1. result를 빈 집합으로 둔다.

2. navigable ids의 각 navigable id에 대해:

   1. 그러한 navigable이 존재하면 navigable을 id가 navigable id인 navigable로 두고, 그렇지 않으면 null로 둔다.

   2. navigable이 null이 아니면 navigable을 result에 추가한다.

3. result를 반환한다.

navigable의 목록 navigables가 주어졌을 때 최상위 traversable 가져오기를 하려면:

1. result를 빈 집합으로 둔다.

2. navigables의 각 navigable에 대해:

   1. navigable의 최상위 traversable을 result에 추가한다.

3. result를 반환한다.

컨텍스트 id의 목록 navigable ids가 주어졌을 때 id로 유효한 navigable 가져오기를 하려면:

1. result를 빈 집합으로 둔다.

2. navigable ids의 각 navigable id에 대해:

   1. navigable을 navigable id로 navigable 가져오기를 시도한 결과로 둔다.

   2. navigable을 result에 추가한다.

3. 데이터 result와 함께 성공을 반환한다.

컨텍스트 id의 목록 navigable ids가 주어졌을 때 id로 유효한 최상위 traversable 가져오기를 하려면:

1. result를 빈 집합으로 둔다.

2. navigable ids의 각 navigable id에 대해:

   1. navigable을 navigable id로 navigable 가져오기를 시도한 결과로 둔다.

   2. navigable이 최상위 traversable이 아니면, 오류를 반환하되 오류 코드는 invalid argument로 한다.

   3. navigable을 result에 추가한다.

3. 데이터 result와 함께 성공을 반환한다.

session 및 body가 주어졌을 때 이벤트 방출을 하려면:

1. 단언: body는 Event 생성규칙과 일치한다.

2. serialized를 body가 주어졌을 때 infra 값을 JSON 바이트로 직렬화한 결과로 둔다.

3. session의 세션 WebSocket 연결에 있는 각 connection에 대해:

   1. serialized로 구성된 WebSocket 메시지를 전송하되, connection을 통해 전송한다.

WebSocket 연결 connection, command id, 그리고 error code가 주어졌을 때 오류 응답 전송을 하려면:

1. error data를 로컬 끝 정의의 ErrorResponse 생성규칙과 일치하는 새 맵으로 둔다. 이때 id 필드는 command id로 설정하고, error 필드는 error code로 설정하며, message 필드는 발생한 오류에 대한 사람이 읽을 수 있는 정의를 포함하는 구현 정의 문자열로 설정하고, stacktrace 필드는 오류가 발생한 시점의 활성 스택 프레임에 대한 스택 추적 보고서를 포함하는 구현 정의 문자열로 선택적으로 설정한다.

2. response를 error data가 주어졌을 때 infra 값을 JSON 바이트로 직렬화한 결과로 둔다.

   참고: command id는 null일 수 있으며, 이 경우 id 필드도 response에서 생략되지 않고 null로 설정된다.

3. response로 구성된 WebSocket 메시지를 전송하되, connection을 통해 전송한다.

WebSocket 연결 connection이 주어졌을 때 연결 닫힘 처리를 하려면:

1. connection과 연결된 BiDi 세션이 있으면:

   1. session을 connection과 연결된 BiDi 세션으로 둔다.

   2. connection을 session의 세션 WebSocket 연결에서 제거한다.

2. 그렇지 않고, 세션과 연결되지 않은 WebSocket 연결이 connection을 포함하면, connection을 그 집합에서 제거한다.

참고: 이는 어떤 세션도 종료하지 않는다.

UA가 원할 경우 리스너를 닫을 수 있도록 세션 종료에 연결해야 한다.

session이 주어졌을 때 WebSocket 연결 닫기를 하려면:

1. session의 세션 WebSocket 연결에 있는 각 connection에 대해:

   1. connection으로 WebSocket closing handshake를 시작한다.

      참고: 이는 connection에 대해 연결 닫힘 처리 단계가 실행되도록 하며, 이 단계는 connection과 관련된 리소스를 정리한다.

이 명세에서 정의하는 WebDriver 새 세션 알고리즘은 매개변수 session, capabilities, flags에 대해 다음과 같다:

1. flags가 "bidi"를 포함하면 반환한다.

2. webSocketUrl을 capabilities에서 "webSocketUrl"이라는 이름의 속성 가져오기를 수행한 결과로 둔다.

3. webSocketUrl이 undefined이면 반환한다.

4. 단언: webSocketUrl은 true이다.

5. listener를 session이 주어졌을 때 WebSocket 연결 수신 시작을 수행한 결과로 둔다.

6. webSocketUrl을 listener 및 session으로 WebSocket URL 구성을 수행한 결과로 설정한다.

7. capabilities에 "webSocketUrl"이라는 이름의 속성 설정을 하여 webSocketUrl로 설정한다.

8. session의 BiDi 플래그를 true로 설정한다.

9. "bidi"를 flags에 추가한다.

구현은 클라이언트가 BiDi 세션이면서 HTTP 세션이 아닌 세션을 수립할 수도 있게 해야 한다. 이 경우 WebSocket 서버의 URL은 대역 외로 전달된다. 이를 허용하는 구현은 BiDi 전용 세션을 지원한다. 그러한 구현이 WebDriver 세션을 시작하는 요청을 받아들일 준비가 된 시점에, 다음을 해야 한다:

1. null이 주어졌을 때 WebSocket 연결 수신 시작을 한다.

name 및 navigable이 주어졌을 때 샌드박스 렐름 가져오기 또는 생성을 하려면:

1. name이 빈 문자열이면, 오류를 반환하되 오류 코드는 invalid argument로 한다.

2. window를 navigable의 활성 window로 둔다.

3. 샌드박스 맵이 window를 포함하지 않으면, 샌드박스 맵[window]을 새 맵으로 설정한다.

4. sandboxes를 샌드박스 맵[window]로 둔다.

5. sandboxes가 name을 포함하지 않으면, sandboxes[name]을 navigable로 샌드박스 렐름 생성을 수행한 결과로 설정한다.

6. 데이터 sandboxes[name]와 함께 성공을 반환한다.

window로 샌드박스 렐름 생성을 하려면:

샌드박스 렐름의 생성을 정의한다. 이는 window를 래핑하는 SandboxWindowProxy를 반환하게 된다.

target realm이 주어졌을 때 샌드박스 이름 가져오기를 하려면:

1. realms maps를 값 가져오기를 샌드박스 맵에 수행한 결과로 둔다.

2. realms maps의 각 realms map에 대해:

   1. realms map의 각 name → realm에 대해:

      1. realm이 target realm이면, name을 반환한다.

3. null을 반환한다.

object의 래핑 해제된 것을 얻으려면:

1. object가 SandboxProxy 또는 SandboxWindowProxy인 동안, object를 그것의 래핑된 객체로 설정한다.

2. object를 반환한다.

사용자 컨텍스트 구독 제거를 하려면:

1. 활성 세션의 각 session에 대해:

   1. subscriptions to remove를 집합으로 둔다.

   2. session의 구독에 있는 각 subscription에 대해:

      1. subscription의 사용자 컨텍스트 id가 navigable의 연관된 사용자 컨텍스트의 사용자 컨텍스트 id를 포함하면:

         1. navigable의 연관된 사용자 컨텍스트의 사용자 컨텍스트 id를 subscription의 사용자 컨텍스트 id에서 제거한다.

         2. subscription의 사용자 컨텍스트 id가 비어 있으면:

            1. subscription을 subscriptions to remove에 추가한다.

   3. subscriptions to remove를 session의 구독에서 제거한다.

user context id가 주어졌을 때 사용자 컨텍스트 가져오기를 하려면:

1. 사용자 컨텍스트 집합의 각 user context에 대해:

2. user context의 사용자 컨텍스트 id가 user context id와 같으면:

   1. user context를 반환한다.

3. null을 반환한다.

user context ids가 주어졌을 때 유효한 사용자 컨텍스트 가져오기를 하려면:

1. result를 빈 집합으로 둔다.

2. user context ids의 각 user context id에 대해:

   1. user context를 user context id로 사용자 컨텍스트 가져오기를 수행한 결과로 설정한다.

   2. user context가 null이면, 오류를 반환하되 오류 코드는 no such user context로 한다.

   3. user context를 result에 추가한다.

3. result를 반환한다.

SessionCommand = (
  session.End //
  session.New //
  session.Status //
  session.Subscribe //
  session.Unsubscribe
)

SessionResult = (
  session.EndResult /
  session.NewResult /
  session.StatusResult /
  session.SubscribeResult /
  session.UnsubscribeResult
)

session이 주어졌을 때 세션 종료를 하려면:

1. session을 활성 세션에서 제거한다.

2. 활성 세션이 비어 있으면, webdriver-active 플래그를 false로 설정한다.

session이 주어졌을 때 세션 정리를 하려면:

1. session으로 WebSocket 연결 닫기를 한다.

2. 사용자 컨텍스트 집합의 각 user context에 대해:

   1. session의 사용자 컨텍스트에서 안전하지 않은 인증서 허용 재정의로의 맵[user context]를 제거한다.

   2. session의 사용자 컨텍스트에서 프록시 구성으로의 맵[user context]를 제거한다.

3. session의 차단된 요청 맵에 있는 각 request id → (request, phase, response)에 대해:

   1. "continue request", request id 및 (response, "incomplete")로 재개한다.

4. session의 네트워크 컬렉터에 있는 각 collector에 대해:

   1. collector id를 collector의 컬렉터로 둔다.

   2. 수집된 네트워크 데이터의 각 collected data에 대해, collected data 및 collector id로 데이터에서 컬렉터 제거를 한다.

5. session의 스크린캐스트 녹화 맵에 있는 각 screencast recording에 대해:

   1. screencast recording이 주어졌을 때 스크린캐스트 녹화를 중지한다.

   2. 제거: screencast recording을 스크린캐스트 녹화 맵에서 제거한다.

6. 활성 세션이 비어 있으면, 원격 끝 상태 정리를 한다.

7. 구현별 정리 단계를 수행한다.

원격 끝 상태 정리를 하려면.

1. before request sent 맵을 비운다.

2. 기본 캐시 동작을 "default"로 설정한다.

3. navigable 캐시 동작 맵을 비운다.

4. 현재 원격 끝 구성에서 일반적으로 활성화되는 구현별 리소스 캐시를 활성화하기 위해 구현 정의 단계를 수행한다.

session.CapabilitiesRequest = {
  ? alwaysMatch: session.CapabilityRequest,
  ? firstMatch: [*session.CapabilityRequest]
}

session.CapabilityRequest = {
  ? acceptInsecureCerts: bool,
  ? browserName: text,
  ? browserVersion: text,
  ? platformName: text,
  ? proxy: session.ProxyConfiguration,
  ? unhandledPromptBehavior: session.UserPromptHandler,
  Extensible
}

"webSocketUrl" 기능의 추가 기능 역직렬화 알고리즘은 매개변수 value를 사용하며 다음과 같습니다:

1. value가 boolean이 아닌 경우, 오류를 코드 잘못된 인수와 함께 반환합니다.

2. 데이터 value와 함께 성공을 반환합니다.

"webSocketUrl" 기능의 일치하는 기능 직렬화 알고리즘은 매개변수 value를 사용하며 다음과 같습니다:

1. value가 false인 경우, 데이터 null과 함께 성공을 반환합니다.

2. 데이터 true와 함께 성공을 반환합니다.

session.CapabilityResponse = {
  acceptInsecureCerts: bool,
  browserName: text,
  browserVersion: text,
  platformName: text,
  setWindowRect: bool,
  userAgent: text,
  ? proxy: session.ProxyConfiguration,
  ? unhandledPromptBehavior: session.UserPromptHandler,
  ? webSocketUrl: text,
  Extensible
}

session.ProxyConfiguration = {
   session.AutodetectProxyConfiguration //
   session.DirectProxyConfiguration //
   session.ManualProxyConfiguration //
   session.PacProxyConfiguration //
   session.SystemProxyConfiguration
}

session.AutodetectProxyConfiguration = (
   proxyType: "autodetect",
   Extensible
)

session.DirectProxyConfiguration = (
   proxyType: "direct",
   Extensible
)

session.ManualProxyConfiguration = (
   proxyType: "manual",
   ? httpProxy: text,
   ? sslProxy: text,
   ? session.SocksProxyConfiguration,
   ? noProxy: [*text],
   Extensible
)

session.SocksProxyConfiguration = (
   socksProxy: text,
   socksVersion: 0..255,
)

session.PacProxyConfiguration = (
   proxyType: "pac",
   proxyAutoconfigUrl: text,
   Extensible
)

session.SystemProxyConfiguration = (
   proxyType: "system",
   Extensible
)

session.UserPromptHandler = {
  ? alert: session.UserPromptHandlerType,
  ? beforeUnload: session.UserPromptHandlerType,
  ? confirm: session.UserPromptHandlerType,
  ? default: session.UserPromptHandlerType,
  ? file: session.UserPromptHandlerType,
  ? prompt: session.UserPromptHandlerType,
}

session.UserPromptHandlerType = "accept" / "dismiss" / "ignore";

session.Subscription = text

session.SubscribeParameters = {
  events: [+text],
  ? contexts: [+browsingContext.BrowsingContext],
  ? userContexts: [+browser.UserContext],
}

session.UnsubscribeByIDRequest = {
  subscriptions: [+session.Subscription],
}

session.UnsubscribeByAttributesRequest = {
  events: [+text],
}

session 및 command parameters가 주어졌을 때 원격 끝 단계는 다음과 같다:

1. body를 다음 속성을 가진 새 맵으로 둔다:

   "ready"

   원격 끝의 준비 상태.

   "message"

   원격 끝의 준비 상태를 설명하는 구현 정의 문자열.

2. 데이터 body와 함께 성공을 반환한다

session 및 command parameters가 주어졌을 때 원격 끝 단계는 다음과 같다:

1. session이 null이 아니면, 오류 코드 session not created인 오류를 반환한다.

2. 어떤 이유로든 구현이 새 세션을 시작할 수 없으면, 오류 코드 session not created인 오류를 반환한다.

3. flags를 "bidi"를 포함하는 집합으로 둔다.

4. capabilities json을 command parameters 및 flags로 기능 처리를 시도한 결과로 둔다.

5. capabilities를 capabilities json으로 JSON 파생 JavaScript 값을 Infra 값으로 변환한 결과로 둔다.

6. session을 capabilities 및 flags로 세션 생성을 시도한 결과로 둔다.

7. session의 BiDi 플래그를 true로 설정한다.

   참고: 이 세션에 대한 연결은 호출자에 의해 현재 연결로 설정된다.

8. body를 session.NewResult 생성규칙과 일치하는 새 맵으로 둔다. 이때 sessionId 필드는 session의 세션 ID로 설정하고, capabilities 필드는 capabilities로 설정한다.

9. 데이터 body와 함께 성공을 반환한다.

session 및 command parameters가 주어졌을 때 원격 끝 단계는 다음과 같다:

1. session으로 세션 종료를 한다.

2. 데이터 null과 함께 성공을 반환하고, 병렬로 다음 단계를 실행한다:

   1. 이 명령에 대한 응답으로 WebSocket 메시지 전송 단계가 호출될 때까지 기다린다.

      이는 다소 부정확한 표현이지만, 의도는 연결 종료를 시작하기 전에 명령에 대한 응답을 전송한다는 점이 명확하기를 바란다.

   2. session으로 세션 정리를 한다.

session 및 command parameters로 원격 끝 단계는 다음과 같다:

1. event names를 빈 집합으로 둔다.

2. command parameters["events"]의 각 항목 name에 대해, event names를 event names와 name으로 이벤트 이름 집합 얻기를 시도한 결과의 합집합으로 둔다.

3. input user context ids를 command parameters[userContexts]로 집합 생성을 수행한 결과로 둔다.

4. input context ids를 command parameters[contexts]로 집합 생성을 수행한 결과로 둔다.

5. input user context ids가 비어 있지 않고 input context ids도 비어 있지 않으면, 오류를 반환하되, 오류 코드는 invalid argument로 한다.

6. subscription navigables를 집합으로 둔다.

7. top-level traversable context ids를 집합으로 둔다.

8. input context ids가 비어 있지 않으면:

   1. navigables를 input context ids로 id로 유효한 navigable 가져오기를 시도한 결과로 둔다.

   2. subscription navigables를 navigables로 최상위 traversable 가져오기를 수행한 결과로 설정한다.

   3. subscription navigables의 각 navigable에 대해:

      1. navigable의 navigable id를 top-level traversable context ids에 추가한다.

9. 그렇지 않고, input user context ids가 비어 있지 않으면:

   1. input user context ids의 각 user context id에 대해:

      1. user context를 user context id로 사용자 컨텍스트 가져오기를 수행한 결과로 둔다.

      2. user context가 null이면, 오류를 반환하되, 오류 코드는 no such user context로 한다.

      3. 연관된 사용자 컨텍스트가 user context인 모든 최상위 traversable의 목록에 있는 각 top-level traversable에 대해:

         1. top-level traversable을 subscription navigables에 추가한다.

10. 그렇지 않으면, subscription navigables를 원격 끝의 모든 최상위 traversable의 집합으로 설정한다.

11. subscription을 구독으로 둔다. 이때 구독 id는 UUID의 문자열 표현으로 설정하고, 이벤트 이름은 event names로 설정하며, 최상위 traversable id는 top-level traversable context ids로 설정하고 사용자 컨텍스트 id는 input user context ids로 설정한다.

12. subscribe step events를 새 맵으로 둔다.

13. event names의 각 event name에 대해:

    1. event name이라는 이벤트 이름을 가진 이벤트가 원격 끝 구독 단계를 정의하지 않으면, 계속한다;

    2. existing navigables를 session 및 event name으로 이벤트가 활성화된 최상위 traversable의 집합을 수행한 결과로 둔다.

    3. subscribe step events[event name]을 subscription navigables와 existing navigables의 차집합으로 설정한다.

14. subscription을 session의 구독에 추가한다.

15. subscription의 구독 id를 session의 알려진 구독 id에 추가한다.

16. 키가 event name one 및 event name two인 두 항목이 주어졌을 때, 다음 less than 알고리즘을 사용하여 subscribe step events를 오름차순으로 정렬한다:

    1. event one을 이름이 event name one인 이벤트로 둔다

    2. event two를 이름이 event name two인 이벤트로 둔다

    3. event one의 구독 우선순위가 event two의 구독 우선순위보다 작으면 true를 반환하고, 그렇지 않으면 false를 반환한다.

17. subscription이 전역이면 include global을 true로 두고, 그렇지 않으면 include global을 false로 둔다.

18. subscribe step events의 각 event name → navigables에 대해:

    1. event name이라는 이벤트 이름을 가진 이벤트에 대한 원격 끝 구독 단계를 session, navigables 및 include global이 주어졌을 때 실행한다.

19. body를 session.SubscribeResult 생성규칙과 일치하는 새 맵으로 둔다. 이때 subscription 필드는 subscription의 구독 id로 설정한다.

20. 데이터 body와 함께 성공을 반환한다.

session 및 command parameters로 원격 끝 단계는 다음과 같다:

1. command parameters가 "subscriptions"를 포함하지 않으면:

   참고: 이 조건은 command parameters가 session.UnsubscribeByAttributesRequest 생성규칙과 일치함을 의미한다.

   1. event names를 빈 집합으로 둔다.

   2. command parameters["events"]의 각 항목 name에 대해, event names를 event names와 name으로 이벤트 이름 집합 얻기를 시도한 결과의 합집합으로 둔다.

   3. new subscriptions를 목록으로 둔다.

   4. matched events를 집합으로 둔다.

   5. session의 구독의 각 subscription에 대해:

      1. subscription의 이벤트 이름과 event names의 교집합이 빈 집합이면:

         1. subscription을 new subscriptions에 추가한다.

         2. 계속한다.

      2. subscription이 전역이 아니면:

         1. subscription을 new subscriptions에 추가한다.

         2. 계속한다.

      3. subscription event names를 subscription의 이벤트 이름의 복제로 둔다.

      4. event names의 각 event name에 대해:

         1. subscription event names가 event name을 포함하면:

            1. event name을 matched events에 추가한다.

            2. event name을 subscription event names에서 제거한다.

      5. subscription event names가 비어 있지 않으면:

         1. cloned subscription을 구독으로 둔다. 이때 구독 id는 subscription의 구독 id로 설정하고, 이벤트 이름은 subscription event names를 포함하는 새 집합으로 설정한다.

         2. cloned subscription을 new subscriptions에 추가한다.

   6. matched events와 동등하지 않은 event names라면, 오류를 반환하며 오류 코드는 invalid argument입니다.

   7. session의 구독을 new subscriptions로 설정한다.

2. 그렇지 않으면:

   1. subscriptions를 command parameters[subscriptions]로 집합 생성을 수행한 결과로 둔다.

   2. unknown subscription ids를 subscriptions와 session의 알려진 구독 id의 차집합으로 둔다.

   3. unknown subscription ids가 비어 있지 않으면:

      1. 오류를 반환하되, 오류 코드는 invalid argument로 한다.

   4. subscriptions to remove를 빈 집합으로 둔다.

   5. session의 구독에 있는 각 subscription에 대해:

      1. subscriptions가 subscription의 구독 id를 포함하면:

         1. subscription을 subscriptions to remove에 추가한다.

   6. session의 알려진 구독 id를 session의 알려진 구독 id와 subscriptions의 차집합으로 설정한다.

   7. subscriptions to remove의 각 항목을 session의 구독에서 제거한다.

3. 데이터 null과 함께 성공을 반환한다.

BrowserCommand = (
  browser.Close //
  browser.CreateUserContext //
  browser.GetClientWindows //
  browser.GetUserContexts //
  browser.RemoveUserContext //
  browser.SetClientWindowState //
  browser.SetDownloadBehavior
)

BrowserResult = (
  browser.CloseResult /
  browser.CreateUserContextResult /
  browser.GetClientWindowsResult /
  browser.GetUserContextsResult /
  browser.RemoveUserContextResult /
  browser.SetClientWindowStateResult /
  browser.SetDownloadBehaviorResult
)

window가 주어졌을 때 클라이언트 창 상태 가져오기를 하려면:

1. documents를 빈 목록으로 둔다.

2. visible documents를 빈 목록으로 둔다.

3. 각 최상위 traversable traversable에 대해:

   1. traversable의 클라이언트 창이 window가 아니면 계속한다.

   2. document를 traversable의 활성 문서로 둔다.

   3. document를 documents에 추가한다.

   4. document의 가시성 상태가 "visible"이면, document를 visible documents에 추가한다.

4. visible documents의 각 document에 대해:

   1. document의 fullscreen 요소가 null이 아니면 "fullscreen"을 반환한다.

5. visible documents가 비어 있고 documents가 비어 있지 않으면, 또는 window가 그 밖에 OS별 최소화 상태이면, "minimized"를 반환한다.

   참고: 이는 일반적으로, 하지만 반드시 그런 것은 아니지만, window의 너비와 높이가 0과 같음을 의미한다.

6. window가 OS별 최대화 상태이면 "maximized"를 반환한다.

   참고: 이는 일반적으로, 하지만 반드시 그런 것은 아니지만, window의 너비가 웹에 노출된 화면 영역의 너비와 같고 window의 높이가 웹에 노출된 화면 영역의 높이와 같음을 의미한다.

7. "normal"을 반환한다.

window 및 state가 주어졌을 때 클라이언트 창 상태 설정을 하려면:

1. current state를 window로 클라이언트 창 상태 가져오기를 수행한 결과로 둔다.

2. current state가 "fullscreen", "maximized" 또는 "minimized"이고 state와 같으면, 데이터 null과 함께 성공을 반환한다.

3. 다음 조건과 연관된 단계의 목록에서, 연관된 조건이 true인 첫 번째 단계 집합을 실행한다:

   "fullscreen"

   fullscreen이 지원됨이 아니면, 오류를 반환하되 오류 코드는 unsupported operation으로 한다.

   "normal"

   window에 대해 클라이언트 창 복원이 지원됨이 아니면, 오류를 반환하되 오류 코드는 unsupported operation으로 한다.

   "maximize"

   window에 대해 클라이언트 창 최대화가 지원됨이 아니면, 오류를 반환하되 오류 코드는 unsupported operation으로 한다.

   "minimize"

   window에 대해 클라이언트 창 최소화가 지원됨이 아니면, 오류를 반환하되 오류 코드는 unsupported operation으로 한다.

4. documents를 빈 목록으로 둔다.

5. 각 최상위 traversable traversable에 대해:

   1. traversable의 연관된 클라이언트 창이 window가 아니면 계속한다.

   2. document를 traversable의 활성 문서로 둔다.

   3. document를 documents에 추가한다.

6. documents가 비어 있으면, 오류를 반환하되 오류 코드는 no such client window로 한다.

7. current state가 "fullscreen"이면:

   1. documents의 각 document에 대해:

      1. document로 fullscreen 완전 종료를 한다.

         참고: 이는 fullscreen이 아닌 창의 문서에 대해서는 아무 작업도 하지 않는다.

8. current state가 "maximized" 또는 "minimized"이면:

   1. window를 클라이언트 창 복원한다.

9. state의 값에 따라 전환한다:

   "fullscreen"

   1. documents의 각 document에 대해:

      1. document의 가시성 상태가 "visible"이면, document의 document 요소로 요소를 fullscreen으로 만들기를 한다.

      2. 중단한다.

   "maximize"

   1. window를 클라이언트 창 최대화한다.

   "minimize"

   1. window를 클라이언트 창 최소화한다.

10. 데이터 null과 함께 성공을 반환한다.

browser.ClientWindow = text;

browser.ClientWindowInfo = {
  active: bool,
  clientWindow: browser.ClientWindow,
  height: js-uint,
  state: "fullscreen" / "maximized" / "minimized" / "normal",
  width: js-uint,
  x: js-int,
  y: js-int,
}

client window가 주어졌을 때 클라이언트 창 정보 가져오기를 하려면:

1. client window id를 client window에 대한 클라이언트 창 id로 둔다.

2. state를 client window로 클라이언트 창 상태 가져오기를 수행한 결과로 둔다.

3. client window가 운영체제로부터 전달되는 키보드 입력을 받을 수 있으면 active를 true로 두고, 그렇지 않으면 active를 false로 둔다.

   참고: 이는 최상위 traversable 중 그 클라이언트 창이 client window인 것이 시스템 포커스를 가진다는 의미일 수 있으며, 또는 브라우저 자체의 사용자 인터페이스가 현재 포커스를 가진다는 의미일 수도 있다.

4. client window info를 clientWindow 필드는 client window id로, state 필드는 state로, x 필드는 client window의 x 좌표로, y 필드는 client window의 y 좌표로, width 필드는 client window의 너비로, height 필드는 client window의 높이로, 그리고 active 필드는 active로 설정한 browser.ClientWindowsInfo 생성규칙과 일치하는 맵으로 둔다.

5. client window info를 반환한다

browser.UserContext = text;

browser.UserContextInfo = {
  userContext: browser.UserContext
}

session 및 command parameters로 원격 끝 단계는 다음과 같다:

1. session으로 세션 종료를 한다.

2. 활성 세션이 비어 있지 않으면, 구현은 unable to close browser 오류 코드의 오류를 반환할 수 있으며, 그 후 다음 단계를 병렬로 실행한다:

   1. 이 명령에 대한 응답으로 WebSocket 메시지 전송 단계가 호출될 때까지 기다린다.

   2. session으로 세션 정리를 한다.

   참고: 브라우저가 여러 자동화 세션을 가진 경우의 동작은 현재 지정되어 있지 않다. 어느 세션이든 브라우저를 닫을 수 있을 수도 있고, 실제로는 마지막으로 열린 세션만 브라우저를 닫을 수 있을 수도 있으며, 또는 처음 시작된 세션만 그럴 수도 있다. 이 동작은 이 명세의 향후 버전에서 완전히 지정될 수 있다.

3. 활성 세션의 각 active session에 대해:

   1. active session으로 세션 종료를 한다.

   2. active session으로 세션 정리를 한다

4. 데이터 null과 함께 성공을 반환하고, 다음 단계를 병렬로 실행한다.

   1. 이 명령에 대한 응답으로 WebSocket 메시지 전송 단계가 호출될 때까지 기다린다.

   2. session으로 세션 정리를 한다.

   3. 최상위 traversable을 언로드 프롬프트 없이 닫는다.

   4. 자동화 중인 원격 끝과 관련된 리소스를 정리하기 위해 구현 정의 단계를 수행한다.

      참고: 예를 들어 여기에는 자동화 중인 브라우저와 관련된 OS 수준 프로세스를 깨끗하게 종료하거나, 원격 끝이 자동화 중에 생성한 사용자 프로필 데이터 같은 임시 상태를 제거하거나, WebSocket 리스너를 종료하는 것이 포함될 수 있다. 브라우저와 운영체제 간의 차이 때문에, 여기서 로컬 끝이 의존할 수 있는 정확한 불변 조건을 자세히 지정하는 것은 불가능하다.

session 및 command parameters로 원격 끝 단계는 다음과 같다:

1. user context를 새 사용자 컨텍스트로 둔다.

2. command parameters가 "acceptInsecureCerts"를 포함하면:

   참고: "acceptInsecureCerts"가 설정되면, 안전하지 않은 TLS 허용 플래그의 동작을 재정의한다.

   1. acceptInsecureCerts를 command parameters["acceptInsecureCerts"]로 둔다:

   2. acceptInsecureCerts가 true이고 엔드포인트 노드가 안전하지 않은 TLS 연결 허용을 지원하지 않으면, 오류를 반환하되 오류 코드는 unsupported operation으로 한다.

   3. session의 사용자 컨텍스트에서 안전하지 않은 인증서 허용 재정의로의 맵[user context]을 acceptInsecureCerts로 설정한다.

3. command parameters가 "unhandledPromptBehavior"를 포함하면, 처리되지 않은 프롬프트 동작 재정의 맵[user context]을 command parameters["unhandledPromptBehavior"]로 설정한다.

4. command parameters가 "proxy"를 포함하면:

   1. proxy configuration을 command parameters["proxy"]로 둔다.

   2. 원격 끝이 사용자 컨텍스트별 프록시 설정을 구성할 수 없거나, proxy configuration으로 프록시를 구성할 수 없으면, 오류를 반환하되 오류 코드는 unsupported operation으로 한다.

   3. session의 사용자 컨텍스트에서 프록시 구성으로의 맵[user context]을 proxy configuration으로 설정한다.

5. user context를 사용자 컨텍스트 집합에 추가한다.

6. user context info를 userContext 필드가 user context의 사용자 컨텍스트 id로 설정된 browser.UserContextInfo 생성규칙과 일치하는 맵으로 둔다.

7. 데이터 user context info와 함께 성공을 반환한다.

원격 끝 단계는 다음과 같다:

1. client window ids를 빈 집합으로 둔다.

2. client windows를 빈 목록으로 둔다.

3. 각 최상위 traversable traversable에 대해:

   1. client window를 traversable의 연관된 클라이언트 창으로 둔다

   2. client window id를 client window에 대한 클라이언트 창 id로 둔다.

   3. client window ids가 client window id를 포함하면 계속한다.

   4. client window id를 client window ids에 추가한다.

   5. client window info를 client window로 클라이언트 창 정보 가져오기를 수행한 결과로 둔다.

   6. client window info를 client windows에 추가한다.

4. result를 clientWindows 필드가 client windows로 설정된 browser.GetClientWindowsResult 생성규칙과 일치하는 맵으로 둔다.

5. 데이터 result와 함께 성공을 반환한다.

원격 끝 단계는 다음과 같다:

1. user contexts를 빈 목록으로 둔다.

2. 사용자 컨텍스트 집합의 각 user context에 대해:

   1. user context info를 userContext 필드가 user context의 사용자 컨텍스트 id로 설정된 browser.UserContextInfo 생성규칙과 일치하는 맵으로 둔다.

   2. user context info를 user contexts에 추가한다.

3. result를 userContexts 필드가 user contexts로 설정된 browser.GetUserContextsResult 생성규칙과 일치하는 맵으로 둔다.

4. 데이터 result와 함께 성공을 반환한다.

command parameters로 원격 끝 단계는 다음과 같다:

1. user context id를 command parameters["userContext"]로 둔다.

2. user context id가 "default"이면, 오류를 반환하되 오류 코드는 invalid argument로 한다.

3. user context를 user context id로 사용자 컨텍스트 가져오기를 수행한 결과로 설정한다.

4. user context가 null이면, 오류를 반환하되 오류 코드는 no such user context로 한다.

5. 각 최상위 traversable navigable에 대해:

   1. navigable의 연관된 사용자 컨텍스트가 user context이면:

      1. navigable을 언로드 프롬프트 없이 닫는다.

6. user context를 사용자 컨텍스트 집합에서 제거한다.

7. 데이터 null과 함께 성공을 반환한다.

session 및 command parameters로 원격 끝 단계는 다음과 같다:

1. 구현이 클라이언트 창 상태 설정을 전혀 지원하지 않으면, 오류를 반환하되 오류 코드는 unsupported operation으로 한다.

2. command parameters["clientWindow"]를 클라이언트 창 id로 가지는 클라이언트 창이 있으면, client window를 그 클라이언트 창으로 둔다. 그렇지 않으면 오류를 반환하되 오류 코드는 no such client window로 한다.

3. client window 및 command parameters["state"]로 시도하여 클라이언트 창 상태 설정을 수행한다.

4. command parameters["state"]가 "normal"이면:

   1. command parameters가 "x"를 포함하고 구현이 클라이언트 창 위치 지정을 지원하면, client window의 x 좌표를 command parameters["x"]에 가능한 한 가까운 값으로 설정한다.

   2. command parameters가 "y"를 포함하고 구현이 클라이언트 창 위치 지정을 지원하면, client window의 y 좌표를 command parameters["y"]에 가능한 한 가까운 값으로 설정한다.

   3. command parameters가 "width"를 포함하고 구현이 클라이언트 창 크기 조정을 지원하면, client window의 너비를 command parameters["width"]에 가능한 한 가까운 값으로 설정한다.

   4. command parameters가 "width"를 포함하고 구현이 클라이언트 창 크기 조정을 지원하면, client window의 너비를 command parameters["width"]에 가능한 한 가까운 값으로 설정한다.

5. client window info를 client window로 클라이언트 창 정보 가져오기를 수행한 결과로 둔다.

6. 데이터 client window info와 함께 성공을 반환한다.

참고: 단순화를 위해 이는 모든 클라이언트 창 조작을 동기적으로 모델링한다. 따라서 반환된 클라이언트 창 치수는 창이 새 상태에 도달한 뒤의 값일 것으로 예상된다.

navigable이 주어졌을 때 다운로드 동작 가져오기를 하려면:

1. user context를 navigable의 연관된 사용자 컨텍스트로 둔다.

2. 다운로드 동작의 사용자 컨텍스트 다운로드 동작이 user context를 포함하면, 다운로드 동작의 사용자 컨텍스트 다운로드 동작[user context]을 반환한다.

3. 다운로드 동작의 기본 다운로드 동작을 반환한다.

session 및 command parameters로 원격 끝 단계는 다음과 같다:

1. command parameters["downloadBehavior"]가 null이면, download behavior를 null로 둔다.

2. 그렇지 않으면:

   1. command parameters["downloadBehavior"]["type"]이 "allowed"이면 allowed를 true로 두고, 그렇지 않으면 allowed를 false로 둔다.

   2. command parameters["downloadBehavior"]가 "destinationFolder"를 포함하면, destinationFolder를 command parameters["downloadBehavior"]["destinationFolder"]로 두고, 그렇지 않으면 destinationFolder를 null로 둔다.

   3. download behavior를 allowed가 allowed로 설정되고 destinationFolder가 destinationFolder로 설정된 다운로드 동작 구조체로 둔다.

3. 구현이 요구된 download behavior를 지원하지 않으면, 오류를 반환하되 오류 코드는 unsupported operation으로 한다.

4. command parameters의 userContexts 필드가 있으면:

   1. user contexts를 command parameters["userContexts"]로 유효한 사용자 컨텍스트 가져오기를 시도한 결과로 둔다.

   2. user contexts의 각 user context에 대해:

      1. download behavior가 null이면, 다운로드 동작의 사용자 컨텍스트 다운로드 동작에서 user context를 제거한다.

      2. 그렇지 않으면, 다운로드 동작의 사용자 컨텍스트 다운로드 동작[user context]을 download behavior로 설정한다.

5. 그렇지 않으면, 다운로드 동작의 기본 다운로드 동작을 download behavior로 설정한다.

6. 데이터 null과 함께 성공을 반환한다.

BrowsingContextCommand = (
  browsingContext.Activate //
  browsingContext.CaptureScreenshot //
  browsingContext.Close //
  browsingContext.Create //
  browsingContext.GetTree //
  browsingContext.HandleUserPrompt //
  browsingContext.LocateNodes //
  browsingContext.Navigate //
  browsingContext.Print //
  browsingContext.Reload //
  browsingContext.SetBypassCSP //
  browsingContext.SetViewport //
  browsingContext.StartScreencast //
  browsingContext.StopScreencast //
  browsingContext.TraverseHistory
)

BrowsingContextResult = (
  browsingContext.ActivateResult /
  browsingContext.CaptureScreenshotResult /
  browsingContext.CloseResult /
  browsingContext.CreateResult /
  browsingContext.GetTreeResult /
  browsingContext.HandleUserPromptResult /
  browsingContext.LocateNodesResult /
  browsingContext.NavigateResult /
  browsingContext.PrintResult /
  browsingContext.ReloadResult /
  browsingContext.SetBypassCSPResult /
  browsingContext.SetViewportResult /
  browsingContext.StartScreencastResult /
  browsingContext.StopScreencastResult /
  browsingContext.TraverseHistoryResult
)

BrowsingContextEvent = (
  browsingContext.ContextCreated //
  browsingContext.ContextDestroyed //
  browsingContext.DomContentLoaded //
  browsingContext.DownloadEnd //
  browsingContext.DownloadWillBegin //
  browsingContext.FragmentNavigated //
  browsingContext.HistoryUpdated //
  browsingContext.Load //
  browsingContext.NavigationAborted //
  browsingContext.NavigationCommitted //
  browsingContext.NavigationFailed //
  browsingContext.NavigationStarted //
  browsingContext.UserPromptClosed //
  browsingContext.UserPromptOpened
)

스크린캐스트 녹화 recording과 mime type이 주어졌을 때 스크린캐스트 녹화를 시작하려면:

1. 다음 단계를 병렬로 실행한다:

   1. mime type을 사용하여 recording의 stream 인코딩을 시작하고, 인코딩된 데이터의 연속 청크를 바이트 시퀀스로 생성한다. recording의 state가 "recording"인 동안 구현 정의 간격으로 새 청크를 생성한다.

   2. recording에 대해 생성된 각 청크 bytes에 대해, 다음 단계를 실행한다:

      1. bytes를 recording의 path에 있는 파일에 추가한다. 이것이 실패하면:

         1. recording의 writeError를 쓰기 실패를 설명하는 구현 정의 문자열로 설정한다.

         2. recording이 주어졌을 때 스크린캐스트 녹화를 중지한다.

스크린캐스트 녹화 recording이 주어졌을 때 스크린캐스트 녹화를 중지하려면:

1. recording의 state가 "recording"이 아니면 반환한다.

2. recording의 state를 "stopping"으로 설정한다.

3. recording에 대한 새 청크 생성을 중지하고, 남아 있는 인코딩된 데이터를 최종 청크로 플러시하며(스크린캐스트 녹화 시작에서처럼 처리됨), recording의 stream에서 캡처를 중지하고 그 비디오 트랙과, 있는 경우 그 오디오 트랙을 해제한 다음, recording의 state를 "stopped"로 설정한다.

4. recording의 state가 "stopped"가 될 때까지 기다린다.

browsingContext.BrowsingContext = text;

navigable id가 주어졌을 때 navigable 가져오기를 하려면:

1. navigable id가 null이면, 데이터 null과 함께 성공을 반환한다.

2. navigable id가 navigable id인 navigable이 없으면 오류를 반환하되 오류 코드는 no such frame으로 한다.

3. navigable을 id가 navigable id인 navigable로 둔다.

4. 데이터 navigable과 함께 성공을 반환한다.

browsingContext.InfoList = [*browsingContext.Info]

browsingContext.BaseInfo = (
  children: browsingContext.InfoList / null,
  clientWindow: browser.ClientWindow,
  context: browsingContext.BrowsingContext,
  originalOpener: browsingContext.BrowsingContext / null,
  url: text,
  userContext: browser.UserContext,
  ? parent: browsingContext.BrowsingContext / null,
)

browsingContext.Info = {
  browsingContext.BaseInfo
}

navigable이 주어졌을 때 자식 navigable 가져오기를 하려면:

TODO: 이를 문서 순서의 목록을 반환하도록 만든다

1. child navigables를 navigable의 자식 navigable인 모든 navigable을 포함하는 집합으로 둔다.

2. child navigables를 반환한다.

navigable, max depth 및 include parent id가 주어졌을 때 navigable 정보 가져오기를 하려면:

1. navigable id를 navigable에 대한 navigable id로 둔다.

2. parent navigable을 navigable의 부모로 둔다.

3. parent navigable이 null이 아니면 parent id를 parent navigable의 navigable id로 둔다. 그렇지 않으면 parent id를 null로 둔다.

4. document를 navigable의 활성 문서로 둔다.

5. url을 document의 URL이 주어졌을 때 URL 직렬화기를 실행한 결과로 둔다.

   참고: 이는 URL의 fragment 컴포넌트를 포함한다.

6. child infos를 null로 둔다.

7. max depth가 null이거나 max depth가 0보다 크면:

   1. child navigables를 navigable이 주어졌을 때 자식 navigable 가져오기를 수행한 결과로 둔다.

   2. max depth가 null이 아니면 child depth를 max depth - 1로, 그렇지 않으면 null로 둔다.

   3. child infos를 빈 목록으로 설정한다.

   4. child navigables의 각 child navigable에 대해:

      1. info를 child navigable, child depth, false가 주어졌을 때 navigable 정보 가져오기를 수행한 결과로 둔다.

      2. info를 child infos에 추가한다

8. user context를 navigable의 연관된 사용자 컨텍스트로 둔다.

9. navigable의 원래 opener가 null이 아니면 opener id를 navigable의 원래 opener에 대한 navigable id로 두고, 그렇지 않으면 null로 둔다.

10. top-level traversable을 navigable의 최상위 traversable로 둔다.

11. client window id를 top-level traversable의 연관된 클라이언트 창에 대한 클라이언트 창 id로 둔다.

12. navigable info를 context 필드는 navigable id로, include parent id가 true이면 parent 필드는 parent id로 설정하고 그렇지 않으면 설정하지 않으며, url 필드는 url로, userContext 필드는 user context의 사용자 컨텍스트 id로, originalOpener 필드는 opener id로, children 필드는 child infos로, 그리고 clientWindow 필드는 client window id로 설정한 browsingContext.Info 생성규칙과 일치하는 맵으로 둔다.

13. navigable info를 반환한다.

navigable, request, wait condition, 그리고 선택적으로 history handling(기본값: "default") 및 ignore cache(기본값: false)가 주어졌을 때 탐색 대기를 하려면:

1. navigation id를 진정한 난수 또는 의사 난수에 기반한 UUID의 문자열 표현으로 둔다.

2. navigable을 리소스 request로 탐색하되, navigable의 활성 문서를 소스 Document로 사용하고, 탐색 id navigation id 및 히스토리 처리 동작 history handling을 사용한다. ignore cache가 true이면, 탐색은 HTTP 캐시에서 리소스를 로드해서는 안 된다.

   ignore cache 플래그가 어떻게 동작하는지 정확히 지정한다. 이는 리소스의 첫 번째 로드만 캐시를 우회하는지(즉, 처음에 캐시를 비우고 일반적으로 진행하는 것과 같은지), 또는 HTML 파서가 직접 로드하지 않은 리소스(예: 스크립트나 스타일시트에 의해 시작된 로드)도 캐시를 우회하는지 고려해야 한다.

3. (event received, navigation status)를 «"navigation started", "navigation failed", "fragment navigated"» 및 navigation id가 주어졌을 때 대기한 결과로 둔다.

4. 단언: navigation status의 id는 navigation id이다.

5. navigation status의 status가 "complete"이면:

   1. body를 navigation 필드는 navigation id로 설정하고, url 필드는 navigation status의 url이 주어졌을 때 URL 직렬화기를 수행한 결과로 설정한 browsingContext.NavigateResult 생성규칙과 일치하는 맵으로 둔다.

   2. 데이터 body와 함께 성공을 반환한다.

   참고: 이는 탐색이 fragment 변경만 일으킨 경우이다.

6. navigation status의 status가 "canceled"이면 오류를 반환하되 오류 코드는 unknown error로 한다.

   TODO: 여기서 오류를 처리하는 올바른 방식인가?

7. 단언: navigation status의 status는 "pending"이고 navigation id는 null이 아니다.

8. wait condition이 "committed"이면, event name을 "committed"로 둔다.

9. 그렇지 않고, wait condition이 "interactive"이면, event name을 "domContentLoaded"로 둔다.

10. 그렇지 않으면, event name을 "load"로 둔다.

11. (event received, status)를 «event name, "download started", "navigation aborted", "navigation failed"» 및 navigation id가 주어졌을 때 대기한 결과로 둔다.

12. event received가 "navigation failed"이면 오류를 반환하되 오류 코드는 unknown error로 한다.

    무엇이 왜 실패했는지에 대한 충분한 정보를 여기서 오류로 드러내고 있는가? 어떤 오류 코드를 원하는가? 로컬 끝이 실제로 무엇이 잘못되었는지 알아내기 위해 구현 정의 문자열을 파싱하는 문제가 생길 수 있는가?

13. body를 navigation 필드는 status의 id로 설정하고, url 필드는 status의 url이 주어졌을 때 URL 직렬화기를 수행한 결과로 설정한 browsingContext.NavigateResult 생성규칙과 일치하는 맵으로 둔다.

14. 데이터 body와 함께 성공을 반환한다.

browsingContext.Locator = (
   browsingContext.AccessibilityLocator /
   browsingContext.CssLocator /
   browsingContext.ContextLocator /
   browsingContext.InnerTextLocator /
   browsingContext.XPathLocator
)

browsingContext.AccessibilityLocator = {
   type: "accessibility",
   value: {
    ? name: text,
    ? role: text,
   }
}

browsingContext.CssLocator = {
   type: "css",
   value: text
}

browsingContext.ContextLocator = {
  type: "context",
  value: {
    context: browsingContext.BrowsingContext,
  }
}

browsingContext.InnerTextLocator = {
   type: "innerText",
   value: text,
   ? ignoreCase: bool
   ? matchType: "full" / "partial",
   ? maxDepth: js-uint,
}

browsingContext.XPathLocator = {
   type: "xpath",
   value: text
}

browsingContext.Navigation = text;

browsingContext.Download = text;

browsingContext.BaseNavigationInfo = (
  context: browsingContext.BrowsingContext,
  navigation: browsingContext.Navigation / null,
  timestamp: js-uint,
  url: text,
  ? userContext: browser.UserContext,
)

browsingContext.NavigationInfo = {
  browsingContext.BaseNavigationInfo
}

navigable navigable 및 탐색 상태 navigation status가 주어졌을 때 탐색 정보 가져오기를 하려면:

1. navigable id를 navigable에 대한 navigable id로 둔다.

2. navigation id를 navigation status의 id로 둔다.

3. timestamp를 현재 날짜와 시간을 UTC로 나타내는 시간 값으로 둔다.

4. url을 navigation status의 url로 둔다.

5. user context id를 navigable의 연관된 사용자 컨텍스트의 사용자 컨텍스트 id로 둔다.

6. context 필드는 navigable id로, navigation 필드는 navigation id로, timestamp 필드는 timestamp로, url 필드는 url이 주어졌을 때 URL 직렬화기를 수행한 결과로, 그리고 userContext 필드는 user context id로 설정한 browsingContext.NavigationInfo 생성규칙과 일치하는 맵을 반환한다.

browsingContext.ReadinessState = "none" / "interactive" / "complete"

browsingContext.UserPromptType = "alert" / "beforeunload" / "confirm" / "prompt";

command parameters로 원격 끝 단계는 다음과 같다:

1. navigable id를 command parameters["context"] 필드의 값으로 둔다.

2. navigable을 navigable id로 navigable 가져오기를 시도한 결과로 둔다.

3. navigable이 최상위 traversable이 아니면, 오류를 반환하되 오류 코드는 invalid argument로 한다.

4. navigable로 navigable 활성화를 수행한 결과를 반환한다.

navigable이 주어졌을 때 navigable 활성화를 하려면:

1. navigable의 시스템 가시성 상태가 visible이 되도록 구현별 단계를 실행한다. 이것이 가능하지 않으면, 오류 코드 unsupported operation인 오류를 반환한다.

   참고: 이는 현재 visible인 navigable을 hidden으로 만드는 부작용을 가질 수 있다.

   참고: 이는 창의 최소화 상태를 해제하거나 시스템 가시성 상태 변경과 관련된 다른 부작용을 일으켜 기본 OS 상태를 변경할 수 있다.

2. 포커스되어 있지 않으면 navigable에 시스템 포커스를 설정하기 위해 구현별 단계를 실행한다.

   참고: 이는 다른 명세가 요구하는 경우를 제외하고 문서의 포커스된 영역을 변경하지 않는다.

3. 데이터 null과 함께 성공을 반환한다.

rect가 주어졌을 때 rect 정규화를 하려면:

참고: 이는 결과 rect가 양의 너비 치수 및 높이 치수를 가지도록 보장한다.

1. x를 rect의 x 좌표로 둔다.

2. y를 rect의 y 좌표로 둔다.

3. width를 rect의 너비 치수로 둔다.

4. height를 rect의 높이 치수로 둔다.

5. width가 0보다 작으면, x를 x + width로 설정한 다음 width를 -width로 설정한다.

6. height가 0보다 작으면, y를 y + height로 설정한 다음 height를 -height로 설정한다.

7. x 좌표가 x, y 좌표가 y, 너비 치수가 width, 높이 치수가 height인 새 DOMRectReadOnly를 반환한다.

rect1 및 rect2가 주어졌을 때 직사각형 교차를 하려면

1. rect1를 rect1로 rect 정규화를 수행한 결과로 둔다.

2. rect2를 rect2로 rect 정규화를 수행한 결과로 둔다.

3. x1_0를 rect1의 x 좌표로 둔다.

4. x2_0를 rect2의 x 좌표로 둔다.

5. x1_1를 rect1의 x 좌표에 rect1의 너비 치수를 더한 값으로 둔다.

6. x2_1를 rect2의 x 좌표에 rect2의 너비 치수를 더한 값으로 둔다.

7. x_0를 «x1_0, x2_0»의 최댓값으로 둔다.

8. x_1를 «x1_1, x2_1»의 최솟값으로 둔다.

9. y1_0를 rect1의 y 좌표로 둔다.

10. y2_0를 rect2의 y 좌표로 둔다.

11. y1_1를 rect1의 y 좌표에 rect1의 높이 치수를 더한 값으로 둔다.

12. y2_1를 rect2의 y 좌표에 rect2의 높이 치수를 더한 값으로 둔다.

13. y_0를 «y1_0, y2_0»의 최댓값으로 둔다.

14. y_1를 «y1_1, y2_1»의 최솟값으로 둔다.

15. x_1이 x_0보다 작으면, width를 0으로 둔다. 그렇지 않으면 width를 x_1 - x_0으로 둔다.

16. y_1이 y_0보다 작으면, height를 0으로 둔다. 그렇지 않으면 height를 y_1 - y_0으로 둔다.

17. x 좌표가 x_0, y 좌표가 y_0, 너비 치수가 width, 높이 치수가 height인 새 DOMRectReadOnly를 반환한다.

주어진 number를 반올림하려면:

1. number가 유한하지 않거나 number가 정수 Number이면, number를 반환합니다.

2. number < 0.5𝔽이고 number > +0𝔽이면, +0𝔽을 반환합니다.

3. number < -0𝔽이고 n ≥ -0.5𝔽이면, -0𝔽을 반환합니다.

4. number에 가장 가까운 정수 Number를 반환하며, 동률인 경우에는 +∞에 더 가까운 Number를 선택합니다.

주어진 document, rect 및 image size에 대해 문서를 캔버스에 렌더링하려면:

1. ratio를 document의 기본 뷰가 주어졌을 때 기기 픽셀 비율 결정의 결과로 설정합니다.

2. framebuffer width를 rect의 너비 치수에 ratio를 곱한 값으로 설정하여, 기기 픽셀 단위로 rect의 너비와 일치하게 합니다.

3. framebuffer height를 rect의 높이 치수에 ratio를 곱한 값으로 설정하여, 기기 픽셀 단위로 rect의 높이와 일치하게 합니다.

4. scale을 1로 설정합니다.

5. image size가 null이 아니면:

   1. max width를 image size의 maxWidth 필드가 있으면 그 값으로, 그렇지 않으면 null로 설정합니다.

   2. max height를 image size의 maxHeight 필드가 있으면 그 값으로, 그렇지 않으면 null로 설정합니다.

   3. max width가 null이 아니고 max width를 framebuffer width로 나눈 값이 scale보다 작으면, scale을 max width를 framebuffer width로 나눈 값으로 설정합니다.

   4. max height가 null이 아니고 max height를 framebuffer height로 나눈 값이 scale보다 작으면, scale을 max height를 framebuffer height로 나눈 값으로 설정합니다.

6. scale이 1보다 작으면:

   1. scale width를 framebuffer width에 scale을 곱한 값이 주어졌을 때 수를 반올림한 값으로 설정합니다.

   2. scale height를 framebuffer height에 scale을 곱한 값이 주어졌을 때 수를 반올림한 값으로 설정합니다.

   3. paint width를 1과 scale width 중 최댓값으로 설정합니다.

   4. paint height를 1과 scale height 중 최댓값으로 설정합니다.

7. 그렇지 않으면:

   1. paint width를 framebuffer width로 설정합니다.

   2. paint height를 framebuffer height로 설정합니다.

8. canvas를 HTMLCanvasElement 의 새 인스턴스로 두고, width를 paint width로, height를 paint height로 합니다.

9. canvas context를 canvas와 null을 사용하여 2D 컨텍스트 생성 알고리즘을 실행한 결과로 설정합니다.

10. canvas의 컨텍스트 모드를 2D로 설정합니다.

11. source x를 rect의 x 좌표에 ratio를 곱한 값으로 설정하고, source y를 rect의 y 좌표에 ratio를 곱한 값으로 설정합니다.

12. source rectangle을 네 꼭짓점이 (source x, source y), (source x + framebuffer width, source y), (source x + framebuffer width, source y + framebuffer height), 그리고 (source x, source y + framebuffer height)인 직사각형으로 설정합니다.

13. destination rectangle을 네 꼭짓점이 (0, 0), (paint width, 0), (paint width, paint height), 그리고 (0, paint height)인 직사각형으로 설정합니다.

14. source rectangle로 지정된 document의 프레임버퍼 영역을 destination rectangle로 지정된 canvas context의 출력 비트맵 영역에 그리는 것과 동등한 구현별 단계를 완료합니다.

    destination rectangle의 치수가 source rectangle보다 작으면, destination rectangle의 한 지점에 그려지는 값은 document의 프레임버퍼 데이터를 필터링하여 계산합니다. 사용자 에이전트는 임의의 필터링 알고리즘(예: 이중선형 보간 또는 최근접 이웃)을 사용할 수 있습니다. 필터링 알고리즘에 프레임버퍼 외부의 픽셀 값이 필요한 경우, 대신 가장 가까운 가장자리 픽셀의 값을 사용해야 합니다. (즉, 필터는 "가장자리로 고정" 동작을 사용합니다.) 필터링 알고리즘에 source rectangle 외부이지만 프레임버퍼 내부인 픽셀 값이 필요한 경우, 프레임버퍼의 값을 사용해야 합니다.

15. canvas를 반환합니다.

주어진 canvas와 format을 사용하여 캔버스를 Base64로 인코딩하려면:

1. format이 null이 아니면, type을 format의 type 필드로 설정하고, quality를 format의 quality 필드로 설정합니다.

2. 그렇지 않으면, type을 "image/png"로 설정하고 quality를 undefined로 설정합니다.

3. file을 canvas에 대해 type과 quality를 사용한 비트맵의 파일 직렬화로 설정합니다.

4. encoded string을 file의 관대한 Base64 인코딩으로 설정합니다.

5. 데이터 encoded string과 함께 성공을 반환합니다.

주어진 document와 origin을 사용하여 원점 사각형을 가져오려면:

1. origin이 "viewport"이면:

   1. viewport를 document의 시각적 뷰포트로 설정합니다.

   2. viewport rect를 DOMRectReadOnly로 설정하며, x 좌표는 viewport의 페이지 왼쪽, y 좌표는 viewport의 페이지 위쪽, 너비 치수는 viewport 너비, 높이 치수는 viewport 높이로 설정합니다.

   3. 데이터 viewport rect와 함께 성공을 반환합니다.

2. 단언: origin은 "document"입니다.

3. document element를 document의 문서 요소로 설정합니다.

4. document rect를 DOMRectReadOnly로 설정하며, x 좌표는 0, y 좌표는 0, 너비 치수는 document element의 스크롤 높이, 그리고 높이 치수는 document element의 스크롤 너비로 설정합니다.

5. 데이터 document rect와 함께 성공을 반환합니다.

command parameters로 원격 끝 단계는 다음과 같다:

1. navigable id를 command parameters의 context 필드 값으로 둔다.

2. prompt unload를 command parameters의 promptUnload 필드 값으로 둔다.

3. navigable을 navigable id로 navigable 가져오기를 시도한 결과로 둔다.

4. 단언: navigable은 null이 아니다.

5. navigable이 최상위 traversable이 아니면, 오류를 반환하되 오류 코드는 invalid argument로 한다.

6. prompt unload가 true이면:

   1. navigable을 닫는다.

7. 그렇지 않으면:

   1. 언로드 프롬프트 없이 navigable을 닫는다.

8. 데이터 null과 함께 성공을 반환한다.

마지막 최상위 traversable을 닫을 때의 동작에 대한 공개 논의가 있다. 브라우저를 닫거나, 세션을 닫거나, 이를 구현에 맡기는 것을 예상할 수 있다. [w3c/webdriver-bidi Issue #170]

command parameters로 원격 끝 단계는 다음과 같다:

1. type을 command parameters의 type 필드 값으로 둔다.

2. reference navigable id를 command parameters의 referenceContext 필드 값으로 둔다. 존재하지 않으면 null로 둔다.

3. reference navigable id가 null이 아니면, reference navigable을 reference navigable id로 시도하여 navigable 가져오기를 수행한 결과로 둔다. 그렇지 않으면 reference navigable을 null로 둔다.

4. reference navigable이 null이 아니고 최상위 traversable이 아니면, 오류를 오류 코드 invalid argument와 함께 반환한다.

5. 구현이 어떤 이유로든 새 최상위 traversable을 만들 수 없으면, 오류를 오류 코드 unsupported operation과 함께 반환한다.

6. reference navigable이 null이면 user context를 기본 사용자 컨텍스트로 두고, 그렇지 않으면 reference navigable의 연관된 사용자 컨텍스트로 둔다.

7. user context id를 command parameters의 userContext 필드 값으로 둔다. 존재하지 않으면 null로 둔다.

8. user context id가 null이 아니면, user context를 user context id로 시도하여 사용자 컨텍스트 가져오기를 수행한 결과로 설정한다.

9. user context가 null이면, 오류를 오류 코드 해당 사용자 컨텍스트 없음과 함께 반환한다.

10. 구현이 어떤 이유로든 최상위 traversable을 연관된 사용자 컨텍스트 user context와 함께 만들 수 없으면, 오류를 오류 코드 unsupported operation과 함께 반환한다.

11. traversable을 null, 빈 문자열, null 및 false를 사용하여 새 최상위 순회 가능 항목을 생성하는 단계를 시도한 결과로 하고, 새로 생성된 연결된 사용자 컨텍스트를 최상위 순회 가능 항목의 user context로 설정합니다. 새 최상위 순회 가능 항목이 생성되는 OS 창은 type 및 reference navigable에 따라 달라집니다:

    • type이 "tab"이고 구현이 같은 OS 창 안의 여러 최상위 traversable을 지원하는 경우:

      • 새 최상위 traversable은 기존 OS 창이 있으면 이를 재사용해야 한다.

      • reference navigable이 null이 아니면, 새 최상위 traversable은 reference navigable을 포함하는 창이 있으면 이를 재사용해야 한다. OS 창 안의 최상위 traversable들에 명확한 순서가 있으면, 새 최상위 traversable은 그 순서에서 reference navigable의 최상위 traversable 바로 뒤에 있어야 한다.

    • type이 "window"이고 구현이 별도 OS 창의 여러 최상위 traversable을 지원하는 경우, 만들어진 최상위 traversable은 새 OS 창에 있어야 한다.

    • 그렇지 않으면, 최상위 traversable이 사용자에게 표시되는 방식의 세부 사항은 구현 정의이다.

12. command parameters의 background 필드 값이 false이면:

    1. activate result를 새로 만들어진 navigable로 navigable 활성화를 수행한 결과로 둔다.

    2. activate result가 오류이면, activate result를 반환한다.

    참고: background가 true이면 만들어진 navigable에 대해 포커싱 단계를 호출하지 않는다.

13. body를 browsingContext.CreateResult 생성식과 일치하는 맵으로 두고, context 필드는 traversable의 navigable ID로, userContext 속성은 traversable의 연관된 사용자 컨텍스트의 사용자 컨텍스트 ID로 설정한다.

14. body 데이터를 가진 성공을 반환한다.

session 및 command parameters로 원격 끝 단계는 다음과 같다:

1. root id를 command parameters의 root 필드 값으로 두되, 있으면 그 값으로, 그렇지 않으면 null로 둔다.

2. max depth를 command parameters의 maxDepth 필드 값으로 두되, 있으면 그 값으로, 그렇지 않으면 null로 둔다.

3. navigables를 빈 목록으로 둔다.

4. root id가 null이 아니면, root id가 주어졌을 때 navigable 가져오기를 시도한 결과를 navigables에 추가한다. 그렇지 않으면 모든 최상위 traversable을 navigables에 추가한다.

5. navigables infos를 빈 목록으로 둔다.

6. navigables의 각 navigable에 대해:

   1. info를 navigable, max depth, true가 주어졌을 때 navigable 정보 가져오기를 수행한 결과로 둔다.

   2. info를 navigables infos에 추가한다

7. body를 contexts 필드가 navigables infos로 설정된 browsingContext.GetTreeResult 생성규칙과 일치하는 맵으로 둔다.

8. 데이터 body와 함께 성공을 반환한다.

session 및 command parameters로 원격 끝 단계는 다음과 같다:

1. navigable id를 command parameters의 context 필드 값으로 둔다.

2. navigable을 navigable id로 navigable 가져오기를 시도한 결과로 둔다.

3. accept를 command parameters의 accept 필드 값으로 두되, 있으면 그 값으로, 그렇지 않으면 true로 둔다.

4. userText를 command parameters의 userText 필드 값으로 두되, 있으면 그 값으로, 그렇지 않으면 빈 문자열로 둔다.

5. navigable이 현재 alert 호출에서 온 단순 대화상자를 표시 중이면 프롬프트를 확인한다.

   그렇지 않고 navigable이 현재 confirm 호출에서 온 단순 대화상자를 표시 중이면, accept가 true일 때 긍정적으로 응답하고, accept가 false일 때 부정적으로 응답한다.

   그렇지 않고 navigable이 현재 prompt 호출에서 온 단순 대화상자를 표시 중이면, accept가 true일 때 문자열 값 userText로 응답하고, accept가 false일 때 중단한다.

   그렇지 않고, navigable이 현재 언로드 프롬프트 단계의 일부로 프롬프트를 표시 중이면, accept가 true일 때 탐색을 확인하고, 그렇지 않으면 탐색을 거부한다.

   그렇지 않으면 오류를 반환하되 오류 코드는 no such alert로 한다.

6. 데이터 null과 함께 성공을 반환한다.

주어진 navigable, context nodes, selector, maximum returned node count, session로 CSS를 사용하여 노드 찾기를 하려면:

1. returned nodes를 빈 목록으로 둔다.

2. parse result를 selector가 주어졌을 때 selector 파싱을 수행한 결과로 둔다.

3. parse result가 실패이면, 오류를 반환하되 오류 코드는 invalid selector로 한다.

4. context nodes의 각 context node에 대해:

   1. elements를 parse result 및 navigable의 활성 문서의 루트로 scoping root context node를 사용하여 selector를 트리와 대조한 결과로 둔다.

   2. elements의 각 element에 대해:

      1. element를 returned nodes에 추가한다.

      2. maximum returned node count가 null이 아니고 returned nodes의 크기가 maximum returned node count와 같으면, 데이터 returned nodes와 함께 성공을 반환한다.

5. 데이터 returned nodes와 함께 성공을 반환한다.

navigable이 주어졌을 때 컨테이너 요소 찾기를 하려면:

1. returned nodes를 빈 목록으로 둔다.

2. navigable의 컨테이너가 null이 아니면, navigable의 컨테이너를 returned nodes에 추가한다.

3. returned nodes를 반환한다.

주어진 navigable, context nodes, selector, maximum returned node count로 XPath를 사용하여 노드 찾기를 하려면:

참고: XPath 명세가 유지보수되지 않는 상태이므로 이 알고리즘은 XPath DOM API를 호출하는 것처럼 표현되어 있다. 그러나 이는 ECMAScript 런타임을 거치지 않고 기반 알고리즘에 직접 접근하는 명세 내부 호출과 동등한 것으로 이해해야 한다.

1. returned nodes를 빈 목록으로 둔다.

2. context nodes의 각 context node에 대해:

   1. evaluate result를 navigable의 활성 문서에서, 인수 selector, context node, null, ORDERED_NODE_SNAPSHOT_TYPE, null로 evaluate를 호출한 결과로 둔다. 이것이 "SyntaxError" DOMException을 던지면, 오류를 반환하되 오류 코드는 invalid selector로 한다; 그렇지 않고, 이것이 다른 예외를 던지면 오류를 반환하되 오류 코드는 unknown error로 한다.

   2. index를 0으로 둔다.

   3. length를 evaluate result에서 snapshotLength 속성을 가져온 결과로 둔다.

   4. index가 length보다 작은 동안 반복한다:

      1. node를 evaluate result를 this로, index를 인수로 하여 snapshotItem을 호출한 결과로 둔다.

      2. node를 returned nodes에 추가한다.

      3. maximum returned node count가 null이 아니고 returned nodes의 크기가 maximum returned node count와 같으면, 데이터 returned nodes와 함께 성공을 반환한다.

      4. index를 index + 1로 설정한다.

3. 데이터 returned nodes와 함께 성공을 반환한다.

주어진 context nodes, selector, max depth, match type, ignore case, maximum returned node count로 inner text를 사용하여 노드 찾기를 하려면:

1. selector가 빈 문자열이면, 오류를 반환하되 오류 코드는 invalid selector로 한다.

2. returned nodes를 빈 목록으로 둔다.

3. ignore case가 false이면, search text를 selector로 둔다. 그렇지 않으면, search text를 selector에 대해 Unicode Default Case Conversion 알고리즘에 따라 toUppercase를 수행한 결과로 둔다.

4. context nodes의 각 context node에 대해:

   1. context node가 Document 또는 DocumentFragment를 구현하면:

      참고: 문서 또는 문서 fragment를 순회할 때, document와 document.documentElement로 검색한 결과가 같아지도록 max depth는 의도적으로 감소시키지 않는다.

      1. child nodes를 빈 목록으로 둔다.

      2. context node의 자식에 있는 각 노드 child에 대해.

         1. child를 child nodes에 추가한다.

      3. returned nodes를 child nodes, selector, max depth, match type, ignore case, maximum returned node count로 inner text를 사용하여 노드 찾기를 시도한 결과로 확장한다.

   2. context node가 HTMLElement를 구현하지 않으면 계속한다.

   3. node inner text를 context node를 this 값으로 하여 innerText getter 단계를 호출한 결과로 둔다.

   4. ignore case가 false이면, node text를 node inner text로 둔다. 그렇지 않으면, node text를 node inner text에 대해 Unicode Default Case Conversion 알고리즘에 따라 toUppercase를 수행한 결과로 둔다.

   5. search text가 node text의 코드 포인트 부분 문자열이면, 다음 단계를 수행한다:

      1. child nodes를 빈 목록으로 두고, context node의 자식에 있는 각 노드 child에 대해:

         1. child를 child nodes에 추가한다.

      2. child nodes의 크기가 0과 같거나 max depth가 0과 같으면, 다음 단계를 수행한다:

         1. match type이 "full"이고 node text가 search text와 같으면, context node를 returned nodes에 추가한다.

         2. 그렇지 않고, match type이 "partial"이면, context node를 returned nodes에 추가한다.

      3. 그렇지 않으면, 다음 단계를 수행한다:

         1. max depth가 null이면 child max depth를 null로, 그렇지 않으면 max depth - 1로 둔다.

         2. child node matches를 child nodes, selector, child max depth , match type, ignore case, maximum returned node count로 inner text를 사용하여 노드 찾기를 수행한 결과로 둔다.

         3. child node matches의 크기가 0과 같고 match type이 "partial"이면 context node를 returned nodes에 추가한다. 그렇지 않으면, returned nodes를 child node matches로 확장한다.

5. maximum returned node count가 null이 아니면, returned nodes에서 인덱스가 maximum returned node count 이상인 모든 항목을 제거한다.

6. 데이터 returned nodes와 함께 성공을 반환한다.

주어진 context nodes, selector, maximum returned node count, returned nodes로 접근성 속성을 사용하여 노드 수집을 하려면:

1. returned nodes가 null이면:

   1. returned nodes를 빈 목록으로 설정한다.

2. context nodes의 각 context node에 대해:

   1. match를 true로 둔다.

   2. context node가 Element를 구현하면:

      1. selector가 "role"를 포함하면:

         1. role을 context node의 계산된 역할로 둔다.

         2. selector["role"]가 role과 같지 않으면:

            1. match를 false로 설정한다.

      2. selector가 "name"을 포함하면:

         1. name을 context node의 접근 가능한 이름으로 둔다.

         2. selector["name"]이 name과 같지 않으면:

            1. match를 false로 설정한다.

   3. 그렇지 않으면, match를 false로 설정한다.

   4. match가 true이면:

      1. maximum returned node count가 null이 아니고 returned nodes의 크기가 maximum returned node count와 같으면, 중단한다.

      2. context node를 returned nodes에 추가한다.

   5. child nodes를 빈 목록으로 두고, context node의 자식에 있는 각 노드 child에 대해:

      1. child가 Element를 구현하면, child를 child nodes에 추가한다.

   6. child nodes, selector, maximum returned node count, returned nodes로 접근성 속성을 사용하여 노드 수집을 시도한다.

3. returned nodes를 반환한다.

주어진 context nodes, selector, maximum returned node count로 접근성 속성을 사용하여 노드 찾기를 하려면:

1. selector가 "role"을 포함하지 않고 selector가 "name"을 포함하지 않으면, 오류를 반환하되 오류 코드는 invalid selector로 한다.

2. context nodes, selector, maximum returned node count, null로 접근성 속성을 사용하여 노드 수집을 수행한 결과를 반환한다.

session 및 command parameters로 원격 끝 단계는 다음과 같다:

1. navigable id를 command parameters["context"]로 둔다.

2. navigable을 navigable id로 navigable 가져오기를 시도한 결과로 둔다.

3. 단언: navigable은 null이 아니다.

4. realm을 navigable의 navigable id와 null로 navigable에서 realm 가져오기를 시도한 결과로 둔다.

5. locator를 command parameters["locator"]로 둔다.

6. command parameters가 "startNodes"를 포함하면, start nodes parameter를 command parameters["startNodes"]로 둔다. 그렇지 않으면 start nodes parameter를 null로 둔다.

7. command parameters가 "maxNodeCount"를 포함하면, maximum returned node count를 command parameters["maxNodeCount"]로 둔다. 그렇지 않으면 maximum returned node count를 null로 둔다.

8. context nodes를 빈 목록으로 둔다.

9. start nodes parameter가 null이면, navigable의 활성 문서를 context nodes에 추가한다. 그렇지 않으면, start nodes parameter의 각 serialized start node에 대해:

   1. start node를 serialized start node, realm, session가 주어졌을 때 공유 참조 역직렬화를 시도한 결과로 둔다.

   2. start node를 context nodes에 추가한다.

10. context nodes의 크기가 0보다 크다고 단언한다.

11. type을 locator["type"]로 둔다.

12. 다음 조건 및 관련 단계 목록에서, 관련 조건이 true인 첫 번째 단계 집합을 실행한다:

    type이 문자열 "css"인 경우

    1. selector를 locator["value"]로 둔다.

    2. result nodes를 navigable, context nodes, selector, maximum returned nodes가 주어졌을 때 css를 사용하여 노드 찾기를 시도한 결과로 둔다.

    type이 문자열 "xpath"인 경우

    1. selector를 locator["value"]로 둔다.

    2. result nodes를 navigable, context nodes, selector, maximum returned nodes가 주어졌을 때 xpath를 사용하여 노드 찾기를 시도한 결과로 둔다.

    type이 문자열 "innerText"인 경우

    1. selector를 locator["value"]로 둔다.

    2. locator가 maxDepth를 포함하면, max depth를 locator["maxDepth"]로 둔다. 그렇지 않으면 max depth를 null로 둔다.

    3. locator가 ignoreCase를 포함하면, ignore case를 locator["ignoreCase"]로 둔다. 그렇지 않으면 ignore case를 false로 둔다.

    4. locator가 matchType을 포함하면, match type를 locator["matchType"]로 둔다. 그렇지 않으면 match type를 "full"로 둔다.

    5. result nodes를 context nodes, selector, max depth, match type, ignore case, maximum returned node count가 주어졌을 때 inner text를 사용하여 노드 찾기를 시도한 결과로 둔다.

    type이 문자열 "accessibility"인 경우

    1. selector를 locator["value"]로 둔다.

    2. result nodes를 context nodes, selector, maximum returned node count가 주어졌을 때 접근성 속성을 사용하여 노드 찾기를 수행한 결과로 둔다.

    type이 문자열 "context"인 경우

    1. start nodes parameter가 null이 아니면, 오류를 반환하되 오류 코드는 "invalid argument"로 한다.

    2. selector를 locator["value"]로 둔다.

    3. context id를 selector["context"]로 둔다.

    4. child navigable을 context id로 navigable 가져오기를 시도한 결과로 둔다.

    5. child navigable의 부모가 navigable이 아니면, 오류를 반환하되 오류 코드는 "invalid argument"로 한다.

    6. result nodes를 child navigable이 주어졌을 때 컨테이너 요소 찾기를 수행한 결과로 둔다.

    7. 단언: result nodes의 각 node에 대해, node의 노드 navigable은 navigable이다.

13. 단언: maximum returned node count는 null이거나 result nodes의 크기가 maximum returned node count 이하이다.

14. command parameters가 "serializationOptions"를 포함하면, serialization options를 command parameters["serializationOptions"]로 둔다. 그렇지 않으면, serialization options를 필드가 기본값으로 설정된 script.SerializationOptions 생성규칙과 일치하는 맵으로 둔다.

15. result ownership을 "none"으로 둔다.

16. serialized nodes를 빈 목록으로 둔다.

17. result nodes의 각 result node에 대해:

    1. serialized node를 result node, serialization options, result ownership, 직렬화 내부 맵으로서 새 맵, realm, session로 remote value로 직렬화를 수행한 결과로 둔다.

    2. serialized node를 serialized nodes에 추가한다.

18. result를 nodes 필드가 serialized nodes로 설정된 browsingContext.LocateNodesResult 생성규칙과 일치하는 맵으로 둔다.

19. 데이터 result와 함께 성공을 반환한다.

session 및 command parameters로 원격 끝 단계는 다음과 같다:

1. navigable id를 command parameters의 context 필드 값으로 둔다.

2. navigable을 navigable id로 navigable 가져오기를 시도한 결과로 둔다.

3. 단언: navigable은 null이 아니다.

4. wait condition을 "committed"로 둔다.

5. command parameters가 wait를 포함하고 command parameters[wait]가 "none"이 아니면, wait condition을 command parameters[wait]로 설정한다.

6. url을 command parameters의 url 필드 값으로 둔다.

7. document를 navigable의 활성 문서로 둔다.

8. base를 document의 base URL로 둔다.

9. url record를 url에 base URL base로 URL 파서를 적용한 결과로 둔다.

10. url record가 실패이면, 오류를 반환하되 오류 코드는 invalid argument로 한다.

11. request를 URL이 url record인 새 요청으로 둔다.

12. navigable, request, wait condition으로 탐색 대기를 수행한 결과를 반환한다.

session 및 command parameters가 주어진 원격 엔드 단계는 다음과 같다:

1. navigable id를 command parameters의 context 필드 값으로 둔다.

2. navigable을 navigable id로 시도하여 navigable 가져오기를 수행한 결과로 둔다.

3. 구현이 어떤 이유로든 navigable의 페이지가 매겨진 표현을 제공할 수 없으면, 오류를 오류 코드 unsupported operation과 함께 반환한다.

4. margin을 command parameters의 margin 필드 값으로 둔다. 존재하지 않으면 필드가 기본값으로 설정된 browsingContext.PrintMarginParameters와 일치하는 맵으로 둔다.

5. page size를 command parameters의 page 필드 값으로 둔다. 존재하지 않으면 필드가 기본값으로 설정된 browsingContext.PrintPageParameters와 일치하는 맵으로 둔다.

참고: 최소 페이지 크기는 1포인트이며, 이는 절대 길이에 따르면 (2.54 / 72) cm이다.

1. page ranges를 command parameters의 pageRanges 필드 값으로 둔다. 존재하지 않으면 빈 리스트로 둔다.

2. document를 navigable의 활성 문서로 둔다.

3. document에 대한 애니메이션 프레임 콜백 실행 알고리즘의 다음 호출 직후:

   이는 렌더링 업데이트 알고리즘에 좀 더 명시적인 방식으로 통합되어야 한다. [w3c/webdriver-bidi 이슈 #1131]

   1. pdf data를 UA별 단계를 수행하여 document의 페이지가 매겨진 표현을 생성한 결과로 둔다. 이때 CSS 미디어 타입을 print로 설정하고, PDF로 인코딩하며, 다음 용지 설정을 사용한다:

      속성	값
      cm 단위 너비	command parameters["orientation"]이 "portrait"이면 page size["width"], 그렇지 않으면 page size["height"]
      cm 단위 높이	command parameters["orientation"]이 "portrait"이면 page size["height"], 그렇지 않으면 page size["width"]
      cm 단위 위쪽 여백	margin["top"]
      cm 단위 아래쪽 여백	margin["bottom"]
      cm 단위 왼쪽 여백	margin["left"]
      cm 단위 오른쪽 여백	margin["right"]

      또한 UA는 다음 서식 지정 힌트를 적용해야 한다:

      command parameters["scale"]이 1과 같지 않으면:

      콘텐츠 크기를 command parameters["scale"] 배율만큼 확대/축소한다

      command parameters["background"]가 false이면:

      배경 이미지 출력을 억제한다

      command parameters["shrinkToFit"]가 true이면:

      콘텐츠에 지정된 모든 페이지 너비를 재정의하여, 콘텐츠 크기를 페이지 너비에 맞게 조정한다

   2. page ranges가 비어 있지 않으면, pages를 page ranges와 pdf data에 포함된 페이지 수로 시도하여 페이지 범위 파싱을 수행한 결과로 두고, 그런 다음 1부터 시작하는 인덱스가 pages에 포함되지 않는 모든 페이지를 pdf data에서 제거한다.

   3. encoding result를 pdf data에 대해 Base64 인코딩을 호출한 결과로 둔다.

   4. encoded data를 encoding result의 데이터로 둔다.

   5. body를 browsingContext.PrintResult 생성식과 일치하는 맵으로 두고, data 필드를 encoded data로 설정한다.

   6. body 데이터를 가진 성공을 반환한다.

command parameters로 원격 끝 단계는 다음과 같다:

1. navigable id를 command parameters의 context 필드 값으로 둔다.

2. navigable을 navigable id로 시도하여 navigable 가져오기를 수행한 결과로 둔다.

3. 단언: navigable은 null이 아니다.

4. ignore cache를 command parameters의 ignoreCache 필드 값이 있으면 그 값으로, 그렇지 않으면 false로 둔다.

5. wait condition을 "committed"로 둔다.

6. command parameters가 포함하는 wait가 있고 command parameters[wait]가 "none"이 아니면, wait condition을 command parameters[wait]로 설정한다.

7. document를 navigable의 활성 문서로 둔다.

8. url을 document의 URL로 둔다.

9. request를 URL이 url인 새 요청으로 둔다.

10. navigable, request, wait condition, history handling "reload", 그리고 ignore cache ignore cache로 탐색 대기를 수행한 결과를 반환한다.