XMLHttpRequest

`open(method, url)@m ／ `~open_async(method, url, async, username, password)@m ~method手続きは： ◎ The open(method, url) and open(method, url, async, username, password) method steps are:

1. ~IF［ コレに`関連な大域~obj$は`~window$であって, それに`結付けられた文書$は`全部的に作動中$ではない ］ ⇒ ~THROW `InvalidStateError$E ◎ If this’s relevant global object is a Window object and its associated Document is not fully active, then throw an "InvalidStateError" DOMException.
2. ~IF［ %method は`~method$でない ］ ⇒ ~THROW `SyntaxError$E ◎ If method is not a method, then throw a "SyntaxError" DOMException.
3. ~IF［ %method は`禁止~method$である ］ ⇒ ~THROW `SecurityError$E ◎ If method is a forbidden method, then throw a "SecurityError" DOMException.
4. %method ~SET `~methodを正規化する$( %method ) ◎ Normalize method.
5. %構文解析した~URL ~LET `~URLを符号化法の下で相対的に構文解析する$( %url, コレに`関連な設定群~obj$ ) ◎ Let parsedURL be the result of encoding-parsing a URL url, relative to this’s relevant settings object.
6. ~IF［ %構文解析した~URL ~EQ `失敗^i ］ ⇒ ~THROW `SyntaxError$E ◎ If parsedURL is failure, then throw a "SyntaxError" DOMException.

7. ~IF［ %async ~EQ ε ］ ⇒ ( %async, %username, %password ) ~SET ( true, ~NULL, ~NULL ) ◎ If the async argument is omitted, set async to true, and set username and password to null.

   注記： あいにく，旧来の内容と~~互換性を得るため、 %async 引数に `undefined^c が［ 渡された場合, 省略された場合 ］を同じに扱うわけにはいかない。 ◎ Unfortunately legacy content prevents treating the async argument being undefined identical from it being omitted.

8. ~IF［ %構文解析した~URL の`~host$url ~NEQ ~NULL ］： ◎ If parsedURL’s host is non-null:

   1. ~IF［ %username ~NEQ ~NULL ］ ⇒ `~URLの~usernameを設定する$( %構文解析した~URL, %username ) ◎ If the username argument is not null, set the username given parsedURL and username.
   2. ~IF［ %password ~NEQ ~NULL ］ ⇒ `~URLの~passwordを設定する$( %構文解析した~URL, %password ) ◎ If the password argument is not null, set the password given parsedURL and password.

9. ~IF［ ~AND↓ ］…

   • %async ~EQ ~F
   • `現在の大域~obj$は`~window$である
   • ［ コレの`制限時間$xhr ~NEQ 0 ］~OR［ コレの`応答~種別$xhr ~NEQ 空~文字列 ］

   …ならば ⇒ ~THROW `InvalidAccessError$E

   ◎ If async is false, the current global object is a Window object, and either this’s timeout is not 0 or this’s response type is not the empty string, then throw an "InvalidAccessError" DOMException.

10. `~fetchを終了する$( コレの`~fetch制御器$xhr ) ◎ Terminate this’s fetch controller.

    注記： この時点から，`~fetching$は進行中になり得るようになる。 ◎ A fetch can be ongoing at this point.

11. コレの ⇒＃ `~send_が呼出されたか$xhr ~SET ~F, `要請~method$xhr ~SET %method, `要請~URL$xhr ~SET %構文解析した~URL, `要請~本体$xhr ~SET ~NULL, `同期的か$xhr ~SET ~IS［ %async ~EQ ~F ］, `~upload~listenerはあるか$xhr ~SET ~F, `応答$xhr ~SET `~network~error$, `受信した~byte列$xhr ~SET 空~byte列, `応答~obj$xhr ~SET ~NULL ◎ Set variables associated with the object as follows: • Set this’s send() invoked to false. • Set this’s request method to method. • Set this’s request URL to parsedURL. • ↓ Empty this’s author request headers. • Set this’s request body to null. • Set this’s synchronous to the inverse of async. • Set this’s upload listener to false. • Set this’s response to a network error. • Set this’s received bytes to the empty byte sequence. • Set this’s response object to null.

    注記： `上書き~MIME型$xhrは、 ここでは上書きされない — `open()^m ~methodより前に `overrideMimeType()$m ~methodが呼出されることもあるので。 ◎ Override MIME type is not overridden here as the overrideMimeType() method can be invoked before the open() method.

12. コレの`作者~要請~header~list$xhrを空にする ◎ ↑

13. ~IF［ コレの`状態$xhr ~NEQ `~openした^i ］： ◎ If this’s state is not opened:

    1. コレの`状態$xhr ~SET `~openした^i ◎ Set this’s state to opened.
    2. `~eventを発火する$( コレ, `readystatechange$et ) ◎ Fire an event named readystatechange at this.

◎ （和訳には不要なメタ情報） The reason there are two open() methods defined is due to a limitation of the editing software used to write the XMLHttpRequest Standard.

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

1. ~IF［ コレの`状態$xhr ~NEQ `~openした^i ］ ⇒ ~THROW `InvalidStateError$E ◎ If this’s state is not opened, then throw an "InvalidStateError" DOMException.
2. ~IF［ コレの`~send_が呼出されたか$xhr ~EQ ~T ］ ⇒ ~THROW `InvalidStateError$E ◎ If this’s send() invoked is true, then throw an "InvalidStateError" DOMException.
3. %value ~SET `値を正規化する$( %value ) ◎ Normalize value.

4. ~IF［ %name は`~header名$でない ］~OR［ %value は`~header値$でない ］ ⇒ ~THROW `SyntaxError$E ◎ If name is not a header name or value is not a header value, then throw a "SyntaxError" DOMException.

   注記： 空~byte列は空な`~header値$を表現する。 ◎ An empty byte sequence represents an empty header value.

5. ~IF［ ( %name, %value ) は`禁止~要請~header$を成す ］ ⇒ ~RET ◎ If (name, value) is a forbidden request-header, then return.
6. コレの`作者~要請~header~list$xhr内で`~headerを結合する$( ( %name, %value ) ) ◎ Combine (name, value) in this’s author request headers.

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

1. ~IF［ `現在の大域~obj$は`~window$である ］~AND［ コレの`同期的か$xhr ~EQ ~T ］ ⇒ ~THROW `InvalidAccessError$E ◎ If the current global object is a Window object and this’s synchronous is true, then throw an "InvalidAccessError" DOMException.
2. コレの`制限時間$xhr ~SET 所与の値 ◎ Set this’s timeout to the given value.

注記： これにより，`~fetching$が進捗~中にある間でも、 `timeout$m 属性を設定-可能になる。 設定しても，測定する~~起点（`~fetching$の開始）が改められることはない。 ◎ This implies that the timeout attribute can be set while fetching is in progress. If that occurs it will still be measured relative to the start of fetching.

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

1. ~IF［ コレの`状態$xhr ~NIN { `未送信^i, `~openした^i } ］ ⇒ ~THROW `InvalidStateError$E ◎ If this’s state is not unsent or opened, then throw an "InvalidStateError" DOMException.
2. ~IF［ コレの`~send_が呼出されたか$xhr ~EQ ~T ］ ⇒ ~THROW `InvalidStateError$E ◎ If this’s send() invoked is true, then throw an "InvalidStateError" DOMException.
3. コレの`非同一-生成元~向け資格証ありか$xhr ~SET 所与の値 ◎ Set this’s cross-origin credentials to the given value.

`send(body)@m ~method手続きは： ◎ The send(body) method steps are:

1. ~IF［ コレの`状態$xhr ~NEQ `~openした^i ］ ⇒ ~THROW `InvalidStateError$E ◎ If this’s state is not opened, then throw an "InvalidStateError" DOMException.
2. ~IF［ コレの`~send_が呼出されたか$xhr ~EQ ~T ］ ⇒ ~THROW `InvalidStateError$E ◎ If this’s send() invoked is true, then throw an "InvalidStateError" DOMException.
3. ~IF［ コレの`要請~method$xhr ~IN { `GET$hm, `HEAD$hm } ］ ⇒ %body ~SET ~NULL ◎ If this’s request method is `GET` or `HEAD`, then set body to null.

4. ~IF［ %body ~NEQ ~NULL ］： ◎ If body is not null:

   1. %抽出された内容~型 ~LET ~NULL ◎ Let extractedContentType be null.
   2. ~IF［ %body は `Document$I である ］ ⇒ コレの`要請~本体$xhr ~SET `~UTF-8符号化する$( `~scalar値~文字列に変換する$( `素片に直列化する$( %body【, ~F？】 ) ) ) ◎ If body is a Document, then set this’s request body to body, serialized, converted, and UTF-8 encoded.

   3. ~ELSE： ◎ Otherwise:

      1. %本体と型 ~LET `本体と型を安全に抽出する$( %body ) ◎ Let bodyWithType be the result of safely extracting body.
      2. コレの`要請~本体$xhr ~SET %本体と型 の`本体$bwT ◎ Set this’s request body to bodyWithType’s body.
      3. %抽出された内容~型 ~SET %本体と型 の`型$bwT ◎ Set extractedContentType to bodyWithType’s type.
   4. %元の作者~内容~型 ~LET `~header~listから値を取得する$( コレの`作者~要請~header~list$xhr, `Content-Type^h ) ◎ Let originalAuthorContentType be the result of getting `Content-Type` from this’s author request headers.

   5. ~IF［ %元の作者~内容~型 ~NEQ ~NULL ］： ◎ If originalAuthorContentType is non-null:

      1. ~IF［ %body は［ `Document$I ~obj／ `URLSearchParams$I ~obj／ `文字列$ ］である ］： ◎ If body is a Document object, a URLSearchParams object, or a string:

         1. %内容~型~record ~LET `~byte列から~MIME型を構文解析する$( %元の作者~内容~型 の`値$hd ) ◎ Let contentTypeRecord be the result of parsing originalAuthorContentType.

         2. ~IF［ %内容~型~record ~NEQ 失敗 ］： ◎ If contentTypeRecord is not failure,＼

            1. %~parameter群 ~LET %内容~型~record の`~parameter群$ ◎ ↓

            2. ~IF［ %~parameter群[ `charset^l ] ~NEQ ε ］~AND［ %~parameter群[ `charset^l ] は`~ASCII大小無視$で `UTF-8^l に合致しない ］： ◎ contentTypeRecord’s parameters["charset"] exists, and parameters["charset"] is not an ASCII case-insensitive match for "UTF-8":

               1. %~parameter群[ `charset^l ] ~SET `UTF-8^l ◎ Set contentTypeRecord’s parameters["charset"] to "UTF-8".
               2. `作者~要請~header~list$xhr内で`~headerを設定する$( ( `Content-Type^h, `~MIME型を~byte列に直列化する$( %内容~型~record ) ) ) ◎ Let newContentTypeSerialized be the result of serializing contentTypeRecord. ◎ Set (`Content-Type`, newContentTypeSerialized) in this’s author request headers.

   6. ~ELSE ◎ Otherwise:

      1. %内容~型 ~LET %body に応じて ⇒＃ `~HTML文書$であるならば `text/html;charset=UTF-8^bl ／ `~XML文書$であるならば `application/xml;charset=UTF-8^bl ／ ~ELSE_ %抽出された内容~型 ◎ If body is an HTML document, then set (`Content-Type`, `text/html;charset=UTF-8`) in this’s author request headers. ◎ Otherwise, if body is an XML document, set (`Content-Type`, `application/xml;charset=UTF-8`) in this’s author request headers. ◎ Otherwise, if extractedContentType is not null, set (`Content-Type`, extractedContentType) in this’s author request headers.
      2. ~IF［ %内容~型 ~NEQ ~NULL ］ ⇒ コレの`作者~要請~header~list$xhr内で`~headerを設定する$( ( `Content-Type^h, %内容~型 ) ) ◎ ↑
5. ~IF［ コレの`~upload~obj$xhrに登録されている~event~listenerは在る ］ ⇒ コレの`~upload~listenerはあるか$xhr ~SET ~T ◎ If one or more event listeners are registered on this’s upload object, then set this’s upload listener to true.

6. %要請 ~LET 次に従って初期化された新たな`要請$： ◎ Let req be a new request, initialized as follows:

   • `~method$rq~SET コレの`要請~method$xhr ◎ method • This’s request method.
   • `~URL$rq ~SET コレの`要請~URL$xhr ◎ URL • This’s request URL.
   • `~header~list$rq ~SET コレの`作者~要請~header~list$xhr ◎ header list • This’s author request headers.
   • `安全でない要請か$rq ~SET ~T ◎ unsafe-request flag • Set.
   • `本体$rq ~SET コレの`要請~本体$xhr ◎ body • This’s request body.
   • `~client$rq ~SET コレに`関連な設定群~obj$ ◎ client • This’s relevant settings object.
   • `~mode$rq ~SET `cors^l ◎ mode • "cors".
   • `~CORS予行を利用するか$rq ~SET コレの`~upload~listenerはあるか$xhr ◎ use-CORS-preflight flag • Set if this’s upload listener is true.
   • `資格証~mode$rq ~SET コレの`非同一-生成元~向け資格証ありか$xhrに応じて ⇒＃ ~T ならば `include^l ／ ~F ならば `same-origin^l ◎ credentials mode • If this’s cross-origin credentials is true, then "include"; otherwise "same-origin".
   • `~URL資格証を利用するか$rq ~SET ~IS［ コレの`要請~URL$xhrは`資格証を含む$ ］ ◎ use-URL-credentials flag • Set if this’s request URL includes credentials.
   • `起動元~種別$rq ~SET `xmlhttprequest^l ◎ initiator type • "xmlhttprequest".
7. コレの`~uploadは完了したか$xhr ~SET ~IS［ %要請 の`本体$rq ~EQ ~NULL ］ ◎ Set this’s upload complete to false. ◎ Set this’s timed out to false. ◎ If req’s body is null, then set this’s upload complete to true.
8. コレの`時間切れか$xhr ~SET ~F ◎ ↑
9. コレの`~send_が呼出されたか$xhr ~SET ~T ◎ Set this’s send() invoked to true.

10. ~IF［ コレの`同期的か$xhr ~EQ ~F ］： ◎ If this’s synchronous is false:

    1. `進捗~eventを発火する$( コレ, `loadstart$et, 0, 0 ) ◎ Fire a progress event named loadstart at this with 0 and 0.
    2. %伝送-済み要請~本体 ~LET 0 ◎ Let requestBodyTransmitted be 0.
    3. %要請~本体~長さ ~LET %要請 の`本体$rq ~NEQ ~NULL ならば %要請 の`本体$rqの`長さ$bd／ ~ELSE_ 0 ◎ Let requestBodyLength be req’s body’s length, if req’s body is non-null; otherwise 0.
    4. ~Assert： %要請~本体~長さ は整数である。 ◎ Assert: requestBodyLength is an integer.
    5. ~IF［ コレの`~uploadは完了したか$xhr ~EQ ~F ］~AND［ コレの`~upload~listenerはあるか$xhr ~EQ ~T ］ ⇒ `進捗~eventを発火する$( コレの`~upload~obj$xhr, `loadstart$et, %伝送-済み要請~本体, %要請~本体~長さ ) ◎ If this’s upload complete is false and this’s upload listener is true, then fire a progress event named loadstart at this’s upload object with requestBodyTransmitted and requestBodyLength.
    6. ~IF［ コレの`状態$xhr ~NEQ `~openした^i ］~OR［ コレの`~send_が呼出されたか$xhr ~EQ ~F ］ ⇒ ~RET ◎ If this’s state is not opened or this’s send() invoked is false, then return.

    7. %要請の本体~chunk長さの処理n ~LET 所与の ( %~byte列~長さ ) に対し，次を走らす手続き： ◎ Let processRequestBodyChunkLength, given a bytesLength, be these steps:

       1. %伝送-済み要請~本体 ~INCBY %~byte列~長さ ◎ Increase requestBodyTransmitted by bytesLength.
       2. ~IF［ この手続きが最後に呼出されたときから経過した~milli秒数は、 およそ 50 以下である ］ ⇒ ~RET ◎ If not roughly 50ms have passed since these steps were last invoked, then return.
       3. ~IF［ コレの`~upload~listenerはあるか$xhr ~EQ ~T ］ ⇒ `進捗~eventを発火する$( コレの`~upload~obj$xhr, `progress$et, %伝送-済み要請~本体, %要請~本体~長さ ) ◎ If this’s upload listener is true, then fire a progress event named progress at this’s upload object with requestBodyTransmitted and requestBodyLength.

       注記： この手続きは、 新たな~byteが伝送されたときに限り，呼出される。 ◎ These steps are only invoked when new bytes are transmitted.

    8. %要請の本体~終了~時の処理n ~LET 次を走らす手続き： ◎ Let processRequestEndOfBody be these steps:

       1. コレの`~uploadは完了したか$xhr ~SET ~T ◎ Set this’s upload complete to true.
       2. ~IF［ コレの`~upload~listenerはあるか$xhr ~EQ ~T ］ ⇒ ~RET ◎ If this’s upload listener is false, then return.
       3. `進捗~eventを発火する$( コレの`~upload~obj$xhr, `progress$et, %伝送-済み要請~本体, %要請~本体~長さ ) ◎ Fire a progress event named progress at this’s upload object with requestBodyTransmitted and requestBodyLength.
       4. `進捗~eventを発火する$( コレの`~upload~obj$xhr, `load$et, %伝送-済み要請~本体, %要請~本体~長さ ) ◎ Fire a progress event named load at this’s upload object with requestBodyTransmitted and requestBodyLength.
       5. `進捗~eventを発火する$( コレの`~upload~obj$xhr, `loadend$et, %伝送-済み要請~本体, %要請~本体~長さ ) ◎ Fire a progress event named loadend at this’s upload object with requestBodyTransmitted and requestBodyLength.

    9. %応答の処理n ~LET 所与の ( %応答 ) に対し，次を走らす手続き： ◎ Let processResponse, given a response, be these steps:

       1. コレの`応答$xhr ~SET %応答 ◎ Set this’s response to response.
       2. `~errorを取扱う$( コレ ) ◎ Handle errors for this.
       3. ~IF［ コレの`応答$xhr は`~network~error$である ］ ⇒ ~RET ◎ If this’s response is a network error, then return.
       4. コレの`状態$xhr ~SET `全~headerを受信した^i ◎ Set this’s state to headers received.
       5. `~eventを発火する$( コレ, `readystatechange$et ) ◎ Fire an event named readystatechange at this.
       6. ~IF［ コレの`状態$xhr ~NEQ `全~headerを受信した^i ］ ⇒ ~RET ◎ If this’s state is not headers received, then return.
       7. ~IF［ %応答 の`本体$rs ~EQ ~NULL ］ ⇒＃ `応答~本体の終端を取扱う$( コレ )； ~RET ◎ If this’s response’s body is null, then run handle response end-of-body for this and return.
       8. %長さ ~LET `~header~listから長さを抽出する$( コレの`応答$xhrの`~header~list$rs ) ◎ Let length be the result of extracting a length from this’s response’s header list.
       9. ~IF［ %長さ は整数でない ］ ⇒ %長さ ~SET 0 ◎ If length is not an integer, then set it to 0.

       10. %本体~chunkの処理n ~LET 所与の ( %~byte列 ) に対し，次を走らす手続き： ◎ Let processBodyChunk given bytes be these steps:

           1. コレの`受信した~byte列$xhrに %~byte列 を付加する ◎ Append bytes to this’s received bytes.
           2. ~IF［ この手続きが前回に呼出されたときから経過した~milli秒数は、 およそ 50 以下である ］ ⇒ ~RET ◎ If not roughly 50ms have passed since these steps were last invoked, then return.
           3. ~IF［ コレの`状態$xhr ~EQ `全~headerを受信した^i ］ ⇒ コレの`状態$xhr ~SET `読込n中^i ◎ If this’s state is headers received, then set this’s state to loading.

           4. `~eventを発火する$( コレ, `readystatechange$et ) ◎ Fire an event named readystatechange at this.

              注記： コレの`状態$xhrが変化しなくても， `readystatechange$et が余分に発火されるのは、 ~Web互換性の理由による。 ◎ Web compatibility is the reason readystatechange fires more often than this’s state changes.

           5. `進捗~eventを発火する$( コレ, `progress$et, コレの`受信した~byte列$xhrの`長さ$byte, %長さ ) ◎ Fire a progress event named progress at this with this’s received bytes’s length and length.
       11. %本体~終了~時の処理n ~LET 次を走らす手続き ⇒ `応答~本体の終端を取扱う$( コレ ) ◎ Let processEndOfBody be this step: run handle response end-of-body for this.

       12. %本体~errorの処理n ~LET 次を走らす手続き： ◎ Let processBodyError be these steps:

           1. コレの`応答$xhr ~SET `~network~error$, ◎ Set this’s response to a network error.
           2. `~errorを取扱う$( コレ ) ◎ Run handle errors for this.
       13. `本体を増分的に読取る$( コレの`応答$xhrの`本体$rs, %本体~chunkの処理n, %本体~終了~時の処理n, %本体~errorの処理n, コレに`関連な大域~obj$ ) ◎ Incrementally read this’s response’s body, given processBodyChunk, processEndOfBody, processBodyError, and this’s relevant global object.
    10. コレの`~fetch制御器$xhr ~LET %要請 を`~fetchする$ — 次を与える下で ⇒＃ `要請の本体~chunk長さの処理n$i ~SET %要請の本体~chunk長さの処理n, `要請の本体~終了~時の処理n$i ~SET %要請の本体~終了~時の処理n, `応答の処理n$i ~SET %応答の処理n ◎ Set this’s fetch controller to the result of fetching req with processRequestBodyChunkLength set to processRequestBodyChunkLength, processRequestEndOfBody set to processRequestEndOfBody, and processResponse set to processResponse.
    11. %今 ~LET 現~時刻 ◎ Let now be the present time.

    12. この段は`並列的$に走らす： ◎ Run these steps in parallel:

        1. ~OR↓ が満たされるまで待機する： ◎ Wait until either＼

           • %要請 の`済んだか$rq ~EQ ~T ◎ req’s done flag is set or＼
           • ［ コレの`制限時間$xhr ~NEQ 0 ］~AND［ %今 からコレの`制限時間$xhr ~milli秒~以上~経過した ］ ◎ this’s timeout is not 0 and this’s timeout milliseconds have passed since now.
        2. ~IF［ %要請 の`済んだか$rq ~EQ ~F ］ ⇒＃ コレの`時間切れか$xhr ~SET ~T； `~fetchを終了する$( コレの`~fetch制御器$xhr ) ◎ If req’s done flag is unset, then set this’s timed out to true and terminate this’s fetch controller.

11. ~ELSE （ コレの`同期的か$xhr ~EQ ~T ）： ◎ Otherwise, if this’s synchronous is true:

    1. %応答は処理したか ~LET ~F ◎ Let processedResponse be false.

    2. %応答の本体を消費する処理n ~LET 所与の ( %応答, %~NULLまたは失敗または~byte列 ) に対し，次を走らす手続き： ◎ Let processResponseConsumeBody, given a response and nullOrFailureOrBytes, be these steps:

       1. ~IF［ %~NULLまたは失敗または~byte列 ~NEQ `失敗^i ］ ⇒ コレの`応答$xhr ~SET %応答 ◎ If nullOrFailureOrBytes is not failure, then set this’s response to response.
       2. ~IF［ %~NULLまたは失敗または~byte列 は`~byte列$である ］ ⇒ コレの`受信した~byte列$xhrに %~NULLまたは失敗または~byte列 を付加する ◎ If nullOrFailureOrBytes is a byte sequence, then append nullOrFailureOrBytes to this’s received bytes.
       3. %応答は処理したか ~SET ~T ◎ Set processedResponse to true.
    3. コレの`~fetch制御器$xhr ~LET %要請 を`~fetchする$ — 次を与える下で ⇒＃ `応答の本体を消費する処理n$i ~SET %応答の本体を消費する処理n, `並列~queueを利用するか$i ~SET ~T ◎ Set this’s fetch controller to the result of fetching req with processResponseConsumeBody set to processResponseConsumeBody and useParallelQueue set to true.
    4. %今 ~LET 現~時刻 ◎ Let now be the present time.

    5. ~OR↓ が満たされるまで`静止する$： ◎ Pause until either＼

       • %応答は処理したか ~EQ ~T ◎ processedResponse is true or＼
       • ［ コレの`制限時間$xhr ~NEQ 0 ］~AND［ %今 からコレの`制限時間$xhr ~milli秒~以上~経過した ］ ◎ this’s timeout is not 0 and this’s timeout milliseconds have passed since now.
    6. ~IF［ %応答は処理したか ~EQ ~F ］ ⇒＃ コレの`時間切れか$xhr ~SET ~T； `~fetchを終了する$( コレの`~fetch制御器$xhr ) ◎ If processedResponse is false, then set this’s timed out to true and terminate this’s fetch controller.
    7. `計時を完結して報告する$( コレの`~fetch制御器$xhr, `現在の大域~obj$ ) ◎ Report timing for this’s fetch controller given the current global object.
    8. `応答~本体の終端を取扱う$( コレ ) ◎ Run handle response end-of-body for this.

`応答~本体の終端を取扱う@ ~algoは、 所与の ( `XMLHttpRequest$I ~obj %XHR ) に対し： ◎ To handle response end-of-body for an XMLHttpRequest object xhr, run these steps:

1. `~errorを取扱う$( %XHR ) ◎ Handle errors for xhr.
2. ~IF［ %XHR の`応答$xhrは`~network~error$である ］ ⇒ ~RET ◎ If xhr’s response is a network error, then return.
3. %伝送量 ~LET %XHR の`受信した~byte列$xhrの`長さ$byte ◎ Let transmitted be xhr’s received bytes’s length.
4. %長さ ~LET `~header~listから長さを抽出する$( コレの`応答$xhrの`~header~list$rs ) ◎ Let length be the result of extracting a length from this’s response’s header list.
5. ~IF［ %長さ は整数でない ］ ⇒ %長さ ~SET 0 ◎ If length is not an integer, then set it to 0.
6. ~IF［ %XHR の`同期的か$xhr ~EQ ~F ］ ⇒ `進捗~eventを発火する$( %XHR, `progress$et, %伝送量, %長さ ) ◎ If xhr’s synchronous is false, then fire a progress event named progress at xhr with transmitted and length.
7. %XHR の`状態$xhr ~SET `済み^i ◎ Set xhr’s state to done.
8. %XHR の`~send_が呼出されたか$xhr ~SET ~F ◎ Set xhr’s send() invoked to false.
9. `~eventを発火する$( %XHR, `readystatechange$et ) ◎ Fire an event named readystatechange at xhr.
10. `進捗~eventを発火する$( %XHR, `load$et, %伝送量, %長さ ) ◎ Fire a progress event named load at xhr with transmitted and length.
11. `進捗~eventを発火する$( %XHR, `loadend$et, %伝送量, %長さ ) ◎ Fire a progress event named loadend at xhr with transmitted and length.

`~errorを取扱う@ ~algoは、 所与の ( `XMLHttpRequest$I ~obj %XHR ) に対し： ◎ To handle errors for an XMLHttpRequest object xhr, run these steps:

1. ~IF［ %XHR の`~send_が呼出されたか$xhr ~EQ ~F ］ ⇒ ~RET ◎ If xhr’s send() invoked is false, then return.
2. ~IF［ %XHR の`時間切れか$xhr ~EQ ~T ］ ⇒ `要請~error手続きを走らす$( %XHR, `timeout$et, `TimeoutError$E 例外 ) ◎ If xhr’s timed out is true, then run the request error steps for xhr, timeout, and "TimeoutError" DOMException.
3. ~ELIF［ %XHR の`応答$xhrの`中止されたか$rs ~EQ ~T ］ ⇒ `要請~error手続きを走らす$( %XHR, `abort$et, `AbortError$E 例外 ) ◎ Otherwise, if xhr’s response’s aborted flag is set, run the request error steps for xhr, abort, and "AbortError" DOMException.
4. ~ELIF［ %XHR の`応答$xhrは`~network~error$である ］ ⇒ `要請~error手続きを走らす$( %XHR, `error$et, `NetworkError$E 例外 ) ◎ Otherwise, if xhr’s response is a network error, then run the request error steps for xhr, error, and "NetworkError" DOMException.

`要請~error手続きを走らす@ ~algoは、 所与の ( `XMLHttpRequest$I ~obj %XHR, %~event型, %例外 ~DF ε ) に対し： ◎ The request error steps for an XMLHttpRequest object xhr, event, and optionally exception are:

1. %XHR の`状態$xhr ~SET `済み^i ◎ Set xhr’s state to done.
2. %XHR の`~send_が呼出されたか$xhr ~SET ~F ◎ Set xhr’s send() invoked to false.
3. %XHR の`応答$xhr ~SET `~network~error$ ◎ Set xhr’s response to a network error.

4. ~IF［ %XHR の`同期的か$xhr ~EQ ~T ］：

   1. ~Assert： %例外 ~NEQ ε 【この段は、この訳による補完。】
   2. ~THROW %例外
   ◎ If xhr’s synchronous is true, then throw exception.

5. `~eventを発火する$( %XHR, `readystatechange$et ) ◎ Fire an event named readystatechange at xhr.

   注記： この時点で明らかに %XHR の`同期的か$xhr ~EQ ~F ◎ At this point it is clear that xhr’s synchronous is false.

6. ~IF［ %XHR の`~uploadは完了したか$xhr ~EQ ~F ］： ◎ If xhr’s upload complete is false:

   1. %XHR の`~uploadは完了したか$xhr ~SET ~T ◎ Set xhr’s upload complete to true.

   2. ~IF［ %XHR の`~upload~listenerはあるか$xhr ~EQ ~T ］： ◎ If xhr’s upload listener is true:

      1. `進捗~eventを発火する$( %XHR の`~upload~obj$xhr, %~event型, 0, 0 ) ◎ Fire a progress event named event at xhr’s upload object with 0 and 0.
      2. `進捗~eventを発火する$( %XHR の`~upload~obj$xhr, `loadend$et, 0, 0 ) ◎ Fire a progress event named loadend at xhr’s upload object with 0 and 0.
7. `進捗~eventを発火する$( %XHR, %~event型, 0, 0 ) ◎ Fire a progress event named event at xhr with 0 and 0.
8. `進捗~eventを発火する$( %XHR, `loadend$et, 0, 0 ) ◎ Fire a progress event named loadend at xhr with 0 and 0.

`abort()@m ~method手続きは： ◎ The abort() method steps are:

1. `~fetchを中止する$( コレの`~fetch制御器$xhr ) ◎ Abort this’s fetch controller.
2. ~IF［［ コレの`状態$xhr ~EQ `~openした^i ］~AND［ コレの`~send_が呼出されたか$xhr ~EQ ~T ］］~OR［ コレの`状態$xhr ~IN { `全~headerを受信した^i, `読込n中^i } ］ ⇒ `要請~error手続きを走らす$( コレ, `abort$et ) ◎ If this’s state is opened with this’s send() invoked being true, headers received, or loading, then run the request error steps for this and abort.

3. ~IF［ コレの`状態$xhr ~EQ `済み^i ］ ⇒ コレの`状態$xhr ~SET `未送信^i； コレの`応答$xhr ~SET `~network~error$ ◎ If this’s state is done, then set this’s state to unsent and this’s response to a network error.

   注記： `readystatechange$et ~eventは配送されない。 ◎ No readystatechange event is dispatched.

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

1. %~URL ~LET `応答$xhrの`~URL$rs
2. ~IF［ %~URL ~EQ ~NULL ］ ⇒ ~RET 空~文字列
3. ~RET `~URLを直列化する$( %~URL, `素片は除外する^i )

`getResponseHeader(name)@m ~method手続きは ⇒ ~RET `~header~listから値を取得する$( コレの`応答$xhrの`~header~list$rs, %name ) ◎ The getResponseHeader(name) method steps are to return the result of getting name from this’s response’s header list.

注記： コレの`応答$xhrに公開される`~header~list$rsは、 Fetch 標準に従って，絞込まれる。 `FETCH$r ◎ The Fetch Standard filters this’s response’s header list. [FETCH]

`getAllResponseHeaders()@m ~method手続きは： ◎ ↓↓A byte sequence a is legacy-uppercased-byte less than a byte sequence b if the following steps return true: • Let A be a, byte-uppercased. • Let B be b, byte-uppercased. • Return A is byte less than B. ◎ The getAllResponseHeaders() method steps are:

1. %出力 ~LET 空~byte列 ◎ Let output be an empty byte sequence.
2. %初期~header~list ~LET `~header~listを~sortして結合する$( コレの`応答$xhrの`~header~list$rs ) ◎ Let initialHeaders be the result of running sort and combine with this’s response’s header list.

3. %~header~list ~LET `~listを昇順に~sortする$( %初期~header~list, 次に与える`小なり~algo$ ) ⇒ 小なり~algoは、 所与の 2 つの~header ( %a, %b ) に対し ⇒ ~RET ~IS［ `~byte大文字~化する$( %a の`名前$hd ) は `~byte大文字~化する$( %b の`名前$hd ) `未満の~byte列$である ］ ◎ Let headers be the result of sorting initialHeaders in ascending order,＼ with a being less than b if a’s name is legacy-uppercased-byte less than b’s name.

   注記： あいにく，この段は、 配備-済み内容との互換性を得るため必要になる。 ◎ Unfortunately, this is needed for compatibility with deployed content.

4. %~header~list 内の~EACH( %~header ) に対し ⇒ %出力 に次を順に付加する ⇒＃ %~header の`名前$hd, ~byte対 `3A^X `20^X, %~header の`値$hd, ~byte対 `0D^X `0A^X ◎ For each header in headers, append header’s name, followed by a 0x3A 0x20 byte pair, followed by header’s value, followed by a 0x0D 0x0A byte pair, to output.

5. ~RET %出力 ◎ Return output.

注記： コレの`応答$xhrに公開される`~header~list$rsは、 Fetch 標準に従って，絞込まれる。 `FETCH$r ◎ The Fetch Standard filters this’s response’s header list. [FETCH]

`応答~MIME型を取得する@ ~algoは、 所与の ( `XMLHttpRequest$I ~obj %XHR ) に対し： ◎ To get a response MIME type for an XMLHttpRequest object xhr, run these steps:

1. %~MIME型 ~LET `~header~listから~MIME型を抽出する$( %XHR の`応答$xhrの`~header~list$rs ) ◎ Let mimeType be the result of extracting a MIME type from xhr’s response’s header list.
2. ~IF［ %~MIME型 ~EQ `失敗^i ］ ⇒ %~MIME型 ~SET `text/xml^c 【 `~MIME型を構文解析する$( `text/xml^l ) 】 ◎ If mimeType is failure, then set mimeType to text/xml.
3. ~RET %~MIME型 ◎ Return mimeType.

`最終-~MIME型を取得する@ ~algoは、 所与の ( `XMLHttpRequest$I ~obj %XHR ) に対し： ◎ To get a final MIME type for an XMLHttpRequest object xhr, run these steps:

1. %上書き~MIME型 ~LET %XHR の`上書き~MIME型$xhr ◎ ↓
2. ~IF［ %上書き~MIME型 ~EQ ~NULL ］ ⇒ ~RET `応答~MIME型を取得する$( %XHR ) ◎ If xhr’s override MIME type is null, return the result of get a response MIME type for xhr.
3. ~RET %上書き~MIME型 ◎ Return xhr’s override MIME type.

`最終-符号化法を取得する@ ~algoは、 所与の ( `XMLHttpRequest$I ~obj %XHR ) に対し： ◎ To get a final encoding for an XMLHttpRequest object xhr, run these steps:

1. %~label ~LET ε ◎ Let label be null.
2. ~IF［ %XHR の`上書き~MIME型$xhr ~NEQ ~NULL ］ ⇒ %~label ~SET %XHR の`上書き~MIME型$xhrの`~parameter群$[ `charset^l ] ◎ ↓
3. ~IF［ %~label ~EQ ε ］ ⇒ %~label ~SET 次の結果の`~parameter群$[ `charset^l ] ⇒ `応答~MIME型を取得する$( %XHR ) ◎ Let responseMIME be the result of get a response MIME type for xhr. ◎ If responseMIME’s parameters["charset"] exists, then set label to it. ◎ If xhr’s override MIME type’s parameters["charset"] exists, then set label to it.
4. ~IF［ %~label ~EQ ε ］ ⇒ ~RET ~NULL ◎ If label is null, then return null.
5. %符号化法 ~LET `~labelから符号化法を取得する$( %~label ) ◎ Let encoding be the result of getting an encoding from label.
6. ~RET %符号化法 に応じて ⇒＃ `失敗^i ならば ~NULL／ ~ELSE_ %符号化法 ◎ If encoding is failure, then return null. ◎ Return encoding.

注記： 上の手続きが`最終-~MIME型を取得する$を利用しないのは、 意図的である — 利用すると~web互換でなくなるので。 ◎ The above steps intentionally do not use the get a final MIME type as it would not be web compatible.

`文書~応答を設定する@ ~algoは、 所与の ( `XMLHttpRequest$I ~obj %XHR ) に対し： ◎ To set a document response for an XMLHttpRequest object xhr, run these steps:

1. ~IF［ %XHR の`応答$xhrの`本体$rs ~EQ ~NULL, ］ ⇒ ~RET ◎ If xhr’s response’s body is null, then return.
2. %charset ~LET ~NULL 【この段は、この訳による補完。】
3. %最終-~MIME型 ~LET `最終-~MIME型を取得する$( %XHR ) ◎ Let finalMIME be the result of get a final MIME type for xhr.

4. %最終-~MIME型 に応じて： ◎ ↓↓If finalMIME is not an HTML MIME type or an XML MIME type, then return.

   • `~HTML~MIME型$である： ◎ ↓

     1. ~IF［ %XHR の`応答~種別$xhr ~EQ 空~文字列 ］ ⇒ ~RET ◎ If xhr’s response type is the empty string and＼ finalMIME is an HTML MIME type, then return.

        注記： 旧来の内容を非互換化するのを防止するため、 %XHR の`応答~種別$xhrは，ここでは `document^l に制約される。 ◎ This is restricted to xhr’s response type being "document" in order to prevent breaking legacy content.

     2. %charset ~SET `最終-符号化法を取得する$( %XHR ) ◎ ↑If finalMIME is an HTML MIME type: ◎ Let charset be the result of get a final encoding for xhr.
     3. ~IF［ %charset ~EQ ~NULL ］ ⇒ ~IF［ %XHR の`受信した~byte列$xhrの最初の 1024 ~byteを`予走査して＠~HTMLparsing#prescan-a-byte-stream-to-determine-its-encoding$，成功裡に結果を得られた ］ ⇒ %charset ~LET その結果 ◎ If charset is null, prescan the first 1024 bytes of xhr’s received bytes and if that does not terminate unsuccessfully then let charset be the return value.
     4. ~IF［ %charset ~EQ ~NULL ］ ⇒ %charset ~SET `~UTF-8$ ◎ If charset is null, then set charset to UTF-8.
     5. %文書 ~LET 次の結果を表現する`文書$ ⇒ ~HTML標準の~HTML構文解析器に~~規定される規則に従って，［ ~scriptは不能化する, `既知かつ確定的な符号化法＠~HTMLparsing#a-known-definite-encoding$として %charset を与える ］下で， %XHR の`受信した~byte列$xhrを構文解析した結果 `HTML$r ◎ Let document be a document that represents the result parsing xhr’s received bytes following the rules set forth in the HTML Standard for an HTML parser with scripting disabled and a known definite encoding charset. [HTML]
     6. %文書 の`種別$doc ~SET `html^l ◎ Flag document as an HTML document.

   • `~XML~MIME型$である ⇒ %文書 ~LET 次の結果を表現する`文書$ ⇒ `~XML~scripting~supportを不能化する＠~HTMLxml#xml-scripting-support-disabled$下で， %XHR の`受信した~byte列$xhrを`~XML構文解析器＠~HTMLxml#xml-parser$にかけた結果 `HTML$r ⇒ ~IF［ 構文解析に失敗した（例：未~supportな文字~符号化法, 名前空間~整形式性~error, 等々） ］ ⇒ ~RET ~NULL ◎ Otherwise, let document be a document that represents the result of running the XML parser with XML scripting support disabled on xhr’s received bytes. If that fails (unsupported character encoding, namespace well-formedness error, etc.), then return null. [HTML]

     注記： 文書から参照されている資源は読込まれず，文書に結付けられた~XSLTは適用されない。 ◎ Resources referenced will not be loaded and no associated XSLT will be applied.

   • その他~MIME型 ⇒ ~RET ◎ ↑↑
5. ~IF［ %charset ~EQ ~NULL ］ ⇒ %charset ~SET `~UTF-8$ ◎ If charset is null, then set charset to UTF-8.
6. %文書 の ⇒＃ `符号化法$doc ~SET %charset, `内容~型$doc ~SET %最終-~MIME型, `~URL$doc ~SET %XHR の`応答$xhrの`~URL$rs, `生成元$doc ~SET %XHR に`関連な設定群~obj$の`生成元$enV ◎ Set document’s encoding to charset. ◎ Set document’s content type to finalMIME. ◎ Set document’s URL to xhr’s response’s URL. ◎ Set document’s origin to xhr’s relevant settings object’s origin.
7. %XHR の`応答~obj$xhr ~SET %文書 ◎ Set xhr’s response object to document.

`~text応答を取得する@ ~algoは、 所与の ( `XMLHttpRequest$I ~obj %XHR ) に対し： ◎ To get a text response for an XMLHttpRequest object xhr, run these steps:

1. ~IF［ %XHR の`応答$xhrの`本体$rs ~EQ ~NULL ］ ⇒ ~RET 空~文字列 ◎ If xhr’s response’s body is null, then return the empty string.
2. %charset ~LET `最終-符号化法を取得する$( %XHR ) ◎ Let charset be the result of get a final encoding for xhr.

3. ~IF［ %XHR の`応答~種別$xhr ~EQ 空~文字列 ］~AND［ %charset ~EQ ~NULL ］： ◎ If xhr’s response type is the empty string, charset is null,＼

   1. %最終-~MIME型 ~LET `最終-~MIME型を取得する$( %XHR ) ◎ and the result of get a final MIME type for xhr＼
   2. ~IF［ %最終-~MIME型 は`~XML~MIME型$である ］ ⇒ %charset ~LET ~XML仕様に~~規定される規則に従って決定される符号化法 `XML$r `XML-NAMES$r ◎ is an XML MIME type, then use the rules set forth in the XML specifications to determine the encoding. Let charset be the determined encoding. [XML] [XML-NAMES]

   注記： 旧来のものでない`応答~種別$xhr用の値 `text^l を単純なままに保つため、 %XHR の`応答~種別$xhrは，ここでは空~文字列に制約される。 ◎ This is restricted to xhr’s response type being the empty string to keep the non-legacy response type value "text" simple.

4. ~IF［ %charset ~EQ ~NULL ］ ⇒ %charset ~SET `~UTF-8$ ◎ If charset is null, then set charset to UTF-8.
5. ~RET `~Unicodeに復号する$( %XHR の`受信した~byte列$xhr, %charset ) ◎ Return the result of running decode on xhr’s received bytes using fallback encoding charset.

注記： 作者には、 資源を符号化する際には，常に`~UTF-8$を利用することが強く奨励される。 ◎ Authors are strongly encouraged to always encode their resources using UTF-8.

`overrideMimeType(mime)@m ~method手続きは： ◎ The overrideMimeType(mime) method steps are:

1. ~IF［ コレの`状態$xhr ~IN { `読込n中^i, `済み^i } ］ ⇒ ~THROW `InvalidStateError$E ◎ If this’s state is loading or done, then throw an "InvalidStateError" DOMException.
2. コレの`上書き~MIME型$xhr ~SET `~MIME型を構文解析する$( %mime ) ◎ Set this’s override MIME type to the result of parsing mime.
3. ~IF［ コレの`上書き~MIME型$xhr ~EQ `失敗^i ］ ⇒ コレの`上書き~MIME型$xhr ~SET `application/octet-stream^bl ◎ If this’s override MIME type is failure, then set this’s override MIME type to application/octet-stream.

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

1. %W ~LET ~IS［ `現在の大域~obj$は`~window$である ］ ◎ ↓
2. ~IF［ %W ~EQ ~F ］~AND［ 所与の値 ~EQ `document^l ］ ⇒ ~RET ◎ If the current global object is not a Window object and the given value is "document", then return.
3. ~IF［ コレの`状態$xhr ~IN { `読込n中^i, `済み^i } ］ ⇒ ~THROW `InvalidStateError$E ◎ If this’s state is loading or done, then throw an "InvalidStateError" DOMException.
4. ~IF［ %W ~EQ ~T ］~AND［ コレの`同期的か$xhr ~EQ ~T ］ ⇒ ~THROW `InvalidAccessError$E ◎ If the current global object is a Window object and this’s synchronous is true, then throw an "InvalidAccessError" DOMException.
5. コレの`応答~種別$xhr ~SET 所与の値 ◎ Set this’s response type to the given value.

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

1. ~IF［ コレの`応答~種別$xhr ~IN { 空~文字列, `text^l } ］： ◎ If this’s response type is the empty string or "text":

   1. ~IF［ コレの`状態$xhr ~NIN { `読込n中^i, `済み^i } ］ ⇒ ~RET 空~文字列 ◎ If this’s state is not loading or done, then return the empty string.
   2. ~RET `~text応答を取得する$( コレ ) ◎ Return the result of getting a text response for this.
2. ~IF［ コレの`状態$xhr ~NEQ `済み^i ］ ⇒ ~RET ~NULL ◎ If this’s state is not done, then return null.
3. ~IF［ コレの`応答~obj$xhr ~EQ `失敗^i ］ ⇒ ~RET ~NULL ◎ If this’s response object is failure, then return null.
4. ~IF［ コレの`応答~obj$xhr ~NEQ ~NULL ］ ⇒ ~RET コレの`応答~obj$xhr ◎ If this’s response object is non-null, then return it.

5. コレの`応答~種別$xhrに応じて： ◎ ↓

   • `arraybuffer^l ⇒ コレの`応答~obj$xhr ~SET `~buffer~sourceを作成する$( `ArrayBuffer$I, コレの`受信した~byte列$xhr, コレに`関連な~realm$ ) ◎ If this’s response type is "arraybuffer", then＼ set this’s response object to a new ArrayBuffer object representing this’s received bytes.＼

     例外が投出されたときは、 ~catchして： ◎ If this throws an exception, then＼

     1. コレの`応答~obj$xhr ~SET `失敗^i ◎ set this’s response object to failure and＼
     2. ~RET ~NULL ◎ return null.

     注記： `ArrayBuffer$I ~objを割振ることに成功することは，保証されない。 `ECMASCRIPT$r ◎ Allocating an ArrayBuffer object is not guaranteed to succeed. [ECMASCRIPT]

   • `blob^l ⇒ コレの`応答~obj$xhr ~SET `新たな~obj$( `Blob$I, コレに`関連な~realm$ ) — その ⇒＃ `~byte列~data$ ~SET コレの`受信した~byte列$xhr `~type0$m ~SET `最終-~MIME型を取得する$( コレ ) ◎ Otherwise, if this’s response type is "blob",＼ set this’s response object to a new Blob object representing this’s received bytes with type set to the result of get a final MIME type for this.
   • `document^l ⇒ `文書~応答を設定する$( コレ ) ◎ Otherwise, if this’s response type is "document",＼ set a document response for this.

   • `json^l ： ◎ Otherwise: ◎ Assert: this’s response type is "json".

     1. ~IF［ コレの`応答$xhrの`本体$rs ~EQ ~NULL ］ ⇒ ~RET ~NULL ◎ If this’s response’s body is null, then return null.

     2. %~JSON~obj ~LET `~JSON~byte列を~JS値に構文解析する$( コレの`受信した~byte列$xhr ) ◎ Let jsonObject be the result of running parse JSON from bytes on this’s received bytes.＼

        例外が投出されたときは、 ~catchして： ⇒ ~RET ~NULL ◎ If that threw an exception, then return null.

     3. コレの`応答~obj$xhr ~SET %~JSON~obj ◎ Set this’s response object to jsonObject.
6. ~RET コレの`応答~obj$xhr ◎ Return this’s response object.

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

1. ~IF［ コレの`応答~種別$xhr ~NIN { 空~文字列, `text^l } ］ ⇒ ~THROW `InvalidStateError$E ◎ If this’s response type is not the empty string or "text", then throw an "InvalidStateError" DOMException.
2. ~IF［ コレの`状態$xhr ~NIN { `読込n中^i, `済み^i } ］ ⇒ ~RET 空~文字列 ◎ If this’s state is not loading or done, then return the empty string.
3. ~RET `~text応答を取得する$( コレ ) ◎ Return the result of getting a text response for this.

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

1. ~IF［ コレの`応答~種別$xhr ~NIN { 空~文字列, `document^l } ］ ⇒ ~THROW `InvalidStateError$E ◎ If this’s response type is not the empty string or "document", then throw an "InvalidStateError" DOMException.
2. ~IF［ コレの`状態$xhr ~NEQ `済み^i ］ ⇒ ~RET ~NULL ◎ If this’s state is not done, then return null.
3. ~Assert： コレの`応答~obj$xhr ~NEQ `失敗^i ◎ Assert: this’s response object is not failure.
4. ~IF［ コレの`応答~obj$xhr ~NEQ ~NULL ］ ⇒ ~RET コレの`応答~obj$xhr ◎ If this’s response object is non-null, then return it.
5. `文書~応答を設定する$( コレ ) ◎ Set a document response for this.
6. ~RET コレの`応答~obj$xhr ◎ Return this’s response object.