URL

byte byte를 퍼센트 인코딩하려면, U+0025 (%) 뒤에 byte를 나타내는 두 개의 ASCII 대문자 16진수가 오는 문자열을 반환합니다.

byte sequence input을 퍼센트 디코딩하려면, 다음 절차를 수행합니다:

input에 ASCII 바이트가 아닌 바이트가 포함되어 있을 때 BOM 없이 UTF-8 디코드 외의 것을 사용하는 것은 안전하지 않으며 권장되지 않습니다.

1. output을 빈 byte sequence로 둡니다.

2. input의 각 byte에 대해:

   1. byte가 0x25 (%)가 아니면 output에 byte를 추가합니다.

   2. 그렇지 않고, byte가 0x25 (%)이며 input의 byte 다음 두 바이트가 0x30(0)~0x39(9), 0x41(A)~0x46(F), 0x61(a)~0x66(f) 범위에 속하지 않으면 output에 byte를 추가합니다.

   3. 그 외의 경우:

      1. bytePoint를 input의 byte 뒤의 두 바이트를 디코딩 후 16진수 숫자로 해석한 값으로 둡니다.

      2. bytePoint 값을 가지는 바이트를 output에 추가합니다.

      3. input의 다음 두 바이트를 건너뜁니다.

3. output을 반환합니다.

string input을 퍼센트 디코딩하려면:

1. bytes를 input의 UTF-8 인코딩 결과로 둡니다.

2. bytes의 퍼센트 디코딩 결과를 반환합니다.

일반적으로 퍼센트 인코딩 결과는 입력보다 U+0025 (%) 코드 포인트가 더 많고, 퍼센트 디코딩 결과는 입력보다 0x25 (%) 바이트가 더 적습니다.

percent-encode after encoding 은 다음과 같이 주어진 인코딩(encoding) encoding, 스칼라 값 문자열(scalar value string) input, 그리고 percent-encode set percentEncodeSet을 사용한다:

1. 단언: encoding은 UTF-8이거나 percentEncodeSet이 special-query percent-encode set 또는 application/x-www-form-urlencoded percent-encode set이어야 한다.

2. spaceAsPlus를 percentEncodeSet이 application/x-www-form-urlencoded percent-encode set이면 true로, 그렇지 않으면 false로 한다.

3. encoder를 인코더 가져오기를 encoding에 대해 실행한 결과로 한다.

4. inputQueue를 input을 I/O 큐로 변환한 값으로 한다.

5. output을 빈 문자열로 한다.

6. potentialError를 0으로 한다.

   while 루프를 시작하려면 이 값이 null이 아니어야 한다.

7. potentialError가 null이 아닐 동안:

   1. encodeOutput을 비어 있는 I/O 큐로 한다.

   2. potentialError를 encode or fail을 inputQueue, encoder, encodeOutput으로 실행한 결과로 한다.

   3. encodeOutput을 바이트 시퀀스로 변환한 각 byte에 대해:

      1. spaceAsPlus가 true이고 byte가 0x20 (SP)이면, output에 U+002B (+)를 추가하고 계속한다.

      2. isomorph를 코드 포인트로 두고, 그 값은 byte의 값이 된다.

      3. 단언: percentEncodeSet은 ASCII 코드 포인트가 아닌 모든 값을 포함한다.

      4. isomorph가 percentEncodeSet에 없다면 output에 isomorph를 추가한다.

      5. 그렇지 않으면, percent-encode byte를 해서 결과를 output에 추가한다.

   4. 만약 potentialError가 null이 아니라면, output에 “%26%23”, 그리고 ASCII 숫자로 potentialError를 10진수로 가장 짧은 시퀀스로 나타낸 뒤, “%3B”를 덧붙인다.

      이것은 encoding이 UTF-8이 아닐 때 발생할 수 있다.

8. output을 반환한다.

percentEncodeSet 인자 값 중 U+0025 (%)를 인코딩하여 “왕복 가능한 데이터(roundtripable data)”를 제공하는 것은 component percent-encode set과 application/x-www-form-urlencoded percent-encode set 두 가지 뿐이다. percentEncodeSet 인자의 다른 값들 (즉, URL 파서에서 사용되는 값)은 U+0025 (%)를 변환하지 않고 넘겨서 적절하게 표현하려면 먼저 percent-encode 해야 한다.

UTF-8 percent-encode는 스칼라 값 scalarValue와 percentEncodeSet에 대해 percent-encode after encoding을 UTF-8, scalarValue(문자열), percentEncodeSet에 대해 수행한 결과를 반환한다.

UTF-8 percent-encode는 스칼라 값 문자열 input과 percentEncodeSet을 사용해 percent-encode after encoding을 UTF-8, input, percentEncodeSet으로 수행한 결과를 반환한다.

호스트의 public suffix를 얻으려면 host host에 대해 다음 절차를 실행합니다. 결과는 null 또는 Public Suffix List에 포함된 host의 일부를 나타내는 도메인입니다. [PSL]

1. host가 도메인이 아니면 null을 반환합니다.

2. trailingDot을 host가 "."로 끝나면 ".", 아니면 빈 문자열로 둡니다.

3. publicSuffix를 host를 도메인으로 하여 Public Suffix List 알고리즘을 실행한 결과로 둡니다. [PSL]

4. 단언(Assert): publicSuffix는 ASCII 문자열이며, 끝이 trailingDot으로 끝납니다.

5. publicSuffix를 반환합니다.

호스트의 등록 가능 도메인을 얻으려면 host host에 대해 다음 절차를 실행합니다. 결과는 null 또는 host의 public suffix와 그 앞의 도메인 레이블(있다면)로 구성된 도메인입니다.

1. host의 public suffix가 null이거나 host의 public suffix가 host와 동등하다면 null을 반환합니다.

2. trailingDot을 host가 "."로 끝나면 ".", 아니면 빈 문자열로 둡니다.

3. registrableDomain을 host를 도메인으로 하여 Public Suffix List 알고리즘을 실행한 결과로 둡니다. [PSL]

4. 단언(Assert): registrableDomain은 ASCII 문자열이며, 끝이 trailingDot으로 끝납니다.

5. registrableDomain을 반환합니다.

도메인 파서 알고리즘은 스칼라 값 문자열 domain과 불리언 beStrict가 주어졌을 때, 다음 단계를 실행한다. 이 단계들은 실패 또는 도메인을 반환한다.

1. strictResult를 domain과 true로 도메인 파서 ToASCII를 실행한 결과로 둔다.

2. strictResult가 실패 값이면, domain-to-ASCII 검증 오류이다. 이 단계는 반환하지 않는다.

3. beStrict가 true이면:

   1. strictResult가 실패 값이면, 실패를 반환한다.

   2. strictResult를 반환한다.

4. result를 null로 둔다.

5. domain이 ASCII 문자열이면, result를 domain을 소문자화한 값으로 설정한다.

   beStrict가 false이고 domain이 ASCII 문자열이면, 웹 호환성 때문에 알고리즘은 Unicode ToASCII의 결과와 관계없이 domain을 소문자화한 값을 반환한다. IgnoreInvalidPunycode만으로는 충분하지 않다. Punycode가 성공적으로 디코딩될 수 있어도 여전히 유효성 기준에는 실패할 수 있기 때문이다. 예를 들어, xn--8i7caa는 ｗｗｗ로 디코딩되며, 그 코드 포인트들의 상태는 "mapped"이다. [UTS46]

6. 그렇지 않으면:

   1. result를 domain과 false로 도메인 파서 ToASCII를 실행한 결과로 설정한다.

   2. result가 실패 값이면, 실패를 반환한다.

7. result가 빈 문자열이면, 실패를 반환한다.

8. result가 금지된 도메인 코드 포인트를 포함하면, 실패를 반환한다.

   웹 호환성과 DNS 기반이 아닌 시스템과의 호환성 때문에 금지된 도메인 코드 포인트는 UseSTD3ASCIIRules가 true일 때 허용되지 않는 것들의 부분집합이다. 이슈 #397도 참조하라.

9. result를 반환한다.

이 문서와 웹 플랫폼 전반은 IDNA2008이 아니라 Unicode IDNA Compatibility Processing을 사용한다. 예를 들어, ☕.example은 실패가 아니라 xn--53h.example이 된다. [UTS46] [RFC5890]

도메인 파서 ToASCII 알고리즘은 스칼라 값 문자열 domain과 불리언 beStrict가 주어졌을 때, domain_name을 domain으로, CheckHyphens를 beStrict로, CheckBidi를 true로, CheckJoiners를 true로, UseSTD3ASCIIRules를 beStrict로, Transitional_Processing을 false로, VerifyDnsLength를 beStrict로, 그리고 IgnoreInvalidPunycode를 false로 설정하여 Unicode ToASCII를 실행한 결과를 반환한다. [UTS46]

도메인을 Unicode로 변환 알고리즘은 도메인 domain이 주어졌을 때, 다음 단계를 실행한다:

1. result를 domain_name을 domain으로 설정하고 Unicode ToUnicode를 실행한 결과로 둔다. CheckHyphens는 false, CheckBidi는 true, CheckJoiners는 true, UseSTD3ASCIIRules는 false, Transitional_Processing은 false, 그리고 IgnoreInvalidPunycode는 false로 설정한다. [UTS46]

2. 오류가 기록되었으면, domain을 반환한다.

   domain은 호스트 파서의 결과로만 나올 수 있으므로, 기록된 모든 오류는 이미 검증 오류로 표시되었을 것이다. domain을 반환하면 도메인 파서와 도메인을 Unicode로 변환이 xn--8i7caa와 같은 입력에서 왕복되도록 보장한다.

3. result를 반환한다.

호스트 파서는 스칼라 값 문자열 input과 선택적 boolean isOpaque(기본값 false)를 받아 다음 단계를 실행한다. 이 단계들은 failure 또는 호스트를 반환한다.

1. input이 U+005B ([)로 시작하면:

   1. input이 U+005D (])로 끝나지 않으면, IPv6-unclosed 검증 오류, failure를 반환한다.

   2. input에서 앞의 U+005B ([)와 뒤의 U+005D (])를 제거한 값으로 IPv6 구문 분석을 수행한 결과를 반환한다.

2. isOpaque가 true이면, 불투명 호스트 구문 분석 input의 결과를 반환한다.

3. Assert: input은 빈 문자열이 아니다.

4. input에 퍼센트 인코딩된 바이트가 포함되어 있으면, domain-percent-encoded 검증 오류.

5. domain을 input의 퍼센트 디코딩에 BOM 없는 UTF-8 디코딩을 실행한 결과로 둔다.

   또는, BOM 없는 UTF-8 디코딩 또는 실패를 사용하고, failure에 대해 조기 반환하도록 결합할 수 있다. 도메인 파서는 U+FFFD (�)에서 실패하기 때문이다.

6. asciiDomain을 도메인 파서를 domain과 false로 실행한 결과로 둔다.

7. asciiDomain이 failure이면, failure를 반환한다.

8. asciiDomain이 숫자로 끝나면:

   1. domain이 ASCII 문자열이 아니면, IPv4-non-ASCII-input 검증 오류.

   2. IPv4 구문 분석 asciiDomain의 결과를 반환한다.

9. asciiDomain을 반환한다.

숫자로 끝나는지 검사기는 ASCII 문자열 input을 받아 다음 단계를 실행한다. 이 단계들은 boolean을 반환한다.

1. Assert: input은 빈 문자열이 아니다.

2. parts를 input을 U+002E (.)에서 엄격하게 분할한 결과로 둔다.

3. parts의 마지막 항목이 빈 문자열이면, parts에서 마지막 항목을 제거한다.

4. last를 parts의 마지막 항목으로 둔다.

5. last가 빈 문자열이 아니고 ASCII 숫자만 포함하면, true를 반환한다.

   잘못된 입력 "09"는 이후 단계에서 IPv4 파서에 의해 잡힌다.

6. last를 IPv4 숫자로 구문 분석했을 때 failure를 반환하지 않으면, true를 반환한다.

   이는 last가 "0X" 또는 "0x"이고, 그 뒤에 0개 이상의 ASCII 16진 숫자가 오는지 검사하는 것과 동등하다.

7. false를 반환한다.

IPv4 파서는 ASCII 문자열 input을 받아 다음 단계를 실행한다. 이 단계들은 failure 또는 IPv4 주소를 반환한다.

IPv4 파서는 직접 호출해서는 안 된다. 대신 호스트 파서의 반환 값이 IPv4 주소인지 확인한다.

1. parts를 input을 U+002E (.)에서 엄격하게 분할한 결과로 둔다.

2. parts의 마지막 항목이 빈 문자열이면:

   1. IPv4-empty-part 검증 오류.

   2. parts의 크기가 1보다 크면, parts에서 마지막 항목을 제거한다.

3. parts의 크기가 4보다 작으면, IPv4-too-few-parts 검증 오류.

4. parts의 크기가 4보다 크면, IPv4-too-many-parts 검증 오류, failure를 반환한다.

5. numbers를 빈 목록으로 둔다.

6. parts의 각 part에 대해 반복한다:

   1. result를 part를 구문 분석한 결과로 둔다.

   2. result가 failure이면, IPv4-non-numeric-part 검증 오류, failure를 반환한다.

   3. result[1]이 true이면, IPv4-non-decimal-part 검증 오류.

   4. result[0]을 numbers에 추가한다.

7. numbers의 어떤 항목이든 255보다 크면, IPv4-out-of-range-part 검증 오류.

8. numbers에서 마지막 항목을 제외한 어떤 항목이든 255보다 크면, failure를 반환한다.

9. numbers의 마지막 항목이 256^{(5 − numbers의 크기)}보다 크거나 같으면, failure를 반환한다.

10. ipv4를 numbers의 마지막 항목으로 둔다.

11. numbers에서 마지막 항목을 제거한다.

12. counter를 0으로 둔다.

13. numbers의 각 n에 대해 반복한다:

    1. ipv4를 n × 256^{(3 − counter)}만큼 증가시킨다.

    2. counter를 1만큼 증가시킨다.

14. ipv4를 반환한다.

IPv4 숫자 파서는 ASCII 문자열 input을 받아 다음 단계를 실행한다. 이 단계들은 failure 또는 숫자와 boolean의 튜플을 반환한다.

1. input이 빈 문자열이면, failure를 반환한다.

2. validationError를 false로 둔다.

3. R을 10으로 둔다.

4. input이 적어도 두 개의 코드 포인트를 포함하고 처음 두 코드 포인트가 "0X" 또는 "0x"이면:

   1. validationError를 true로 설정한다.

   2. input에서 처음 두 코드 포인트를 제거한다.

   3. R을 16으로 설정한다.

5. 그렇지 않고, input이 적어도 두 개의 코드 포인트를 포함하고 첫 번째 코드 포인트가 U+0030 (0)이면:

   1. validationError를 true로 설정한다.

   2. input에서 첫 번째 코드 포인트를 제거한다.

   3. R을 8로 설정한다.

6. input이 빈 문자열이면, (0, true)를 반환한다.

7. input에 radix-R 숫자가 아닌 코드 포인트가 포함되어 있으면 failure를 반환한다.

8. output을 input이 radix-R 표기법에서 나타내는 수학적 정수 값으로 둔다. 이때 값 0부터 15까지의 숫자에는 ASCII 16진 숫자를 사용한다.

9. (output, validationError)를 반환한다.

IPv6 파서는 스칼라 값 문자열 input을 받아 다음 단계를 실행한다. 이 단계들은 failure 또는 IPv6 주소를 반환한다.

IPv6 파서는 이론적으로 직접 호출할 수 있지만, 실제로 그렇게 하기 전에 이 문서의 편집자들과 논의하기 바란다.

1. address를 모든 조각이 0인 새 IPv6 주소로 둔다.

2. pieceIndex를 0으로 둔다.

3. compress를 null로 둔다.

4. pointer를 input에 대한 포인터로 둔다.

5. c가 U+003A (:)이면:

   1. remaining이 U+003A (:)로 시작하지 않으면, IPv6-invalid-compression 검증 오류, failure를 반환한다.

   2. pointer를 2만큼 증가시킨다.

   3. pieceIndex를 1만큼 증가시킨 다음 compress를 pieceIndex로 설정한다.

6. c가 EOF 코드 포인트가 아닌 동안:

   1. pieceIndex가 8이면, IPv6-too-many-pieces 검증 오류, failure를 반환한다.

   2. c가 U+003A (:)이면:

      1. compress가 null이 아니면, IPv6-multiple-compression 검증 오류, failure를 반환한다.

      2. pointer와 pieceIndex를 1만큼 증가시키고, compress를 pieceIndex로 설정한 다음 continue한다.

   3. value와 length를 0으로 둔다.

   4. length가 4보다 작고 c가 ASCII 16진 숫자인 동안, value를 value × 0x10 + 16진수로 해석한 c로 설정하고, pointer와 length를 1만큼 증가시킨다.

   5. c가 U+002E (.)이면:

      1. length가 0이면, IPv4-in-IPv6-invalid-code-point 검증 오류, failure를 반환한다.

      2. pointer를 length만큼 감소시킨다.

      3. pieceIndex가 6보다 크면, IPv4-in-IPv6-too-many-pieces 검증 오류, failure를 반환한다.

      4. numbersSeen을 0으로 둔다.

      5. c가 EOF 코드 포인트가 아닌 동안:

         1. ipv4Piece를 null로 둔다.

         2. numbersSeen이 0보다 크면:

            1. c가 U+002E (.)이고 numbersSeen이 4보다 작으면, pointer를 1만큼 증가시킨다.

            2. 그렇지 않으면, IPv4-in-IPv6-invalid-code-point 검증 오류, failure를 반환한다.

         3. c가 ASCII 숫자가 아니면, IPv4-in-IPv6-invalid-code-point 검증 오류, failure를 반환한다.

         4. c가 ASCII 숫자인 동안:

            1. number를 십진수로 해석한 c로 둔다.

            2. ipv4Piece가 null이면, ipv4Piece를 number로 설정한다.

            3. 그렇지 않고 ipv4Piece가 0이면, IPv4-in-IPv6-invalid-code-point 검증 오류, failure를 반환한다.

            4. 그렇지 않으면, ipv4Piece를 ipv4Piece × 10 + number로 설정한다.

            5. ipv4Piece가 255보다 크면, IPv4-in-IPv6-out-of-range-part 검증 오류, failure를 반환한다.

            6. pointer를 1만큼 증가시킨다.

         5. address[pieceIndex]를 address[pieceIndex] × 0x100 + ipv4Piece로 설정한다.

         6. numbersSeen을 1만큼 증가시킨다.

         7. numbersSeen이 2 또는 4이면, pieceIndex를 1만큼 증가시킨다.

      6. numbersSeen이 4가 아니면, IPv4-in-IPv6-too-few-parts 검증 오류, failure를 반환한다.

      7. Break한다.

   6. 그렇지 않고, c가 U+003A (:)이면:

      1. pointer를 1만큼 증가시킨다.

      2. c가 EOF 코드 포인트이면, IPv6-invalid-code-point 검증 오류, failure를 반환한다.

   7. 그렇지 않고, c가 EOF 코드 포인트가 아니면, IPv6-invalid-code-point 검증 오류, failure를 반환한다.

   8. length가 1보다 크고 value가 0x10^{length − 1}보다 작으면, IPv6-piece-leading-zero 검증 오류.

   9. address[pieceIndex]를 value로 설정한다.

   10. pieceIndex를 1만큼 증가시킨다.

7. compress가 null이 아니면:

   1. swaps를 pieceIndex − compress로 둔다.

   2. pieceIndex를 7로 설정한다.

   3. pieceIndex가 0이 아니고 swaps가 0보다 큰 동안, address[pieceIndex]와 address[compress + swaps − 1]을 맞바꾼 다음, pieceIndex와 swaps를 모두 1만큼 감소시킨다.

8. 그렇지 않고, compress가 null이고 pieceIndex가 8이 아니면, IPv6-too-few-pieces 검증 오류, failure를 반환한다.

9. address를 반환한다.

불투명 호스트 파서는 스칼라 값 문자열 input을 받아, 다음 단계를 실행한다. 이 단계들은 failure 또는 불투명 호스트를 반환한다.

1. input에 금지된 호스트 코드 포인트가 포함되어 있으면, host-invalid-code-point 검증 오류, failure를 반환한다.

2. input에 코드 포인트가 포함되어 있고, 그것이 URL 코드 포인트도 아니며 U+0025 (%)도 아니면, invalid-URL-unit 검증 오류.

3. input에 U+0025 (%)가 포함되어 있고 그 뒤의 두 코드 포인트가 ASCII 16진 숫자가 아니면, invalid-URL-unit 검증 오류.

4. input에 C0 제어 퍼센트 인코딩 집합을 사용하여 UTF-8 퍼센트 인코딩을 실행한 결과를 반환한다.

호스트 직렬화기는 호스트 host를 받아 다음 단계를 실행한다. 이 단계들은 ASCII 문자열을 반환한다.

1. host가 IPv4 주소이면, host에 IPv4 직렬화기를 실행한 결과를 반환한다.

2. 그렇지 않고, host가 IPv6 주소이면, U+005B ([)와 host에 IPv6 직렬화기를 실행한 결과, 그리고 U+005D (])를 차례로 반환한다.

3. 그렇지 않으면, host는 도메인, 불투명 호스트, 또는 빈 호스트이며, host를 반환한다.

IPv4 직렬화기는 IPv4 주소 address를 받아 다음 단계를 실행한다. 이 단계들은 ASCII 문자열을 반환한다.

1. output을 빈 문자열로 둔다.

2. n을 address의 값으로 둔다.

3. 1부터 4까지의 범위(양 끝 포함)에 있는 각 i에 대해 반복한다:

   1. n % 256을 직렬화한 값을 output 앞에 추가한다.

   2. i가 4가 아니면, U+002E (.)를 output 앞에 추가한다.

   3. n을 floor(n / 256)으로 설정한다.

4. output을 반환한다.

IPv6 직렬화기는 IPv6 주소 address를 받아 다음 단계를 실행한다. 이 단계들은 ASCII 문자열을 반환한다.

1. output을 빈 문자열로 둔다.

2. compress를 주어진 address에 대해 IPv6 주소의 압축된 조각 인덱스를 찾는 결과로 둔다.

3. ignore0을 false로 둔다.

4. address의 조각들의 인덱스에 있는 각 pieceIndex에 대해 반복한다:

   1. ignore0이 true이고 address[pieceIndex]가 0이면, continue한다.

   2. 그렇지 않고, ignore0이 true이면, ignore0을 false로 설정한다.

   3. compress가 pieceIndex이면:

      1. pieceIndex가 0이면 separator를 "::"로 두고, 그렇지 않으면 U+003A (:)로 둔다.

      2. separator를 output에 추가한다.

      3. ignore0을 true로 설정하고 continue한다.

   4. address[pieceIndex]를 가능한 가장 짧은 소문자 16진수로 표현하여 output에 추가한다.

   5. pieceIndex가 7이 아니면, U+003A (:)를 output에 추가한다.

5. output을 반환한다.

이 알고리즘은 IPv6 주소 텍스트 표현을 위한 권고안의 권고를 요구한다. [RFC5952]

IPv6 주소 address가 주어졌을 때, IPv6 주소 압축 조각 인덱스를 찾으려면:

1. longestIndex를 null로 둔다.

2. longestSize를 1로 둔다.

3. foundIndex를 null로 둔다.

4. foundSize를 0으로 둔다.

5. address의 조각들의 인덱스 중 각 pieceIndex에 대해 반복한다:

   1. address의 조각[pieceIndex]가 0이 아니면:

      1. foundSize가 longestSize보다 크면, longestIndex를 foundIndex로, longestSize를 foundSize로 설정한다.

      2. foundIndex를 null로 설정한다.
      3. foundSize를 0으로 설정한다.

   2. 그렇지 않으면:

      1. foundIndex가 null이면, foundIndex를 pieceIndex로 설정한다.

      2. foundSize를 1만큼 증가시킨다.

6. foundSize가 longestSize보다 크면, foundIndex를 반환한다.

7. longestIndex를 반환한다.

0:f:0:0:f:f:0:0에서는 두 번째 0을 가리킨다.

호스트 A가 호스트 B와 동등한지 판단하려면, A가 B와 같으면 true를, 아니면 false를 반환합니다.

url의 경로를 단축하기 절차:

1. 단언: url은 불투명 경로를 가지지 않는다.

2. path를 url의 경로로 둔다.

3. url의 scheme이 "file"이고 path의 크기가 1이며, path[0]이 정규화된 Windows 드라이브 문자이면 반환한다.

4. 제거 path의 마지막 항목(있다면).

URL 파서는 스칼라 값 문자열 input을 받으며, 선택적으로 null 또는 기준 URL base(기본값 null) 및 선택적인 인코딩 encoding(기본값 UTF-8)을 함께 받아, 다음 단계를 실행한다:

웹 브라우저가 아닌 구현은 기본 URL 파서만 구현하면 된다.

웹 브라우저의 주소 표시줄에 있는 사용자 입력이 URL 레코드로 변환되는 방식은 이 표준의 범위 밖이다. 이 표준은 신뢰 결정과 관련된 URL 렌더링 요구사항을 포함한다.

1. url을 input에 대해 기본 URL 파서를 base 및 encoding과 함께 실행한 결과로 둔다.

2. url이 failure이면, failure를 반환한다.

3. url의 스킴이 "blob"이 아니면, url을 반환한다.

4. url의 blob URL 항목을 blob URL을 해석한 결과로 설정한다. 그 결과가 failure를 반환하지 않았다면 해당 결과로, 그렇지 않으면 null로 설정한다.

5. url을 반환한다.

기본 URL 파서는 스칼라 값 문자열 input을 받으며, 선택적으로 null 또는 기준 URL base(기본값 null), 선택적인 인코딩 encoding(기본값 UTF-8), 선택적인 URL url, 그리고 선택적인 상태 재정의 state override를 받아, 다음 단계를 실행한다:

1. url이 주어지지 않았다면:

   1. url을 새로운 URL로 설정한다.

   2. input이 앞이나 뒤에 C0 제어 문자 또는 공백을 포함하면, invalid-URL-unit 유효성 검사 오류.

   3. input에서 앞뒤의 C0 제어 문자 또는 공백을 제거한다.

2. input이 ASCII 탭 또는 줄바꿈을 포함하면, invalid-URL-unit 유효성 검사 오류.

3. input에서 모든 ASCII 탭 또는 줄바꿈을 제거한다.

4. state를, state override가 주어졌다면 그것으로, 그렇지 않으면 scheme start state로 둔다.

5. encoding을 encoding에서 출력 인코딩을 얻은 결과로 설정한다.

6. buffer를 빈 문자열로 둔다.

7. atSignSeen, insideBrackets, 및 passwordTokenSeen을 false로 둔다.

8. pointer를 input에 대한 포인터로 둔다.

9. state에 따라 분기하여 다음 상태 기계를 계속 실행한다. 실행 후 pointer가 EOF 코드 포인트를 가리키면, 다음 단계로 간다. 그렇지 않으면 pointer를 1 증가시키고 상태 기계를 계속한다.

   scheme start state

   1. c가 ASCII 알파벳이면, c를 소문자화하여 buffer에 추가하고, state를 scheme state로 설정한다.

   2. 그렇지 않고, state override가 주어지지 않았다면, state를 no scheme state로 설정하고 pointer를 1 감소시킨다.

   3. 그렇지 않으면, failure를 반환한다.

      이 failure 표시는 Location 객체의 protocol 설정자에서만 사용된다.

   scheme state

   1. c가 ASCII 영숫자, U+002B (+), U+002D (-), 또는 U+002E (.)이면, c를 소문자화하여 buffer에 추가한다.

   2. 그렇지 않고, c가 U+003A (:)이면:

      1. state override가 주어졌다면:

         1. url의 스킴이 특수 스킴이고 buffer가 특수 스킴이 아니면, return한다.

         2. url의 스킴이 특수 스킴이 아니고 buffer가 특수 스킴이면, return한다.

         3. url이 자격 증명을 포함하거나 null이 아닌 포트를 가지며, buffer가 "file"이면, return한다.

         4. url의 스킴이 "file"이고 그 호스트가 빈 호스트이면, return한다.

      2. url의 스킴을 buffer로 설정한다.

      3. state override가 주어졌다면:

         1. url의 포트가 url의 스킴의 기본 포트이면, url의 포트를 null로 설정한다.

         2. Return한다.

      4. buffer를 빈 문자열로 설정한다.

      5. url의 스킴이 "file"이면:

         1. remaining이 "//"로 시작하지 않으면, special-scheme-missing-following-solidus 유효성 검사 오류.

         2. state를 file state로 설정한다.

      6. 그렇지 않고, url이 특수이고, base가 null이 아니며, base의 스킴이 url의 스킴이면:

         1. Assert: base는 특수이다(따라서 불투명 경로를 가지지 않는다).

         2. state를 special relative or authority state로 설정한다.

      7. 그렇지 않고, url이 특수이면, state를 special authority slashes state로 설정한다.

      8. 그렇지 않고, remaining이 U+002F (/)로 시작하면, state를 path or authority state로 설정하고 pointer를 1 증가시킨다.

      9. 그렇지 않으면, url의 경로를 빈 문자열로 설정하고 state를 opaque path state로 설정한다.

   3. 그렇지 않고, state override가 주어지지 않았다면, buffer를 빈 문자열로 설정하고, state를 no scheme state로 설정한 뒤, (input의 첫 번째 코드 포인트부터) 다시 시작한다.

   4. 그렇지 않으면, failure를 반환한다.

      이 failure 표시는 Location 객체의 protocol 설정자에서만 사용된다. 또한, 이 상태에서 앞서 발생하는 failure가 아닌 종료는 해당 설정자를 정의하기 위한 의도적인 차이이다.

   no scheme state

   1. base가 null이거나, base가 불투명 경로를 가지고 c가 U+0023 (#)이 아니면, missing-scheme-non-relative-URL 유효성 검사 오류, failure를 반환한다.

   2. 그렇지 않고, base가 불투명 경로를 가지며 c가 U+0023 (#)이면, url의 스킴을 base의 스킴으로, url의 경로를 base의 경로로, url의 쿼리를 base의 쿼리로, url의 프래그먼트를 빈 문자열로 설정하고, state를 fragment state로 설정한다.

   3. 그렇지 않고, base의 스킴이 "file"이 아니면, state를 relative state로 설정하고 pointer를 1 감소시킨다.

   4. 그렇지 않으면, state를 file state로 설정하고 pointer를 1 감소시킨다.

   special relative or authority state

   1. c가 U+002F (/)이고 remaining이 U+002F (/)로 시작하면, state를 special authority ignore slashes state로 설정하고 pointer를 1 증가시킨다.

   2. 그렇지 않으면, special-scheme-missing-following-solidus 유효성 검사 오류, state를 relative state로 설정하고 pointer를 1 감소시킨다.

   path or authority state

   1. c가 U+002F (/)이면, state를 authority state로 설정한다.

   2. 그렇지 않으면, state를 path state로 설정하고, pointer를 1 감소시킨다.

   relative state

   1. Assert: base의 스킴은 "file"이 아니다.

   2. url의 스킴을 base의 스킴으로 설정한다.

   3. c가 U+002F (/)이면, state를 relative slash state로 설정한다.

   4. 그렇지 않고, url이 특수이고 c가 U+005C (\)이면, invalid-reverse-solidus 유효성 검사 오류, state를 relative slash state로 설정한다.

   5. 그렇지 않으면:

      1. url의 사용자 이름을 base의 사용자 이름으로, url의 비밀번호를 base의 비밀번호로, url의 호스트를 base의 호스트로, url의 포트를 base의 포트로, url의 경로를 base의 경로의 복제본으로, 그리고 url의 쿼리를 base의 쿼리로 설정한다.

      2. c가 U+003F (?)이면, url의 쿼리를 빈 문자열로 설정하고, state를 query state로 설정한다.

      3. 그렇지 않고, c가 U+0023 (#)이면, url의 프래그먼트를 빈 문자열로 설정하고 state를 fragment state로 설정한다.

      4. 그렇지 않고, c가 EOF 코드 포인트가 아니면:

         1. url의 쿼리를 null로 설정한다.

         2. url의 경로를 줄인다.

         3. state를 path state로 설정하고 pointer를 1 감소시킨다.

   relative slash state

   1. url이 특수이고 c가 U+002F (/) 또는 U+005C (\)이면:

      1. c가 U+005C (\)이면, invalid-reverse-solidus 유효성 검사 오류.

      2. state를 special authority ignore slashes state로 설정한다.

   2. 그렇지 않고, c가 U+002F (/)이면, state를 authority state로 설정한다.

   3. 그렇지 않으면, url의 사용자 이름을 base의 사용자 이름으로, url의 비밀번호를 base의 비밀번호로, url의 호스트를 base의 호스트로, url의 포트를 base의 포트로, state를 path state로 설정한 다음, pointer를 1 감소시킨다.

   special authority slashes state

   1. c가 U+002F (/)이고 remaining이 U+002F (/)로 시작하면, state를 special authority ignore slashes state로 설정하고 pointer를 1 증가시킨다.

   2. 그렇지 않으면, special-scheme-missing-following-solidus 유효성 검사 오류, state를 special authority ignore slashes state로 설정하고 pointer를 1 감소시킨다.

   특수 권한 슬래시 무시 상태

   1. c가 U+002F (/) 또는 U+005C (\)가 아니면, state를 권한 상태로 설정하고 pointer를 1만큼 감소시킨다.

   2. 그렇지 않으면, special-scheme-missing-following-solidus 검증 오류.

   권한 상태

   1. c가 U+0040 (@)이면:

      1. Invalid-credentials 검증 오류.

      2. atSignSeen이 true이면, "%40"을 buffer 앞에 추가한다.

      3. atSignSeen을 true로 설정한다.

      4. buffer의 각 codePoint에 대해:

         1. codePoint가 U+003A (:)이고 passwordTokenSeen이 false이면, passwordTokenSeen을 true로 설정하고 continue한다.

         2. encodedCodePoints를 UTF-8 퍼센트 인코딩을 codePoint에 userinfo 퍼센트 인코딩 집합을 사용하여 실행한 결과로 둔다.

         3. passwordTokenSeen이 true이면, encodedCodePoints를 url의 비밀번호에 추가한다.

         4. 그렇지 않으면, encodedCodePoints를 url의 사용자 이름에 추가한다.

      5. buffer를 빈 문자열로 설정한다.

   2. 그렇지 않고, 다음 중 하나가 true이면:

      • c가 EOF 코드 포인트, U+002F (/), U+003F (?), 또는 U+0023 (#)이다

      • url이 특수하고 c가 U+005C (\)이다

      그러면:

      1. atSignSeen이 true이고 buffer가 빈 문자열이면, host-missing 검증 오류, failure를 반환한다.

      2. pointer를 buffer의 코드 포인트 길이 + 1만큼 감소시키고, buffer를 빈 문자열로 설정한 뒤 state를 호스트 상태로 설정한다.

   3. 그렇지 않으면, c를 buffer에 추가한다.

   호스트 상태

   호스트명 상태

   1. state override가 주어지고 url의 스킴이 "file"이면, pointer를 1만큼 감소시키고 state를 파일 호스트 상태로 설정한다.

   2. 그렇지 않고, c가 U+003A (:)이고 insideBrackets가 false이면:

      1. buffer가 빈 문자열이면, host-missing 검증 오류, failure를 반환한다.

      2. state override가 주어지고 state override가 호스트명 상태이면, failure를 반환한다.

      3. host를 buffer에 대해 url이 특수하지 않음과 함께 호스트 구문 분석을 실행한 결과로 둔다.

      4. host가 failure이면, failure를 반환한다.

      5. url의 호스트를 host로, buffer를 빈 문자열로, state를 포트 상태로 설정한다.

   3. 그렇지 않고, 다음 중 하나가 true이면:

      • c가 EOF 코드 포인트, U+002F (/), U+003F (?), 또는 U+0023 (#)이다

      • url이 특수하고 c가 U+005C (\)이다

      그러면 pointer를 1만큼 감소시킨 다음:

      1. url이 특수하고 buffer가 빈 문자열이면, host-missing 검증 오류, failure를 반환한다.

      2. 그렇지 않고, state override가 주어지고 buffer가 빈 문자열이며, url이 자격 증명을 포함하거나 url의 포트가 null이 아니면, failure를 반환한다.

      3. host를 buffer에 대해 url이 특수하지 않음과 함께 호스트 구문 분석을 실행한 결과로 둔다.

      4. host가 failure이면, failure를 반환한다.

      5. url의 호스트를 host로, buffer를 빈 문자열로, state를 경로 시작 상태로 설정한다.

      6. state override가 주어졌으면, 반환한다.

   4. 그렇지 않으면:

      1. c가 U+005B ([)이면, insideBrackets를 true로 설정한다.

      2. c가 U+005D (])이면, insideBrackets를 false로 설정한다.

      3. c를 buffer에 추가한다.

   포트 상태

   1. c가 ASCII 숫자이면, c를 buffer에 추가한다.

   2. 그렇지 않고, 다음 중 하나가 true이면:

      • c가 EOF 코드 포인트, U+002F (/), U+003F (?), 또는 U+0023 (#)이다;

      • url이 특수하고 c가 U+005C (\)이다; 또는

      • state override가 주어진다,

      그러면:

      1. buffer가 빈 문자열이 아니면:

         1. port를 buffer가 radix-10에서 값 0부터 9까지의 숫자에 ASCII 숫자를 사용하여 나타내는 수학적 정수 값으로 둔다.

         2. port가 16비트 부호 없는 정수가 아니면, port-out-of-range 검증 오류, failure를 반환한다.

         3. port가 url의 스킴의 기본 포트이면 url의 포트를 null로 설정하고, 그렇지 않으면 port로 설정한다.

         4. buffer를 빈 문자열로 설정한다.

         5. state override가 주어졌으면, 반환한다.

      2. state override가 주어졌으면, failure를 반환한다.

      3. state를 경로 시작 상태로 설정하고 pointer를 1만큼 감소시킨다.

   3. 그렇지 않으면, port-invalid 검증 오류, failure를 반환한다.

   파일 상태

   1. url의 스킴을 "file"로 설정한다.

   2. url의 호스트를 빈 문자열로 설정한다.

   3. c가 U+002F (/) 또는 U+005C (\)이면:

      1. c가 U+005C (\)이면, invalid-reverse-solidus 검증 오류.

      2. state를 파일 슬래시 상태로 설정한다.

   4. 그렇지 않고, base가 null이 아니며 base의 스킴이 "file"이면:

      1. url의 호스트를 base의 호스트로, url의 경로를 base의 경로의 복제본으로, 그리고 url의 쿼리를 base의 쿼리로 설정한다.

      2. c가 U+003F (?)이면, url의 쿼리를 빈 문자열로 설정하고 state를 쿼리 상태로 설정한다.

      3. 그렇지 않고, c가 U+0023 (#)이면, url의 프래그먼트를 빈 문자열로 설정하고 state를 프래그먼트 상태로 설정한다.

      4. 그렇지 않고, c가 EOF 코드 포인트가 아니면:

         1. url의 쿼리를 null로 설정한다.

         2. pointer부터 input의 끝까지의 코드 포인트 부분 문자열이 Windows 드라이브 문자로 시작하지 않으면, url의 경로를 단축한다.

         3. 그렇지 않으면:

            1. File-invalid-Windows-drive-letter 검증 오류.

            2. url의 경로를 « »로 설정한다.

            이는 (플랫폼 독립적인) Windows 드라이브 문자 특이 동작이다.

         4. state를 경로 상태로 설정하고 pointer를 1만큼 감소시킨다.

   5. 그렇지 않으면, state를 경로 상태로 설정하고, pointer를 1만큼 감소시킨다.

   파일 슬래시 상태

   1. c가 U+002F (/) 또는 U+005C (\)이면:

      1. c가 U+005C (\)이면, invalid-reverse-solidus 검증 오류.

      2. state를 파일 호스트 상태로 설정한다.

   2. 그렇지 않으면:

      1. base가 null이 아니고 base의 스킴이 "file"이면:

         1. url의 호스트를 base의 호스트로 설정한다.

         2. pointer부터 input의 끝까지의 코드 포인트 부분 문자열이 Windows 드라이브 문자로 시작하지 않고 base의 경로[0]이 정규화된 Windows 드라이브 문자이면, base의 경로[0]을 url의 경로에 추가한다.

            이는 (플랫폼 독립적인) Windows 드라이브 문자 특이 동작이다.

      2. state를 경로 상태로 설정하고, pointer를 1만큼 감소시킨다.

   파일 호스트 상태

   1. c가 EOF 코드 포인트, U+002F (/), U+005C (\), U+003F (?), 또는 U+0023 (#)이면, pointer를 1만큼 감소시킨 다음:

      1. state override가 주어지지 않았고 buffer가 Windows 드라이브 문자이면, file-invalid-Windows-drive-letter-host 검증 오류, state를 경로 상태로 설정한다.

         이는 (플랫폼 독립적인) Windows 드라이브 문자 특이 동작이다. buffer는 여기서 재설정되지 않고 대신 경로 상태에서 사용된다.

      2. 그렇지 않고, buffer가 빈 문자열이면:

         1. url의 호스트를 빈 문자열로 설정한다.

         2. state override가 주어졌으면, 반환한다.

         3. state를 경로 시작 상태로 설정한다.

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

         1. host를 buffer에 대해 url이 특수하지 않음과 함께 호스트 구문 분석을 실행한 결과로 둔다.

         2. host가 failure이면, failure를 반환한다.

         3. host가 "localhost"이면, host를 빈 문자열로 설정한다.

         4. url의 호스트를 host로 설정한다.

         5. state override가 주어졌으면, 반환한다.

         6. buffer를 빈 문자열로 설정하고 state를 경로 시작 상태로 설정한다.

   2. 그렇지 않으면, c를 buffer에 추가한다.

   경로 시작 상태

   1. url이 특수하면:

      1. c가 U+005C (\)이면, invalid-reverse-solidus 검증 오류.

      2. state를 경로 상태로 설정한다.

      3. c가 U+002F (/) 또는 U+005C (\)가 아니면, pointer를 1만큼 감소시킨다.

   2. 그렇지 않고, state override가 주어지지 않았으며 c가 U+003F (?)이면, url의 쿼리를 빈 문자열로 설정하고 state를 쿼리 상태로 설정한다.

   3. 그렇지 않고, state override가 주어지지 않았으며 c가 U+0023 (#)이면, url의 프래그먼트를 빈 문자열로 설정하고 state를 프래그먼트 상태로 설정한다.

   4. 그렇지 않고, c가 EOF 코드 포인트가 아니면:

      1. state를 경로 상태로 설정한다.

      2. c가 U+002F (/)가 아니면, pointer를 1만큼 감소시킨다.

   5. 그렇지 않고, state override가 주어졌으며 url의 호스트가 null이면, 빈 문자열을 url의 경로에 추가한다.

   경로 상태

   1. 다음 중 하나가 true이면:

      • c가 EOF 코드 포인트 또는 U+002F (/)이다

      • url이 특수하고 c가 U+005C (\)이다

      • state override가 주어지지 않았고 c가 U+003F (?) 또는 U+0023 (#)이다

      그러면:

      1. url이 특수하고 c가 U+005C (\)이면, invalid-reverse-solidus 검증 오류.

      2. buffer가 이중 점 URL 경로 세그먼트이면:

         1. url의 경로를 단축한다.

         2. c가 U+002F (/)인 것도 아니고, url이 특수하고 c가 U+005C (\)인 것도 아니면, 빈 문자열을 url의 경로에 추가한다.

            이는 입력 /usr/..에 대해 결과가 /이고 경로가 없는 것이 아님을 의미한다.

      3. 그렇지 않고, buffer가 단일 점 URL 경로 세그먼트이며 c가 U+002F (/)인 것도 아니고, url이 특수하고 c가 U+005C (\)인 것도 아니면, 빈 문자열을 url의 경로에 추가한다.

      4. 그렇지 않고, buffer가 단일 점 URL 경로 세그먼트가 아니면:

         1. url의 스킴이 "file"이고, url의 경로가 비어 있으며, buffer가 Windows 드라이브 문자이면, buffer의 두 번째 코드 포인트를 U+003A (:)로 교체한다.

            이는 (플랫폼 독립적인) Windows 드라이브 문자 특이 동작이다.

         2. buffer를 url의 경로에 추가한다.

      5. buffer를 빈 문자열로 설정한다.

      6. c가 U+003F (?)이면, url의 쿼리를 빈 문자열로 설정하고 state를 쿼리 상태로 설정한다.

      7. c가 U+0023 (#)이면, url의 프래그먼트를 빈 문자열로 설정하고 state를 프래그먼트 상태로 설정한다.

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

      1. c가 URL 코드 포인트가 아니고 U+0025 (%)도 아니면, invalid-URL-unit 검증 오류.

      2. c가 U+0025 (%)이고 remaining이 두 개의 ASCII 16진 숫자로 시작하지 않으면, invalid-URL-unit 검증 오류.

      3. c를 경로 퍼센트 인코딩 집합을 사용하여 UTF-8 퍼센트 인코딩하고, 그 결과를 buffer에 추가한다.

   불투명 경로 상태

   1. c가 U+003F (?)이면, url의 쿼리를 빈 문자열로 설정하고 state를 쿼리 상태로 설정한다.

   2. 그렇지 않고, c가 U+0023 (#)이면, url의 프래그먼트를 빈 문자열로 설정하고 state를 프래그먼트 상태로 설정한다.

   3. 그렇지 않고, c가 U+0020 SPACE이면:

      1. Invalid-URL-unit 검증 오류.

      2. remaining이 U+003F (?) 또는 U+0023 (#)으로 시작하면, "%20"을 url의 경로에 추가한다.

      3. 그렇지 않으면, U+0020 SPACE를 url의 경로에 추가한다.

   4. 그렇지 않고, c가 EOF 코드 포인트가 아니면:

      1. c가 URL 코드 포인트가 아니고 U+0025 (%)도 아니면, invalid-URL-unit 검증 오류.

      2. c가 U+0025 (%)이고 remaining이 두 개의 ASCII 16진 숫자로 시작하지 않으면, invalid-URL-unit 검증 오류.

      3. c를 C0 제어 퍼센트 인코딩 집합을 사용하여 UTF-8 퍼센트 인코딩하고, 그 결과를 url의 경로에 추가한다.

   쿼리 상태

   1. encoding이 UTF-8이 아니고 다음 중 하나가 true이면:

      • url이 특수하지 않다

      • url의 스킴이 "ws" 또는 "wss"이다

      그러면 encoding을 UTF-8로 설정한다.

   2. 다음 중 하나가 true이면:

      • state override가 주어지지 않았고 c가 U+0023 (#)이다

      • c가 EOF 코드 포인트이다

      그러면:

      1. queryPercentEncodeSet를 url이 특수하면 특수 쿼리 퍼센트 인코딩 집합으로 두고, 그렇지 않으면 쿼리 퍼센트 인코딩 집합으로 둔다.

      2. encoding, buffer, 그리고 queryPercentEncodeSet으로 인코딩 후 퍼센트 인코딩을 수행하고, 그 결과를 url의 쿼리에 추가한다.

         이 작업은 상태를 가지는 ISO-2022-JP 인코더 때문에 코드 포인트 단위로 호출할 수 없다.

      3. buffer를 빈 문자열로 설정한다.

      4. c가 U+0023 (#)이면, url의 프래그먼트를 빈 문자열로 설정하고 state를 프래그먼트 상태로 설정한다.

   3. 그렇지 않고, c가 EOF 코드 포인트가 아니면:

      1. c가 URL 코드 포인트가 아니고 U+0025 (%)도 아니면, invalid-URL-unit 검증 오류.

      2. c가 U+0025 (%)이고 remaining이 두 개의 ASCII 16진 숫자로 시작하지 않으면, invalid-URL-unit 검증 오류.

      3. c를 buffer에 추가한다.

   프래그먼트 상태

   1. c가 EOF 코드 포인트가 아니면:

      1. c가 URL 코드 포인트가 아니고 U+0025 (%)도 아니면, invalid-URL-unit 검증 오류.

      2. c가 U+0025 (%)이고 remaining이 두 개의 ASCII 16진 숫자로 시작하지 않으면, invalid-URL-unit 검증 오류.

      3. c를 프래그먼트 퍼센트 인코딩 집합을 사용하여 UTF-8 퍼센트 인코딩하고, 그 결과를 url의 프래그먼트에 추가한다.

10. url을 반환한다.

username 설정을 url과 username에 대해 실행할 때, url의 username을 username에 UTF-8 퍼센트 인코드를 userinfo percent-encode set으로 실행한 결과로 설정한다.

password 설정을 url과 password에 대해 실행할 때, url의 password를 password에 UTF-8 퍼센트 인코드를 userinfo percent-encode set으로 실행한 결과로 설정한다.

URL 직렬화기는 URL url을 받고, 선택적인 boolean exclude fragment(기본값 false)와 함께 다음 단계를 실행한다. 이 단계들은 ASCII 문자열을 반환한다.

1. output을 url의 스킴과 U+003A (:)를 연결한 것으로 둔다.

2. url의 호스트가 null이 아니면:

   1. "//"를 output에 추가한다.

   2. url이 자격 증명을 포함하면:

      1. url의 사용자 이름을 output에 추가한다.

      2. url의 비밀번호가 빈 문자열이 아니면, U+003A (:)에 이어 url의 비밀번호를 output에 추가한다.

      3. U+0040 (@)을 output에 추가한다.

   3. url의 호스트를 직렬화하여 output에 추가한다.

   4. url의 포트가 null이 아니면, U+003A (:)에 이어 url의 포트를 직렬화하여 output에 추가한다.

3. url의 호스트가 null이고, url이 불투명 경로를 가지지 않으며, url의 경로의 크기가 1보다 크고, url의 경로[0]이 빈 문자열이면, U+002F (/) 뒤에 U+002E (.)를 output에 추가한다.

   이는 web+demo:/.//not-a-host/ 또는 web+demo:/path/..//not-a-host/가 파싱된 다음 직렬화될 때, web+demo://not-a-host/가 되는 것을 방지한다(이들은 web+demo:/.//not-a-host/가 된다).

4. url에 대해 URL 경로 직렬화를 수행한 결과를 output에 추가한다.

5. url의 쿼리가 null이 아니면, U+003F (?) 뒤에 url의 쿼리를 이어서 output에 추가한다.

6. exclude fragment가 false이고 url의 프래그먼트가 null이 아니면, U+0023 (#) 뒤에 url의 프래그먼트를 이어서 output에 추가한다.

7. output을 반환한다.

URL 경로 직렬화기는 URL url을 받아 다음 단계를 실행한다. 이 단계들은 ASCII 문자열을 반환한다.

1. url이 불투명 경로를 가지면, url의 경로를 반환한다.

2. output을 빈 문자열로 둔다.

3. url의 경로의 각 segment에 대해 반복한다: U+002F (/) 뒤에 segment를 붙여 output에 추가한다.

4. output을 반환한다.

URL A가 URL B와 동일한지 판단할 때, 선택적 불리언 fragment 제외(기본값: false)와 함께 다음 단계를 실행한다:

1. serializedA를 직렬화를 A에 대해 fragment 제외를 fragment 제외로 하여 실행한 결과로 둔다.

2. serializedB를 직렬화를 B에 대해 fragment 제외를 fragment 제외로 하여 실행한 결과로 둔다.

3. serializedA가 serializedB와 같으면 true를, 아니면 false를 반환한다.

URL url의 오리진은 아래 단계들을 실행하여 얻어지는 오리진으로, url의 스킴에 따라 분기한다:

"blob"

1. url의 blob URL entry가 null이 아니면, url의 blob URL entry의 environment의 오리진을 반환.

2. pathURL을 파싱한 URL 경로 직렬화 url의 결과로 둔다.

3. pathURL이 실패면 새 불투명 오리진을 반환한다.

4. pathURL의 scheme이 "http", "https", 또는 "file"이면 pathURL의 오리진을 반환한다.

5. 새 불투명 오리진을 반환한다.

blob:https://whatwg.org/d0360e2f-caee-469f-9a2f-87d5b0456f6f의 오리진은 튜플 오리진 ("https", "whatwg.org", null, null)이다.

"ftp"

"http"

"https"

"ws"

"wss"

튜플 오리진(url의 scheme, url의 host, url의 port, null)을 반환한다.

"file"

유감스럽게도, 이는 독자에게 맡깁니다. 확실하지 않을 때는 새 불투명 오리진을 반환하세요.

그 외

새 불투명 오리진을 반환한다.

실제로 이런 URL들은 자기 자신과도 동일 오리진이 될 수 없습니다.

application/x-www-form-urlencoded 파서는 바이트 시퀀스 input을 받아 다음 단계를 실행한다:

1. sequences를 input을 0x26(&)으로 분할한 결과로 둔다.

2. output을 name과 value가 문자열을 담는 튜플로 구성된, 초기에는 빈 목록으로 둔다.

3. 각 바이트 시퀀스 bytes에 대해 sequences에서:

   1. bytes가 빈 바이트 시퀀스이면 계속.

   2. bytes에 0x3D(=)가 있으면, name을 bytes의 처음부터 첫 번째 0x3D(=) 직전까지의 바이트로, value를 첫 번째 0x3D(=) 이후부터 끝까지의 바이트로 둔다. 0x3D(=)가 첫 번째 바이트면 name은 빈 바이트 시퀀스가 되고, 마지막이면 value는 빈 바이트 시퀀스가 된다.

   3. 그 외에는 name을 bytes 값으로, value를 빈 바이트 시퀀스로 둔다.

   4. name과 value의 모든 0x2B(+)를 0x20(SP)로 치환한다.

   5. nameString과 valueString을 각각 BOM 없는 UTF-8 디코드를 퍼센트 디코딩된 name과 value에 대해 실행한 결과로 둔다.

   6. append (nameString, valueString)를 output에 추가.

4. output을 반환한다.

application/x-www-form-urlencoded 직렬화기는 name-value 튜플 tuples 목록과 선택적 인코딩 encoding(기본 UTF-8)을 받아 다음 단계를 실행한다. 반환값은 ASCII 문자열이다.

1. encoding을 output encoding을 얻기를 encoding에 대해 실행한 결과로 설정한다.

2. output을 빈 문자열로 한다.

3. 각 tuple에 대해 tuples에서 반복한다:

   1. 단언: tuple의 name과 tuple의 value는 스칼라 값 문자열이다.

   2. name을 다음의 결과로 한다: percent-encode after encoding을 encoding, tuple의 name, 그리고 application/x-www-form-urlencoded percent-encode set으로 실행한 결과.

   3. value를 다음의 결과로 한다: percent-encode after encoding을 encoding, tuple의 value, 그리고 application/x-www-form-urlencoded percent-encode set으로 실행한 결과.

   4. output이 빈 문자열이 아니라면 U+0026 (&)를 output에 추가한다.

   5. name을 추가하고 U+003D (=)를 추가한 뒤 value를 output에 추가한다.
4. output을 반환한다.

API URL 파서는 스칼라 값 문자열 url과 선택적 null 또는 스칼라 값 문자열 base(기본값 null)을 받아 다음 단계를 실행한다:

1. parsedBase를 null로 둔다.

2. base가 null이 아니면:

   1. parsedBase를 기본 URL 파서를 base에 실행한 결과로 설정.

   2. parsedBase가 실패면 실패를 반환.

3. 기본 URL 파서를 url에 parsedBase와 함께 실행한 결과를 반환.

initialize를 URL 객체 url와 URL urlRecord에 실행할 때:

1. query를 urlRecord의 query 값(값이 null이 아니면 그 값, 아니면 빈 문자열)으로 둔다.

2. url의 URL을 urlRecord로 설정.

3. url의 query 객체를 새 URLSearchParams 객체로 설정.

4. 초기화를 url의 query 객체와 query에 실행.

5. url의 query 객체의 URL 객체를 url로 설정.

URL 인터페이스를 구현하는 객체의 extract an origin 단계는 this의 URL의 origin을 반환하는 것이다. [HTML]

new URL(url, base) 생성자 단계는 다음과 같다:

1. parsedURL을 API URL 파서를 url에 base(있으면)와 함께 실행한 결과로 둔다.

2. parsedURL이 실패면 TypeError 예외를 던진다.

3. initialize를 this와 parsedURL에 실행.

static parse(url, base) 메서드 단계:

1. parsedURL을 API URL 파서를 url에 base(있으면)와 함께 실행한 결과로 둔다.

2. parsedURL이 실패면 null을 반환.

3. url을 새 URL 객체로 둔다.

4. initialize를 url과 parsedURL에 실행.

5. url을 반환.

정적 canParse(url, base) 메서드 단계:

1. parsedURL에 API URL 파서를 url과 base가 있는 경우 실행한 결과를 할당합니다.

2. parsedURL이 실패면 false를 반환합니다.

3. true를 반환합니다.

href getter 단계와 toJSON() 메서드 단계는 시리얼라이즈된 this의 URL을 반환하는 것입니다.

href setter 단계:

1. parsedURL에 basic URL 파서를 입력값에 실행한 결과를 할당합니다.

2. parsedURL이 실패하면 throw TypeError.

3. this의 URL에 parsedURL을 설정합니다.

4. this의 query object의 list를 비웁니다.

5. query에 this의 URL의 query를 할당합니다.

6. query가 null이 아니면 this의 query object의 list에 파싱 query 결과를 할당합니다.

origin getter 단계는 시리얼라이즈된 this의 URL의 origin을 반환합니다. [HTML]

protocol getter 단계는 this의 URL의 scheme 다음에 U+003A (:)를 반환합니다.

protocol setter 단계는 basic URL 파싱을 입력값과 U+003A (:)가 뒤따르도록 한 후 this의 URL을 url로 하고 scheme start state를 state override로 지정하여 실행합니다.

username getter 단계는 this의 URL의 username을 반환합니다.

username setter 단계:

1. this의 URL이 username/password/port를 가질 수 없으면 return.

2. set the username을 this의 URL과 입력값으로 수행합니다.

password getter 단계는 this의 URL의 password를 반환합니다.

password setter 단계:

1. this의 URL이 username/password/port를 가질 수 없으면 return.

2. set the password를 this의 URL과 입력값으로 수행합니다.

host getter 단계는 다음과 같다:

1. url을 this의 URL로 둔다.

2. url의 호스트가 null이면, 빈 문자열을 반환한다.

3. url의 포트가 null이면, url의 호스트를 직렬화하여 반환한다.

4. url의 호스트를 직렬화한 것에, U+003A (:)와 url의 포트를 직렬화한 것을 이어서 반환한다.

host setter 단계는 다음과 같다:

1. this의 URL이 불투명 경로를 가지면, return한다.

2. 주어진 값을 기본 URL 파싱한다. 이때 this의 URL을 url로, host state를 state override로 사용한다.

host setter에 주어진 값에 포트가 없으면, this의 URL의 포트는 변경되지 않는다. host getter가 URL-port 문자열을 반환하므로 setter가 항상 둘 다 "재설정"한다고 생각했을 수 있어, 이는 예상과 다를 수 있다.

hostname getter 단계는 다음과 같다:

1. this의 URL의 호스트가 null이면, 빈 문자열을 반환한다.

2. this의 URL의 호스트를 직렬화하여 반환한다.

hostname 설정자 단계는 다음과 같다:

1. this의 URL이 불투명 경로를 가지면 return한다.

2. 주어진 값을 this의 URL을 url로, 호스트명 상태를 state override로 하여 기본 URL 파싱한다.

port getter 단계는 다음과 같다:

1. this의 URL의 포트가 null이면 빈 문자열을 반환한다.

2. this의 URL의 포트를 직렬화하여 반환한다.

port 설정자 단계는 다음과 같다:

1. this의 URL이 사용자 이름/비밀번호/포트를 가질 수 없으면, return한다.

2. 주어진 값이 빈 문자열이면, this의 URL의 포트를 null로 설정한다.

3. 그렇지 않으면, 주어진 값을 this의 URL을 url로, 그리고 포트 상태를 state override로 하여 기본 URL 파싱한다.

pathname getter 단계는 URL 경로 직렬화를 this의 URL에 대해 실행한 결과를 반환하는 것이다.

pathname 설정자 단계는 다음과 같다:

1. this의 URL이 불투명 경로를 가지면 return한다.

2. this의 URL의 경로를 비운다.

3. 주어진 값을 this의 URL을 url로, 경로 시작 상태를 state override로 하여 기본 URL 파싱한다.

search getter 단계는 다음과 같다:

1. this의 URL의 쿼리가 null 또는 빈 문자열이면 빈 문자열을 반환한다.

2. U+003F (?) 뒤에 this의 URL의 쿼리를 붙여 반환한다.

search 설정자 단계는 다음과 같다:

1. url을 this의 URL로 둔다.

2. 주어진 값이 빈 문자열이면, url의 쿼리를 null로 설정하고, this의 쿼리 객체의 목록을 비우고, return한다.

3. input을, 주어진 값에서 선행 U+003F (?) 하나를 제거한 값으로 둔다(있는 경우).

4. url의 쿼리를 빈 문자열로 설정한다.

5. input을 url을 url로, 쿼리 상태를 state override로 하여 기본 URL 파싱한다.

6. this의 쿼리 객체의 목록을 input을 파싱한 결과로 설정한다.

searchParams getter 단계는 this의 쿼리 객체를 반환하는 것이다.

hash getter 단계는 다음과 같다:

1. this의 URL의 프래그먼트가 null 또는 빈 문자열이면 빈 문자열을 반환한다.

2. U+0023 (#) 뒤에 this의 URL의 프래그먼트를 붙여 반환한다.

hash 설정자 단계는 다음과 같다:

1. 주어진 값이 빈 문자열이면, this의 URL의 프래그먼트를 null로 설정하고 return한다.

2. input을, 주어진 값에서 선행 U+0023 (#) 하나를 제거한 값으로 둔다(있는 경우).

3. this의 URL의 프래그먼트를 빈 문자열로 설정한다.

4. input을 this의 URL을 url로, 프래그먼트 상태를 state override로 하여 기본 URL 파싱한다.

initialize를 URLSearchParams 객체 query에 init으로 실행할 때:

1. init이 sequence이면 각 innerSequence에 대해 init에서:

   1. innerSequence의 크기가 2가 아니면 TypeError 예외를 던진다.

   2. append (innerSequence[0], innerSequence[1])를 query의 list에 추가한다.

2. 그 외에 init이 record이면 각 name → value에 대해 init에서, append (name, value)를 query의 list에 추가한다.

3. 그 외에는:

   1. Assert: init은 문자열이다.

   2. query의 list를 파싱을 init에 실행한 결과로 설정한다.

update를 URLSearchParams 객체 query에 실행할 때:

1. query의 URL 객체가 null이면 반환.

2. serializedQuery를 직렬화를 query의 list에 실행한 결과로 둔다.

3. serializedQuery가 빈 문자열이면 serializedQuery를 null로 설정한다.

4. query의 URL 객체의 URL의 query를 serializedQuery로 설정한다.

new URLSearchParams(init) 생성자 단계는 다음과 같다:

1. init이 문자열이고 앞에 U+003F(?)가 있으면 처음 코드 포인트를 제거한다.

2. initialize를 this와 init에 실행한다.

size getter 단계는 this의 list의 크기를 반환한다.

append(name, value) 메서드 단계는 다음과 같다:

1. append (name, value)를 this의 list에 추가한다.

2. update를 this에 실행한다.

delete(name, value) 메서드 단계는 다음과 같다:

1. value가 주어지면 remove하여 tuples 중 name이 name이고 value가 value인 모든 항목을 this의 list에서 삭제합니다.

2. 그렇지 않으면 remove하여 tuples 중 name이 name인 모든 항목을 this의 list에서 삭제합니다.

3. Update하여 this를 갱신합니다.

get(name) 메서드 단계는 this의 list에서 name이 name인 첫 번째 tuple의 value를 반환하며, 없다면 null을 반환합니다.

getAll(name) 메서드 단계는 this의 list에서 name이 name인 모든 tuple의 value를 리스트 순서대로 반환하며, 없으면 빈 sequence를 반환합니다.

has(name, value) 메서드 단계:

1. value가 주어지고, this의 list에 name이 name이고 value가 value인 tuple이 있으면 true를 반환합니다.

2. value가 주어지지 않고, this의 list에 name이 name인 tuple이 있으면 true를 반환합니다.

3. false를 반환합니다.

set(name, value) 메서드 단계:

1. this의 list가 name이 name인 tuples을 contains하면, 첫 번째 tuple의 value를 value로 설정하고, 나머지를 remove합니다.

2. 그렇지 않으면 append (name, value)를 this의 list에 추가합니다.

3. Update해서 this를 갱신합니다.

sort() 메서드 단계:

1. this의 list를 오름차순으로 정렬한 결과로 설정합니다. a가 b보다 작으려면 a의 name이 code unit less than b의 name이어야 합니다.

2. Update해서 this를 갱신합니다.