blob: fb80f2c64fbe4248ed58336c4872fdbe6fa610e7 [file] [log] [blame]
// Copyright (c) 2014, the Dart project authors. All rights reserved.
// Copyright 2013 the V8 project authors. All rights reserved.
// Copyright (C) 2005, 2006, 2007, 2008, 2009 Apple Inc. All rights reserved.
//
// Redistribution and use in source and binary forms, with or without
// modification, are permitted provided that the following conditions
// are met:
// 1. Redistributions of source code must retain the above copyright
// notice, this list of conditions and the following disclaimer.
// 2. Redistributions in binary form must reproduce the above copyright
// notice, this list of conditions and the following disclaimer in the
// documentation and/or other materials provided with the distribution.
//
// THIS SOFTWARE IS PROVIDED BY APPLE INC. AND ITS CONTRIBUTORS ``AS IS'' AND ANY
// EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
// WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
// DISCLAIMED. IN NO EVENT SHALL APPLE INC. OR ITS CONTRIBUTORS BE LIABLE FOR ANY
// DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
// (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
// LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON
// ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
// SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
// @dart = 2.9
import 'v8_regexp_utils.dart';
import 'package:expect/expect.dart';
void main() {
description(
'Test regular expression processing with alternatives that match consuming no characters');
var emptyStr = "";
var s1 = "xxxx";
var s2 = "aaaa";
var s3 = "aax";
var s4 = "abab";
var s5 = "ab";
var s6 = "xabx";
var s7 = "g0";
// Non-capturing empty first alternative greedy '*'
var re1 = new RegExp(r"(?:|a|z)*");
shouldBe(firstMatch(emptyStr, re1), [""]);
shouldBe(firstMatch(s1, re1), [""]);
shouldBe(firstMatch(s2, re1), ["aaaa"]);
shouldBe(firstMatch(s3, re1), ["aa"]);
// Non-capturing empty middle alternative greedy '*'
var re2 = new RegExp(r"(?:a||z)*");
shouldBe(firstMatch(emptyStr, re2), [""]);
shouldBe(firstMatch(s1, re2), [""]);
shouldBe(firstMatch(s2, re2), ["aaaa"]);
shouldBe(firstMatch(s3, re2), ["aa"]);
// Non-capturing empty last alternative greedy '*'
var re3 = new RegExp(r"(?:a|z|)*");
shouldBe(firstMatch(emptyStr, re3), [""]);
shouldBe(firstMatch(s1, re3), [""]);
shouldBe(firstMatch(s2, re3), ["aaaa"]);
shouldBe(firstMatch(s3, re3), ["aa"]);
// Capturing empty first alternative greedy '*'
var re4 = new RegExp(r"(|a|z)*");
shouldBe(firstMatch(emptyStr, re4), ["", null]);
shouldBe(firstMatch(s1, re4), ["", null]);
shouldBe(firstMatch(s2, re4), ["aaaa", "a"]);
shouldBe(firstMatch(s3, re4), ["aa", "a"]);
// Capturing empty middle alternative greedy '*'
var re5 = new RegExp(r"(a||z)*");
shouldBe(firstMatch(emptyStr, re5), ["", null]);
shouldBe(firstMatch(s1, re5), ["", null]);
shouldBe(firstMatch(s2, re5), ["aaaa", "a"]);
shouldBe(firstMatch(s3, re5), ["aa", "a"]);
// Capturing empty last alternative greedy '*'
var re6 = new RegExp(r"(a|z|)*");
shouldBe(firstMatch(emptyStr, re6), ["", null]);
shouldBe(firstMatch(s1, re6), ["", null]);
shouldBe(firstMatch(s2, re6), ["aaaa", "a"]);
shouldBe(firstMatch(s3, re6), ["aa", "a"]);
// Non-capturing empty first alternative fixed-count
var re7 = new RegExp(r"(?:|a|z){2,5}");
shouldBe(firstMatch(emptyStr, re7), [""]);
shouldBe(firstMatch(s1, re7), [""]);
shouldBe(firstMatch(s2, re7), ["aaa"]);
shouldBe(firstMatch(s3, re7), ["aa"]);
// Non-capturing empty middle alternative fixed-count
var re8 = new RegExp(r"(?:a||z){2,5}");
shouldBe(firstMatch(emptyStr, re8), [""]);
shouldBe(firstMatch(s1, re8), [""]);
shouldBe(firstMatch(s2, re8), ["aaaa"]);
shouldBe(firstMatch(s3, re8), ["aa"]);
// Non-capturing empty last alternative fixed-count
var re9 = new RegExp(r"(?:a|z|){2,5}");
shouldBe(firstMatch(emptyStr, re9), [""]);
shouldBe(firstMatch(s1, re9), [""]);
shouldBe(firstMatch(s2, re9), ["aaaa"]);
shouldBe(firstMatch(s3, re9), ["aa"]);
// Non-capturing empty first alternative non-greedy '*'
var re10 = new RegExp(r"(?:|a|z)*?");
shouldBe(firstMatch(emptyStr, re10), [""]);
shouldBe(firstMatch(s1, re10), [""]);
shouldBe(firstMatch(s2, re10), [""]);
shouldBe(firstMatch(s3, re10), [""]);
// Non-capturing empty middle alternative non-greedy '*'
var re11 = new RegExp(r"(?:a||z)*?");
shouldBe(firstMatch(emptyStr, re11), [""]);
shouldBe(firstMatch(s1, re11), [""]);
shouldBe(firstMatch(s2, re11), [""]);
shouldBe(firstMatch(s3, re11), [""]);
// Non-capturing empty last alternative non-greedy '*'
var re12 = new RegExp(r"(?:a|z|)*?");
shouldBe(firstMatch(emptyStr, re12), [""]);
shouldBe(firstMatch(s1, re12), [""]);
shouldBe(firstMatch(s2, re12), [""]);
shouldBe(firstMatch(s3, re12), [""]);
// Capturing empty first alternative non-greedy '*'
var re13 = new RegExp(r"(|a|z)*?");
shouldBe(firstMatch(emptyStr, re13), ["", null]);
shouldBe(firstMatch(s1, re13), ["", null]);
shouldBe(firstMatch(s2, re13), ["", null]);
shouldBe(firstMatch(s3, re13), ["", null]);
// Capturing empty middle alternative non-greedy '*'
var re14 = new RegExp(r"(a||z)*?");
shouldBe(firstMatch(emptyStr, re14), ["", null]);
shouldBe(firstMatch(s1, re14), ["", null]);
shouldBe(firstMatch(s2, re14), ["", null]);
shouldBe(firstMatch(s3, re14), ["", null]);
// Capturing empty last alternative non-greedy '*'
var re15 = new RegExp(r"(a|z|)*?");
shouldBe(firstMatch(emptyStr, re15), ["", null]);
shouldBe(firstMatch(s1, re15), ["", null]);
shouldBe(firstMatch(s2, re15), ["", null]);
shouldBe(firstMatch(s3, re15), ["", null]);
// Non-capturing empty first alternative greedy '?'
var re16 = new RegExp(r"(?:|a|z)?");
shouldBe(firstMatch(emptyStr, re16), [""]);
shouldBe(firstMatch(s1, re16), [""]);
shouldBe(firstMatch(s2, re16), ["a"]);
shouldBe(firstMatch(s3, re16), ["a"]);
// Non-capturing empty middle alternative greedy '?'
var re17 = new RegExp(r"(?:a||z)?");
shouldBe(firstMatch(emptyStr, re17), [""]);
shouldBe(firstMatch(s1, re17), [""]);
shouldBe(firstMatch(s2, re17), ["a"]);
shouldBe(firstMatch(s3, re17), ["a"]);
// Non-capturing empty last alternative greedy '?'
var re18 = new RegExp(r"(?:a|z|)?");
shouldBe(firstMatch(emptyStr, re18), [""]);
shouldBe(firstMatch(s1, re18), [""]);
shouldBe(firstMatch(s2, re18), ["a"]);
shouldBe(firstMatch(s3, re18), ["a"]);
// Capturing empty first alternative greedy '?'
var re19 = new RegExp(r"(|a|z)?");
shouldBe(firstMatch(emptyStr, re19), ["", null]);
shouldBe(firstMatch(s1, re19), ["", null]);
shouldBe(firstMatch(s2, re19), ["a", "a"]);
shouldBe(firstMatch(s3, re19), ["a", "a"]);
// Capturing empty middle alternative greedy '?'
var re20 = new RegExp(r"(a||z)?");
shouldBe(firstMatch(emptyStr, re20), ["", null]);
shouldBe(firstMatch(s1, re20), ["", null]);
shouldBe(firstMatch(s2, re20), ["a", "a"]);
shouldBe(firstMatch(s3, re20), ["a", "a"]);
// Capturing empty last alternative greedy '?'
var re21 = new RegExp(r"(a|z|)?");
shouldBe(firstMatch(emptyStr, re21), ["", null]);
shouldBe(firstMatch(s1, re21), ["", null]);
shouldBe(firstMatch(s2, re21), ["a", "a"]);
shouldBe(firstMatch(s3, re21), ["a", "a"]);
// Non-capturing empty first alternative non-greedy '?'
var re22 = new RegExp(r"(?:|a|z)??");
shouldBe(firstMatch(emptyStr, re22), [""]);
shouldBe(firstMatch(s1, re22), [""]);
shouldBe(firstMatch(s2, re22), [""]);
shouldBe(firstMatch(s3, re22), [""]);
// Non-capturing empty middle alternative non-greedy '?'
var re23 = new RegExp(r"(?:a||z)??");
shouldBe(firstMatch(emptyStr, re23), [""]);
shouldBe(firstMatch(s1, re23), [""]);
shouldBe(firstMatch(s2, re23), [""]);
shouldBe(firstMatch(s3, re23), [""]);
// Non-capturing empty last alternative non-greedy '?'
var re24 = new RegExp(r"(?:a|z|)??");
shouldBe(firstMatch(emptyStr, re24), [""]);
shouldBe(firstMatch(s1, re24), [""]);
shouldBe(firstMatch(s2, re24), [""]);
shouldBe(firstMatch(s3, re24), [""]);
// Capturing empty first alternative non-greedy '?'
var re25 = new RegExp(r"(|a|z)??");
shouldBe(firstMatch(emptyStr, re25), ["", null]);
shouldBe(firstMatch(s1, re25), ["", null]);
shouldBe(firstMatch(s2, re25), ["", null]);
shouldBe(firstMatch(s3, re25), ["", null]);
// Capturing empty middle alternative non-greedy '?'
var re26 = new RegExp(r"(a||z)??");
shouldBe(firstMatch(emptyStr, re26), ["", null]);
shouldBe(firstMatch(s1, re26), ["", null]);
shouldBe(firstMatch(s2, re26), ["", null]);
shouldBe(firstMatch(s3, re26), ["", null]);
// Capturing empty last alternative non-greedy '?'
var re27 = new RegExp(r"(a|z|)??");
shouldBe(firstMatch(emptyStr, re27), ["", null]);
shouldBe(firstMatch(s1, re27), ["", null]);
shouldBe(firstMatch(s2, re27), ["", null]);
shouldBe(firstMatch(s3, re27), ["", null]);
// Non-capturing empty first alternative greedy '*' non-terminal
var re28 = new RegExp(r"(?:|a|z)*x");
shouldBe(firstMatch(emptyStr, re28), null);
shouldBe(firstMatch(s1, re28), ["x"]);
shouldBe(firstMatch(s2, re28), null);
shouldBe(firstMatch(s3, re28), ["aax"]);
// Non-capturing empty middle alternative greedy '*' non-terminal
var re29 = new RegExp(r"(?:a||z)*x");
shouldBe(firstMatch(emptyStr, re29), null);
shouldBe(firstMatch(s1, re29), ["x"]);
shouldBe(firstMatch(s2, re29), null);
shouldBe(firstMatch(s3, re29), ["aax"]);
// Non-capturing empty last alternative greedy '*' non-terminal
var re30 = new RegExp(r"(?:a|z|)*x");
shouldBe(firstMatch(emptyStr, re30), null);
shouldBe(firstMatch(s1, re30), ["x"]);
shouldBe(firstMatch(s2, re30), null);
shouldBe(firstMatch(s3, re30), ["aax"]);
// Non-capturing two possibly empty alternatives greedy '*'
var re31 = new RegExp(r"(?:a*|b*)*");
shouldBe(firstMatch(emptyStr, re31), [""]);
shouldBe(firstMatch(s1, re31), [""]);
shouldBe(firstMatch(s3, re31), ["aa"]);
shouldBe(firstMatch(s4, re31), ["abab"]);
// Non-capturing two possibly empty non-greedy alternatives non-greedy '*'
var re32 = new RegExp(r"(?:a*?|b*?)*");
shouldBe(firstMatch(emptyStr, re32), [""]);
shouldBe(firstMatch(s1, re32), [""]);
shouldBe(firstMatch(s2, re32), ["aaaa"]);
shouldBe(firstMatch(s4, re32), ["abab"]);
shouldBe(firstMatch(s5, re32), ["ab"]);
shouldBe(firstMatch(s6, re32), [""]);
// Three possibly empty alternatives with greedy +
var re33 = new RegExp(r"(?:(?:(?!))|g?|0*\*?)+");
shouldBe(firstMatch(emptyStr, re33), [""]);
shouldBe(firstMatch(s1, re33), [""]);
shouldBe(firstMatch(s7, re33), ["g0"]);
// first alternative zero length fixed count
var re34 = new RegExp(r"(?:|a)");
shouldBe(firstMatch(emptyStr, re34), [""]);
shouldBe(firstMatch(s1, re34), [""]);
shouldBe(firstMatch(s2, re34), [""]);
shouldBe(firstMatch(s3, re34), [""]);
}