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:  * Evaluating the nested productions TryStatement
michael@0:  *
michael@0:  * @path ch12/12.14/S12.14_A7_T2.js
michael@0:  * @description Checking if the production of nested TryStatement statements evaluates correct
michael@0:  */
michael@0: 
michael@0: // CHECK#1
michael@0: try{
michael@0:   try{
michael@0:     throw "ex2";
michael@0:   }
michael@0:   finally{
michael@0:     throw "ex1";
michael@0:   }
michael@0: }
michael@0: catch(er1){
michael@0:   if (er1!=="ex1") $ERROR('#1.2: Exception === "ex1". Actual:  Exception ==='+er1 );
michael@0:   if (er1==="ex2") $ERROR('#1.3: Exception !== "ex2". Actual: catch previous embedded exception');
michael@0: }
michael@0: 
michael@0: // CHECK#2
michael@0: try{
michael@0:   try{
michael@0:     throw "ex1";
michael@0:   }
michael@0:   catch(er1){
michael@0:     if (er1!=="ex1") $ERROR('#2.1: Exception === "ex1". Actual:  Exception ==='+er1 );
michael@0:     try{
michael@0:       throw "ex2";
michael@0:     }
michael@0:     finally{
michael@0:       throw "ex3";
michael@0:     }
michael@0:     $ERROR('#2.2: throw "ex1" lead to throwing exception');
michael@0:   }
michael@0: }
michael@0: catch(er1){
michael@0:   if (er1!=="ex3") $ERROR('#2.3: Exception === "ex3". Actual:  Exception ==='+er1 );
michael@0: }
michael@0: 
michael@0: // CHECK#3
michael@0: try{
michael@0:   try{
michael@0:     throw "ex1";
michael@0:   }
michael@0:   catch(er1){
michael@0:     if (er1!=="ex1") $ERROR('#3.1: Exception === "ex1". Actual:  Exception ==='+er1 );
michael@0:   }
michael@0:   finally{
michael@0:     try{
michael@0:       throw "ex2";
michael@0:     }
michael@0:     finally{
michael@0:       throw "ex3";
michael@0:     }
michael@0:   }	
michael@0: }
michael@0: catch(er1){
michael@0:   if (er1!=="ex3") $ERROR('#3.2: Exception === "ex3". Actual:  Exception ==='+er1 );
michael@0: }
michael@0: 
michael@0: // CHECK#4
michael@0: var c4=0;
michael@0: try{
michael@0:   try{
michael@0:     throw "ex1";
michael@0:   }
michael@0:   catch(er1){
michael@0:     if (er1!=="ex1") $ERROR('#4.1: Exception === "ex1". Actual:  Exception ==='+er1 );
michael@0:     try{
michael@0:       throw "ex2";
michael@0:     }
michael@0:     finally{
michael@0:       throw "ex3";
michael@0:     }
michael@0:   }
michael@0:   finally{
michael@0:     c4=1;
michael@0:   }
michael@0: }
michael@0: catch(er1){
michael@0:   if (er1!=="ex3") $ERROR('#4.2: Exception === "ex3". Actual:  Exception ==='+er1 );
michael@0: }
michael@0: if (c4!==1) $ERROR('#4.3: "finally" block must be evaluated');
michael@0: 
michael@0: // CHECK#5
michael@0: var c5=0;
michael@0: try{
michael@0:   try{
michael@0:     throw "ex2";
michael@0:   }
michael@0:   finally{
michael@0:     throw "ex3";
michael@0:   }
michael@0:   throw "ex1";
michael@0: }
michael@0: catch(er1){
michael@0:   if (er1!=="ex3") $ERROR('#5.1: Exception === "ex3". Actual:  Exception ==='+er1 );
michael@0:   if (er1==="ex2") $ERROR('#5.2: Exception !== "ex2". Actual: catch previous embedded exception');
michael@0:   if (er1==="ex1") $ERROR('#5.3: Exception !=="ex1". Actual: catch previous embedded exception');
michael@0: }
michael@0: finally{
michael@0:   c5=1;
michael@0: }
michael@0: if (c5!==1) $ERROR('#5.4: "finally" block must be evaluated');
michael@0: 
michael@0: // CHECK#6
michael@0: var c6=0;
michael@0: try{
michael@0:   try{
michael@0:     try{
michael@0:       throw "ex1";
michael@0:     }
michael@0:     finally{
michael@0:       throw "ex2";
michael@0:     }
michael@0:   }
michael@0:   finally{
michael@0:     c6=1;
michael@0:   }
michael@0: }
michael@0: catch(er1){
michael@0:   if (er1!=="ex2") $ERROR('#6.1: Exception === "ex2". Actual:  Exception ==='+er1 );
michael@0: }
michael@0: if (c6!==1) $ERROR('#6.2: "finally" block must be evaluated');
michael@0: 
michael@0: // CHECK#7
michael@0: var c7=0;
michael@0: try{
michael@0:   try{
michael@0:     throw "ex1";
michael@0:   }
michael@0:   finally{
michael@0:     try{
michael@0:       c7=1;
michael@0:       throw "ex2";
michael@0:     }
michael@0:     finally{
michael@0:       c7++;
michael@0:       throw "ex3";
michael@0:     }
michael@0:   }
michael@0: }
michael@0: catch(er1){
michael@0:   if (er1!=="ex3") $ERROR('#7.1: Exception === "ex3". Actual:  Exception ==='+er1 );
michael@0: }
michael@0: if (c7!==2) $ERROR('#7.2: Embedded "try/finally" blocks must be evaluated');
michael@0: