| Index: third_party/re2/re2/testing/search_test.cc
|
| diff --git a/third_party/re2/re2/testing/search_test.cc b/third_party/re2/re2/testing/search_test.cc
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..3ab2ae3bf873c18fefe2617912ca297423fac26b
|
| --- /dev/null
|
| +++ b/third_party/re2/re2/testing/search_test.cc
|
| @@ -0,0 +1,325 @@
|
| +// Copyright 2006-2007 The RE2 Authors. All Rights Reserved.
|
| +// Use of this source code is governed by a BSD-style
|
| +// license that can be found in the LICENSE file.
|
| +
|
| +#include <stdlib.h>
|
| +#include <vector>
|
| +#include "util/test.h"
|
| +#include "re2/prog.h"
|
| +#include "re2/regexp.h"
|
| +#include "re2/testing/tester.h"
|
| +#include "re2/testing/exhaustive_tester.h"
|
| +
|
| +namespace re2 {
|
| +
|
| +struct RegexpTest {
|
| + const char* regexp;
|
| + const char* text;
|
| +};
|
| +
|
| +RegexpTest simple_tests[] = {
|
| + { "a", "a" },
|
| + { "a", "zyzzyva" },
|
| + { "a+", "aa" },
|
| + { "(a+|b)+", "ab" },
|
| + { "ab|cd", "xabcdx" },
|
| + { "h.*od?", "hello\ngoodbye\n" },
|
| + { "h.*o", "hello\ngoodbye\n" },
|
| + { "h.*o", "goodbye\nhello\n" },
|
| + { "h.*o", "hello world" },
|
| + { "h.*o", "othello, world" },
|
| + { "[^\\s\\S]", "aaaaaaa" },
|
| + { "a", "aaaaaaa" },
|
| + { "a*", "aaaaaaa" },
|
| + { "a*", "" },
|
| + { "a*", NULL },
|
| + { "ab|cd", "xabcdx" },
|
| + { "a", "cab" },
|
| + { "a*b", "cab" },
|
| + { "((((((((((((((((((((x))))))))))))))))))))", "x" },
|
| + { "[abcd]", "xxxabcdxxx" },
|
| + { "[^x]", "xxxabcdxxx" },
|
| + { "[abcd]+", "xxxabcdxxx" },
|
| + { "[^x]+", "xxxabcdxxx" },
|
| + { "(fo|foo)", "fo" },
|
| + { "(foo|fo)", "foo" },
|
| +
|
| + { "aa", "aA" },
|
| + { "a", "Aa" },
|
| + { "a", "A" },
|
| + { "ABC", "abc" },
|
| + { "abc", "XABCY" },
|
| + { "ABC", "xabcy" },
|
| +
|
| + // Make sure ^ and $ work.
|
| + // The pathological cases didn't work
|
| + // in the original grep code.
|
| + { "foo|bar|[A-Z]", "foo" },
|
| + { "^(foo|bar|[A-Z])", "foo" },
|
| + { "(foo|bar|[A-Z])$", "foo\n" },
|
| + { "(foo|bar|[A-Z])$", "foo" },
|
| + { "^(foo|bar|[A-Z])$", "foo\n" },
|
| + { "^(foo|bar|[A-Z])$", "foo" },
|
| + { "^(foo|bar|[A-Z])$", "bar" },
|
| + { "^(foo|bar|[A-Z])$", "X" },
|
| + { "^(foo|bar|[A-Z])$", "XY" },
|
| + { "^(fo|foo)$", "fo" },
|
| + { "^(fo|foo)$", "foo" },
|
| + { "^^(fo|foo)$", "fo" },
|
| + { "^^(fo|foo)$", "foo" },
|
| + { "^$", "" },
|
| + { "^$", "x" },
|
| + { "^^$", "" },
|
| + { "^$$", "" },
|
| + { "^^$", "x" },
|
| + { "^$$", "x" },
|
| + { "^^$$", "" },
|
| + { "^^$$", "x" },
|
| + { "^^^^^^^^$$$$$$$$", "" },
|
| + { "^", "x" },
|
| + { "$", "x" },
|
| +
|
| + // Word boundaries.
|
| + { "\\bfoo\\b", "nofoo foo that" },
|
| + { "a\\b", "faoa x" },
|
| + { "\\bbar", "bar x" },
|
| + { "\\bbar", "foo\nbar x" },
|
| + { "bar\\b", "foobar" },
|
| + { "bar\\b", "foobar\nxxx" },
|
| + { "(foo|bar|[A-Z])\\b", "foo" },
|
| + { "(foo|bar|[A-Z])\\b", "foo\n" },
|
| + { "\\b", "" },
|
| + { "\\b", "x" },
|
| + { "\\b(foo|bar|[A-Z])", "foo" },
|
| + { "\\b(foo|bar|[A-Z])\\b", "X" },
|
| + { "\\b(foo|bar|[A-Z])\\b", "XY" },
|
| + { "\\b(foo|bar|[A-Z])\\b", "bar" },
|
| + { "\\b(foo|bar|[A-Z])\\b", "foo" },
|
| + { "\\b(foo|bar|[A-Z])\\b", "foo\n" },
|
| + { "\\b(foo|bar|[A-Z])\\b", "ffoo bbar N x" },
|
| + { "\\b(fo|foo)\\b", "fo" },
|
| + { "\\b(fo|foo)\\b", "foo" },
|
| + { "\\b\\b", "" },
|
| + { "\\b\\b", "x" },
|
| + { "\\b$", "" },
|
| + { "\\b$", "x" },
|
| + { "\\b$", "y x" },
|
| + { "\\b.$", "x" },
|
| + { "^\\b(fo|foo)\\b", "fo" },
|
| + { "^\\b(fo|foo)\\b", "foo" },
|
| + { "^\\b", "" },
|
| + { "^\\b", "x" },
|
| + { "^\\b\\b", "" },
|
| + { "^\\b\\b", "x" },
|
| + { "^\\b$", "" },
|
| + { "^\\b$", "x" },
|
| + { "^\\b.$", "x" },
|
| + { "^\\b.\\b$", "x" },
|
| + { "^^^^^^^^\\b$$$$$$$", "" },
|
| + { "^^^^^^^^\\b.$$$$$$", "x" },
|
| + { "^^^^^^^^\\b$$$$$$$", "x" },
|
| +
|
| + // Non-word boundaries.
|
| + { "\\Bfoo\\B", "n foo xfoox that" },
|
| + { "a\\B", "faoa x" },
|
| + { "\\Bbar", "bar x" },
|
| + { "\\Bbar", "foo\nbar x" },
|
| + { "bar\\B", "foobar" },
|
| + { "bar\\B", "foobar\nxxx" },
|
| + { "(foo|bar|[A-Z])\\B", "foox" },
|
| + { "(foo|bar|[A-Z])\\B", "foo\n" },
|
| + { "\\B", "" },
|
| + { "\\B", "x" },
|
| + { "\\B(foo|bar|[A-Z])", "foo" },
|
| + { "\\B(foo|bar|[A-Z])\\B", "xXy" },
|
| + { "\\B(foo|bar|[A-Z])\\B", "XY" },
|
| + { "\\B(foo|bar|[A-Z])\\B", "XYZ" },
|
| + { "\\B(foo|bar|[A-Z])\\B", "abara" },
|
| + { "\\B(foo|bar|[A-Z])\\B", "xfoo_" },
|
| + { "\\B(foo|bar|[A-Z])\\B", "xfoo\n" },
|
| + { "\\B(foo|bar|[A-Z])\\B", "foo bar vNx" },
|
| + { "\\B(fo|foo)\\B", "xfoo" },
|
| + { "\\B(foo|fo)\\B", "xfooo" },
|
| + { "\\B\\B", "" },
|
| + { "\\B\\B", "x" },
|
| + { "\\B$", "" },
|
| + { "\\B$", "x" },
|
| + { "\\B$", "y x" },
|
| + { "\\B.$", "x" },
|
| + { "^\\B(fo|foo)\\B", "fo" },
|
| + { "^\\B(fo|foo)\\B", "foo" },
|
| + { "^\\B", "" },
|
| + { "^\\B", "x" },
|
| + { "^\\B\\B", "" },
|
| + { "^\\B\\B", "x" },
|
| + { "^\\B$", "" },
|
| + { "^\\B$", "x" },
|
| + { "^\\B.$", "x" },
|
| + { "^\\B.\\B$", "x" },
|
| + { "^^^^^^^^\\B$$$$$$$", "" },
|
| + { "^^^^^^^^\\B.$$$$$$", "x" },
|
| + { "^^^^^^^^\\B$$$$$$$", "x" },
|
| +
|
| + // PCRE uses only ASCII for \b computation.
|
| + // All non-ASCII are *not* word characters.
|
| + { "\\bx\\b", "x" },
|
| + { "\\bx\\b", "x>" },
|
| + { "\\bx\\b", "<x" },
|
| + { "\\bx\\b", "<x>" },
|
| + { "\\bx\\b", "ax" },
|
| + { "\\bx\\b", "xb" },
|
| + { "\\bx\\b", "axb" },
|
| + { "\\bx\\b", "«x" },
|
| + { "\\bx\\b", "x»" },
|
| + { "\\bx\\b", "«x»" },
|
| + { "\\bx\\b", "axb" },
|
| + { "\\bx\\b", "áxβ" },
|
| + { "\\Bx\\B", "axb" },
|
| + { "\\Bx\\B", "áxβ" },
|
| +
|
| + // Weird boundary cases.
|
| + { "^$^$", "" },
|
| + { "^$^", "" },
|
| + { "$^$", "" },
|
| +
|
| + { "^$^$", "x" },
|
| + { "^$^", "x" },
|
| + { "$^$", "x" },
|
| +
|
| + { "^$^$", "x\ny" },
|
| + { "^$^", "x\ny" },
|
| + { "$^$", "x\ny" },
|
| +
|
| + { "^$^$", "x\n\ny" },
|
| + { "^$^", "x\n\ny" },
|
| + { "$^$", "x\n\ny" },
|
| +
|
| + { "^(foo\\$)$", "foo$bar" },
|
| + { "(foo\\$)", "foo$bar" },
|
| + { "^...$", "abc" },
|
| +
|
| + // UTF-8
|
| + { "^\xe6\x9c\xac$", "\xe6\x9c\xac" },
|
| + { "^...$", "\xe6\x97\xa5\xe6\x9c\xac\xe8\xaa\x9e" },
|
| + { "^...$", ".\xe6\x9c\xac." },
|
| +
|
| + { "^\\C\\C\\C$", "\xe6\x9c\xac" },
|
| + { "^\\C$", "\xe6\x9c\xac" },
|
| + { "^\\C\\C\\C$", "\xe6\x97\xa5\xe6\x9c\xac\xe8\xaa\x9e" },
|
| +
|
| + // Latin1
|
| + { "^...$", "\xe6\x97\xa5\xe6\x9c\xac\xe8\xaa\x9e" },
|
| + { "^.........$", "\xe6\x97\xa5\xe6\x9c\xac\xe8\xaa\x9e" },
|
| + { "^...$", ".\xe6\x9c\xac." },
|
| + { "^.....$", ".\xe6\x9c\xac." },
|
| +
|
| + // Perl v Posix
|
| + { "\\B(fo|foo)\\B", "xfooo" },
|
| + { "(fo|foo)", "foo" },
|
| +
|
| + // Octal escapes.
|
| + { "\\141", "a" },
|
| + { "\\060", "0" },
|
| + { "\\0600", "00" },
|
| + { "\\608", "08" },
|
| + { "\\01", "\01" },
|
| + { "\\018", "\01" "8" },
|
| +
|
| + // Hexadecimal escapes
|
| + { "\\x{61}", "a" },
|
| + { "\\x61", "a" },
|
| + { "\\x{00000061}", "a" },
|
| +
|
| + // Unicode scripts.
|
| + { "\\p{Greek}+", "aαβb" },
|
| + { "\\P{Greek}+", "aαβb" },
|
| + { "\\p{^Greek}+", "aαβb" },
|
| + { "\\P{^Greek}+", "aαβb" },
|
| +
|
| + // Unicode properties. Nd is decimal number. N is any number.
|
| + { "[^0-9]+", "abc123" },
|
| + { "\\p{Nd}+", "abc123²³¼½¾₀₉" },
|
| + { "\\p{^Nd}+", "abc123²³¼½¾₀₉" },
|
| + { "\\P{Nd}+", "abc123²³¼½¾₀₉" },
|
| + { "\\P{^Nd}+", "abc123²³¼½¾₀₉" },
|
| + { "\\pN+", "abc123²³¼½¾₀₉" },
|
| + { "\\p{N}+", "abc123²³¼½¾₀₉" },
|
| + { "\\p{^N}+", "abc123²³¼½¾₀₉" },
|
| +
|
| + { "\\p{Any}+", "abc123" },
|
| +
|
| + // Character classes & case folding.
|
| + { "(?i)[@-A]+", "@AaB" }, // matches @Aa but not B
|
| + { "(?i)[A-Z]+", "aAzZ" },
|
| + { "(?i)[^\\\\]+", "Aa\\" }, // \\ is between A-Z and a-z -
|
| + // splits the ranges in an interesting way.
|
| +
|
| + // would like to use, but PCRE mishandles in full-match, non-greedy mode
|
| + // { "(?i)[\\\\]+", "Aa" },
|
| +
|
| + { "(?i)[acegikmoqsuwy]+", "acegikmoqsuwyACEGIKMOQSUWY" },
|
| +
|
| + // Character classes & case folding.
|
| + { "[@-A]+", "@AaB" },
|
| + { "[A-Z]+", "aAzZ" },
|
| + { "[^\\\\]+", "Aa\\" },
|
| + { "[acegikmoqsuwy]+", "acegikmoqsuwyACEGIKMOQSUWY" },
|
| +
|
| + // Anchoring. (^abc in aabcdef was a former bug)
|
| + // The tester checks for a match in the text and
|
| + // subpieces of the text with a byte removed on either side.
|
| + { "^abc", "abcdef" },
|
| + { "^abc", "aabcdef" },
|
| + { "^[ay]*[bx]+c", "abcdef" },
|
| + { "^[ay]*[bx]+c", "aabcdef" },
|
| + { "def$", "abcdef" },
|
| + { "def$", "abcdeff" },
|
| + { "d[ex][fy]$", "abcdef" },
|
| + { "d[ex][fy]$", "abcdeff" },
|
| + { "[dz][ex][fy]$", "abcdef" },
|
| + { "[dz][ex][fy]$", "abcdeff" },
|
| + { "(?m)^abc", "abcdef" },
|
| + { "(?m)^abc", "aabcdef" },
|
| + { "(?m)^[ay]*[bx]+c", "abcdef" },
|
| + { "(?m)^[ay]*[bx]+c", "aabcdef" },
|
| + { "(?m)def$", "abcdef" },
|
| + { "(?m)def$", "abcdeff" },
|
| + { "(?m)d[ex][fy]$", "abcdef" },
|
| + { "(?m)d[ex][fy]$", "abcdeff" },
|
| + { "(?m)[dz][ex][fy]$", "abcdef" },
|
| + { "(?m)[dz][ex][fy]$", "abcdeff" },
|
| + { "^", "a" },
|
| + { "^^", "a" },
|
| +
|
| + // Context.
|
| + // The tester checks for a match in the text and
|
| + // subpieces of the text with a byte removed on either side.
|
| + { "a", "a" },
|
| + { "ab*", "a" },
|
| + { "a\\C*", "a" },
|
| +
|
| + // Former bugs.
|
| + { "a\\C*|ba\\C", "baba" },
|
| +};
|
| +
|
| +TEST(Regexp, SearchTests) {
|
| + int failures = 0;
|
| + for (int i = 0; i < arraysize(simple_tests); i++) {
|
| + const RegexpTest& t = simple_tests[i];
|
| + if (!TestRegexpOnText(t.regexp, t.text))
|
| + failures++;
|
| +
|
| +#ifdef LOGGING
|
| + // Build a dummy ExhaustiveTest call that will trigger just
|
| + // this one test, so that we log the test case.
|
| + vector<string> atom, alpha, ops;
|
| + atom.push_back(StringPiece(t.regexp).as_string());
|
| + alpha.push_back(StringPiece(t.text).as_string());
|
| + ExhaustiveTest(1, 0, atom, ops, 1, alpha, "", "");
|
| +#endif
|
| +
|
| + }
|
| + EXPECT_EQ(failures, 0);
|
| +}
|
| +
|
| +} // namespace re2
|
|
|