Index: client/html/generated/html/dartium/WebSocket.dart |
diff --git a/client/html/generated/html/dartium/WebSocket.dart b/client/html/generated/html/dartium/WebSocket.dart |
index 7b7de0ce2ac1eca4ff266ccd36c47ed7be8b41a1..76746e397c1bb3542deb8057ba00a32369992eb5 100644 |
--- a/client/html/generated/html/dartium/WebSocket.dart |
+++ b/client/html/generated/html/dartium/WebSocket.dart |
@@ -2,6 +2,11 @@ |
class _WebSocketImpl extends _EventTargetImpl implements WebSocket { |
_WebSocketImpl._wrap(ptr) : super._wrap(ptr); |
+ _WebSocketEventsImpl get on() { |
+ if (_on == null) _on = new _WebSocketEventsImpl(this); |
+ return _on; |
+ } |
+ |
String get URL() => _wrap(_ptr.URL); |
String get binaryType() => _wrap(_ptr.binaryType); |
@@ -18,11 +23,6 @@ class _WebSocketImpl extends _EventTargetImpl implements WebSocket { |
String get url() => _wrap(_ptr.url); |
- _WebSocketEventsImpl get on() { |
- if (_on == null) _on = new _WebSocketEventsImpl(this); |
- return _on; |
- } |
- |
void _addEventListener(String type, EventListener listener, [bool useCapture = null]) { |
if (useCapture === null) { |
_ptr.addEventListener(_unwrap(type), _unwrap(listener)); |