Index: client/html/generated/html/frog/EventSource.dart |
diff --git a/client/html/generated/html/frog/EventSource.dart b/client/html/generated/html/frog/EventSource.dart |
new file mode 100644 |
index 0000000000000000000000000000000000000000..d4cb4eb17b18145ff13c0efe3ac75603e76b1fbb |
--- /dev/null |
+++ b/client/html/generated/html/frog/EventSource.dart |
@@ -0,0 +1,36 @@ |
+ |
+class _EventSourceImpl extends _EventTargetImpl implements EventSource native "*EventSource" { |
+ |
+ static final int CLOSED = 2; |
+ |
+ static final int CONNECTING = 0; |
+ |
+ static final int OPEN = 1; |
+ |
+ final String URL; |
+ |
+ final int readyState; |
+ |
+ final String url; |
+ |
+ _EventSourceEventsImpl get on() => |
+ new _EventSourceEventsImpl(this); |
+ |
+ void _addEventListener(String type, EventListener listener, [bool useCapture = null]) native "this.addEventListener(type, listener, useCapture);"; |
+ |
+ void close() native; |
+ |
+ bool _dispatchEvent(_EventImpl evt) native "return this.dispatchEvent(evt);"; |
+ |
+ void _removeEventListener(String type, EventListener listener, [bool useCapture = null]) native "this.removeEventListener(type, listener, useCapture);"; |
+} |
+ |
+class _EventSourceEventsImpl extends _EventsImpl implements EventSourceEvents { |
+ _EventSourceEventsImpl(_ptr) : super(_ptr); |
+ |
+ EventListenerList get error() => _get('error'); |
+ |
+ EventListenerList get message() => _get('message'); |
+ |
+ EventListenerList get open() => _get('open'); |
+} |