Initial Save

node_modules/es-abstract/2022/ValidateAndApplyPropertyDescriptor.js

@@ -0,0 +1,174 @@
+'use strict';
+
+var $TypeError = require('es-errors/type');
+
+var DefineOwnProperty = require('../helpers/DefineOwnProperty');
+var isFullyPopulatedPropertyDescriptor = require('../helpers/isFullyPopulatedPropertyDescriptor');
+var isPropertyDescriptor = require('../helpers/records/property-descriptor');
+
+var FromPropertyDescriptor = require('./FromPropertyDescriptor');
+var IsAccessorDescriptor = require('./IsAccessorDescriptor');
+var IsDataDescriptor = require('./IsDataDescriptor');
+var IsGenericDescriptor = require('./IsGenericDescriptor');
+var isPropertyKey = require('../helpers/isPropertyKey');
+var SameValue = require('./SameValue');
+var Type = require('./Type');
+
+var isObject = require('../helpers/isObject');
+
+// https://262.ecma-international.org/13.0/#sec-validateandapplypropertydescriptor
+
+// see https://github.com/tc39/ecma262/pull/2468 for ES2022 changes
+
+// eslint-disable-next-line max-lines-per-function, max-statements
+module.exports = function ValidateAndApplyPropertyDescriptor(O, P, extensible, Desc, current) {
+	var oType = Type(O);
+	if (typeof O !== 'undefined' && !isObject(O)) {
+		throw new $TypeError('Assertion failed: O must be undefined or an Object');
+	}
+	if (!isPropertyKey(P)) {
+		throw new $TypeError('Assertion failed: P must be a Property Key');
+	}
+	if (typeof extensible !== 'boolean') {
+		throw new $TypeError('Assertion failed: extensible must be a Boolean');
+	}
+	if (!isPropertyDescriptor(Desc)) {
+		throw new $TypeError('Assertion failed: Desc must be a Property Descriptor');
+	}
+	if (typeof current !== 'undefined' && !isPropertyDescriptor(current)) {
+		throw new $TypeError('Assertion failed: current must be a Property Descriptor, or undefined');
+	}
+
+	if (typeof current === 'undefined') { // step 2
+		if (!extensible) {
+			return false; // step 2.a
+		}
+		if (oType === 'Undefined') {
+			return true; // step 2.b
+		}
+		if (IsAccessorDescriptor(Desc)) { // step 2.c
+			return DefineOwnProperty(
+				IsDataDescriptor,
+				SameValue,
+				FromPropertyDescriptor,
+				O,
+				P,
+				Desc
+			);
+		}
+		// step 2.d
+		return DefineOwnProperty(
+			IsDataDescriptor,
+			SameValue,
+			FromPropertyDescriptor,
+			O,
+			P,
+			{
+				'[[Configurable]]': !!Desc['[[Configurable]]'],
+				'[[Enumerable]]': !!Desc['[[Enumerable]]'],
+				'[[Value]]': Desc['[[Value]]'],
+				'[[Writable]]': !!Desc['[[Writable]]']
+			}
+		);
+	}
+
+	// 3. Assert: current is a fully populated Property Descriptor.
+	if (
+		!isFullyPopulatedPropertyDescriptor(
+			{
+				IsAccessorDescriptor: IsAccessorDescriptor,
+				IsDataDescriptor: IsDataDescriptor
+			},
+			current
+		)
+	) {
+		throw new $TypeError('`current`, when present, must be a fully populated and valid Property Descriptor');
+	}
+
+	// 4. If every field in Desc is absent, return true.
+	// this can't really match the assertion that it's a Property Descriptor in our JS implementation
+
+	// 5. If current.[[Configurable]] is false, then
+	if (!current['[[Configurable]]']) {
+		if ('[[Configurable]]' in Desc && Desc['[[Configurable]]']) {
+			// step 5.a
+			return false;
+		}
+		if ('[[Enumerable]]' in Desc && !SameValue(Desc['[[Enumerable]]'], current['[[Enumerable]]'])) {
+			// step 5.b
+			return false;
+		}
+		if (!IsGenericDescriptor(Desc) && !SameValue(IsAccessorDescriptor(Desc), IsAccessorDescriptor(current))) {
+			// step 5.c
+			return false;
+		}
+		if (IsAccessorDescriptor(current)) { // step 5.d
+			if ('[[Get]]' in Desc && !SameValue(Desc['[[Get]]'], current['[[Get]]'])) {
+				return false;
+			}
+			if ('[[Set]]' in Desc && !SameValue(Desc['[[Set]]'], current['[[Set]]'])) {
+				return false;
+			}
+		} else if (!current['[[Writable]]']) { // step 5.e
+			if ('[[Writable]]' in Desc && Desc['[[Writable]]']) {
+				return false;
+			}
+			if ('[[Value]]' in Desc && !SameValue(Desc['[[Value]]'], current['[[Value]]'])) {
+				return false;
+			}
+		}
+	}
+
+	// 6. If O is not undefined, then
+	if (oType !== 'Undefined') {
+		var configurable;
+		var enumerable;
+		if (IsDataDescriptor(current) && IsAccessorDescriptor(Desc)) { // step 6.a
+			configurable = ('[[Configurable]]' in Desc ? Desc : current)['[[Configurable]]'];
+			enumerable = ('[[Enumerable]]' in Desc ? Desc : current)['[[Enumerable]]'];
+			// Replace the property named P of object O with an accessor property having [[Configurable]] and [[Enumerable]] attributes as described by current and each other attribute set to its default value.
+			return DefineOwnProperty(
+				IsDataDescriptor,
+				SameValue,
+				FromPropertyDescriptor,
+				O,
+				P,
+				{
+					'[[Configurable]]': !!configurable,
+					'[[Enumerable]]': !!enumerable,
+					'[[Get]]': ('[[Get]]' in Desc ? Desc : current)['[[Get]]'],
+					'[[Set]]': ('[[Set]]' in Desc ? Desc : current)['[[Set]]']
+				}
+			);
+		} else if (IsAccessorDescriptor(current) && IsDataDescriptor(Desc)) {
+			configurable = ('[[Configurable]]' in Desc ? Desc : current)['[[Configurable]]'];
+			enumerable = ('[[Enumerable]]' in Desc ? Desc : current)['[[Enumerable]]'];
+			// i. Replace the property named P of object O with a data property having [[Configurable]] and [[Enumerable]] attributes as described by current and each other attribute set to its default value.
+			return DefineOwnProperty(
+				IsDataDescriptor,
+				SameValue,
+				FromPropertyDescriptor,
+				O,
+				P,
+				{
+					'[[Configurable]]': !!configurable,
+					'[[Enumerable]]': !!enumerable,
+					'[[Value]]': ('[[Value]]' in Desc ? Desc : current)['[[Value]]'],
+					'[[Writable]]': !!('[[Writable]]' in Desc ? Desc : current)['[[Writable]]']
+				}
+			);
+		}
+
+		// For each field of Desc that is present, set the corresponding attribute of the property named P of object O to the value of the field.
+		return DefineOwnProperty(
+			IsDataDescriptor,
+			SameValue,
+			FromPropertyDescriptor,
+			O,
+			P,
+			Desc
+		);
+	}
+
+	return true; // step 7
+};