| OLD | NEW |
| (Empty) |
| 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 | |
| 3 // BSD-style license that can be found in the LICENSE file. | |
| 4 | |
| 5 interface XMLHttpRequestEvents extends Events { | |
| 6 EventListenerList get abort(); | |
| 7 EventListenerList get error(); | |
| 8 EventListenerList get load(); | |
| 9 EventListenerList get loadStart(); | |
| 10 EventListenerList get progress(); | |
| 11 EventListenerList get readyStateChange(); | |
| 12 } | |
| 13 | |
| 14 interface XMLHttpRequest extends EventTarget default XMLHttpRequestWrappingImple
mentation { | |
| 15 static final int DONE = 4; | |
| 16 | |
| 17 static final int HEADERS_RECEIVED = 2; | |
| 18 | |
| 19 static final int LOADING = 3; | |
| 20 | |
| 21 static final int OPENED = 1; | |
| 22 | |
| 23 static final int UNSENT = 0; | |
| 24 | |
| 25 XMLHttpRequest(); | |
| 26 | |
| 27 // TODO(rnystrom): This name should just be "get" which is valid in Dart, but | |
| 28 // not correctly implemented yet. (b/4970173) | |
| 29 XMLHttpRequest.getTEMPNAME(String url, onSuccess(XMLHttpRequest request)); | |
| 30 | |
| 31 int get readyState(); | |
| 32 | |
| 33 String get responseText(); | |
| 34 | |
| 35 String get responseType(); | |
| 36 | |
| 37 void set responseType(String value); | |
| 38 | |
| 39 XMLDocument get responseXML(); | |
| 40 | |
| 41 int get status(); | |
| 42 | |
| 43 String get statusText(); | |
| 44 | |
| 45 XMLHttpRequestUpload get upload(); | |
| 46 | |
| 47 bool get withCredentials(); | |
| 48 | |
| 49 void set withCredentials(bool value); | |
| 50 | |
| 51 void abort(); | |
| 52 | |
| 53 String getAllResponseHeaders(); | |
| 54 | |
| 55 String getResponseHeader(String header); | |
| 56 | |
| 57 void open(String method, String url, bool async, [String user, String password
]); | |
| 58 | |
| 59 void overrideMimeType(String mime); | |
| 60 | |
| 61 void send([String data]); | |
| 62 | |
| 63 void setRequestHeader(String header, String value); | |
| 64 | |
| 65 XMLHttpRequestEvents get on(); | |
| 66 } | |
| OLD | NEW |