Index: client/html/generated/html/dartium/Worker.dart |
diff --git a/client/html/generated/html/dartium/Worker.dart b/client/html/generated/html/dartium/Worker.dart |
new file mode 100644 |
index 0000000000000000000000000000000000000000..63ce741e34e0cc95ab2cbabbd19867f0a5801712 |
--- /dev/null |
+++ b/client/html/generated/html/dartium/Worker.dart |
@@ -0,0 +1,40 @@ |
+ |
+class _WorkerImpl extends _AbstractWorkerImpl implements Worker { |
+ _WorkerImpl._wrap(ptr) : super._wrap(ptr); |
+ |
+ _WorkerEventsImpl get on() { |
+ if (_on == null) _on = new _WorkerEventsImpl(this); |
+ return _on; |
+ } |
+ |
+ void postMessage(Dynamic message, [List messagePorts = null]) { |
+ if (messagePorts === null) { |
+ _ptr.postMessage(_unwrap(message)); |
+ return; |
+ } else { |
+ _ptr.postMessage(_unwrap(message), _unwrap(messagePorts)); |
+ return; |
+ } |
+ } |
+ |
+ void terminate() { |
+ _ptr.terminate(); |
+ return; |
+ } |
+ |
+ void webkitPostMessage(Dynamic message, [List messagePorts = null]) { |
+ if (messagePorts === null) { |
+ _ptr.webkitPostMessage(_unwrap(message)); |
+ return; |
+ } else { |
+ _ptr.webkitPostMessage(_unwrap(message), _unwrap(messagePorts)); |
+ return; |
+ } |
+ } |
+} |
+ |
+class _WorkerEventsImpl extends _AbstractWorkerEventsImpl implements WorkerEvents { |
+ _WorkerEventsImpl(_ptr) : super(_ptr); |
+ |
+ EventListenerList get message() => _get('message'); |
+} |