| OLD | NEW |
| 1 // Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file |
| 2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
| 3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
| 4 | 4 |
| 5 // WARNING: | 5 // WARNING: |
| 6 // This file contains documentation that is merged into the real source. | 6 // This file contains documentation that is merged into the real source. |
| 7 // Do not make code changes here. | 7 // Do not make code changes here. |
| 8 | 8 |
| 9 /** |
| 10 * HttpRequest is Dart's name for the XMLHttpRequest object, as described below. |
| 11 */ |
| 12 |
| 9 /// @domName XMLHttpRequest | 13 /// @domName XMLHttpRequest |
| 10 interface XMLHttpRequest extends EventTarget default _XMLHttpRequestFactoryProvi
der { | 14 interface HttpRequest extends EventTarget default _XMLHttpRequestFactoryProvider
{ |
| 11 // TODO(rnystrom): This name should just be "get" which is valid in Dart, but | 15 // TODO(rnystrom): This name should just be "get" which is valid in Dart, but |
| 12 // not correctly implemented yet. (b/4970173) | 16 // not correctly implemented yet. (b/4970173) |
| 13 XMLHttpRequest.get(String url, onSuccess(XMLHttpRequest request)); | 17 HttpRequest.get(String url, onSuccess(HttpRequest request)); |
| 14 | 18 |
| 15 XMLHttpRequest(); | 19 HttpRequest(); |
| 16 | 20 |
| 17 /** | 21 /** |
| 18 * @domName EventTarget.addEventListener, EventTarget.removeEventListener, Eve
ntTarget.dispatchEvent | 22 * @domName EventTarget.addEventListener, EventTarget.removeEventListener, Eve
ntTarget.dispatchEvent |
| 19 */ | 23 */ |
| 20 XMLHttpRequestEvents get on(); | 24 HttpRequestEvents get on(); |
| 21 | 25 |
| 22 static final int DONE = 4; | 26 static final int DONE = 4; |
| 23 | 27 |
| 24 static final int HEADERS_RECEIVED = 2; | 28 static final int HEADERS_RECEIVED = 2; |
| 25 | 29 |
| 26 static final int LOADING = 3; | 30 static final int LOADING = 3; |
| 27 | 31 |
| 28 static final int OPENED = 1; | 32 static final int OPENED = 1; |
| 29 | 33 |
| 30 static final int UNSENT = 0; | 34 static final int UNSENT = 0; |
| (...skipping 19 matching lines...) Expand all Loading... |
| 50 /** @domName XMLHttpRequest.responseXML */ | 54 /** @domName XMLHttpRequest.responseXML */ |
| 51 final Document responseXML; | 55 final Document responseXML; |
| 52 | 56 |
| 53 /** @domName XMLHttpRequest.status */ | 57 /** @domName XMLHttpRequest.status */ |
| 54 final int status; | 58 final int status; |
| 55 | 59 |
| 56 /** @domName XMLHttpRequest.statusText */ | 60 /** @domName XMLHttpRequest.statusText */ |
| 57 final String statusText; | 61 final String statusText; |
| 58 | 62 |
| 59 /** @domName XMLHttpRequest.upload */ | 63 /** @domName XMLHttpRequest.upload */ |
| 60 final XMLHttpRequestUpload upload; | 64 final HttpRequestUpload upload; |
| 61 | 65 |
| 62 /** @domName XMLHttpRequest.withCredentials */ | 66 /** @domName XMLHttpRequest.withCredentials */ |
| 63 bool withCredentials; | 67 bool withCredentials; |
| 64 | 68 |
| 65 /** @domName XMLHttpRequest.abort */ | 69 /** @domName XMLHttpRequest.abort */ |
| 66 void abort(); | 70 void abort(); |
| 67 | 71 |
| 68 /** @domName XMLHttpRequest.addEventListener */ | 72 /** @domName XMLHttpRequest.addEventListener */ |
| 69 void $dom_addEventListener(String type, EventListener listener, [bool useCaptu
re]); | 73 void $dom_addEventListener(String type, EventListener listener, [bool useCaptu
re]); |
| 70 | 74 |
| (...skipping 15 matching lines...) Expand all Loading... |
| 86 /** @domName XMLHttpRequest.removeEventListener */ | 90 /** @domName XMLHttpRequest.removeEventListener */ |
| 87 void $dom_removeEventListener(String type, EventListener listener, [bool useCa
pture]); | 91 void $dom_removeEventListener(String type, EventListener listener, [bool useCa
pture]); |
| 88 | 92 |
| 89 /** @domName XMLHttpRequest.send */ | 93 /** @domName XMLHttpRequest.send */ |
| 90 void send([data]); | 94 void send([data]); |
| 91 | 95 |
| 92 /** @domName XMLHttpRequest.setRequestHeader */ | 96 /** @domName XMLHttpRequest.setRequestHeader */ |
| 93 void setRequestHeader(String header, String value); | 97 void setRequestHeader(String header, String value); |
| 94 } | 98 } |
| 95 | 99 |
| 96 interface XMLHttpRequestEvents extends Events { | 100 interface HttpRequestEvents extends Events { |
| 97 | 101 |
| 98 EventListenerList get abort(); | 102 EventListenerList get abort(); |
| 99 | 103 |
| 100 EventListenerList get error(); | 104 EventListenerList get error(); |
| 101 | 105 |
| 102 EventListenerList get load(); | 106 EventListenerList get load(); |
| 103 | 107 |
| 104 EventListenerList get loadEnd(); | 108 EventListenerList get loadEnd(); |
| 105 | 109 |
| 106 EventListenerList get loadStart(); | 110 EventListenerList get loadStart(); |
| 107 | 111 |
| 108 EventListenerList get progress(); | 112 EventListenerList get progress(); |
| 109 | 113 |
| 110 EventListenerList get readyStateChange(); | 114 EventListenerList get readyStateChange(); |
| 111 } | 115 } |
| OLD | NEW |