michael@0: /* -*- Mode: C++; tab-width: 2; indent-tabs-mode: nil; c-basic-offset: 2 -*- */ 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: * michael@0: * Date: 23 October 2003 michael@0: * SUMMARY: Unescaped, unbalanced parens in a regexp should cause SyntaxError. michael@0: * michael@0: * The same would also be true for unescaped, unbalanced brackets or braces michael@0: * if we followed the ECMA-262 Ed. 3 spec on this. But it was decided for michael@0: * backward compatibility reasons to follow Perl 5, which permits michael@0: * michael@0: * 1. an unescaped, unbalanced right bracket ] michael@0: * 2. an unescaped, unbalanced left brace { michael@0: * 3. an unescaped, unbalanced right brace } michael@0: * michael@0: * If any of these should occur, Perl treats each as a literal michael@0: * character. Therefore we permit all three of these cases, even michael@0: * though not ECMA-compliant. Note Perl errors on an unescaped, michael@0: * unbalanced left bracket; so will we. michael@0: * michael@0: * See http://bugzilla.mozilla.org/show_bug.cgi?id=223273 michael@0: * michael@0: */ michael@0: //----------------------------------------------------------------------------- michael@0: var UBound = 0; michael@0: var BUGNUMBER = 223273; michael@0: var summary = 'Unescaped, unbalanced parens in regexp should be a SyntaxError'; michael@0: var TEST_PASSED = 'SyntaxError'; michael@0: var TEST_FAILED = 'Generated an error, but NOT a SyntaxError!'; michael@0: var TEST_FAILED_BADLY = 'Did not generate ANY error!!!'; michael@0: var CHECK_PASSED = 'Should not generate an error'; michael@0: var CHECK_FAILED = 'Generated an error!'; michael@0: var status = ''; michael@0: var statusitems = []; michael@0: var actual = ''; michael@0: var actualvalues = []; michael@0: var expect= ''; michael@0: var expectedvalues = []; michael@0: michael@0: michael@0: /* michael@0: * All the following contain unescaped, unbalanced parens and michael@0: * should generate SyntaxErrors. That's what we're testing for. michael@0: * michael@0: * To allow the test to compile and run, we have to hide the errors michael@0: * inside eval strings, and check they are caught at run-time. michael@0: * michael@0: * Inside such strings, remember to escape any escape character! michael@0: */ michael@0: status = inSection(1); michael@0: testThis(' /(/ '); michael@0: michael@0: status = inSection(2); michael@0: testThis(' /)/ '); michael@0: michael@0: status = inSection(3); michael@0: testThis(' /(abc\\)def(g/ '); michael@0: michael@0: status = inSection(4); michael@0: testThis(' /\\(abc)def)g/ '); michael@0: michael@0: michael@0: /* michael@0: * These regexp patterns are correct and should not generate michael@0: * any errors. Note we use checkThis() instead of testThis(). michael@0: */ michael@0: status = inSection(5); michael@0: checkThis(' /\\(/ '); michael@0: michael@0: status = inSection(6); michael@0: checkThis(' /\\)/ '); michael@0: michael@0: status = inSection(7); michael@0: checkThis(' /(abc)def\\(g/ '); michael@0: michael@0: status = inSection(8); michael@0: checkThis(' /(abc\\)def)g/ '); michael@0: michael@0: status = inSection(9); michael@0: checkThis(' /(abc(\\))def)g/ '); michael@0: michael@0: status = inSection(10); michael@0: checkThis(' /(abc([x\\)yz]+)def)g/ '); michael@0: michael@0: michael@0: michael@0: /* michael@0: * Unescaped, unbalanced left brackets should be a SyntaxError michael@0: */ michael@0: status = inSection(11); michael@0: testThis(' /[/ '); michael@0: michael@0: status = inSection(12); michael@0: testThis(' /[abc\\]def[g/ '); michael@0: michael@0: michael@0: /* michael@0: * We permit unescaped, unbalanced right brackets, as does Perl. michael@0: * No error should result, even though this is not ECMA-compliant. michael@0: * Note we use checkThis() instead of testThis(). michael@0: */ michael@0: status = inSection(13); michael@0: checkThis(' /]/ '); michael@0: michael@0: status = inSection(14); michael@0: checkThis(' /\\[abc]def]g/ '); michael@0: michael@0: michael@0: /* michael@0: * These regexp patterns are correct and should not generate michael@0: * any errors. Note we use checkThis() instead of testThis(). michael@0: */ michael@0: status = inSection(15); michael@0: checkThis(' /\\[/ '); michael@0: michael@0: status = inSection(16); michael@0: checkThis(' /\\]/ '); michael@0: michael@0: status = inSection(17); michael@0: checkThis(' /[abc]def\\[g/ '); michael@0: michael@0: status = inSection(18); michael@0: checkThis(' /[abc\\]def]g/ '); michael@0: michael@0: status = inSection(19); michael@0: checkThis(' /(abc[\\]]def)g/ '); michael@0: michael@0: status = inSection(20); michael@0: checkThis(' /[abc(x\\]yz+)def]g/ '); michael@0: michael@0: michael@0: michael@0: /* michael@0: * Run some tests for unbalanced braces. We again follow Perl, and michael@0: * thus permit unescaped unbalanced braces - both left and right, michael@0: * even though this is not ECMA-compliant. michael@0: * michael@0: * Note we use checkThis() instead of testThis(). michael@0: */ michael@0: status = inSection(21); michael@0: checkThis(' /abc{def/ '); michael@0: michael@0: status = inSection(22); michael@0: checkThis(' /abc}def/ '); michael@0: michael@0: status = inSection(23); michael@0: checkThis(' /a{2}bc{def/ '); michael@0: michael@0: status = inSection(24); michael@0: checkThis(' /a}b{3}c}def/ '); michael@0: michael@0: michael@0: /* michael@0: * These regexp patterns are correct and should not generate michael@0: * any errors. Note we use checkThis() instead of testThis(). michael@0: */ michael@0: status = inSection(25); michael@0: checkThis(' /abc\\{def/ '); michael@0: michael@0: status = inSection(26); michael@0: checkThis(' /abc\\}def/ '); michael@0: michael@0: status = inSection(27); michael@0: checkThis(' /a{2}bc\\{def/ '); michael@0: michael@0: status = inSection(28); michael@0: checkThis(' /a\\}b{3}c\\}def/ '); michael@0: michael@0: michael@0: michael@0: michael@0: //----------------------------------------------------------------------------- michael@0: test(); michael@0: //----------------------------------------------------------------------------- michael@0: michael@0: michael@0: michael@0: michael@0: /* michael@0: * Invalid syntax should generate a SyntaxError michael@0: */ michael@0: function testThis(sInvalidSyntax) michael@0: { michael@0: expect = TEST_PASSED; michael@0: actual = TEST_FAILED_BADLY; michael@0: michael@0: try michael@0: { michael@0: eval(sInvalidSyntax); michael@0: } michael@0: catch(e) michael@0: { michael@0: if (e instanceof SyntaxError) michael@0: actual = TEST_PASSED; michael@0: else michael@0: actual = TEST_FAILED; michael@0: } michael@0: michael@0: statusitems[UBound] = status; michael@0: expectedvalues[UBound] = expect; michael@0: actualvalues[UBound] = actual; michael@0: UBound++; michael@0: } michael@0: michael@0: michael@0: /* michael@0: * Valid syntax shouldn't generate any errors michael@0: */ michael@0: function checkThis(sValidSyntax) michael@0: { michael@0: expect = CHECK_PASSED; michael@0: actual = CHECK_PASSED; michael@0: michael@0: try michael@0: { michael@0: eval(sValidSyntax); michael@0: } michael@0: catch(e) michael@0: { michael@0: actual = CHECK_FAILED; michael@0: } michael@0: michael@0: statusitems[UBound] = status; michael@0: expectedvalues[UBound] = expect; michael@0: actualvalues[UBound] = actual; michael@0: UBound++; michael@0: } michael@0: michael@0: michael@0: function test() michael@0: { michael@0: enterFunc('test'); michael@0: printBugNumber(BUGNUMBER); michael@0: printStatus(summary); michael@0: michael@0: for (var i=0; i