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_T1.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:   catch(er2){
michael@0:     if (er2!=="ex2")
michael@0:       $ERROR('#1.1: Exception === "ex2". Actual:  Exception ==='+ e  );
michael@0:       throw "ex1";
michael@0:     }
michael@0:   }
michael@0:   catch(er1){
michael@0:     if (er1!=="ex1") $ERROR('#1.2: Exception === "ex1". Actual: '+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:   throw "ex1";
michael@0: }
michael@0: catch(er1){
michael@0:   try{
michael@0:     throw "ex2";
michael@0:   }
michael@0:   catch(er1){
michael@0:     if (er1==="ex1") $ERROR('#2.1: Exception !== "ex1". Actual: catch previous catching exception');
michael@0:     if (er1!=="ex2") $ERROR('#2.2: Exception === "ex2". Actual:  Exception ==='+ er1  );
michael@0:   }
michael@0:   if (er1!=="ex1") $ERROR('#2.3: Exception === "ex1". Actual:  Exception ==='+ er1  );
michael@0:   if (er1==="ex2") $ERROR('#2.4: Exception !== "ex2". Actual: catch previous catching exception');
michael@0: }
michael@0: 
michael@0: // CHECK#3
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:   catch(er1){
michael@0:     if (er1==="ex1") $ERROR('#3.2: Exception !=="ex1". Actual: catch previous embedded exception');
michael@0:     if (er1!=="ex2") $ERROR('#3.3: Exception ==="ex2". Actual:  Exception ==='+ er1  );
michael@0:   }
michael@0: }
michael@0: 
michael@0: // CHECK#4
michael@0: var c4=0;
michael@0: try{
michael@0:   throw "ex1";
michael@0: }
michael@0: catch(er1){
michael@0:   try{
michael@0:     throw "ex2";
michael@0:   }
michael@0:   catch(er1){
michael@0:     if (er1==="ex1") $ERROR('#4.1: Exception !=="ex1". Actual: catch previous catching exception');
michael@0:     if (er1!=="ex2") $ERROR('#4.2: Exception ==="ex2". Actual:  Exception ==='+ er1  );
michael@0:   }
michael@0:   if (er1!=="ex1") $ERROR('#4.3: Exception ==="ex1". Actual:  Exception ==='+ er1  );
michael@0:   if (er1==="ex2") $ERROR('#4.4: Exception !=="ex2". Actual: Catch previous embedded exception');
michael@0: }
michael@0: finally{
michael@0:   c4=1;
michael@0: }
michael@0: if (c4!==1) $ERROR('#4.5: "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:   catch(er1){
michael@0:     if (er1!=="ex2") $ERROR('#5.1: Exception ==="ex2". Actual:  Exception ==='+ er1  );
michael@0:   }
michael@0:   throw "ex1";
michael@0: }
michael@0: catch(er1){
michael@0:   if (er1!=="ex1") $ERROR('#5.2: Exception ==="ex1". Actual:  Exception ==='+ er1  );
michael@0:   if (er1==="ex2") $ERROR('#5.3: Exception !=="ex2". 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:     throw "ex1";
michael@0:   }
michael@0:   catch(er1){
michael@0:     if (er1!=="ex1") $ERROR('#6.1: Exception ==="ex1". Actual:  Exception ==='+ er1  );
michael@0:   }
michael@0: }
michael@0: finally{
michael@0:   c6=1;		
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:     catch(er1){
michael@0:       if (er1!=="ex2") $ERROR('#7.1: Exception ==="ex2". Actual:  Exception ==='+ er1  );
michael@0:       if (er1==="ex1") $ERROR('#7.2: Exception !=="ex1". Actual: catch previous embedded exception');
michael@0:       c7++;
michael@0:     }
michael@0:   }
michael@0: }
michael@0: catch(er1){
michael@0:   if (er1!=="ex1") $ERROR('#7.3: Exception ==="ex1". Actual:  Exception ==='+ er1  );
michael@0: }
michael@0: if (c7!==2) $ERROR('#7.4: "finally" block must be evaluated');
michael@0: