URLパターン

initializeをthis、input、baseURL、optionsで実行します。

initializeをthis、input、null、optionsで実行します。

thisの関連付けられたURLパターンに、createの結果（input、baseURL、options）をセットします。

thisの関連付けられたURLパターンのprotocolコンポーネントのパターン文字列を返します。

thisの関連付けられたURLパターンのusernameコンポーネントのパターン文字列を返します。

thisの関連付けられたURLパターンのpasswordコンポーネントのパターン文字列を返します。

thisの関連付けられたURLパターンのhostnameコンポーネントのパターン文字列を返します。

thisの関連付けられたURLパターンのportコンポーネントのパターン文字列を返します。

thisの関連付けられたURLパターンのpathnameコンポーネントのパターン文字列を返します。

thisの関連付けられたURLパターンのsearchコンポーネントのパターン文字列を返します。

thisの関連付けられたURLパターンのhashコンポーネントのパターン文字列を返します。

もしthisの関連URLパターンが正規表現グループを持つ場合、trueを返す。

falseを返します。

resultを、マッチをthisの関連URLパターン、input、baseURL（与えられた場合）で実行した結果とする。

もしresultがnullなら、falseを返す。

trueを返す。

matchの結果（thisの関連付けられたURLパターン、input、（あれば）baseURL）を返す。

initをnullにする。

inputがスカラー値文字列の場合:

1. initにinputを使ってコンストラクタ文字列をパースするの結果を設定する。

2. baseURLがnullであり、かつinit["protocol"] が存在しない場合、TypeErrorを投げる。

3. baseURLがnullでない場合、セット init["baseURL"] にbaseURLを設定する。

それ以外の場合:

1. アサート: inputはURLPatternInitである。

2. baseURLがnullでない場合、TypeErrorを投げる。

3. initにinputを設定する。

processedInitにURLPatternInitを処理するの結果（init, "pattern", null, null, null, null, null, null, null, null）を設定する。

« "protocol", "username", "password", "hostname", "port", "pathname", "search", "hash" »の各componentNameについて:

1. processedInit[componentName]が存在しない場合、セットでprocessedInit[componentName]に"*"を設定する。

processedInit["protocol"] が特別なスキームであり、processedInit["port"] がデフォルトポートをASCII数字で表す文字列の場合、processedInit["port"]を空文字列に設定する。

urlPatternに新しいURLパターンを作成する。

urlPatternのprotocolコンポーネントにprocessedInit["protocol"]、プロトコルを正規化する、デフォルトオプションを使ってコンポーネントをコンパイルする結果を設定する。

urlPatternのusernameコンポーネントにprocessedInit["username"]、ユーザー名を正規化する、デフォルトオプションでコンポーネントをコンパイルする結果を設定する。

urlPatternのpasswordコンポーネントにprocessedInit["password"]、パスワードを正規化する、デフォルトオプションでコンポーネントをコンパイルする結果を設定する。

processedInit["hostname"]についてhostnameパターンがIPv6アドレスかの結果がtrueであれば、urlPatternのhostnameコンポーネントにprocessedInit["hostname"]、IPv6ホスト名を正規化する、ホスト名オプションでコンポーネントをコンパイルする結果を設定する。

そうでなければ、urlPatternのhostnameコンポーネントにprocessedInit["hostname"]、ホスト名を正規化する、ホスト名オプションでコンポーネントをコンパイルする結果を設定する。

urlPatternのportコンポーネントにprocessedInit["port"]、ポートを正規化する、デフォルトオプションでコンポーネントをコンパイルする結果を設定する。

compileOptionsにデフォルトオプションのコピーを作成し、ignore caseプロパティにoptions["ignoreCase"]を設定する。

urlPatternのprotocolコンポーネントについてprotocolコンポーネントが特別なスキームにマッチするかの結果がtrueなら:

1. pathCompileOptionsにpathnameオプションのコピーを作成し、ignore caseプロパティにoptions["ignoreCase"]を設定する。

2. urlPatternのpathnameコンポーネントにprocessedInit["pathname"]、パス名を正規化する、pathCompileOptionsでコンポーネントをコンパイルする結果を設定する。

そうでなければ、urlPatternのpathnameコンポーネントにprocessedInit["pathname"]、不透明なパス名を正規化する、compileOptionsでコンポーネントをコンパイルする結果を設定する。

urlPatternのsearchコンポーネントにprocessedInit["search"]、検索を正規化する、compileOptionsでコンポーネントをコンパイルする結果を設定する。

urlPatternのhashコンポーネントにprocessedInit["hash"]、ハッシュを正規化する、compileOptionsでコンポーネントをコンパイルする結果を設定する。

urlPatternを返す。

protocol を空文字列にする。

username を空文字列にする。

password を空文字列にする。

hostname を空文字列にする。

port を空文字列にする。

pathname を空文字列にする。

search を空文字列にする。

hash を空文字列にする。

inputs を空のリストにする。

inputがURLであれば、appendでinputのシリアライズをinputsへ追加する。

それ以外の場合は、appendでinputをinputsへ追加する。

inputがURLPatternInit であれば:

1. baseURLStringが指定されている場合はTypeErrorを投げる。

2. applyResultにinput、"url"、protocol、username、password、hostname、port、pathname、search、hashでURLPatternInitを処理するの結果を設定する。例外が発生した場合はキャッチし、nullを返す。

3. protocolにapplyResult["protocol"]を設定する。

4. usernameにapplyResult["username"]を設定する。

5. passwordにapplyResult["password"]を設定する。

6. hostnameにapplyResult["hostname"]を設定する。

7. portにapplyResult["port"]を設定する。

8. pathnameにapplyResult["pathname"]を設定する。

9. searchにapplyResult["search"]を設定する。

10. hashにapplyResult["hash"]を設定する。

それ以外の場合:

1. urlにinputを設定する。

2. inputがUSVStringの場合:

   1. baseURLをnullにする。

   2. baseURLStringが指定されていれば:

      1. baseURLに基本URLパーサをbaseURLStringで実行した結果を設定する。

      2. baseURLが失敗ならnullを返す。

      3. appendでbaseURLStringをinputsへ追加する。

   3. urlに基本URLパーサをinputとbaseURLで実行した結果を設定する。

   4. urlが失敗ならnullを返す。

3. アサート: urlはURLである。

4. protocolにurlのschemeを設定する。

5. usernameにurlのusernameを設定する。

6. passwordにurlのpasswordを設定する。

7. hostnameにurlのhost・シリアライズまたは値がnullなら空文字列を設定する。

8. portにurlのport・シリアライズまたは値がnullなら空文字列を設定する。

9. pathnameにURLパスシリアライズの結果を設定する。

10. searchにurlのqueryまたは値がnullなら空文字列を設定する。

11. hashにurlのfragmentまたは値がnullなら空文字列を設定する。

protocolExecResultにRegExpBuiltinExec(urlPatternのprotocolコンポーネントの正規表現, protocol)を設定する。

usernameExecResultにRegExpBuiltinExec(urlPatternのusernameコンポーネントの正規表現, username)を設定する。

passwordExecResultにRegExpBuiltinExec(urlPatternのpasswordコンポーネントの正規表現, password)を設定する。

hostnameExecResultにRegExpBuiltinExec(urlPatternのhostnameコンポーネントの正規表現, hostname)を設定する。

portExecResultにRegExpBuiltinExec(urlPatternのportコンポーネントの正規表現, port)を設定する。

pathnameExecResultにRegExpBuiltinExec(urlPatternのpathnameコンポーネントの正規表現, pathname)を設定する。

searchExecResultにRegExpBuiltinExec(urlPatternのsearchコンポーネントの正規表現, search)を設定する。

hashExecResultにRegExpBuiltinExec(urlPatternのhashコンポーネントの正規表現, hash)を設定する。

いずれかのExecResultがnullならnullを返す。

resultに新しいURLPatternResultを設定する。

result["inputs"]にinputsを設定する。

result["protocol"]にコンポーネントマッチ結果を作成する（urlPatternのprotocolコンポーネント, protocol, protocolExecResult）の結果を設定する。

result["username"]にコンポーネントマッチ結果を作成する（urlPatternのusernameコンポーネント, username, usernameExecResult）の結果を設定する。

result["password"]にコンポーネントマッチ結果を作成する（urlPatternのpasswordコンポーネント, password, passwordExecResult）の結果を設定する。

result["hostname"]にコンポーネントマッチ結果を作成する（urlPatternのhostnameコンポーネント, hostname, hostnameExecResult）の結果を設定する。

result["port"]にコンポーネントマッチ結果を作成する（urlPatternのportコンポーネント, port, portExecResult）の結果を設定する。

result["pathname"]にコンポーネントマッチ結果を作成する（urlPatternのpathnameコンポーネント, pathname, pathnameExecResult）の結果を設定する。

result["search"]にコンポーネントマッチ結果を作成する（urlPatternのsearchコンポーネント, search, searchExecResult）の結果を設定する。

result["hash"]にコンポーネントマッチ結果を作成する（urlPatternのhashコンポーネント, hash, hashExecResult）の結果を設定する。

resultを返す。

urlPatternのprotocolコンポーネントの正規表現グループを持つかがtrueならtrueを返す。

urlPatternのusernameコンポーネントの正規表現グループを持つかがtrueならtrueを返す。

urlPatternのpasswordコンポーネントの正規表現グループを持つかがtrueならtrueを返す。

urlPatternのhostnameコンポーネントの正規表現グループを持つかがtrueならtrueを返す。

urlPatternのportコンポーネントの正規表現グループを持つかがtrueならtrueを返す。

urlPatternのpathnameコンポーネントの正規表現グループを持つかがtrueならtrueを返す。

urlPatternのsearchコンポーネントの正規表現グループを持つかがtrueならtrueを返す。

urlPatternのhashコンポーネントの正規表現グループを持つかがtrueならtrueを返す。

falseを返す。

part listにinput、options、encoding callbackでパターン文字列をパースするの結果を設定する。

(regular expression string, name list)にpart list、optionsで正規表現と名前リストを生成するの結果を設定する。

flagsを空文字列にする。

optionsのignore caseがtrueなら、flagsに"vi"を設定する。

そうでなければflagsに"v"を設定する。

regular expressionにRegExpCreate(regular expression string, flags)の結果を設定する。例外が発生した場合はキャッチし、TypeErrorを投げる。

仕様はすべてのマッチングに正規表現を使用しますが、これは必須ではありません。実装はpart listに対して直接マッチングしても構いません（例えばカスタム正規表現グループがない場合）。ただしカスタム正規表現がある場合は、コンポーネントをコンパイルするで即座に評価され、無効な場合はエラーを投げることが重要です。

pattern stringにpart list、optionsでパターン文字列を生成するの結果を設定する。

has regexp groupsをfalseにする。

各partをpart listについて:

1. partのtypeが"regexp"なら、has regexp groupsをtrueにする。

コンポーネントを新規作成し、パターン文字列にpattern string、正規表現にregular expression、グループ名リストにname list、正規表現グループを持つかにhas regexp groupsを設定して返す。

resultに新しいURLPatternComponentResultを設定する。

result["input"]にinputを設定する。

groupsを record<USVString, (USVString またはundefined)>で初期化する。

indexを1にする。

indexがGet(execResult, "length")未満の間:

1. nameにcomponentのグループ名リスト[index−1]を設定する。

2. valueにGet(execResult, ToString(index))を設定する。

3. groups[name]にvalueを設定する。

4. indexを1増やす。

result["groups"]にgroupsを設定する。

resultを返す。

dummyInputに"https://dummy.invalid/"を設定する。

dummyInputで基本URLパーサを実行した結果を返す。

special scheme listにリストとしてすべての特別なスキームを格納する。

各schemeをspecial scheme listについて:

1. test resultにRegExpBuiltinExec(protocol componentの正規表現, scheme)を設定する。

2. test resultがnullでなければtrueを返す。

falseを返す。

inputのコードポイント長が2未満ならfalseを返す。

input code pointsにinputをリストとしてコードポイントとして解釈したものを設定する。

input code points[0]がU+005B（[）ならtrueを返す。

input code points[0]がU+007B（{）かつinput code points[1]がU+005B（[）ならtrueを返す。

input code points[0]がU+005C（\）かつinput code points[1]がU+005B（[）ならtrueを返す。

falseを返す。

parserに新しいコンストラクタ文字列パーサを作成し、inputにinput、token listにinputと"lenient"でtokenizeした結果を設定する。

While parserのtoken indexがparserのtoken listのサイズ未満の場合:

1. parserのtoken incrementを1に設定する。

   parseループの各イテレーションで、parserのtoken indexはtoken increment分だけ増加します。通常は1ですが、場合によっては0に設定されることがあります。token incrementはループの先頭で常に1にリセットされます。

2. parserのtoken list[parserのtoken index]のtypeが"end"の場合:

   1. parserのstateが"init"の場合:

      "init"stateで文字列末尾に到達した場合、プロトコールの終端が見つからず、相対URLPatternのコンストラクタ文字列である必要があります。

      1. rewindをparserで実行する。

         次に、相対パターンがどのコンポーネントから始まるか判定します。相対pathnameが最も一般的ですが、URLやURLPatternのコンストラクタ文字列はsearchやhashコンポーネントから始まることもあります。

      2. is a hash prefixをparserで実行した結果がtrueなら、change stateをparser、"hash"および1で実行する。

      3. それ以外でis a search prefixをparserで実行した結果がtrueなら:

         1. change stateをparser、"search"および1で実行する。

      4. それ以外:

         1. change stateをparser、"pathname"および0で実行する。

      5. parserのtoken indexをtoken increment分だけ増やす。

      6. Continue。

   2. parserのstateが"authority"の場合:

      "authority"stateで文字列末尾に到達した場合、"@"が見つからず、usernameやpasswordはありません。

      1. rewind and set stateをparser、"hostname"で実行する。

      2. parserのtoken indexをtoken increment分だけ増やす。

      3. Continue。

   3. change stateをparser、"done"および0で実行する。

   4. Break。

3. is a group openをparserで実行した結果がtrueの場合:

   "{ ... }"パターングループ内のコードポイントはすべて無視されます。パターングループ内にURLコンポーネント境界を許すのは不適切です（例: "https://example.c{om/fo}o"）。well formedなパターン文字列ではサポートされていませんが、ネストされたグループにも対応しパーサの混乱を避けます。

   このロジックはregexpや名前付きグループには不要です。これらはtoken化アルゴリズムで単一トークンにまとめられるためです。

   1. parserのgroup depthを1増やす。

   2. parserのtoken indexをtoken increment分だけ増やす。

   3. Continue。

4. parserのgroup depthが0より大きい場合:

   1. is a group closeをparserで実行した結果がtrueなら、parserのgroup depthを1減らす。

   2. それ以外:

      1. parserのtoken indexをtoken increment分だけ増やす。

      2. Continue。

5. parserのstateごとに以下の手順を実行:

   "init"

   1. is a protocol suffixをparserで実行しtrueなら:

      1. rewind and set stateをparserと"protocol"で実行する。

   "protocol"

   1. is a protocol suffixをparserで実行しtrueなら:

      1. compute protocol matches a special scheme flagをparserで実行する。

         プロトコールコンポーネントを即座にコンパイルし、特別なスキームにマッチするか判定します。マッチする場合は特別なルールが適用されます。たとえばpathnameが"/"になるか、username/password/hostname/portコンポーネントを探すかどうか決まります。authority slashesもこれらのコンポーネント探索に影響します。そうでなければ「不透明パスURL」としてpathnameへ進みます。

      2. next stateに"pathname"を設定する。

      3. skipに1を設定する。

      4. next is authority slashesをparserで実行しtrueなら:

         1. next stateに"authority"を設定する。

         2. skipに3を設定する。

      5. それ以外でparserのprotocol matches a special scheme flagがtrueなら、next stateに"authority"を設定する。

      6. change stateをparser、next state、skipで実行する。

   "authority"

   1. is an identity terminatorをparserで実行しtrueなら、rewind and set stateをparser、"username"で実行する。

   2. それ以外で以下のいずれかがtrueなら:

      • is a pathname startをparserで実行した結果
      • is a search prefixをparserで実行した結果
      • is a hash prefixをparserで実行した結果

      の場合、rewind and set stateをparser、"hostname"で実行する。

   "username"

   1. is a password prefixをparserで実行しtrueなら、change stateをparser、"password"および1で実行する。

   2. それ以外でis an identity terminatorをparserで実行しtrueなら、change stateをparser、"hostname"および1で実行する。

   "password"

   1. is an identity terminatorをparserで実行しtrueなら、change stateをparser、"hostname"および1で実行する。

   "hostname"

   1. is an IPv6 openをparserで実行しtrueなら、parserのhostname IPv6 bracket depthを1増やす。

   2. それ以外でis an IPv6 closeをparserで実行しtrueなら、parserのhostname IPv6 bracket depthを1減らす。

   3. それ以外でis a port prefixをparserで実行し、かつparserのhostname IPv6 bracket depthが0なら、change stateをparser、"port"および1で実行する。

   4. それ以外でis a pathname startをparserで実行しtrueなら、change stateをparser、"pathname"および0で実行する。

   5. それ以外でis a search prefixをparserで実行しtrueなら、change stateをparser、"search"および1で実行する。

   6. それ以外でis a hash prefixをparserで実行しtrueなら、change stateをparser、"hash"および1で実行する。

   "port"

   1. is a pathname startをparserで実行しtrueなら、change stateをparser、"pathname"および0で実行する。

   2. それ以外でis a search prefixをparserで実行しtrueなら、change stateをparser、"search"および1で実行する。

   3. それ以外でis a hash prefixをparserで実行しtrueなら、change stateをparser、"hash"および1で実行する。

   "pathname"

   1. is a search prefixをparserで実行しtrueなら、change stateをparser、"search"および1で実行する。

   2. それ以外でis a hash prefixをparserで実行しtrueなら、change stateをparser、"hash"および1で実行する。

   "search"

   1. is a hash prefixをparserで実行しtrueなら、change stateをparser、"hash"および1で実行する。

   "hash"

   1. 何もしない。

   "done"

   1. Assert: このステップには到達しません。

6. parserのtoken indexをtoken increment分だけ増やす。

parserのresultが"hostname"を含み、かつ"port"を含まない場合、parserのresult["port"]に空文字列を設定する。

parserのresultを返す。

parserのstateが"init"、"authority"、"done"以外の場合、 parserのresult[parserのstate]にコンポーネント文字列を作成するの結果を設定する。

parserのstateが"init"でなく、new stateが"done"でない場合:

1. parserのstateが"protocol"、 "authority"、 "username"、 または"password"、 かつnew stateが"port"、"pathname"、 "search"、 または"hash"であり、 parserのresult["hostname"] が存在しない場合、parserのresult["hostname"] に空文字列を設定する。

2. parserのstateが"protocol"、 "authority"、 "username"、 "password"、 "hostname"、 または"port"、 かつnew stateが"search"または"hash"であり、 parserのresult["pathname"] が存在しない場合:

   1. parserのprotocol matches a special scheme flagがtrueなら、 parserのresult["pathname"] に"/"を設定する。

   2. それ以外の場合はparserのresult["pathname"] に空文字列を設定する。

3. parserのstateが"protocol"、 "authority"、 "username"、 "password"、 "hostname"、 "port"、 または"pathname"、 かつnew stateが"hash"であり、 parserのresult["search"] が存在しない場合、 parserのresult["search"] に空文字列を設定する。

parserのstateにnew stateを設定する。

parserのtoken indexをskip分だけ増やす。

parserのcomponent startに parserのtoken indexを設定する。

parserのtoken incrementを0に設定する。

parserのtoken indexにparserの component startを設定する。

parserのtoken incrementを0に設定する。

巻き戻すをparserで実行する。

parserのstateにstateを設定する。

indexがparserのtoken listのサイズ未満なら、 parserのtoken list[index]を返す。

アサート: parserのtoken listのサイズは1以上。

last indexにparserのtoken listのサイズ−1を設定する。

tokenにparserのtoken list[last index]を設定する。

アサート: tokenのtypeは"end"である。

tokenを返す。

tokenに安全なトークンを取得するをparser、indexで実行した結果を設定する。

tokenのvalueがvalueでなければfalseを返す。

以下のいずれかがtrueの場合:

• tokenのtypeが"char"である。
• tokenのtypeが"escaped-char"である。
• tokenのtypeが"invalid-char"である。

場合はtrueを返す。

falseを返す。

特殊でないパターン文字か判定するをparser、parserのtoken index、":"で実行した結果を返す。

特殊でないパターン文字か判定するをparser、parserのtoken index+1、"/"で実行した結果がfalseならfalseを返す。

特殊でないパターン文字か判定するをparser、parserのtoken index+2、"/"で実行した結果がfalseならfalseを返す。

trueを返す。

特殊でないパターン文字か判定するをparser、parserのtoken index、"@"で実行した結果を返す。

特殊でないパターン文字か判定するをparser、parserのtoken index、":"で実行した結果を返す。

特殊でないパターン文字か判定するをparser、parserのtoken index、":"で実行した結果を返す。

特殊でないパターン文字か判定するをparser、parserのtoken index、"/"で実行した結果を返す。

特殊でないパターン文字か判定するをparser、parserのtoken index、"?"で実行した結果がtrueならtrueを返す。

parserのtoken list[parserのtoken index]のvalueが"?"でなければfalseを返す。

previous indexにparserのtoken index−1を設定する。

previous indexが0未満ならtrueを返す。

previous tokenに安全なトークンを取得するをparser、previous indexで実行した結果を設定する。

以下のいずれかがtrueならfalseを返す:

• previous tokenのtypeが"name"である。
• previous tokenのtypeが"regexp"である。
• previous tokenのtypeが"close"である。
• previous tokenのtypeが"asterisk"である。

trueを返す。

特殊でないパターン文字か判定するをparser、parserのtoken index、"#"で実行した結果を返す。

parserのtoken list[parserのtoken index]のtypeが"open"ならtrueを返す。

それ以外はfalseを返す。

parserのtoken list[parserのtoken index]のtypeが"close"ならtrueを返す。

それ以外はfalseを返す。

特殊でないパターン文字か判定するをparser、parserのtoken index、"["で実行した結果を返す。

特殊でないパターン文字か判定するをparser、parserのtoken index、"]"で実行した結果を返す。

アサート: parserのtoken indexはparserのtoken listのサイズ未満。

tokenにparserのtoken list[parserのtoken index]を設定する。

component start tokenに安全なトークンを取得するをparser、parserのcomponent startで実行した結果を設定する。

component start input indexにcomponent start tokenのindexを設定する。

end indexにtokenのindexを設定する。

parserのinputのcomponent start input indexからend indexまでのコードポイント部分文字列を返す。

protocol stringにコンポーネント文字列を作成するをparserで実行した結果を設定する。

protocol componentにコンポーネントをコンパイルするをprotocol string、プロトコルを正規化する、デフォルトオプションで実行した結果を設定する。

protocolコンポーネントが特別なスキームにマッチするかをprotocol componentで実行しtrueなら、parserのprotocol matches a special scheme flagにtrueを設定する。

tokenizerに新しいトークナイザを作成する。

tokenizerのinputにinputを設定する。

tokenizerのpolicyにpolicyを設定する。

tokenizerのindexがtokenizerのinputのコードポイント長未満の間:

1. 次のコードポイントを取得するをtokenizer、tokenizerのindexで実行する。

2. tokenizerのcode pointがU+002A（*）の場合:

   1. デフォルト位置と長さでトークンを追加するをtokenizer、"asterisk"で実行する。

   2. Continue。

3. tokenizerのcode pointがU+002B（+）またはU+003F（?）の場合:

   1. デフォルト位置と長さでトークンを追加するをtokenizer、"other-modifier"で実行する。

   2. Continue。

4. tokenizerのcode pointがU+005C（\）の場合:

   1. tokenizerのindexがtokenizerのinputのコードポイント長−1と等しい場合:

      1. トークン化エラー処理をtokenizer、tokenizerのnext index、tokenizerのindexで実行する。

      2. Continue。

   2. escaped indexにtokenizerのnext indexを設定する。

   3. 次のコードポイントを取得するをtokenizerで実行する。

   4. デフォルト長さでトークンを追加するをtokenizer、"escaped-char"、tokenizerのnext index、escaped indexで実行する。

   5. Continue。

5. tokenizerのcode pointがU+007B（{）の場合:

   1. デフォルト位置と長さでトークンを追加するをtokenizer、"open"で実行する。

   2. Continue。

6. tokenizerのcode pointがU+007D（}）の場合:

   1. デフォルト位置と長さでトークンを追加するをtokenizer、"close"で実行する。

   2. Continue。

7. tokenizerのcode pointがU+003A（:）の場合:

   1. name positionにtokenizerのnext indexを設定する。

   2. name startにname positionを設定する。

   3. name positionがtokenizerのinputのコードポイント長未満の間:

      1. 次のコードポイントを取得するをtokenizer、name positionで実行する。

      2. first code pointがname position==name startならtrue、そうでなければfalse。

      3. valid code pointに有効なnameコードポイントか判定をtokenizerのcode point、first code pointで実行した結果を設定する。

      4. valid code pointがfalseならbreak。

      5. name positionにtokenizerのnext indexを設定する。

   4. name positionがname start以下の場合:

      1. トークン化エラー処理をtokenizer、name start、tokenizerのindexで実行する。

      2. Continue。

   5. デフォルト長さでトークンを追加するをtokenizer、"name"、name position、name startで実行する。

   6. Continue。

8. tokenizerのcode pointがU+0028（(）の場合:

   1. depthに1を設定する。

   2. regexp positionにtokenizerのnext indexを設定する。

   3. regexp startにregexp positionを設定する。

   4. errorにfalseを設定する。

   5. regexp positionがtokenizerのinputのコードポイント長未満の間:

      1. 次のコードポイントを取得するをtokenizer、regexp positionで実行する。

      2. tokenizerのcode pointがASCIIコードポイントでなければ:

         1. トークン化エラー処理をtokenizer、regexp start、tokenizerのindexで実行する。

         2. errorにtrueを設定する。

         3. Break。

      3. regexp position==regexp startかつtokenizerのcode pointがU+003F（?）の場合:

         1. トークン化エラー処理をtokenizer、regexp start、tokenizerのindexで実行する。

         2. errorにtrueを設定する。

         3. Break。

      4. tokenizerのcode pointがU+005C（\）の場合:

         1. regexp position==tokenizerのinputのコードポイント長−1の場合:

            1. トークン化エラー処理をtokenizer、regexp start、tokenizerのindexで実行する。

            2. errorにtrueを設定する。

            3. Break。

         2. 次のコードポイントを取得するをtokenizerで実行する。

         3. tokenizerのcode pointがASCIIコードポイントでなければ:

            1. トークン化エラー処理をtokenizer、regexp start、tokenizerのindexで実行する。

            2. errorにtrueを設定する。

            3. Break。

         4. regexp positionにtokenizerのnext indexを設定する。

         5. Continue。

      5. tokenizerのcode pointがU+0029（)）の場合:

         1. depthを1減らす。

         2. depthが0の場合:

            1. regexp positionにtokenizerのnext indexを設定する。

            2. Break。

      6. それ以外でtokenizerのcode pointがU+0028（(）の場合:

         1. depthを1増やす。

         2. regexp position==tokenizerのinputのコードポイント長−1の場合:

            1. トークン化エラー処理をtokenizer、regexp start、tokenizerのindexで実行する。

            2. errorにtrueを設定する。

            3. Break。

         3. temporary positionにtokenizerのnext indexを設定する。

         4. 次のコードポイントを取得するをtokenizerで実行する。

         5. tokenizerのcode pointがU+003F（?）でない場合:

            1. トークン化エラー処理をtokenizer、regexp start、tokenizerのindexで実行する。

            2. errorにtrueを設定する。

            3. Break。

         6. tokenizerのnext indexにtemporary positionを設定する。

      7. regexp positionにtokenizerのnext indexを設定する。

   6. errorがtrueならcontinue。

   7. depthが0でなければ:

      1. トークン化エラー処理をtokenizer、regexp start、tokenizerのindexで実行する。

      2. Continue。

   8. regexp lengthにregexp position−regexp start−1を設定する。

   9. regexp lengthが0の場合:

      1. トークン化エラー処理をtokenizer、regexp start、tokenizerのindexで実行する。

      2. Continue。

   10. トークンを追加するをtokenizer、"regexp"、regexp position、regexp start、regexp lengthで実行する。

   11. Continue。

9. デフォルト位置と長さでトークンを追加するをtokenizer、"char"で実行する。

デフォルト長さでトークンを追加するをtokenizer、"end"、tokenizerのindex、tokenizerのindexで実行する。

tokenizerのtoken listを返す。

tokenizerのcode pointに、tokenizerのinputのtokenizerのnext indexで示される位置のUnicodeコードポイントを設定する。

tokenizerのnext indexを1増やす。

tokenizerのnext indexにindexを設定する。

次のコードポイントを取得するをtokenizerで実行する。

tokenに新しいトークンを作成する。

tokenのtypeにtypeを設定する。

tokenのindexにtokenizerのindexを設定する。

tokenのvalueに、tokenizerのinput内のvalue positionからvalue length分のコードポイント部分文字列を設定する。

appendでtokenをtokenizerのtoken listの末尾に追加する。

tokenizerのindexにnext positionを設定する。

computed lengthにnext position−value positionを設定する。

トークンを追加するをtokenizer、type、next position、value position、computed lengthで実行する。

デフォルト長さでトークンを追加するをtokenizer、type、tokenizerのnext index、tokenizerのindexで実行する。

tokenizerのpolicyが"strict"なら、TypeErrorを投げる。

アサート: tokenizerのpolicyは"lenient"である。

デフォルト長さでトークンを追加するをtokenizer、"invalid-char"、next position、value positionで実行する。

firstがtrueなら、code pointがIdentifierStartコードポイント集合に含まれるかどうかをチェックした結果を返す。

それ以外の場合、code pointがIdentifierPartコードポイント集合に含まれるかどうかをチェックした結果を返す。

parserを新しいパターンパーサーとして生成し、そのエンコーディングコールバックをencoding callbackに設定し、セグメントワイルドカード正規表現をgenerate a segment wildcard regexpをoptionsで実行した結果に設定する。

parserのトークンリストをtokenizeをinputと"strict"で実行した結果に設定する。

parserのインデックスがparserのトークンリストのサイズより小さい間：

1. char tokenをtry to consume a tokenをparserと"char"で実行した結果とする。

2. name tokenをtry to consume a tokenをparserと"name"で実行した結果とする。

3. regexp or wildcard tokenをtry to consume a regexp or wildcard tokenをparserとname tokenで実行した結果とする。

4. もしname tokenがnullでない、またはregexp or wildcard tokenがnullでない場合：

   マッチグループがある場合は、パートを直ちに追加する必要があります。

   1. prefixを空文字列とする。

   2. もしchar tokenがnullでなければ、prefixをchar tokenの値に設定する。

   3. もしprefixが空文字列でなく、かつoptionsのプレフィックスコードポイントでない場合：

      1. parserの保留中の固定値の末尾にprefixを追加する。

      2. prefixを空文字列に設定する。

   4. maybe add a part from the pending fixed valueをparserで実行する。

   5. modifier tokenをtry to consume a modifier tokenをparserで実行した結果とする。

   6. add a partをparser、prefix、name token、 regexp or wildcard token、空文字列、およびmodifier tokenで実行する。

   7. 続行。

5. fixed tokenをchar tokenとする。

   マッチグループがない場合は、固定テキストをバッファリングする必要があります。できる限り多くのテキストを収集し、"fixed-text"パートとして追加します。

6. もしfixed tokenがnullなら、fixed tokenをtry to consume a tokenをparserと"escaped-char"で実行した結果に設定する。

7. もしfixed tokenがnullでなければ：

   1. fixed tokenの値をparserの保留中の固定値に追加する。

   2. 続行。

8. open tokenをtry to consume a tokenをparserと"open"で実行した結果とする。

   次に、 <open><char prefix><name><regexp><char suffix><close><modifier> のシーケンスを探します。openとcloseは必須ですが、他のトークンは必須ではありません。

   "{a:foo(bar)b}?"

   すべてのトークンが存在します。

   "{:foo}?"

   "open"、"name"、"close"、および"other-modifier"トークンが存在します。

   "{(bar)}?"

   "open"、"regexp"、"close"、および"other-modifier"トークンが存在します。

   "{ab}?"

   "open"、"char"、"close"、および"other-modifier"トークンが存在します。

9. もしopen tokenがnullでなければ：

   1. prefixをconsume textをparserで実行した結果とする。

   2. name tokenをtry to consume a tokenをparserと"name"で実行した結果とする。

   3. regexp or wildcard tokenをtry to consume a regexp or wildcard tokenをparserとname tokenで実行した結果とする。

   4. suffixをconsume textをparserで実行した結果とする。

   5. consume a required tokenをparserと"close"で実行する。

   6. modifier tokenをtry to consume a modifier tokenをparserで実行した結果とする。

   7. add a partをparser、prefix、name token、 regexp or wildcard token、suffix、およびmodifier tokenで実行する。

   8. 続行。

10. maybe add a part from the pending fixed valueをparserで実行する。

11. consume a required tokenをparserと"end"で実行する。

parserのパートリストを返す。

resultを"[^"とする。

resultの末尾に、optionsのデリミターコードポイントをescape a regexp stringで実行した結果を追加する。

resultの末尾に"]+?"を追加する。

resultを返す。

アサート：parserのインデックスがparserのトークンリストのサイズより小さい。

next tokenをparserのトークンリスト[parserのインデックス]とする。

もしnext tokenのtypeがtypeでないならnullを返す。

parserのインデックスを1増やす。

next tokenを返す。

tokenをトークンを消費しようとするをparserと"other-modifier"で実行した結果とする。

もしtokenがnullでなければ、tokenを返す。

tokenをトークンを消費しようとするをparserと"asterisk"で実行した結果に設定する。

tokenを返す。

tokenをトークンを消費しようとするをparserと"regexp"で実行した結果とする。

もしname tokenがnullかつtokenがnullなら、tokenをトークンを消費しようとするをparserと"asterisk"で実行した結果に設定する。

tokenを返す。

resultをトークンを消費しようとするをparserとtypeで実行した結果とする。

もしresultがnullなら、TypeErrorを投げる。

resultを返す。

resultを空文字列とする。

無限ループ：

1. tokenをトークンを消費しようとするをparserと"char"で実行した結果とする。

2. もしtokenがnullなら、tokenをトークンを消費しようとするをparserと"escaped-char"で実行した結果に設定する。

3. もしtokenがnullなら、break。

4. tokenの値をresultの末尾に追加する。

resultを返す。

もしparserの保留中の固定値が空文字列なら、返す。

encoded valueをparserのエンコーディングコールバックをparserの保留中の固定値で実行した結果とする。

parserの保留中の固定値を空文字列に設定する。

partを新しいパートとして、typeは"fixed-text"、valueはencoded value、modifierは"none"に設定する。

追加partをparserのパートリストに追加する。

modifierを"none"とする。

もしmodifier tokenがnullでなければ：

1. もしmodifier tokenの値が"?"ならmodifierを"optional"に設定する。

2. そうでなくmodifier tokenの値が"*"ならmodifierを"zero-or-more"に設定する。

3. そうでなくmodifier tokenの値が"+"ならmodifierを"one-or-more"に設定する。

もしname tokenがnullかつregexp or wildcard tokenがnullかつmodifierが"none"なら：

これは"{foo}"グループ化です。これを保留中の固定値に追加し、他のテキストと結合します。

1. parserの保留中の固定値の末尾にprefixを追加する。

2. 返す。

保留中の固定値からパートを追加するかもしれないをparserで実行する。

もしname tokenがnullかつregexp or wildcard tokenがnullなら：

これは"{foo}?"グループ化です。修飾子があるので、他のテキストと結合できません。直ちにパートとして追加します。

1. アサート：suffixは空文字列。

2. もしprefixが空文字列なら、返す。

3. encoded valueをparserのエンコーディングコールバックをprefixで実行した結果とする。

4. partを新しいパートとして、typeは"fixed-text"、valueはencoded value、modifierはmodifierに設定する。

5. 追加partをparserのパートリストに追加する。

6. 返す。

regexp valueを空文字列とする。

次にregexp or wildcard tokenを正規表現に変換します。

もしregexp or wildcard tokenがnullなら、regexp valueをparserのセグメントワイルドカード正規表現に設定する。

そうでなくregexp or wildcard tokenのtypeが"asterisk"なら、regexp valueをフルワイルドカード正規表現値に設定する。

それ以外の場合は、regexp valueをregexp or wildcard tokenの値に設定する。

typeを"regexp"に設定する。

次にregexp valueをパートtypeに変換します。まず正規表現にすることで、"regexp"トークンと"name"や"asterisk"トークンが同様に扱われます。

もしregexp valueがparserのセグメントワイルドカード正規表現なら：

1. typeを"segment-wildcard"に設定する。

2. regexp valueを空文字列に設定する。

そうでなくregexp valueがフルワイルドカード正規表現値なら：

1. typeを"full-wildcard"に設定する。

2. regexp valueを空文字列に設定する。

nameを空文字列とする。

次にパートnameを決定します。これは"name"トークンで明示的に指定されるか、自動的に割り当てられます。

もしname tokenがnullでなければ、nameをname tokenの値に設定する。

そうでなくregexp or wildcard tokenがnullでなければ：

1. nameをparserの次の数値名をシリアライズしたものに設定する。

2. parserの次の数値名を1増やす。

もし重複した名前かどうかをparserとnameで実行した結果がtrueなら、TypeErrorを投げる。

encoded prefixをparserのエンコーディングコールバックをprefixで実行した結果とする。

最後に固定テキスト値をエンコードし、パートを作成します。

encoded suffixをparserのエンコーディングコールバックをsuffixで実行した結果とする。

partを新しいパートとして、typeはtype、valueはregexp value、modifierはmodifier、nameはname、prefixはencoded prefix、suffixはencoded suffixに設定する。

追加partをparserのパートリストに追加する。

各partをparserのパートリストについて：

1. もしpartのnameがnameならtrueを返す。

falseを返す。

resultを"^"とする。

name listを新しいリストとする。

各partをpart listについて：

1. もしpartのtypeが"fixed-text"なら：

   1. もしpartのmodifierが"none"なら、escape a regexp stringをpartのvalueで実行した結果をresultの末尾に追加する。

   2. そうでない場合：

      修飾子のある"fixed-text"partは非捕捉グループを使用します。以下の形式になります。

      (?:<固定テキスト>)<修飾子>

      1. resultの末尾に"(?:"を追加する。

      2. escape a regexp stringをpartのvalueで実行した結果をresultの末尾に追加する。

      3. resultの末尾に")"を追加する。

      4. convert a modifier to a stringをpartのmodifierで実行した結果をresultの末尾に追加する。

   3. 続行。

2. アサート：partのnameが空文字列でない。

3. 追加partのnameをname listの末尾に追加する。

   一致グループ名のリストは、互換性のために並行リストで収集します。path-to-regexpと同じ振る舞いを維持するためです。正規表現の名前付きキャプチャグループに変換も可能ですが、アルゴリズムの複雑性からバグのリスクが高く、また生成した正規表現をウェブに公開する場合もpath-to-regexpとの互換性を維持したい意向があります。

4. regexp valueをpartのvalueとする。

5. もしpartのtypeが"segment-wildcard"なら、regexp valueをセグメントワイルドカード正規表現を生成するをoptionsで実行した結果に設定する。

6. そうでなくpartのtypeが"full-wildcard"なら、regexp valueをフルワイルドカード正規表現値に設定する。

7. もしpartのprefixが空文字列であり、かつpartのsuffixが空文字列なら：

   プレフィックスやサフィックスがない場合、生成方法は修飾子によって異なります。修飾子がないかoptional修飾子のみの場合は以下の単純な形式を使用します：

   (<regexp value>)<modifier>

   繰り返し修飾子の場合はより複雑な形式になります：

   ((?:<regexp value>)<modifier>)

   1. もしpartのmodifierが"none"または"optional"なら：

      1. resultの末尾に"("を追加する。

      2. regexp valueをresultの末尾に追加する。

      3. resultの末尾に")"を追加する。

      4. convert a modifier to a stringをpartのmodifierで実行した結果をresultの末尾に追加する。

   2. そうでない場合：

      1. resultの末尾に"((?:"を追加する。

      2. regexp valueをresultの末尾に追加する。

      3. resultの末尾に")"を追加する。

      4. convert a modifier to a stringをpartのmodifierで実行した結果をresultの末尾に追加する。

      5. resultの末尾に")"を追加する。

   3. 続行。

8. もしpartのmodifierが"none" または"optional"なら：

   このセクションは、prefixやsuffixがある非繰り返しパートを扱います。内部キャプチャグループで主なregexp valueを含み、外部の非キャプチャグループはプレフィックスやサフィックスと組み合わせます。最終的に修飾子が適用されます。以下の形式となります。

   (?:<prefix>(<regexp value>)<suffix>)<modifier>

   1. resultの末尾に"(?:"を追加する。

   2. escape a regexp stringをpartのprefixで実行した結果をresultの末尾に追加する。

   3. resultの末尾に"("を追加する。

   4. regexp valueをresultの末尾に追加する。

   5. resultの末尾に")"を追加する。

   6. escape a regexp stringをpartのsuffixで実行した結果をresultの末尾に追加する。

   7. resultの末尾に")"を追加する。

   8. convert a modifier to a stringをpartのmodifierで実行した結果をresultの末尾に追加する。

   9. 続行。

9. アサート：partのmodifierが"zero-or-more"または"one-or-more"である。

10. アサート：partのprefixが空文字列でない、またはpartのsuffixが空文字列でない。

    プレフィックスやサフィックスのある繰り返しパートは非常に複雑です。最初のprefixと最後のsuffixは除外し、中間の繰り返し要素間には含みます。これを実現するため、prefixを除外した初期表現を提供し、その後prefix/suffixを含むoptionalな繰り返し要素を追加します。0回許可される場合は、最後にoptional修飾子を付加できます。最終的な形式は以下の通りです。

    (?:<prefix>((?:<regexp value>)(?:<suffix><prefix>(?:<regexp value>))*)<suffix>)?

11. resultの末尾に"(?:"を追加する。

12. escape a regexp stringをpartのprefixで実行した結果をresultの末尾に追加する。

13. resultの末尾に"((?:"を追加する。

14. regexp valueをresultの末尾に追加する。

15. resultの末尾に")(?:"を追加する。

16. escape a regexp stringをpartのsuffixで実行した結果をresultの末尾に追加する。

17. escape a regexp stringをpartのprefixで実行した結果をresultの末尾に追加する。

18. resultの末尾に"(?:"を追加する。

19. regexp valueをresultの末尾に追加する。

20. resultの末尾に"))*)"を追加する。

21. escape a regexp stringをpartのsuffixで実行した結果をresultの末尾に追加する。

22. resultの末尾に")"を追加する。

23. もしpartのmodifierが"zero-or-more"なら、resultの末尾に"?"を追加する。

resultの末尾に"$"を追加する。

(result, name list)を返す。

アサート：inputはASCII 文字列である。

resultを空文字列とする。

indexを0とする。

indexがinputの長さより小さい間：

1. cをinput[index]とする。

2. indexを1増やす。

3. もしcが以下のいずれかであれば：

   • U+002E (.);
   • U+002B (+);
   • U+002A (*);
   • U+003F (?);
   • U+005E (^);
   • U+0024 ($);
   • U+007B ({);
   • U+007D (});
   • U+0028 (();
   • U+0029 ());
   • U+005B ([);
   • U+005D (]);
   • U+007C (|);
   • U+002F (/); または
   • U+005C (\),

   なら、resultの末尾に"\"を追加する。

4. cをresultの末尾に追加する。

resultを返す。

resultを空文字列とする。

index listをインデックス取得でpart listに対して得る。

各indexをindex listについて：

1. partをpart list[index]とする。

2. previous partをindexが0より大きければpart list[index - 1]、そうでなければnullとする。

3. next partをindexがindex listのサイズ - 1より小さければpart list[index + 1]、そうでなければnullとする。

4. もしpartのtypeが"fixed-text"なら：

   1. もしpartのmodifierが"none"なら：

      1. escape a pattern stringをpartのvalueで実行した結果をresultの末尾に追加する。

      2. 続行。

   2. resultの末尾に"{"を追加する。

   3. escape a pattern stringをpartのvalueで実行した結果をresultの末尾に追加する。

   4. resultの末尾に"}"を追加する。

   5. convert a modifier to a stringをpartのmodifierで実行した結果をresultの末尾に追加する。

   6. 続行。

5. custom nameをpartのname[0]がASCII数字でなければtrue、そうでなければfalseとする。

6. needs groupingを以下のいずれかがtrueならtrue、そうでなければfalseとする：

   • partのsuffixが空文字列でない。
   • partのprefixが空文字列でなく、かつoptionsのprefix code pointでない。

7. 以下がすべてtrueの場合：

   • needs groupingがfalse
   • custom nameがtrue
   • partのtypeが"segment-wildcard"
   • partのmodifierが"none"
   • next partがnullでない
   • next partのprefixが空文字列
   • next partのsuffixが空文字列
   の場合：

   1. もしnext partのtypeが"fixed-text"なら：

      1. is a valid name code pointをnext partのvalueの最初のコードポイントとfalseで実行した結果がtrueなら、needs groupingをtrueに設定する。

   2. そうでない場合：

      1. next partのname[0]がASCII数字なら、needs groupingをtrueに設定する。

8. 以下がすべてtrueの場合：

   • needs groupingがfalse
   • partのprefixが空文字列
   • previous partがnullでない
   • previous partのtypeが"fixed-text"
   • previous partのvalueの最後のコードポイントがoptionsのprefix code point
   の場合、needs groupingをtrueに設定する。

9. アサート：partのnameが空文字列でもnullでもない。

10. もしneeds groupingがtrueなら、resultの末尾に"{"を追加する。

11. escape a pattern stringをpartのprefixで実行した結果をresultの末尾に追加する。

12. もしcustom nameがtrueなら：

    1. resultの末尾に":"を追加する。

    2. partのnameをresultの末尾に追加する。

13. もしpartのtypeが"regexp"なら：

    1. resultの末尾に"("を追加する。

    2. partのvalueをresultの末尾に追加する。

    3. resultの末尾に")"を追加する。

14. そうでなくpartのtypeが"segment-wildcard"かつcustom nameがfalseなら：

    1. resultの末尾に"("を追加する。

    2. セグメントワイルドカード正規表現を生成するをoptionsで実行した結果をresultの末尾に追加する。

    3. resultの末尾に")"を追加する。

15. そうでなくpartのtypeが"full-wildcard"なら：

    1. もしcustom nameがfalseで、以下のいずれかがtrueの場合：

       • previous partがnull
       • previous partのtypeが"fixed-text"
       • previous partのmodifierが"none"でない
       • needs groupingがtrue
       • partのprefixが空文字列でない
       の場合、resultの末尾に"*"を追加する。

    2. そうでない場合：

       1. resultの末尾に"("を追加する。

       2. フルワイルドカード正規表現値をresultの末尾に追加する。

       3. resultの末尾に")"を追加する。

16. 以下がすべてtrueの場合：

    • partのtypeが"segment-wildcard"
    • custom nameがtrue
    • partのsuffixが空文字列でない
    • is a valid name code pointをpartのsuffixの最初のコードポイントとfalseで実行した結果がtrue
    の場合、U+005C (\)をresultの末尾に追加する。

17. escape a pattern stringをpartのsuffixで実行した結果をresultの末尾に追加する。

18. もしneeds groupingがtrueなら、resultの末尾に"}"を追加する。

19. convert a modifier to a string をpartのmodifierで実行した結果をresultの末尾に追加する。

resultを返す。

アサート：inputはASCII 文字列である。

resultを空文字列とする。

indexを0とする。

indexがinputの長さより小さい間：

1. cをinput[index]とする。

2. indexを1増やす。

3. もしcが以下のいずれかであれば：

   • U+002B (+);
   • U+002A (*);
   • U+003F (?);
   • U+003A (:);
   • U+007B ({);
   • U+007D (});
   • U+0028 (();
   • U+0029 ());
   • U+005C (\);

   なら、U+005C (\)をresultの末尾に追加する。

4. cをresultの末尾に追加する。

resultを返す。

もしmodifierが"zero-or-more"なら、"*"を返す。

もしmodifierが"optional"なら、"?"を返す。

もしmodifierが"one-or-more"なら、"+"を返す。

空文字列を返す。

もしvalueが空文字列なら、valueを返す。

parseResultを基本URLパーサーをvalue+"://dummy.invalid/"で実行した結果とする。

ここではstate overrideは使用しません。これはprotocolのsetterにのみ適用される制約を強制するためです。パーサーには通常のエントリポイントを使い、ダミーURLでプロトコルを解析します。

もしparseResultが失敗なら、TypeErrorを投げる。

parseResultのschemeを返す。

もしvalueが空文字列なら、valueを返す。

dummyURLをダミーURL生成で得る。

ユーザー名を設定するをdummyURLとvalueで実行する。

dummyURLのusernameを返す。

もしvalueが空文字列なら、valueを返す。

dummyURLをダミーURL生成で得る。

パスワードを設定するをdummyURLとvalueで実行する。

dummyURLのpasswordを返す。

もしvalueが空文字列なら、valueを返す。

dummyURLをダミーURL生成で得る。

parseResultを基本URLパーサーをvalue、dummyURLをurl、hostname stateをstate overrideで実行した結果とする。

もしparseResultが失敗なら、TypeErrorを投げる。

dummyURLのhostを直列化したもの、またはnullなら空文字列を返す。

resultを空文字列とする。

各code pointをvalueをリストとして解釈したコードポイントについて：

1. 以下がすべてtrueの場合：

   • code pointがASCII16進数字でない
   • code pointがU+005B ([)でない
   • code pointがU+005D (])でない
   • code pointがU+003A (:)でない

   なら、TypeErrorを投げる。

2. ASCII小文字化をcode pointで実行した結果をresultの末尾に追加する。

resultを返す。

もしportValueが空文字列なら、portValueを返す。

dummyURLをダミーURL生成で得る。

もしprotocolValueが与えられていれば、dummyURLのschemeをprotocolValueに設定する。

これはURLレコードのschemeを設定することで、基本URLパーサーがデフォルトポートを認識・正規化できるようにします。

parseResultを基本URLパーサーをportValue、dummyURLをurl、port stateをstate overrideで実行した結果とする。

もしparseResultが失敗なら、TypeErrorを投げる。

dummyURLのportを直列化したもの、またはnullなら空文字列を返す。

もしvalueが空文字列なら、valueを返す。

最初のコードポイントがU+002F (/)ならleading slashをtrue、そうでなければfalseとする。

leading slashがfalseならmodified valueを"/-"、そうでなければ空文字列とする。

modified valueの末尾にvalueを追加する。

dummyURLをダミーURL生成で得る。

空にするでdummyURLのpathを空にする。

基本URLパーサーをmodified value、dummyURLをurl、path start stateをstate overrideで実行する。

resultをURL path シリアライズでdummyURLを実行した結果とする。

leading slashがfalseなら、resultを2文字目以降の部分文字列にする。

resultを返す。

もしvalueが空文字列なら、valueを返す。

dummyURLをダミーURL生成で得る。

dummyURLのpathを空文字列に設定する。

parseResultをURLパースをvalue、dummyURLをurl、opaque path stateをstate overrideで実行した結果とする。

もしparseResultが失敗なら、TypeErrorを投げる。

URL path シリアライズでdummyURLを実行した結果を返す。

もしvalueが空文字列なら、valueを返す。

dummyURLをダミーURL生成で得る。

dummyURLのqueryを空文字列に設定する。

基本URLパーサーをvalue、dummyURLをurl、query stateをstate overrideで実行する。

dummyURLのqueryを返す。

もしvalueが空文字列なら、valueを返す。

dummyURLをダミーURL生成で得る。

dummyURLのfragmentを空文字列に設定する。

基本URLパーサーをvalue、dummyURLをurl、fragment stateをstate overrideで実行する。

dummyURLのfragmentを返す。

resultを新しいURLPatternInitとして生成する。

もしprotocolがnullでなければ、設定 result["protocol"] をprotocolにする。

もしusernameがnullでなければ、設定 result["username"] をusernameにする。

もしpasswordがnullでなければ、設定 result["password"] をpasswordにする。

もしhostnameがnullでなければ、設定 result["hostname"] をhostnameにする。

もしportがnullでなければ、設定 result["port"] をportにする。

もしpathnameがnullでなければ、設定 result["pathname"] をpathnameにする。

もしsearchがnullでなければ、設定 result["search"] をsearchにする。

もしhashがnullでなければ、設定 result["hash"] をhashにする。

baseURLをnullとする。

もしinit["baseURL"] が存在する場合：

1. baseURLを基本URLパーサーでinit["baseURL"]を解析した結果に設定する。

2. もしbaseURLが失敗なら、TypeErrorを投げる。

3. もしinit["protocol"] が存在しなければ、result["protocol"] をbase URL文字列の処理でbaseURLのschemeとtypeにより設定する。

4. もしtypeが"pattern"でなく、initがいずれも含まない場合（protocol、hostname、port、username）、result["username"] をbase URL文字列の処理でbaseURLのusernameとtypeにより設定する。

5. もしtypeが"pattern"でなく、initがいずれも含まない場合（protocol、hostname、port、username、password）、result["password"] をbase URL文字列の処理でbaseURLのpasswordとtypeにより設定する。

6. もしinitがprotocolとhostnameを含まない場合：

   1. baseHostを空文字列とする。

   2. もしbaseURLのhostがnullでなければ、それを直列化してbaseHostに設定する。

   3. result["hostname"] をbase URL文字列の処理でbaseHostとtypeにより設定する。

7. もしinitがprotocol、hostname、portを含まない場合：

   1. もしbaseURLのportがnullであれば、result["port"] を空文字列に設定する。

   2. そうでなければ、result["port"] をbaseURLのportの直列化に設定する。

8. もしinitがprotocol、hostname、port、pathnameを含まない場合、result["pathname"] をbase URL文字列の処理でURL pathシリアライズしたbaseURLとtypeで設定する。

9. もしinitがprotocol、hostname、port、pathname、searchを含まない場合：

   1. baseQueryをbaseURLのqueryに設定する。

   2. もしbaseQueryがnullなら、空文字列にする。

   3. result["search"] をbase URL文字列の処理でbaseQueryとtypeで設定する。

10. もしinitがprotocol、hostname、port、pathname、search、hashを含まない場合：

    1. baseFragmentをbaseURLのfragmentに設定する。

    2. もしbaseFragmentがnullなら、空文字列にする。

    3. result["hash"] をbase URL文字列の処理でbaseFragmentとtypeで設定する。

もしinit["protocol"] が存在するなら、result["protocol"] をprocess protocol for initでinit["protocol"]とtypeにより設定する。

もしinit["username"] が存在するなら、result["username"] をprocess username for initでinit["username"]とtypeにより設定する。

もしinit["password"] が存在するなら、result["password"] をprocess password for initでinit["password"]とtypeにより設定する。

もしinit["hostname"] が存在するなら、result["hostname"] をprocess hostname for initでinit["hostname"]とtypeにより設定する。

resultProtocolStringをresult["protocol"]が存在すればそれに、なければ空文字列とする。

もしinit["port"] が存在するなら、result["port"] をprocess port for initでinit["port"]、resultProtocolString、typeにより設定する。

もしinit["pathname"] が存在する場合：

1. result["pathname"] をinit["pathname"]に設定する。

2. 以下がすべてtrueの場合：

   • baseURLがnullでない
   • baseURLに不透明パスがない
   • is an absolute pathnameをresult["pathname"]とtypeで実行した結果がfalse

   の場合：

   1. baseURLPathをbase URL文字列の処理でURL pathシリアライズしたbaseURLとtypeの結果に設定する。

   2. slash indexをbaseURLPath内の最後のU+002F (/)コードポイントのインデックス（なければnull）とする。

   3. もしslash indexがnullでなければ：

      1. new pathnameをbaseURLPathの0からslash index+1までの部分文字列に設定する。

      2. result["pathname"]の値をnew pathnameの末尾に追加する。

      3. result["pathname"]をnew pathnameに設定する。

3. result["pathname"] をprocess pathname for initでresult["pathname"]、resultProtocolString、typeにより設定する。

もしinit["search"] が存在するなら、result["search"] をprocess search for initでinit["search"]とtypeにより設定する。

もしinit["hash"] が存在するなら、result["hash"] をprocess hash for initでinit["hash"]とtypeにより設定する。

resultを返す。

アサート：inputはnullでない。

もしtypeが"pattern"でなければinputを返す。

パターン文字列をエスケープするをinputで実行した結果を返す。

もしinputが空文字列ならfalseを返す。

もしinput[0]がU+002F (/)ならtrueを返す。

もしtypeが"url"ならfalseを返す。

もしinputのコードポイント長が2未満ならfalseを返す。

もしinput[0]がU+005C (\)でinput[1]がU+002F (/)ならtrueを返す。

もしinput[0]がU+007B ({)でinput[1]がU+002F (/)ならtrueを返す。

falseを返す。

strippedValueを与えられたvalueから末尾のU+003A (:)を1つ削除したものとする。

もしtypeが"pattern"ならstrippedValueを返す。

プロトコルを正規化するをstrippedValueで実行した結果を返す。

もしtypeが"pattern"ならvalueを返す。

ユーザー名を正規化するをvalueで実行した結果を返す。

もしtypeが"pattern"ならvalueを返す。

パスワードを正規化するをvalueで実行した結果を返す。

もしtypeが"pattern"ならvalueを返す。

ホスト名を正規化するをvalueで実行した結果を返す。

もしtypeが"pattern"ならportValueを返す。

ポートを正規化するをportValueとprotocolValueで実行した結果を返す。

もしtypeが"pattern"ならpathnameValueを返す。

もしprotocolValueが特別なスキームまたは空文字列なら、パス名を正規化するをpathnameValueで実行した結果を返す。

protocolValueが空文字列の場合は、constructor dictionaryでprotocolが指定されていないことを示します。通常は空文字列の特別扱いはしませんが、この場合は最も一般的なパス名正規化に合わせ特別なスキームとして扱います。

不透明パス名を正規化するをpathnameValueで実行した結果を返す。

strippedValueを与えられたvalueから先頭のU+003F (?)を1つ削除したものとする。

もしtypeが"pattern"ならstrippedValueを返す。

検索部分を正規化するをstrippedValueで実行した結果を返す。

strippedValueを与えられたvalueから先頭のU+0023 (#)を1つ削除したものとする。

もしtypeが"pattern"ならstrippedValueを返す。

ハッシュを正規化するをstrippedValueで実行した結果を返す。

もしinputの特定型がURLPatternなら：

1. inputを返す。

それ以外の場合：

1. patternをrealmで新しいURLPattern とする。

2. patternの関連URLパターンを、Web IDL値からURLパターンを構築するでinputとbaseURLを渡した結果に設定する。

3. patternを返す。

もしinputの特定型がURLPatternなら：

1. inputの関連URLパターンを返す。

それ以外でinputの特定型がURLPatternInitなら：

1. initをinputのクローンとする。

2. もしinit["baseURL"] が存在しなければ、baseURLの直列化で設定する。

3. URLパターン構築でinit、null、空のmapの結果を返す。

それ以外：

1. アサート：inputの特定型がUSVStringである。

2. URLパターン構築でinput、baseURLの直列化、空のmapの結果を返す。

serializedBaseURLをbaseURLの直列化とする。

もしrawPatternが文字列なら：

1. URLパターン構築でrawPattern、serializedBaseURL、空のmapの結果を返す。

   将来的には非空のオプションを追加する必要が出るかもしれません。

それ以外でrawPatternがmapなら：

1. initを «[ "baseURL" → serializedBaseURL ]»（URLPatternInit型の辞書）とする。

2. 各key→valueをrawPatternについて：

   1. もしkeyがURLPatternInitの識別子でも継承辞書の識別子でもなく、かつvalueが文字列でなく、またそのメンバー型がUSVStringでなければ、nullを返す。

      今後URLPatternInitに他型のメンバーが追加された場合は更新が必要です。
      将来、より緩いモードも有用なら導入される可能性があります。

   2. init[key]をvalueに設定する。

3. URLパターン構築でinit、null、空のmapの結果を返す。

   将来的には非空のオプションを追加する必要が出るかもしれません。

それ以外の場合はnullを返す。

serializedBaseURLをbaseURLの直列化とする。

アサート：rawPatternは文字列である。

URLパターン構築でrawPattern、serializedBaseURL、空のmapの結果を返す。