michael@0: /* -*- Mode: C++; tab-width: 8; indent-tabs-mode: nil; c-basic-offset: 4 -*-
michael@0:  * This Source Code Form is subject to the terms of the Mozilla Public
michael@0:  * License, v. 2.0. If a copy of the MPL was not distributed with this
michael@0:  * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
michael@0: 
michael@0: 
michael@0: test();
michael@0: 
michael@0: function test()
michael@0: {
michael@0:   enterFunc ("test");
michael@0: 
michael@0:   var EXCEPTION_DATA = "String exception";
michael@0:   var e = "foo", x = "foo";
michael@0:   var caught = false;
michael@0: 
michael@0:   printStatus ("Catchguard 'Common Scope' test.");
michael@0:    
michael@0:   try
michael@0:   {   
michael@0:     throw EXCEPTION_DATA;  
michael@0:   }
michael@0:   catch (e if ((x = 1) && false))
michael@0:   {
michael@0:     reportCompare('PASS', 'FAIL',
michael@0: 		  "Catch block (e if ((x = 1) && false) should not " +
michael@0: 		  "have executed.");
michael@0:   }
michael@0:   catch (e if (x == 1))
michael@0:   {  
michael@0:     caught = true;
michael@0:   }
michael@0:   catch (e)
michael@0:   {  
michael@0:     reportCompare('PASS', 'FAIL',
michael@0: 		  "Same scope should be used across all catchguards.");
michael@0:   }
michael@0: 
michael@0:   if (!caught)
michael@0:     reportCompare('PASS', 'FAIL',
michael@0: 		  "Exception was never caught.");
michael@0:    
michael@0:   if (e != "foo")
michael@0:     reportCompare('PASS', 'FAIL',
michael@0: 		  "Exception data modified inside catch() scope should " +
michael@0: 		  "not be visible in the function scope (e ='" +
michael@0: 		  e + "'.)");
michael@0: 
michael@0:   if (x != 1)
michael@0:     reportCompare('PASS', 'FAIL',
michael@0: 		  "Data modified in 'catchguard expression' should " +
michael@0: 		  "be visible in the function scope (x = '" +
michael@0: 		  x + "'.)");
michael@0: 
michael@0:   reportCompare('PASS', 'PASS', 'Catchguard Common Scope test');
michael@0: 
michael@0:   exitFunc ("test");
michael@0: }