1 | 'use strict';
|
---|
2 |
|
---|
3 | var $TypeError = require('es-errors/type');
|
---|
4 |
|
---|
5 | var DefineOwnProperty = require('../helpers/DefineOwnProperty');
|
---|
6 | var isPropertyDescriptor = require('../helpers/records/property-descriptor');
|
---|
7 | var isSamePropertyDescriptor = require('../helpers/isSamePropertyDescriptor');
|
---|
8 |
|
---|
9 | var FromPropertyDescriptor = require('./FromPropertyDescriptor');
|
---|
10 | var IsAccessorDescriptor = require('./IsAccessorDescriptor');
|
---|
11 | var IsDataDescriptor = require('./IsDataDescriptor');
|
---|
12 | var IsGenericDescriptor = require('./IsGenericDescriptor');
|
---|
13 | var IsPropertyKey = require('./IsPropertyKey');
|
---|
14 | var SameValue = require('./SameValue');
|
---|
15 | var Type = require('./Type');
|
---|
16 |
|
---|
17 | // https://262.ecma-international.org/6.0/#sec-validateandapplypropertydescriptor
|
---|
18 | // https://262.ecma-international.org/8.0/#sec-validateandapplypropertydescriptor
|
---|
19 |
|
---|
20 | // eslint-disable-next-line max-lines-per-function, max-statements
|
---|
21 | module.exports = function ValidateAndApplyPropertyDescriptor(O, P, extensible, Desc, current) {
|
---|
22 | // this uses the ES2017+ logic, since it fixes a number of bugs in the ES2015 logic.
|
---|
23 | var oType = Type(O);
|
---|
24 | if (oType !== 'Undefined' && oType !== 'Object') {
|
---|
25 | throw new $TypeError('Assertion failed: O must be undefined or an Object');
|
---|
26 | }
|
---|
27 | if (typeof extensible !== 'boolean') {
|
---|
28 | throw new $TypeError('Assertion failed: extensible must be a Boolean');
|
---|
29 | }
|
---|
30 | if (!isPropertyDescriptor(Desc)) {
|
---|
31 | throw new $TypeError('Assertion failed: Desc must be a Property Descriptor');
|
---|
32 | }
|
---|
33 | if (typeof current !== 'undefined' && !isPropertyDescriptor(current)) {
|
---|
34 | throw new $TypeError('Assertion failed: current must be a Property Descriptor, or undefined');
|
---|
35 | }
|
---|
36 | if (oType !== 'Undefined' && !IsPropertyKey(P)) {
|
---|
37 | throw new $TypeError('Assertion failed: if O is not undefined, P must be a Property Key');
|
---|
38 | }
|
---|
39 | if (typeof current === 'undefined') {
|
---|
40 | if (!extensible) {
|
---|
41 | return false;
|
---|
42 | }
|
---|
43 | if (IsGenericDescriptor(Desc) || IsDataDescriptor(Desc)) {
|
---|
44 | if (oType !== 'Undefined') {
|
---|
45 | DefineOwnProperty(
|
---|
46 | IsDataDescriptor,
|
---|
47 | SameValue,
|
---|
48 | FromPropertyDescriptor,
|
---|
49 | O,
|
---|
50 | P,
|
---|
51 | {
|
---|
52 | '[[Configurable]]': Desc['[[Configurable]]'],
|
---|
53 | '[[Enumerable]]': Desc['[[Enumerable]]'],
|
---|
54 | '[[Value]]': Desc['[[Value]]'],
|
---|
55 | '[[Writable]]': Desc['[[Writable]]']
|
---|
56 | }
|
---|
57 | );
|
---|
58 | }
|
---|
59 | } else {
|
---|
60 | if (!IsAccessorDescriptor(Desc)) {
|
---|
61 | throw new $TypeError('Assertion failed: Desc is not an accessor descriptor');
|
---|
62 | }
|
---|
63 | if (oType !== 'Undefined') {
|
---|
64 | return DefineOwnProperty(
|
---|
65 | IsDataDescriptor,
|
---|
66 | SameValue,
|
---|
67 | FromPropertyDescriptor,
|
---|
68 | O,
|
---|
69 | P,
|
---|
70 | Desc
|
---|
71 | );
|
---|
72 | }
|
---|
73 | }
|
---|
74 | return true;
|
---|
75 | }
|
---|
76 | if (IsGenericDescriptor(Desc) && !('[[Configurable]]' in Desc) && !('[[Enumerable]]' in Desc)) {
|
---|
77 | return true;
|
---|
78 | }
|
---|
79 | if (isSamePropertyDescriptor({ SameValue: SameValue }, Desc, current)) {
|
---|
80 | return true; // removed by ES2017, but should still be correct
|
---|
81 | }
|
---|
82 | // "if every field in Desc is absent, return true" can't really match the assertion that it's a Property Descriptor
|
---|
83 | if (!current['[[Configurable]]']) {
|
---|
84 | if (Desc['[[Configurable]]']) {
|
---|
85 | return false;
|
---|
86 | }
|
---|
87 | if ('[[Enumerable]]' in Desc && !Desc['[[Enumerable]]'] === !!current['[[Enumerable]]']) {
|
---|
88 | return false;
|
---|
89 | }
|
---|
90 | }
|
---|
91 | if (IsGenericDescriptor(Desc)) {
|
---|
92 | // no further validation is required.
|
---|
93 | } else if (IsDataDescriptor(current) !== IsDataDescriptor(Desc)) {
|
---|
94 | if (!current['[[Configurable]]']) {
|
---|
95 | return false;
|
---|
96 | }
|
---|
97 | if (IsDataDescriptor(current)) {
|
---|
98 | if (oType !== 'Undefined') {
|
---|
99 | DefineOwnProperty(
|
---|
100 | IsDataDescriptor,
|
---|
101 | SameValue,
|
---|
102 | FromPropertyDescriptor,
|
---|
103 | O,
|
---|
104 | P,
|
---|
105 | {
|
---|
106 | '[[Configurable]]': current['[[Configurable]]'],
|
---|
107 | '[[Enumerable]]': current['[[Enumerable]]'],
|
---|
108 | '[[Get]]': undefined
|
---|
109 | }
|
---|
110 | );
|
---|
111 | }
|
---|
112 | } else if (oType !== 'Undefined') {
|
---|
113 | DefineOwnProperty(
|
---|
114 | IsDataDescriptor,
|
---|
115 | SameValue,
|
---|
116 | FromPropertyDescriptor,
|
---|
117 | O,
|
---|
118 | P,
|
---|
119 | {
|
---|
120 | '[[Configurable]]': current['[[Configurable]]'],
|
---|
121 | '[[Enumerable]]': current['[[Enumerable]]'],
|
---|
122 | '[[Value]]': undefined
|
---|
123 | }
|
---|
124 | );
|
---|
125 | }
|
---|
126 | } else if (IsDataDescriptor(current) && IsDataDescriptor(Desc)) {
|
---|
127 | if (!current['[[Configurable]]'] && !current['[[Writable]]']) {
|
---|
128 | if ('[[Writable]]' in Desc && Desc['[[Writable]]']) {
|
---|
129 | return false;
|
---|
130 | }
|
---|
131 | if ('[[Value]]' in Desc && !SameValue(Desc['[[Value]]'], current['[[Value]]'])) {
|
---|
132 | return false;
|
---|
133 | }
|
---|
134 | return true;
|
---|
135 | }
|
---|
136 | } else if (IsAccessorDescriptor(current) && IsAccessorDescriptor(Desc)) {
|
---|
137 | if (!current['[[Configurable]]']) {
|
---|
138 | if ('[[Set]]' in Desc && !SameValue(Desc['[[Set]]'], current['[[Set]]'])) {
|
---|
139 | return false;
|
---|
140 | }
|
---|
141 | if ('[[Get]]' in Desc && !SameValue(Desc['[[Get]]'], current['[[Get]]'])) {
|
---|
142 | return false;
|
---|
143 | }
|
---|
144 | return true;
|
---|
145 | }
|
---|
146 | } else {
|
---|
147 | throw new $TypeError('Assertion failed: current and Desc are not both data, both accessors, or one accessor and one data.');
|
---|
148 | }
|
---|
149 | if (oType !== 'Undefined') {
|
---|
150 | return DefineOwnProperty(
|
---|
151 | IsDataDescriptor,
|
---|
152 | SameValue,
|
---|
153 | FromPropertyDescriptor,
|
---|
154 | O,
|
---|
155 | P,
|
---|
156 | Desc
|
---|
157 | );
|
---|
158 | }
|
---|
159 | return true;
|
---|
160 | };
|
---|