| Index: client/html/generated/html/dartium/DedicatedWorkerContext.dart
|
| diff --git a/client/html/generated/html/dartium/DedicatedWorkerContext.dart b/client/html/generated/html/dartium/DedicatedWorkerContext.dart
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..1eeca9324e669df0f8d0a4bbf4063fddb1e70556
|
| --- /dev/null
|
| +++ b/client/html/generated/html/dartium/DedicatedWorkerContext.dart
|
| @@ -0,0 +1,28 @@
|
| +
|
| +class _DedicatedWorkerContextImpl extends _WorkerContextImpl implements DedicatedWorkerContext {
|
| + _DedicatedWorkerContextImpl._wrap(ptr) : super._wrap(ptr);
|
| +
|
| + EventListener get onmessage() => _wrap(_ptr.onmessage);
|
| +
|
| + void set onmessage(EventListener value) { _ptr.onmessage = _unwrap(value); }
|
| +
|
| + void postMessage(Object message, [List messagePorts = null]) {
|
| + if (messagePorts === null) {
|
| + _ptr.postMessage(_unwrap(message));
|
| + return;
|
| + } else {
|
| + _ptr.postMessage(_unwrap(message), _unwrap(messagePorts));
|
| + return;
|
| + }
|
| + }
|
| +
|
| + void webkitPostMessage(Object message, [List transferList = null]) {
|
| + if (transferList === null) {
|
| + _ptr.webkitPostMessage(_unwrap(message));
|
| + return;
|
| + } else {
|
| + _ptr.webkitPostMessage(_unwrap(message), _unwrap(transferList));
|
| + return;
|
| + }
|
| + }
|
| +}
|
|
|