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 |
deleted file mode 100644 |
index 63ce741e34e0cc95ab2cbabbd19867f0a5801712..0000000000000000000000000000000000000000 |
--- a/client/html/generated/html/dartium/Worker.dart |
+++ /dev/null |
@@ -1,40 +0,0 @@ |
- |
-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'); |
-} |