1 //===----------------------------------------------------------------------===//
2 //
3 // The LLVM Compiler Infrastructure
4 //
5 // This file is dual licensed under the MIT and the University of Illinois Open
6 // Source Licenses. See LICENSE.TXT for details.
7 //
8 //===----------------------------------------------------------------------===//
9
10 // <regex>
11
12 // template <class BidirectionalIterator, class Allocator, class charT, class traits>
13 // bool
14 // regex_match(BidirectionalIterator first, BidirectionalIterator last,
15 // match_results<BidirectionalIterator, Allocator>& m,
16 // const basic_regex<charT, traits>& e,
17 // regex_constants::match_flag_type flags = regex_constants::match_default);
18
19 // std::regex in ECMAScript mode should not ignore capture groups inside lookahead assertions.
20 // For example, matching /(?=(a))(a)/ to "a" should yield two captures: \1 = "a", \2 = "a"
21
22 #include <regex>
23 #include <cassert>
24
25 #include "test_macros.h"
26 #include "test_iterators.h"
27
main()28 int main()
29 {
30 {
31 std::regex re("^(?=(.))a$");
32 assert(re.mark_count() == 1);
33
34 std::string s("a");
35 std::smatch m;
36 assert(std::regex_match(s, m, re));
37 assert(m.size() == 2);
38 assert(m[0] == "a");
39 assert(m[1] == "a");
40 }
41
42 {
43 std::regex re("^(a)(?=(.))(b)$");
44 assert(re.mark_count() == 3);
45
46 std::string s("ab");
47 std::smatch m;
48 assert(std::regex_match(s, m, re));
49 assert(m.size() == 4);
50 assert(m[0] == "ab");
51 assert(m[1] == "a");
52 assert(m[2] == "b");
53 assert(m[3] == "b");
54 }
55
56 {
57 std::regex re("^(.)(?=(.)(?=.(.)))(...)$");
58 assert(re.mark_count() == 4);
59
60 std::string s("abcd");
61 std::smatch m;
62 assert(std::regex_match(s, m, re));
63 assert(m.size() == 5);
64 assert(m[0] == "abcd");
65 assert(m[1] == "a");
66 assert(m[2] == "b");
67 assert(m[3] == "d");
68 assert(m[4] == "bcd");
69 }
70
71 {
72 std::regex re("^(a)(?!([^b]))(.c)$");
73 assert(re.mark_count() == 3);
74
75 std::string s("abc");
76 std::smatch m;
77 assert(std::regex_match(s, m, re));
78 assert(m.size() == 4);
79 assert(m[0] == "abc");
80 assert(m[1] == "a");
81 assert(m[2] == "");
82 assert(m[3] == "bc");
83 }
84
85 {
86 std::regex re("^(?!((b)))(?=(.))(?!(abc)).b$");
87 assert(re.mark_count() == 4);
88
89 std::string s("ab");
90 std::smatch m;
91 assert(std::regex_match(s, m, re));
92 assert(m.size() == 5);
93 assert(m[0] == "ab");
94 assert(m[1] == "");
95 assert(m[2] == "");
96 assert(m[3] == "a");
97 assert(m[4] == "");
98 }
99 }
100