// Copyright 2009 the Sputnik authors. All rights reserved. // This code is governed by the BSD license found in the LICENSE file. /*--- info: Evaluating the nested productions TryStatement es5id: 12.14_A7_T2 description: > Checking if the production of nested TryStatement statements evaluates correct ---*/ // CHECK#1 try{ try{ throw "ex2"; } finally{ throw "ex1"; } } catch(er1){ if (er1!=="ex1") $ERROR('#1.2: Exception === "ex1". Actual: Exception ==='+er1 ); if (er1==="ex2") $ERROR('#1.3: Exception !== "ex2". Actual: catch previous embedded exception'); } // CHECK#2 try{ try{ throw "ex1"; } catch(er1){ if (er1!=="ex1") $ERROR('#2.1: Exception === "ex1". Actual: Exception ==='+er1 ); try{ throw "ex2"; } finally{ throw "ex3"; } $ERROR('#2.2: throw "ex1" lead to throwing exception'); } } catch(er1){ if (er1!=="ex3") $ERROR('#2.3: Exception === "ex3". Actual: Exception ==='+er1 ); } // CHECK#3 try{ try{ throw "ex1"; } catch(er1){ if (er1!=="ex1") $ERROR('#3.1: Exception === "ex1". Actual: Exception ==='+er1 ); } finally{ try{ throw "ex2"; } finally{ throw "ex3"; } } } catch(er1){ if (er1!=="ex3") $ERROR('#3.2: Exception === "ex3". Actual: Exception ==='+er1 ); } // CHECK#4 var c4=0; try{ try{ throw "ex1"; } catch(er1){ if (er1!=="ex1") $ERROR('#4.1: Exception === "ex1". Actual: Exception ==='+er1 ); try{ throw "ex2"; } finally{ throw "ex3"; } } finally{ c4=1; } } catch(er1){ if (er1!=="ex3") $ERROR('#4.2: Exception === "ex3". Actual: Exception ==='+er1 ); } if (c4!==1) $ERROR('#4.3: "finally" block must be evaluated'); // CHECK#5 var c5=0; try{ try{ throw "ex2"; } finally{ throw "ex3"; } throw "ex1"; } catch(er1){ if (er1!=="ex3") $ERROR('#5.1: Exception === "ex3". Actual: Exception ==='+er1 ); if (er1==="ex2") $ERROR('#5.2: Exception !== "ex2". Actual: catch previous embedded exception'); if (er1==="ex1") $ERROR('#5.3: Exception !=="ex1". Actual: catch previous embedded exception'); } finally{ c5=1; } if (c5!==1) $ERROR('#5.4: "finally" block must be evaluated'); // CHECK#6 var c6=0; try{ try{ try{ throw "ex1"; } finally{ throw "ex2"; } } finally{ c6=1; } } catch(er1){ if (er1!=="ex2") $ERROR('#6.1: Exception === "ex2". Actual: Exception ==='+er1 ); } if (c6!==1) $ERROR('#6.2: "finally" block must be evaluated'); // CHECK#7 var c7=0; try{ try{ throw "ex1"; } finally{ try{ c7=1; throw "ex2"; } finally{ c7++; throw "ex3"; } } } catch(er1){ if (er1!=="ex3") $ERROR('#7.1: Exception === "ex3". Actual: Exception ==='+er1 ); } if (c7!==2) $ERROR('#7.2: Embedded "try/finally" blocks must be evaluated');