URL

`~byteを文字列に~percent-符号化する@ ときは、 所与の ( 1 個の`~byte$ %~byte ) に対し，次に与える`~percent-符号化された~byte$を返す ⇒ ❝% ~APPEND ［ %~byte を表現する 2 個の`~ASCII~hex数字（大文字）$ ］ ◎ To percent-encode a byte byte, return a string consisting of U+0025 (%), followed by two ASCII upper hex digits representing byte.

`~byte列を~byte列に~percent-復号する@ ときは、 所与の ( `~byte列$ %入力 ) に対し，次を走らす： ◎ To percent-decode a byte sequence input, run these steps:

警告： %入力 が`~ASCII~byte$以外の~byteを含み得るときに， `~BOMはそのままに~UTF-8復号する$以外を利用するのは、 ~secureでないこともあるので推奨されない。 ◎ 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 空`~byte列$ ◎ Let output be an empty byte sequence.
2. %L ~LET %入力 の`長さ$byte ◎ ↓
3. %N ~LET 1 ◎ ↓

4. ~WHILE［ %N ~LTE %L ］：

   1. %~byte ~LET %入力 の %N 個目の~byte
   2. %N ~INCBY 1

   3. ~IF［ %~byte ~EQ ❛% ］~AND［ %N ~PLUS 1 ~LTE %L ］：

      1. %~byte列 ~LET %入力 の［ %N 個目, %N ~PLUS 1 個目 ］の~byteが成す~byte列

      2. ~IF［ %~byte列 を成すどの~byte %b も［ %b ~IN { ❛0 〜 ❛9, ❛A 〜 ❛F, ❛a 〜 ❛f } ］を満たす ］：

         1. %~hex文字列 ~LET `同型に復号する$( %~byte列 )
         2. %~byte ~SET ［ %~hex文字列 を~hexadecimal数として解釈した結果の数 ］を値とする~byte
         3. %N ~INCBY 2
   4. %出力 ~APPEND %~byte
   ◎ 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. ~RET %出力 ◎ Return output.

`文字列を~byte列に~percent-復号する@ ときは、 所与の ( `~scalar値~文字列$ %入力 ) に対し，次の結果を返す ⇒ `~byte列を~byte列に~percent-復号する$( `~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.

`文字列を符号化してから~percent-符号化する@ ときは、 所与の ( `符号化法$ %符号化法, `~scalar値~文字列$ %入力, ~cpの集合 %~percent-符号化-集合, 真偽値 %spaceAsPlus （省略時は ~F ） ) に対し，次の手続きを走らす： ◎ To percent-encode after encoding, given an encoding encoding, scalar value string input, a percentEncodeSet, and an optional boolean spaceAsPlus (default false):

1. %符号化器 ~LET `符号化器を取得する$( %符号化法 ) ◎ Let encoder be the result of getting an encoder from encoding.
2. %入力~queue ~LET %入力 を`入出力~queue$に変換した結果【！＊】 ◎ Let inputQueue be input converted to an I/O queue.
3. %出力 ~LET 空~文字列 ◎ 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 空な`入出力~queue$ ◎ Let encodeOutput be an empty I/O queue.
   2. %~errorになり得る ~LET `符号化するか失敗する$( %入力~queue, %符号化器, %符号化-出力 ) ◎ Set potentialError to the result of running encode or fail with inputQueue, encoder, and encodeOutput.

   3. ［ %符号化-出力 を~byte列に変換した結果【！＊】 ］を成す ~EACH( %~byte ) に対し： ◎ For each byte of encodeOutput converted to a byte sequence:

      1. ~IF［ %spaceAsPlus ~EQ ~T ］~AND［ %~byte ~EQ 0x20 (SP) ］ ⇒＃ %出力 ~APPEND ❝+； ~CONTINUE ◎ If spaceAsPlus is true and byte is 0x20 (SP), then append U+002B (+) to output and continue.
      2. %同型な~cp ~LET 次を満たす`~cp$ ⇒ その`値$cp ~EQ %~byte の`値$byte ◎ Let isomorph be a code point whose value is byte’s value.
      3. ~Assert： %~percent-符号化-集合 は`~ASCII~cp$でないすべての~cpを含む。 ◎ Assert: percentEncodeSet includes all non-ASCII code points.
      4. ~IF［ %同型な~cp ~NIN %~percent-符号化-集合 ］ ⇒ %出力 ~APPEND %同型な~cp ◎ If isomorph is not in percentEncodeSet, then append isomorph to output.
      5. ~ELSE ⇒ %出力 ~APPEND `~byteを文字列に~percent-符号化する$( %~byte ) ◎ Otherwise, percent-encode byte and append the result to output.

   4. ~IF［ %~errorになり得る ~NEQ ~NULL ］ ⇒ %出力 ~APPEND `%26%23^l ~APPEND `整数を直列化する$( %~errorになり得る )【！shortest sequence of ASCII digits...】 ~APPEND `%3B^l ◎ 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. ~RET %出力 ◎ Return output.

注記： 引数 %~percent-符号化-集合 用にアリな値のうち， ~percent-符号化する対象に ❝% を含むものは、［ `成分~percent-符号化-集合$, `~form_urlencoded~percent-符号化-集合$ ］に限られる — したがって， “往復-可能な~data” を与える。 他の値 — `~URL構文解析器$に利用され得るもの — は、 ❝% には触れないまま残す — そのようなわけで、 適正に表現するためには，まず`~cpを~UTF-8~percent-符号化する$必要がある。 ◎ 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.

`~cpを~UTF-8~percent-符号化する@ ときは、 所与の ( `~scalar値$ %~scalar値, ~cpの集合 %~percent-符号化-集合 ) に対し ⇒ ~RET `文字列を符号化してから~percent-符号化する$( `~UTF-8$, %~scalar値 1 個からなる`文字列$, %~percent-符号化-集合 ) ◎ 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~percent-符号化する@ ときは、 所与の ( `~scalar値~文字列$ %入力, ~cpの集合 %~percent-符号化-集合 ) に対し ⇒ ~RET `文字列を符号化してから~percent-符号化する$( `~UTF-8$, %入力, %~percent-符号化-集合 ) ◎ 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.

`~domain$ %~domain の `~domain~label群@ は、 次の結果を返す ⇒ `区切子で厳密に分割する$( %~domain, ❝. ) ◎ The domain labels of a domain domain are the result of strictly splitting domain on U+002E (.).

所与の ( `~host$ %~host ) の `公共~接尾辞@ （ `public suffix^en ） 得するときは、 次を走らす — これは、［ ~NULL ／［ %~host 内の［ `公共~接尾辞~list^cite（ `PublicSuffixList^en ） `PSL$r に含まれる部位 ］を表現している`~domain$ ］］を返す： ◎ 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［ %~host は`~domain$でない ］ ⇒ ~RET ~NULL ◎ If host is not a domain, then return null.
2. %末尾の~dot ~LET ［ %~host は `.^l `で終端して$いるならば `.^l ／ ~ELSE_ 空~文字列 ］ ◎ Let trailingDot be "." if host ends with "."; otherwise the empty string.
3. %公共~接尾辞 ~LET `公共~接尾辞~listの~algo$を~domainとして %~host を与えて走らせた結果の公共~接尾辞 `PSL$r ◎ Let publicSuffix be the public suffix determined by running the Public Suffix List algorithm with host as domain. [PSL]
4. ~Assert：［ %公共~接尾辞 は`~ASCII文字列$である ］~AND［ %公共~接尾辞 は `.^l `で終端して$いない ］ ◎ Assert: publicSuffix is an ASCII string that does not end with ".".
5. ~RET ［ %公共~接尾辞, %末尾の~dot ］を順に連結した結果 ◎ Return publicSuffix and trailingDot concatenated.

所与の ( `~host$ %~host ) の `登録-可能な~domain@ （ `registrable domain^en ） を得するときは、 次を走らす — これは、［ ~NULL ／［ %~host の`公共~接尾辞$と［ それに先行している`~domain~label$が在れば それ ］により形成される`~domain$ ］］を返す： ◎ 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［ %~host の`公共~接尾辞$ ~EQ ~NULL ］~OR［ ( %~host の`公共~接尾辞$, %~host ) は`同等な~host$である ］ ⇒ ~RET ~NULL ◎ If host’s public suffix is null or host’s public suffix equals host, then return null.
2. %末尾の~dot ~LET ［ %~host は `.^l `で終端して$いるならば `.^l ／ ~ELSE_ 空~文字列 ］ ◎ Let trailingDot be "." if host ends with "."; otherwise the empty string.
3. %登録-可能な~domain ~LET `公共~接尾辞~listの~algo$を~domainとして %~host を与えて走らせた結果の登録-可能な~domain `PSL$r ◎ Let registrableDomain be the registrable domain determined by running the Public Suffix List algorithm with host as domain. [PSL]
4. ~Assert：［ %登録-可能な~domain は`~ASCII文字列$である ］~AND［ %登録-可能な~domain は `.^l `で終端して$いない ］ ◎ Assert: registrableDomain is an ASCII string that does not end with ".".
5. ~RET ［ %登録-可能な~domain, %末尾の~dot ］を順に連結した結果 ◎ Return registrableDomain and trailingDot concatenated.

`~domainを~ASCII化する@ ときは、 所与の ( `文字列$ %~domain, 真偽値 %beStrict ) に対し，次を走らす： ◎ The domain to ASCII algorithm, given a string domain and a boolean beStrict, runs these steps:

1. %結果 ~LET 次を与える下で， `Unicode ToASCII$AO を走らせた結果 `UTS46$r ⇒＃ `domain_name^i ~SET %~domain, `UseSTD3ASCIIRules^i ~SET %beStrict, `CheckHyphens^i ~SET ~F, `CheckBidi^i ~SET ~T, `CheckJoiners^i ~SET ~T, `Transitional_Processing^i ~SET ~F, `VerifyDnsLength^i ~SET %beStrict ◎ Let result be the result of running Unicode ToASCII with domain_name set to domain, UseSTD3ASCIIRules set to beStrict, CheckHyphens set to false, CheckBidi set to true, CheckJoiners set to true, Transitional_Processing set to false, and VerifyDnsLength set to beStrict. [UTS46]

   注記： 次がいずれも満たされる場合、 この段は %~domain を`~ASCII小文字~化する$のと等価になる：

   • %beStrict ~EQ ~F
   • %~domain は`~ASCII文字列$である
   • %~domain を ❝. で`厳密に分割-$した結果を成す どの`~item$も，次を満たす ⇒ ［ `~ASCII大小無視$で `xn--^l に合致する文字列 ］`から開始して$いない

   ◎ 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［ %結果 ~IN { `失敗^i, 空~文字列 } ］ ⇒＃ `検証~error$( `domain-to-ASCII$err )； ~RET `失敗^i ◎ If result is a failure value, domain-to-ASCII validation error, return failure. ◎ If result is the empty string, domain-to-ASCII validation error, return failure.
3. ~RET %結果 ◎ Return result.

注記： この文書および~web~platformは、 IDNA2008 `RFC5890$r ではなく， `Unicode IDNA Compatibility Processing^cite `UTS46$r 【 “~Unicode~IDNA互換性~処理” 】 を~~全般的に利用する。 一例として、 `☕.example^l は， `失敗^i ではなく `xn--53h.example^l になる。 ◎ 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]

`~domainを~Unicode化する@ ときは、 所与の ( `~domain$ %~domain, 真偽値 %beStrict ) に対し，次を走らす： ◎ The domain to Unicode algorithm, given a domain domain and a boolean beStrict, runs these steps:

1. %結果 ~LET 次を与える下で， `Unicode ToUnicode$AO を走らせた結果 `UTS46$r ⇒＃ `domain_name^i ~SET %~domain, `CheckHyphens^i ~SET ~F, `CheckBidi^i ~SET ~T, `CheckJoiners^i ~SET ~T, `UseSTD3ASCIIRules^i ~SET %beStrict, `Transitional_Processing^i ~SET ~F ◎ Let result be the result of running Unicode ToUnicode with domain_name set to domain, CheckHyphens set to false, CheckBidi set to true, CheckJoiners set to true, UseSTD3ASCIIRules set to beStrict, and Transitional_Processing set to false. [UTS46]
2. ~IF［ %結果 に何らかの~errorがある ］ ⇒ `検証~error$( `domain-to-Unicode$err ) ◎ Signify domain-to-Unicode validation errors for any returned errors, and then,＼
3. ~RET %結果 ◎ return result.

`文字列$ %~domain が `妥当な~domain@ であるとは、 次の手続きが `成功^i を返すことをいう： ◎ A domain is a valid domain if these steps return success:

1. %結果 ~LET `~domainを~ASCII化する$( %~domain, ~T ) ◎ Let result be the result of running domain to ASCII with domain and true.
2. ~IF［ %結果 ~EQ `失敗^i ］ ⇒ ~RET `失敗^i ◎ If result is failure, then return failure.
3. %結果 ~SET `~domainを~Unicode化する$( %結果, ~T ) ◎ Set result to the result of running domain to Unicode with result and true.
4. ~IF［ %結果 に何らかの~errorがある ］ ⇒ ~RET `失敗^i ◎ If result contains any errors, return failure.
5. ~RET `成功^i ◎ Return success.

`~host構文解析器@ は、 所与の ( `~scalar値~文字列$ %入力, 真偽値 %不透明か （省略時は ~F ） ) に対し，次を走らす — これは、［ `失敗^i ／`~host$ ］を返す： ◎ 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［ %入力 の先頭 ~EQ ❝[ ］： ◎ If input starts with U+005B ([), then:

   1. ~IF［ %入力 の末尾 ~NEQ ❝] ］ ⇒＃ `検証~error$( `IPv6-unclosed$err )； ~RET `失敗^i ◎ If input does not end with U+005D (]), IPv6-unclosed validation error, return failure.
   2. ~RET `~IPv6構文解析器$( %入力 から先頭の ❝[ と末尾の ❝] を除去した結果 ) ◎ Return the result of IPv6 parsing input with its leading U+005B ([) and trailing U+005D (]) removed.
2. ~IF［ %不透明か ~EQ ~T ］ ⇒ ~RET `不透明な~host構文解析器$( %入力 ) ◎ If isOpaque is true, then return the result of opaque-host parsing input.
3. ~Assert： %入力 ~NEQ 空~文字列 ◎ Assert: input is not the empty string.

4. %~domain ~LET `~BOMはそのままに~UTF-8復号する$( `文字列を~byte列に~percent-復号する$( %入力 ) ) ◎ Let domain be the result of running UTF-8 decode without BOM on the percent-decoding of input.

   注記： 別法として、 `~BOMも失敗-もそのままに~UTF-8復号する$~algoを利用した上で， `失敗^i 時には早々に ~RET することもできる — `~domainを~ASCII化する$のは `FFFD^U `REPLACEMENT CHARACTER^cn 【！(�)】 に対し失敗するので。 ◎ 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~domain ~LET `~domainを~ASCII化する$( %~domain, ~F ) ◎ Let asciiDomain be the result of running domain to ASCII with domain and false.
6. ~IF［ %~ASCII~domain ~EQ `失敗^i ］ ⇒ ~RET `失敗^i ◎ If asciiDomain is failure, then return failure.
7. ~IF［ %~ASCII~domain 内に`禁止~domain~cp$がある ］ ⇒＃ `検証~error$( `domain-invalid-code-point$err )； ~RET `失敗^i ◎ If asciiDomain contains a forbidden domain code point, domain-invalid-code-point validation error, return failure.
8. ~IF［ `番号で終端しているか検査する$( %~ASCII~domain ) ~EQ ~T ］ ⇒ ~RET `~IPv4構文解析器$( %~ASCII~domain ) ◎ If asciiDomain ends in a number, then return the result of IPv4 parsing asciiDomain.
9. ~RET %~ASCII~domain ◎ Return asciiDomain.

`番号で終端しているか検査する@ ときは、 所与の ( `~ASCII文字列$ %入力 ) に対し，次の手続きを走らす — これは、 真偽値を返す： ◎ The ends in a number checker takes an ASCII string input and then runs these steps. They return a boolean.

1. %成分p~list ~LET `区切子で厳密に分割する$( %入力, ❝. ) ◎ Let parts be the result of strictly splitting input on U+002E (.).

2. ~IF［ %成分p~list の最後の`~item$ ~EQ 空~文字列 ］： ◎ If the last item in parts is the empty string, then:

   1. ~IF［ %成分p~list の`~size$ ~EQ 1 ］ ⇒ ~RET ~F ◎ If parts’s size is 1, then return false.
   2. %成分p~list から最後の`~item$を`除去する$ ◎ Remove the last item from parts.
3. %最後の~item ~LET %成分p~list の最後の`~item$ ◎ Let last be the last item in parts.

4. ~IF［ %最後の~item は 1 個以上の`~ASCII数字$のみからなる ］ ⇒ ~RET ~T ◎ If last is non-empty and contains only ASCII digits, then return true.

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

5. ~IF［ `~IPv4番号~構文解析器$( %最後の~item ) ~NEQ `失敗^i ］ ⇒ ~RET ~T ◎ If parsing last as an IPv4 number does not return failure, then return true.

   注記： これは、 %最後の~item が次の並びか否か検査することに等価になる ⇒＃ `0X^l または `0x^l, 0 個~以上の`~ASCII~hex数字$ ◎ This is equivalent to checking that last is "0X" or "0x", followed by zero or more ASCII hex digits.

6. ~RET ~F ◎ Return false.

`~IPv4構文解析器@ は、 所与の ( `~ASCII文字列$ %入力 ) に対し，次を走らす — これは、［ `失敗^i ／`~IPv4~address$ ］を返す： ◎ The IPv4 parser takes an ASCII string input and then runs these steps. They return failure or an IPv4 address.

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

1. %成分p~list ~LET `区切子で厳密に分割する$( %入力, ❝. ) ◎ Let parts be the result of strictly splitting input on U+002E (.).

2. ~IF［ %成分p~list 内の最後の`~item$ ~EQ 空~文字列 ］： ◎ If the last item in parts is the empty string, then:

   1. `検証~error$( `IPv4-empty-part$err ) ◎ IPv4-empty-part validation error.

   2. ~IF［ %成分p~list の`~size$ ~GT 1 ］ ⇒ %成分p~list から最後の`~item$を`除去する$

      【 %入力 の末尾に余計な ❝. があっても受容されることになる。 】

      ◎ If parts’s size is greater than 1, then remove the last item from parts.
3. ~IF［ %成分p~list の`~size$ ~GT 4 ］ ⇒＃ `検証~error$( `IPv4-too-many-parts$err )； ~RET `失敗^i ◎ If parts’s size is greater than 4, IPv4-too-many-parts validation error, return failure.
4. %番号~list ~LET 新たな`~list$ ◎ Let numbers be an empty list.

5. %成分p~list を成す ~EACH( %成分p ) に対し： ◎ For each part of parts:

   1. %結果 ~LET `~IPv4番号~構文解析器$( %成分p ) ◎ Let result be the result of parsing part.
   2. ~IF［ %結果 ~EQ `失敗^i ］ ⇒＃ `検証~error$( `IPv4-non-numeric-part$err )； ~RET `失敗^i ◎ If result is failure, IPv4-non-numeric-part validation error, return failure.
   3. ( %番号, %検証~errorか ) ~LET %結果 ◎ ↓
   4. ~IF［ %検証~errorか ~EQ ~T ］ ⇒ `検証~error$( `IPv4-non-decimal-part$err ) ◎ If result[1] is true, IPv4-non-decimal-part validation error.
   5. %番号~list に %番号 を`付加する$ ◎ Append result[0] to numbers.
6. %最後の~index ~LET %番号~list の`~size$ ~MINUS 1

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

   1. ~IF［ %番号~list[ %i ] ~LTE 255 ］ ⇒ ~CONTINUE
   2. `検証~error$( `IPv4-out-of-range-part$err )
   3. ~IF［ %i ~NEQ %最後の~index ］ ⇒ ~RET `失敗^i
   ◎ 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［ %番号~list[ %最後の~index ]† ~GTE ( 256 の ( 4 − %最後の~index ) 乗 ) ］ ⇒ ~RET `失敗^i ◎ If the last item in numbers is greater than or equal to 256(5 − numbers’s size), then return failure.
9. %~IPv4 ~LET %番号~list[ %最後の~index ] ◎ Let ipv4 be the last item in numbers.
10. %番号~list から最後の`~item$を`除去する$†† ◎ Remove the last item from numbers.
11. %~counter ~LET 0 ◎ Let counter be 0.

12. %番号~list を成す ~EACH( %n ) に対し： ◎ For each n of numbers:

    1. %~IPv4 ~INCBY ( %n × ( 256 の ( 3 − %~counter ) 乗 ) ) ◎ Increment ipv4 by n × 256(3 − counter).
    2. %~counter ~INCBY 1 ◎ Increment counter by 1.
13. ~RET %~IPv4 ◎ Return ipv4.

【† 最後の~itemだけ特別扱い — 例えば、 `100.100.25600^l は `100.100.100.0^l と等価になり， `0xFFFFFFFF^l は `255.255.255.255^l と等価になる。 】【†† ここでも、 %番号~list の~sizeが 4 に満たない場合は）最後の~itemだけ特別扱い — 例えば、 `100.100^l は `100.0.0.100^l と等価になる。 】

`~IPv4番号~構文解析器@ は、 所与の ( `~ASCII文字列$ %入力 ) に対し，次を走らす — これは、［ `失敗^i ／ ( 番号, 真偽値 ) が成す`~tuple$ ］を返す： ◎ 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［ %入力 ~EQ 空~文字列 ］ ⇒ ~RET `失敗^i ◎ If input is the empty string, then return failure.
2. %検証~errorか ~LET ~F ◎ Let validationError be false.
3. %R ~LET 10 ◎ Let R be 10.

4. ~IF［ %入力 の長さ ~GTE 2 ］~AND［ %入力 の先頭の~cp ~EQ ❝0 ］：

   1. %検証~errorか ~SET ~T
   2. %入力 から先頭の~cpを除去する
   3. %R ~SET 8
   4. ~IF［ %入力 の先頭の~cp ~IN { ❝X, ❝x } ］ ⇒＃ %入力 から先頭の~cpを除去する； %R ~SET 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［ %入力 ~EQ 空~文字列 ］ ⇒ ~RET ( 0, ~T )

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

   ◎ If input is the empty string, then return (0, true).
6. ~IF［ %入力 内に基数 %R の数字でない~cpがある ］ ⇒ ~RET `失敗^i ◎ If input contains a code point that is not a radix-R digit, then return failure.
7. %出力 ~LET %入力 を基数 %R による表記と~~見なす下で，整数 値として~~解釈した結果 — %R ~EQ 16 の場合、 各桁の`~ASCII~hex数字$を 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. ~RET ( %出力, %検証~errorか ) ◎ Return (output, validationError).

【 `0xAB.012.0X12.12^l の様な~host名も IPv4 ~addressと見なされ、 `0xAB^l, `0X12^l は 16 進数, `012^l は 8 進数, `12^l は 10 進数 として解釈されることになる。 】

`~IPv6構文解析器@ は、 所与の ( `~scalar値~文字列$ %入力 ) に対し，次を走らす — これは、［ `失敗^i ／`~IPv6~address$ ］を返す： ◎ 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. %~address ~LET `~IPv6~piece$がすべて 0 にされた，新たな`~IPv6~address$ ◎ Let address be a new IPv6 address whose IPv6 pieces are all 0.
2. %~piece~index ~LET 0 ◎ Let pieceIndex be 0.
3. %圧縮- ~LET ~NULL ◎ Let compress be null.
4. %~pointer ~LET %入力 用の`~pointer$ ◎ Let pointer be a pointer for input.

5. ~IF［ `C$V ~EQ ❝: ］： ◎ If c is U+003A (:), then:

   1. ~IF［ `C1$V ~NEQ ❝: ］ ⇒＃ `検証~error$( `IPv6-invalid-compression$err )； ~RET `失敗^i ◎ If remaining does not start with U+003A (:), IPv6-invalid-compression validation error, return failure.
   2. %~pointer ~INCBY 2 ◎ Increase pointer by 2.
   3. %~piece~index ~INCBY 1 ◎ Increase pieceIndex by 1 and then＼
   4. %圧縮- ~SET %~piece~index ◎ set compress to pieceIndex.

6. ~WHILE ［ `C$V ~NEQ `EOF$i ］： ◎ While c is not the EOF code point:

   1. ~IF［ %~piece~index ~EQ 8 ］ ⇒＃ `検証~error$( `IPv6-too-many-pieces$err )； ~RET `失敗^i ◎ If pieceIndex is 8, IPv6-too-many-pieces validation error, return failure.

   2. ~IF［ `C$V ~EQ ❝: ］： ◎ If c is U+003A (:), then:

      1. ~IF［ %圧縮- ~NEQ ~NULL ］ ⇒＃ `検証~error$( `IPv6-multiple-compression$err )； ~RET `失敗^i ◎ If compress is non-null, IPv6-multiple-compression validation error, return failure.
      2. %~pointer ~INCBY 1 ◎ ↓
      3. %~piece~index ~INCBY 1 ◎ Increase pointer and pieceIndex by 1,＼
      4. %圧縮- ~SET %~piece~index ◎ set compress to pieceIndex,＼
      5. ~CONTINUE ◎ and then continue.
   3. ( %値, %長さ ) ~LET ( 0, 0 ) ◎ Let value and length be 0.
   4. ~WHILE ［ %長さ ~LT 4 ］~AND［ `C$V ~IN `~ASCII~hex数字$ ］ ⇒＃ %値 ~SET %値 ~MUL `10^X ~PLUS ［ `C$V を~hexadecimal数として解釈した値 ］； %~pointer ~INCBY 1； %長さ ~INCBY 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.

   5. ~IF［ `C$V ~EQ ❝. ］： ◎ If c is U+002E (.), then:

      1. ~IF［ %長さ ~EQ 0 ］ ⇒＃ `検証~error$( `IPv4-in-IPv6-invalid-code-point$err )； ~RET `失敗^i ◎ If length is 0, IPv4-in-IPv6-invalid-code-point validation error, return failure.
      2. %~pointer ~DECBY %長さ ◎ Decrease pointer by length.
      3. ~IF［ %~piece~index ~GT 6 ］ ⇒＃ `検証~error$( `IPv4-in-IPv6-too-many-pieces$err )； ~RET `失敗^i ◎ If pieceIndex is greater than 6, IPv4-in-IPv6-too-many-pieces validation error, return failure.
      4. %~IPv4個数 ~LET 0 ◎ Let numbersSeen be 0.

      5. ~WHILE ［ `C$V ~NEQ `EOF$i ］： ◎ While c is not the EOF code point:

         1. %~IPv4片 ~LET ~NULL ◎ Let ipv4Piece be null.

         2. ~IF［ %~IPv4個数 ~GT 0 ］： ◎ If numbersSeen is greater than 0, then:

            1. ~IF［ `C$V ~EQ ❝. ］~AND［ %~IPv4個数 ~LT 4 ］ ⇒ %~pointer ~INCBY 1 ◎ If c is a U+002E (.) and numbersSeen is less than 4, then increase pointer by 1.
            2. ~ELSE ⇒＃ `検証~error$( `IPv4-in-IPv6-invalid-code-point$err )； ~RET `失敗^i ◎ Otherwise, IPv4-in-IPv6-invalid-code-point validation error, return failure.
         3. ~IF［ `C$V ~NIN `~ASCII数字$ ］ ⇒＃ `検証~error$( `IPv4-in-IPv6-invalid-code-point$err )； ~RET `失敗^i【！ prevent the empty string】 ◎ If c is not an ASCII digit, IPv4-in-IPv6-invalid-code-point validation error, return failure.

         4. ~WHILE ［ `C$V ~IN `~ASCII数字$ ］： ◎ While c is an ASCII digit:

            1. ~IF［ %~IPv4片 ~EQ 0 ］ ⇒＃ `検証~error$( `IPv4-in-IPv6-invalid-code-point$err )； ~RET `失敗^i ◎ 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片 ~EQ ~NULL ］ ⇒ %~IPv4片 ~SET 0 ◎ ↑
            3. %~IPv4片 ~SET %~IPv4片 ~MUL 10 + ［ `C$V を 10 進数として解釈した値 ］ ◎ Otherwise, set ipv4Piece to ipv4Piece × 10 + number.
            4. ~IF［ %~IPv4片 ~GT 255 ］ ⇒＃ `検証~error$( `IPv4-in-IPv6-out-of-range-part$err )； ~RET `失敗^i ◎ If ipv4Piece is greater than 255, IPv4-in-IPv6-out-of-range-part validation error, return failure.
            5. %~pointer ~INCBY 1 ◎ Increase pointer by 1.
         5. %~address[ %~piece~index ] ~SET %~address[ %~piece~index ] ~MUL `100^X ~PLUS %~IPv4片 ◎ Set address[pieceIndex] to address[pieceIndex] × 0x100 + ipv4Piece.
         6. %~IPv4個数 ~INCBY 1 ◎ Increase numbersSeen by 1.
         7. ~IF［ %~IPv4個数 ~IN { 2, 4 } ］ ⇒ %~piece~index ~INCBY 1 ◎ If numbersSeen is 2 or 4, then increase pieceIndex by 1.
      6. ~IF［ %~IPv4個数 ~NEQ 4 ］ ⇒＃ `検証~error$( `IPv4-in-IPv6-too-few-parts$err )； ~RET `失敗^i ◎ If numbersSeen is not 4, IPv4-in-IPv6-too-few-parts validation error, return failure.
      7. ~BREAK ◎ Break.

   6. ~ELIF［ `C$V ~EQ ❝: ］： ◎ Otherwise, if c is U+003A (:):

      1. %~pointer ~INCBY 1 ◎ Increase pointer by 1.
      2. ~IF［ `C$V ~EQ `EOF$i ］ ⇒＃ `検証~error$( `IPv6-invalid-code-point$err )； ~RET `失敗^i ◎ If c is the EOF code point, IPv6-invalid-code-point validation error, return failure.
   7. ~ELIF［ `C$V ~NEQ `EOF$i ］ ⇒＃ `検証~error$( `IPv6-invalid-code-point$err )； ~RET `失敗^i ◎ Otherwise, if c is not the EOF code point, IPv6-invalid-code-point validation error, return failure.
   8. %~address[ %~piece~index ] ~SET %値 ◎ Set address[pieceIndex] to value.
   9. %~piece~index ~INCBY 1 ◎ Increase pieceIndex by 1.

7. ~IF［ %圧縮- ~NEQ ~NULL ］： ◎ If compress is non-null, then:

   1. %swaps ~LET %~piece~index ~MINUS %圧縮- ◎ Let swaps be pieceIndex − compress.
   2. %~piece~index ~SET 7 ◎ Set pieceIndex to 7.
   3. ~WHILE ［ %~piece~index ~NEQ 0 ］~AND［ %swaps ~GT 0 ］ ⇒＃ %~address[ %~piece~index ] と %~address[ %圧縮- ~PLUS %swaps ~MINUS 1 ] の値を交換する； %~piece~index ~DECBY 1； %swaps ~DECBY 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.
8. ~ELIF［ %圧縮- ~EQ ~NULL ］~AND［ %~piece~index ~NEQ 8 ］ ⇒＃ `検証~error$( `IPv6-too-few-pieces$err )； ~RET `失敗^i ◎ Otherwise, if compress is null and pieceIndex is not 8, IPv6-too-few-pieces validation error, return failure.
9. ~RET %~address ◎ Return address.

`不透明な~host構文解析器@ は、 所与の ( `~scalar値~文字列$ %入力 ) に対し，次を走らす — これは、［ `失敗^i ／`不透明な~host$ ］を返す： ◎ 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~cp$が在る ］ ⇒＃ `検証~error$( `host-invalid-code-point$err )； ~RET `失敗^i ◎ If input contains a forbidden host code point, host-invalid-code-point validation error, return failure.
2. ~IF［ %入力 内に［ `~URL~cp$, `%^l ］以外の`~cp$が在る ］ ⇒ `検証~error$( `invalid-URL-unit$err ) ◎ 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~hex数字$が後続していない `%^l ］が在る ］ ⇒ `検証~error$( `invalid-URL-unit$err ) ◎ If input contains a U+0025 (%) and the two code points following it are not ASCII hex digits, invalid-URL-unit validation error.
4. ~RET `文字列を~UTF-8~percent-符号化する$( %入力, `~C0制御文字~percent-符号化-集合$ ) ◎ Return the result of running UTF-8 percent-encode on input using the C0 control percent-encode set.

`~hostを直列化する@ ときは、 所与の ( `~host$ %~host ) に対し，次を走らす — これは、 `~ASCII文字列$を返す： ◎ The host serializer takes a host host and then runs these steps. They return an ASCII string.

1. %~host の種別に応じて： ◎ ↓

   • `~IPv4~address$ ⇒ ~RET `~IPv4直列化器$( %~host ) ◎ If host is an IPv4 address, return the result of running the IPv4 serializer on host.
   • `~IPv6~address$ ⇒ ~RET ❝[ ~APPEND `~IPv6直列化器$( %~host ) ~APPEND ❝] ◎ 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 (]).
   • `~domain$ ／ `不透明な~host$ ／ `空~host$ ⇒ ~RET %~host ◎ Otherwise, host is a domain, opaque host, or empty host, return host.

`~IPv4直列化器@ は、 所与の ( `~IPv4~address$ %~address ) に対し，次を走らす — これは、 `~ASCII文字列$を返す： ◎ The IPv4 serializer takes an IPv4 address address and then runs these steps. They return an ASCII string.

1. %出力 ~LET 空~文字列 ◎ Let output be the empty string.
2. %n ~LET %~address ◎ Let n be the value of address.

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

   1. %出力 ~SET `整数を直列化する$( %n を 256 で割った余り ) ~APPEND %出力 ◎ Prepend n % 256, serialized, to output.
   2. ~IF［ %i ~NEQ 4 ］ ⇒ ❝. を %出力 の先頭に~~挿入する ◎ If i is not 4, then prepend U+002E (.) to output.
   3. %n ~SET floor( %n ~DIV 256 ) ◎ Set n to floor(n / 256).
4. ~RET %出力 ◎ Return output.

`~IPv6直列化器@ は、 所与の ( `~IPv6~address$ %~address ) に対し，次を走らす — これは、 `~ASCII文字列$を返す： ◎ The IPv6 serializer takes an IPv6 address address and then runs these steps. They return an ASCII string.

1. %出力 ~LET 空~文字列 ◎ Let output be the empty string.
2. %圧縮- ~LET ε ◎ ↓

3. ~IF［ %~address の中に，［ 2 個以上~連続する，値 0 をとる`~IPv6~piece$たちが成す連列 ］がある ］ ⇒ %圧縮- ~SET ［［ そのような並びのうち，最長である並び ］のうち，最初に来る並び ］の中の，最初の`~IPv6~piece$を指す~index

   例えば `0:f:0:0:f:f:0:0^l に対しては、 2 個目の 0 を指すことになる。

   ◎ Let compress be an index to the first IPv6 piece in the first longest sequences of address’s IPv6 pieces that are 0. ◎ In 0:f:0:0:f:f:0:0 it would point to the second 0. ◎ If there is no sequence of address’s IPv6 pieces that are 0 that is longer than 1, then set compress to null.
4. %無視するか ~LET ~F ◎ Let ignore0 be false.

5. { 0 〜 7 } を成す ~EACH( 整数 %~piece~index ) に対し，昇順に： ◎ For each pieceIndex in the range 0 to 7, inclusive:

   1. ~IF［ %無視するか ~EQ ~T ］~AND［ %~address[ %~piece~index ] ~EQ 0 ］ ⇒ ~CONTINUE ◎ If ignore0 is true and address[pieceIndex] is 0, then continue.
   2. %無視するか ~SET ~F ◎ Otherwise, if ignore0 is true, set ignore0 to false.

   3. ~IF［ %圧縮- ~NEQ ε ］~AND［ %圧縮- ~EQ %~piece~index ］： ◎ If compress is pieceIndex, then:

      1. %出力 ~APPEND ［ %~piece~index ~EQ 0 ならば `::^l ／ ~ELSE_ `:^l ］ ◎ Let separator be "::" if pieceIndex is 0, and U+003A (:) otherwise. ◎ Append separator to output.
      2. %無視するか ~SET ~T ◎ Set ignore0 to true and continue.
      3. ~CONTINUE ◎ ↑
   4. %出力 ~APPEND ［ %~address[ %~piece~index ] を小文字~hexadecimal数で表現する最短な文字列 ］ ◎ Append address[pieceIndex], represented as the shortest possible lowercase hexadecimal number, to output.
   5. ~IF［ %~piece~index ~NEQ 7 ］ ⇒ %出力 ~APPEND ❝: ◎ If pieceIndex is not 7, then append U+003A (:) to output.
6. ~RET %出力 ◎ Return output.

注記： この~algoは、 `A Recommendation for IPv6 Address Text Representation^cite （~IPv6~addressの推奨~表記）への準拠を要求する。 `RFC5952$r 【参考：`~IPv6~address表記の柔軟性が起こす問題と RFC5952 の解説＠http://www.nic.ad.jp/ja/newsletter/No46/0800.html$】 ◎ This algorithm requires the recommendation from A Recommendation for IPv6 Address Text Representation. [RFC5952]

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

%~URL の `~pathを短縮する@ ときは、 次を走らす： ◎ To shorten a url’s path:

1. ~Assert： %~URL は`不透明な~path$を持たない。 ◎ Assert: url does not have an opaque path.
2. %path ~LET %~URL の`~path$url ◎ Let path be url’s path.
3. ~IF［ %~URL の`~scheme$url ~EQ `file^l ］~AND［ %path の`~size$ ~EQ 1 ］~AND［ %path[ 0 ] は`正規化-済み~drive_letter$である ］ ⇒ ~RET ◎ If url’s scheme is "file", path’s size is 1, and path[0] is a normalized Windows drive letter, then return.
4. ~IF［ %path は`空$でない ］ ⇒ %path から最後の~itemを`除去する$ ◎ Remove path’s last item, if any.

`~URL構文解析する@ ときは（ “~URL構文解析器にかける” とも称される）、 所与の ⇒＃ `~scalar値~文字列$ %入力, ［~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~browser実装は、 `基本~URL構文解析器$のみ実装すれば~~十分である。 ◎ Non-web-browser implementations only need to implement the basic URL parser.

注記： ~browserの~URL~bar内の利用者~入力を`~URL~record$に どう変換するかは、 この標準の視野から外れる。 この標準は、 `~URLの具現化~要件＠#url-rendering$を — 信用-裁定に係るので — 含むが。 ◎ 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 ~LET `基本~URL構文解析器$( %入力, %基底, %符号化法 ) ◎ Let url be the result of running the basic URL parser on input with base and encoding.
2. ~IF［ %~URL ~EQ `失敗^i ］ ⇒ ~RET `失敗^i ◎ If url is failure, return failure.
3. ~IF［ %~URL の`~scheme$url ~NEQ `blob^l ］ ⇒ ~RET %~URL ◎ If url’s scheme is not "blob", return url.
4. %~URL の`~blob~URL~entry$url ~SET 次の結果に応じて［ `失敗^i ならば ~NULL ／ ~ELSE_ その結果 ］ ⇒ `~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. ~RET %~URL ◎ Return url.

`~API用に~URL構文解析する@ ときは、 所与の ⇒＃ `~scalar値~文字列$ %入力, `~URL$ %~URL, %上書state, `符号化法$ %符号化法 （省略時は `~UTF-8$ ） ◎終 に対し，次を走らす ⇒ `基本~URL構文解析器$( %入力, ~NULL, %符号化法, ( %~URL, %上書state ) ) ◎終 加えて、 結果に応じて，次を返す ⇒＃ `失敗^i ならば `失敗^i ／ ~ELSE_（基本~URL構文解析器は値を返さなかった） `成功^i

【 この~algoは，`基本~URL構文解析器$を包装するものでしかないが、 それを他所から簡便に利用するために， この訳に導入している。 これは、 首に， %~URL 内の %上書state に対応する~URL成分 （例：`~host$st ならば`~host$url成分） を［ %入力 を その成分に関して構文解析した結果 ］に改変する用途が意図される （新たな~URLは作成しない）。 （ “~API用…” と命名された理由は、 下の注記を見よ。） 】

`基本~URL構文解析器@ は、 所与の ⇒＃ `~scalar値~文字列$ %入力, ［~NULL ／`基底~URL$］ %基底 （省略時は ~NULL ）, `符号化法$ %符号化法 （省略時は`~UTF-8$ ）, `~URL$と上書stateが成す~pair ( %~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 ~EQ ε ］： ◎ If url is not given:

   1. %~URL ~SET 新たな`~URL$ ◎ Set url to a new URL.
   2. ~IF［ %入力 の［ 先頭または末尾 ］の文字 ~IN `~C0制御文字や~space$ ］ ⇒ `検証~error$( `invalid-URL-unit$err ) ◎ If input contains any leading or trailing C0 control or space, invalid-URL-unit validation error.
   3. %入力 から［ 頭部, 尾部 ］を成す［ `~C0制御文字や~space$たちが成す並び ］を除去する ◎ Remove any leading and trailing C0 control or space from input.
2. ~IF［ %入力 内に`~ASCII~tabや~ASCII改行文字$がある ］ ⇒ `検証~error$( `invalid-URL-unit$err ) ◎ If input contains any ASCII tab or newline, invalid-URL-unit validation error.
3. %入力 からすべての`~ASCII~tabや~ASCII改行文字$を除去する ◎ Remove all ASCII tab or newline from input.
4. %state ~LET ［ %上書state ~NEQ ε ならば %上書state ／ ~ELSE_ `~scheme開始$st ］ ◎ Let state be state override if given, or scheme start state otherwise.
5. %符号化法 ~SET `符号化法から出力~符号化法を取得する$( %符号化法 ) ◎ Set encoding to the result of getting an output encoding from encoding.
6. %~buffer ~LET 空~文字列 ◎ Let buffer be the empty string.
7. ( %~at-signありか, %角括弧の内側か, %~password~tokenありか ) ~LET ( ~F, ~F, ~F ) ◎ Let atSignSeen, insideBrackets, and passwordTokenSeen be false.
8. %~pointer ~LET %入力 用の`~pointer$ ◎ Let pointer be a pointer for input.

9. ~WHILE 無条件

   1. 下に与える状態機械を走らす
   2. ~IF［ %~pointer ~NEQ −1 ］~AND［ `C$V ~EQ `EOF$i ］ ⇒ ~BREAK
   3. %~pointer ~INCBY 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 ~EQ ε ］ ⇒ ~RET %~URL

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

    ◎ ↓↓

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

• “~RET” は、 上の~algo自身を終了させるとする。

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

  1. `~URL~cp$ ⇒ 何もしない
  2. ❝% ⇒ ~IF［ `C1$V ~NIN `~ASCII~hex数字$ ］~OR［ `C2$V ~NIN `~ASCII~hex数字$ ］ ⇒ `検証~error$( `invalid-URL-unit$err )
  3. その他 ⇒ `検証~error$( `invalid-URL-unit$err )

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

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

`~scheme開始@st

1. ~IF［ `C$V ~IN `~ASCII英字$ ］ ⇒＃ %~buffer ~APPEND `~ASCII小文字~化する$( `C$V )； %state ~SET `~scheme$st ◎ If c is an ASCII alpha, append c, lowercased, to buffer, and set state to scheme state.
2. ~ELIF［ %上書state ~EQ ε ］ ⇒＃ %~pointer ~DECBY 1； %state ~SET `~schemeなし$st ◎ Otherwise, if state override is not given, set state to no scheme state and decrease pointer by 1.

3. ~ELSE ⇒ ~RET `失敗^i ◎ Otherwise, return failure.

   この `失敗^i の指示は、 `Location$I ~objの `~protocol0$m 設定子から排他的に利用される。 ◎ This indication of failure is used exclusively by the Location object’s protocol setter.

`~scheme@st

1. ~IF［ `C$V は`~ASCII英数字$である ］~OR［ `C$V ~IN { ❝+, ❝-, ❝. } ］ ⇒ %~buffer ~APPEND `~ASCII小文字~化する$( `C$V ) ◎ If c is an ASCII alphanumeric, U+002B (+), U+002D (-), or U+002E (.), append c, lowercased, to buffer.

2. ~ELIF［ `C$V ~EQ ❝: ］： ◎ Otherwise, if c is U+003A (:), then:

   1. ~IF［ %上書state ~NEQ ε ］~AND［ ~OR↓ ］… ◎ If state override is given, then:

      • ［ %~URL の`~scheme$url, %~buffer ］のうち，片方だけが`特別~scheme$である ◎ 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 は`資格証を含んで$いる ］~OR［ %~URL の`~port$url ~NEQ ~NULL ］］~AND［ %~buffer ~EQ `file^l ］ ◎ If url includes credentials or has a non-null port, and buffer is "file", then return.
      • ［ %~URL の`~scheme$url ~EQ `file^l ］~AND［ %~URL の`~host$urlは`空~host$である ］ ◎ If url’s scheme is "file" and its host is an empty host, then return.

      …ならば ⇒ ~RET ◎ ↑

   2. %~URL の`~scheme$url ~SET %~buffer ◎ Set url’s scheme to buffer.

   3. ~IF［ %上書state ~NEQ ε ］： ◎ If state override is given, then:

      1. ~IF［ %~URL の`~port$url ~EQ %~URL の`~scheme$urlの`既定~port$ ］ ⇒ %~URL の`~port$url ~SET ~NULL ◎ If url’s port is url’s scheme’s default port, then set url’s port to null.
      2. ~RET ◎ Return.
   4. %~buffer ~SET 空~文字列 ◎ Set buffer to the empty string.

   5. ~IF［ %~URL の`~scheme$url ~EQ `file^l ］： ◎ If url’s scheme is "file", then:

      1. ~IF［ `C1$V ~NEQ `/^l ］~OR［ `C2$V ~NEQ `/^l ］ ⇒ `検証~error$( `special-scheme-missing-following-solidus$err ) ◎ If remaining does not start with "//", special-scheme-missing-following-solidus validation error.
      2. %state ~SET `~file$st ◎ Set state to file state.

   6. ~ELIF［ %~URL は`特別$である ］~AND［ %基底 ~NEQ ~NULL ］~AND［ %基底 の`~scheme$url ~EQ %~URL の`~scheme$url ］： ◎ Otherwise, if url is special, base is non-null, and base’s scheme is url’s scheme:

      1. ~Assert： %基底 は`特別$である （したがって，`不透明な~path$を持たない）。 ◎ Assert: base is special (and therefore does not have an opaque path).
      2. %状態 ~SET `特別 相対/権限$st ◎ Set state to special relative or authority state.
   7. ~ELIF［ %~URL は`特別$である ］ ⇒ %state ~SET `特別 権限~slash$st ◎ Otherwise, if url is special, set state to special authority slashes state.
   8. ~ELIF［ `C1$V ~EQ ❝/ ］ ⇒＃ %~pointer ~INCBY 1； %state ~SET `~path/権限$st ◎ Otherwise, if remaining starts with an U+002F (/), set state to path or authority state and increase pointer by 1.
   9. ~ELSE ⇒＃ %~URL の`~path$url ~SET 空~文字列； %state ~SET `不透明~path$st ◎ Otherwise, set url’s path to the empty string and set state to opaque path state.
3. ~ELIF［ %上書state ~EQ ε ］ ⇒＃ %~buffer ~SET 空~文字列； %~pointer ~SET −1 （%入力 の最初の~cpから、やり直す）； %state ~SET `~schemeなし$st； ◎ 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 ⇒ ~RET `失敗^i ◎ Otherwise, return failure.

   この `失敗^i の指示は、 `Location$I ~objの `~protocol0$m 設定子から排他的に利用される。 更には，この~stateの早期における非 `失敗^i による終了nは、 その設定子を定義するための意図的な相違である。 ◎ 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.

`~schemeなし@st

1. ~IF［ %基底 ~EQ ~NULL ］~OR［［ %基底 は`不透明な~path$を持つ ］~AND［ `C$V ~NEQ ❝# ］］ ⇒＃ `検証~error$( `missing-scheme-non-relative-URL$err )； ~RET `失敗^i ◎ 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. ~ELIF［ %基底 は`不透明な~path$を持つ ］~AND［ `C$V ~EQ ❝# ］：

   1. %~URL の ⇒＃ `~scheme$url ~SET %基底 の`~scheme$url； `~path$url ~SET %基底 の`~path$url； `~query$url ~SET %基底 の`~query$url； `素片$url ~SET 空~文字列；
   2. %state ~SET `素片$st
   ◎ 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. ~ELIF［ %基底 の`~scheme$url ~NEQ `file^l ］ ⇒＃ %~pointer ~DECBY 1； %state ~SET `相対$st ◎ Otherwise, if base’s scheme is not "file", set state to relative state and decrease pointer by 1.
4. ~ELSE ⇒＃ %~pointer ~DECBY 1； %state ~SET `~file$st ◎ Otherwise, set state to file state and decrease pointer by 1.

`特別 相対/権限@st

1. ~IF［ `C$V ~EQ ❝/ ］~AND［ `C1$V ~EQ ❝/ ］ ⇒＃ %~pointer ~INCBY 1； %state ~SET `特別 権限~slash無視$st ◎ 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 ⇒＃ `検証~error$( `special-scheme-missing-following-solidus$err )； %~pointer ~DECBY 1； %state ~SET `相対$st ◎ Otherwise, special-scheme-missing-following-solidus validation error, set state to relative state and decrease pointer by 1.

`~path/権限@st

1. ~IF［ `C$V ~EQ ❝/ ］ ⇒ %state ~SET `権限$st ◎ If c is U+002F (/), then set state to authority state.
2. ~ELSE ⇒＃ %~pointer ~DECBY 1； %state ~SET `~path$st ◎ Otherwise, set state to path state, and decrease pointer by 1.

`相対@st

1. ~Assert： %基底 の`~scheme$url ~NEQ `file^l ◎ Assert: base’s scheme is not "file".
2. %~URL の`~scheme$url ~SET %基底 の`~scheme$url ◎ Set url’s scheme to base’s scheme.
3. ~IF［ `C$V ~EQ ❝/ ］ ⇒ %state ~SET `相対~slash$st ◎ If c is U+002F (/), then set state to relative slash state.
4. ~ELIF［ %~URL は`特別$である ］~AND［ `C$V ~EQ ❝\ ］ ⇒＃ `検証~error$( `invalid-reverse-solidus$err )； %state ~SET `相対~slash$st ◎ 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 の ⇒＃ `~username$url ~SET %基底 の`~username$url； `~password$url ~SET %基底 の`~password$url； `~host$url ~SET %基底 の`~host$url； `~port$url ~SET %基底 の`~port$url； `~path$url ~SET %基底 の`~path$urlを`~cloneする$； `~query$url ~SET %基底 の`~query$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$V ~EQ ❝? ］ ⇒＃ %~URL の`~query$url ~SET 空~文字列； %state ~SET `~query$st ◎ If c is U+003F (?), then set url’s query to the empty string, and state to query state.
   3. ~ELIF［ `C$V ~EQ ❝# ］ ⇒＃ %~URL の`素片$url ~SET 空~文字列； %state ~SET `素片$st ◎ Otherwise, if c is U+0023 (#), set url’s fragment to the empty string and state to fragment state.

   4. ~ELIF［ `C$V ~NEQ `EOF$i ］： ◎ Otherwise, if c is not the EOF code point:

      1. %~URL の`~query$url ~SET ~NULL ◎ Set url’s query to null.
      2. %~URL の`~pathを短縮する$ ◎ Shorten url’s path.
      3. %~pointer ~DECBY 1 ◎ Set state to path state and decrease pointer by 1.
      4. %state ~SET `~path$st ◎ ↑

`相対~slash@st

1. ~IF［ %~URL は`特別$である ］~AND［ `C$V ~IN { ❝/, ❝\ } ］： ◎ If url is special and c is U+002F (/) or U+005C (\), then:

   1. ~IF［ `C$V ~EQ ❝\ ］ ⇒ `検証~error$( `invalid-reverse-solidus$err ) ◎ If c is U+005C (\), invalid-reverse-solidus validation error.
   2. %state ~SET `特別 権限~slash無視$st ◎ Set state to special authority ignore slashes state.
2. ~ELIF［ `C$V ~EQ ❝/ ］ ⇒ %state ~SET `権限$st ◎ Otherwise, if c is U+002F (/), then set state to authority state.

3. ~ELSE：

   1. %~URL の ⇒＃ `~username$url ~SET %基底 の`~username$url； `~password$url ~SET %基底 の`~password$url； `~host$url ~SET %基底 の`~host$url； `~port$url ~SET %基底 の`~port$url
   2. %~pointer ~DECBY 1
   3. %state ~SET `~path$st
   ◎ 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.

`特別 権限~slash@st

1. ~IF［ `C$V ~EQ ❝/ ］~AND［ `C1$V ~EQ ❝/ ］ ⇒ %~pointer ~INCBY 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 ⇒＃ `検証~error$( `special-scheme-missing-following-solidus$err )； %~pointer ~DECBY 1 ◎ Otherwise, special-scheme-missing-following-solidus validation error, set state to special authority ignore slashes state and decrease pointer by 1.
3. %state ~SET `特別 権限~slash無視$st ◎ ↑

`特別 権限~slash無視@st

1. ~IF［ `C$V ~NIN { ❝/, ❝\ } ］ ⇒＃ %~pointer ~DECBY 1； %state ~SET `権限$st ◎ If c is neither U+002F (/) nor U+005C (\), then set state to authority state and decrease pointer by 1.
2. ~ELSE ⇒ `検証~error$( `special-scheme-missing-following-solidus$err ) ◎ Otherwise, special-scheme-missing-following-solidus validation error.

`権限@st

1. ~IF［ `C$V ~EQ ❝@ ］： ◎ If c is U+0040 (@), then:

   1. `検証~error$( `invalid-credentials$err ) ◎ Invalid-credentials validation error.
   2. ~IF［ %~at-signありか ~EQ ~T ］ ⇒ %~buffer の先頭に `%40^l を~~挿入する ◎ If atSignSeen is true, then prepend "%40" to buffer.
   3. %~at-signありか ~SET ~T ◎ Set atSignSeen to true.

   4. %~buffer を成す ~EACH( %~cp ) に対し： ◎ For each codePoint in buffer:

      1. ~IF［ %~cp ~EQ ❝: ］~AND［ %~password~tokenありか ~EQ ~F ］ ⇒＃ %~password~tokenありか ~SET ~T； ~CONTINUE ◎ If codePoint is U+003A (:) and passwordTokenSeen is false, then set passwordTokenSeen to true and continue.
      2. %符号化-済み~cp ~LET `~cpを~UTF-8~percent-符号化する$( %~cp, `~userinfo~percent-符号化-集合$ ) ◎ Let encodedCodePoints be the result of running UTF-8 percent-encode codePoint using the userinfo percent-encode set.
      3. ~IF［ %~password~tokenありか ~EQ ~T ］ ⇒ %~URL の`~password$url ~APPEND %符号化-済み~cp ◎ If passwordTokenSeen is true, then append encodedCodePoints to url’s password.
      4. ~ELSE ⇒ %~URL の`~username$url ~APPEND %符号化-済み~cp ◎ Otherwise, append encodedCodePoints to url’s username.
   5. %~buffer ~SET 空~文字列 ◎ Set buffer to the empty string.

2. ~ELIF［ ~OR↓ ］… ◎ Otherwise, if one of the following is true:

   • `C$V ~IN { `EOF$i, ❝/, ❝?, ❝# } ◎ c is the EOF code point, U+002F (/), U+003F (?), or U+0023 (#)
   • ［ %~URL は`特別$である ］~AND［ `C$V ~EQ ❝\ ］ ◎ url is special and c is U+005C (\)

   …ならば： ◎ then:

   1. ~IF［ %~at-signありか ~EQ ~T ］~AND［ %~buffer ~EQ 空~文字列 ］ ⇒＃ `検証~error$( `host-missing$err )； ~RET `失敗^i ◎ If atSignSeen is true and buffer is the empty string, host-missing validation error, return failure.
   2. %~pointer ~DECBY %~buffer の`~cp長さ$ ~PLUS 1 ◎ Decrease pointer by buffer’s code point length + 1,＼
   3. %~buffer ~SET 空~文字列 ◎ set buffer to the empty string,＼
   4. %state ~SET `~host$st ◎ and set state to host state.
3. ~ELSE ⇒ %~buffer ~APPEND `C$V ◎ Otherwise, append c to buffer.

`~host@st

`~hostname@st

1. ~IF［ %上書state ~NEQ ε ］~AND［ %~URL の`~scheme$url ~EQ `file^l ］ ⇒＃ %~pointer ~DECBY 1； %state ~SET `~file~host$st ◎ If state override is given and url’s scheme is "file", then decrease pointer by 1 and set state to file host state.

2. ~ELIF［ `C$V ~EQ ❝: ］~AND［ %角括弧の内側か ~EQ ~F ］： ◎ Otherwise, if c is U+003A (:) and insideBrackets is false, then:

   1. ~IF［ %~buffer ~EQ 空~文字列 ］ ⇒＃ `検証~error$( `host-missing$err )； ~RET `失敗^i ◎ If buffer is the empty string, host-missing validation error, return failure.
   2. ~IF［ %上書state ~EQ `~hostname$st ］ ⇒ ~RET ◎ If state override is given and state override is hostname state, then return.
   3. %~host ~LET `~host構文解析器$( %~buffer, ~IS［ %~URL は`特別$でない］ ) ◎ Let host be the result of host parsing buffer with url is not special.
   4. ~IF［ %~host ~EQ `失敗^i ］ ⇒ ~RET `失敗^i ◎ If host is failure, then return failure.
   5. %~URL の`~host$url ~SET %~host ◎ Set url’s host to host,＼
   6. %~buffer ~SET 空~文字列 ◎ buffer to the empty string,＼
   7. %state ~SET `~port$st ◎ and state to port state.

3. ~ELIF［ ~OR↓ ］… ◎ Otherwise, if one of the following is true:

   • `C$V ~IN { `EOF$i, ❝/, ❝?, ❝# } ◎ c is the EOF code point, U+002F (/), U+003F (?), or U+0023 (#)
   • ［ %~URL は`特別$である ］~AND［ `C$V ~EQ ❝\ ］ ◎ url is special and c is U+005C (\)

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

   1. %~pointer ~DECBY 1 ◎ ↑
   2. ~IF［ %~URL は`特別$である ］~AND［ %~buffer ~EQ 空~文字列 ］ ⇒＃ `検証~error$( `host-missing$err )； ~RET `失敗^i ◎ If url is special and buffer is the empty string, host-missing validation error, return failure.
   3. ~ELIF［ %上書state ~NEQ ε ］~AND［ %~buffer ~EQ 空~文字列 ］~AND［［ %~URL は`資格証を含んで$いる ］~OR［ %~URL の`~port$url ~NEQ ~NULL ］］ ⇒ ~RET ◎ Otherwise, if state override is given, buffer is the empty string, and either url includes credentials or url’s port is non-null, return.
   4. %~host ~LET `~host構文解析器$( %~buffer, ~IS［ %~URL は`特別$でない］ ) ◎ Let host be the result of host parsing buffer with url is not special.
   5. ~IF［ %~host ~EQ `失敗^i ］ ⇒ ~RET `失敗^i ◎ If host is failure, then return failure.
   6. %~URL の`~host$url ~SET %~host ◎ Set url’s host to host, buffer to the empty string, and state to path start state.
   7. ~IF［ %上書state ~NEQ ε ］ ⇒ ~RET ◎ If state override is given, then return.
   8. %~buffer ~SET 空~文字列 ◎ ↑
   9. %state ~SET `~path開始$st ◎ ↑

4. ~ELSE： ◎ Otherwise:

   1. ~IF［ `C$V ~EQ ❝[ ］ ⇒ %角括弧の内側か ~SET ~T ◎ If c is U+005B ([), then set insideBrackets to true.
   2. ~IF［ `C$V ~EQ ❝] ］ ⇒ %角括弧の内側か ~SET ~F ◎ If c is U+005D (]), then set insideBrackets to false.
   3. %~buffer ~APPEND `C$V ◎ Append c to buffer.

`~port@st

1. ~IF［ `C$V ~IN `~ASCII数字$ ］ ⇒ %~buffer ~APPEND `C$V ◎ If c is an ASCII digit, append c to buffer.

2. ~ELIF［ ~OR↓ ］… ◎ Otherwise, if one of the following is true:

   • `C$V ~IN { `EOF$i, ❝/, ❝?, ❝# } ◎ c is the EOF code point, U+002F (/), U+003F (?), or U+0023 (#)
   • ［ %~URL は`特別$である ］~AND［ `C$V ~EQ ❝\ ］ ◎ url is special and c is U+005C (\)
   • %上書state ~NEQ ε ◎ state override is given

   …ならば： ◎ then:

   1. ~IF［ %~buffer ~NEQ 空~文字列 ］： ◎ If buffer is not the empty string, then:

      1. %~port ~LET %~buffer を［ その各 `~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［ %~port ~GTE ( 2 の 16 乗 ) ］ ⇒＃ `検証~error$( `port-out-of-range$err )； ~RET `失敗^i ◎ If port is greater than 216 − 1, port-out-of-range validation error, return failure.
      3. %~URL の`~port$url ~SET ［ 次が満たされるならば ~NULL ／ ~ELSE_ %~port ］ ⇒ %~port ~EQ %~URL の`~scheme$urlの`既定~port$ ◎ Set url’s port to null, if port is url’s scheme’s default port; otherwise to port.
      4. %~buffer ~SET 空~文字列 ◎ Set buffer to the empty string.
   2. ~IF［ %上書state ~NEQ ε ］ ⇒ ~RET ◎ If state override is given, then return.
   3. %~pointer ~DECBY 1 ◎ ↓
   4. %state ~SET `~path開始$st ◎ Set state to path start state and decrease pointer by 1.
3. ~ELSE ⇒＃ `検証~error$( `port-invalid$err )； ~RET `失敗^i ◎ Otherwise, port-invalid validation error, return failure.

`~file@st

1. %~URL の`~scheme$url ~SET `file^l ◎ Set url’s scheme to "file".
2. %~URL の`~host$url ~SET 空~文字列 ◎ Set url’s host to the empty string.

3. ~IF［ `C$V ~IN { ❝/, ❝\ } ］： ◎ If c is U+002F (/) or U+005C (\), then:

   1. ~IF［ `C$V ~EQ ❝\ ］ ⇒ `検証~error$( `invalid-reverse-solidus$err ) ◎ If c is U+005C (\), invalid-reverse-solidus validation error.
   2. %state ~SET `~file~slash$st ◎ Set state to file slash state.

4. ~ELIF［ %基底 ~NEQ ~NULL ］~AND［ %基底 の`~scheme$url ~EQ `file^l ］： ◎ Otherwise, if base is non-null and base’s scheme is "file":

   1. %~URL の ⇒＃ `~host$url ~SET %基底 の`~host$url； `~path$url ~SET %基底 の`~path$urlを`~cloneする$； `~query$url ~SET %基底 の`~query$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$V ~EQ ❝? ］ ⇒＃ %~URL の`~query$url ~SET 空~文字列； %state ~SET `~query$st ◎ If c is U+003F (?), then set url’s query to the empty string and state to query state.
   3. ~ELIF［ `C$V ~EQ ❝# ⇒＃ %~URL の`素片$url ~SET 空~文字列； %state ~SET `素片$st ◎ Otherwise, if c is U+0023 (#), set url’s fragment to the empty string and state to fragment state.

   4. ~ELIF［ `C$V ~NEQ `EOF$i ］： ◎ Otherwise, if c is not the EOF code point:

      1. %~URL の`~query$url ~SET ~NULL ◎ Set url’s query to null.
      2. ~IF［ 並び［ `C$V, `C1$V, `C2$V ］は`~drive_letterから開始して$いない ］ ⇒ %~URL の`~pathを短縮する$ ◎ 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 ⇒＃ `検証~error$( `file-invalid-Windows-drive-letter$err )； %~URL の`~path$url ~SET « » ◎ Otherwise: • File-invalid-Windows-drive-letter validation error. • Set url’s path to « ».

         注記： これは、 ~drive_letter用の（~platformに依存しない）過去互換対処である。 ◎ This is a (platform-independent) Windows drive letter quirk.

      4. %~pointer ~DECBY 1； ◎ ↓
      5. %state ~SET `~path$st ◎ Set state to path state and decrease pointer by 1.
5. ~ELSE ⇒＃ %~pointer ~DECBY 1； %state ~SET `~path$st ◎ Otherwise, set state to path state, and decrease pointer by 1.

`~file~slash@st

1. ~IF［ `C$V ~IN { ❝/, ❝\ } ］： ◎ If c is U+002F (/) or U+005C (\), then:

   1. ~IF［ `C$V ~EQ ❝\ ］ ⇒ `検証~error$( `invalid-reverse-solidus$err ) ◎ If c is U+005C (\), invalid-reverse-solidus validation error.
   2. %state ~SET `~file~host$st ◎ Set state to file host state.

2. ~ELSE： ◎ Otherwise:

   1. ~IF［ %基底 ~NEQ ~NULL ］~AND［ %基底 の`~scheme$url ~EQ `file^l ］： ◎ If base is non-null and base’s scheme is "file", then:

      1. %~URL の`~host$url ~SET %基底 の`~host$url ◎ Set url’s host to base’s host.

      2. ~IF［ 並び［ `C$V, `C1$V, `C2$V ］は`~drive_letterから開始して$いない ］~AND［［ %基底 の`~path$url[ 0 ] ］は`正規化-済み~drive_letter$である ］ ⇒ %~URL の`~path$urlに［ %基底 の`~path$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.

         注記： これは、 ~drive_letter用の（~platformに依存しない）過去互換対処である。 ◎ This is a (platform-independent) Windows drive letter quirk.

   2. %~pointer ~DECBY 1 ◎ ↓
   3. %state ~SET `~path$st ◎ Set state to path state, and decrease pointer by 1.

`~file~host@st

1. ~IF［ `C$V ~IN { `EOF$i, ❝/, ❝\, ❝?, ❝# } ］： ◎ If c is the EOF code point, U+002F (/), U+005C (\), U+003F (?), or U+0023 (#), then＼

   1. %~pointer ~DECBY 1 ◎ decrease pointer by 1 and then:＼

   2. ~IF［ %上書state ~EQ ε ］~AND［ %~buffer は`~drive_letter$である ］ ⇒＃ `検証~error$( `file-invalid-Windows-drive-letter-host$err )； %state ~SET `~path$st ◎ 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.

      注記： これは、 ~drive_letter用の（~platformに依存しない）過去互換対処である。 ここでは %~buffer は設定し直されず，代わりに`~path$stの中で利用される。 ◎ This is a (platform-independent) Windows drive letter quirk. buffer is not reset here and instead used in the path state.

   3. ~ELIF［ %~buffer ~EQ 空~文字列 ］： ◎ Otherwise, if buffer is the empty string, then:

      1. %~URL の`~host$url ~SET 空~文字列 ◎ Set url’s host to the empty string.
      2. ~IF［ %上書state ~NEQ ε ］ ⇒ ~RET ◎ If state override is given, then return.
      3. %state ~SET `~path開始$st ◎ Set state to path start state.

   4. ~ELSE： ◎ Otherwise, run these steps:

      1. %~host ~LET `~host構文解析器$( %~buffer, ~IS［ %~URL は`特別$でない］ ) ◎ Let host be the result of host parsing buffer with url is not special.
      2. ~IF［ %~host ~EQ `失敗^i ］ ⇒ ~RET `失敗^i ◎ If host is failure, then return failure.
      3. ~IF［ %~host ~EQ `localhost^l ］ ⇒ %~host ~SET 空~文字列 ◎ If host is "localhost", then set host to the empty string.
      4. %~URL の`~host$url ~SET %~host ◎ Set url’s host to host.
      5. ~IF［ %上書state ~NEQ ε ］ ⇒ ~RET ◎ If state override is given, then return.
      6. %~buffer ~SET 空~文字列 ◎ Set buffer to the empty string and＼
      7. %state ~SET `~path開始$st ◎ state to path start state.
2. ~ELSE ⇒ %~buffer ~APPEND `C$V ◎ Otherwise, append c to buffer.

`~path開始@st

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

   1. ~IF［ `C$V ~EQ ❝\ ］ ⇒ `検証~error$( `invalid-reverse-solidus$err ) ◎ If c is U+005C (\), invalid-reverse-solidus validation error.
   2. ~IF［ `C$V ~NIN { ❝/, ❝\ } ］ ⇒ %~pointer ~DECBY 1 ◎ Set state to path state. ◎ If c is neither U+002F (/) nor U+005C (\), then decrease pointer by 1.
   3. %state ~SET `~path$st ◎ ↑
2. ~ELIF［ %上書state ~EQ ε ］~AND［ `C$V ~EQ ❝? ］ ⇒＃ %~URL の`~query$url ~SET 空~文字列； %state ~SET `~query$st ◎ 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. ~ELIF［ %上書state ~EQ ε ］~AND［ `C$V ~EQ ❝# ］ ⇒＃ %~URL の`素片$url ~SET 空~文字列； %state ~SET `素片$st ◎ 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. ~ELIF［ `C$V ~NEQ `EOF$i ］： ◎ Otherwise, if c is not the EOF code point:

   1. ~IF［ `C$V ~NEQ ❝/ ］ ⇒ %~pointer ~DECBY 1 ◎ Set state to path state. ◎ If c is not U+002F (/), then decrease pointer by 1.
   2. %state ~SET `~path$st ◎ ↑
5. ~ELIF［ %上書state ~NEQ ε ］~AND［ %~URL の`~host$url ~EQ ~NULL ］ ⇒ %~URL の`~path$urlに空~文字列を`付加する$ ◎ Otherwise, if state override is given and url’s host is null, append the empty string to url’s path.

`~path@st

1. %~slashか ~LET ~IS［ `C$V ~EQ ❝/ ］~OR［［ %~URL は`特別$である ］~AND［ `C$V ~EQ ❝\ ］］ ◎ ↓

2. ~IF［ ~OR↓ ］… ◎ If one of the following is true:

   • `C$V ~EQ `EOF$i ◎ c is the EOF code point or U+002F (/) ↓
   • %~slashか ~EQ ~T ◎ url is special and c is U+005C (\)
   • ［ %上書state ~EQ ε ］~AND［ `C$V ~IN { ❝?, ❝# } ］： ◎ state override is not given and c is U+003F (?) or U+0023 (#)

   …ならば： ◎ then:

   1. ~IF［ %~URL は`特別$である ］~AND［ `C$V ~EQ ❝\ ］ ⇒ `検証~error$( `invalid-reverse-solidus$err ) ◎ If url is special and c is U+005C (\), invalid-reverse-solidus validation error.

   2. ~IF［ %~buffer は`二重-~dot~URL~path区分$である ］： ◎ If buffer is a double-dot URL path segment, then:

      1. %~URL の`~pathを短縮する$ ◎ Shorten url’s path.

      2. ~IF［ %~slashか ~EQ ~F ］ ⇒ %~URL の`~path$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/..^l なら，結果は `/^l になり， ~pathが無くなるわけではないことを意味する。 ◎ This means that for input /usr/.. the result is / and not a lack of a path.

   3. ~ELIF［ %~buffer は`単-~dot~URL~path区分$である ］ ⇒ ~IF［ %~slashか ~EQ ~F ］ ⇒ %~URL の`~path$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 の`~scheme$url ~EQ `file^l ］~AND［ %~URL の`~path$urlは`空$である ］~AND［ %~buffer は`~drive_letter$である ］ ⇒ %~buffer の 2 個目の~cpを ❝: に置換する ◎ 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 (:).

         注記： これは、 ~drive_letter用の（~platformに依存しない）過去互換対処である。 ◎ This is a (platform-independent) Windows drive letter quirk.

      2. %~URL の`~path$urlに %~buffer を`付加する$ ◎ Append buffer to url’s path.
   5. %~buffer ~SET 空~文字列 ◎ Set buffer to the empty string.
   6. ~IF［ `C$V ~EQ ❝? ］ ⇒＃ %~URL の`~query$url ~SET 空~文字列； %state ~SET `~query$st ◎ If c is U+003F (?), then set url’s query to the empty string and state to query state.
   7. ~IF［ `C$V ~EQ ❝# ］ ⇒＃ %~URL の`素片$url ~SET 空~文字列； %state ~SET `素片$st ◎ 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. %~buffer ~APPEND `~cpを~UTF-8~percent-符号化する$( `C$V, `~path~percent-符号化-集合$ ) ◎ UTF-8 percent-encode c using the path percent-encode set and append the result to buffer.

`不透明~path@st

1. ~IF［ `C$V ~EQ ❝? ］ ⇒＃ %~URL の`~query$url ~SET 空~文字列； %state ~SET `~query$st ◎ If c is U+003F (?), then set url’s query to the empty string and state to query state.
2. ~ELIF［ `C$V ~EQ ❝# ］ ⇒＃ %~URL の`素片$url ~SET 空~文字列； %state ~SET `素片$st ◎ Otherwise, if c is U+0023 (#), then set url’s fragment to the empty string and state to fragment state.

3. ~ELIF［ `C$V ~NEQ `EOF$i ］： ◎ Otherwise:

   1. `~URL単位かどうか検証する$ ◎ If c is not the EOF code point, 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 の`~path$url ~APPEND `~cpを~UTF-8~percent-符号化する$( `C$V, `~C0制御文字~percent-符号化-集合$ ) ◎ If c is not the EOF code point, UTF-8 percent-encode c using the C0 control percent-encode set and append the result to url’s path.

`~query@st

1. ~IF［ %~URL は`特別$でない ］~OR［ %~URL の`~scheme$url ~IN { `ws^l, `wss^l } ］ ⇒ %符号化法 ~SET `~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［ ~OR↓ ］… ◎ If one of the following is true:

   • ［ %上書state ~EQ ε ］~AND［ `C$V ~EQ ❝# ］ ◎ state override is not given and c is U+0023 (#)
   • `C$V ~EQ `EOF$i ◎ c is the EOF code point

   …ならば： ◎ then:

   1. %~query~percent-符号化-集合 ~LET %~URL に応じて ⇒＃ `特別$であるならば `特別~query~percent-符号化-集合$ ／ ~ELSE_ `~query~percent-符号化-集合$ ◎ Let queryPercentEncodeSet be the special-query percent-encode set if url is special; otherwise the query percent-encode set.

   2. %~URL の`~query$url ~APPEND 次の結果 ⇒ `文字列を符号化してから~percent-符号化する$( %符号化法, %~buffer, %~query~percent-符号化-集合 ) ◎ Percent-encode after encoding, with encoding, buffer, and queryPercentEncodeSet, and append the result to url’s query.

      注記： `~ISO-2022-JP符号化器$が~statefulであることに因り、 この演算は~cpごとには呼出せない。 ◎ This operation cannot be invoked code-point-for-code-point due to the stateful ISO-2022-JP encoder.

   3. %~buffer ~SET 空~文字列 ◎ Set buffer to the empty string.
   4. ~IF［ `C$V ~EQ ❝# ］ ⇒＃ %~URL の`素片$url ~SET 空~文字列； %state ~SET `素片$st ◎ If c is U+0023 (#), then set url’s fragment to the empty string and state to fragment state.

3. ~ELIF［ `C$V ~NEQ `EOF$i ］： ◎ 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. %~buffer ~APPEND `C$V ◎ Append c to buffer.

`素片@st

1. ~IF［ `C$V ~NEQ `EOF$i ］： ◎ 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 の`素片$url ~APPEND `~cpを~UTF-8~percent-符号化する$( `C$V, `素片~percent-符号化-集合$ ) ◎ UTF-8 percent-encode c using the fragment percent-encode set and append the result to url’s fragment.

◎ ↑↑Return url.

`~URLの~usernameを設定する@ ときは、 所与の ( `~URL$ %~URL, 文字列 %~username ) に対し，次を走らす ⇒ %~URL の`~username$url ~SET `文字列を~UTF-8~percent-符号化する$( %~username, `~userinfo~percent-符号化-集合$ ) ◎ 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の~passwordを設定する@ ときは、 所与の ( `~URL$ %~URL, 文字列 %~password ) に対し，次を走らす ⇒ %~URL の`~password$url ~SET `文字列を~UTF-8~percent-符号化する$( %~password, `~userinfo~percent-符号化-集合$ ) ◎ 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, %素片は除外するか ~IN { `素片は除外する@i, ε }（省略時は ε ） ) に対し，次を走らせた結果の`~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. %出力 ~LET 空~文字列 ~APPEND %~URL の`~scheme$url ~APPEND ❝: ◎ Let output be url’s scheme and U+003A (:) concatenated.

2. ~IF［ %~URL の`~host$url ~NEQ ~NULL ］： ◎ If url’s host is non-null:

   1. %出力 ~APPEND `//^l ◎ Append "//" to output.

   2. ~IF［ %~URL は`資格証を含んで$いる ］： ◎ If url includes credentials, then:

      1. %出力 ~APPEND %~URL の`~username$url ◎ Append url’s username to output.
      2. ~IF［ %~URL の`~password$url ~NEQ 空~文字列 ］ ⇒ %出力 ~APPEND ❝: ~APPEND %~URL の`~password$url ◎ If url’s password is not the empty string, then append U+003A (:), followed by url’s password, to output.
      3. %出力 ~APPEND ❝@ ◎ Append U+0040 (@) to output.
   3. %出力 ~APPEND `~hostを直列化する$( %~URL の`~host$url ) ◎ Append url’s host, serialized, to output.
   4. ~IF［ %~URL の`~port$url ~NEQ ~NULL ］ ⇒ %出力 ~APPEND ❝: ~APPEND `整数を直列化する$( %~URL の`~port$url ) ◎ If url’s port is non-null, append U+003A (:) followed by url’s port, serialized, to output.

3. ~IF［ %~URL の`~host$url ~EQ ~NULL ］~AND［ %~URL は`不透明な~path$を持たない ］~AND［ %~URL の`~path$urlの`~size$ ~GT 1 ］~AND［ %~URL の`~path$url[ 0 ] ~EQ 空~文字列 ］ ⇒ %出力 ~APPEND ❝/ ~APPEND ❝. ◎ 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/^c や `web+demo:/path/..//not-a-host/^c を `構文解析-＠#concept-url-parser$してから `直列化-＠#concept-url-serializer$した結果が `web+demo://not-a-host/^c になるのを防止する（結果は `web+demo:/.//not-a-host/^c になる）。 ◎ 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. %出力 ~APPEND `~URL~pathを直列化する$( %~URL ) ◎ Append the result of URL path serializing url to output.
5. ~IF［ %~URL の`~query$url ~NEQ ~NULL ］ ⇒ %出力 ~APPEND ❝? ~APPEND %~URL の`~query$url ◎ If url’s query is non-null, append U+003F (?), followed by url’s query, to output.
6. ~IF［ %素片は除外するか ~EQ ε ］~AND［ %~URL の`素片$url ~NEQ ~NULL ］ ⇒ %出力 ~APPEND ❝# ~APPEND %~URL の`素片$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. ~RET %出力 ◎ Return output.

`~URL~pathを直列化する@ ときは、 所与の ( `~URL$ %~URL ) に対し，次の手続きを走らす — これは、 `~ASCII文字列$を返す： ◎ The URL path serializer takes a URL url and then runs these steps. They return an ASCII string.

1. ~IF［ %~URL は`不透明な~path$を持つ ］ ⇒ ~RET %~URL の`~path$url ◎ If url has an opaque path, then return url’s path.
2. %出力 ~LET 空~文字列 ◎ Let output be the empty string.
3. %~URL の`~path$urlを成す ~EACH( %区分 ) に対し ⇒ %出力 ~APPEND ❝/ ~APPEND %区分 ◎ For each segment of url’s path: append U+002F (/) followed by segment to output.
4. ~RET %出力 ◎ Return output.

2 つの`~URL$ ( %A, %B ) が：

• （単に） `同等な~URL@ であるとは、 次が満たされることをいう ⇒ `~URLを直列化する$( %A ) ~EQ `~URLを直列化する$( %B )
• `素片は除外する^i下で`同等な~URL$であるとは、 次が満たされることをいう ⇒ `~URLを直列化する$( %A, `素片は除外する$i ) ~EQ `~URLを直列化する$( %B, `素片は除外する$i )

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

`blob^l

1. ~IF［ %~URL の`~blob~URL~entry$url ~NEQ ~NULL ］ ⇒ ~RET %~URL の`~blob~URL~entry$urlの`環境$bUの`生成元$enV ◎ If url’s blob URL entry is non-null, then return url’s blob URL entry’s environment’s origin.
2. %~path~URL ~LET `基本~URL構文解析器$( `~URL~pathを直列化する$( %~URL ) ) ◎ Let pathURL be the result of parsing the result of URL path serializing url.
3. ~IF［ %~path~URL ~EQ `失敗^i ］ ⇒ ~RET 新たな`不透明な生成元$ ◎ If pathURL is failure, then return a new opaque origin.
4. ~IF［ %~path~URL の`~scheme$url ~IN { `http^l, `https^l, `file^l } ］ ⇒ ~RET %~path~URL の`生成元$url ◎ If pathURL’s scheme is "http", "https", or "file", then return pathURL’s origin.
5. ~RET 新たな`不透明な生成元$ ◎ Return a new opaque origin.

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

`ftp^l

`http^l

`https^l

`ws^l

`wss^l

~RET `成分組~生成元$( %~URL の`~scheme$url, %~URL の`~host$url, %~URL の`~port$url, ~NULL ) ◎ Return the tuple origin (url’s scheme, url’s host, url’s port, null).

`file^l

あいにく、 これについては， 読者への宿題として残される。 疑わしい場合は、 新たな`不透明な生成元$を返すこと。 ◎ Unfortunate as it is, this is left as an exercise to the reader. When in doubt, return a new opaque origin.

その他

~RET 新たな`不透明な生成元$ ◎ Return a new opaque origin.

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

`~form_urlencoded構文解析器@ は、 所与の ( ~byte列 %入力 ) に対し，次を走らす： ◎ The application/x-www-form-urlencoded parser takes a byte sequence input, and then runs these steps:

1. %~byte列~list ~LET %入力 を `26^X `&^smb で分割した結果 ◎ Let sequences be the result of splitting input on 0x26 (&).
2. %出力 ~LET 新たな`~list$（`~query~parameter$たち） ◎ Let output be an initially empty list of name-value tuples where both name and value hold a string.

3. %~byte列~list を成す ~EACH( %~byte列 ) に対し： ◎ For each byte sequence bytes in sequences:

   1. ~IF［ %~byte列 ~EQ 空~byte列 ］ ⇒ ~CONTINUE ◎ If bytes is the empty byte sequence, then continue.
   2. ( %名, %値 ) ~LET ( %~byte列, 空~byte列 ) ◎ ↓
   3. ~IF［ %~byte列 内に ❛= がある ］ ⇒ ( %名, %値 ) ~SET %~byte列 を最初の ❛= の所で 2 個の~byte列に分割した結果 （その最初の ❛= は結果に含めない — したがって，いずれも空~byte列になり得る） ◎ 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. ［ %名, %値 ］内のすべての ❛+ を `20^X (SP) に置換する ◎ Replace any 0x2B (+) in name and value with 0x20 (SP).
   5. %名~文字列 ~LET `~BOMはそのままに~UTF-8復号する$( `~byte列を~byte列に~percent-復号する$( %名 ) ) ◎ ↓
   6. %値~文字列 ~LET `~BOMはそのままに~UTF-8復号する$( `~byte列を~byte列に~percent-復号する$( %値 ) ) ◎ 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. ~RET %出力 ◎ Return output.

`~form_urlencoded直列化器@ は、 所与の ( `~list$ %~parameter~list, `符号化法$ %符号化法 （省略時は`~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 `符号化法から出力~符号化法を取得する$( %符号化法 ) ◎ Set encoding to the result of getting an output encoding from encoding.
2. %出力 ~LET 空~文字列 ◎ Let output be the empty string.

3. %~parameter~list を成す ~EACH( %~parameter ) に対し： ◎ For each tuple of tuples:

   1. ~Assert： %~parameter は`~query~parameter$である。 ◎ Assert: tuple’s name and tuple’s value are scalar value strings.
   2. %名 ~LET `文字列を符号化してから~percent-符号化する$( %符号化法, %~parameter の名, `~form_urlencoded~percent-符号化-集合$, ~T ) ◎ 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. %値 ~LET `文字列を符号化してから~percent-符号化する$( %符号化法, %~parameter の値, `~form_urlencoded~percent-符号化-集合$, ~T ) ◎ 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［ %出力 ~NEQ 空~文字列 ］ ⇒ %出力 ~APPEND `0026^U `&^smb ◎ If output is not the empty string, then append U+0026 (&) to output.
   5. %出力 ~APPEND %名 ~APPEND ❝= ~APPEND %値 ◎ Append name, followed by U+003D (=), followed by value, to output.
4. ~RET %出力 ◎ Return output.

`~form_urlencoded文字列~構文解析器@ は、 所与の ( `~scalar値~文字列$ %入力 ) に対し，次の結果を返す ⇒ `~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.

`不透明な~pathならば その末尾にある~space列を剥ぐ@ ときは、 所与の ( `URL$I ~obj %~URL~obj ) に対し： ◎ To potentially strip trailing spaces from an opaque path given a URL object url:

1. %~URL ~LET %~URL~obj の`~URL$URL ◎ ↓

2. ~IF［ %~URL は`不透明な~path$を持つ ］~AND［ %~URL の`素片$url ~EQ ~NULL ］~AND［ %~URL の`~query$url ~EQ ~NULL ］：

   1. %~path文字列 ~LET %~URL の`~path$url
   2. ~WHILE［ %~path文字列 は空でない ］~AND［ %~path文字列 の最後の文字 ~EQ `0020^U `SPACE^cn ］ ⇒ %~path文字列 から最後の文字を除去する
   3. %~URL の`~path$url ~SET %~path文字列
   ◎ If url’s URL does not have an opaque path, then return. ◎ If url’s URL’s fragment is non-null, then return. ◎ If url’s URL’s query is non-null, then return. ◎ Remove all trailing U+0020 SPACE code points from url’s URL’s path.

`~API~URL構文解析器@ は、 所与の ( `~scalar値~文字列$ %~URL, ［~NULL／`~scalar値~文字列$］ %基底【！（省略時は ~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. %構文解析した基底 ~LET ~NULL ◎ Let parsedBase be null.

2. ~IF［ %基底 ~NEQ ~NULL ］： ◎ If base is non-null:

   1. %構文解析した基底 ~SET `基本~URL構文解析器$( %基底 ) ◎ Set parsedBase to the result of running the basic URL parser on base.
   2. ~IF［ %構文解析した基底 ~EQ `失敗^i ］ ⇒ ~RET `失敗^i ◎ If parsedBase is failure, then return failure.
3. ~RET `基本~URL構文解析器$( %~URL, %構文解析した基底 ) ◎ Return the result of running the basic URL parser on url with parsedBase.

`URL$I ~obj %~URL を `初期化する@URL ときは、 所与の ( `~URL~record$ %~URL~record ) に対し： ◎ To initialize a URL object url with a URL urlRecord:

1. %~query ~LET %~URL~record の`~query$url ◎ Let query be urlRecord’s query,＼
2. ~IF［ %~query ~EQ ~NULL ］ ⇒ %~query ~SET 空~文字列 ◎ if that is non-null; otherwise the empty string.
3. %~URL の`~URL$URL ~SET %~URL~record ◎ Set url’s URL to urlRecord.
4. %~URL の`~query~obj$URL ~SET 新たな `URLSearchParams$I ~obj ◎ Set url’s query object to a new URLSearchParams object.
5. %~URL の`~query~obj$URLを`初期化する$USP( %~query ) ◎ Initialize url’s query object with query.
6. %~URL の`~query~obj$URLの`~URL~obj$USP ~SET %~URL ◎ Set url’s query object’s URL object to url.

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

1. ~IF［ %base ~EQ ε ］ ⇒ %base ~SET ~NULL ◎ ↓
2. %構文解析した~URL ~LET `~API~URL構文解析器$( %url, %base ) ◎ Let parsedURL be the result of running the API URL parser on url with base, if given.
3. ~IF［ %構文解析した~URL ~EQ `失敗^i ］ ⇒ ~THROW `TypeError$E ◎ If parsedURL is failure, then throw a TypeError.
4. コレを`初期化する$URL( %構文解析した~URL ) ◎ Initialize this with parsedURL.

`parse(url, base)@m 静的~method手続きは： ◎ The static parse(url, base) method steps are:

1. %構文解析した~URL ~LET `~API~URL構文解析器$( %url, %base ) ◎ Let parsedURL be the result of running the API URL parser on url with base, if given.
2. ~IF［ %構文解析した~URL ~EQ `失敗^i ］ ⇒ ~RET ~NULL ◎ If parsedURL is failure, then return null.
3. %~URL ~LET 新たな `URL$I ~obj ◎ Let url be a new URL object.
4. %~URL を`初期化する$URL( %構文解析した~URL ) ◎ Initialize url with parsedURL.
5. ~RET %~URL ◎ Return url.

`canParse(url, base)@m 静的~method手続きは： ◎ The static canParse(url, base) method steps are:

1. ~IF［ %base ~EQ ε ］ ⇒ %base ~SET ~NULL ◎ ↓
2. %構文解析した~URL ~LET `~API~URL構文解析器$( %url, %base ) ◎ Let parsedURL be the result of running the API URL parser on url with base, if given.
3. ~IF［ %構文解析した~URL ~EQ `失敗^i ］ ⇒ ~RET ~F ◎ If parsedURL is failure, then return false.
4. ~RET ~T ◎ Return true.

`toJSON()@m ~method手続き／ `href@m 取得子~手続きは：

1. ~RET `~URLを直列化する$( コレの`~URL$URL )

`href$m 設定子~手続きは： ◎ The href setter steps are:

1. %構文解析した~URL ~LET `基本~URL構文解析器$( 所与の値 ) ◎ Let parsedURL be the result of running the basic URL parser on the given value.
2. ~IF［ %構文解析した~URL ~EQ `失敗^i ］ ⇒ ~THROW `TypeError$E ◎ If parsedURL is failure, then throw a TypeError.
3. コレの`~URL$URL ~SET %構文解析した~URL ◎ Set this’s URL to parsedURL.
4. コレの`~query~obj$URLの`~parameter~list$USPを`空にする$ ◎ Empty this’s query object’s list.
5. %~query ~LET コレの`~URL$URLの`~query$url ◎ Let query be this’s URL’s query.
6. ~IF［ %~query ~NEQ ~NULL ］ ⇒ コレの`~query~obj$URLの`~parameter~list$USP ~SET `~form_urlencoded文字列~構文解析器$( %~query ) ◎ If query is non-null, then set this’s query object’s list to the result of parsing query.

`origin@m 取得子~手続きは：

1. ~RET `生成元を直列化する$( コレの`~URL$URLの`生成元$url ) `HTML$r

`protocol@m 取得子~手続きは：

1. ~RET 空~文字列 ~APPEND コレの`~URL$URLの`~scheme$url ~APPEND ❝:

`protocol$m 設定子~手続きは：

1. %入力 ~LET 所与の値 ~APPEND ❝:
2. `~API用に~URL構文解析する$( %入力, コレの`~URL$URL, `~scheme開始$st )

`username@m 取得子~手続きは：

1. ~RET コレの`~URL$URLの`~username$url

`username$m 設定子~手続きは： ◎ The username setter steps are:

1. %~URL ~LET コレの`~URL$URL ◎ ↓
2. ~IF［ %~URL は`~username／~password／~portを持てない$ ］ ⇒ ~RET ◎ If this’s URL cannot have a username/password/port, then return.
3. `~URLの~usernameを設定する$( %~URL, 所与の値 ) ◎ Set the username given this’s URL and the given value.

`password@m 取得子~手続きは：

1. ~RET コレの`~URL$URLの`~password$url

`password$m 設定子~手続きは： ◎ The password setter steps are:

1. %~URL ~LET コレの`~URL$URL ◎ ↓
2. ~IF［ %~URL は`~username／~password／~portを持てない$ ］ ⇒ ~RET ◎ If this’s URL cannot have a username/password/port, then return.
3. `~URLの~passwordを設定する$( %~URL, 所与の値 ) ◎ Set the password given this’s URL and the given value.

`host@m 取得子~手続きは： ◎ The host getter steps are:

1. %~URL ~LET コレの`~URL$URL ◎ Let url be this’s URL.
2. ~IF［ %~URL の`~host$url ~EQ ~NULL ］ ⇒ ~RET 空~文字列 ◎ If url’s host is null, then return the empty string.
3. %~host ~LET `~hostを直列化する$( `~host$url ) ◎ ↓
4. ~IF［ %~URL の`~port$url ~EQ ~NULL ］ ⇒ ~RET %~host ◎ If url’s port is null, return url’s host, serialized.
5. ~RET %~host ~APPEND ❝: ~APPEND `整数を直列化する$( `~port$url ) ◎ Return url’s host, serialized, followed by U+003A (:) and url’s port, serialized.

`host$m 設定子~手続きは： ◎ The host setter steps are:

1. %~URL ~LET コレの`~URL$URL ◎ ↓
2. ~IF［ %~URL は`不透明な~path$を持つ ］ ⇒ ~RET ◎ If this’s URL has an opaque path, then return.
3. `~API用に~URL構文解析する$( 所与の値, %~URL, `~host$st ) ◎ Basic URL parse the given value with this’s URL as url and host state as state override.

注記： `host$m 設定子に与える値が，`~URL~port$sTを欠いている場合、 %~URL の`~port$urlは変化しないことになる。 `host^m 取得子が`~URL~port$sTを返さないために、 設定子が常に両者を “設定し直す” と見做してしまいそうだが。 ◎ If the given value for the host setter lacks a port, this’s URL’s port will not change. This can be unexpected as host getter does return a URL-port string so one might have assumed the setter to always "reset" both.

`hostname@m 取得子~手続きは： ◎ The hostname getter steps are:

1. %~URL ~LET コレの`~URL$URL ◎ ↓
2. ~IF［ %~URL の`~host$url ~EQ ~NULL ］ ⇒ ~RET 空~文字列 ◎ If this’s URL’s host is null, then return the empty string.
3. ~RET `~hostを直列化する$( %~URL の`~host$url ) ◎ Return this’s URL’s host, serialized.

`hostname$m 設定子~手続きは： ◎ The hostname setter steps are:

1. %~URL ~LET コレの`~URL$URL ◎ ↓
2. ~IF［ %~URL は`不透明な~path$を持つ ］ ⇒ ~RET ◎ If this’s URL has an opaque path, then return.
3. `~API用に~URL構文解析する$( 所与の値, %~URL, `~hostname$st ) ◎ Basic URL parse the given value with this’s URL as url and hostname state as state override.

`port@m 取得子~手続きは： ◎ The port getter steps are:

1. %~URL ~LET コレの`~URL$URL ◎ ↓
2. ~IF［ %~URL の`~port$url ~EQ ~NULL ］ ⇒ ~RET 空~文字列 ◎ If this’s URL’s port is null, then return the empty string.
3. ~RET `整数を直列化する$( %~URL の`~port$url ) ◎ Return this’s URL’s port, serialized.

`port$m 設定子~手続きは： ◎ The port setter steps are:

1. %~URL ~LET コレの`~URL$URL ◎ ↓
2. ~IF［ %~URL は`~username／~password／~portを持てない$ ］ ⇒ ~RET ◎ If this’s URL cannot have a username/password/port, then return.
3. ~IF［ 所与の値 ~EQ 空~文字列 ］ ⇒ %~URL の`~port$url ~SET ~NULL ◎ If the given value is the empty string, then set this’s URL’s port to null.
4. ~ELSE ⇒ `~API用に~URL構文解析する$( 所与の値, %~URL, `~port$st ) ◎ Otherwise, basic URL parse the given value with this’s URL as url and port state as state override.

`pathname@m 取得子~手続きは ⇒ ~RET `~URL~pathを直列化する$( コレの`~URL$URL ) ◎ The pathname getter steps are to return the result of URL path serializing this’s URL.

`pathname$m 設定子~手続きは： ◎ The pathname setter steps are:

1. %~URL ~LET コレの`~URL$URL ◎ ↓
2. ~IF［ %~URL は`不透明な~path$を持つ ］ ⇒ ~RET ◎ If this’s URL has an opaque path, then return.
3. %~URL の`~path$urlを`空にする$ ◎ Empty this’s URL’s path.
4. `~API用に~URL構文解析する$( 所与の値, %~URL, `~path開始$st ) ◎ Basic URL parse the given value with this’s URL as url and path start state as state override.

`search@m 取得子~手続きは： ◎ The search getter steps are:

1. %~URL ~LET コレの`~URL$URL ◎ ↓
2. ~IF［ %~URL の`~query$url ~IN { ~NULL, 空~文字列 } ］ ⇒ ~RET 空~文字列 ◎ If this’s URL’s query is either null or the empty string, then return the empty string.
3. ~RET ［ ❝? ~APPEND %~URL の`~query$url ］ ◎ Return U+003F (?), followed by this’s URL’s query.

`search$m 設定子~手続きは： ◎ The search setter steps are:

1. %~URL ~LET コレの`~URL$URL ◎ Let url be this’s URL.
2. %入力 ~LET 所与の値 ◎ ↓

3. ~IF［ %入力 ~EQ 空~文字列 ］： ◎ If the given value is the empty string:

   1. %~URL の`~query$url ~SET ~NULL ◎ Set url’s query to null.
   2. コレの`~query~obj$URLの`~parameter~list$USPを`空にする$ ◎ Empty this’s query object’s list.
   3. `不透明な~pathならば その末尾にある~space列を剥ぐ$( コレ ) ◎ Potentially strip trailing spaces from an opaque path with this.
   4. ~RET ◎ Return.
4. ~IF［ %入力 の先頭の~cp ~EQ ❝? ］ ⇒ %入力 から先頭の~cpを除去する ◎ Let input be the given value with a single leading U+003F (?) removed, if any.
5. %~URL の`~query$url ~SET 空~文字列 ◎ Set url’s query to the empty string.
6. `~API用に~URL構文解析する$( %入力, %~URL, `~query$st ) ◎ Basic URL parse input with url as url and query state as state override.
7. コレの`~query~obj$URLの`~parameter~list$USP ~SET `~form_urlencoded文字列~構文解析器$( %入力 ) ◎ Set this’s query object’s list to the result of parsing input.

注記： `search$m 設定子には、 コレの`~URL$URLの`~path$urlから尾部を成す［ `0020^U `SPACE^cn からなる`~cp$列 ］を除去する能性がある。 これを行うのは、 コレの`~URL$URLを`~URL直列化器$にかけてから`~URL構文解析器$にかけたとき，~~元と`同等な~URL$が得られるようにするためである。 ◎ The search setter has the potential to remove trailing U+0020 SPACE code points from this’s URL’s path. It does this so that running the URL parser on the output of running the URL serializer on this’s URL does not yield a URL that is not equal.

`searchParams@m 取得子~手続きは：

1. ~RET コレの`~query~obj$URL

`hash@m 取得子~手続きは： ◎ The hash getter steps are:

1. %~URL ~LET コレの`~URL$URL ◎ ↓
2. ~IF［ %~URL の`素片$url ~IN { ~NULL, 空~文字列 } ］ ⇒ ~RET 空~文字列 ◎ If this’s URL’s fragment is either null or the empty string, then return the empty string.
3. ~RET ［ ❝# ~APPEND %~URL の`素片$url ］ ◎ Return U+0023 (#), followed by this’s URL’s fragment.

`hash$m 設定子~手続きは： ◎ The hash setter steps are:

1. %~URL ~LET コレの`~URL$URL ◎ ↓
2. %入力 ~LET 所与の値 ◎ ↓

3. ~IF［ %入力 ~EQ 空~文字列 ］： ◎ If the given value is the empty string:

   1. %~URL の`素片$url ~SET ~NULL； ◎ Set this’s URL’s fragment to null.
   2. `不透明な~pathならば その末尾にある~space列を剥ぐ$( コレ ) ◎ Potentially strip trailing spaces from an opaque path with this.
   3. ~RET ◎ Return.
4. ~IF［ %入力 の先頭の~cp ~EQ ❝# ］ ⇒ %入力 から先頭の~cpを除去する ◎ Let input be the given value with a single leading U+0023 (#) removed, if any.
5. %~URL の`素片$url ~SET 空~文字列 ◎ Set this’s URL’s fragment to the empty string.
6. `~API用に~URL構文解析する$( %入力, %~URL, `素片$st ) ◎ Basic URL parse input with this’s URL as url and fragment state as state override.

注記： `hash$m 設定子には、 `search$m 設定子と等価な方式で， コレの`~URL$URLの`~path$urlを変更する能性がある。 ◎ The hash setter has the potential to change this’s URL’s path in a manner equivalent to the search setter.

`URLSearchParams$I ~obj %~query を `初期化する@USP ときは、 所与の ( %init ) に対し： ◎ To initialize a URLSearchParams object query with init:

1. %init の型に応じて： ◎ ↓

   • `連列~型$である：

     1. %init を成す ~EACH( %内縁~連列 ) に対し ⇒ ~IF［ %内縁~連列 の`~size$ ~NEQ 2 ］ ⇒ ~THROW `TypeError$E
     2. %init を成す ~EACH( %内縁~連列 ) に対し ⇒ %~query の`~parameter~list$USPに ( %内縁~連列[ 0 ], %内縁~連列[ 1 ] ) を`付加する$
     ◎ If init is a sequence, then for each innerSequence of init: • If innerSequence’s size is not 2, then throw a TypeError. • Append (innerSequence[0], innerSequence[1]) to query’s list.
   • `~record型$である ⇒ %init を成す ~EACH( %名 → %値 ) に対し ⇒ %~query の`~parameter~list$USPに ( %名, %値 ) を`付加する$ ◎ Otherwise, if init is a record,＼ then for each name → value of init, append (name, value) to query’s list.
   • 文字列である ⇒ %~query の`~parameter~list$USP ~SET `~form_urlencoded文字列~構文解析器$( %init ) ◎ Otherwise: • Assert: init is a string. • Set query’s list to the result of parsing init.

`URLSearchParams$I ~obj %~query を `更新する@USP ときは： ◎ To update a URLSearchParams object query:

1. ~IF［ %~query の`~URL~obj$USP ~EQ ~NULL ］ ⇒ ~RET ◎ If query’s URL object is null, then return.
2. %直列化した~query ~LET `~form_urlencoded直列化器$( %~query の`~parameter~list$USP ) ◎ Let serializedQuery be the serialization of query’s list.
3. %~query の`~URL~obj$USPの`~URL$URLの`~query$url ~SET %直列化した~query に応じて ⇒＃ 空~文字列 ならば ~NULL ／ ~ELSE_ %直列化した~query ◎ If serializedQuery is the empty string, then set serializedQuery to null. ◎ Set query’s URL object’s URL’s query to serializedQuery.
4. ~IF［ %直列化した~query ~EQ ~NULL ］ ⇒ `不透明な~pathならば その末尾にある~space列を剥ぐ$( %~query の`~URL~obj$USP ) ◎ If serializedQuery is null, then potentially strip trailing spaces from an opaque path with query’s URL object.

`new URLSearchParams(init)@m 構築子~手続きは： ◎ The new URLSearchParams(init) constructor steps are:

1. ~IF［ %init の最初の~cp ~EQ ❝? ］ ⇒ %init から最初の~cpを除去する ◎ If init is a string and starts with U+003F (?), then remove the first code point from init.
2. コレを`初期化する$USP( %init ) ◎ Initialize this with init.

`size@m 取得子~手続きは：

1. ~RET コレの`~parameter~list$USPの`~size$

`append(name, value)@m ~method手続きは： ◎ The append(name, value) method steps are:

1. コレの`~parameter~list$USPに ( %name, %value ) を`付加する$ ◎ Append (name, value) to this’s list.
2. コレを`更新する$USP() ◎ Update this.

`delete(name, value)@m ~method手続きは： ◎ The delete(name, value) method steps are:

1. ~IF［ %value ~NEQ ε ］ ⇒ コレの`~parameter~list$USPから次を満たす`~query~parameter$【！~tuple】をすべて`除去する$ ⇒ ［ 名 ~EQ %name ］~AND［ 値 ~EQ %value ］ ◎ If value is given, then remove all tuples whose name is name and value is value from this’s list.
2. ~ELSE ⇒ コレの`~parameter~list$USPから次を満たす`~query~parameter$【！~tuple】をすべて`除去する$ ⇒ 名 ~EQ %name ◎ Otherwise, remove all tuples whose name is name from this’s list.
3. コレを`更新する$USP() ◎ Update this.

`get(name)@m ~method手続きは：

1. コレの`~parameter~list$USPを成す ~EACH ( %~parameter ) に対し ⇒ ~IF［ %~parameter の名 ~EQ %name ］ ⇒ ~RET %~parameter の値
2. ~RET ~NULL

`getAll(name)@m ~method手続きは：

1. %結果 ~LET 新たな`~list$
2. コレの`~parameter~list$USPを成す ~EACH ( %~parameter ) に対し ⇒ ~IF［ %~parameter の名 ~EQ %name ］ ⇒ %結果 に %~parameter の値を`付加する$
3. ~RET %結果

`has(name)@m ~method手続きは： ◎ The has(name, value) method steps are:

1. ~IF［ %value ~NEQ ε ］ ⇒ コレの`~parameter~list$USPを成す ~EACH ( %~parameter ) に対し ⇒ ~IF［ %~parameter の名 ~EQ %name ］~AND［ %~parameter の値 ~EQ %value ］ ⇒ ~RET ~T ◎ If value is given and there is a tuple whose name is name and value is value in this’s list, then return true.
2. ~ELSE ⇒ コレの`~parameter~list$USPを成す ~EACH ( %~parameter ) に対し ⇒ ~IF［ %~parameter の名 ~EQ %name ］ ⇒ ~RET ~T ◎ If value is not given and there is a tuple whose name is name in this’s list, then return true.
3. ~RET ~F ◎ Return false.

`set(name, value)@m ~method手続きは： ◎ The set(name, value) method steps are:

1. %~parameter~list ~LET コレの`~parameter~list$USP ◎ ↓
2. %設定したか ~LET ~F ◎ ↓

3. %~parameter~list を成す ~EACH( %~parameter ) に対し：

   1. ~IF［ %~parameter の名 ~NEQ %name ］ ⇒ ~CONTINUE
   2. ~IF［ %設定したか ~EQ ~T ］ ⇒＃ %~parameter~list から %~parameter を`除去する$； ~CONTINUE
   3. %~parameter の値 ~SET %value
   4. %設定したか ~SET ~T
   ◎ If this’s list contains any tuples whose name is name, then set the value of the first such tuple to value and remove the others.
4. ~IF［ %設定したか ~EQ ~F ］ ⇒ %~parameter~list に ( %name, %value ) を`付加する$ ◎ Otherwise, append (name, value) to this’s list.
5. コレを`更新する$USP() ◎ Update this.

`sort()@m ~method手続きは：

1. %~parameter~list ~LET コレの`~parameter~list$USP

2. %~sort済み~list ~LET `~listを昇順に~sortする$( %~parameter~list, 次の手続き )

   手続きは、 所与の ( `~query~parameter$ %A, `~query~parameter$ %B ) に対し ⇒ ~RET ~IS［ %A の名は %B の名 `未満の符号単位~列$である ］

3. %~parameter~list を`空にする$
4. %~parameter~list を %~sort済み~list で`拡張する$
5. コレを`更新する$USP()

`iterable@m における`反復される値~pair群$は， コレの`~parameter~list$USPであり、 前者を成す各~pairを成す［ ~key／値 ］は，後者を成す各`~query~parameter$を成す［ 名／値 ］が与えるとする。 ◎ The value pairs to iterate over are this’s list’s tuples with the key being the name and the value being the value.

`stringifier@m における`文字列~化の挙動$を成す手続きは：

1. ~RET `~form_urlencoded直列化器$( コレの`~parameter~list$USP )