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 charT> struct regex_traits;
13
14// template <class ForwardIterator>
15//   char_class_type
16//   lookup_classname(ForwardIterator first, ForwardIterator last,
17//                    bool icase = false) const;
18
19#include <regex>
20#include <cassert>
21#include "test_macros.h"
22#include "test_iterators.h"
23
24template <class char_type>
25void
26test(const char_type* A,
27     typename std::regex_traits<char_type>::char_class_type expected,
28     bool icase = false)
29{
30    typedef typename std::regex_traits<char_type>::char_class_type char_class_type;
31    std::regex_traits<char_type> t;
32    typedef forward_iterator<const char_type*> F;
33    char_class_type result = t.lookup_classname(F(A), F(A + t.length(A)), icase);
34    assert(result == expected);
35}
36
37template <class char_type>
38void
39test_w(const char_type* A,
40       typename std::regex_traits<char_type>::char_class_type expected,
41        bool icase = false)
42{
43    typedef typename std::regex_traits<char_type>::char_class_type char_class_type;
44    std::regex_traits<char_type> t;
45    typedef forward_iterator<const char_type*> F;
46    char_class_type result = t.lookup_classname(F(A), F(A + t.length(A)), icase);
47    assert((result & expected) == expected);
48    LIBCPP_ASSERT((expected | std::regex_traits<char_type>::__regex_word) == result);
49
50    const bool matches_underscore = t.isctype('_', result);
51    if (result != expected)
52      assert(matches_underscore && "expected to match underscore");
53    else
54      assert(!matches_underscore && "should not match underscore");
55}
56
57int main()
58{
59//  if __regex_word is not distinct from all the classes, bad things happen
60//  See https://bugs.llvm.org/show_bug.cgi?id=26476 for an example.
61    LIBCPP_ASSERT((std::ctype_base::space  & std::regex_traits<char>::__regex_word) == 0);
62    LIBCPP_ASSERT((std::ctype_base::print  & std::regex_traits<char>::__regex_word) == 0);
63    LIBCPP_ASSERT((std::ctype_base::cntrl  & std::regex_traits<char>::__regex_word) == 0);
64    LIBCPP_ASSERT((std::ctype_base::upper  & std::regex_traits<char>::__regex_word) == 0);
65    LIBCPP_ASSERT((std::ctype_base::lower  & std::regex_traits<char>::__regex_word) == 0);
66    LIBCPP_ASSERT((std::ctype_base::alpha  & std::regex_traits<char>::__regex_word) == 0);
67    LIBCPP_ASSERT((std::ctype_base::digit  & std::regex_traits<char>::__regex_word) == 0);
68    LIBCPP_ASSERT((std::ctype_base::punct  & std::regex_traits<char>::__regex_word) == 0);
69    LIBCPP_ASSERT((std::ctype_base::xdigit & std::regex_traits<char>::__regex_word) == 0);
70    LIBCPP_ASSERT((std::ctype_base::blank  & std::regex_traits<char>::__regex_word) == 0);
71
72    test("d", std::ctype_base::digit);
73    test("D", std::ctype_base::digit);
74    test("d", std::ctype_base::digit, true);
75    test("D", std::ctype_base::digit, true);
76
77    test_w("w", std::ctype_base::alnum
78              | std::ctype_base::upper | std::ctype_base::lower);
79    test_w("W", std::ctype_base::alnum
80              | std::ctype_base::upper | std::ctype_base::lower);
81    test_w("w", std::ctype_base::alnum
82              | std::ctype_base::upper | std::ctype_base::lower, true);
83    test_w("W", std::ctype_base::alnum
84              | std::ctype_base::upper | std::ctype_base::lower, true);
85
86    test("s", std::ctype_base::space);
87    test("S", std::ctype_base::space);
88    test("s", std::ctype_base::space, true);
89    test("S", std::ctype_base::space, true);
90
91    test("alnum", std::ctype_base::alnum);
92    test("AlNum", std::ctype_base::alnum);
93    test("alnum", std::ctype_base::alnum, true);
94    test("AlNum", std::ctype_base::alnum, true);
95
96    test("alpha", std::ctype_base::alpha);
97    test("Alpha", std::ctype_base::alpha);
98    test("alpha", std::ctype_base::alpha, true);
99    test("Alpha", std::ctype_base::alpha, true);
100
101    test("blank", std::ctype_base::blank);
102    test("Blank", std::ctype_base::blank);
103    test("blank", std::ctype_base::blank, true);
104    test("Blank", std::ctype_base::blank, true);
105
106    test("cntrl", std::ctype_base::cntrl);
107    test("Cntrl", std::ctype_base::cntrl);
108    test("cntrl", std::ctype_base::cntrl, true);
109    test("Cntrl", std::ctype_base::cntrl, true);
110
111    test("digit", std::ctype_base::digit);
112    test("Digit", std::ctype_base::digit);
113    test("digit", std::ctype_base::digit, true);
114    test("Digit", std::ctype_base::digit, true);
115
116    test("digit", std::ctype_base::digit);
117    test("DIGIT", std::ctype_base::digit);
118    test("digit", std::ctype_base::digit, true);
119    test("Digit", std::ctype_base::digit, true);
120
121    test("graph", std::ctype_base::graph);
122    test("GRAPH", std::ctype_base::graph);
123    test("graph", std::ctype_base::graph, true);
124    test("Graph", std::ctype_base::graph, true);
125
126    test("lower", std::ctype_base::lower);
127    test("LOWER", std::ctype_base::lower);
128    test("lower", std::ctype_base::lower | std::ctype_base::alpha, true);
129    test("Lower", std::ctype_base::lower | std::ctype_base::alpha, true);
130
131    test("print", std::ctype_base::print);
132    test("PRINT", std::ctype_base::print);
133    test("print", std::ctype_base::print, true);
134    test("Print", std::ctype_base::print, true);
135
136    test("punct", std::ctype_base::punct);
137    test("PUNCT", std::ctype_base::punct);
138    test("punct", std::ctype_base::punct, true);
139    test("Punct", std::ctype_base::punct, true);
140
141    test("space", std::ctype_base::space);
142    test("SPACE", std::ctype_base::space);
143    test("space", std::ctype_base::space, true);
144    test("Space", std::ctype_base::space, true);
145
146    test("upper", std::ctype_base::upper);
147    test("UPPER", std::ctype_base::upper);
148    test("upper", std::ctype_base::upper | std::ctype_base::alpha, true);
149    test("Upper", std::ctype_base::upper | std::ctype_base::alpha, true);
150
151    test("xdigit", std::ctype_base::xdigit);
152    test("XDIGIT", std::ctype_base::xdigit);
153    test("xdigit", std::ctype_base::xdigit, true);
154    test("Xdigit", std::ctype_base::xdigit, true);
155
156    test("dig", std::ctype_base::mask());
157    test("", std::ctype_base::mask());
158    test("digits", std::ctype_base::mask());
159
160    test(L"d", std::ctype_base::digit);
161    test(L"D", std::ctype_base::digit);
162    test(L"d", std::ctype_base::digit, true);
163    test(L"D", std::ctype_base::digit, true);
164
165    test_w(L"w", std::ctype_base::alnum
166                      | std::ctype_base::upper | std::ctype_base::lower);
167    test_w(L"W", std::ctype_base::alnum
168                      | std::ctype_base::upper | std::ctype_base::lower);
169    test_w(L"w", std::ctype_base::alnum
170                      | std::ctype_base::upper | std::ctype_base::lower, true);
171    test_w(L"W", std::ctype_base::alnum
172                      | std::ctype_base::upper | std::ctype_base::lower, true);
173
174    test(L"s", std::ctype_base::space);
175    test(L"S", std::ctype_base::space);
176    test(L"s", std::ctype_base::space, true);
177    test(L"S", std::ctype_base::space, true);
178
179    test(L"alnum", std::ctype_base::alnum);
180    test(L"AlNum", std::ctype_base::alnum);
181    test(L"alnum", std::ctype_base::alnum, true);
182    test(L"AlNum", std::ctype_base::alnum, true);
183
184    test(L"alpha", std::ctype_base::alpha);
185    test(L"Alpha", std::ctype_base::alpha);
186    test(L"alpha", std::ctype_base::alpha, true);
187    test(L"Alpha", std::ctype_base::alpha, true);
188
189    test(L"blank", std::ctype_base::blank);
190    test(L"Blank", std::ctype_base::blank);
191    test(L"blank", std::ctype_base::blank, true);
192    test(L"Blank", std::ctype_base::blank, true);
193
194    test(L"cntrl", std::ctype_base::cntrl);
195    test(L"Cntrl", std::ctype_base::cntrl);
196    test(L"cntrl", std::ctype_base::cntrl, true);
197    test(L"Cntrl", std::ctype_base::cntrl, true);
198
199    test(L"digit", std::ctype_base::digit);
200    test(L"Digit", std::ctype_base::digit);
201    test(L"digit", std::ctype_base::digit, true);
202    test(L"Digit", std::ctype_base::digit, true);
203
204    test(L"digit", std::ctype_base::digit);
205    test(L"DIGIT", std::ctype_base::digit);
206    test(L"digit", std::ctype_base::digit, true);
207    test(L"Digit", std::ctype_base::digit, true);
208
209    test(L"graph", std::ctype_base::graph);
210    test(L"GRAPH", std::ctype_base::graph);
211    test(L"graph", std::ctype_base::graph, true);
212    test(L"Graph", std::ctype_base::graph, true);
213
214    test(L"lower", std::ctype_base::lower);
215    test(L"LOWER", std::ctype_base::lower);
216    test(L"lower", std::ctype_base::lower | std::ctype_base::alpha, true);
217    test(L"Lower", std::ctype_base::lower | std::ctype_base::alpha, true);
218
219    test(L"print", std::ctype_base::print);
220    test(L"PRINT", std::ctype_base::print);
221    test(L"print", std::ctype_base::print, true);
222    test(L"Print", std::ctype_base::print, true);
223
224    test(L"punct", std::ctype_base::punct);
225    test(L"PUNCT", std::ctype_base::punct);
226    test(L"punct", std::ctype_base::punct, true);
227    test(L"Punct", std::ctype_base::punct, true);
228
229    test(L"space", std::ctype_base::space);
230    test(L"SPACE", std::ctype_base::space);
231    test(L"space", std::ctype_base::space, true);
232    test(L"Space", std::ctype_base::space, true);
233
234    test(L"upper", std::ctype_base::upper);
235    test(L"UPPER", std::ctype_base::upper);
236    test(L"upper", std::ctype_base::upper | std::ctype_base::alpha, true);
237    test(L"Upper", std::ctype_base::upper | std::ctype_base::alpha, true);
238
239    test(L"xdigit", std::ctype_base::xdigit);
240    test(L"XDIGIT", std::ctype_base::xdigit);
241    test(L"xdigit", std::ctype_base::xdigit, true);
242    test(L"Xdigit", std::ctype_base::xdigit, true);
243
244    test(L"dig", std::ctype_base::mask());
245    test(L"", std::ctype_base::mask());
246    test(L"digits", std::ctype_base::mask());
247}
248