2011-09-07 08:35:18 +02:00
|
|
|
// Copyright 2009 the Sputnik authors. All rights reserved.
|
|
|
|
// This code is governed by the BSD license found in the LICENSE file.
|
|
|
|
|
|
|
|
/**
|
|
|
|
* "break" within a "do-while" Statement is allowed and performed as described in 12.8
|
|
|
|
*
|
2011-10-03 22:04:52 +02:00
|
|
|
* @path ch12/12.6/12.6.1/S12.6.1_A4_T1.js
|
2011-09-12 06:07:23 +02:00
|
|
|
* @description Using "break" within a "do-while" loop
|
2011-09-07 08:35:18 +02:00
|
|
|
*/
|
|
|
|
|
|
|
|
do {
|
|
|
|
__in__do__before__break="reached";
|
|
|
|
break;
|
|
|
|
__in__do__after__break="where am i";
|
|
|
|
} while(2===1);
|
|
|
|
|
|
|
|
//////////////////////////////////////////////////////////////////////////////
|
|
|
|
//CHECK#1
|
|
|
|
if (__in__do__before__break !== "reached") {
|
|
|
|
$ERROR('#1: __in__do__before__break === "reached". Actual: __in__do__before__break ==='+ __in__do__before__break );
|
|
|
|
}
|
|
|
|
//
|
|
|
|
//////////////////////////////////////////////////////////////////////////////
|
|
|
|
|
|
|
|
//////////////////////////////////////////////////////////////////////////////
|
|
|
|
//CHECK#2
|
|
|
|
if (typeof __in__do__after__break !== "undefined") {
|
|
|
|
$ERROR('#2: typeof __in__do__after__break === "undefined". Actual: typeof __in__do__after__break ==='+ typeof __in__do__after__break );
|
|
|
|
}
|
|
|
|
//
|
|
|
|
//////////////////////////////////////////////////////////////////////////////
|
|
|
|
|