| 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');
|
| +}
|
|
|