URL

バイトを文字列に %-符号化する アルゴリズムは、 所与の ( 1 個のバイト バイト ) に対し ：RETURN 次に与える %-符号化されたバイト ：U+0025 (%) << ［ バイト を表現する 2 個の ASCII 16 進数字（大文字） ］ To percent-encode a byte byte, return a string consisting of U+0025 (%), followed by two ASCII upper hex digits representing byte.

バイト列をバイト列に %-復号する アルゴリズムは、 所与の ( バイト列 入力 ) に対し： To percent-decode a byte sequence input, run these steps:

警告： 入力 が ASCII バイト以外のバイトを含み得るときに， BOM はそのままに UTF-8 復号する以外を利用するのは、 セキュアでないこともあるので推奨されない。 Using anything but UTF-8 decode without BOM when input contains bytes that are not ASCII bytes might be insecure and is not recommended.

1. 出力 :← 空バイト列 Let output be an empty byte sequence.
2. L :← 入力 の長さ ↓
3. N :← 1 ↓

4. WHILE［ N ≤ L ］：

   1. バイト :← 入力 の N 個目のバイト
   2. N += 1

   3. IF［ バイト ＝ 0x25 (%) ］∧［ N + 1 ≤ L ］：

      1. バイト列 :← 入力 の［ N 個目, N + 1 個目 ］のバイトが成すバイト列

      2. IF［ バイト列 を成すどのバイト b も［ b ∈ { 0x30 (0) 〜 0x39 (9), 0x41 (A) 〜 0x46 (F), 0x61 (a) 〜 0x66 (f) } ］を満たす ］：

         1. 16 進文字列 :← 同型に復号する( バイト列 )
         2. バイト ← ［ 16 進文字列 を 16 進数として解釈した結果の数 ］を値とするバイト
         3. N += 2
   4. 出力 << バイト
   For each byte byte in input: • If byte is not 0x25 (%), then append byte to output. • Otherwise, if byte is 0x25 (%) and the next two bytes after byte in input are not in the ranges 0x30 (0) to 0x39 (9), 0x41 (A) to 0x46 (F), and 0x61 (a) to 0x66 (f), all inclusive, append byte to output. • Otherwise: •• Let bytePoint be the two bytes after byte in input, decoded, and then interpreted as hexadecimal number. •• Append a byte whose value is bytePoint to output. •• Skip the next two bytes in input.
5. RETURN 出力 Return output.

文字列をバイト列に %-復号する アルゴリズムは、 所与の ( スカラー値文字列 入力 ) に対し ：RETURN バイト列をバイト列に %-復号する( UTF-8 符号化する( 入力 ) ) To percent-decode a scalar value string input: • Let bytes be the UTF-8 encoding of input. • Return the percent-decoding of bytes.

文字列を符号化してから %-符号化する アルゴリズムは、 所与の ( 符号化法 符号化法, スカラー値文字列 入力, 符号位置たちが成す集合 %-符号化集合, 真偽値 spaceAsPlus （省略時は false ） ) に対し： To percent-encode after encoding, given an encoding encoding, scalar value string input, a percentEncodeSet, and an optional boolean spaceAsPlus (default false):

1. 符号化器 :← 符号化器を取得する( 符号化法 ) Let encoder be the result of getting an encoder from encoding.
2. 入力キュー :← 入力 を入出力キューに変換した結果 Let inputQueue be input converted to an I/O queue.
3. 出力 :← 空文字列 Let output be the empty string.

4. WHILE 無条件： Let potentialError be 0.This needs to be a non-null value to initiate the subsequent while loop.While potentialError is non-null:↓↓

   1. 符号化出力 :← 空な入出力キュー Let encodeOutput be an empty I/O queue.
   2. エラーになり得る :← 符号化するか失敗する( 入力キュー, 符号化器, 符号化出力 ) Set potentialError to the result of running encode or fail with inputQueue, encoder, and encodeOutput.

   3. ［ 符号化出力 をバイト列に変換した結果 ］を成す 各( バイト ) に対し： For each byte of encodeOutput converted to a byte sequence:

      1. IF［ spaceAsPlus ＝ true ］∧［ バイト ＝ 0x20 (SP) ］ ：出力 << U+002B (+)； CONTINUE If spaceAsPlus is true and byte is 0x20 (SP), then append U+002B (+) to output and continue.
      2. 同型な符号位置 :← 次を満たす符号位置 ：その値 ＝ バイト の値 Let isomorph be a code point whose value is byte’s value.
      3. Assert： %-符号化集合 は ASCII 符号位置でないすべての符号位置を含む。 Assert: percentEncodeSet includes all non-ASCII code points.
      4. IF［ 同型な符号位置 ∉ %-符号化集合 ］ ：出力 << 同型な符号位置 If isomorph is not in percentEncodeSet, then append isomorph to output.
      5. ELSE ：出力 << バイトを文字列に %-符号化する( バイト ) Otherwise, percent-encode byte and append the result to output.

   4. IF［ エラーになり得る ≠ null ］ ：出力 << "%26%23" << 整数を直列化する( エラーになり得る ) << "%3B" If potentialError is non-null, then append "%26%23", followed by the shortest sequence of ASCII digits representing potentialError in base ten, followed by "%3B", to output.

      注記： これは、 符号化法 が UTF-8 でないとき起こり得る。 This can happen when encoding is not UTF-8.

   5. ELSE ：BREAK ↑↑
5. RETURN 出力 Return output.

注記： 引数 %-符号化集合 用に可能な値のうち， %-符号化する対象に U+0025 (%) を含むものは、［ 成分 %-符号化集合, application/x-www-form-urlencoded %-符号化集合 ］に限られる — したがって， “往復可能なデータ” を与える。 他の値 — URL 構文解析器に利用され得るもの — は、 U+0025 (%) には触れないまま残す — そのようなわけで、 適正に表現するためには，まず符号位置を UTF-8 %-符号化する必要がある。 Of the possible values for the percentEncodeSet argument only two end up encoding U+0025 (%) and thus give “roundtripable data”: component percent-encode set and application/x-www-form-urlencoded percent-encode set. The other values for the percentEncodeSet argument — which happen to be used by the URL parser — leave U+0025 (%) untouched and as such it needs to be percent-encoded first in order to be properly represented.

符号位置を UTF-8 %-符号化する アルゴリズムは、 所与の ( スカラー値 スカラー値, 符号位置たちが成す集合 %-符号化集合 ) に対し ：RETURN 文字列を符号化してから %-符号化する( UTF-8 , スカラー値 1 個からなる文字列, %-符号化集合 ) To UTF-8 percent-encode a scalar value scalarValue using a percentEncodeSet, return the result of running percent-encode after encoding with UTF-8, scalarValue as a string, and percentEncodeSet.

文字列を UTF-8 %-符号化する アルゴリズムは、 所与の ( スカラー値文字列 入力, 符号位置たちが成す集合 %-符号化集合 ) に対し ：RETURN 文字列を符号化してから %-符号化する( UTF-8 , 入力, %-符号化集合 ) To UTF-8 percent-encode a scalar value string input using a percentEncodeSet, return the result of running percent-encode after encoding with UTF-8, input, and percentEncodeSet.

ドメイン ドメイン の ドメインラベル群 は、 次の結果を返す ：区切子で厳密に分割する( ドメイン, U+002E (.) ) The domain labels of a domain domain are the result of strictly splitting domain on U+002E (.).

所与の ( ホスト ホスト ) の 公共接尾辞 （ public suffix ） 得る アルゴリズムは、［ null ／［ ホスト 内の［ 公共接尾辞リスト（ PublicSuffixList ） [PSL] に含まれる部位 ］を表現しているドメイン ］］を返す： To obtain the public suffix of a host host, run these steps. They return null or a domain representing a portion of host that is included on the Public Suffix List. [PSL]

1. IF［ ホスト はドメインでない ］ ：RETURN null If host is not a domain, then return null.
2. 末尾のドット :← ［ ホスト は "." で終端しているならば "." ／ 他の場合は 空文字列 ］ Let trailingDot be "." if host ends with "."; otherwise the empty string.
3. 公共接尾辞 :← 公共接尾辞リストのアルゴリズムをドメインとして ホスト を与えて走らせた結果の公共接尾辞 [PSL] Let publicSuffix be the public suffix determined by running the Public Suffix List algorithm with host as domain. [PSL]
4. Assert：［ 公共接尾辞 は ASCII 文字列である ］∧［ 公共接尾辞 は "." で終端していない ］ Assert: publicSuffix is an ASCII string that does not end with ".".
5. RETURN ［ 公共接尾辞, 末尾のドット ］を順に連結した結果 Return publicSuffix and trailingDot concatenated.

所与の ( ホスト ホスト ) の 登録可能なドメイン （ registrable domain ） を得る アルゴリズムは、［ null ／［ ホスト の公共接尾辞と［ それに先行しているドメインラベルが在れば それ ］により形成されるドメイン ］］を返す： To obtain the registrable domain of a host host, run these steps. They return null or a domain formed by host’s public suffix and the domain label preceding it, if any.

1. IF［ ホスト の公共接尾辞 ＝ null ］∨［ ( ホスト の公共接尾辞, ホスト ) は同等なホストである ］ ：RETURN null If host’s public suffix is null or host’s public suffix equals host, then return null.
2. 末尾のドット :← ［ ホスト は "." で終端しているならば "." ／ 他の場合は 空文字列 ］ Let trailingDot be "." if host ends with "."; otherwise the empty string.
3. 登録可能なドメイン :← 公共接尾辞リストのアルゴリズムをドメインとして ホスト を与えて走らせた結果の登録可能なドメイン [PSL] Let registrableDomain be the registrable domain determined by running the Public Suffix List algorithm with host as domain. [PSL]
4. Assert：［ 登録可能なドメイン は ASCII 文字列である ］∧［ 登録可能なドメイン は "." で終端していない ］ Assert: registrableDomain is an ASCII string that does not end with ".".
5. RETURN ［ 登録可能なドメイン, 末尾のドット ］を順に連結した結果 Return registrableDomain and trailingDot concatenated.

ドメインを ASCII 化する アルゴリズムは、 所与の ( 文字列 ドメイン, 真偽値 厳密か ) に対し： The domain to ASCII algorithm, given a string domain and a boolean beStrict, runs these steps:

1. 結果 :← 次を与える下で， Unicode ToASCII を走らせた結果 [UTS46] ：domain_name ← ドメイン, CheckHyphens ← 厳密か, CheckBidi ← true, CheckJoiners ← true, UseSTD3ASCIIRules ← 厳密か, Transitional_Processing ← false, VerifyDnsLength ← 厳密か, IgnoreInvalidPunycode ← false Let result be the result of running Unicode ToASCII with domain_name set to domain, CheckHyphens set to beStrict, CheckBidi set to true, CheckJoiners set to true, UseSTD3ASCIIRules set to beStrict, Transitional_Processing set to false, VerifyDnsLength set to beStrict, and IgnoreInvalidPunycode set to false. [UTS46]

   注記： ∧↓ 次が満たされる場合、 この段は ドメイン を ASCII 小文字化することと等価になる：

   • 厳密か ＝ false
   • ドメイン は ASCII 文字列である
   • 次の結果 ：区切子で厳密に分割する( ドメイン, U+002E (.) ) を成す どのアイテムも，次を満たす ：［ ASCII 大小無視で "xn--" に合致する文字列 ］から開始していない

   If beStrict is false, domain is an ASCII string, and strictly splitting domain on U+002E (.) does not produce any item that starts with an ASCII case-insensitive match for "xn--", this step is equivalent to ASCII lowercasing domain.
2. IF［ 結果 ＝ 失敗 ］ ：検証エラー( domain-to-ASCII )； RETURN 失敗 If result is a failure value, domain-to-ASCII validation error, return failure.

3. IF［ 厳密か ＝ false ］： If beStrict is false:

   1. IF［ 結果 ＝ 空文字列 ］ ：検証エラー( domain-to-ASCII )； RETURN 失敗 If result is the empty string, domain-to-ASCII validation error, return failure.

   2. IF［ 結果 内に禁止ドメイン符号位置が在る ］ ：検証エラー( domain-invalid-code-point )； RETURN 失敗 If result contains a forbidden domain code point, domain-invalid-code-point validation error, return failure.

      注記： ［ web 互換性, DNS に基づかないシステムとの互換性 ］に因り、 禁止ドメイン符号位置は，［ UseSTD3ASCIIRules が true をとるときには許容されない符号位置たち ］の下位集合を成す。 課題 #397 も見よ。 Due to web compatibility and compatibility with non-DNS-based systems the forbidden domain code points are a subset of those disallowed when UseSTD3ASCIIRules is true. See also issue #397.

4. Assert： ［ 結果 ≠ 空文字列 ］∧［ 結果 内に禁止ドメイン符号位置は無い ］ Assert: result is not the empty string and does not contain a forbidden domain code point.

   注記： ［ 厳密か ＝ true ］のときには、 [UTS46] が，これが満たされることを保証する。 Unicode IDNA Compatibility Processing guarantees this holds when beStrict is true. [UTS46]

5. RETURN 結果 Return result.

注記： この文書および web プラットフォームは、 IDNA2008 [RFC5890] ではなく， Unicode IDNA Compatibility Processing [UTS46] 【 “Unicode IDNA 互換性処理” 】 を全般的に利用する。 一例として、 "☕.example" は， 失敗 ではなく "xn--53h.example" になる。 This document and the web platform at large use Unicode IDNA Compatibility Processing and not IDNA2008. For instance, ☕.example becomes xn--53h.example and not failure. [UTS46] [RFC5890]

ドメインを Unicode 化する アルゴリズムは、 所与の ( ドメイン ドメイン, 真偽値 厳密か ) に対し： The domain to Unicode algorithm, given a domain domain and a boolean beStrict, runs these steps:

1. 結果 :← 次を与える下で， Unicode ToUnicode を走らせた結果 [UTS46] ：domain_name ← ドメイン, CheckHyphens ← 厳密か, CheckBidi ← true, CheckJoiners ← true, UseSTD3ASCIIRules ← 厳密か, Transitional_Processing ← false, IgnoreInvalidPunycode ← false Let result be the result of running Unicode ToUnicode with domain_name set to domain, CheckHyphens set to beStrict, CheckBidi set to true, CheckJoiners set to true, UseSTD3ASCIIRules set to beStrict, Transitional_Processing set to false, and IgnoreInvalidPunycode set to false. [UTS46]
2. IF［ 結果 には何らかのエラーが記録された ］ ：検証エラー( domain-to-Unicode ) Signify domain-to-Unicode validation errors for any returned errors, and then,＼
3. RETURN 結果 return result.

文字列 入力 が 妥当なドメイン であるとは、［ 次の結果 ≠ 失敗 ］になることをいう ：ドメインを ASCII 化する( 入力, true ) A string input is a valid domain if these steps return true: • Let domain be the result of running domain to ASCII with input and true. • Return false if domain is failure; otherwise true.

課題： 理想的には、 妥当なドメインを成す符号位置並びに基づいて定義したい所 — モグラ叩きのように定義するのではなく： 課題 #245 Ideally we define this in terms of a sequence of code points that make up a valid domain rather than through a whack-a-mole: issue 245.

ホスト構文解析器 は、 所与の ( スカラー値文字列 入力, 真偽値 不透明か （省略時は false ） ) に対し，［ 失敗 ／ホスト ］を返す： The host parser takes a scalar value string input with an optional boolean isOpaque (default false), and then runs these steps. They return failure or a host.

1. IF［ 入力 の先頭 ＝ U+005B ([) ］： If input starts with U+005B ([), then:

   1. IF［ 入力 の末尾 ≠ U+005D (]) ］ ：検証エラー( IPv6-unclosed )； RETURN 失敗 If input does not end with U+005D (]), IPv6-unclosed validation error, return failure.
   2. RETURN IPv6 構文解析器( 入力 から先頭の U+005B ([) と末尾の U+005D (]) を除去した結果 ) Return the result of IPv6 parsing input with its leading U+005B ([) and trailing U+005D (]) removed.
2. IF［ 不透明か ＝ true ］ ：RETURN 不透明なホスト構文解析器( 入力 ) If isOpaque is true, then return the result of opaque-host parsing input.
3. Assert： 入力 ≠ 空文字列 Assert: input is not the empty string.

4. ドメイン :← BOM はそのままに UTF-8 復号する( 文字列をバイト列に %-復号する( 入力 ) ) Let domain be the result of running UTF-8 decode without BOM on the percent-decoding of input.

   注記： 別法として、 BOM も失敗もそのままに UTF-8 復号するアルゴリズムを利用した上で， 失敗 時には早々に RETURN することもできる — ドメインを ASCII 化するのは U+FFFD REPLACEMENT CHARACTER に対し失敗するので。 Alternatively UTF-8 decode without BOM or fail can be used, coupled with an early return for failure, as domain to ASCII fails on U+FFFD (�).

5. ASCII ドメイン :← ドメインを ASCII 化する( ドメイン, false ) Let asciiDomain be the result of running domain to ASCII with domain and false.
6. IF［ ASCII ドメイン ＝ 失敗 ］ ：RETURN 失敗 If asciiDomain is failure, then return failure.
7. IF［ 番号で終端しているか検査する( ASCII ドメイン ) ＝ true ］ ：RETURN IPv4 構文解析器( ASCII ドメイン ) If asciiDomain ends in a number, then return the result of IPv4 parsing asciiDomain.
8. RETURN ASCII ドメイン Return asciiDomain.

番号で終端しているか検査する アルゴリズムは、 所与の ( ASCII 文字列 入力 ) に対し，真偽値を返す： The ends in a number checker takes an ASCII string input and then runs these steps. They return a boolean.

1. 成分リスト :← 区切子で厳密に分割する( 入力, U+002E (.) ) Let parts be the result of strictly splitting input on U+002E (.).

2. IF［ 成分リスト の最後のアイテム ＝ 空文字列 ］： If the last item in parts is the empty string, then:

   1. IF［ 成分リスト のサイズ ＝ 1 ］ ：RETURN false If parts’s size is 1, then return false.
   2. 成分リスト から最後のアイテムを除去する Remove the last item from parts.
3. 最後のアイテム :← 成分リスト の最後のアイテム Let last be the last item in parts.

4. IF［ 最後のアイテム は 1 個以上の ASCII 数字のみからなる ］ ：RETURN true If last is non-empty and contains only ASCII digits, then return true.

   注記： エラー含みの入力 "09" は、 後の段にて IPv4 構文解析器により catch されることになる。 The erroneous input "09" will be caught by the IPv4 parser at a later stage.

5. IF［ IPv4 番号構文解析器( 最後のアイテム ) ≠ 失敗 ］ ：RETURN true If parsing last as an IPv4 number does not return failure, then return true.

   注記： これは、 最後のアイテム が次の並びか否か検査することに等価になる ："0X" または "0x", 0 個以上の ASCII 16 進数字 This is equivalent to checking that last is "0X" or "0x", followed by zero or more ASCII hex digits.

6. RETURN false Return false.

IPv4 構文解析器 は、 所与の ( ASCII 文字列 入力 ) に対し，［ 失敗 ／IPv4 アドレス ］を返す： The IPv4 parser takes an ASCII string input and then runs these steps. They return failure or an IPv4 address.

注記： 他の仕様は、 IPv4 構文解析器を直に呼び出さないこと。 代わりに，［ ホスト構文解析器の返り値が IPv4 アドレスになるかどうか ］を検査すること。 The IPv4 parser is not to be invoked directly. Instead check that the return value of the host parser is an IPv4 address.

1. 成分リスト :← 区切子で厳密に分割する( 入力, U+002E (.) ) Let parts be the result of strictly splitting input on U+002E (.).

2. IF［ 成分リスト 内の最後のアイテム ＝ 空文字列 ］： If the last item in parts is the empty string, then:

   1. 検証エラー( IPv4-empty-part ) IPv4-empty-part validation error.

   2. IF［ 成分リスト のサイズ > 1 ］ ：成分リスト から最後のアイテムを除去する

      【 入力 の末尾に余計な U+002E (.) があっても受容されることになる。 】

      If parts’s size is greater than 1, then remove the last item from parts.
3. IF［ 成分リスト のサイズ > 4 ］ ：検証エラー( IPv4-too-many-parts )； RETURN 失敗 If parts’s size is greater than 4, IPv4-too-many-parts validation error, return failure.
4. 番号リスト :← 新たなリスト Let numbers be an empty list.

5. 成分リスト を成す 各( 成分 ) に対し： For each part of parts:

   1. 結果 :← IPv4 番号構文解析器( 成分 ) Let result be the result of parsing part.
   2. IF［ 結果 ＝ 失敗 ］ ：検証エラー( IPv4-non-numeric-part )； RETURN 失敗 If result is failure, IPv4-non-numeric-part validation error, return failure.
   3. ( 番号, 検証エラーか ) :← 結果 ↓
   4. IF［ 検証エラーか ＝ true ］ ：検証エラー( IPv4-non-decimal-part ) If result[1] is true, IPv4-non-decimal-part validation error.
   5. 番号リスト に 番号 を付加する Append result[0] to numbers.
6. 最後の index :← 番号リスト のサイズ − 1 ↓

7. 範囲 { 0 〜 最後の index } を成す 各( i ) に対し，昇順に：

   1. IF［ 番号リスト[ i ] ≤ 255 ］ ：CONTINUE
   2. 検証エラー( IPv4-out-of-range-part )
   3. IF［ i ≠ 最後の index ］ ：RETURN 失敗
   If any item in numbers is greater than 255, IPv4-out-of-range-part validation error.If any but the last item in numbers is greater than 255, then return failure.
8. IF［ 番号リスト[ 最後の index ]† ≥ ( 256 の ( 4 − 最後の index ) 乗 ) ］ ：RETURN 失敗 If the last item in numbers is greater than or equal to 256(5 − numbers’s size), then return failure.
9. IPv4 :← 番号リスト[ 最後の index ] Let ipv4 be the last item in numbers.
10. 番号リスト から最後のアイテムを除去する†† Remove the last item from numbers.
11. カウンタ :← 0 Let counter be 0.

12. 番号リスト を成す 各( n ) に対し： For each n of numbers:

    1. IPv4 += ( n × ( 256 の ( 3 − カウンタ ) 乗 ) ) Increment ipv4 by n × 256(3 − counter).
    2. カウンタ += 1 Increment counter by 1.
13. RETURN IPv4 Return ipv4.

【† 最後のアイテムだけ特別扱い — 例えば、 "100.100.25600" は "100.100.100.0" と等価になり， "0xFFFFFFFF" は "255.255.255.255" と等価になる。 】【†† ここでも、 番号リスト のサイズが 4 に満たない場合は）最後のアイテムだけ特別扱い — 例えば、 "100.100" は "100.0.0.100" と等価になる。 】

IPv4 番号構文解析器 は、 所与の ( ASCII 文字列 入力 ) に対し，［ 失敗 ／ ( 番号, 真偽値 ) が成すタプル ］を返す： The IPv4 number parser takes an ASCII string input and then runs these steps. They return failure or a tuple of a number and a boolean.

1. IF［ 入力 ＝ 空文字列 ］ ：RETURN 失敗 If input is the empty string, then return failure.
2. 検証エラーか :← false Let validationError be false.
3. R :← 10 Let R be 10.

4. IF［ 入力 の長さ ≥ 2 ］∧［ 入力 の先頭の符号位置 ＝ U+0030 (0) ］：

   1. 検証エラーか ← true
   2. 入力 から先頭の符号位置を除去する
   3. R ← 8
   4. IF［ 入力 の先頭の符号位置 ∈ { U+0058 (X), U+0078 (x) } ］ ：入力 から先頭の符号位置を除去する； R ← 16
   If input contains at least two code points and the first two code points are either "0X" or "0x", then: • Set validationError to true. • Remove the first two code points from input. • Set R to 16.Otherwise, if input contains at least two code points and the first code point is U+0030 (0), then: • Set validationError to true. • Remove the first code point from input. • Set R to 8.

5. IF［ 入力 ＝ 空文字列 ］ ：RETURN ( 0, true )

   【 "0x" ／ "0X" が入力されたときも，ここに該当することになる。 】

   If input is the empty string, then return (0, true).
6. IF［ 入力 内に基数 R の数字でない符号位置が在る ］ ：RETURN 失敗 If input contains a code point that is not a radix-R digit, then return failure.
7. 出力 :← 入力 を基数 R による表記と見なす下で，整数 値として解釈した結果 — R ＝ 16 の場合、 各桁の ASCII 16 進数字を 0 〜 15 の値に対応付ける下で Let output be the mathematical integer value that is represented by input in radix-R notation, using ASCII hex digits for digits with values 0 through 15.
8. RETURN ( 出力, 検証エラーか ) Return (output, validationError).

【 "0xAB.012.0X12.12" の様なホスト名も IPv4 アドレスと見なされ、 "0xAB", "0X12" は 16 進数, "012" は 8 進数, "12" は 10 進数 として解釈されることになる。 】

IPv6 構文解析器 は、 所与の ( スカラー値文字列 入力 ) に対し，［ 失敗 ／IPv6 アドレス ］を返す： The IPv6 parser takes a scalar value string input and then runs these steps. They return failure or an IPv6 address.

注記： 他の仕様は、 理論上は，IPv6 構文解析器を直に呼び出すこともできるが、 実際にそれを行う前に，この文書の編集者たちと論じられたし。 The IPv6 parser could in theory be invoked directly, but please discuss actually doing that with the editors of this document first.

1. アドレス :← 新たな IPv6 アドレス — その ：piece 群 ← « 0, 0, 0, 0, 0, 0, 0, 0 » Let address be a new IPv6 address whose pieces are all 0.
2. piece index :← 0 Let pieceIndex be 0.
3. 圧縮 index :← null Let compress be null.
4. ポインタ :← 入力 用のポインタ Let pointer be a pointer for input.

5. IF［ C ＝ U+003A (:) ］： If c is U+003A (:), then:

   1. IF［ C1 ≠ U+003A (:) ］ ：検証エラー( IPv6-invalid-compression )； RETURN 失敗 If remaining does not start with U+003A (:), IPv6-invalid-compression validation error, return failure.
   2. ポインタ += 2 Increase pointer by 2.
   3. piece index += 1 Increase pieceIndex by 1 and then＼
   4. 圧縮 index ← piece index set compress to pieceIndex.

6. WHILE ［ C ≠ EOF ］： While c is not the EOF code point:

   1. IF［ piece index ＝ 8 ］ ：検証エラー( IPv6-too-many-pieces )； RETURN 失敗 If pieceIndex is 8, IPv6-too-many-pieces validation error, return failure.

   2. IF［ C ＝ U+003A (:) ］： If c is U+003A (:), then:

      1. IF［ 圧縮 index ≠ null ］ ：検証エラー( IPv6-multiple-compression )； RETURN 失敗 If compress is non-null, IPv6-multiple-compression validation error, return failure.
      2. ポインタ += 1 ↓
      3. piece index += 1 Increase pointer and pieceIndex by 1,＼
      4. 圧縮 index ← piece index set compress to pieceIndex,＼
      5. CONTINUE and then continue.
   3. 値 :← 0 ↓
   4. 長さ :← 0 Let value and length be 0.
   5. WHILE ［ 長さ < 4 ］∧［ C ∈ ASCII 16 進数字 ］ ：値 ← 値 × 0x10 + ［ C を 16 進数として解釈した値 ］； ポインタ += 1； 長さ += 1 While length is less than 4 and c is an ASCII hex digit, set value to value × 0x10 + c interpreted as hexadecimal number, and increase pointer and length by 1.

   6. IF［ C ＝ U+002E (.) ］： If c is U+002E (.), then:

      1. IF［ 長さ ＝ 0 ］ ：検証エラー( IPv4-in-IPv6-invalid-code-point )； RETURN 失敗 If length is 0, IPv4-in-IPv6-invalid-code-point validation error, return failure.
      2. ポインタ −= 長さ Decrease pointer by length.
      3. IF［ piece index > 6 ］ ：検証エラー( IPv4-in-IPv6-too-many-pieces )； RETURN 失敗 If pieceIndex is greater than 6, IPv4-in-IPv6-too-many-pieces validation error, return failure.
      4. IPv4 個数 :← 0 Let numbersSeen be 0.

      5. WHILE ［ C ≠ EOF ］： While c is not the EOF code point:

         1. IPv4 piece :← null Let ipv4Piece be null.

         2. IF［ IPv4 個数 > 0 ］： If numbersSeen is greater than 0, then:

            1. IF［ C ＝ U+002E (.) ］∧［ IPv4 個数 < 4 ］ ：ポインタ += 1 If c is a U+002E (.) and numbersSeen is less than 4, then increase pointer by 1.
            2. ELSE ：検証エラー( IPv4-in-IPv6-invalid-code-point )； RETURN 失敗 Otherwise, IPv4-in-IPv6-invalid-code-point validation error, return failure.
         3. IF［ C ∉ ASCII 数字 ］ ：検証エラー( IPv4-in-IPv6-invalid-code-point )； RETURN 失敗 If c is not an ASCII digit, IPv4-in-IPv6-invalid-code-point validation error, return failure.

         4. WHILE ［ C ∈ ASCII 数字 ］： While c is an ASCII digit:

            1. IF［ IPv4 piece ＝ 0 ］ ：検証エラー( IPv4-in-IPv6-invalid-code-point )； RETURN 失敗 Let number be c interpreted as decimal number.If ipv4Piece is null, then set ipv4Piece to number.Otherwise, if ipv4Piece is 0, IPv4-in-IPv6-invalid-code-point validation error, return failure.
            2. IF［ IPv4 piece ＝ null ］ ：IPv4 piece ← 0 ↑
            3. IPv4 piece ← IPv4 piece × 10 + ［ C を 10 進数として解釈した値 ］ Otherwise, set ipv4Piece to ipv4Piece × 10 + number.
            4. IF［ IPv4 piece > 255 ］ ：検証エラー( IPv4-in-IPv6-out-of-range-part )； RETURN 失敗 If ipv4Piece is greater than 255, IPv4-in-IPv6-out-of-range-part validation error, return failure.
            5. ポインタ += 1 Increase pointer by 1.
         5. アドレス[ piece index ] ← アドレス[ piece index ] × 0x100 + IPv4 piece Set address[pieceIndex] to address[pieceIndex] × 0x100 + ipv4Piece.
         6. IPv4 個数 += 1 Increase numbersSeen by 1.
         7. IF［ IPv4 個数 ∈ { 2, 4 } ］ ：piece index += 1 If numbersSeen is 2 or 4, then increase pieceIndex by 1.
      6. IF［ IPv4 個数 ≠ 4 ］ ：検証エラー( IPv4-in-IPv6-too-few-parts )； RETURN 失敗 If numbersSeen is not 4, IPv4-in-IPv6-too-few-parts validation error, return failure.
      7. BREAK Break.

   7. ELSE IF［ C ＝ U+003A (:) ］： Otherwise, if c is U+003A (:):

      1. ポインタ += 1 Increase pointer by 1.
      2. IF［ C ＝ EOF ］ ：検証エラー( IPv6-invalid-code-point )； RETURN 失敗 If c is the EOF code point, IPv6-invalid-code-point validation error, return failure.
   8. ELSE IF［ C ≠ EOF ］ ：検証エラー( IPv6-invalid-code-point )； RETURN 失敗 Otherwise, if c is not the EOF code point, IPv6-invalid-code-point validation error, return failure.
   9. アドレス[ piece index ] ← 値 Set address[pieceIndex] to value.
   10. piece index += 1 Increase pieceIndex by 1.

7. IF［ 圧縮 index ≠ null ］： If compress is non-null, then:

   1. swap 数 :← piece index − 圧縮 index Let swaps be pieceIndex − compress.
   2. piece index ← 7 Set pieceIndex to 7.
   3. WHILE ［ piece index ≠ 0 ］∧［ swap 数 > 0 ］ ：アドレス[ piece index ] と アドレス[ 圧縮 index + swap 数 − 1 ] の値を swap する； piece index −= 1； swap 数 −= 1 While pieceIndex is not 0 and swaps is greater than 0, swap address[pieceIndex] with address[compress + swaps − 1], and then decrease both pieceIndex and swaps by 1.

   【 この段は妙にまわりくどい — 実質的には、 次と等価になる：

   1. piece index ← 7
   2. WHILE ［ piece index > 圧縮 index ］ ：アドレス[ piece index ] と アドレス[ piece index − 1 ] の値を swap する； piece index −= 1 While pieceIndex is not 0 and swaps is greater than 0, swap address[pieceIndex] with address[compress + swaps − 1], and then decrease both pieceIndex and swaps by 1.

   すなわち、 アドレス[ 7 ] を アドレス[ 圧縮 index ] へ移動して， アドレス[ 圧縮 index ] 以降を一つずらしているが、 正しいふるまいとは思えない。 本当は、 アドレス[ 圧縮 index ] の直前に必要とされる個数の 0 を挿入するべきでは？ — それに伴い、 このアルゴリズムの他所も改める必要があるが。 】

8. ELSE ：IF［ piece index ≠ 8 ］ ：検証エラー( IPv6-too-few-pieces )； RETURN 失敗 Otherwise, if compress is null and pieceIndex is not 8, IPv6-too-few-pieces validation error, return failure.
9. RETURN アドレス Return address.

不透明なホスト構文解析器 は、 所与の ( スカラー値文字列 入力 ) に対し，［ 失敗 ／不透明なホスト ］を返す： The opaque-host parser takes a scalar value string input, and then runs these steps. They return failure or an opaque host.

1. IF［ 入力 内に禁止ホスト符号位置が在る ］ ：検証エラー( host-invalid-code-point )； RETURN 失敗 If input contains a forbidden host code point, host-invalid-code-point validation error, return failure.
2. IF［ 入力 内に［ URL 符号位置, "%" ］以外の符号位置が在る ］ ：検証エラー( invalid-URL-unit ) If input contains a code point that is not a URL code point and not U+0025 (%), invalid-URL-unit validation error.
3. IF［ 入力 内に［ 2 個の ASCII 16 進数字が後続していない "%" ］が在る ］ ：検証エラー( invalid-URL-unit ) If input contains a U+0025 (%) and the two code points following it are not ASCII hex digits, invalid-URL-unit validation error.
4. RETURN 文字列を UTF-8 %-符号化する( 入力, C0 制御文字 %-符号化集合 ) Return the result of running UTF-8 percent-encode on input using the C0 control percent-encode set.

ホストを直列化する アルゴリズムは、 所与の ( ホスト ホスト ) に対し，ASCII 文字列を返す： The host serializer takes a host host and then runs these steps. They return an ASCII string.

1. ホスト の種別に応じて： ↓

   • IPv4 アドレス ：RETURN IPv4 直列化器( ホスト ) If host is an IPv4 address, return the result of running the IPv4 serializer on host.
   • IPv6 アドレス ：RETURN U+005B ([) << IPv6 直列化器( ホスト ) << U+005D (]) Otherwise, if host is an IPv6 address, return U+005B ([), followed by the result of running the IPv6 serializer on host, followed by U+005D (]).
   • ドメイン ／ 不透明なホスト ／ 空ホスト ：RETURN ホスト Otherwise, host is a domain, opaque host, or empty host, return host.

IPv4 直列化器 は、 所与の ( IPv4 アドレス アドレス ) に対し， ASCII 文字列を返す： The IPv4 serializer takes an IPv4 address address and then runs these steps. They return an ASCII string.

1. 出力 :← 空文字列 Let output be the empty string.
2. n :← アドレス Let n be the value of address.

3. { 1 〜 4 } を成す 各( i ) に対し，昇順に： For each i in the range 1 to 4, inclusive:

   1. 出力 ← 整数を直列化する( n を 256 で割った余り ) << 出力 Prepend n % 256, serialized, to output.
   2. IF［ i ≠ 4 ］ ：U+002E (.) を 出力 の先頭に挿入する If i is not 4, then prepend U+002E (.) to output.
   3. n ← floor( n ÷ 256 ) Set n to floor(n / 256).
4. RETURN 出力 Return output.

IPv6 直列化器 は、 所与の ( IPv6 アドレス アドレス ) に対し， ASCII 文字列を返す： The IPv6 serializer takes an IPv6 address address and then runs these steps. They return an ASCII string.

1. 出力 :← 空文字列 Let output be the empty string.
2. 圧縮 index :← IPv6 アドレスの圧縮された piece index を見出す( アドレス ) Let compress be the result of finding the IPv6 address compressed piece index given address.
3. 無視するか :← false Let ignore0 be false.

4. アドレス の piece 群の index 群を成す 各( piece index ) に対し： For each pieceIndex of address’s pieces’s indices:

   1. IF［ 無視するか ＝ true ］∧［ アドレス[ piece index ] ＝ 0 ］ ：CONTINUE If ignore0 is true and address[pieceIndex] is 0, then continue.
   2. 無視するか ← false Otherwise, if ignore0 is true, set ignore0 to false.

   3. IF［ 圧縮 index ＝ piece index ］： If compress is pieceIndex, then:

      1. 出力 << ［ piece index ＝ 0 ならば "::" ／ 他の場合は ":" ］ Let separator be "::" if pieceIndex is 0; otherwise U+003A (:).Append separator to output.
      2. 無視するか ← true Set ignore0 to true and continue.
      3. CONTINUE ↑
   4. 出力 << 次を満たす最短な文字列 ：アドレス[ piece index ] を小文字 16 進数で表現している Append address[pieceIndex], represented as the shortest possible lowercase hexadecimal number, to output.
   5. IF［ piece index ≠ 7 ］ ：出力 << U+003A (:) If pieceIndex is not 7, then append U+003A (:) to output.
5. RETURN 出力 Return output.

注記： このアルゴリズムは、 A Recommendation for IPv6 Address Text Representation （IPv6 アドレスの推奨表記）への準拠を要求する。 [RFC5952] 【参考：IPv6 アドレス表記の柔軟性が起こす問題と RFC5952 の解説】 This algorithm requires the recommendation from A Recommendation for IPv6 Address Text Representation. [RFC5952]

IPv6 アドレスの圧縮された piece index を見出す アルゴリズムは、 所与の ( IPv6 アドレス アドレス ) に対し： To find the IPv6 address compressed piece index given an IPv6 address address:

1. 最長 index :← null Let longestIndex be null.
2. 最長サイズ :← 1 Let longestSize be 1.
3. 見出された index :← null Let foundIndex be null.
4. 見出されたサイズ :← 0 Let foundSize be 0.

5. アドレス の piece 群の index 群を成す 各( piece index ) に対し： For each pieceIndex of address’s pieces’s indices:

   1. IF［ アドレス の piece 群[ piece index ] ≠ 0 ］： If address’s pieces[pieceIndex] is not 0:

      1. IF［ 見出されたサイズ > 最長サイズ ］ ：最長 index ← 見出された index ； 最長サイズ ← 見出されたサイズ If foundSize is greater than longestSize, then set longestIndex to foundIndex and longestSize to foundSize.
      2. 見出された index ← null Set foundIndex to null.
      3. 見出されたサイズ ← 0 Set foundSize to 0.

   2. ELSE： Otherwise:

      1. IF［ 見出された index ＝ null ］ ：見出された index ← piece index If foundIndex is null, then set foundIndex to pieceIndex.
      2. 見出されたサイズ += 1 Increment foundSize by 1.
6. IF［ 見出されたサイズ > 最長サイズ ］ ：RETURN 見出された index If foundSize is greater than longestSize, then return foundIndex.
7. RETURN 最長 index Return longestIndex.

例えば， "0:f:0:0:f:f:0:0" に対しては、 2 個目の 0 を指す index を返すことになる。 In 0:f:0:0:f:f:0:0 it would point to the second 0.

2 つのホスト ( A, B ) は、 次を満たすとき, そのときに限り 同等なホスト であるとされる ：A と B は【互いの型が一致する, かつ値も】等しい To determine whether a host A equals host B, return true if A is B, and false otherwise.

URL の パスを短縮する アルゴリズムは： To shorten a url’s path:

1. Assert： URL は不透明なパスを有さない。 Assert: url does not have an opaque path.
2. パス :← URL のパス Let path be url’s path.
3. IF［ URL のスキーム ＝ "file" ］∧［ パス のサイズ ＝ 1 ］∧［ パス[ 0 ] は正規化済み Windows ドライブレターである ］ ：RETURN If url’s scheme is "file", path’s size is 1, and path[0] is a normalized Windows drive letter, then return.
4. IF［ パス は空でない ］ ：パス から最後のアイテムを除去する Remove path’s last item, if any.

URL 構文解析する アルゴリズムは（ “URL 構文解析器にかける” とも称される）、 所与の ：スカラー値文字列 入力, ［ null ／基底 URL ］ 基底 （省略時は null ）, 符号化法 符号化法 （省略時は UTF-8 ） に対し： The URL parser takes a scalar value string input, with an optional null or base URL base (default null) and an optional encoding encoding (default UTF-8), and then runs these steps:

注記： 非 web ブラウザ実装は、 基本 URL 構文解析器のみ実装すれば十分である。 Non-web-browser implementations only need to implement the basic URL parser.

注記： ブラウザの URL バー内の利用者入力を URL レコードに どう変換するかは、 この標準の視野から外れる。 この標準は、 URL の具現化要件を — 信用裁定に係るので — 含むが。 How user input in the web browser’s address bar is converted to a URL record is out-of-scope of this standard. This standard does include URL rendering requirements as they pertain trust decisions.

1. URL :← 基本 URL 構文解析器( 入力, 基底, 符号化法 ) Let url be the result of running the basic URL parser on input with base and encoding.
2. IF［ URL ＝ 失敗 ］ ：RETURN 失敗 If url is failure, return failure.
3. IF［ URL のスキーム ≠ "blob" ］ ：RETURN URL If url’s scheme is not "blob", return url.
4. URL の blob URL エントリ ← 次の結果に応じて［ 失敗 ならば null ／ 他の場合は その結果 ］ ：blob URL を解決する( URL ) Set url’s blob URL entry to the result of resolving the blob URL url, if that did not return failure, and null otherwise.
5. RETURN URL Return url.

API 用に URL 構文解析する アルゴリズムは、 所与の ：スカラー値文字列 入力, URL URL , 上書き state , 符号化法 符号化法 （省略時は UTF-8 ） に対し ：基本 URL 構文解析器( 入力, null , 符号化法, ( URL , 上書き state ) ) 加えて、 結果に応じて，次を返す ：失敗 ならば 失敗 ／ 他の場合は（基本 URL 構文解析器は値を返さなかった） 成功

【 このアルゴリズムは，基本 URL 構文解析器を包装するものでしかないが、 それを他所（他の仕様も含む）から簡便に利用するために， この訳に導入している。 これは、 主として， URL 内の 上書き state に対応する URL 成分 （例：ホスト state ならばホスト成分） を［ 入力 を その成分に関して構文解析した結果 ］に改変する用途が意図される （新たな URL は作成しない）。 （ “API 用…” と命名された理由は、 下の注記を見よ。） 】

基本 URL 構文解析器 は、 所与の ：スカラー値文字列 入力, ［ null ／基底 URL ］ 基底 （省略時は null ）, 符号化法 符号化法 （省略時は UTF-8 ）, URL と上書き state が成すペア ( URL , 上書き state ) （省略時は ( ε, ε ) ） に対し： The basic URL parser takes a scalar value string input, with an optional null or base URL base (default null), an optional encoding encoding (default UTF-8), an optional URL url, and an optional state override state override, and then runs these steps:

1. IF［ URL ＝ ε ］： If url is not given:

   1. URL ← 新たな URL Set url to a new URL.
   2. IF［ 入力 の［ 先頭または末尾 ］の文字 ∈ C0 制御文字やスペース ］ ：検証エラー( invalid-URL-unit ) If input contains any leading or trailing C0 control or space, invalid-URL-unit validation error.
   3. 入力 から［ 頭部, 尾部 ］を成す［ C0 制御文字やスペースたちが成す並び ］を除去する Remove any leading and trailing C0 control or space from input.
2. IF［ 入力 内に ASCII タブや ASCII 改行文字が在る ］ ：検証エラー( invalid-URL-unit ) If input contains any ASCII tab or newline, invalid-URL-unit validation error.
3. 入力 からすべての ASCII タブや ASCII 改行文字を除去する Remove all ASCII tab or newline from input.
4. state :← ［ 上書き state ≠ ε ならば 上書き state ／ 他の場合は スキーム開始 state ］ Let state be state override if given, or scheme start state otherwise.
5. 符号化法 ← 符号化法から出力符号化法を取得する( 符号化法 ) Set encoding to the result of getting an output encoding from encoding.
6. バッファ :← 空文字列 Let buffer be the empty string.
7. ( @マークありか, 角括弧の内側か, パスワードトークンありか ) :← ( false, false, false ) Let atSignSeen, insideBrackets, and passwordTokenSeen be false.
8. ポインタ :← 入力 用のポインタ Let pointer be a pointer for input.

9. WHILE 無条件

   1. 下に与える状態機械を走らす
   2. IF［ ポインタ ≠ −1 ］∧［ C ＝ EOF ］ ：BREAK
   3. ポインタ += 1
   Keep running the following state machine by switching on state. If after a run pointer points to the EOF code point, go to the next step. Otherwise, increase pointer by 1 and continue with the state machine.

10. IF［ 上書き state ＝ ε ］ ：RETURN URL

    【 構文解析に失敗した場合、 この段には到達しない。 】【 この段は，原文では状態機械の後に置かれているが、 見通しを良くするため，ここに移動している。 】

    ↓↓

状態機械は、 state に応じて，以下における対応する段を走らす — この状態機械の中では： ↑↑

• “RETURN” は、 上のアルゴリズム自身を終了させるとする。

• URL 単位かどうか検証する 所では、 C に応じて次を走らすとする：

  1. URL 符号位置 ：何もしない
  2. U+0025 (%) ：IF［ C1 ∉ ASCII 16 進数字 ］∨［ C2 ∉ ASCII 16 進数字 ］ ：検証エラー( invalid-URL-unit )
  3. その他 ：検証エラー( invalid-URL-unit )

  【 この定義は、 共通な記述を集約するために，この訳に導入している。 】

【 この状態機械は、 現在の state からは常に，自身または自身より後に示される state へ遷移するよう、 ソートして記されている。 】

スキーム開始 state

1. IF［ C ∈ ASCII 英字 ］ ：バッファ << ASCII 小文字化する( C )； state ← スキーム state If c is an ASCII alpha, append c, lowercased, to buffer, and set state to scheme state.
2. ELSE IF［ 上書き state ＝ ε ］ ：ポインタ −= 1； state ← スキームなし state Otherwise, if state override is not given, set state to no scheme state and decrease pointer by 1.

3. ELSE ：RETURN 失敗 Otherwise, return failure.

   この 失敗 の指示は、 Location オブジェクトの protocol 設定子から排他的に利用される。 This indication of failure is used exclusively by the Location object’s protocol setter.

スキーム state

1. IF［ C は ASCII 英数字である ］∨［ C ∈ { U+002B (+), U+002D (-), U+002E (.) } ］ ：バッファ << ASCII 小文字化する( C ) If c is an ASCII alphanumeric, U+002B (+), U+002D (-), or U+002E (.), append c, lowercased, to buffer.

2. ELSE IF［ C ＝ U+003A (:) ］： Otherwise, if c is U+003A (:), then:

   1. IF［ 上書き state ≠ ε ］∧［ ∨↓ ］… If state override is given, then:

      • ［ URL のスキーム, バッファ ］のうち，片方だけが特別スキームである If url’s scheme is a special scheme and buffer is not a special scheme, then return.If url’s scheme is not a special scheme and buffer is a special scheme, then return.
      • ［［ URL は資格情報を含んでいる ］∨［ URL のポート ≠ null ］］∧［ バッファ ＝ "file" ］ If url includes credentials or has a non-null port, and buffer is "file", then return.
      • ［ URL のスキーム ＝ "file" ］∧［ URL のホストは空ホストである ］ If url’s scheme is "file" and its host is an empty host, then return.

      …ならば ：RETURN ↑

   2. URL のスキーム ← バッファ Set url’s scheme to buffer.

   3. IF［ 上書き state ≠ ε ］： If state override is given, then:

      1. IF［ URL のポート ＝ URL のスキームの既定ポート ］ ：URL のポート ← null If url’s port is url’s scheme’s default port, then set url’s port to null.
      2. RETURN Return.
   4. バッファ ← 空文字列 Set buffer to the empty string.

   5. IF［ URL のスキーム ＝ "file" ］： If url’s scheme is "file", then:

      1. IF［ C1 ≠ "/" ］∨［ C2 ≠ "/" ］ ：検証エラー( special-scheme-missing-following-solidus ) If remaining does not start with "//", special-scheme-missing-following-solidus validation error.
      2. state ← file state Set state to file state.

   6. ELSE IF［ URL は特別である ］∧［ 基底 ≠ null ］∧［ 基底 のスキーム ＝ URL のスキーム ］： Otherwise, if url is special, base is non-null, and base’s scheme is url’s scheme:

      1. Assert： 基底 は特別である （したがって，不透明なパスを有さない）。 Assert: base is special (and therefore does not have an opaque path).
      2. 状態 ← 特別 相対/権限 state Set state to special relative or authority state.
   7. ELSE IF［ URL は特別である ］ ：state ← 特別 権限スラッシュ state Otherwise, if url is special, set state to special authority slashes state.
   8. ELSE IF［ C1 ＝ U+002F (/) ］ ：ポインタ += 1； state ← パス/権限 state Otherwise, if remaining starts with an U+002F (/), set state to path or authority state and increase pointer by 1.
   9. ELSE ：URL のパス ← 空文字列； state ← 不透明パス state Otherwise, set url’s path to the empty string and set state to opaque path state.
3. ELSE IF［ 上書き state ＝ ε ］ ：バッファ ← 空文字列； ポインタ ← −1 （入力 の最初の符号位置から、やり直す）； state ← スキームなし state； Otherwise, if state override is not given, set buffer to the empty string, state to no scheme state, and start over (from the first code point in input).

4. ELSE ：RETURN 失敗 Otherwise, return failure.

   この 失敗 の指示は、 Location オブジェクトの protocol 設定子から排他的に利用される。 更には，この state の早期における非 失敗 による終了は、 その設定子を定義するための意図的な相違である。 This indication of failure is used exclusively by the Location object’s protocol setter. Furthermore, the non-failure termination earlier in this state is an intentional difference for defining that setter.

スキームなし state

1. IF［ 基底 ＝ null ］∨［［ 基底 は不透明なパスを有する ］∧［ C ≠ U+0023 (#) ］］ ：検証エラー( missing-scheme-non-relative-URL )； RETURN 失敗 If base is null, or base has an opaque path and c is not U+0023 (#), missing-scheme-non-relative-URL validation error, return failure.

2. ELSE IF［ 基底 は不透明なパスを有する ］∧［ C ＝ U+0023 (#) ］：

   1. URL の ：スキーム ← 基底 のスキーム； パス ← 基底 のパス； クエリ ← 基底 のクエリ； 素片 ← 空文字列；
   2. state ← 素片 state
   Otherwise, if base has an opaque path and c is U+0023 (#), set url’s scheme to base’s scheme, url’s path to base’s path, url’s query to base’s query, url’s fragment to the empty string, and set state to fragment state.
3. ELSE IF［ 基底 のスキーム ≠ "file" ］ ：ポインタ −= 1； state ← 相対 state Otherwise, if base’s scheme is not "file", set state to relative state and decrease pointer by 1.
4. ELSE ：ポインタ −= 1； state ← file state Otherwise, set state to file state and decrease pointer by 1.

特別 相対/権限 state

1. IF［ C ＝ U+002F (/) ］∧［ C1 ＝ U+002F (/) ］ ：ポインタ += 1； state ← 特別 権限スラッシュ無視 state If c is U+002F (/) and remaining starts with U+002F (/), then set state to special authority ignore slashes state and increase pointer by 1.
2. ELSE ：検証エラー( special-scheme-missing-following-solidus )； ポインタ −= 1； state ← 相対 state Otherwise, special-scheme-missing-following-solidus validation error, set state to relative state and decrease pointer by 1.

パス/権限 state

1. IF［ C ＝ U+002F (/) ］ ：state ← 権限 state If c is U+002F (/), then set state to authority state.
2. ELSE ：ポインタ −= 1； state ← パス state Otherwise, set state to path state, and decrease pointer by 1.

相対 state

1. Assert： 基底 のスキーム ≠ "file" Assert: base’s scheme is not "file".
2. URL のスキーム ← 基底 のスキーム Set url’s scheme to base’s scheme.
3. IF［ C ＝ U+002F (/) ］ ：state ← 相対スラッシュ state If c is U+002F (/), then set state to relative slash state.
4. ELSE IF［ URL は特別である ］∧［ C ＝ U+005C (\) ］ ：検証エラー( invalid-reverse-solidus )； state ← 相対スラッシュ state Otherwise, if url is special and c is U+005C (\), invalid-reverse-solidus validation error, set state to relative slash state.

5. ELSE： Otherwise:

   1. URL の ：ユーザ名 ← 基底 のユーザ名； パスワード ← 基底 のパスワード； ホスト ← 基底 のホスト； ポート ← 基底 のポート； パス ← 基底 のパスをクローンする； クエリ ← 基底 のクエリ Set url’s username to base’s username, url’s password to base’s password, url’s host to base’s host, url’s port to base’s port, url’s path to a clone of base’s path, and url’s query to base’s query.
   2. IF［ C ＝ U+003F (?) ］ ：URL のクエリ ← 空文字列； state ← クエリ state If c is U+003F (?), then set url’s query to the empty string, and state to query state.
   3. ELSE IF［ C ＝ U+0023 (#) ］ ：URL の素片 ← 空文字列； state ← 素片 state Otherwise, if c is U+0023 (#), set url’s fragment to the empty string and state to fragment state.

   4. ELSE IF［ C ≠ EOF ］： Otherwise, if c is not the EOF code point:

      1. URL のクエリ ← null Set url’s query to null.
      2. URL のパスを短縮する Shorten url’s path.
      3. ポインタ −= 1 Set state to path state and decrease pointer by 1.
      4. state ← パス state ↑

相対スラッシュ state

1. IF［ URL は特別である ］∧［ C ∈ { U+002F (/), U+005C (\) } ］： If url is special and c is U+002F (/) or U+005C (\), then:

   1. IF［ C ＝ U+005C (\) ］ ：検証エラー( invalid-reverse-solidus ) If c is U+005C (\), invalid-reverse-solidus validation error.
   2. state ← 特別 権限スラッシュ無視 state Set state to special authority ignore slashes state.
2. ELSE IF［ C ＝ U+002F (/) ］ ：state ← 権限 state Otherwise, if c is U+002F (/), then set state to authority state.

3. ELSE：

   1. URL の ：ユーザ名 ← 基底 のユーザ名； パスワード ← 基底 のパスワード； ホスト ← 基底 のホスト； ポート ← 基底 のポート
   2. ポインタ −= 1
   3. state ← パス state
   Otherwise, set url’s username to base’s username, url’s password to base’s password, url’s host to base’s host, url’s port to base’s port, state to path state, and then, decrease pointer by 1.

特別 権限スラッシュ state

1. IF［ C ＝ U+002F (/) ］∧［ C1 ＝ U+002F (/) ］ ：ポインタ += 1 If c is U+002F (/) and remaining starts with U+002F (/), then set state to special authority ignore slashes state and increase pointer by 1.
2. ELSE ：検証エラー( special-scheme-missing-following-solidus )； ポインタ −= 1 Otherwise, special-scheme-missing-following-solidus validation error, set state to special authority ignore slashes state and decrease pointer by 1.
3. state ← 特別 権限スラッシュ無視 state ↑

特別 権限スラッシュ無視 state

1. IF［ C ∉ { U+002F (/), U+005C (\) } ］ ：ポインタ −= 1； state ← 権限 state If c is neither U+002F (/) nor U+005C (\), then set state to authority state and decrease pointer by 1.
2. ELSE ：検証エラー( special-scheme-missing-following-solidus ) Otherwise, special-scheme-missing-following-solidus validation error.

権限 state

1. IF［ C ＝ U+0040 (@) ］： If c is U+0040 (@), then:

   1. 検証エラー( invalid-credentials ) Invalid-credentials validation error.
   2. IF［ @マークありか ＝ true ］ ：バッファ の先頭に "%40" を挿入する If atSignSeen is true, then prepend "%40" to buffer.
   3. @マークありか ← true Set atSignSeen to true.

   4. バッファ を成す 各( 符号位置 ) に対し： For each codePoint in buffer:

      1. IF［ 符号位置 ＝ U+003A (:) ］∧［ パスワードトークンありか ＝ false ］ ：パスワードトークンありか ← true； CONTINUE If codePoint is U+003A (:) and passwordTokenSeen is false, then set passwordTokenSeen to true and continue.
      2. 符号化済み符号位置 :← 符号位置を UTF-8 %-符号化する( 符号位置, ユーザ情報 %-符号化集合 ) Let encodedCodePoints be the result of running UTF-8 percent-encode codePoint using the userinfo percent-encode set.
      3. IF［ パスワードトークンありか ＝ true ］ ：URL のパスワード << 符号化済み符号位置 If passwordTokenSeen is true, then append encodedCodePoints to url’s password.
      4. ELSE ：URL のユーザ名 << 符号化済み符号位置 Otherwise, append encodedCodePoints to url’s username.
   5. バッファ ← 空文字列 Set buffer to the empty string.

2. ELSE IF［ ∨↓ ］… Otherwise, if one of the following is true:

   • C ∈ { EOF, U+002F (/), U+003F (?), U+0023 (#) } c is the EOF code point, U+002F (/), U+003F (?), or U+0023 (#)
   • ［ URL は特別である ］∧［ C ＝ U+005C (\) ］ url is special and c is U+005C (\)

   …ならば： then:

   1. IF［ @マークありか ＝ true ］∧［ バッファ ＝ 空文字列 ］ ：検証エラー( host-missing )； RETURN 失敗 If atSignSeen is true and buffer is the empty string, host-missing validation error, return failure.
   2. ポインタ −= バッファ の符号位置長さ + 1 Decrease pointer by buffer’s code point length + 1,＼
   3. バッファ ← 空文字列 set buffer to the empty string,＼
   4. state ← ホスト state and set state to host state.
3. ELSE ：バッファ << C Otherwise, append c to buffer.

ホスト state

ホスト名 state

1. IF［ 上書き state ≠ ε ］∧［ URL のスキーム ＝ "file" ］ ：ポインタ −= 1； state ← file ホスト state If state override is given and url’s scheme is "file", then decrease pointer by 1 and set state to file host state.

2. ELSE IF［ C ＝ U+003A (:) ］∧［ 角括弧の内側か ＝ false ］： Otherwise, if c is U+003A (:) and insideBrackets is false:

   1. IF［ バッファ ＝ 空文字列 ］ ：検証エラー( host-missing )； RETURN 失敗 If buffer is the empty string, host-missing validation error, return failure.
   2. IF［ 上書き state ＝ ホスト名 state ］ ：RETURN 失敗 If state override is given and state override is hostname state, then return failure.
   3. ホスト :← ホスト構文解析器( バッファ, IS［ URL は特別でない］ ) Let host be the result of host parsing buffer with url is not special.
   4. IF［ ホスト ＝ 失敗 ］ ：RETURN 失敗 If host is failure, then return failure.
   5. URL のホスト ← ホスト Set url’s host to host,＼
   6. バッファ ← 空文字列 buffer to the empty string,＼
   7. state ← ポート state and state to port state.

3. ELSE IF［ ∨↓ ］… Otherwise, if one of the following is true:

   • C ∈ { EOF, U+002F (/), U+003F (?), U+0023 (#) } c is the EOF code point, U+002F (/), U+003F (?), or U+0023 (#)
   • ［ URL は特別である ］∧［ C ＝ U+005C (\) ］ url is special and c is U+005C (\)

   …ならば： then decrease pointer by 1, and:

   1. ポインタ −= 1 ↑
   2. IF［ URL は特別である ］∧［ バッファ ＝ 空文字列 ］ ：検証エラー( host-missing )； RETURN 失敗 If url is special and buffer is the empty string, host-missing validation error, return failure.
   3. ELSE IF［ 上書き state ≠ ε ］∧［ バッファ ＝ 空文字列 ］∧［［ URL は資格情報を含んでいる ］∨［ URL のポート ≠ null ］］ ：RETURN 失敗 Otherwise, if state override is given, buffer is the empty string, and either url includes credentials or url’s port is non-null, then return failure.
   4. ホスト :← ホスト構文解析器( バッファ, IS［ URL は特別でない］ ) Let host be the result of host parsing buffer with url is not special.
   5. IF［ ホスト ＝ 失敗 ］ ：RETURN 失敗 If host is failure, then return failure.
   6. URL のホスト ← ホスト Set url’s host to host, buffer to the empty string, and state to path start state.
   7. IF［ 上書き state ≠ ε ］ ：RETURN If state override is given, then return.
   8. バッファ ← 空文字列 ↑
   9. state ← パス開始 state ↑

4. ELSE： Otherwise:

   1. IF［ C ＝ U+005B ([) ］ ：角括弧の内側か ← true If c is U+005B ([), then set insideBrackets to true.
   2. IF［ C ＝ U+005D (]) ］ ：角括弧の内側か ← false If c is U+005D (]), then set insideBrackets to false.
   3. バッファ << C Append c to buffer.

ポート state

1. IF［ C ∈ ASCII 数字 ］ ：バッファ << C If c is an ASCII digit, append c to buffer.

2. ELSE IF［ ∨↓ ］… Otherwise, if one of the following is true:

   • C ∈ { EOF, U+002F (/), U+003F (?), U+0023 (#) } c is the EOF code point, U+002F (/), U+003F (?), or U+0023 (#);
   • ［ URL は特別である ］∧［ C ＝ U+005C (\) ］ url is special and c is U+005C (\); or
   • 上書き state ≠ ε state override is given,

   …ならば： then:

   1. IF［ バッファ ≠ 空文字列 ］： If buffer is not the empty string:

      1. ポート :← バッファ を［ その各 ASCII 数字を基数 10 による値 0 〜 9 と解釈した ］下で表現される，数学的な整数値 Let port be the mathematical integer value that is represented by buffer in radix-10 using ASCII digits for digits with values 0 through 9.
      2. IF［ ポート は 16 ビットな無符号整数でない ］ ：検証エラー( port-out-of-range )； RETURN 失敗 If port is not a 16-bit unsigned integer, port-out-of-range validation error, return failure.
      3. URL のポート ← ［ 次が満たされるならば null ／ 他の場合は ポート ］ ：ポート ＝ URL のスキームの既定ポート Set url’s port to null, if port is url’s scheme’s default port; otherwise to port.
      4. バッファ ← 空文字列 Set buffer to the empty string.
      5. IF［ 上書き state ≠ ε ］ ：RETURN If state override is given, then return.
   2. IF［ 上書き state ≠ ε ］ ：RETURN 失敗 If state override is given, then return failure.
   3. ポインタ −= 1 ↓
   4. state ← パス開始 state Set state to path start state and decrease pointer by 1.
3. ELSE ：検証エラー( port-invalid )； RETURN 失敗 Otherwise, port-invalid validation error, return failure.

file state

1. URL のスキーム ← "file" Set url’s scheme to "file".
2. URL のホスト ← 空文字列 Set url’s host to the empty string.

3. IF［ C ∈ { U+002F (/), U+005C (\) } ］： If c is U+002F (/) or U+005C (\), then:

   1. IF［ C ＝ U+005C (\) ］ ：検証エラー( invalid-reverse-solidus ) If c is U+005C (\), invalid-reverse-solidus validation error.
   2. state ← file スラッシュ state Set state to file slash state.

4. ELSE IF［ 基底 ≠ null ］∧［ 基底 のスキーム ＝ "file" ］： Otherwise, if base is non-null and base’s scheme is "file":

   1. URL の ：ホスト ← 基底 のホスト； パス ← 基底 のパスをクローンする； クエリ ← 基底 のクエリ Set url’s host to base’s host, url’s path to a clone of base’s path, and url’s query to base’s query.
   2. IF［ C ＝ U+003F (?) ］ ：URL のクエリ ← 空文字列； state ← クエリ state If c is U+003F (?), then set url’s query to the empty string and state to query state.
   3. ELSE IF［ C ＝ U+0023 (#) ：URL の素片 ← 空文字列； state ← 素片 state Otherwise, if c is U+0023 (#), set url’s fragment to the empty string and state to fragment state.

   4. ELSE IF［ C ≠ EOF ］： Otherwise, if c is not the EOF code point:

      1. URL のクエリ ← null Set url’s query to null.
      2. IF［ 並び［ C, C1, C2 ］は Windows ドライブレターから開始していない ］ ：URL のパスを短縮する If the code point substring from pointer to the end of input does not start with a Windows drive letter, then shorten url’s path.

      3. ELSE ：検証エラー( file-invalid-Windows-drive-letter )； URL のパス ← « » Otherwise: • File-invalid-Windows-drive-letter validation error. • Set url’s path to « ».

         注記： これは、 Windows ドライブレター用の（プラットフォームに依存しない）過去互換対処である。 This is a (platform-independent) Windows drive letter quirk.

      4. ポインタ −= 1； ↓
      5. state ← パス state Set state to path state and decrease pointer by 1.
5. ELSE ：ポインタ −= 1； state ← パス state Otherwise, set state to path state, and decrease pointer by 1.

file スラッシュ state

1. IF［ C ∈ { U+002F (/), U+005C (\) } ］： If c is U+002F (/) or U+005C (\), then:

   1. IF［ C ＝ U+005C (\) ］ ：検証エラー( invalid-reverse-solidus ) If c is U+005C (\), invalid-reverse-solidus validation error.
   2. state ← file ホスト state Set state to file host state.

2. ELSE： Otherwise:

   1. IF［ 基底 ≠ null ］∧［ 基底 のスキーム ＝ "file" ］： If base is non-null and base’s scheme is "file", then:

      1. URL のホスト ← 基底 のホスト Set url’s host to base’s host.

      2. IF［ 並び［ C, C1, C2 ］は Windows ドライブレターから開始していない ］∧［［ 基底 のパス[ 0 ] ］は正規化済み Windows ドライブレターである ］ ：URL のパスに［ 基底 のパス[ 0 ] ］を付加する If the code point substring from pointer to the end of input does not start with a Windows drive letter and base’s path[0] is a normalized Windows drive letter, then append base’s path[0] to url’s path.

         注記： これは、 Windows ドライブレター用の（プラットフォームに依存しない）過去互換対処である。 This is a (platform-independent) Windows drive letter quirk.

   2. ポインタ −= 1 ↓
   3. state ← パス state Set state to path state, and decrease pointer by 1.

file ホスト state

1. IF［ C ∈ { EOF, U+002F (/), U+005C (\), U+003F (?), U+0023 (#) } ］： If c is the EOF code point, U+002F (/), U+005C (\), U+003F (?), or U+0023 (#), then＼

   1. ポインタ −= 1 decrease pointer by 1 and then:＼

   2. IF［ 上書き state ＝ ε ］∧［ バッファ は Windows ドライブレターである ］ ：検証エラー( file-invalid-Windows-drive-letter-host )； state ← パス state If state override is not given and buffer is a Windows drive letter, file-invalid-Windows-drive-letter-host validation error, set state to path state.

      注記： これは、 Windows ドライブレター用の（プラットフォームに依存しない）過去互換対処である。 ここでは バッファ は設定し直されず，代わりにパス stateの中で利用される。 This is a (platform-independent) Windows drive letter quirk. buffer is not reset here and instead used in the path state.

   3. ELSE IF［ バッファ ＝ 空文字列 ］： Otherwise, if buffer is the empty string, then:

      1. URL のホスト ← 空文字列 Set url’s host to the empty string.
      2. IF［ 上書き state ≠ ε ］ ：RETURN If state override is given, then return.
      3. state ← パス開始 state Set state to path start state.

   4. ELSE： Otherwise, run these steps:

      1. ホスト :← ホスト構文解析器( バッファ, IS［ URL は特別でない］ ) Let host be the result of host parsing buffer with url is not special.
      2. IF［ ホスト ＝ 失敗 ］ ：RETURN 失敗 If host is failure, then return failure.
      3. IF［ ホスト ＝ "localhost" ］ ：ホスト ← 空文字列 If host is "localhost", then set host to the empty string.
      4. URL のホスト ← ホスト Set url’s host to host.
      5. IF［ 上書き state ≠ ε ］ ：RETURN If state override is given, then return.
      6. バッファ ← 空文字列 Set buffer to the empty string and＼
      7. state ← パス開始 state state to path start state.
2. ELSE ：バッファ << C Otherwise, append c to buffer.

パス開始 state

1. IF［ URL は特別である ］： If url is special, then:

   1. IF［ C ＝ U+005C (\) ］ ：検証エラー( invalid-reverse-solidus ) If c is U+005C (\), invalid-reverse-solidus validation error.
   2. IF［ C ∉ { U+002F (/), U+005C (\) } ］ ：ポインタ −= 1 Set state to path state.If c is neither U+002F (/) nor U+005C (\), then decrease pointer by 1.
   3. state ← パス state ↑
2. ELSE IF［ 上書き state ＝ ε ］∧［ C ＝ U+003F (?) ］ ：URL のクエリ ← 空文字列； state ← クエリ state Otherwise, if state override is not given and c is U+003F (?), set url’s query to the empty string and state to query state.
3. ELSE IF［ 上書き state ＝ ε ］∧［ C ＝ U+0023 (#) ］ ：URL の素片 ← 空文字列； state ← 素片 state Otherwise, if state override is not given and c is U+0023 (#), set url’s fragment to the empty string and state to fragment state.

4. ELSE IF［ C ≠ EOF ］： Otherwise, if c is not the EOF code point:

   1. IF［ C ≠ U+002F (/) ］ ：ポインタ −= 1 Set state to path state.If c is not U+002F (/), then decrease pointer by 1.
   2. state ← パス state ↑
5. ELSE IF［ 上書き state ≠ ε ］∧［ URL のホスト ＝ null ］ ：URL のパスに空文字列を付加する Otherwise, if state override is given and url’s host is null, append the empty string to url’s path.

パス state

1. スラッシュか :← IS［ C ＝ U+002F (/) ］∨［［ URL は特別である ］∧［ C ＝ U+005C (\) ］］ ↓

2. IF［ ∨↓ ］… If one of the following is true:

   • C ＝ EOF c is the EOF code point or U+002F (/) ↓
   • スラッシュか ＝ true url is special and c is U+005C (\)
   • ［ 上書き state ＝ ε ］∧［ C ∈ { U+003F (?), U+0023 (#) } ］： state override is not given and c is U+003F (?) or U+0023 (#)

   …ならば： then:

   1. IF［ URL は特別である ］∧［ C ＝ U+005C (\) ］ ：検証エラー( invalid-reverse-solidus ) If url is special and c is U+005C (\), invalid-reverse-solidus validation error.

   2. IF［ バッファ は二重ドット URL パス区分である ］： If buffer is a double-dot URL path segment, then:

      1. URL のパスを短縮する Shorten url’s path.

      2. IF［ スラッシュか ＝ false ］ ：URL のパスに空文字列を付加する If neither c is U+002F (/), nor url is special and c is U+005C (\), append the empty string to url’s path.

         注記： これは、 入力が "/usr/.." なら，結果は "/" になり， パスが無くなるわけではないことを意味する。 This means that for input /usr/.. the result is / and not a lack of a path.

   3. ELSE IF［ バッファ は単ドット URL パス区分である ］ ：IF［ スラッシュか ＝ false ］ ：URL のパスに空文字列を付加する Otherwise, if buffer is a single-dot URL path segment and if neither c is U+002F (/), nor url is special and c is U+005C (\), append the empty string to url’s path.

   4. ELSE： Otherwise, if buffer is not a single-dot URL path segment, then:

      1. IF［ URL のスキーム ＝ "file" ］∧［ URL のパスは空である ］∧［ バッファ は Windows ドライブレターである ］ ：バッファ の 2 個目の符号位置を U+003A (:) に置換する If url’s scheme is "file", url’s path is empty, and buffer is a Windows drive letter, then replace the second code point in buffer with U+003A (:).

         注記： これは、 Windows ドライブレター用の（プラットフォームに依存しない）過去互換対処である。 This is a (platform-independent) Windows drive letter quirk.

      2. URL のパスに バッファ を付加する Append buffer to url’s path.
   5. バッファ ← 空文字列 Set buffer to the empty string.
   6. IF［ C ＝ U+003F (?) ］ ：URL のクエリ ← 空文字列； state ← クエリ state If c is U+003F (?), then set url’s query to the empty string and state to query state.
   7. IF［ C ＝ U+0023 (#) ］ ：URL の素片 ← 空文字列； state ← 素片 state If c is U+0023 (#), then set url’s fragment to the empty string and state to fragment state.

3. ELSE： Otherwise, run these steps:

   1. URL 単位かどうか検証する If c is not a URL code point and not U+0025 (%), invalid-URL-unit validation error.If c is U+0025 (%) and remaining does not start with two ASCII hex digits, invalid-URL-unit validation error.
   2. バッファ << 符号位置を UTF-8 %-符号化する( C, パス %-符号化集合 ) UTF-8 percent-encode c using the path percent-encode set and append the result to buffer.

不透明パス state

1. IF［ C ＝ U+003F (?) ］ ：URL のクエリ ← 空文字列； state ← クエリ state If c is U+003F (?), then set url’s query to the empty string and state to query state.
2. ELSE IF［ C ＝ U+0023 (#) ］ ：URL の素片 ← 空文字列； state ← 素片 state Otherwise, if c is U+0023 (#), then set url’s fragment to the empty string and state to fragment state.

3. ELSE IF［ C ＝ U+0020 SPACE ］： Otherwise, if c is U+0020 SPACE:

   1. IF［ C1 ∈ { U+003F (?), U+0023 (#) } ］ ：URL のパス << "%20" If remaining starts with U+003F (?) or U+003F (#), then append "%20" to url’s path.
   2. ELSE ：URL のパス << U+0020 SPACE Otherwise, append U+0020 SPACE to url’s path.

4. ELSE IF［ C ≠ EOF ］： Otherwise, if c is not the EOF code point:

   1. URL 単位かどうか検証する If c is not a URL code point and not U+0025 (%), invalid-URL-unit validation error.If c is U+0025 (%) and remaining does not start with two ASCII hex digits, invalid-URL-unit validation error.
   2. URL のパス << 符号位置を UTF-8 %-符号化する( C, C0 制御文字 %-符号化集合 ) UTF-8 percent-encode c using the C0 control percent-encode set and append the result to url’s path.

クエリ state

1. IF［ URL は特別でない ］∨［ URL のスキーム ∈ { "ws", "wss" } ］ ：符号化法 ← UTF-8 If encoding is not UTF-8 and one of the following is true: • url is not special • url’s scheme is "ws" or "wss"then set encoding to UTF-8.

2. IF［ ∨↓ ］… If one of the following is true:

   • ［ 上書き state ＝ ε ］∧［ C ＝ U+0023 (#) ］ state override is not given and c is U+0023 (#)
   • C ＝ EOF c is the EOF code point

   …ならば： then:

   1. クエリ %-符号化集合 :← URL に応じて ：特別であるならば 特別クエリ %-符号化集合 ／ 他の場合は クエリ %-符号化集合 Let queryPercentEncodeSet be the special-query percent-encode set if url is special; otherwise the query percent-encode set.

   2. URL のクエリ << 次の結果 ：文字列を符号化してから %-符号化する( 符号化法, バッファ, クエリ %-符号化集合 ) Percent-encode after encoding, with encoding, buffer, and queryPercentEncodeSet, and append the result to url’s query.

      注記： ISO-2022-JP 符号化器がステートフルであることに因り、 この演算は符号位置ごとには呼び出せない。 This operation cannot be invoked code-point-for-code-point due to the stateful ISO-2022-JP encoder.

   3. バッファ ← 空文字列 Set buffer to the empty string.
   4. IF［ C ＝ U+0023 (#) ］ ：URL の素片 ← 空文字列； state ← 素片 state If c is U+0023 (#), then set url’s fragment to the empty string and state to fragment state.

3. ELSE IF［ C ≠ EOF ］： Otherwise, if c is not the EOF code point:

   1. URL 単位かどうか検証する If c is not a URL code point and not U+0025 (%), invalid-URL-unit validation error.If c is U+0025 (%) and remaining does not start with two ASCII hex digits, invalid-URL-unit validation error.
   2. バッファ << C Append c to buffer.

素片 state

1. IF［ C ≠ EOF ］： If c is not the EOF code point, then:

   1. URL 単位かどうか検証する If c is not a URL code point and not U+0025 (%), invalid-URL-unit validation error.If c is U+0025 (%) and remaining does not start with two ASCII hex digits, invalid-URL-unit validation error.
   2. URL の素片 << 符号位置を UTF-8 %-符号化する( C, 素片 %-符号化集合 ) UTF-8 percent-encode c using the fragment percent-encode set and append the result to url’s fragment.

↑↑Return url.

URL のユーザ名を設定する アルゴリズムは、 所与の ( URL URL , 文字列 ユーザ名 ) に対し ：URL のユーザ名 ← 文字列を UTF-8 %-符号化する( ユーザ名, ユーザ情報 %-符号化集合 ) To set the username given a url and username, set url’s username to the result of running UTF-8 percent-encode on username using the userinfo percent-encode set.

URL のパスワードを設定する アルゴリズムは、 所与の ( URL URL , 文字列 パスワード ) に対し ：URL のパスワード ← 文字列を UTF-8 %-符号化する( パスワード, ユーザ情報 %-符号化集合 ) To set the password given a url and password, set url’s password to the result of running UTF-8 percent-encode on password using the userinfo percent-encode set.

URL 直列化器 は、 所与の ( URL URL , 素片は除外するか ∈ { 素片は除外する, ε }（省略時は ε ） ) に対し，次を走らせた結果の ASCII 文字列を返す： The URL serializer takes a URL url, with an optional boolean exclude fragment (default false), and then runs these steps. They return an ASCII string.

1. 出力 :← 空文字列 << URL のスキーム << U+003A (:) Let output be url’s scheme and U+003A (:) concatenated.

2. IF［ URL のホスト ≠ null ］： If url’s host is non-null:

   1. 出力 << "//" Append "//" to output.

   2. IF［ URL は資格情報を含んでいる ］： If url includes credentials, then:

      1. 出力 << URL のユーザ名 Append url’s username to output.
      2. IF［ URL のパスワード ≠ 空文字列 ］ ：出力 << U+003A (:) << URL のパスワード If url’s password is not the empty string, then append U+003A (:), followed by url’s password, to output.
      3. 出力 << U+0040 (@) Append U+0040 (@) to output.
   3. 出力 << ホストを直列化する( URL のホスト ) Append url’s host, serialized, to output.
   4. IF［ URL のポート ≠ null ］ ：出力 << U+003A (:) << 整数を直列化する( URL のポート ) If url’s port is non-null, append U+003A (:) followed by url’s port, serialized, to output.

3. IF［ URL のホスト ＝ null ］∧［ URL は不透明なパスを有さない ］∧［ URL のパスのサイズ > 1 ］∧［ URL のパス[ 0 ] ＝ 空文字列 ］ ：出力 << U+002F (/) << U+002E (.) If url’s host is null, url does not have an opaque path, url’s path’s size is greater than 1, and url’s path[0] is the empty string, then append U+002F (/) followed by U+002E (.) to output.

   注記： これは、 web+demo:/.//not-a-host/ や web+demo:/path/..//not-a-host/ を 構文解析してから 直列化した結果が web+demo://not-a-host/ になるのを防止する（結果は web+demo:/.//not-a-host/ になる）。 This prevents web+demo:/.//not-a-host/ or web+demo:/path/..//not-a-host/, when parsed and then serialized, from ending up as web+demo://not-a-host/ (they end up as web+demo:/.//not-a-host/).

4. 出力 << URL パスを直列化する( URL ) Append the result of URL path serializing url to output.
5. IF［ URL のクエリ ≠ null ］ ：出力 << U+003F (?) << URL のクエリ If url’s query is non-null, append U+003F (?), followed by url’s query, to output.
6. IF［ 素片は除外するか ＝ ε ］∧［ URL の素片 ≠ null ］ ：出力 << U+0023 (#) << URL の素片 If exclude fragment is false and url’s fragment is non-null, then append U+0023 (#), followed by url’s fragment, to output.
7. RETURN 出力 Return output.

URL パスを直列化する アルゴリズムは、 所与の ( URL URL ) に対し，ASCII 文字列を返す： The URL path serializer takes a URL url and then runs these steps. They return an ASCII string.

1. IF［ URL は不透明なパスを有する ］ ：RETURN URL のパス If url has an opaque path, then return url’s path.
2. 出力 :← 空文字列 Let output be the empty string.
3. URL のパスを成す 各( 区分 ) に対し ：出力 << U+002F (/) << 区分 For each segment of url’s path: append U+002F (/) followed by segment to output.
4. RETURN 出力 Return output.

所与の ( URL A, URL B ) が：

• （単に） 同等な URL であるとは、 次が満たされることをいう ：URL を直列化する( A ) ＝ URL を直列化する( B )
• 素片は除外する下で同等な URL であるとは、 次が満たされることをいう ：URL を直列化する( A, 素片は除外する ) ＝ URL を直列化する( B, 素片は除外する )

To determine whether a URL A equals URL B, with an optional boolean exclude fragments (default false), run these steps: • Let serializedA be the result of serializing A, with exclude fragment set to exclude fragments. • Let serializedB be the result of serializing B, with exclude fragment set to exclude fragments. • Return true if serializedA is serializedB; otherwise false.

URL URL の 生成元 は、 URL のスキームに応じて，次の手続きを走らせて返される生成元である： The origin of a URL url is the origin returned by running these steps, switching on url’s scheme:

"blob"

1. IF［ URL の blob URL エントリ ≠ null ］ ：RETURN URL の blob URL エントリの環境の生成元 If url’s blob URL entry is non-null, then return url’s blob URL entry’s environment’s origin.
2. パス URL :← 基本 URL 構文解析器( URL パスを直列化する( URL ) ) Let pathURL be the result of parsing the result of URL path serializing url.
3. IF［ パス URL ＝ 失敗 ］ ：RETURN 新たな不透明な生成元 If pathURL is failure, then return a new opaque origin.
4. IF［ パス URL のスキーム ∈ { "http", "https", "file" } ］ ：RETURN パス URL の生成元 If pathURL’s scheme is "http", "https", or "file", then return pathURL’s origin.
5. RETURN 新たな不透明な生成元 Return a new opaque origin.

"blob:https://whatwg.org/d0360e2f-caee-469f-9a2f-87d5b0456f6f" の生成元は、 成分組生成元 ( "https", "whatwg.org", null , null ) になる。 The origin of blob:https://whatwg.org/d0360e2f-caee-469f-9a2f-87d5b0456f6f is the tuple origin ("https", "whatwg.org", null, null).

"ftp"

"http"

"https"

"ws"

"wss"

RETURN 成分組生成元( URL のスキーム, URL のホスト, URL のポート, null ) Return the tuple origin (url’s scheme, url’s host, url’s port, null).

"file"

あいにく、 これについては， 読者【 UA 開発者】の行使に委ねられる。 疑わしい場合は、 新たな不透明な生成元を返すこと。 Unfortunate as it is, this is left as an exercise to the reader. When in doubt, return a new opaque origin.

その他

RETURN 新たな不透明な生成元 Return a new opaque origin.

注記： これは実際に、 この種の URL は，自身と同一生成元になり得ないことを意味する。 【毎回，異なる結果が返されるので。】 This does indeed mean that these URLs cannot be same origin with themselves.

application/x-www-form-urlencoded 構文解析器 は、 所与の ( バイト列 入力 ) に対し： The application/x-www-form-urlencoded parser takes a byte sequence input, and then runs these steps:

1. バイト列リスト :← 入力 を 0x26 (&) で分割した結果 Let sequences be the result of splitting input on 0x26 (&).
2. 出力 :← 新たなリスト（クエリパラメタたち） Let output be an initially empty list of name-value tuples where both name and value hold a string.

3. バイト列リスト を成す 各( バイト列 ) に対し： For each byte sequence bytes in sequences:

   1. IF［ バイト列 ＝ 空バイト列 ］ ：CONTINUE If bytes is the empty byte sequence, then continue.
   2. ( 名, 値 ) :← ( バイト列, 空バイト列 ) ↓
   3. IF［ バイト列 内に 0x3D (=) が在る ］ ：( 名, 値 ) ← バイト列 を最初の 0x3D (=) の所で 2 個のバイト列に分割した結果 （その最初の 0x3D (=) は結果に含めない — したがって，いずれも空バイト列になり得る） If bytes contains a 0x3D (=), then let name be the bytes from the start of bytes up to but excluding its first 0x3D (=), and let value be the bytes, if any, after the first 0x3D (=) up to the end of bytes. If 0x3D (=) is the first byte, then name will be the empty byte sequence. If it is the last, then value will be the empty byte sequence.Otherwise, let name have the value of bytes and let value be the empty byte sequence.
   4. ［ 名, 値 ］内のすべての 0x2B (+) を 0x20 (SP) に置換する Replace any 0x2B (+) in name and value with 0x20 (SP).
   5. 名文字列 :← BOM はそのままに UTF-8 復号する( バイト列をバイト列に %-復号する( 名 ) ) ↓
   6. 値文字列 :← BOM はそのままに UTF-8 復号する( バイト列をバイト列に %-復号する( 値 ) ) Let nameString and valueString be the result of running UTF-8 decode without BOM on the percent-decoding of name and value, respectively.
   7. 出力 に ( 名文字列, 値文字列 ) を付加する Append (nameString, valueString) to output.
4. RETURN 出力 Return output.

application/x-www-form-urlencoded 直列化器 は、 所与の ( リスト パラメタリスト, 符号化法 符号化法 （省略時は UTF-8 ） ) に対し，ASCII 文字列を返す： The application/x-www-form-urlencoded serializer takes a list of name-value tuples tuples, with an optional encoding encoding (default UTF-8), and then runs these steps. They return an ASCII string.

1. 符号化法 ← 符号化法から出力符号化法を取得する( 符号化法 ) Set encoding to the result of getting an output encoding from encoding.
2. 出力 :← 空文字列 Let output be the empty string.

3. パラメタリスト を成す 各( パラメタ ) に対し： For each tuple of tuples:

   1. Assert： パラメタ はクエリパラメタである。 Assert: tuple’s name and tuple’s value are scalar value strings.
   2. 名 :← 文字列を符号化してから %-符号化する( 符号化法, パラメタ の名, application/x-www-form-urlencoded %-符号化集合, true ) Let name be the result of running percent-encode after encoding with encoding, tuple’s name, the application/x-www-form-urlencoded percent-encode set, and true.
   3. 値 :← 文字列を符号化してから %-符号化する( 符号化法, パラメタ の値, application/x-www-form-urlencoded %-符号化集合, true ) Let value be the result of running percent-encode after encoding with encoding, tuple’s value, the application/x-www-form-urlencoded percent-encode set, and true.
   4. IF［ 出力 ≠ 空文字列 ］ ：出力 << U+0026 (&) If output is not the empty string, then append U+0026 (&) to output.
   5. 出力 << 名 << U+003D (=) << 値 Append name, followed by U+003D (=), followed by value, to output.
4. RETURN 出力 Return output.

application/x-www-form-urlencoded 文字列構文解析器 は、 所与の ( スカラー値文字列 入力 ) に対し ：RETURN application/x-www-form-urlencoded 構文解析器( UTF-8 符号化する( 入力 ) ) The application/x-www-form-urlencoded string parser takes a scalar value string input, UTF-8 encodes it, and then returns the result of application/x-www-form-urlencoded parsing it.

[Exposed=*, LegacyWindowAlias=webkitURL]
interface URL {
  constructor(USVString url, optional USVString base);

  static URL? parse(USVString url, optional USVString base);
  static boolean canParse(USVString url, optional USVString base);

  stringifier attribute USVString href;
  readonly attribute USVString origin;
           attribute USVString protocol;
           attribute USVString username;
           attribute USVString password;
           attribute USVString host;
           attribute USVString hostname;
           attribute USVString port;
           attribute USVString pathname;
           attribute USVString search;
  [SameObject] readonly attribute URLSearchParams searchParams;
           attribute USVString hash;

  USVString toJSON();
};

API URL 構文解析器 は、 所与の ( スカラー値文字列 URL , ［ null ／スカラー値文字列］ 基底 ) に対し： The API URL parser takes a scalar value string url and an optional null-or-scalar value string base (default null), and then runs these steps:

1. 構文解析した基底 :← null Let parsedBase be null.

2. IF［ 基底 ≠ null ］： If base is non-null:

   1. 構文解析した基底 ← 基本 URL 構文解析器( 基底 ) Set parsedBase to the result of running the basic URL parser on base.
   2. IF［ 構文解析した基底 ＝ 失敗 ］ ：RETURN 失敗 If parsedBase is failure, then return failure.
3. RETURN 基本 URL 構文解析器( URL , 構文解析した基底 ) Return the result of running the basic URL parser on url with parsedBase.

URL オブジェクトを初期化する アルゴリズムは、 所与の ( URL オブジェクト URL , URL レコード URL レコード ) に対し： To initialize a URL object url with a URL urlRecord:

1. クエリ :← URL レコード のクエリ Let query be urlRecord’s query,＼
2. IF［ クエリ ＝ null ］ ：クエリ ← 空文字列 if that is non-null; otherwise the empty string.
3. URL の URL ← URL レコード Set url’s URL to urlRecord.
4. URL のクエリオブジェクト ← 新たなオブジェクト( URLSearchParams ) Set url’s query object to a new URLSearchParams object.
5. クエリオブジェクトを初期化する( URL のクエリオブジェクト, クエリ ) Initialize url’s query object with query.
6. URL のクエリオブジェクトの URL オブジェクト ← URL Set url’s query object’s URL object to url.

new URL(url, base) 構築子手続きは： The new URL(url, base) constructor steps are:

1. IF［ base ＝ ε ］ ：base ← null ↓
2. 構文解析した URL :← API URL 構文解析器( url, base ) Let parsedURL be the result of running the API URL parser on url with base, if given.
3. IF［ 構文解析した URL ＝ 失敗 ］ ：THROW TypeError If parsedURL is failure, then throw a TypeError.
4. URL オブジェクトを初期化する( これ°, 構文解析した URL ) Initialize this with parsedURL.

var input = "https://example.org/💩",
    url = new URL(input);
url.pathname; // "/%F0%9F%92%A9"

try {
  var url = new URL("/🍣🍺");
} catch(e) {
  // ここに来る
}

var input = "/🍣🍺",
    url = new URL(input, document.baseURI);
url.href; // "https://url.spec.whatwg.org/%F0%9F%8D%A3%F0%9F%8D%BA"

var url = new URL("🌈", new URL("https://pride.example/hello-world"));
url.pathname // "/%F0%9F%8F%B3%EF%B8%8F%E2%80%8D%F0%9F%8C%88"

parse(url, base) 静的メソッド手続きは： The static parse(url, base) method steps are:

1. 構文解析した URL :← API URL 構文解析器( url, base ) Let parsedURL be the result of running the API URL parser on url with base, if given.
2. IF［ 構文解析した URL ＝ 失敗 ］ ：RETURN null If parsedURL is failure, then return null.
3. URL :← 新たなオブジェクト( URL ) Let url be a new URL object.
4. URL オブジェクトを初期化する( URL , 構文解析した URL ) Initialize url with parsedURL.
5. RETURN URL Return url.

canParse(url, base) 静的メソッド手続きは： The static canParse(url, base) method steps are:

1. IF［ base ＝ ε ］ ：base ← null ↓
2. 構文解析した URL :← API URL 構文解析器( url, base ) Let parsedURL be the result of running the API URL parser on url with base, if given.
3. IF［ 構文解析した URL ＝ 失敗 ］ ：RETURN false If parsedURL is failure, then return false.
4. RETURN true Return true.

toJSON() メソッド手続き／ href 取得子手続きは：

1. RETURN URL を直列化する( これ°の URL )

The href getter steps and the toJSON() method steps are to return the serialization of this’s URL.

href 設定子手続きは： The href setter steps are:

1. 構文解析した URL :← 基本 URL 構文解析器( 所与の値 ) Let parsedURL be the result of running the basic URL parser on the given value.
2. IF［ 構文解析した URL ＝ 失敗 ］ ：THROW TypeError If parsedURL is failure, then throw a TypeError.
3. これ°の URL ← 構文解析した URL Set this’s URL to parsedURL.
4. これ°のクエリオブジェクトのパラメタリストを空にする Empty this’s query object’s list.
5. クエリ :← これ°の URL のクエリ Let query be this’s URL’s query.
6. IF［ クエリ ≠ null ］ ：これ°のクエリオブジェクトのパラメタリスト ← application/x-www-form-urlencoded 文字列構文解析器( クエリ ) If query is non-null, then set this’s query object’s list to the result of parsing query.

origin 取得子手続きは：

1. RETURN 生成元を直列化する( これ°の URL の生成元 ) [HTML]

The origin getter steps are to return the serialization of this’s URL’s origin. [HTML]

protocol 取得子手続きは：

1. RETURN 空文字列 << これ°の URL のスキーム << U+003A (:)

The protocol getter steps are to return this’s URL’s scheme, followed by U+003A (:).

protocol 設定子手続きは：

1. 入力 :← 所与の値 << U+003A (:)
2. API 用に URL 構文解析する( 入力, これ°の URL , スキーム開始 state )

The protocol setter steps are to basic URL parse the given value, followed by U+003A (:), with this’s URL as url and scheme start state as state override.