1 //===----------------------------------------------------------------------===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8 
9 // <regex>
10 
11 // template <class charT> struct regex_traits;
12 
13 // template <class ForwardIterator>
14 //   char_class_type
15 //   lookup_classname(ForwardIterator first, ForwardIterator last,
16 //                    bool icase = false) const;
17 
18 #include <regex>
19 #include <cassert>
20 #include "test_macros.h"
21 #include "test_iterators.h"
22 
23 template <class char_type>
24 void
25 test(const char_type* A,
26      typename std::regex_traits<char_type>::char_class_type expected,
27      bool icase = false)
28 {
29     typedef typename std::regex_traits<char_type>::char_class_type char_class_type;
30     std::regex_traits<char_type> t;
31     typedef forward_iterator<const char_type*> F;
32     char_class_type result = t.lookup_classname(F(A), F(A + t.length(A)), icase);
33     assert(result == expected);
34 }
35 
36 template <class char_type>
37 void
38 test_w(const char_type* A,
39        typename std::regex_traits<char_type>::char_class_type expected,
40         bool icase = false)
41 {
42     typedef typename std::regex_traits<char_type>::char_class_type char_class_type;
43     std::regex_traits<char_type> t;
44     typedef forward_iterator<const char_type*> F;
45     char_class_type result = t.lookup_classname(F(A), F(A + t.length(A)), icase);
46     assert((result & expected) == expected);
47     LIBCPP_ASSERT((expected | std::regex_traits<char_type>::__regex_word) == result);
48 
49     const bool matches_underscore = t.isctype('_', result);
50     if (result != expected)
51       assert(matches_underscore && "expected to match underscore");
52     else
53       assert(!matches_underscore && "should not match underscore");
54 }
55 
56 int main(int, char**)
57 {
58 //  if __regex_word is not distinct from all the classes, bad things happen
59 //  See https://llvm.org/PR26476 for an example.
60     LIBCPP_ASSERT((std::ctype_base::space  & std::regex_traits<char>::__regex_word) == 0);
61     LIBCPP_ASSERT((std::ctype_base::print  & std::regex_traits<char>::__regex_word) == 0);
62     LIBCPP_ASSERT((std::ctype_base::cntrl  & std::regex_traits<char>::__regex_word) == 0);
63     LIBCPP_ASSERT((std::ctype_base::upper  & std::regex_traits<char>::__regex_word) == 0);
64     LIBCPP_ASSERT((std::ctype_base::lower  & std::regex_traits<char>::__regex_word) == 0);
65     LIBCPP_ASSERT((std::ctype_base::alpha  & std::regex_traits<char>::__regex_word) == 0);
66     LIBCPP_ASSERT((std::ctype_base::digit  & std::regex_traits<char>::__regex_word) == 0);
67     LIBCPP_ASSERT((std::ctype_base::punct  & std::regex_traits<char>::__regex_word) == 0);
68     LIBCPP_ASSERT((std::ctype_base::xdigit & std::regex_traits<char>::__regex_word) == 0);
69     LIBCPP_ASSERT((std::ctype_base::blank  & std::regex_traits<char>::__regex_word) == 0);
70 
71     test("d", std::ctype_base::digit);
72     test("D", std::ctype_base::digit);
73     test("d", std::ctype_base::digit, true);
74     test("D", std::ctype_base::digit, true);
75 
76     test_w("w", std::ctype_base::alnum
77               | std::ctype_base::upper | std::ctype_base::lower);
78     test_w("W", std::ctype_base::alnum
79               | std::ctype_base::upper | std::ctype_base::lower);
80     test_w("w", std::ctype_base::alnum
81               | std::ctype_base::upper | std::ctype_base::lower, true);
82     test_w("W", std::ctype_base::alnum
83               | std::ctype_base::upper | std::ctype_base::lower, true);
84 
85     test("s", std::ctype_base::space);
86     test("S", std::ctype_base::space);
87     test("s", std::ctype_base::space, true);
88     test("S", std::ctype_base::space, true);
89 
90     test("alnum", std::ctype_base::alnum);
91     test("AlNum", std::ctype_base::alnum);
92     test("alnum", std::ctype_base::alnum, true);
93     test("AlNum", std::ctype_base::alnum, true);
94 
95     test("alpha", std::ctype_base::alpha);
96     test("Alpha", std::ctype_base::alpha);
97     test("alpha", std::ctype_base::alpha, true);
98     test("Alpha", std::ctype_base::alpha, true);
99 
100     test("blank", std::ctype_base::blank);
101     test("Blank", std::ctype_base::blank);
102     test("blank", std::ctype_base::blank, true);
103     test("Blank", std::ctype_base::blank, true);
104 
105     test("cntrl", std::ctype_base::cntrl);
106     test("Cntrl", std::ctype_base::cntrl);
107     test("cntrl", std::ctype_base::cntrl, true);
108     test("Cntrl", std::ctype_base::cntrl, true);
109 
110     test("digit", std::ctype_base::digit);
111     test("Digit", std::ctype_base::digit);
112     test("digit", std::ctype_base::digit, true);
113     test("Digit", std::ctype_base::digit, true);
114 
115     test("digit", std::ctype_base::digit);
116     test("DIGIT", std::ctype_base::digit);
117     test("digit", std::ctype_base::digit, true);
118     test("Digit", std::ctype_base::digit, true);
119 
120     test("graph", std::ctype_base::graph);
121     test("GRAPH", std::ctype_base::graph);
122     test("graph", std::ctype_base::graph, true);
123     test("Graph", std::ctype_base::graph, true);
124 
125     test("lower", std::ctype_base::lower);
126     test("LOWER", std::ctype_base::lower);
127     test("lower", std::ctype_base::lower | std::ctype_base::alpha, true);
128     test("Lower", std::ctype_base::lower | std::ctype_base::alpha, true);
129 
130     test("print", std::ctype_base::print);
131     test("PRINT", std::ctype_base::print);
132     test("print", std::ctype_base::print, true);
133     test("Print", std::ctype_base::print, true);
134 
135     test("punct", std::ctype_base::punct);
136     test("PUNCT", std::ctype_base::punct);
137     test("punct", std::ctype_base::punct, true);
138     test("Punct", std::ctype_base::punct, true);
139 
140     test("space", std::ctype_base::space);
141     test("SPACE", std::ctype_base::space);
142     test("space", std::ctype_base::space, true);
143     test("Space", std::ctype_base::space, true);
144 
145     test("upper", std::ctype_base::upper);
146     test("UPPER", std::ctype_base::upper);
147     test("upper", std::ctype_base::upper | std::ctype_base::alpha, true);
148     test("Upper", std::ctype_base::upper | std::ctype_base::alpha, true);
149 
150     test("xdigit", std::ctype_base::xdigit);
151     test("XDIGIT", std::ctype_base::xdigit);
152     test("xdigit", std::ctype_base::xdigit, true);
153     test("Xdigit", std::ctype_base::xdigit, true);
154 
155     test("dig", std::ctype_base::mask());
156     test("", std::ctype_base::mask());
157     test("digits", std::ctype_base::mask());
158 
159 #ifndef TEST_HAS_NO_WIDE_CHARACTERS
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 #endif
248 
249   return 0;
250 }
251