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