XMLHttpRequest Standard （日本語訳）

◎要約

この仕様は、 ~client↔~server間で~dataを転送するための， ~client側の~script機能性を供する~APIを定義する。 ◎ The XMLHttpRequest Standard defines an API that provides scripted client functionality for transferring data between a client and a server.

1. 序論

◎非規範的

`XMLHttpRequest$I ~objは、`~fetching$用の~APIである。 ◎ The XMLHttpRequest object is an API for fetching resources.

`XMLHttpRequest$I という名前は歴史的なものであり、【 “XML” の部分は】その機能性と何ら関わりは無い。 ◎ The name XMLHttpRequest is historical and has no bearing on its functionality.

~network越しに~fetchされた~XML文書の~dataに対し何かを行う，単純な~code： ◎ Some simple code to do something with data from an XML document fetched over the network:

function processData(%data) {
  /* 
~dataを~~処理する
◎
taking care of data
 */
}

function handler() {
  if(this.status == 200 &&
    this.responseXML != null &&
    this.responseXML.getElementById('test').textContent) {
    /* 
成功！
◎
success!
 */
    processData(this.responseXML.getElementById('test').textContent);
  } else {
    /* 
何らかの不具合が生じている
◎
something went wrong
 */
    …
  }
}

var %client = new XMLHttpRequest();
%client.onload = handler;
%client.open("GET", "unicorn.xml");
%client.send();

単に~serverに~messageを残す： ◎ If you just want to log a message to the server:

function log(%message) {
  var %client = new XMLHttpRequest();
  %client.open("POST", "/log");
  %client.setRequestHeader("Content-Type", "text/plain;charset=UTF-8");
  %client.send(%message);
}

あるいは、 ~serverにある文書の状態sを調べる： ◎ Or if you want to check the status of a document on the server:

function fetchStatus(%address) {
  var %client = new XMLHttpRequest();
  %client.onload = function() {
    /* 
~network~errorが生じている場合、
依拠-可能な結果は得られないであろう。
◎
in case of network errors this might not give reliable results
 */
    returnStatus(this.status);
  }
  %client.open("HEAD", %address);
  %client.send();
}

1.1. 仕様の歴史

`XMLHttpRequest$I ~objは、当初は WHATWG による，~HTMLの（何年も前の， Microsoft による実装に基づく）成果として定義された。それは 2006 年には W3C に移管された。 `XMLHttpRequest$I に対する拡張（すなわち、進捗~event, 非同一-生成元（ cross-origin ）要請）は、 2011 年の終わりまでは別の草案（ XMLHttpRequest Level 2 ）の下で開発されていたが、その時点でこの 2 つの草案は `XMLHttpRequest$I に併合され，標準の観点から再び一つになった。 2012 年の終わりに，また WHATWG の下に移管されることとなった。 ◎ The XMLHttpRequest object was initially defined as part of the WHATWG’s HTML effort. (Based on Microsoft’s implementation many years prior.) It moved to the W3C in 2006. Extensions (e.g., progress events and cross-origin requests) to XMLHttpRequest were developed in a separate draft (XMLHttpRequest Level 2) until end of 2011, at which point the two drafts were merged and XMLHttpRequest became a single entity again from a standards perspective. End of 2012 it moved back to the WHATWG.

現在の草案までに至る経緯は、次に挙げるメーリングリストにて見られる ⇒＃ whatwg@whatwg.org, public-webapps@w3.org, public-webapi@w3.org, public-appformats@w3.org ◎ Discussion that led to the current draft can be found in the following mailing list archives: • whatwg@whatwg.org • public-webapps@w3.org • public-webapi@w3.org • public-appformats@w3.org

2. 各種用語

この仕様は、 `INFRA$r に依存する。 ◎ This specification depends on the Infra Standard. [INFRA]

この仕様は、次に挙げる仕様による各種用語を利用する ⇒ `DOM$r `DOM-PARSING$r `ENCODING$r `FETCH$r `FILEAPI$r `HTML$r `URL$r `WEBIDL$r `XML$r `XML-NAMES$r ◎ This specification uses terminology from DOM, DOM Parsing and Serialization, Encoding, Fetch, File API, HTML, URL, Web IDL, and XML. ◎ [DOM] [DOM-PARSING] [ENCODING] [FETCH] [FILEAPI] [HTML] [URL] [WEBIDL] [XML] [XML-NAMES]

【この訳に特有な表記規約】

◎表記記号

3. ~interface `XMLHttpRequest^I

[`Exposed$=(Window,DedicatedWorker,SharedWorker)]
interface `XMLHttpRequestEventTarget@I : `EventTarget$I {
  // `~event~handler＠#event-handlers$
  attribute `EventHandler$I `onloadstart$m;
  attribute `EventHandler$I `onprogress$m;
  attribute `EventHandler$I `onabort$m;
  attribute `EventHandler$I `onerror$m;
  attribute `EventHandler$I `onload$m;
  attribute `EventHandler$I `ontimeout$m;
  attribute `EventHandler$I `onloadend$m;
};

[`Exposed$=(Window,DedicatedWorker,SharedWorker)]
interface `XMLHttpRequestUpload@I : `XMLHttpRequestEventTarget$I {
};

enum `XMLHttpRequestResponseType@I {
  "",
  `arraybuffer@l,
  `blob@l,
  `document@l,
  `json@l,
  `text@l
};

[`Exposed$=(Window,DedicatedWorker,SharedWorker)]
interface `XMLHttpRequest@I : `XMLHttpRequestEventTarget$I {
  `XMLHttpRequest$mc();

  // `~event~handler＠#event-handlers$
  attribute `EventHandler$I `onreadystatechange$m;

  // 状態
  const `unsigned short$ `UNSENT$m = 0;
  const `unsigned short$ `OPENED$m = 1;
  const `unsigned short$ `HEADERS_RECEIVED$m = 2;
  const `unsigned short$ `LOADING$m = 3;
  const `unsigned short$ `DONE$m = 4;
  readonly attribute `unsigned short$ `readyState$m;

  // 要請
  `undefined$ `open$m(`ByteString$ %method, `USVString$ %url);
  `undefined$ `~open_async$m(
      `ByteString$ %method,
      `USVString$ %url,
      `boolean$ %async,
      optional `USVString$? %username = null,
      optional `USVString$? %password = null
  );
  `undefined$ `setRequestHeader$m(`ByteString$ %name, `ByteString$ %value);
           attribute `unsigned long$ `timeout$m;
           attribute `boolean$ `withCredentials$m;
  [`SameObject$] readonly attribute `XMLHttpRequestUpload$I `upload$m;
  `undefined$ `send$m(optional (`Document$I or `XMLHttpRequestBodyInit$I)? %body = null);
  `undefined$ `abort$m();

  // 応答
  readonly attribute `USVString$ `responseURL$m;
  readonly attribute `unsigned short$ `status$m;
  readonly attribute `ByteString$ `statusText$m;
  `ByteString$? `getResponseHeader$m(`ByteString$ %name);
  `ByteString$ `getAllResponseHeaders$m();
  `undefined$ `overrideMimeType$m(`DOMString$ %mime);
           attribute `XMLHttpRequestResponseType$I `responseType$m;
  readonly attribute `any$ `response$m;
  readonly attribute `USVString$ `responseText$m;
  [`Exposed$=Window] readonly attribute `Document$I? `responseXML$m;
};

各 `XMLHttpRequest$I ~objには、次に挙げるものが結付けられる： ◎ An XMLHttpRequest object has an associated:

`~upload~obj@xhr ◎ upload object: `XMLHttpRequestUpload$I ~obj。 ◎ An XMLHttpRequestUpload object.
`状態@xhr ◎ state: 次に挙げるいずれか — 初期~時は `未送信^i とする ⇒＃ `未送信^i ／ `~openした^i ／ `全~headerを受信した^i ／ `読込n中^i ／ `済み^i ◎ One of unsent, opened, headers received, loading, and done; initially unsent.
`~send_~flag@xhr ◎ send() flag: 真偽値 — 初期~時は ~F とする。 ◎ A flag, initially unset.
`制限時間@xhr ◎ timeout: 無符号~整数【~milli秒数】 — 初期~時は 0 とする。 ◎ An unsigned integer, initially 0.
`非同一-生成元~向け資格証ありか@xhr ◎ cross-origin credentials: 真偽値 — 初期~時は ~F とする。 ◎ A boolean, initially false.
`要請~method@xhr ◎ request method: `~method$ ◎ A method.
`要請~URL@xhr ◎ request URL: `~URL$。 ◎ A URL.
`作者~要請~header~list@xhr ◎ author request headers: `~header~list$ — 初期~時は空とする。 ◎ A header list, initially empty.
`要請~本体@xhr ◎ request body: 初期~時は ~NULL とする。 ◎ Initially null.
`同期的か@xhr ◎ synchronous flag: 真偽値 — 初期~時は ~F とする。 ◎ A flag, initially unset.
`~uploadは完了したか@xhr ◎ upload complete flag: 真偽値 — 初期~時は ~F とする。 ◎ A flag, initially unset.
`~upload~listenerはあるか@xhr ◎ upload listener flag: 真偽値 — 初期~時は ~F とする。 ◎ A flag, initially unset.
`時間切れか@xhr ◎ timed out flag: 真偽値 — 初期~時は ~F とする。 ◎ A flag, initially unset.
`応答@xhr ◎ response: `応答$ — 初期~時は`~network~error$とする。 ◎ A response, initially a network error.
`受信した~byte列@xhr ◎ received bytes: `~byte列$ — 初期~時は空~byte列とする。 ◎ A byte sequence, initially the empty byte sequence.
`応答~種別@xhr ◎ response type: 次に挙げるいずれか — 初期~時は空~文字列とする ⇒＃空~文字列／ `arraybuffer^l ／ `blob^l ／ `document^l ／ `json^l ／ `text^l ◎ One of the empty string, "arraybuffer", "blob", "document", "json", and "text"; initially the empty string.
`応答~obj@xhr ◎ response object: 次に挙げるいずれか — 初期~時は ~NULL とする ⇒＃ ~obj【これは、`応答$xhrの本体~dataを表現する】／ `失敗^i ／ ~NULL ◎ An object, failure, or null, initially null.
`~fetch制御器@xhr ◎ fetch controller: `~fetch制御器$ — 初期~時は新たな`~fetch制御器$とする。 ◎ A fetch controller, initially a new fetch controller.＼; 注記： `send()$m ~methodは，これを有用な`~fetch制御器$に設定するが、単純にするため，これは常にある`~fetch制御器$を保持する。 ◎ The send() method sets it to a useful fetch controller, but for simplicity it always holds a fetch controller.
`上書き~MIME型@xhr ◎ override MIME type: `~MIME型$ ／ ~NULL — 初期~時は ~NULL とする。 ◎ A MIME type or null, initially null.＼; 注記： `overrideMimeType()$m を呼出したときに，非 ~NULL にされ得る。 ◎ Can get a value when overrideMimeType() is invoked.

3.1. 構築子

%client = `new XMLHttpRequest()$m: 新たな `XMLHttpRequest$I ~objを返す。 ◎ Returns a new XMLHttpRequest object.

`new XMLHttpRequest()@m 構築子~手続きは ⇒ コレの`~upload~obj$xhr ~SET `新たな~obj$( `XMLHttpRequestUpload$I ) ◎ The new XMLHttpRequest() constructor steps are: • Set this’s upload object to a new XMLHttpRequestUpload object.

3.2. ~garbage収集

`XMLHttpRequest$I ~objは、 ~AND↓ を満たしている間は，~garbage収集しないモノトスル： ◎ An XMLHttpRequest object must not be garbage collected if＼

~OR↓：
- ［ `状態$xhr ~EQ `~openした^i ］~AND［ `~send_~flag$xhr ~EQ ~T ］
- `状態$xhr ~IN { `全~headerを受信した^i, `読込n中^i }
◎ its state is either opened with the send() flag set, headers received, or loading,＼
次に挙げるいずれかの型の~event用に`~event~listener$が登録されている ⇒ `readystatechange$et, `progress$et, `abort$et, `error$et, `load$et, `timeout$et, `loadend$et ◎ and it has one or more event listeners registered whose type is one of readystatechange, progress, abort, error, load, timeout, and loadend.

`XMLHttpRequest$I ~obj %XHR が，その接続がまだ開いているにも関わらず~garbage収集された場合、 ~UAは，次を遂行するモノトスル ⇒ `~fetchを終了する$( %XHR の`~fetch制御器$xhr ) ◎ If an XMLHttpRequest object is garbage collected while its connection is still open, the user agent must terminate the XMLHttpRequest object’s fetch controller.

3.3. ~event~handler

`XMLHttpRequestEventTarget$I を継承する~interfaceを実装する~objは、次に挙げる`~event~handler$（およびそれらに対応する`~event~handler ~event型$）を属性として~supportするモノトスル。 ◎ The following are the event handlers (and their corresponding event handler event types) that must be supported on objects implementing an interface that inherits from XMLHttpRequestEventTarget as attributes:

`~event~handler$ ◎ event handler	`~event~handler ~event型$ ◎ event handler event type
`onloadstart@m	`loadstart$et
`onprogress@m	`progress$et
`onabort@m	`abort$et
`onerror@m	`error$et
`onload@m	`load$et
`ontimeout@m	`timeout$et
`onloadend@m	`loadend$et

`XMLHttpRequest$I ~objにおいては、次に挙げる`~event~handler$ （および対応する`~event~handler ~event型$）も属性として~supportするモノトスル： ◎ The following is the event handler (and its corresponding event handler event type) that must be supported as attribute solely by the XMLHttpRequest object:

`~event~handler$ ◎ event handler	`~event~handler ~event型$ ◎ event handler event type
`onreadystatechange@m	`readystatechange$et

3.4. 状態

%client . `readyState$m: `状態$xhrを返す。 ◎ Returns client’s state.

`readyState@m 取得子~手続きは ⇒ ~RET コレの`状態$xhrが次の表tの 1 列目に挙げるどれに等しいかに応じて，同じ行の 2 列目に示される値： ◎ The readyState getter steps are to return the value from the table below in the cell of the second column, from the row where the value in the cell in the first column is this’s state:

`状態$xhr	値（数量-値）	記述
`未送信^i	`UNSENT@m （ 0 ）	~objは構築-済みである。 ◎ The object has been constructed.
`~openした^i	`OPENED@m （ 1 ）	`open()$m ~methodは成功裡に呼出された。この状態~下では、 `setRequestHeader$m を利用して要請~headerを設定でき， `send$m ~methodを利用して~fetchを起動できる。 ◎ The open() method has been successfully invoked. During this state request headers can be set using setRequestHeader() and the fetch can be initiated using the send() method.
`全~headerを受信した^i	`HEADERS_RECEIVED@m （ 2 ）	すべての~redirect（もしあれば）は追従-済みであり，かつ応答のすべての~headerは受信-済みである。 ◎ All redirects (if any) have been followed and all headers of a response have been received.
`読込n中^i	`LOADING@m （ 3 ）	応答~本体を受信-中にある。 ◎ The response body is being received.
`済み^i	`DONE@m （ 4 ）	~data転送が完了しているか, または転送~中に何らかの不具合が生じた（例えば，際限のない~redirect）。 ◎ The data transfer has been completed or something went wrong during the transfer (e.g., infinite redirects).

3.5. 要請

注記： `XMLHttpRequestUpload$I ~obj上に 1 個~以上の~event~listenerを登録すると，`~CORS予行~要請$が為されることになる。（~event~listenerが登録されると`~upload~listenerはあるか$xhrは ~T になり，それにより`~CORS予行を利用するか$rqも ~T になるので。） ◎ Registering one or more event listeners on an XMLHttpRequestUpload object will result in a CORS-preflight request. (That is because registering an event listener causes the upload listener flag to be set, which in turn causes the use-CORS-preflight flag to be set.)

3.5.1. `open()^m ~method

%client . `open$m(%method, %url [, %async = true [, %username = null [, %password = null]]])

［ `要請~method$xhr, `要請~URL$xhr, `同期的か$xhr ］を設定する。 ◎ Sets the request method, request URL, and synchronous flag.

次のいずれかに該当する場合、 `SyntaxError$E 例外が投出される ⇒＃ %method は妥当な~methodでない／ %url を構文解析できない ◎ Throws a "SyntaxError" DOMException if either method is not a valid method or url cannot be parsed.

次に該当する場合、 `SecurityError$E 例外が投出される ⇒ %method は次のいずれかに文字大小無視で合致する ⇒ `CONNECT^h ／ `TRACE^h ／ `TRACK^h ◎ Throws a "SecurityError" DOMException if method is a case-insensitive match for `CONNECT`, `TRACE`, or `TRACK`.

~AND↓ が満たされている下では、 `InvalidAccessError$E 例外が投出される：

%async ~EQ ~F
`現在の大域~obj$は`~window$である
［ `timeout$m 属性 ~NEQ 0 ］~OR［ `responseType$m 属性 ~NEQ 空~文字列］

◎ Throws an "InvalidAccessError" DOMException if async is false, the current global object is a Window object, and the timeout attribute is not zero or the responseType attribute is not the empty string.

~worker以外での同期的 `XMLHttpRequest$I は、末端利用者をひどく待たせることになりかねないので， ~Web~platformから除去されつつある過程にある（何年もかかるであろう）。開発者は、［ `現在の大域~obj$は`~window$である］場合には， %async 引数に ~F を渡してはナラナイ。 ~UA には、開発者~用~toolにおいて，その種の用法に対し警告することが強く奨励される — それが生じたときに `InvalidAccessError$E 例外を投出するよう、試験的に実装してもよい。 ◎ Synchronous XMLHttpRequest outside of workers is in the process of being removed from the web platform as it has detrimental effects to the end user’s experience. (This is a long process that takes many years.) Developers must not pass false for the async argument when the current global object is a Window object. User agents are strongly encouraged to warn about such usage in developer tools and may experiment with throwing an "InvalidAccessError" DOMException when it occurs.

`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:

~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.
~IF［ %method は`~method$でない］ ⇒ ~THROW `SyntaxError$E ◎ If method is not a method, then throw a "SyntaxError" DOMException.
~IF［ %method は`禁止~method$である］ ⇒ ~THROW `SecurityError$E ◎ If method is a forbidden method, then throw a "SecurityError" DOMException.
%method ~SET `~methodを正規化する$( %method ) ◎ Normalize method.
%構文解析した~URL ~LET `~URLを符号化法の下で相対的に構文解析する$( %url, コレに`関連な設定群~obj$ ) ◎ Let parsedURL be the result of encoding-parsing a URL url, relative to this’s relevant settings object.
~IF［ %構文解析した~URL ~EQ `失敗^i ］ ⇒ ~THROW `SyntaxError$E ◎ If parsedURL is failure, then throw a "SyntaxError" DOMException.
~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.
~IF［ %構文解析した~URL の`~host$url ~NEQ ~NULL ］： ◎ If parsedURL’s host is non-null, then:
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.
~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.
`~fetchを終了する$( コレの`~fetch制御器$xhr ) ◎ Terminate this’s fetch controller.

注記：この時点から，`~fetching$は進行中になり得るようになる。 ◎ A fetch can be ongoing at this point.
コレの ⇒＃ `~send_~flag$xhr ~SET ~F, `~upload~listenerはあるか$xhr ~SET ~F, `要請~method$xhr ~SET %method, `要請~URL$xhr ~SET %構文解析した~URL, `同期的か$xhr ~SET ~IS［ %async ~EQ ~F ］, `応答$xhr ~SET `~network~error$, `受信した~byte列$xhr ~SET 空~byte列, `応答~obj$xhr ~SET ~NULL ◎ Set variables associated with the object as follows: • Unset this’s send() flag. • Unset this’s upload listener flag. • Set this’s request method to method. • Set this’s request URL to parsedURL. • Set this’s synchronous flag if async is false; otherwise unset this’s synchronous flag. • Empty this’s author request headers. • 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.
コレの`作者~要請~header~list$xhrを空にする ◎ ↑
~IF［コレの`状態$xhr ~NEQ `~openした^i ］： ◎ If this’s state is not opened, then:
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.

3.5.2. `setRequestHeader()^m ~method

%client . `setRequestHeader(name, value)$m: %name を名前に伴う既存の要請~headerに %value を付加する — 無い場合、新たなそれを追加する。 ◎ Appends a value to an existing request header or adds a new request header.; ~OR↓ が満たされる場合、 `InvalidStateError$E 例外が投出される ⇒＃ `状態$xhr ~NEQ `~openした^i ／ `~send_~flag$xhr ~EQ ~T ◎ Throws an "InvalidStateError" DOMException if either state is not opened or the send() flag is set.; ~OR↓ が満たされる場合、 `SyntaxError$E 例外が投出される ⇒＃ %name は~header名でない／ %value は~header値でない ◎ Throws a "SyntaxError" DOMException if name is not a header name or if value is not a header value.

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

~IF［コレの`状態$xhr ~NEQ `~openした^i ］ ⇒ ~THROW `InvalidStateError$E ◎ If this’s state is not opened, then throw an "InvalidStateError" DOMException.
~IF［コレの`~send_~flag$xhr ~EQ ~T ］ ⇒ ~THROW `InvalidStateError$E ◎ If this’s send() flag is set, then throw an "InvalidStateError" DOMException.
%value ~SET `値を正規化する$( %value ) ◎ Normalize value.
~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.
~IF［ ( %name, %value ) は`禁止~要請~header$を成す］ ⇒ ~RET ◎ If (name, value) is a forbidden request-header, then return.
コレの`作者~要請~header~list$xhr内で`~headerを結合する$( ( %name, %value ) ) ◎ Combine (name, value) in this’s author request headers.

同じ~headerを重ねて設定した場合に何が起こるかデモるための，単純な~code： ◎ Some simple code demonstrating what happens when setting the same header twice: ◎ // The following script:

var %client = new XMLHttpRequest();
%client.open('GET', 'demo.cgi');
%client.setRequestHeader('X-Test', 'one');
%client.setRequestHeader('X-Test', 'two');
%client.send();

この~scriptによる結果、次の~headerが送信される： ◎ // …results in the following header being sent:

X-Test: one, two

3.5.3. `timeout^m 取得子／設定子

%client . `timeout$m: 時間を~milli秒数で設定できる。 0 でない値に設定された場合、所与の時間が経過した時点で，`~fetching$は終了させられる。その時点で要請がまだ完了していない場合、コレの`同期的か$xhrに応じて［ ~F ならば `timeout$et ~eventが`配送-$される／ ~T ならば `TimeoutError$E 例外が投出される］ことになる（ `send()$m ~methodに対して）。 ◎ Can be set to a time in milliseconds. When set to a non-zero value will cause fetching to terminate after the given time has passed. When the time has passed, the request has not yet completed, and this’s synchronous flag is unset, a timeout event will then be dispatched, or a "TimeoutError" DOMException will be thrown otherwise (for the send() method).; 設定子は、次が満たされている下では， `InvalidAccessError$E 例外を投出する ⇒ ［ `同期的か$xhr ~EQ ~T ］~AND［ `現在の大域~obj$は`~window$である］ ◎ When set: throws an "InvalidAccessError" DOMException if the synchronous flag is set and the current global object is a Window object.

`timeout@m 取得子~手続きは ⇒ ~RET コレの`制限時間$xhr ◎ The timeout getter steps are to return this’s timeout.

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

~IF［ `現在の大域~obj$は`~window$である］~AND［コレの`同期的か$xhr ~EQ ~T ］ ⇒ ~THROW `InvalidAccessError$E ◎ If the current global object is a Window object and this’s synchronous flag is set, then throw an "InvalidAccessError" DOMException.
コレの`制限時間$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.

3.5.4. `withCredentials^m 取得子／設定子

%client . `withCredentials$m: `資格証$が非同一-生成元~要請に含められることになるときは ~T。非同一-生成元~要請から除外され，その応答における~cookieは無視されることになるときは ~F。初期~時は ~F 。 ◎ True when credentials are to be included in a cross-origin request. False when they are to be excluded in a cross-origin request and when cookies are to be ignored in its response. Initially false.; 設定子は、 ~OR↓ が満たされる下では， `InvalidStateError$E 例外を投出する ⇒＃ `状態$xhr ~NIN { `未送信^i, `~openした^i } ／ `~send_~flag$xhr ~EQ ~T ◎ When set: throws an "InvalidStateError" DOMException if state is not unsent or opened, or if the send() flag is set.

`withCredentials@m 取得子~手続きは ⇒ ~RET コレの`非同一-生成元~向け資格証ありか$xhr ◎ The withCredentials getter steps are to return this’s cross-origin credentials.

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

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

3.5.5. `upload^m 取得子

%client . `upload$m: 結付けられた `XMLHttpRequestUpload$I ~objを返す。これを利用すれば、 ~serverへ向けて~dataが転送されるときに，伝送~情報を集めることができる。 ◎ Returns the associated XMLHttpRequestUpload object. It can be used to gather transmission information when data is transferred to a server.

`upload@m 取得子~手続きは ⇒ ~RET コレの`~upload~obj$xhr ◎ The upload getter steps are to return this’s upload object.

3.5.6. `send()^m ~method

%client . `send$m([%body = null]): 要請を起動させる。 %body 引数は、 `要請~本体$xhrを供する（もしあれば）。 `要請~method$xhrが `GET$hm や `HEAD$hm の場合、この引数は無視される。 ◎ Initiates the request. The body argument provides the request body, if any, and is ignored if the request method is GET or HEAD.; ~OR↓ が満たされている下では、 `InvalidStateError$E 例外が投出される ⇒＃ `状態$xhr ~NEQ `~openした^i ／ `~send_~flag$xhr ~EQ ~T ◎ Throws an "InvalidStateError" DOMException if either state is not opened or the send() flag is set.

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

~IF［コレの`状態$xhr ~NEQ `~openした^i ］ ⇒ ~THROW `InvalidStateError$E ◎ If this’s state is not opened, then throw an "InvalidStateError" DOMException.
~IF［コレの`~send_~flag$xhr ~EQ ~T ］ ⇒ ~THROW `InvalidStateError$E ◎ If this’s send() flag is set, then throw an "InvalidStateError" DOMException.
~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.
~IF［ %body ~NEQ ~NULL ］： ◎ If body is not null, then:
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, then:
  1. ~IF［ %body は［ `Document$I ／ `USVString$I ］である］： ◎ If body is a Document or a USVString, then:
    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", then:
        
        %~parameter群[ `charset^l ] ~SET `UTF-8^l ◎ Set contentTypeRecord’s parameters["charset"] to "UTF-8".
        
        `作者~要請~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, %内容~型 ) ) ◎ ↑
~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 flag.
%要請 ~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 flag is set.
- `資格証~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".
コレの`~uploadは完了したか$xhr ~SET ~IS［ %要請の`本体$rq ~EQ ~NULL ］ ◎ Unset this’s upload complete flag. ◎ Unset this’s timed out flag. ◎ If req’s body is null, then set this’s upload complete flag.
コレの`時間切れか$xhr ~SET ~F ◎ ↑
コレの`~send_~flag$xhr ~SET ~T ◎ Set this’s send() flag.
~IF［コレの`同期的か$xhr ~EQ ~F ］： ◎ If this’s synchronous flag is unset, then:
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 flag is unset and this’s upload listener flag is set, then fire a progress event named loadstart at this’s upload object with requestBodyTransmitted and requestBodyLength.
6. ~IF［コレの`状態$xhr ~NEQ `~openした^i ］~OR［コレの`~send_~flag$xhr ~EQ ~F ］ ⇒ ~RET ◎ If this’s state is not opened or this’s send() flag is unset, 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 flag is set, 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 flag.
  2. ~IF［コレの`~upload~listenerはあるか$xhr ~EQ ~T ］ ⇒ ~RET ◎ If this’s upload listener flag is unset, 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 flag and terminate this’s fetch controller.
~ELSE （コレの`同期的か$xhr ~EQ ~T ）： ◎ Otherwise, if this’s synchronous flag is set:
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 flag 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:

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

~IF［ %XHR の`~send_~flag$xhr ~EQ ~F ］ ⇒ ~RET ◎ If xhr’s send() flag is unset, then return.
~IF［ %XHR の`時間切れか$xhr ~EQ ~T ］ ⇒ `要請~error手続きを走らす$( %XHR, `timeout$et, `TimeoutError$E 例外 ) ◎ If xhr’s timed out flag is set, then run the request error steps for xhr, timeout, and "TimeoutError" DOMException.
~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.
~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:

%XHR の`状態$xhr ~SET `済み^i ◎ Set xhr’s state to done.
%XHR の`~send_~flag$xhr ~SET ~F ◎ Unset xhr’s send() flag.
%XHR の`応答$xhr ~SET `~network~error$ ◎ Set xhr’s response to a network error.
~IF［ %XHR の`同期的か$xhr ~EQ ~T ］：
1. ~Assert： %例外 ~NEQ ε 【この段は、この訳による補完。】
2. ~THROW %例外
◎ If xhr’s synchronous flag is set, then throw exception.
`~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 flag is unset.
~IF［ %XHR の`~uploadは完了したか$xhr ~EQ ~F ］： ◎ If xhr’s upload complete flag is unset, then:
1. %XHR の`~uploadは完了したか$xhr ~SET ~T ◎ Set xhr’s upload complete flag.
2. ~IF［ %XHR の`~upload~listenerはあるか$xhr ~EQ ~T ］： ◎ If xhr’s upload listener flag is set, then:
  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.
`進捗~eventを発火する$( %XHR, %~event型, 0, 0 ) ◎ Fire a progress event named event at xhr with 0 and 0.
`進捗~eventを発火する$( %XHR, `loadend$et, 0, 0 ) ◎ Fire a progress event named loadend at xhr with 0 and 0.

3.5.7. `abort()^m ~method

%client . `abort()$m: ~network活動をすべて取消す。 ◎ Cancels any network activity.

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

`~fetchを中止する$( コレの`~fetch制御器$xhr ) ◎ Abort this’s fetch controller.
~IF［［コレの`状態$xhr ~EQ `~openした^i ］~AND［コレの`~send_~flag$xhr ~EQ ~T ］］~OR［コレの`状態$xhr ~IN { `全~headerを受信した^i, `読込n中^i } ］ ⇒ `要請~error手続きを走らす$( コレ, `abort$et ) ◎ If this’s state is opened with this’s send() flag set, headers received, or loading, then run the request error steps for this and abort.
~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.

3.6. 応答

3.6.1. `responseURL^m 取得子

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

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

◎ The responseURL getter steps are to return the empty string if this’s response’s URL is null; otherwise its serialization with the exclude fragment flag set.

3.6.2. `status^m 取得子

`status@m 取得子~手続きは ⇒ ~RET コレの`応答$xhrの`状態s$rs ◎ The status getter steps are to return this’s response’s status.

3.6.3. `statusText^m 取得子

`statusText@m 取得子~手続きは ⇒ ~RET コレの`応答$xhrの`状態s~message$rs ◎ The statusText getter steps are to return this’s response’s status message.

3.6.4. `getResponseHeader()^m ~method

`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]

次の~scriptにおいては： ◎ For the following script:

var %client = new XMLHttpRequest();
%client.open("GET", "unicorns-are-awesome.txt", true);
%client.send();
%client.onreadystatechange = function() {
  if(this.readyState == this.HEADERS_RECEIVED) {
    print(%client.getResponseHeader("Content-Type"));
  }
}

`print()^c 関数は、次と同様の結果を得ることになる： ◎ The print() function will get to process something like:

text/plain; charset=UTF-8

3.6.5. `getAllResponseHeaders()^m ~method

`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:

%出力 ~LET 空~byte列 ◎ Let output be an empty byte sequence.
%初期~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.
%~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.
%~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.
~RET %出力 ◎ Return output.

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

次の~scriptに対し： ◎ For the following script:

var %client = new XMLHttpRequest();
%client.open("GET", "narwhals-too.txt", true);
%client.send();
%client.onreadystatechange = function() {
  if(this.readyState == this.HEADERS_RECEIVED) {
    print(this.getAllResponseHeaders());
  }
}

`print()^c 関数は、次と同類の結果を得ることになる： ◎ The print() function will get to process something like:

connection: Keep-Alive
content-type: text/plain; charset=utf-8
date: Sun, 24 Oct 2004 04:58:38 GMT
keep-alive: timeout=15, max=99
server: Apache/1.3.31 (Unix)
transfer-encoding: chunked

3.6.6. 応答~本体

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

%~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.
~IF［ %~MIME型 ~EQ `失敗^i ］ ⇒ %~MIME型 ~SET `text/xml^c 【 `~MIME型を構文解析する$( `text/xml^l ) 】 ◎ If mimeType is failure, then set mimeType to text/xml.
~RET %~MIME型 ◎ Return mimeType.

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

%上書き~MIME型 ~LET %XHR の`上書き~MIME型$xhr ◎ ↓
~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.
~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:

%~label ~LET ε ◎ Let label be null.
~IF［ %XHR の`上書き~MIME型$xhr ~NEQ ~NULL ］ ⇒ %~label ~SET %XHR の`上書き~MIME型$xhrの`~parameter群$[ `charset^l ] ◎ ↓
~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.
~IF［ %~label ~EQ ε ］ ⇒ ~RET ~NULL ◎ If label is null, then return null.
%符号化法 ~LET `~labelから符号化法を取得する$( %~label ) ◎ Let encoding be the result of getting an encoding from label.
~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:

~IF［ %XHR の`応答$xhrの`本体$rs ~EQ ~NULL, ］ ⇒ ~RET ◎ If xhr’s response’s body is null, then return.
%charset ~LET ~NULL 【この段は、この訳による補完。】
%最終-~MIME型 ~LET `最終-~MIME型を取得する$( %XHR ) ◎ Let finalMIME be the result of get a final MIME type for xhr.
%最終-~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, then: ◎ 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 ◎ ↑↑
~IF［ %charset ~EQ ~NULL ］ ⇒ %charset ~SET `~UTF-8$ ◎ If charset is null, then set charset to UTF-8.
%文書の ⇒＃ `符号化法$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.
%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:

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

3.6.7. `overrideMimeType()^m ~method

%client . `overrideMimeType(mime)$m: 応答の `Content-Type$h ~header値が %mime であったかのように動作する（その~headerを変更することなく）。 ◎ Acts as if the `Content-Type` header value for a response is mime. (It does not change the header.); 次が満たされている下では、 `InvalidStateError$E 例外が投出される ⇒ `状態$xhr ~IN { `読込n中^i, `済み^i } ◎ Throws an "InvalidStateError" DOMException if state is loading or done.

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

~IF［コレの`状態$xhr ~IN { `読込n中^i, `済み^i } ］ ⇒ ~THROW `InvalidStateError$E ◎ If this’s state is loading or done, then throw an "InvalidStateError" DOMException.
コレの`上書き~MIME型$xhr ~SET `~MIME型を構文解析する$( %mime ) ◎ Set this’s override MIME type to the result of parsing mime.
~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.

3.6.8. `responseType^m 取得子／設定子

%client . `responseType$m [ = %value ]

応答の種別を返す。 ◎ Returns the response type.

設定して，応答の種別を変更できる。値は，次に挙げるいずれか ⇒ 空~文字列（既定）, `arraybuffer^l, `blob^l, `document^l, `json^l, `text^l ◎ Can be set to change the response type. Values are: the empty string (default), "arraybuffer", "blob", "document", "json", and "text".

設定子においては： ◎ ↓

`現在の大域~obj$は`~window$でない場合、 `document^l に設定しても無視される。 ◎ When set: setting to "document" is ignored if the current global object is not a Window object.
次が満たされている下では、 `InvalidStateError$E 例外が投出される ⇒ `状態$xhr ~IN { `読込n中^i, `済み^i } ◎ When set: throws an "InvalidStateError" DOMException if state is loading or done.
次が満たされている下では、 `InvalidAccessError$E 例外が投出される ⇒ ［ `同期的か$xhr ~EQ ~T ］~AND［ `現在の大域~obj$は`~window$である］ ◎ When set: throws an "InvalidAccessError" DOMException if the synchronous flag is set and the current global object is a Window object.

`responseType@m 取得子~手続きは ⇒ ~RET コレの`応答~種別$xhr ◎ The responseType getter steps are to return this’s response type.

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

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

3.6.9. `response^m 取得子

%client . `response$m: 応答の本体を返す。 ◎ Returns the response body.

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

~IF［コレの`応答~種別$xhr ~IN { 空~文字列, `text^l } ］： ◎ If this’s response type is the empty string or "text", then:
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.
~IF［コレの`状態$xhr ~NEQ `済み^i ］ ⇒ ~RET ~NULL ◎ If this’s state is not done, then return null.
~IF［コレの`応答~obj$xhr ~EQ `失敗^i ］ ⇒ ~RET ~NULL ◎ If this’s response object is failure, then return null.
~IF［コレの`応答~obj$xhr ~NEQ ~NULL ］ ⇒ ~RET コレの`応答~obj$xhr ◎ If this’s response object is non-null, then return it.
コレの`応答~種別$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.
~RET コレの`応答~obj$xhr ◎ Return this’s response object.

3.6.10. `responseText^m 取得子

%client . `responseText$m: 応答を~textとして返す。 ◎ Returns response as text.; 次が満たされている下では、 `InvalidStateError$E 例外が投出される ⇒ `応答~種別$xhr【！`responseType$m】 ~NIN { 空~文字列, `text^l } ◎ Throws an "InvalidStateError" DOMException if responseType is not the empty string or "text".

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

~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.
~IF［コレの`状態$xhr ~NIN { `読込n中^i, `済み^i } ］ ⇒ ~RET 空~文字列 ◎ If this’s state is not loading or done, then return the empty string.
~RET `~text応答を取得する$( コレ ) ◎ Return the result of getting a text response for this.

3.6.11. `responseXML^m 取得子

%client . `responseXML$m: 応答を文書として返す。 ◎ Returns the response as document.; 次が満たされている下では、 `InvalidStateError$E 例外が投出される ⇒ `応答~種別$xhr【！`responseType$m】 ~NIN { 空~文字列, `document^l } ◎ Throws an "InvalidStateError" DOMException if responseType is not the empty string or "document".

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

~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.
~IF［コレの`状態$xhr ~NEQ `済み^i ］ ⇒ ~RET ~NULL ◎ If this’s state is not done, then return null.
~Assert：コレの`応答~obj$xhr ~NEQ `失敗^i ◎ Assert: this’s response object is not failure.
~IF［コレの`応答~obj$xhr ~NEQ ~NULL ］ ⇒ ~RET コレの`応答~obj$xhr ◎ If this’s response object is non-null, then return it.
`文書~応答を設定する$( コレ ) ◎ Set a document response for this.
~RET コレの`応答~obj$xhr ◎ Return this’s response object.

3.7. ~event要覧

◎非規範的

以下の~eventが［ `XMLHttpRequest$I ／ `XMLHttpRequestUpload$I ］~objに向けて配送される： ◎ The following events are dispatched on XMLHttpRequest or XMLHttpRequestUpload objects:

~event名 ◎ Event name	~interface ◎ Interface	配送-時機 ◎ Dispatched when…
`readystatechange@et	`Event$I	`readyState$m 属性の値が変化したとき。ただし， `UNSENT$m に変化したときは除く。 ◎ The readyState attribute changes value, except when it changes to UNSENT.
`loadstart@et	`ProgressEvent$I	~fetchが起動されたとき。 ◎ The fetch initiates.
`progress@et	`ProgressEvent$I	~dataを伝送しているとき。 ◎ Transmitting data.
`abort@et	`ProgressEvent$I	~fetchが中止されたとき。例えば， `abort()$m ~methodの呼出ngなど。 ◎ When the fetch has been aborted. For instance, by invoking the abort() method.
`error@et	`ProgressEvent$I	~fetchに失敗したとき。 ◎ The fetch failed.
`load@et	`ProgressEvent$I	~fetchに成功したとき。 ◎ The fetch succeeded.
`timeout@et	`ProgressEvent$I	~fetchが完了する前に `timeout$m に指定される時間を過ぎたとき。 ◎ The author specified timeout has passed before the fetch completed.
`loadend@et	`ProgressEvent$I	~fetchが完了したとき（成功, 失敗, いずれに関わらず）。 ◎ The fetch completed (success or failure).

4. ~interface `FormData^I

typedef (`File$I or `USVString$) `FormDataEntryValue@I;

[`Exposed$=(Window,Worker)]
interface `FormData@I {
  `FormData$mc(optional `HTMLFormElement$I %form, optional `HTMLElement$I? %submitter = null);

  `undefined$ `append$m(`USVString$ %name, `USVString$ %value);
  `undefined$ `append$m(`USVString$ %name, `Blob$I %value, optional `USVString$ %filename);
  `undefined$ `delete$m(`USVString$ %name);
  `FormDataEntryValue$I? `get$m(`USVString$ %name);
  `sequence$<`FormDataEntryValue$I> `getAll$m(`USVString$ %name);
  `boolean$ `has$m(`USVString$ %name);
  `undefined$ `set$m(`USVString$ %name, `USVString$ %value);
  `undefined$ `set$m(`USVString$ %name, `Blob$I %value, optional `USVString$ %filename);
  `iterable$m<`USVString$, `FormDataEntryValue$I>;
};

各 `FormData$I ~objには、 `~entry~list@fD が結付けられる — それは、 `~entry~list$であり，初期~時は空とする。 ◎ Each FormData object has an associated entry list (an entry list). It is initially empty.

注記：この節は，［ ~entry~listを成す`~entry$fD, その`名$fDと`値$fD, `~entryを作成する$~algo ］を定義していたが、それらは~HTML標準へ移動された。 `HTML$r ◎ This section used to define entry, an entry’s name and value, and the create an entry algorithm. These definitions have been moved to the HTML Standard. [HTML]

`new FormData(form, submitter)@m 構築子~手続きは： ◎ The new FormData(form, submitter) constructor steps are:

~IF［ %form ~EQ ε ］ ⇒ ~RET ◎ If form is given, then:
~IF［ %submitter ~NEQ ~NULL ］： ◎ If submitter is non-null, then:
1. ~IF［ %submitter は`提出-~button$でない］ ⇒ ~THROW `TypeError$E ◎ If submitter is not a submit button, then throw a TypeError.
2. ~IF［ %submitter の`~form所有者$ ~NEQ %form ］ ⇒ ~THROW `NotFoundError$E ◎ If submitter’s form owner is not form, then throw a "NotFoundError" DOMException.
%~list ~LET `~entry~listを構築する$( %form, %submitter ) ◎ Let list be the result of constructing the entry list for form and submitter.
~IF［ %~list ~EQ ~NULL ］ ⇒ ~THROW `InvalidStateError$E ◎ If list is null, then throw an "InvalidStateError" DOMException.
コレの`~entry~list$fD ~SET %~list ◎ Set this’s entry list to list.

`append(name, value, filename)@m ~method手続きは： ◎ The append(name, value) and append(name, blobValue, filename) method steps are: • Let value be value if given; otherwise blobValue.

%~entry ~LET `~entryを作成する$( %name, %value, %filename ) — %filename は与えられていない場合は省略する ◎ Let entry be the result of creating an entry with name, value, and filename if given.
コレの`~entry~list$fDに %~entry を`付加する$ ◎ Append entry to this’s entry list.

◎ （和訳には不要なメタ情報） The reason there is an argument named value as well as blobValue is due to a limitation of the editing software used to write the XMLHttpRequest Standard.

`delete(name)@m ~method手続きは ⇒ コレの`~entry~list$fDから次を満たす`~entry$fDをすべて`除去する$ ⇒ `名$fD ~EQ %name ◎ The delete(name) method steps are to remove all entries whose name is name from this’s entry list.

`get(name)@m ~method手続きは ⇒ ~RET コレの`~entry~list$fD内に次を満たす`~entry$fDは［在るならばそれらのうち最初のものの`値$fD ／無いならば ~NULL ］ ⇒ `名$fD ~EQ %name ◎ The get(name) method steps are: • If there is no entry whose name is name in this’s entry list, then return null. • Return the value of the first entry whose name is name from this’s entry list.

`getAll(name)@m ~method手続きは ⇒ ~RET コレの`~entry~list$fD内の［次を満たす`~entry$fDすべての`値$fD ］からなる同順の~list（無ければ空~list） ⇒ `名$fD ~EQ %name ◎ The getAll(name) method steps are: • If there is no entry whose name is name in this’s entry list, then return the empty list. • Return the values of all entries whose name is name, in order, from this’s entry list.

`has(name)@m ~method手続きは ⇒ ~RET ~IS［コレの`~entry~list$fD内に次を満たす`~entry$fDは在る］ ⇒ `名$fD ~EQ %name ◎ The has(name) method steps are to return true if there is an entry whose name is name in this’s entry list; otherwise false.

`set(name, value, filename)@m ~method手続きは： ◎ The set(name, value) and set(name, blobValue, filename) method steps are: • Let value be value if given; otherwise blobValue.

%~entry ~LET `~entryを作成する$( %name, %value, %filename ) — %filename は与えられていない場合は省略する ◎ Let entry be the result of creating an entry with name, value, and filename if given.
~IF［コレの`~entry~list$fD内に次を満たす`~entry$fDは在る］… ⇒ `名$fD ~EQ %name ◎終 …ならば ⇒ 該当する`~entry$fDのうち ⇒＃最初のものは %~entry に`置換する$, 他のものはすべて`除去する$ ◎ If there are entries in this’s entry list whose name is name, then replace the first such entry with entry and remove the others.
~ELSE ⇒ コレの`~entry~list$fDに %~entry を`付加する$ ◎ Otherwise, append entry to this’s entry list.

◎ （和訳には不要なメタ情報） The reason there is an argument named value as well as blobValue is due to a limitation of the editing software used to write the XMLHttpRequest Standard.

`iterable@m における`反復される値~pair群$を成す各~pairを成す ( ~key, 値 ) は、コレの`~entry~list$fDを成す各`~entry$fDの ( `名$fD, `値$fD ) で与えられるとする。 ◎ The value pairs to iterate over are this’s entry list’s entries with the key being the name and the value being the value.

5. ~interface `ProgressEvent^I

[`Exposed$=(Window,Worker)]
interface `ProgressEvent@I : `Event$I {
  `ProgressEvent@mc(`DOMString$ %type, optional `ProgressEventInit$I %eventInitDict = {});

  readonly attribute `boolean$ `lengthComputable$m;
  readonly attribute `double$ `loaded$m;
  readonly attribute `double$ `total$m;
};

dictionary `ProgressEventInit@I : `EventInit$I {
  `boolean$ `lengthComputable@mb = false;
  `double$ `loaded@mb = 0;
  `double$ `total@mb = 0;
};

`ProgressEvent$I ~interfaceを利用する`~event$は、何らかの進捗を指示する。 ◎ Events using the ProgressEvent interface indicate some kind of progression.

`lengthComputable@m, `loaded@m, `total@m 取得子~手続きは、いずれも，各自の初期化-時の値を返す。 ◎ The lengthComputable, loaded, and total getter steps are to return the value they were initialized to.

5.1. `ProgressEvent^I ~interfaceを利用する~eventの発火-法

`進捗~eventを発火する@ ~algoは、所与の ( %target, %e, %伝送量, %長さ ) に対し ⇒ `~eventを発火する$( %target, %e, `ProgressEvent$I ) — 次のように初期化して ⇒＃ `loaded$m 属性 ~SET %伝送量, `lengthComputable$m 属性 ~SET ~IS［ %長さ ~NEQ 0 ］, `total$m 属性 ~SET %長さ ◎ To fire a progress event named e at target, given transmitted and length, means to fire an event named e at target, using ProgressEvent, with the loaded attribute initialized to transmitted, and if length is not 0, with the lengthComputable attribute initialized to true and the total attribute initialized to length.

5.2. `ProgressEvent^I ~interfaceを利用する~eventに示唆される名前

◎非規範的

下の表tに， `ProgressEvent$I ~interfaceを利用する`~event$に示唆される `type$m 属性の値を要約する。仕様の編集者が，その仕様に特有な局面に応じて~~調整してもかまわないが、 ~~問題に馴染みのある人達からの~~意見を汲むために，その用法について WHATWG ~communityにて論を交わすことが強く奨励される。 ◎ The suggested type attribute values for use with events using the ProgressEvent interface are summarized in the table below. Specification editors are free to tune the details to their specific scenarios, though are strongly encouraged to discuss their usage with the WHATWG community to ensure input from people familiar with the subject.

`type$m ◎ type attribute value	記述 ◎ Description	回数 ◎ Times	時機 ◎ When
`loadstart$et	進捗が始まった。 ◎ Progress has begun.	1 回 ◎ Once.	最初。 ◎ First.
`progress$et	進捗~中。 ◎ In progress.	1 回以上 ◎ Once or more.	`loadstart$et が`配送-$された後。 ◎ After loadstart has been dispatched.
`error$et	進捗に失敗した。 ◎ Progression failed.	高々 1 回（排他的） ◎ Zero or once (mutually exclusive).	最後の `progress$et が`配送-$された後。 ◎ After the last progress has been dispatched.
`abort$et	進捗は中止された【！終了した】。 ◎ Progression is terminated.
`timeout$et	進捗は時間~切れに因り終了した。 ◎ Progression is terminated due to preset time expiring.
`load$et	進捗は成功裡に終わった。 ◎ Progression is successful.
`loadend$et	進捗は停止された。 ◎ Progress has stopped.	1 回 ◎ Once.	`error$et, `abort$et, `timeout$et, `load$et のいずれかが`配送-$された後。 ◎ After one of error, abort, timeout or load has been dispatched.

~event型［ `error$et, `abort$et, `timeout$et, `load$et ］は、互いに排他的である。 ◎ The error, abort, timeout, and load event types are mutually exclusive.

~Web~platform全般に渡り，~event型［ `error$et, `abort$et, `timeout$et, `load$et ］の［ `bubbles$m, `cancelable$m ］属性は、どちらも ~F に初期化される。なので、一貫性を保つため， `ProgressEvent$I ~interfaceを利用するすべての`~event$も同様にすることが示唆される。 ◎ Throughout the web platform the error, abort, timeout and load event types have their bubbles and cancelable attributes initialized to false, so it is suggested that for consistency all events using the ProgressEvent interface do the same.

5.3. ~securityの考慮点

非同一-生成元~要請に対しては、 `ProgressEvent$I ~interfaceを利用する`~event$を`配送-$するに先立って，ある種の~opt-in — 例： `FETCH$r にて定義される`~CORS~protocol$ — を利用する必要がある。さもなければ、他では得せない情報（例：~size）が露呈されるので。 ◎ For cross-origin requests some kind of opt-in, e.g., the CORS protocol defined in the Fetch Standard, has to be used before events using the ProgressEvent interface are dispatched as information (e.g., size) would be revealed that cannot be obtained otherwise. [FETCH]

5.4. 例

次の例では、 `XMLHttpRequest$I に上の各~節にて定義した概念が組合され，資源を~fetchしている過程を表示するために~HTML `progress$e 要素が利用される。 ◎ In this example XMLHttpRequest, combined with concepts defined in the sections before, and the HTML progress element are used together to display the process of fetching a resource.

<!DOCTYPE html>
<title>Waiting for Magical Unicorns</title>
<progress id=p></progress>
<script>
  var %progressBar = document.getElementById("p"),
      %client = new XMLHttpRequest()
  %client.open("GET", "magical-unicorns")
  %client.onprogress = function(%pe) {
    if(%pe.lengthComputable) {
      %progressBar.max = %pe.total
      %progressBar.value = %pe.loaded
    }
  }
  %client.onloadend = function(%pe) {
    %progressBar.value = %pe.loaded
  }
  %client.send()
</script>

もちろん，全部的に~~機能する~codeは、より精巧かつ，より多くの局面 — ~network~errorが生じたとき, 末端利用者が当の要請を終了させたとき, など — を処するものになろうが。 ◎ Fully working code would of course be more elaborate and deal with more scenarios, such as network errors or the end user terminating the request.

謝辞

この標準に貢献された、次の方々に感謝する：

`_acks1@

Windows Internet Explorer にて初めて実装し， `XMLHttpRequest$I ~interfaceを最初に広めた Microsoft の開発者たちに特別な謝意を。 ◎ Special thanks to the Microsoft employees who first implemented the XMLHttpRequest interface, which was first widely deployed by the Windows Internet Explorer browser.

HTML Standard （ Web Applications 1.0 ）にて、この仕様の初期~versionを草案~化された Ian Hickson 氏に特別な謝意を。 `HTML$r ◎ Special thanks to Ian Hickson for drafting an initial version of this specification in the HTML Standard (then Web Applications 1.0). [HTML]

`SVG Micro DOM＠https://www.w3.org/TR/2008/REC-SVGTiny12-20081222/svgudom.html$ の一部として、元々の `ProgressEvent^I ~classの草案を作成した W3C SVG WG に特別な謝意を。 ◎ Special thanks to the W3C SVG WG for drafting the original ProgressEvent class as part of the SVG Micro DOM.

This standard is written by Anne van Kesteren (Apple, annevk@annevk.nl).

知的財産権

`_ipr1@