Change case-files for destructuring-with-yield to not rely on destructuring target evaluation order

This commit is contained in:
André Bargull 2017-09-16 17:00:54 +02:00
parent 765f273ac4
commit 86da171663
6 changed files with 79 additions and 26 deletions

View File

@ -4,12 +4,6 @@
desc: >
IteratorClose throws a TypeError when `return` returns a non-Object value
info: |
AssignmentElement : DestructuringAssignmentTarget Initializer
1. If DestructuringAssignmentTarget is neither an ObjectLiteral nor an ArrayLiteral, then
a. Let lref be the result of evaluating DestructuringAssignmentTarget.
b. ReturnIfAbrupt(lref).
[...]
ArrayAssignmentPattern : [ AssignmentElementList ]
[...]
@ -32,8 +26,15 @@ esid: sec-runtime-semantics-destructuringassignmentevaluation
//- setup
let unreachable = 0;
let nextCount = 0;
let returnCount = 0;
let iterator = {
next() {
nextCount += 1;
return {done: false, value: undefined};
},
return() {
returnCount += 1;
return null;
}
};
@ -43,17 +44,21 @@ let iterable = {
}
};
//- elems
[ {}[yield] ]
[ {} = yield ]
//- vals
iterable
//- body
unreachable += 1;
//- teardown
iter.next().then(result => {
assert.sameValue(nextCount, 1);
assert.sameValue(returnCount, 0);
assert.sameValue(result.value, undefined);
assert.sameValue(result.done, false);
iter.return().then(() => $DONE('Promise incorrectly fulfilled.'), ({ constructor }) => {
assert.sameValue(nextCount, 1);
assert.sameValue(returnCount, 1);
assert.sameValue(unreachable, 0);
assert.sameValue(constructor, TypeError);
}).then($DONE, $DONE);

View File

@ -26,19 +26,26 @@ esid: sec-runtime-semantics-destructuringassignmentevaluation
---*/
//- setup
var iterable = {};
var nextCount = 0;
var returnCount = 0;
var unreachable = 0;
var iterator = {
next: function() {
nextCount += 1;
return {done: false, value: undefined};
},
return: function() {
returnCount += 1;
return null;
}
};
var iter;
var iterable = {};
iterable[Symbol.iterator] = function() {
return iterator;
};
function* g() {
//- elems
[ {}[yield] ]
[ {} = yield ]
//- vals
iterable
//- body
@ -46,9 +53,14 @@ iterable
//- teardown
}
iter = g();
var iter = g();
iter.next();
assert.sameValue(nextCount, 1);
assert.sameValue(returnCount, 0);
assert.throws(TypeError, function() {
iter.return();
});
assert.sameValue(nextCount, 1);
assert.sameValue(returnCount, 1);
assert.sameValue(unreachable, 0, 'Unreachable statement was not executed');

View File

@ -25,12 +25,16 @@ esid: sec-runtime-semantics-destructuringassignmentevaluation
---*/
//- setup
var nextCount = 0;
var returnCount = 0;
var unreachable = 0;
var thisValue = null;
var args = null;
var iterable = {};
var iterator = {
next: function() {
nextCount += 1;
return {done: false, value: undefined};
},
return: function() {
returnCount += 1;
thisValue = this;
@ -38,24 +42,29 @@ var iterator = {
return {};
}
};
var iter, result;
var iterable = {};
iterable[Symbol.iterator] = function() {
return iterator;
};
function* g() {
//- elems
[ {}[yield] ]
[ {} = yield ]
//- vals
iterable
//- body
unreachable += 1;
//- teardown
}
iter = g();
var iter = g();
iter.next();
result = iter.return(777);
assert.sameValue(nextCount, 1);
assert.sameValue(returnCount, 0);
var result = iter.return(777);
assert.sameValue(nextCount, 1);
assert.sameValue(returnCount, 1);
assert.sameValue(unreachable, 0, 'Unreachable statement was not executed');
assert.sameValue(result.value, 777);

View File

@ -30,24 +30,28 @@ esid: sec-runtime-semantics-destructuringassignmentevaluation
---*/
//- setup
var nextCount = 0;
var returnCount = 0;
var unreachable = 0;
var iterable = {};
var iterator = {
next: function() {
nextCount += 1;
return {done: false, value: undefined};
},
return: function() {
returnCount += 1;
throw new Test262Error();
}
};
var iter;
var iterable = {};
iterable[Symbol.iterator] = function() {
return iterator;
};
function* g() {
//- elems
[ {}[yield] , ]
[ {} = yield , ]
//- vals
iterable
//- body
@ -55,11 +59,14 @@ unreachable += 1;
//- teardown
}
iter = g();
var iter = g();
iter.next();
assert.sameValue(nextCount, 1);
assert.sameValue(returnCount, 0);
assert.throws(Test262Error, function() {
iter.return();
});
assert.sameValue(nextCount, 1);
assert.sameValue(returnCount, 1);
assert.sameValue(unreachable, 0, 'Unreachable statement was not executed');

View File

@ -32,28 +32,38 @@ esid: sec-runtime-semantics-destructuringassignmentevaluation
---*/
//- setup
var iterable = {};
var nextCount = 0;
var returnCount = 0;
var iterator = {
next: function() {
nextCount += 1;
return {done: false, value: undefined};
},
return: function() {
returnCount += 1;
return null;
}
};
var iter;
var iterable = {};
iterable[Symbol.iterator] = function() {
return iterator;
};
function* g() {
//- elems
[ {}[yield] , ]
[ {} = yield , ]
//- vals
iterable
//- teardown
}
iter = g();
var iter = g();
iter.next();
assert.sameValue(nextCount, 1);
assert.sameValue(returnCount, 0);
assert.throws(TypeError, function() {
iter.return();
});
assert.sameValue(nextCount, 1);
assert.sameValue(returnCount, 1);

View File

@ -31,12 +31,17 @@ esid: sec-runtime-semantics-destructuringassignmentevaluation
---*/
//- setup
var nextCount = 0;
var returnCount = 0;
var unreachable = 0;
var thisValue = null;
var args = null;
var iterable = {};
var iterator = {
next: function() {
nextCount += 1;
return {done: false, value: undefined};
},
return: function() {
returnCount += 1;
thisValue = this;
@ -52,7 +57,7 @@ iterable[Symbol.iterator] = function() {
function* g() {
//- elems
[ {}[yield] , ]
[ {} = yield , ]
//- vals
iterable
//- body
@ -62,8 +67,13 @@ iterable
iter = g();
iter.next();
assert.sameValue(nextCount, 1);
assert.sameValue(returnCount, 0);
result = iter.return(888);
assert.sameValue(nextCount, 1);
assert.sameValue(returnCount, 1);
assert.sameValue(unreachable, 0, 'Unreachable statement was not executed');
assert.sameValue(result.value, 888);