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:  * No matter how control leaves the embedded 'Statement',
michael@0:  * the scope chain is always restored to its former state
michael@0:  *
michael@0:  * @path ch12/12.10/S12.10_A3.12_T5.js
michael@0:  * @description Calling a function without "with" statement declared within the statement, leading to completion by exception
michael@0:  * @noStrict
michael@0:  */
michael@0: 
michael@0: this.p1 = 1;
michael@0: var result = "result";
michael@0: var value = "value";
michael@0: var myObj = {p1: 'a', 
michael@0:              value: 'myObj_value',
michael@0:              valueOf : function(){return 'obj_valueOf';}
michael@0: }
michael@0: 
michael@0: try {
michael@0:   with(myObj){
michael@0:     var f = function(){
michael@0:       throw value;
michael@0:       p1 = 'x1';
michael@0:     }
michael@0:   }
michael@0:   f();
michael@0: } catch(e){
michael@0:   result = e;
michael@0: }
michael@0: 
michael@0: if(!(p1 === 1)){
michael@0:   $ERROR('#1: p1 === 1. Actual:  p1 ==='+ p1  );
michael@0: }
michael@0: 
michael@0: if(!(myObj.p1 === "a")){
michael@0:   $ERROR('#2: myObj.p1 === "a". Actual:  myObj.p1 ==='+ myObj.p1  );
michael@0: }
michael@0: 
michael@0: if(!(result === "myObj_value")){
michael@0:   $ERROR('#3: result === "myObj_value". Actual:  result ==='+ result  );
michael@0: }
michael@0: