| /* Distributed under the OSI-approved BSD 3-Clause License. See accompanying |
| file Copyright.txt or https://cmake.org/licensing#kwsys for details. */ |
| #include "kwsysPrivate.h" |
| |
| #include KWSYS_HEADER(RegularExpression.hxx) |
| |
| // Work-around CMake dependency scanning limitation. This must |
| // duplicate the above list of headers. |
| #if 0 |
| # include "RegularExpression.hxx.in" |
| #endif |
| |
| #include <iostream> |
| #include <string> |
| |
| namespace { |
| |
| bool ExpectCompile(char const* pattern, bool expected) |
| { |
| kwsys::RegularExpression re; |
| bool const compiled = re.compile(pattern); |
| if (compiled != expected) { |
| std::cerr << "Unexpected compile result for pattern '" << pattern |
| << "': " << compiled << " (expected " << expected << ")\n"; |
| return false; |
| } |
| return true; |
| } |
| |
| bool ExpectFind(char const* pattern, char const* input, bool expected, |
| std::string::size_type offset = 0, unsigned options = 0) |
| { |
| kwsys::RegularExpression re; |
| if (!re.compile(pattern)) { |
| std::cerr << "Could not compile pattern '" << pattern << "'\n"; |
| return false; |
| } |
| |
| kwsys::RegularExpressionMatch match; |
| bool const found = re.find(input, match, offset, options); |
| if (found != expected) { |
| std::cerr << "Unexpected match result for pattern '" << pattern |
| << "' against input '" << input << "': " << found |
| << " (expected " << expected << ")\n"; |
| return false; |
| } |
| return true; |
| } |
| |
| bool ExpectMatch(char const* pattern, char const* input, |
| std::string const& expectedMatch, |
| std::string::size_type expectedStart, |
| std::string::size_type expectedEnd, |
| std::string::size_type offset = 0, unsigned options = 0) |
| { |
| kwsys::RegularExpression re; |
| if (!re.compile(pattern)) { |
| std::cerr << "Could not compile pattern '" << pattern << "'\n"; |
| return false; |
| } |
| |
| kwsys::RegularExpressionMatch match; |
| if (!re.find(input, match, offset, options)) { |
| std::cerr << "Expected a match for pattern '" << pattern << "' against '" |
| << input << "'\n"; |
| return false; |
| } |
| |
| if (match.match(0) != expectedMatch || match.start() != expectedStart || |
| match.end() != expectedEnd) { |
| std::cerr << "Unexpected match details for pattern '" << pattern |
| << "' against input '" << input << "'\n" |
| << " got: match='" << match.match(0) |
| << "' start=" << match.start() << " end=" << match.end() << "\n" |
| << " expect: match='" << expectedMatch |
| << "' start=" << expectedStart << " end=" << expectedEnd << "\n"; |
| return false; |
| } |
| |
| return true; |
| } |
| |
| bool ExpectGroups(char const* pattern, char const* input, |
| std::string const& group1, std::string const& group2) |
| { |
| kwsys::RegularExpression re; |
| if (!re.compile(pattern)) { |
| std::cerr << "Could not compile pattern '" << pattern << "'\n"; |
| return false; |
| } |
| |
| kwsys::RegularExpressionMatch match; |
| if (!re.find(input, match)) { |
| std::cerr << "Expected groups for pattern '" << pattern << "' against '" |
| << input << "'\n"; |
| return false; |
| } |
| |
| if (match.match(1) != group1 || match.match(2) != group2) { |
| std::cerr << "Unexpected capture groups for pattern '" << pattern |
| << "' against input '" << input << "'\n" |
| << " got: g1='" << match.match(1) << "' g2='" |
| << match.match(2) << "'\n" |
| << " expect: g1='" << group1 << "' g2='" << group2 << "'\n"; |
| return false; |
| } |
| |
| return true; |
| } |
| |
| bool ExpectGroupN(char const* pattern, char const* input, int n, |
| std::string const& expected) |
| { |
| kwsys::RegularExpression re; |
| if (!re.compile(pattern)) { |
| std::cerr << "Could not compile pattern '" << pattern << "'\n"; |
| return false; |
| } |
| |
| kwsys::RegularExpressionMatch match; |
| if (!re.find(input, match)) { |
| std::cerr << "Expected a match for pattern '" << pattern << "' against '" |
| << input << "'\n"; |
| return false; |
| } |
| |
| if (match.match(n) != expected) { |
| std::cerr << "Unexpected capture group " << n << " for pattern '" |
| << pattern << "' against input '" << input << "'\n" |
| << " got: '" << match.match(n) << "'\n" |
| << " expect: '" << expected << "'\n"; |
| return false; |
| } |
| |
| return true; |
| } |
| |
| bool ExpectNumGroups(char const* pattern, int expected) |
| { |
| kwsys::RegularExpression re; |
| if (!re.compile(pattern)) { |
| std::cerr << "Could not compile pattern '" << pattern << "'\n"; |
| return false; |
| } |
| |
| if (re.num_groups() != expected) { |
| std::cerr << "Unexpected num_groups for pattern '" << pattern |
| << "': " << re.num_groups() << " (expected " << expected |
| << ")\n"; |
| return false; |
| } |
| |
| return true; |
| } |
| |
| } // namespace |
| |
| int testRegularExpression(int, char*[]) |
| { |
| int failed = 0; |
| auto run = [&failed](char const* name, bool ok) { |
| if (!ok) { |
| ++failed; |
| std::cerr << "[testRegularExpression] FAILED case: " << name << "\n"; |
| } |
| }; |
| |
| // Basic matching and capture groups. |
| run("basic.match", |
| ExpectMatch("([A-Za-z]+)-([0-9]+)", "id abc-42 tail", "abc-42", 3, 9)); |
| run("basic.groups", |
| ExpectGroups("([A-Za-z]+)-([0-9]+)", "id abc-42 tail", "abc", "42")); |
| |
| // Greedy behavior for '*' and '+': KWSys prefers the longest prefix that |
| // allows the rest of the pattern to match. |
| run("greedy.star", ExpectMatch("a.*b", "a123b456b", "a123b456b", 0, 9)); |
| run("greedy.plus", ExpectMatch("a.+b", "axxbxxb", "axxbxxb", 0, 7)); |
| |
| // Anchor behavior with offsets: '^' only matches at absolute start unless |
| // BOL_AT_OFFSET is requested. |
| run("anchor.offset_without_bol_flag", ExpectFind("^abc", "xxabc", false, 2)); |
| run("anchor.offset_with_bol_flag", |
| ExpectMatch("^abc", "xxabc", "abc", 2, 5, 2, |
| kwsys::RegularExpression::BOL_AT_OFFSET)); |
| |
| // Empty-match rejection with NONEMPTY_AT_OFFSET should skip the empty match |
| // and find a non-empty one later when possible. |
| run("emptymatch.default", ExpectMatch("a*", "baa", "", 0, 0)); |
| run("emptymatch.nonempty_at_offset", |
| ExpectMatch("a*", "baa", "aa", 1, 3, 0, |
| kwsys::RegularExpression::NONEMPTY_AT_OFFSET)); |
| |
| // Character class edge cases. |
| run("charclass.range", ExpectMatch("[a-c]+", "zzabccdz", "abcc", 2, 6)); |
| run("charclass.negated", |
| ExpectMatch("[^a-c]+", "abcXYZ123", "XYZ123", 3, 9)); |
| run("charclass.invalid_reverse_range", ExpectCompile("[z-a]", false)); |
| |
| // Inside a character class, '.' is a literal character, not "any". |
| run("charclass.dot_is_literal", ExpectMatch("[.]", "a.b", ".", 1, 2)); |
| run("charclass.dot_is_literal_no_wildcard_match", |
| ExpectFind("[.]", "abc", false)); |
| |
| // Unlike an "unmatched" opening bracket (below), a bare close bracket is |
| // treated as a literal ']', which compiles fine. |
| run("charclass.unmatched_close_bracket", ExpectCompile("abc]", true)); |
| |
| // Backslash is not special inside a class, so a range's bounds are always |
| // the raw characters adjacent to '-'. Here the range is computed against |
| // 'n' (not an escaped newline), giving the descending, invalid range |
| // 'o'-'a'. |
| run("charclass.no_escape_invalid_range", ExpectCompile("[\\n-a]", false)); |
| |
| // By contrast, a literal newline byte '\n' adjacent to '-' forms the |
| // ascending, valid range '\n'(0x0A)-'a'(0x61). |
| run("charclass.literal_newline_in_range", ExpectCompile("[\n-a]", true)); |
| run("charclass.literal_newline_range_match", |
| ExpectMatch("[\n-a]+", "q\n19abz", "\n19a", 1, 5)); |
| |
| // Class ranges work over raw byte values, including non-printable |
| // control bytes such as \001 (0x01) through \037 (0x1F). |
| run("charclass.octal_literal_byte_range", |
| ExpectMatch("[\001-\037]+", "a\033b", "\033", 1, 2)); |
| run("charclass.octal_literal_byte_range_excludes_printable", |
| ExpectFind("[\001-\037]", "abc", false)); |
| |
| // Alternation and backtracking. |
| run("alternation.backtracking", ExpectMatch("(ab|a)b", "ab", "ab", 0, 2)); |
| run("alternation.first_branch_wins", |
| ExpectMatch("(foo|foobar)", "foobar", "foo", 0, 3)); |
| |
| // ------------------------------------------------------------------------- |
| // Dialect differences from other standard engines. |
| // ------------------------------------------------------------------------- |
| |
| // Backreferences are not supported. |
| run("dialect.no_backreference.literal_1_match", |
| ExpectMatch("(a)\\1", "xa1y", "a1", 1, 3)); |
| run("dialect.no_backreference.no_aa_match", |
| ExpectFind("(a)\\1", "xaa", false)); |
| |
| // '{m,n}' is not a quantifier in KWSys, braces are literal characters. |
| run("dialect.literal_braces.match", |
| ExpectMatch("a{2}", "xxa{2}yy", "a{2}", 2, 6)); |
| run("dialect.literal_braces.no_quantifier", |
| ExpectFind("a{2}", "xaa", false)); |
| |
| // Escapes like '\\d' are not character classes; '\\d+' means one-or-more |
| // literal 'd' characters. |
| run("dialect.literal_d_escape.match", |
| ExpectMatch("\\d+", "xdddyy", "ddd", 1, 4)); |
| run("dialect.literal_d_escape.no_digit_class", |
| ExpectFind("\\d+", "x123yy", false)); |
| |
| // Compile-time error detection. |
| run("compile.unmatched_paren", ExpectCompile("(", false)); |
| run("compile.nested_quantifier", ExpectCompile("a**", false)); |
| run("compile.unmatched_bracket", ExpectCompile("[abc", false)); |
| run("compile.trailing_backslash", ExpectCompile("\\", false)); |
| run("compile.unmatched_close_paren", ExpectCompile(")", false)); |
| run("compile.quantifier_with_no_operand", ExpectCompile("*abc", false)); |
| run("compile.empty_pattern", ExpectCompile("", true)); |
| |
| // NSUBEXP (32) caps the number of capture groups a pattern may declare. |
| { |
| std::string manyGroups; |
| for (int i = 0; i < 31; ++i) { |
| manyGroups += "(a)"; |
| } |
| run("compile.max_capture_groups_ok", |
| ExpectCompile(manyGroups.c_str(), true)); |
| manyGroups += "(a)"; |
| run("compile.too_many_capture_groups", |
| ExpectCompile(manyGroups.c_str(), false)); |
| } |
| |
| // '$' anchors at the absolute end of the string. |
| run("anchor.dollar_match", ExpectMatch("abc$", "xxabc", "abc", 2, 5)); |
| run("anchor.dollar_no_match_mid_string", ExpectFind("abc$", "abcxx", false)); |
| |
| // '?' matches the preceding atom zero or one times. |
| run("quantifier.optional_present", |
| ExpectMatch("colou?r", "colour", "colour", 0, 6)); |
| run("quantifier.optional_absent", |
| ExpectMatch("colou?r", "color", "color", 0, 5)); |
| |
| // '.' matches any single character, including a newline. |
| run("anychar.basic", ExpectMatch("a.c", "1a9c2", "a9c", 1, 4)); |
| run("anychar.matches_newline", ExpectMatch("a.b", "a\nb", "a\nb", 0, 3)); |
| |
| // A backslash escapes metacharacters back to their literal meaning. |
| run("escape.literal_dot", ExpectMatch("a\\.b", "xa.by", "a.b", 1, 4)); |
| run("escape.literal_dot_rejects_any_char", |
| ExpectFind("a\\.b", "xaxby", false)); |
| run("escape.literal_paren", ExpectMatch("a\\(b", "xa(by", "a(b", 1, 4)); |
| |
| // Character class edge syntax: a leading ']' or '-' is treated as a |
| // literal member of the class rather than closing it or starting a range. |
| run("charclass.bracket_as_first_char", |
| ExpectMatch("[]a]+", "]a]b", "]a]", 0, 3)); |
| run("charclass.trailing_dash_literal", |
| ExpectMatch("[a-]+", "a-a-b", "a-a-", 0, 4)); |
| run("charclass.leading_dash_literal", |
| ExpectMatch("[-a]+", "-a-ab", "-a-a", 0, 4)); |
| run("charclass.single_char_range", ExpectMatch("[a-a]+", "aab", "aa", 0, 2)); |
| |
| // Matching is case-sensitive. |
| run("case.sensitive_class", ExpectMatch("[A-Z]+", "abcXYZdef", "XYZ", 3, 6)); |
| |
| // Capture groups nest and are numbered in the order their '(' appears. |
| run("groups.nested.group1", ExpectGroupN("((a)(b))", "xaby", 1, "ab")); |
| run("groups.nested.group2", ExpectGroupN("((a)(b))", "xaby", 2, "a")); |
| run("groups.nested.group3", ExpectGroupN("((a)(b))", "xaby", 3, "b")); |
| run("groups.num_groups.two", ExpectNumGroups("([A-Za-z]+)-([0-9]+)", 2)); |
| run("groups.num_groups.nested", ExpectNumGroups("((a)(b))", 3)); |
| run("groups.num_groups.none", ExpectNumGroups("abc", 0)); |
| |
| // find() with an offset at (but not past) the end of the string. |
| run("offset.at_string_end_no_match", ExpectFind("abc", "ab", false, 2)); |
| run("offset.at_string_end_empty_match", ExpectMatch("a*", "b", "", 1, 1, 1)); |
| |
| // ------------------------------------------------------------------------- |
| // API surface beyond compile() and find(). |
| // ------------------------------------------------------------------------- |
| |
| run("api.string_overloads", [] { |
| kwsys::RegularExpression re; |
| if (!re.compile(std::string("([a-z]+)-([0-9]+)"))) { |
| return false; |
| } |
| // The input string must outlive the match. |
| std::string const input("id abc-42 tail"); |
| if (!re.find(input)) { |
| return false; |
| } |
| return re.match(0) == "abc-42"; |
| }()); |
| |
| run("api.is_valid_set_invalid", [] { |
| kwsys::RegularExpression re("abc"); |
| if (!re.is_valid()) { |
| return false; |
| } |
| re.set_invalid(); |
| return !re.is_valid(); |
| }()); |
| |
| run("api.copy_and_equality", [] { |
| kwsys::RegularExpression re1("(a)(b)"); |
| kwsys::RegularExpression re2(re1); // Copy constructor. |
| if (!(re1 == re2)) { |
| return false; |
| } |
| kwsys::RegularExpression re3; |
| re3 = re1; // Copy assignment. |
| if (!(re1 == re3) || (re1 != re3)) { |
| return false; |
| } |
| kwsys::RegularExpression different("xyz"); |
| return !(re1 == different); |
| }()); |
| |
| run("api.deep_equal", [] { |
| kwsys::RegularExpression re1("(a)(b)"); |
| kwsys::RegularExpression re2(re1); |
| if (!re1.find("xaby")) { |
| return false; |
| } |
| if (re1.deep_equal(re2)) { // re2 has not matched yet. |
| return false; |
| } |
| if (!re2.find("xaby")) { |
| return false; |
| } |
| return re1.deep_equal(re2); // Same pattern, same match position. |
| }()); |
| |
| if (failed) { |
| std::cerr << "[testRegularExpression] Total failed cases: " << failed |
| << "\n"; |
| } |
| |
| return failed == 0 ? 0 : 1; |
| } |