- From: Domenic Denicola <notifications@github.com>
- Date: Fri, 04 Jun 2021 06:15:18 -0700
- To: heycam/webidl <webidl@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Friday, 4 June 2021 13:16:09 UTC
@domenic commented on this pull request.
> +
+ <p class="note">This will throw an exception if |arrayBuffer| has an \[[ArrayBufferDetachKey]]
+ that is not undefined, such as a {{Memory|WebAssembly.Memory}}'s {{Memory/buffer}}.
+ [[WASM-JS-API-1]]
+</div>
+
+<div algorithm>
+ To <dfn for="ArrayBuffer" export>transfer</dfn> an {{ArrayBuffer}} |arrayBuffer|, optionally
+ given a [=Realm=] |realm|:
+
+ 1. Asssert: [=!=] [$IsSharedArrayBuffer$](|arrayBuffer|) is false.
+ 1. Assert: [=!=] [$IsDetachedBuffer$](|arrayBuffer|) is false.
+ 1. Let |arrayBufferData| be |arrayBuffer|.\[[ArrayBufferData]].
+ 1. Let |arrayBufferByteLength| be |arrayBuffer|.\[[ArrayBufferByteLength]].
+ 1. Perform [=?=] [$DetachArrayBuffer$](|arrayBuffer|).
+ 1. If |realm| is not given, let |realm| be |arrayBuffer|.\[[Realm]].
Hmm, right. I guess that is why streams uses the current Realm. Probably that's the right fallback here.
--
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/heycam/webidl/pull/987#discussion_r645560872
Received on Friday, 4 June 2021 13:16:09 UTC