| OLD | NEW |
| (Empty) |
| 1 // Copyright (c) 2012, 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 // WARNING: | |
| 6 // This file contains documentation that is merged into the real source. | |
| 7 // Do not make code changes here. | |
| 8 | |
| 9 /// @domName EventSource | |
| 10 interface EventSource extends EventTarget default _EventSourceFactoryProvider { | |
| 11 | |
| 12 EventSource(String scriptUrl); | |
| 13 | |
| 14 /** | |
| 15 * @domName EventTarget.addEventListener, EventTarget.removeEventListener, Eve
ntTarget.dispatchEvent | |
| 16 */ | |
| 17 EventSourceEvents get on(); | |
| 18 | |
| 19 static final int CLOSED = 2; | |
| 20 | |
| 21 static final int CONNECTING = 0; | |
| 22 | |
| 23 static final int OPEN = 1; | |
| 24 | |
| 25 /** @domName EventSource.URL */ | |
| 26 final String URL; | |
| 27 | |
| 28 /** @domName EventSource.readyState */ | |
| 29 final int readyState; | |
| 30 | |
| 31 /** @domName EventSource.url */ | |
| 32 final String url; | |
| 33 | |
| 34 /** @domName EventSource.addEventListener */ | |
| 35 void $dom_addEventListener(String type, EventListener listener, [bool useCaptu
re]); | |
| 36 | |
| 37 /** @domName EventSource.close */ | |
| 38 void close(); | |
| 39 | |
| 40 /** @domName EventSource.dispatchEvent */ | |
| 41 bool $dom_dispatchEvent(Event evt); | |
| 42 | |
| 43 /** @domName EventSource.removeEventListener */ | |
| 44 void $dom_removeEventListener(String type, EventListener listener, [bool useCa
pture]); | |
| 45 } | |
| 46 | |
| 47 interface EventSourceEvents extends Events { | |
| 48 | |
| 49 EventListenerList get error(); | |
| 50 | |
| 51 EventListenerList get message(); | |
| 52 | |
| 53 EventListenerList get open(); | |
| 54 } | |
| OLD | NEW |