HTML — フォームコントロール基盤, 他

所与の~form %~form に，`~formに所有され得る要素$ %要素 を `所有させる@ ときは、［ %要素 の`~form所有者$ ~SET %~form ］に設定するモノトスル。 ◎ When a form-associated element is to be associated with a form, its form owner must be set to that form.

【 この訳では、 この用語は利用せず，直に “%要素 の`~form所有者$ ~SET %~form” と記すことにする。 】

`~formに所有され得る要素$ %要素 の `~form所有者を設定し直す@ ときは： ◎ To reset the form owner of a form-associated element element:

1. %要素 の`構文解析器が挿入したか$ ~SET ~F ◎ Unset element's parser inserted flag.

2. （この段は、 この手続きが~DOMの改変に伴って呼出された場合には，改変した後の時点で適用する。）

   %要素 の`~form所有者$ ~SET 次の手続きを走らせた結果：

   1. ~IF［ ~AND↓ ］…

      • %要素 は`接続されて$いる
      • %要素 は`~listされ$る要素である
      • %要素 は `form$a 内容~属性を有する
      • %要素 が属する`~tree$内に次を満たす要素がある ⇒ その`~ID$ ~EQ【！identical】 %要素 の `form$a 内容~属性の値
      • 前項を満たす要素のうち，`~tree順序$で最初のもの %form は `form$e 要素である

      …ならば ⇒ ~RET %form

   2. ~IF ［ %要素 の先祖に `form$e 要素は在る ］ ⇒ ~RET それらのうち %要素 に最も近いもの
   3. ~RET ~NULL
   ◎ If all of the following are true: • element's form owner is not null; • element is not listed or its form content attribute is not present; and • element's form owner is its nearest form element ancestor after the change to the ancestor chain, ◎ then return. ◎ Set element's form owner to null. ◎ If element is listed, has a form content attribute, and is connected, then: • If the first element in element's tree, in tree order, to have an ID that is identical to element's form content attribute's value, is a form element, then associate the element with that form element. ◎ Otherwise, if element has an ancestor form element, then associate element with the nearest such ancestor form element.

%要素 の `動作@ は、 次に従って決定される：

1. ~IF［ %要素 は`提出-~button$である ］~AND［ %要素 は `formaction$a 属性を有する ］ ⇒ ~RET その属性の値
2. %要素 ~SET %要素 の`~form所有者$
3. ~IF［ %要素 ~NEQ ~NULL ］~AND［ %要素 は `action$a 属性を有する ］ ⇒ ~RET その属性の値
4. ~RET 空~文字列

◎ The action of an element is the value of the element's formaction attribute, if the element is a submit button and has such an attribute, or the value of its form owner's action attribute, if it has one, or else the empty string.

1. %~control群 ~LET ［ %~form が`所有して$いる要素のうち`提出-可能$なもの ］たちが成す，`~tree順序$による~list ◎ Let controls be a list of all the submittable elements whose form owner is form, in tree order.
2. %妥当でない~control群 ~LET 空な~list ◎ Let invalid controls be an initially empty list of elements.

3. %~control群 を成す ~EACH( %欄 ) に対し ⇒ ~IF［ %欄 は`拘束~検証の候補$である ］~AND［ %欄 は`自身の拘束を満たして$いない ］ ⇒ %妥当でない~control群 に %欄 を追加する ◎ For each element field in controls, in tree order: • If field is not a candidate for constraint validation, then move on to the next element. • Otherwise, if field satisfies its constraints, then move on to the next element. • Otherwise, add field to invalid controls.

4. ~IF［ %妥当でない~control群 は空である ］ ⇒ ~RET `肯定的^i ◎ If invalid controls is empty, then return a positive result.
5. %未取扱いな妥当でない~control群 ~LET 空な~list ◎ Let unhandled invalid controls be an initially empty list of elements.

6. %妥当でない~control群 を成す ~EACH( %欄 ) に対し： ◎ For each element field in invalid controls, if any, in tree order:

   1. %取消されなかったか ~LET `~eventを発火する$( %欄, `invalid$et ) — 次のように初期化して ⇒ `cancelable$m 属性 ~SET ~T ◎ Let notCanceled be the result of firing an event named invalid at field, with the cancelable attribute initialized to true.
   2. ~IF［ %取消されなかったか ~EQ ~T ］ ⇒ %未取扱いな妥当でない~control群 に %欄 を追加する ◎ If notCanceled is true, then add field to unhandled invalid controls.
7. ~RET `否定的^i ＋ %未取扱いな妥当でない~control群 ◎ Return a negative result with the list of elements in the unhandled invalid controls list.

`拘束を対話的に検証する@ ときは、 所与の ( `form$e 要素 %~form ) に対し，次の手続きを走らすモノトスル： ◎ If a user agent is to interactively validate the constraints of form element form, then the user agent must run the following steps:

1. ~IF［ `拘束を静的に検証する$( %~form ) ~EQ `肯定的^i ］ ⇒ ~RET `肯定的^i ◎ Statically validate the constraints of form, and let unhandled invalid controls be the list of elements returned if the result was negative. ◎ If the result was positive, then return that result.

2. ［ 前~段の検証-結果に伴われる %未取扱いな妥当でない~control群 ］を成す 1 個~以上の要素に対する拘束に関する問題を利用者に報告する — ~UAは、 次をしてもヨイ： ◎ Report the problems with the constraints of at least one of the elements given in unhandled invalid controls to the user.

   • `~objを~focusする$( ~list内のいずれかの要素 ) — 加えて、 文書の~scrolling位置を変更するか，要素に利用者の注目を引かせる他の何らかの動作を遂行する。 ◎ User agents may focus one of those elements in the process, by running the focusing steps for that element, and may change the scrolling position of the document, or perform some other action that brings the element to the user's attention.＼

     `~formに所有され得る~custom要素$に対しては、 これらの動作の目的においては，`検証~anchor$cFを利用するベキである。 ◎ For elements that are form-associated custom elements, user agents should use their validation anchor instead, for the purposes of these actions.

   • 複数の拘束~違反を報告する。 ◎ User agents may report more than one constraint violation.
   • 適切になるなら，関係する拘束~違反~報告たちを合体する （例： `~radio~button~group$内の複数の~radio~buttonが必須とされている場合、 報告する必要がある~errorは 1 個だけになる）。 ◎ User agents may coalesce related constraint violation reports if appropriate (e.g. if multiple radio buttons in a group are marked as required, only one error need be reported).
   • いずれかの~controlが`具現化されて$いない場合 （例： `hidden$a 属性を有するなど）、 ~script~errorを報告する。 ◎ If one of the controls is not being rendered (e.g. it has the hidden attribute set) then user agents may report a script error.
3. ~RET `否定的^i ◎ Return a negative result.

`willValidate@m 取得子~手続きは ⇒ ~RET ~IS［ コレは`拘束~検証の候補$である ］ ◎ The willValidate attribute's getter must return true, if this element is a candidate for constraint validation, and false otherwise (i.e., false if any conditions are barring it from constraint validation).

`ElementInternals$I の `willValidate@eI 取得子~手続きは：

1. %要素 ~LET コレの`~target要素$iN
2. ~IF［ %要素 は`~formに所有され得る~custom要素$でない ］ ⇒ ~THROW `NotSupportedError$E
3. ~RET ~IS［ %要素 は`拘束~検証の候補$である ］

◎ The willValidate attribute of ElementInternals interface, on getting, must throw a "NotSupportedError" DOMException if the target element is not a form-associated custom element. Otherwise, it must return true if the target element is a candidate for constraint validation, and false otherwise.

`setCustomValidity(error)@m ~method~手続きは ⇒ コレの`~custom妥当性~error~message$ ~SET %error ◎ The setCustomValidity(error) method, when invoked, must set the custom validity error message to error.

<label>Feeling: <input name=f type="text" oninput="check(this)"></label>
<script>
 function check(%input) {
   if (%input.value == "good" ||
       %input.value == "fine" ||
       %input.value == "tired") {
     %input.setCustomValidity('"' + %input.value + '" is not a feeling.');
   } else {
     /* 
%input は申し分ない — ~error~messageを再設定する
◎
input is fine -- reset the error message
 */
     %input.setCustomValidity('');
   }
 }
</script>

`validity@m 取得子~手続きは ⇒ ~RET コレの`妥当性~状態$を表現する，`~live$な `ValidityState$I ~obj ◎ The validity attribute's getter must return a ValidityState object that represents the validity states of this element. This object is live.

`ElementInternals$I の `validity@eI 取得子~手続きは：

1. %要素 ~LET コレの`~target要素$iN
2. ~IF［ %要素 は`~formに所有され得る~custom要素$でない ］ ⇒ ~THROW `NotSupportedError$E
3. ~RET %要素 の`妥当性~状態$を表現する，`~live$な `ValidityState$I ~obj

◎ The validity attribute of ElementInternals interface, on getting, must throw a "NotSupportedError" DOMException if the target element is not a form-associated custom element. Otherwise, it must return a ValidityState object that represents the validity states of the target element. This object is live.

[Exposed=Window]
interface `ValidityState@I {
  readonly attribute boolean `valueMissing$m;
  readonly attribute boolean `typeMismatch$m;
  readonly attribute boolean `patternMismatch$m;
  readonly attribute boolean `tooLong$m;
  readonly attribute boolean `tooShort$m;
  readonly attribute boolean `rangeUnderflow$m;
  readonly attribute boolean `rangeOverflow$m;
  readonly attribute boolean `stepMismatch$m;
  readonly attribute boolean `badInput$m;
  readonly attribute boolean `customError$m;
  readonly attribute boolean `valid$m;
};

`ValidityState$I の次に挙げる属性の取得子~手続きは、 ~IS［ 対応する条件が満たされる ］を返す： ◎ A ValidityState object has the following attributes. On getting, they must return true if the corresponding condition given in the following list is true, and false otherwise.

`valueMissing@m

~controlには`欠落である難あり$ ◎ The control is suffering from being missing.

`typeMismatch@m

~controlには`型~不一致の難あり$ ◎ The control is suffering from a type mismatch.

`patternMismatch@m

~controlには`~pattern不一致の難あり$ ◎ The control is suffering from a pattern mismatch.

`tooLong@m

~controlには`長過ぎる難あり$ ◎ The control is suffering from being too long.

`tooShort@m

~controlには`短か過ぎる難あり$ ◎ The control is suffering from being too short.

`rangeUnderflow@m

~controlには`~underflowの難あり$ ◎ The control is suffering from an underflow.

`rangeOverflow@m

~controlには`~overflowの難あり$ ◎ The control is suffering from an overflow.

`stepMismatch@m

~controlには`~step不一致の難あり$ ◎ The control is suffering from a step mismatch.

`badInput@m

~controlには`不良~入力の難あり$ ◎ The control is suffering from bad input.

`customError@m

~controlには`~custom~errorの難あり$ ◎ The control is suffering from a custom error.

`valid@m

上に挙げた どの条件も満たされない ◎ None of the other conditions are true.

`妥当性を検査する@ 手続きは、 所与の ( 要素 %要素 ) に対し，次を走らす： ◎ The check validity steps for an element element are:

1. ~IF［ %要素 は`拘束~検証の候補$である ］~AND［ %要素 は`自身の拘束を満たして$いない ］： ◎ If element is a candidate for constraint validation and does not satisfy its constraints, then:

   1. `~eventを発火する$( %要素, `invalid$et ) — 次のように初期化して ⇒ `cancelable$m 属性 ~SET ~T（取消しても効果はないが） ◎ Fire an event named invalid at element, with the cancelable attribute initialized to true (though canceling has no effect).
   2. ~RET ~F ◎ Return false.
2. ~RET ~T ◎ Return true.

`checkValidity()@m ~method~手続きは ⇒ ~RET `妥当性を検査する$( コレ ) ◎ The checkValidity() method, when invoked, must run the check validity steps on this element.

`ElementInternals$I の `checkValidity()@eI ~method~手続きは： ◎ The checkValidity() method of the ElementInternals interface must run these steps:

1. %要素 ~LET コレの`~target要素$iN ◎ Let element be this ElementInternals's target element.
2. ~IF［ %要素 は`~formに所有され得る~custom要素$でない ］ ⇒ ~THROW `NotSupportedError$E ◎ If element is not a form-associated custom element, then throw a "NotSupportedError" DOMException.
3. ~RET `妥当性を検査する$( %要素 ) ◎ Run the check validity steps on element.

`妥当性を報告する@ 手続きは、 所与の ( 要素 %要素 ) に対し，次を走らす： ◎ The report validity steps for an element element are:

1. ~IF［ %要素 は`拘束~検証の候補$である ］~AND［ %要素 は`自身の拘束を満たして$いない ］： ◎ If element is a candidate for constraint validation and does not satisfy its constraints, then:

   1. %報告するか ~LET `~eventを発火する$( %要素, `invalid$et ) — 次のように初期化して ⇒ `cancelable$m 属性 ~SET ~T ◎ Let report be the result of firing an event named invalid at element, with the cancelable attribute initialized to true.

   2. ~IF［ %報告するか ~EQ ~T ］ ⇒ %要素 の拘束についての問題を 利用者に報告する — その際には、 ~UAは 次をしてもヨイ： ◎ If report is true, then report the problems with the constraints of this element to the user. When reporting the problem with the constraints to the user, the user agent＼

      • `~objを~focusする$( %要素 ) — 加えて、 文書の~scrolling位置を変更するか，要素に利用者の注目を引かせる他の何らかの動作を遂行する ◎ may run the focusing steps for element, and may change the scrolling position of the document, or perform some other action that brings element to the user's attention.＼
      • %要素 が複数の問題に難ありならば，それら複数の拘束~違反を報告する ◎ User agents may report more than one constraint violation, if element suffers from multiple problems at once.＼
      • %要素 が`具現化されて$いない場合、 利用者に通知する代わりに，`走っている~script$に対し`~errorを報告する$ ◎ If element is not being rendered, then the user agent may, instead of notifying the user, report the error for the running script.
   3. ~RET ~F ◎ Return false.
2. ~RET ~T ◎ Return true.

`reportValidity()@m ~method~手続きは ⇒ ~RET `妥当性を検査する$( コレ ) ◎ The reportValidity() method, when invoked, must run the report validity steps on this element.

`ElementInternals$I の `reportValidity()@eI ~method~手続きは： ◎ The reportValidity() method of the ElementInternals interface must run these steps:

1. %要素 ~LET コレの`~target要素$iN ◎ Let element be this ElementInternals's target element.
2. ~IF［ %要素 は`~formに所有され得る~custom要素$でない ］ ⇒ ~THROW `NotSupportedError$E ◎ If element is not a form-associated custom element, then throw a "NotSupportedError" DOMException.
3. `妥当性を報告する$( %要素 ) ◎ Run the report validity steps on element.

`validationMessage@m 取得子~手続きは： ◎ The validationMessage attribute's getter must run these steps:

1. ~IF［ コレは`拘束~検証の候補$でない ］~OR［ コレは`自身の拘束を満たして$いる ］ ⇒ ~RET 空~文字列 ◎ If this element is not a candidate for constraint validation or if this element satisfies its constraints, then return the empty string.

2. ~RET 次の要件を満たすような~message： ◎ Return a suitably localized message that＼

   • コレは、 妥当性の拘束に問題がある，唯一の~form~controlである場合、 利用者に示すに相応しく地域化された~message。 ◎ the user agent would show the user if this were the only form control with a validity constraint problem.＼
   • ~UAが~textな~messageを実際に示さない場合（例えば，代わりに~graphical-cueを示す場合）、 ~controlが満たさない（ 1 個~以上の）妥当性~拘束を表出する, 相応しく地域化された~message。 ◎ If the user agent would not actually show a textual message in such a situation (e.g., it would show a graphical cue instead), then return a suitably localized message that expresses (one or more of) the validity constraint(s) that the control does not satisfy.＼
   • ［ コレは`拘束~検証の候補$である ］~AND［ `~custom~errorの難あり$ ］の場合、 結果の~message内には`~custom妥当性~error~message$が在るべきである。 【この場合の結果に，他の情報も含まれ得るのかどうかは、原文の記述からは，はっきりしない。】 ◎ If the element is a candidate for constraint validation and is suffering from a custom error, then the custom validity error message should be present in the return value.

`form$e 要素 %~form に`提出-~button$が無い場合、 暗黙的な提出の仕組みは，次の手続きを遂行するモノトスル：

1. ~IF［ ~AND↓ を満たす要素（ “暗黙的な提出を阻む欄” ）は無い ］…

   • 要素の`~form所有者$ ~EQ %~form
   • ［ 要素は `input$e 要素である ］~AND［ 要素の `type$a 属性の状態 ~IN { `Text$st, `Text$st, `Tel$st, `Url$st, `Email$st, `Password$st, `Date$st, `Month$st, `Week$st, `Time$st, `Datetime-local$st, `Number$st } ］

   …ならば ⇒ `~formを提出する$( %~form, %~form, `作動化$i )

◎ If the form has no submit button, then the implicit submission mechanism must perform the following steps: • If the form has more than one field that blocks implicit submission, then return. • Submit the form element from the form element itself with userInvolvement set to "activation". • For the purpose of the previous paragraph, an element is a field that blocks implicit submission of a form element if it is an input element whose form owner is that form element and whose type attribute is in one of the following states: Text, Search, Telephone, URL, Email, Password, Date, Month, Week, Time, Local Date and Time, Number

`~formを提出する@ ときは、 所与の ( `form$e 要素 %~form, %提出元, `~naviに対する利用者-関与i$ %利用者-関与i （省略時は `なし$i" ） ) に対し： ◎ To submit a form element form from an element submitter (typically a button), given an optional boolean submitted from submit() method (default false) and an optional user navigation involvement userInvolvement (default "none"):

【 原文の~algoは［ “`submitted from submit() method^en” と称される真偽値~引数 ］もとるが、 この訳では %提出元 に統合する。 】

1. ~Assert： %提出元 は次に挙げるいずれかである ⇒ ε ／ 要素（概して~button）／ `submit() ~method^i ◎ ↑
2. `submit() から呼出されたか^V ~LET ~IS［ %提出元 ~EQ `submit() ~method^i ］ ◎ ↑
3. ~IF［ %提出元 ~IN { ε, `submit() ~method^i } ］ ⇒ %提出元 ~SET %~form ◎ ↑
4. ~IF［ %~form は`~navigateできない$ ］ ⇒ ~RET ◎ If form cannot navigate, then return.
5. ~IF［ %~form の`~entry~list構築-中か$ ~EQ ~T ］ ⇒ ~RET ◎ If form's constructing entry list is true, then return.
6. %~form文書 ~LET %~form の`~node文書$ ◎ Let form document be form's node document.
7. ~IF［ `閲覧~文脈~sandbox化( ~form )~flag$ ~IN %~form文書 の`作動中な~sandbox法~flag集合$ ］ ⇒ ~RET ◎ If form document's active sandboxing flag set has its sandboxed forms browsing context flag set, then return.

8. ~IF［ `submit() から呼出されたか^V ~EQ ~F ］： ◎ If submitted from submit() method is false, then:

   1. ~IF［ %~form の`提出~event発火-中か$ ~EQ ~T ］ ⇒ ~RET ◎ If form's firing submission events is true, then return.
   2. %~form の`提出~event発火-中か$ ~SET ~T ◎ Set form's firing submission events to true.
   3. %~form が`所有して$いる ~EACH( `提出-可能$な要素 %欄 ) に対し ⇒ %欄 の`利用者~妥当性$ ~SET ~T ◎ For each element field in the list of submittable elements whose form owner is form, set field's user validity to true.

   4. ~IF［ %提出元 の`検証なし状態$ ~EQ ~F ］： ◎ If the submitter element's no-validate state is false, then＼

      1. %結果 ~LET `拘束を対話的に検証する$( %~form ) ◎ interactively validate the constraints of form and examine the result.＼

      2. ~IF［ %結果 ~EQ `否定的^i （すなわち，妥当でない欄があり、 そのことは，およそ利用者に伝わっている） ］： ◎ If the result is negative (i.e., the constraint validation concluded that there were invalid fields and probably informed the user of this), then:

         1. %~form の`提出~event発火-中か$ ~SET ~F ◎ Set form's firing submission events to false.
         2. ~RET ◎ Return.
   5. %提出元~button ~LET ［ %提出元 ~EQ %~form ならば ~NULL ／ ~ELSE_ %提出元 ］ ◎ Let submitterButton be null if submitter is form. Otherwise, let submitterButton be submitter.
   6. %継続するか ~LET `~eventを発火する$( %~form, `submit$et, `SubmitEvent$I ) — 次のように初期化して ⇒＃ `submitter$m 属性 ~SET %提出元~button, `bubbles$m 属性 ~SET ~T, `cancelable$m 属性 ~SET ~T ◎ Let shouldContinue be the result of firing an event named submit at form using SubmitEvent, with the submitter attribute initialized to submitterButton, the bubbles attribute initialized to true, and the cancelable attribute initialized to true.
   7. %~form の`提出~event発火-中か$ ~SET ~F ◎ Set form's firing submission events to false.
   8. ~IF［ %継続するか ~EQ ~F ］ ⇒ ~RET ◎ If shouldContinue is false, then return.

   9. ~IF［ %~form は`~navigateできない$ ］ ⇒ ~RET ◎ If form cannot navigate, then return.

      注記： `~navigateできない$かどうか再び調べる — `submit$et ~eventを配送した結果，変化することもあるので。 ◎ Cannot navigate is run again as dispatching the submit event could have changed the outcome.

9. %符号化法 ~LET %~form の現在の`符号化法$form ◎ Let encoding be the result of picking an encoding for the form.
10. %~entry~list ~LET `~entry~listを構築する$( %~form, %提出元, %符号化法＊ ) ◎ Let entry list be the result of constructing the entry list with form, submitter, and encoding.
11. ~Assert： %~entry~list ~NEQ ~NULL ◎ Assert: entry list is not null.

12. ~IF［ %~form は`~navigateできない$ ］ ⇒ ~RET ◎ If form cannot navigate, then return.

    注記： `~navigateできない$かどうか再び調べる — `~entry~listを構築する$ときに `formdata$et ~eventを配送した結果，変化することもあるので。 ◎ Cannot navigate is run again as dispatching the formdata event in constructing the entry list could have changed the outcome.

13. %~method ~LET %提出元 の`~method$ ◎ Let method be the submitter element's method.

14. ~IF［ %~method ~EQ `dialog$st ］： ◎ If method is dialog, then:

    1. ~IF［ %~form の先祖に `dialog$e 要素は無い ］ ⇒ ~RET ◎ If form does not have an ancestor dialog element, then return.
    2. %~subject ~LET %~form に最も近い先祖 `dialog$e 要素 ◎ Let subject be form's nearest ancestor dialog element.
    3. %結果 ~LET ~NULL ◎ Let result be null.

    4. ~IF［ %提出元 は `input$e 要素である ］~AND［ その `type$a 属性は `Image$st 状態にある ］： ◎ If submitter is an input element whose type attribute is in the Image Button state, then:

       1. ( %x, %y ) ~LET `選定された座標$ ◎ Let (x, y) be the selected coordinate.
       2. %結果 ~SET 次を順に連結した結果 ⇒＃ %x, `,^l, %y ◎ Set result to the concatenation of x, ",", and y.
    5. ~ELIF［ %提出元 は`値$feを有する ］ ⇒ %結果 ~SET %提出元 の`値$fe ◎ Otherwise, if submitter has a value, then set result to that value.
    6. `~dialogを閉じる$( %~subject, %結果 ) ◎ Close the dialog subject with result.
    7. ~RET ◎ Return.
15. %動作~URL ~LET %提出元 の`動作$ ◎ Let action be the submitter element's action.
16. ~IF［ %動作~URL ~EQ 空~文字列 ］ ⇒ %動作~URL ~LET %~form文書 の`~URL$doc 【！この場合も~URLを符号化法の下で相対的に構文解析するのか？】 ◎ If action is the empty string, let action be the URL of the form document.
17. %構文解析した動作 ~LET `~URLを符号化法の下で相対的に構文解析する$( %動作~URL, %提出元 の`~node文書$ ) ◎ Let parsed action be the result of encoding-parsing a URL given action, relative to submitter's node document.
18. ~IF［ %構文解析した動作 ~EQ `失敗^i ］ ⇒ ~RET ◎ If parsed action is failure, then return.
19. %~scheme ~LET %構文解析した動作 の`~scheme$url ◎ Let scheme be the scheme of parsed action.
20. %~enctype ~LET %提出元 の`~enctype$ ◎ Let enctype be the submitter element's enctype.
21. %~form~target ~LET ~NULL ◎ Let formTarget be null.
22. ~IF［ %提出元 は`提出-~button$である ］~AND［ %提出元 は `formtarget$a 属性を有する ］ ⇒ %~form~target ~SET %提出元 の `formtarget$a 属性の値 ◎ If the submitter element is a submit button and it has a formtarget attribute, then set formTarget to the formtarget attribute value.
23. %~target ~LET `要素の~targetを取得する$( %~form, %~form~target ) ◎ Let target be the result of getting an element's target given submitter's form owner and formTarget.
24. %~noopener ~LET `要素の~noopenerを取得する$( %~form, %~target ) ◎ Let noopener be the result of getting an element's noopener with form and target.
25. ( %~target~navigable, — ) ~LET `~navigableを選ぶ規則$を適用する( %~target, %~form の`~node~navigable$, %~noopener ) ◎ Let targetNavigable be the first return value of applying the rules for choosing a navigable given target, form's node navigable, and noopener.
26. ~IF［ %~target~navigable ~EQ ~NULL ］ ⇒ ~RET ◎ If targetNavigable is null, then return.

27. %履歴~取扱い ~LET ［ ~AND↓ が満たされるならば `replace$hH ／ ~ELSE_ `auto$hH ］：

    • %~form文書 ~EQ %~target~navigable にて`作動中な文書$nav
    • %~form文書 はまだ`完全に読込まれ$ていない
    ◎ Let historyHandling be "auto". ◎ If form document equals targetNavigable's active document, and form document has not yet completely loaded, then set historyHandling to "replace".

28. ( %~scheme, %~method ) に応じて，下の表tの 1 列目の %~scheme に該当する行の %~method に該当する列に示される手続きを遂行する ◎ Select the appropriate row in the table below based on scheme as given by the first cell of each row. Then, select the appropriate cell on that row based on method as given in the first cell of each column. Then, jump to the steps named in that cell and defined below the table.

    %~scheme	%~method ~EQ `GET$st	%~method ~EQ `POST$st
    `http^l	`変異-動作~URL$ ◎ Mutate action URL	`~entity本体として提出する$ ◎ Submit as entity body
    `https^l	`変異-動作~URL$ ◎ Mutate action URL	`~entity本体として提出する$ ◎ Submit as entity body
    `ftp^l 【`課題 #5375＠~HTMLissue/5375$】	`~Get動作~URL$ ◎ Get action URL	`~Get動作~URL$ ◎ Get action URL
    `javascript^l	`~Get動作~URL$ ◎ Get action URL	`~Get動作~URL$ ◎ Get action URL
    `data^l	`変異-動作~URL$ ◎ Mutate action URL	`~Get動作~URL$ ◎ Get action URL
    `mailto^l	`~header列を伴う~Mail$ ◎ Mail with headers	`本体として~Mailする$ ◎ Mail as body
    その他	この仕様では定義されない — ~UAは、 これを定義する別の仕様がない限り， この仕様にて 類似な~schemeに対し定義される方式と相似的に動作するべきである。 ◎ If scheme is not one of those listed in this table, then the behavior is not defined by this specification. User agents should, in the absence of another specification defining this, act in a manner analogous to that defined in this specification for similar schemes.

以下に述べる挙動において， `~navigateを計画する@ よう要求されたときは、 所与の ( `~URL$ %~URL, ［ `~POST資源$／~NULL ］ %~POST資源 （省略時は ~NULL ） ) に対し，次の手続きを走らすモノトスル： ◎ In the behaviors described below, when the user agent is required to plan to navigate to a URL url given an optional POST resource-or-null postResource (default null), it must run the following steps:

1. %~referrer施策 ~LET 空~文字列 ◎ Let referrerPolicy be the empty string.
2. ~IF［ %~form の`~link型$に `noreferrer$v ~keywordが含まれている ］ ⇒ %~referrer施策 ~SET `no-referrer^l ◎ If the form element's link types include the noreferrer keyword, then set referrerPolicy to "no-referrer".
3. ~IF［ %~form に`計画された~navi$ ~NEQ ~NULL ］ ⇒ それを`~task~queue$から除去する ◎ If the form has a non-null planned navigation, remove it from its task queue.

4. %~form に`計画された~navi$ ~SET `要素~taskを~queueする$( `~DOM操作~task~source$, %~form, 次の手続き ) ◎ Queue an element task on the DOM manipulation task source given the form element and the following steps:

   手続きは：

   1. %~form に`計画された~navi$ ~SET ~NULL
   2. `~navigableを~URLへ~navigateする$( %~target~navigable, %~URL, %~form の`~node文書$ ) — 次も与える下で ⇒＃ `履歴~取扱い^i ~SET %履歴~取扱い, `利用者-関与i^i ~SET %利用者-関与i, `~referrer施策^i ~SET %~referrer施策, `文書~資源^i ~SET %~POST資源, `~form~data~entry~list^i ~SET %~entry~list

   ◎ Set the form's planned navigation to null. ◎ Navigate targetNavigable to url using the form element's node document, with historyHandling set to historyHandling, userInvolvement set to userInvolvement, referrerPolicy set to referrerPolicy, documentResource set to postResource, and formDataEntryList set to entry list. ◎ ↑ Set the form's planned navigation to the just-queued task.

   【 %~target~navigable, %履歴~取扱い, %利用者-関与i, %~entry~list は、 この手続きを（間接的に）呼出した`~formを提出する$~algo［ の中で設定された／に渡された ］それらを指す。 】

`~formを提出する$~algoの文脈における各種~挙動は、 次に従うとする： ◎ The behaviors are as follows:

`変異-動作~URL@ ◎ Mutate action URL

1. %~pair群 ~LET `名値~pair~listに変換する$( %~entry~list ) ◎ Let pairs be the result of converting to a list of name-value pairs with entry list.
2. %構文解析した動作 の`~query$url ~SET `~form_urlencoded直列化器$( %~pair群, %符号化法 ) ◎ Let query be the result of running the application/x-www-form-urlencoded serializer with pairs and encoding. ◎ Set parsed action's query component to query.
3. `~navigateを計画する$( %構文解析した動作 ) ◎ Plan to navigate to parsed action.

`~entity本体として提出する@ ◎ Submit as entity body

1. ~Assert： %~method ~EQ `POST$st 【この手続きを（間接的に）呼出した`~formを提出する$~algoの中で設定された %~method 】 ◎ Assert: method is POST.
2. ( %本体, %~MIME型 ) ~LET ( ε, ε )

3. %~enctype に応じて： ◎ Switch on enctype:

   `application/x-www-form-urlencoded$v

   1. %~pair群 ~LET `名値~pair~listに変換する$( %~entry~list ) ◎ Let pairs be the result of converting to a list of name-value pairs with entry list.
   2. %本体 ~SET `~form_urlencoded直列化器$( %~pair群, %符号化法 ) ◎ Let body be the result of running the application/x-www-form-urlencoded serializer with pairs and encoding.
   3. %本体 ~SET `~UTF-8符号化する$( %本体 ) ◎ Set body to the result of encoding body.
   4. %~MIME型 ~SET ``^`application/x-www-form-urlencoded$mt``^ ◎ Let mimeType be `application/x-www-form-urlencoded`.

   `multipart/form-data$v

   1. %本体 ~SET `~mp_form_dataとして符号化する$( %~pair群, %符号化法 ) ◎ Let body be the result of running the multipart/form-data encoding algorithm with entry list and encoding.
   2. %境界~文字列 ~LET 前~段を走らすときに生成した`~mp_form_data境界~文字列$ ◎ ↓
   3. %~MIME型 ~SET 次を順に連結した結果 ⇒＃ `multipart/form-data; boundary=^bl, `同型に符号化する$( %境界~文字列 ) ◎ Let mimeType be the isomorphic encoding of the concatenation of "multipart/form-data; boundary=" and the multipart/form-data boundary string generated by the multipart/form-data encoding algorithm.

   `text/plain$v

   1. %~pair群 ~LET `名値~pair~listに変換する$( %~entry~list ) ◎ Let pairs be the result of converting to a list of name-value pairs with entry list.
   2. %本体 ~SET `~text_plainとして符号化する$( %~pair群 ) ◎ Let body be the result of running the text/plain encoding algorithm with pairs.
   3. %本体 ~SET `符号化法を利用して符号化する$( %本体, %符号化法 ) ◎ Set body to the result of encoding body using encoding.
   4. %~MIME型 ~SET `text/plain^bl ◎ Let mimeType be `text/plain`.

4. %~POST資源 ~LET 新たな`~POST資源$ — その ⇒＃ `要請~本体$pR ~SET %本体, `要請~内容~型$pR ~SET %~MIME型 ◎ Plan to navigate to a new request whose URL is parsed action, method is method, header list is « (`Content-Type`, mimeType) », and body is body.
5. `~navigateを計画する$( %構文解析した動作, %~POST資源 ) ◎ ↑

`~Get動作~URL@ ◎ Get action URL

`~navigateを計画する$( %構文解析した動作 ) ◎ Plan to navigate to parsed action.

注記： %~entry~list は破棄される。 ◎ entry list is discarded.

`~header列を伴う~Mail@ ◎ Mail with headers

1. %~pair群 ~LET `名値~pair~listに変換する$( %~entry~list ) ◎ Let pairs be the result of converting to a list of name-value pairs with entry list.
2. %~header列 ~LET `~form_urlencoded直列化器$( %~pair群, %符号化法 ) ◎ Let headers be the result of running the application/x-www-form-urlencoded serializer with pairs and encoding.
3. %~header列 内の各 文字 `002B^U `+^smb を 文字列 `%20^l に置換する ◎ Replace occurrences of U+002B PLUS SIGN characters (+) in headers with the string "%20".
4. %構文解析した動作 の`~query$url ~SET %~header列 ◎ Set parsed action's query to headers.
5. `~navigateを計画する$( %構文解析した動作 ) ◎ Plan to navigate to parsed action.

`本体として~Mailする@ ◎ Mail as body

1. %本体 ~LET ε ◎ ↓
2. %~pair群 ~LET `名値~pair~listに変換する$( %~entry~list ) ◎ Let pairs be the result of converting to a list of name-value pairs with entry list.

3. ~IF［ %~enctype ~EQ `text/plain$v ］： ◎ Switch on enctype: • text/plain

   1. %本体 ~SET `~text_plainとして符号化する$( %~pair群 ) ◎ Let body be the result of running the text/plain encoding algorithm with pairs.
   2. %本体 ~SET `文字列を~UTF-8~percent-符号化する$( %本体, `~path~percent-符号化-集合$【！既定の符号化-集合】 ) `URL$r ◎ Set body to the result of running UTF-8 percent-encode on body using the default encode set. [URL]
4. ~ELSE ⇒ %本体 ~SET `~form_urlencoded直列化器$( %~pair群, %符号化法 ) ◎ Otherwise • Let body be the result of running the application/x-www-form-urlencoded serializer with pairs and encoding.
5. %~query ~LET %構文解析した動作 の`~query$url
6. ~IF［ %~query ~EQ ~NULL ］ ⇒ %~query ~SET 空~文字列 ◎ If parsed action's query is null, then set it to the empty string.
7. ~IF［ %~query ~NEQ 空~文字列 ］ ⇒ %~query に 1 個の文字 `0026^U `&^smb を付加する ◎ If parsed action's query is not the empty string, then append a single U+0026 AMPERSAND character (&) to it.
8. %~query に `body=^l を付加する ◎ Append "body=" to parsed action's query.
9. %~query に %本体 を付加する ◎ Append body to parsed action's query.
10. %構文解析した動作 の`~query$url ~SET %~query
11. `~navigateを計画する$( %構文解析した動作 ) ◎ Plan to navigate to parsed action.

`~entryを作成する@ ときは 所与の ( 文字列 %名, 文字列または `Blob$I ~obj %値, `~scalar値~文字列$ %~filename （省略時は ε ） ) に対し： ◎ To create an entry given a string name, a string or Blob object value, and optionally a scalar value string filename:

1. %名 ~SET %名 を`~scalar値~文字列に変換する$ ◎ Set name to the result of converting name into a scalar value string.
2. ~IF［ %値 は文字列である ］ ⇒ %値 ~SET %値 を`~scalar値~文字列に変換する$ ◎ If value is a string, then set value to the result of converting value into a scalar value string.

3. ~ELIF［ %値 は `File$I ~objでない ］~OR［ %~filename ~NEQ ε ］：

   1. %値 ~SET %値 と同じ~byte列を表現する新たな `File$I ~obj
   2. %値 の `~nameF$m 属性~値 ~SET ［ %~filename ~NEQ ε ならば %~filename ／ ~ELSE_ `blob^l ］

   ◎ Otherwise: • If value is not a File object, then set value to a new File object, representing the same bytes, whose name attribute value is "blob". • If filename is given, then set value to a new File object, representing the same bytes, whose name attribute is filename.

   注記： この演算は、［ %~filename ~NEQ ε の場合 ／ 渡された `Blob$I は `File$I ~objでない場合 ］でも，新たな `File$I ~objを作成することになる。 それらの事例では、 渡された `Blob$I ~objの識別情報は保たれない。 ◎ These operations will create a new File object if either filename is given or the passed Blob is not a File object. In those cases, the identity of the passed Blob object is not kept.

4. ~RET 次を伴う新たな`~entry$fD ⇒＃ `名$fD ~SET %名, `値$fD ~SET %値 ◎ Return an entry whose name is name and whose value is value.

`~entry~listを構築する@ ときは、 所与の ⇒＃ %~form, %提出元 （省略時は ~NULL ）, %符号化法 （省略時は `~UTF-8$ ） ◎終 に対し，次を走らす： ◎ To construct the entry list given a form, an optional submitter (default null), and an optional encoding (default UTF-8):

1. ~IF［ %~form の`~entry~list構築-中か$ ~EQ ~T ］ ⇒ ~RET ~NULL ◎ If form's constructing entry list is true, then return null.
2. %~form の`~entry~list構築-中か$ ~SET ~T ◎ Set form's constructing entry list to true.
3. %~control群 ~LET ［ %~form が`所有して$いる`提出-可能$な要素 ］すべてからなる，`~tree順序$による~list ◎ Let controls be a list of all the submittable elements whose form owner is form, in tree order.
4. %~entry~list ~LET 新たな空な`~entry~list$ ◎ Let entry list be a new empty entry list.

5. %~control群 を成す ~EACH( %欄 ) に対し： ◎ For each element field in controls, in tree order:

   1. %状態 ~LET ［ %欄 は `input$e 要素であるならば その `type$a 属性の状態 ／ ~ELSE_ `他の要素^i ］ ◎ ↓

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

      • %欄 の先祖に `datalist$e 要素がある ◎ field has a datalist element ancestor;
      • %欄 は`不能化されて$feいる ◎ field is disabled;
      • ［ %欄 は`~button$である ］~AND［ %欄 ~NEQ %提出元 ］ ◎ field is a button but it is not submitter;
      • ［ %状態 ~IN { `Checkbox$st, `Radio$st } ］~AND［ %欄 の`~check有りか$fe ~EQ ~F ］ ◎ field is an input element whose type attribute is in the Checkbox state and whose checkedness is false; or ◎ field is an input element whose type attribute is in the Radio Button state and whose checkedness is false,

      …ならば ⇒ ~CONTINUE ◎ then continue.

   3. %名 ~LET ［ %欄 は `name$a 属性を有するならば その値 ／ ~ELSE_ 空~文字列 ］ ◎ ↓

   4. ~IF［ %状態 ~EQ `Image$st ］： ◎ If the field element is an input element whose type attribute is in the Image Button state, then:

      1. ~IF［ %欄 ~NEQ %提出元 ］ ⇒ ~CONTINUE ◎ If the field element is not submitter, then continue.
      2. ~IF［ %名 ~NEQ 空~文字列 ］ ⇒ %名 の末尾に `002E^U `.^smb を付加する ◎ If the field element has a name attribute specified and its value is not the empty string, let name be that value followed by U+002E (.). Otherwise, let name be the empty string.
      3. %x名 ~LET ［ %名, `0078^U `x^smb ］を順に連結した結果 ◎ Let namex be the concatenation of name and U+0078 (x).
      4. %y名 ~LET ［ %名, `0079^U `y^smb ］を順に連結した結果 ◎ Let namey be the concatenation of name and U+0079 (y).
      5. ( %x, %y ) ~LET %欄 の`選定された座標$ ◎ Let (x, y) be the selected coordinate.
      6. %~entry~list に次の結果を`付加する$ ⇒ `~entryを作成する$( %x名, %x ) ◎ Create an entry with namex and x, and append it to entry list.
      7. %~entry~list に次の結果を`付加する$ ⇒ `~entryを作成する$( %y名, %y ) ◎ Create an entry with namey and y, and append it to entry list.
      8. ~CONTINUE ◎ Continue.
   5. ~IF［ %欄 は`~formに所有され得る~custom要素$である ］ ⇒＃ `~entry構築~algo$cF( %欄, %~entry~list ) を遂行する； ~CONTINUE ◎ If the field is a form-associated custom element, then perform the entry construction algorithm given field and entry list, then continue.
   6. ~IF［ %名 ~EQ 空~文字列 ］ ⇒ ~CONTINUE ◎ If either the field element does not have a name attribute specified, or its name attribute's value is the empty string, then continue. ◎ Let name be the value of the field element's name attribute.

   7. %状態 に応じて, または［ %状態 ~EQ `他の要素^i ］の場合は %欄 に応じて： ◎ ↓

      • `select$e 要素である ⇒ %欄 の`選択肢~list$を成す ~EACH( `option$e 要素 %option ) に対し ⇒ ~IF［ %option の`選択状態$opt ~EQ ~T ］~AND［ %option は`不能化されて$optいない ］ ⇒ %~entry~list に次の結果を`付加する$ ⇒ `~entryを作成する$( %名, %option の`値$opt ) ◎ If the field element is a select element, then for each option element in the select element's list of options whose selectedness is true and that is not disabled, create an entry with name and the value of the option element, and append it to entry list.

      • `Checkbox$st ／ `Radio$st ： ◎ Otherwise, if the field element is an input element whose type attribute is in the Checkbox state or the Radio Button state, then:

        1. %値 ~LET ［ %欄 は `value$a 属性を有するならば その値 ／ ~ELSE_ 文字列 `on^l ］ ◎ If the field element has a value attribute specified, then let value be the value of that attribute; otherwise, let value be the string "on".
        2. %~entry~list に次の結果を`付加する$ ⇒ `~entryを作成する$( %名, %値 ) ◎ Create an entry with name and value, and append it to entry list.

      • `File$st ： ◎ Otherwise, if the field element is an input element whose type attribute is in the File Upload state, then:

        1. %~file~list ~LET %欄 の`選択された~file~list$ ◎ ↓
        2. ~IF［ %~file~list は空である ］ ⇒ %~entry~list に次の結果を`付加する$ ⇒ `~entryを作成する$( %名, 次のようにされた新たな `File$I ~obj ) ⇒＃ 名前 ~SET 空~文字列, 型 ~SET `application/octet-stream$mt 本体 ~SET 空 ◎ If there are no selected files, then create an entry with name and a new File object with an empty name, application/octet-stream as type, and an empty body, and append it to entry list.
        3. ~ELSE ⇒ %~file~list を成す ~EACH( %~file ) に対し ⇒ %~entry~list に次の結果を`付加する$ ⇒ `~entryを作成する$( %名, %~file を表現する新たな `File$I ~obj ) ◎ Otherwise, for each file in selected files, create an entry with name and a File object representing the file, and append it to entry list.

      • `Hidden$st： ◎ Otherwise, if the field element is an input element whose type attribute is in the Hidden state＼

        1. ~IF［ %名 は "`_charset_$v" に`~ASCII大小無視$で合致する ］ ⇒ ~GOTO `その他^i ◎ and name is an ASCII case-insensitive match for "_charset_":
        2. %charset ~LET %符号化法 の`名前$enc ◎ Let charset be the name of encoding.
        3. %~entry~list に次の結果を`付加する$ ⇒ `~entryを作成する$( %名, %charset ) ◎ Create an entry with name and charset, and append it to entry list.
      • その他 ⇒ %~entry~list に次の結果を`付加する$ ⇒ `~entryを作成する$( %名, %欄 の`値$fe ) ◎ Otherwise, create an entry with name and the value of the field element, and append it to entry list.

   8. ~IF［ %欄 は `dirname$a 属性を有していて，その値 ~NEQ 空~文字列 ］~AND［ %欄 は`自動~方向性を伴う~formに所有され得る要素$である ］： ◎ If the element has a dirname attribute, that attribute's value is not the empty string, and the element is an auto-directionality form-associated element:

      1. %方向~名 ~LET %欄 の `dirname$a 属性の値 ◎ Let dirname be the value of the element's dirname attribute.
      2. %方向 ~LET %欄 の`方向性$に応じて［ `左横書き$ならば `ltr^l ／ `右横書き$ならば `rtl^l ］ ◎ Let dir be the string "ltr" if the directionality of the element is 'ltr', and "rtl" otherwise (i.e., when the directionality of the element is 'rtl').
      3. %~entry~list に次の結果を`付加する$ ⇒ `~entryを作成する$( %方向~名, %方向 ) ◎ Create an entry with dirname and dir, and append it to entry list.
6. %~form~data ~LET 新たな `FormData$I ~obj — その ⇒ `~entry~list$fD ~SET %~entry~list ◎ Let form data be a new FormData object associated with entry list.
7. `~eventを発火する$( %~form, `formdata$et, `FormDataEvent$I ) — 次のように初期化して ⇒＃ `formData$m 属性 ~SET %~form~data, `bubbles$m 属性 ~SET ~T ◎ Fire an event named formdata at form using FormDataEvent, with the formData attribute initialized to form data and the bubbles attribute initialized to true.
8. %~form の`~entry~list構築-中か$ ~SET ~F ◎ Set form's constructing entry list to false.
9. ~RET `~listを~cloneする$( %~entry~list ) ◎ Return a clone of entry list.

所与の時点における， `form$e 要素 %~form の `符号化法@form は、［ `符号化法から出力~符号化法を取得する$( 次の手続きを走らせた結果 ) ］の結果を返す：

1. ~IF［ %~form は `accept-charset$a 属性を有さない ］ ⇒ ~RET 文書【 %~form の`~node文書$】の`符号化法$doc
2. ［ `~ASCII空白で分割する$( %~form の `accept-charset$a 属性の値 ) ］の結果を成す ~EACH( %~token ) に対し ⇒ ~IF［ `~labelから符号化法を取得する$( %~token ) の結果 ~NEQ `失敗^i ］ ⇒ ~RET その結果
3. ~RET `~UTF-8$

◎ If the user agent is to pick an encoding for a form, it must run the following steps: • Let encoding be the document's character encoding. • If the form element has an accept-charset attribute, set encoding to the return value of running these substeps: •• Let input be the value of the form element's accept-charset attribute. •• Let candidate encoding labels be the result of splitting input on ASCII whitespace. •• Let candidate encodings be an empty list of character encodings. •• For each token in candidate encoding labels in turn (in the order in which they were found in input), get an encoding for the token and, if this does not result in failure, append the encoding to candidate encodings. •• If candidate encodings is empty, return UTF-8. •• Return the first encoding in candidate encodings. • Return the result of getting an output encoding from encoding.

`名値~pair~listに変換する@ ときは、 所与の ( `~entry~list$ %~entry~list ) に対し，次の手続きを走らす： ◎ To convert to a list of name-value pairs an entry list entry list, run these steps:

1. %~list ~LET 新たな`~list$ ◎ Let list be an empty list of name-value pairs.

2. %~entry~list を成す ~EACH( %~entry ) に対し： ◎ For each entry of entry list:

   1. %名 ~LET `改行文字を~form~data用に正規化する$( %~entry の`名$fD ) ◎ Let name be entry's name, with every occurrence of U+000D (CR) not followed by U+000A (LF), and every occurrence of U+000A (LF) not preceded by U+000D (CR), replaced by a string consisting of U+000D (CR) and U+000A (LF).
   2. %値 ~LET %~entry の`値$fD ◎ ↓
   3. ~IF［ %値 は `File$I ~objである ］ ⇒ %値 ~SET %値 の `~nameF$m ◎ If entry's value is a File object, then let value be entry's value's name. Otherwise, let value be entry's value.
   4. %値 ~SET `改行文字を~form~data用に正規化する$( %値 ) ◎ Replace every occurrence of U+000D (CR) not followed by U+000A (LF), and every occurrence of U+000A (LF) not preceded by U+000D (CR), in value, by a string consisting of U+000D (CR) and U+000A (LF).
   5. %~list に新たな名値~pair ( %名 / %値 ) を`付加する$ ◎ Append to list a new name-value pair whose name is name and whose value is value.
3. ~RET %~list ◎ Return list.

`改行文字を~form~data用に正規化する@ ときは、 所与の ( 文字列 %文字列 ) に対し：

1. 以下においては ⇒＃ `LF^i は 文字 `000A^U `LINE FEED^cn ／ `CR^i は 文字 `000D^U `CARRIAGE RETURN^cn ／ `CRLF^i は［ 1 個の `CR^i, 1 個の `LF^i ］並びが成す文字列 ◎終 を表すとする。
2. %文字列 ~SET ［ %文字列 を成す各 `LF^i のうち直前の文字は［ 無い／ `CR^i でない ］もの ］を `CRLF^i に置換した結果
3. %文字列 ~SET ［ %文字列 を成す各 `CR^i のうち直後の文字は［ 無い／ `LF^i でない ］もの ］を `CRLF^i に置換した結果
4. ~RET %文字列

【 この~algoは、 他所を簡潔に記すために，この訳に導入している。 これは、 `改行文字を正規化する$~algoの “逆” に似たことを行う。 】

`~mp_form_dataとして符号化する@ ときは、 所与の ( `~entry~list$ %~entry~list, `符号化法$ %符号化法 ) に対し，次を走らす： ◎ The multipart/form-data encoding algorithm, given an entry list entry list and an encoding encoding, is as follows:

1. %~entry~list を成す ~EACH( %~entry ) に対し： ◎ For each entry of entry list:

   1. %~entry の`名$fD ~SET `改行文字を~form~data用に正規化する$( %~entry の名 ) ◎ Replace every occurrence of U+000D (CR) not followed by U+000A (LF), and every occurrence of U+000A (LF) not preceded by U+000D (CR), in entry's name, by a string consisting of a U+000D (CR) and U+000A (LF).
   2. ~IF［ %~entry の`値$fDは `File$I ~objでない ］ ⇒ %~entry の`値$fD ~SET `改行文字を~form~data用に正規化する$( %~entry の値 ) ◎ If entry's value is not a File object, then replace every occurrence of U+000D (CR) not followed by U+000A (LF), and every occurrence of U+000A (LF) not preceded by U+000D (CR), in entry's value, by a string consisting of a U+000D (CR) and U+000A (LF).

2. ~RET ［ `RFC7578$r `Returning Values from Forms: multipart/form-data^cite に述べられる規則 ］を利用して， %~entry~list を符号化した結果の~byte列 — その際には、 以下に与える条件に従うモノトスル： ◎ Return the byte sequence resulting from encoding the entry list using the rules described by RFC 7578, Returning Values from Forms: multipart/form-data, given the following conditions: [RFC7578]

   • %~entry~list を成す各`~entry$fDは、 ある `~field^i を与える — ~entryの ( `名$fD, `値$fD ) が ( `~field名^i, `~field値^i ) を与える。 ◎ Each entry in entry list is a field, the name of the entry is the field name and the value of the entry is the field value.
   • 各`~field^i は、 生成される `multipart/form-data$mt 資源を成す各~部位に対応する。 各~部位の順序は、 %~entry~list 成す~entryたちの順序と同じにする。 `名$fDが同じ複数の`~entry$fDは，別個な~fieldとして扱う。 ◎ The order of parts must be the same as the order of fields in entry list. Multiple entries with the same name must be treated as distinct fields.

   • 各~部位における `~field^i に対しては、 ~file~fieldの `~field値^i を除き： ◎ ↓

     • それらの［ `~field名^i／`~field値^i ］, および［ ~file~field用の~filename ］を，次の結果の~byte列に変換した結果に設定する ⇒ `符号化法を利用して符号化する$( 当の `~field^i を与える~entryの［名／値］, %符号化法 ) ◎ Field names, field values for non-file fields, and filenames for file fields, in the generated multipart/form-data resource must be set to the result of encoding the corresponding entry's name or value with encoding, converted to a byte sequence.
     • ただし，~file~field用の［ `~field名^i, ~filename ］に対しては、 前項の結果に対し，次に挙げる各~byteをその直後に与える~byte列に置換して~escapeするモノトスル — 他の~escapeは遂行しないモノトスル ⇒＃ `0A^X (`LF^cn) → `%0A^bl ／ `0D^X (`CR^cn) → `%0D^bl ／ `22^X `"^smb → `%22^bl ◎ For field names and filenames for file fields, the result of the encoding in the previous bullet point must be escaped by replacing any 0x0A (LF) bytes with the byte sequence `%0A`, 0x0D (CR) with `%0D` and 0x22 (") with `%22`. The user agent must not perform any other escapes.

     【 ~file~fieldとは、 それを与える~entryの値が `File$I ~objである~fieldを指す。 】

   • ~file~field以外の~fieldに対応する部位には、 `Content-Type$h ~headerは指定しない。 ◎ The parts of the generated multipart/form-data resource that correspond to non-file fields must not have a `Content-Type` header specified.

   `~mp_form_data境界~文字列@ とは、 ~UAが，この~algoが返す値を生成するときに利用する境界~文字列である。 （この値は、［ この~algoが生成する~form提出~payload ］の~MIME型を生成するときに利用される。） ◎ The boundary used by the user agent in generating the return value of this algorithm is the multipart/form-data boundary string. (This value is used to generate the MIME type of the form submission payload generated by this algorithm.)

`~text_plainとして符号化する@ ときは、 所与の ( 名値~pairたちが成す~list %~pair群 ) に対し， 次を走らす： ◎ The text/plain encoding algorithm, given a list of name-value pairs pairs, is as follows:

1. %結果 ~LET 空~文字列 ◎ Let result be the empty string.

2. %~pair群 を成す ~EACH( %~pair ) に対し： ◎ For each pair in pairs:

   1. %結果 に次を順に付加する ⇒＃ %~pair の名, 文字 `003D^U `=^smb, %~pair の値, 文字 `000D^U `CR^cn, 文字 `000A^U `LF^cn ◎ Append pair's name to result. ◎ Append a single U+003D EQUALS SIGN character (=) to result. ◎ Append pair's value to result. ◎ Append a U+000D CARRIAGE RETURN (CR) U+000A LINE FEED (LF) character pair to result.
3. ~RET %結果 ◎ Return result.

[Exposed=Window]
interface `SubmitEvent@I : `Event$I {
  constructor(DOMString %type, optional `SubmitEventInit$I %eventInitDict = {});

  readonly attribute `HTMLElement$I? `submitter$m;
};

dictionary `SubmitEventInit@I : `EventInit$I {
  `HTMLElement$I? submitter = null;
};

`submitter@m 取得子~手続きは、 初期化-時の値を返す。 ◎ The submitter attribute must return the value it was initialized to.

[Exposed=Window]
interface `FormDataEvent@I : `Event$I {
  constructor(DOMString %type, `FormDataEventInit$I %eventInitDict);
  readonly attribute `FormData$I `formData$m;
};

dictionary `FormDataEventInit@I : `EventInit$I {
  required `FormData$I formData;
};

`formData@m 取得子~手続きは、 初期化-時の値を返す。 ◎ The formData attribute must return the value it was initialized to.＼

これは、［ `form$e が提出されるとき`構築-＠#constructing-the-form-data-set$された `~entry~list$ ］を結付けている `FormData$I ~objを表現する。 ◎ It represents a FormData object associated to the entry list that is constructed when the form is submitted.