js/src/tests/test262/ch12/12.6/12.6.1/S12.6.1_A4_T1.js@8bccb770b82d (annotated)
js/src/tests/test262/ch12/12.6/12.6.1/S12.6.1_A4_T1.js
Wed, 31 Dec 2014 13:27:57 +0100
- author
- Michael Schloh von Bennewitz <michael@schloh.com>
- date
- Wed, 31 Dec 2014 13:27:57 +0100
- branch
- TOR_BUG_3246
- changeset 6
- 8bccb770b82d
- permissions
- -rw-r--r--
Ignore runtime configuration files generated during quality assurance.
| michael@0 | 1 | // Copyright 2009 the Sputnik authors. All rights reserved. |
| michael@0 | 2 | // This code is governed by the BSD license found in the LICENSE file. |
| michael@0 | 3 | |
| michael@0 | 4 | /** |
| michael@0 | 5 | * "break" within a "do-while" Statement is allowed and performed as described in 12.8 |
| michael@0 | 6 | * |
| michael@0 | 7 | * @path ch12/12.6/12.6.1/S12.6.1_A4_T1.js |
| michael@0 | 8 | * @description Using "break" within a "do-while" loop |
| michael@0 | 9 | */ |
| michael@0 | 10 | |
| michael@0 | 11 | do { |
| michael@0 | 12 | __in__do__before__break="reached"; |
| michael@0 | 13 | break; |
| michael@0 | 14 | __in__do__after__break="where am i"; |
| michael@0 | 15 | } while(2===1); |
| michael@0 | 16 | |
| michael@0 | 17 | ////////////////////////////////////////////////////////////////////////////// |
| michael@0 | 18 | //CHECK#1 |
| michael@0 | 19 | if (__in__do__before__break !== "reached") { |
| michael@0 | 20 | $ERROR('#1: __in__do__before__break === "reached". Actual: __in__do__before__break ==='+ __in__do__before__break ); |
| michael@0 | 21 | } |
| michael@0 | 22 | // |
| michael@0 | 23 | ////////////////////////////////////////////////////////////////////////////// |
| michael@0 | 24 | |
| michael@0 | 25 | ////////////////////////////////////////////////////////////////////////////// |
| michael@0 | 26 | //CHECK#2 |
| michael@0 | 27 | if (typeof __in__do__after__break !== "undefined") { |
| michael@0 | 28 | $ERROR('#2: typeof __in__do__after__break === "undefined". Actual: typeof __in__do__after__break ==='+ typeof __in__do__after__break ); |
| michael@0 | 29 | } |
| michael@0 | 30 | // |
| michael@0 | 31 | ////////////////////////////////////////////////////////////////////////////// |
| michael@0 | 32 |
