Index: client/html/src/WorkerWrappingImplementation.dart |
diff --git a/client/html/src/WorkerWrappingImplementation.dart b/client/html/src/WorkerWrappingImplementation.dart |
deleted file mode 100644 |
index 5f59f0ca613edea2492051f60d6eab36baf3043b..0000000000000000000000000000000000000000 |
--- a/client/html/src/WorkerWrappingImplementation.dart |
+++ /dev/null |
@@ -1,36 +0,0 @@ |
-// Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file |
-// for details. All rights reserved. Use of this source code is governed by a |
-// BSD-style license that can be found in the LICENSE file. |
- |
-class WorkerEventsImplementation extends AbstractWorkerEventsImplementation |
- implements WorkerEvents { |
- WorkerEventsImplementation._wrap(_ptr) : super._wrap(_ptr); |
- |
- EventListenerList get message() => _get('message'); |
-} |
- |
-class WorkerWrappingImplementation extends EventTargetWrappingImplementation implements Worker { |
- WorkerWrappingImplementation._wrap(ptr) : super._wrap(ptr) {} |
- |
- void postMessage(String message, [MessagePort messagePort = null]) { |
- if (messagePort === null) { |
- _ptr.postMessage(message); |
- return; |
- } else { |
- _ptr.postMessage(message, LevelDom.unwrap(messagePort)); |
- return; |
- } |
- } |
- |
- void terminate() { |
- _ptr.terminate(); |
- return; |
- } |
- |
- WorkerEvents get on() { |
- if (_on === null) { |
- _on = new WorkerEventsImplementation._wrap(_ptr); |
- } |
- return _on; |
- } |
-} |