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 sub_match;
13
14// template <class BiIter>
15//     bool
16//     operator==(const sub_match<BiIter>& lhs, const sub_match<BiIter>& rhs);
17//
18// template <class BiIter>
19//     bool
20//     operator!=(const sub_match<BiIter>& lhs, const sub_match<BiIter>& rhs);
21//
22// template <class BiIter>
23//     bool
24//     operator<(const sub_match<BiIter>& lhs, const sub_match<BiIter>& rhs);
25//
26// template <class BiIter>
27//     bool
28//     operator<=(const sub_match<BiIter>& lhs, const sub_match<BiIter>& rhs);
29//
30// template <class BiIter>
31//     bool
32//     operator>=(const sub_match<BiIter>& lhs, const sub_match<BiIter>& rhs);
33//
34// template <class BiIter>
35//     bool
36//     operator>(const sub_match<BiIter>& lhs, const sub_match<BiIter>& rhs);
37//
38// template <class BiIter, class ST, class SA>
39//     bool
40//     operator==(const basic_string<typename iterator_traits<BiIter>::value_type, ST, SA>& lhs,
41//                const sub_match<BiIter>& rhs);
42//
43// template <class BiIter, class ST, class SA>
44//     bool
45//     operator!=(const basic_string<typename iterator_traits<BiIter>::value_type, ST, SA>& lhs,
46//                const sub_match<BiIter>& rhs);
47//
48// template <class BiIter, class ST, class SA>
49//     bool
50//     operator<(const basic_string<typename iterator_traits<BiIter>::value_type, ST, SA>& lhs,
51//               const sub_match<BiIter>& rhs);
52//
53// template <class BiIter, class ST, class SA>
54//     bool
55//     operator>(const basic_string<typename iterator_traits<BiIter>::value_type, ST, SA>& lhs,
56//               const sub_match<BiIter>& rhs);
57//
58// template <class BiIter, class ST, class SA>
59//     bool operator>=(const basic_string<typename iterator_traits<BiIter>::value_type, ST, SA>& lhs,
60//                     const sub_match<BiIter>& rhs);
61//
62// template <class BiIter, class ST, class SA>
63//     bool
64//     operator<=(const basic_string<typename iterator_traits<BiIter>::value_type, ST, SA>& lhs,
65//                const sub_match<BiIter>& rhs);
66//
67// template <class BiIter, class ST, class SA>
68//     bool
69//     operator==(const sub_match<BiIter>& lhs,
70//                const basic_string<typename iterator_traits<BiIter>::value_type, ST, SA>& rhs);
71//
72// template <class BiIter, class ST, class SA>
73//     bool
74//     operator!=(const sub_match<BiIter>& lhs,
75//                const basic_string<typename iterator_traits<BiIter>::value_type, ST, SA>& rhs);
76//
77// template <class BiIter, class ST, class SA>
78//     bool
79//     operator<(const sub_match<BiIter>& lhs,
80//               const basic_string<typename iterator_traits<BiIter>::value_type, ST, SA>& rhs);
81//
82// template <class BiIter, class ST, class SA>
83//     bool operator>(const sub_match<BiIter>& lhs,
84//                    const basic_string<typename iterator_traits<BiIter>::value_type, ST, SA>& rhs);
85//
86// template <class BiIter, class ST, class SA>
87//     bool
88//     operator>=(const sub_match<BiIter>& lhs,
89//                const basic_string<typename iterator_traits<BiIter>::value_type, ST, SA>& rhs);
90//
91// template <class BiIter, class ST, class SA>
92//     bool
93//     operator<=(const sub_match<BiIter>& lhs,
94//                const basic_string<typename iterator_traits<BiIter>::value_type, ST, SA>& rhs);
95//
96// template <class BiIter>
97//     bool
98//     operator==(typename iterator_traits<BiIter>::value_type const* lhs,
99//                const sub_match<BiIter>& rhs);
100//
101// template <class BiIter>
102//     bool
103//     operator!=(typename iterator_traits<BiIter>::value_type const* lhs,
104//                const sub_match<BiIter>& rhs);
105//
106// template <class BiIter>
107//     bool
108//     operator<(typename iterator_traits<BiIter>::value_type const* lhs,
109//               const sub_match<BiIter>& rhs);
110//
111// template <class BiIter>
112//     bool
113//     operator>(typename iterator_traits<BiIter>::value_type const* lhs,
114//               const sub_match<BiIter>& rhs);
115//
116// template <class BiIter>
117//     bool
118//     operator>=(typename iterator_traits<BiIter>::value_type const* lhs,
119//                const sub_match<BiIter>& rhs);
120//
121// template <class BiIter>
122//     bool
123//     operator<=(typename iterator_traits<BiIter>::value_type const* lhs,
124//                const sub_match<BiIter>& rhs);
125//
126// template <class BiIter>
127//     bool
128//     operator==(const sub_match<BiIter>& lhs,
129//                typename iterator_traits<BiIter>::value_type const* rhs);
130//
131// template <class BiIter>
132//     bool
133//     operator!=(const sub_match<BiIter>& lhs,
134//                typename iterator_traits<BiIter>::value_type const* rhs);
135//
136// template <class BiIter>
137//     bool
138//     operator<(const sub_match<BiIter>& lhs,
139//               typename iterator_traits<BiIter>::value_type const* rhs);
140//
141// template <class BiIter>
142//     bool
143//     operator>(const sub_match<BiIter>& lhs,
144//               typename iterator_traits<BiIter>::value_type const* rhs);
145//
146// template <class BiIter>
147//     bool
148//     operator>=(const sub_match<BiIter>& lhs,
149//                typename iterator_traits<BiIter>::value_type const* rhs);
150//
151// template <class BiIter>
152//     bool
153//     operator<=(const sub_match<BiIter>& lhs,
154//                typename iterator_traits<BiIter>::value_type const* rhs);
155//
156// template <class BiIter>
157//     bool
158//     operator==(typename iterator_traits<BiIter>::value_type const& lhs,
159//                const sub_match<BiIter>& rhs);
160//
161// template <class BiIter>
162//     bool
163//     operator!=(typename iterator_traits<BiIter>::value_type const& lhs,
164//                const sub_match<BiIter>& rhs);
165//
166// template <class BiIter>
167//     bool
168//     operator<(typename iterator_traits<BiIter>::value_type const& lhs,
169//               const sub_match<BiIter>& rhs);
170//
171// template <class BiIter>
172//     bool
173//     operator>(typename iterator_traits<BiIter>::value_type const& lhs,
174//               const sub_match<BiIter>& rhs);
175//
176// template <class BiIter>
177//     bool
178//     operator>=(typename iterator_traits<BiIter>::value_type const& lhs,
179//                const sub_match<BiIter>& rhs);
180//
181// template <class BiIter>
182//     bool
183//     operator<=(typename iterator_traits<BiIter>::value_type const& lhs,
184//                const sub_match<BiIter>& rhs);
185//
186// template <class BiIter>
187//     bool
188//     operator==(const sub_match<BiIter>& lhs,
189//                typename iterator_traits<BiIter>::value_type const& rhs);
190//
191// template <class BiIter>
192//     bool
193//     operator!=(const sub_match<BiIter>& lhs,
194//                typename iterator_traits<BiIter>::value_type const& rhs);
195//
196// template <class BiIter>
197//     bool
198//     operator<(const sub_match<BiIter>& lhs,
199//               typename iterator_traits<BiIter>::value_type const& rhs);
200//
201// template <class BiIter>
202//     bool
203//     operator>(const sub_match<BiIter>& lhs,
204//               typename iterator_traits<BiIter>::value_type const& rhs);
205//
206// template <class BiIter>
207//     bool
208//     operator>=(const sub_match<BiIter>& lhs,
209//                typename iterator_traits<BiIter>::value_type const& rhs);
210//
211// template <class BiIter>
212//     bool
213//     operator<=(const sub_match<BiIter>& lhs,
214//                typename iterator_traits<BiIter>::value_type const& rhs);
215
216#include <regex>
217#include <cassert>
218
219template <class CharT>
220void
221test(const std::basic_string<CharT>& x, const std::basic_string<CharT>& y)
222{
223    typedef std::basic_string<CharT> string;
224    typedef std::sub_match<typename string::const_iterator> sub_match;
225    sub_match sm1;
226    sm1.first = x.begin();
227    sm1.second = x.end();
228    sm1.matched = true;
229    sub_match sm2;
230    sm2.first = y.begin();
231    sm2.second = y.end();
232    sm2.matched = true;
233    assert((sm1 == sm2) == (x == y));
234    assert((sm1 != sm2) == (x != y));
235    assert((sm1 < sm2) == (x < y));
236    assert((sm1 > sm2) == (x > y));
237    assert((sm1 <= sm2) == (x <= y));
238    assert((sm1 >= sm2) == (x >= y));
239    assert((x == sm2) == (x == y));
240    assert((x != sm2) == (x != y));
241    assert((x < sm2) == (x < y));
242    assert((x > sm2) == (x > y));
243    assert((x <= sm2) == (x <= y));
244    assert((x >= sm2) == (x >= y));
245    assert((sm1 == y) == (x == y));
246    assert((sm1 != y) == (x != y));
247    assert((sm1 < y) == (x < y));
248    assert((sm1 > y) == (x > y));
249    assert((sm1 <= y) == (x <= y));
250    assert((sm1 >= y) == (x >= y));
251    assert((x.c_str() == sm2) == (x == y));
252    assert((x.c_str() != sm2) == (x != y));
253    assert((x.c_str() < sm2) == (x < y));
254    assert((x.c_str() > sm2) == (x > y));
255    assert((x.c_str() <= sm2) == (x <= y));
256    assert((x.c_str() >= sm2) == (x >= y));
257    assert((sm1 == y.c_str()) == (x == y));
258    assert((sm1 != y.c_str()) == (x != y));
259    assert((sm1 < y.c_str()) == (x < y));
260    assert((sm1 > y.c_str()) == (x > y));
261    assert((sm1 <= y.c_str()) == (x <= y));
262    assert((sm1 >= y.c_str()) == (x >= y));
263    assert((x[0] == sm2) == (string(1, x[0]) == y));
264    assert((x[0] != sm2) == (string(1, x[0]) != y));
265    assert((x[0] < sm2) == (string(1, x[0]) < y));
266    assert((x[0] > sm2) == (string(1, x[0]) > y));
267    assert((x[0] <= sm2) == (string(1, x[0]) <= y));
268    assert((x[0] >= sm2) == (string(1, x[0]) >= y));
269    assert((sm1 == y[0]) == (x == string(1, y[0])));
270    assert((sm1 != y[0]) == (x != string(1, y[0])));
271    assert((sm1 < y[0]) == (x < string(1, y[0])));
272    assert((sm1 > y[0]) == (x > string(1, y[0])));
273    assert((sm1 <= y[0]) == (x <= string(1, y[0])));
274    assert((sm1 >= y[0]) == (x >= string(1, y[0])));
275}
276
277int main()
278{
279    test(std::string("123"), std::string("123"));
280    test(std::string("1234"), std::string("123"));
281    test(std::wstring(L"123"), std::wstring(L"123"));
282    test(std::wstring(L"1234"), std::wstring(L"123"));
283}
284