#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
}
}