1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
|
// Copyright (C) 2015 the V8 project authors. All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.
/*---
es6id: 25.3.1.3
description: >
When a generator is paused within a `try` block that is declared within a
`try` block of a `try..catch` statement, `return` should interrupt control
flow as if a `return` statement had appeared at that location in the
function body.
features: [generators]
---*/
var inTry = 0;
var inFinally = 0;
var unreachable = 0;
function* g() {
try {
try {
inTry += 1;
yield;
unreachable += 1;
} catch (e) {
throw e;
}
unreachable += 1;
} finally {
inFinally += 1;
}
unreachable += 1;
}
var iter = g();
var result;
iter.next();
assert.sameValue(inTry, 1, 'Nested `try` code patch executed');
assert.sameValue(inFinally, 0, '`finally` code path not executed');
result = iter.return(45);
assert.sameValue(result.value, 45, 'Result `value` following `return`');
assert.sameValue(result.done, true, 'Result `done` flag following `return`');
assert.sameValue(inFinally, 1, '`finally` code path executed');
assert.sameValue(
unreachable,
0,
'statement following `yield` not executed (following `return`)'
);
result = iter.next();
assert.sameValue(
result.value, undefined, 'Result `value` is undefined when complete'
);
assert.sameValue(
result.done, true, 'Result `done` flag is `true` when complete'
);
assert.sameValue(
unreachable, 0, 'statement following `yield` not executed (once "completed")'
);
|
