michael@0: // Copyright 2009 the Sputnik authors.  All rights reserved.
michael@0: // This code is governed by the BSD license found in the LICENSE file.
michael@0: 
michael@0: /**
michael@0:  * "break" within a "do-while" Statement is allowed and performed as described in 12.8
michael@0:  *
michael@0:  * @path ch12/12.6/12.6.1/S12.6.1_A4_T5.js
michael@0:  * @description Using labeled "break" in order to continue a loop
michael@0:  */
michael@0: 
michael@0: //CHECK#1
michael@0: var i=0;
michael@0: woohoo:{
michael@0:   do{
michael@0:     i++;
michael@0:     if ( ! (i < 10) ) {
michael@0:       break woohoo;
michael@0:       $ERROR('#1.1: "break woohoo" must break loop');
michael@0:     }
michael@0:   } while ( true );
michael@0:   if (i!==10) $ERROR('#1.2: i===10. Actual:  i==='+ i );
michael@0: }
michael@0: