#pragma warning disable CA1859 // Use concrete types when possible for improved performance -- most of prototype methods return JsValue using Jint.Native.Object; using Jint.Native.Symbol; using Jint.Runtime; using Jint.Runtime.Descriptors; using Jint.Runtime.Interop; namespace Jint.Native.ArrayBuffer; /// /// https://tc39.es/ecma262/#sec-properties-of-the-arraybuffer-prototype-object /// internal sealed class ArrayBufferPrototype : Prototype { private readonly ArrayBufferConstructor _constructor; internal ArrayBufferPrototype( Engine engine, ArrayBufferConstructor constructor, ObjectPrototype objectPrototype) : base(engine, engine.Realm) { _prototype = objectPrototype; _constructor = constructor; } protected override void Initialize() { const PropertyFlag lengthFlags = PropertyFlag.Configurable; var properties = new PropertyDictionary(4, checkExistingKeys: false) { ["byteLength"] = new GetSetPropertyDescriptor(new ClrFunction(_engine, "get byteLength", ByteLength, 0, lengthFlags), Undefined, PropertyFlag.Configurable), [KnownKeys.Constructor] = new PropertyDescriptor(_constructor, PropertyFlag.NonEnumerable), ["detached"] = new GetSetPropertyDescriptor(new ClrFunction(_engine, "get detached", Detached, 0, lengthFlags), Undefined, PropertyFlag.Configurable), ["maxByteLength"] = new GetSetPropertyDescriptor(new ClrFunction(_engine, "get maxByteLength", MaxByteLength, 0, lengthFlags), Undefined, PropertyFlag.Configurable), ["resizable"] = new GetSetPropertyDescriptor(new ClrFunction(_engine, "get resizable", Resizable, 0, lengthFlags), Undefined, PropertyFlag.Configurable), ["resize"] = new PropertyDescriptor(new ClrFunction(_engine, "resize", Resize, 1, lengthFlags), PropertyFlag.NonEnumerable), ["slice"] = new PropertyDescriptor(new ClrFunction(_engine, "slice", Slice, 2, lengthFlags), PropertyFlag.NonEnumerable), ["transfer"] = new PropertyDescriptor(new ClrFunction(_engine, "transfer", Transfer, 0, lengthFlags), PropertyFlag.NonEnumerable), ["transferToFixedLength"] = new PropertyDescriptor(new ClrFunction(_engine, "transferToFixedLength", TransferToFixedLength, 0, lengthFlags), PropertyFlag.NonEnumerable), }; SetProperties(properties); var symbols = new SymbolDictionary(1) { [GlobalSymbolRegistry.ToStringTag] = new PropertyDescriptor("ArrayBuffer", PropertyFlag.Configurable) }; SetSymbols(symbols); } private JsValue Detached(JsValue thisObject, JsCallArguments arguments) { var o = thisObject as JsArrayBuffer; if (o is null || o.IsSharedArrayBuffer) { Throw.TypeError(_realm, "Method ArrayBuffer.prototype.detached called on incompatible receiver " + thisObject); } return o.IsDetachedBuffer; } /// /// https://tc39.es/ecma262/#sec-get-arraybuffer.prototype.maxbytelength /// private JsValue MaxByteLength(JsValue thisObject, JsCallArguments arguments) { var o = thisObject as JsArrayBuffer; if (o is null || o.IsSharedArrayBuffer) { Throw.TypeError(_realm, "Method ArrayBuffer.prototype.maxByteLength called on incompatible receiver " + thisObject); } if (o.IsDetachedBuffer) { return JsNumber.PositiveZero; } long length = o.IsFixedLengthArrayBuffer ? o.ArrayBufferByteLength : o._arrayBufferMaxByteLength.GetValueOrDefault(); return length; } /// /// https://tc39.es/ecma262/#sec-get-arraybuffer.prototype.resizable /// private JsValue Resizable(JsValue thisObject, JsCallArguments arguments) { var o = thisObject as JsArrayBuffer; if (o is null || o.IsSharedArrayBuffer) { Throw.TypeError(_realm, "Method ArrayBuffer.prototype.resizable called on incompatible receiver " + thisObject); } return !o.IsFixedLengthArrayBuffer; } /// /// https://tc39.es/ecma262/#sec-arraybuffer.prototype.resize /// private JsValue Resize(JsValue thisObject, JsCallArguments arguments) { var o = thisObject as JsArrayBuffer; if (o is null || o.IsSharedArrayBuffer) { Throw.TypeError(_realm, "Method ArrayBuffer.prototype.resize called on incompatible receiver " + thisObject); } var newLength = arguments.At(0); var newByteLength = TypeConverter.ToIndex(_realm, newLength); o.AssertNotDetached(); o.Resize(newByteLength); return Undefined; } /// /// https://tc39.es/ecma262/#sec-get-arraybuffer.prototype.bytelength /// private JsValue ByteLength(JsValue thisObject, JsCallArguments arguments) { var o = thisObject as JsArrayBuffer; if (o is null || o.IsSharedArrayBuffer) { Throw.TypeError(_realm, "Method ArrayBuffer.prototype.byteLength called on incompatible receiver " + thisObject); } if (o.IsDetachedBuffer) { return JsNumber.PositiveZero; } return JsNumber.Create(o.ArrayBufferByteLength); } /// /// https://tc39.es/ecma262/#sec-arraybuffer.prototype.slice /// private JsValue Slice(JsValue thisObject, JsCallArguments arguments) { var o = thisObject as JsArrayBuffer; if (o is null || o.IsSharedArrayBuffer) { Throw.TypeError(_realm, "Method ArrayBuffer.prototype.slice called on incompatible receiver " + thisObject); } o.AssertNotDetached(); var start = arguments.At(0); var end = arguments.At(1); var len = o.ArrayBufferByteLength; var relativeStart = TypeConverter.ToIntegerOrInfinity(start); var first = relativeStart switch { double.NegativeInfinity => 0, < 0 => (int) System.Math.Max(len + relativeStart, 0), _ => (int) System.Math.Min(relativeStart, len) }; double relativeEnd; if (end.IsUndefined()) { relativeEnd = len; } else { relativeEnd = TypeConverter.ToIntegerOrInfinity(end); } var final = relativeEnd switch { double.NegativeInfinity => 0, < 0 => (int) System.Math.Max(len + relativeEnd, 0), _ => (int) System.Math.Min(relativeEnd, len) }; var newLen = System.Math.Max(final - first, 0); var ctor = SpeciesConstructor(o, _realm.Intrinsics.ArrayBuffer); var bufferInstance = Construct(ctor, [JsNumber.Create(newLen)]) as JsArrayBuffer; if (bufferInstance is null) { Throw.TypeError(_realm); } if (bufferInstance.IsSharedArrayBuffer) { Throw.TypeError(_realm); } if (bufferInstance.IsDetachedBuffer) { Throw.TypeError(_realm); } if (ReferenceEquals(bufferInstance, o)) { Throw.TypeError(_realm); } if (bufferInstance.ArrayBufferByteLength < newLen) { Throw.TypeError(_realm); } // NOTE: Side-effects of the above steps may have detached O. if (bufferInstance.IsDetachedBuffer) { Throw.TypeError(_realm); } var fromBuf = o.ArrayBufferData; var toBuf = bufferInstance.ArrayBufferData; System.Array.Copy(fromBuf!, first, toBuf!, 0, newLen); return bufferInstance; } /// /// https://tc39.es/proposal-arraybuffer-transfer/#sec-arraybuffer.prototype.transfer /// private JsValue Transfer(JsValue thisObject, JsCallArguments arguments) { return ArrayBufferCopyAndDetach(thisObject, arguments.At(0), PreserveResizability.PreserveResizability); } /// /// https://tc39.es/proposal-arraybuffer-transfer/#sec-arraybuffer.prototype.transfertofixedlength /// private JsValue TransferToFixedLength(JsValue thisObject, JsCallArguments arguments) { return ArrayBufferCopyAndDetach(thisObject, arguments.At(0), PreserveResizability.FixedLength); } private JsValue ArrayBufferCopyAndDetach(JsValue o, JsValue newLength, PreserveResizability preserveResizability) { if (o is not JsArrayBuffer arrayBuffer || arrayBuffer.IsSharedArrayBuffer) { Throw.TypeError(_realm, "Method ArrayBuffer.prototype.ArrayBufferCopyAndDetach called on incompatible receiver " + o); return Undefined; } uint newByteLength; if (newLength.IsUndefined()) { newByteLength = (uint) arrayBuffer.ArrayBufferByteLength; } else { newByteLength = TypeConverter.ToIndex(_realm, newLength); } arrayBuffer.AssertNotDetached(); uint? newMaxByteLength = null; if (preserveResizability == PreserveResizability.PreserveResizability && arrayBuffer._arrayBufferMaxByteLength != null) { newMaxByteLength = (uint) arrayBuffer._arrayBufferMaxByteLength.Value; } if (!arrayBuffer._arrayBufferDetachKey.IsUndefined()) { Throw.TypeError(_realm); } var newBuffer = _engine.Realm.Intrinsics.ArrayBuffer.AllocateArrayBuffer(_engine.Realm.Intrinsics.ArrayBuffer, newByteLength, newMaxByteLength); var copyLength = System.Math.Min(newByteLength, arrayBuffer.ArrayBufferByteLength); var fromBlock = arrayBuffer.ArrayBufferData!; var toBlock = newBuffer.ArrayBufferData!; System.Array.Copy(fromBlock, 0, toBlock, 0, copyLength); // NOTE: Neither creation of the new Data Block nor copying from the old Data Block are observable. Implementations may implement this method as a zero-copy move or a realloc. arrayBuffer.DetachArrayBuffer(); return newBuffer; } private enum PreserveResizability { PreserveResizability, FixedLength } }