1 /*
2 Copyright (c) Marshall Clow 2010-2012.
3
4 Distributed under the Boost Software License, Version 1.0. (See accompanying
5 file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
6
7 For more information, see http://www.boost.org
8 */
9
10 #include <boost/config.hpp>
11 #include <boost/algorithm/cxx11/none_of.hpp>
12
13 #define BOOST_TEST_MAIN
14 #include <boost/test/unit_test.hpp>
15
16 #include <functional>
17 #include <vector>
18 #include <list>
19
20 template<typename T>
21 struct is_ {
is_is_22 BOOST_CXX14_CONSTEXPR is_ ( T v ) : val_ ( v ) {}
operator ()is_23 BOOST_CXX14_CONSTEXPR bool operator () ( T comp ) const { return val_ == comp; }
24 private:
25 is_ (); // need a value
26
27 T val_;
28 };
29
30 namespace ba = boost::algorithm;
31
test_none()32 void test_none()
33 {
34 // Note: The literal values here are tested against directly, careful if you change them:
35 BOOST_CXX14_CONSTEXPR int some_numbers[] = { 1, 5, 0, 18, 1 };
36 std::vector<int> vi(some_numbers, some_numbers + 5);
37 std::list<int> li(vi.begin(), vi.end ());
38
39 int some_letters[] = { 'a', 'q', 'n', 'y', 'n' };
40 std::vector<char> vc(some_letters, some_letters + 5);
41
42 BOOST_CHECK ( ba::none_of_equal ( vi, 100 ));
43 BOOST_CHECK ( ba::none_of ( vi, is_<int> ( 100 )));
44 BOOST_CHECK ( ba::none_of_equal ( vi.begin(), vi.end(), 100 ));
45 BOOST_CHECK ( ba::none_of ( vi.begin(), vi.end(), is_<int> ( 100 )));
46
47 BOOST_CHECK (!ba::none_of_equal ( vi, 1 ));
48 BOOST_CHECK (!ba::none_of ( vi, is_<int> ( 1 )));
49 BOOST_CHECK (!ba::none_of_equal ( vi.begin(), vi.end(), 1 ));
50 BOOST_CHECK (!ba::none_of ( vi.begin(), vi.end(), is_<int> ( 1 )));
51
52 BOOST_CHECK ( ba::none_of_equal ( vi.end(), vi.end(), 0 ));
53 BOOST_CHECK ( ba::none_of ( vi.end(), vi.end(), is_<int> ( 0 )));
54
55 // 5 is not in { 0, 18, 1 }, but 1 is
56 BOOST_CHECK ( ba::none_of_equal ( vi.begin() + 2, vi.end(), 5 ));
57 BOOST_CHECK ( ba::none_of ( vi.begin() + 2, vi.end(), is_<int> ( 5 )));
58 BOOST_CHECK (!ba::none_of_equal ( vi.begin() + 2, vi.end(), 1 ));
59 BOOST_CHECK (!ba::none_of ( vi.begin() + 2, vi.end(), is_<int> ( 1 )));
60
61 // 18 is not in { 1, 5, 0 }, but 5 is
62 BOOST_CHECK ( ba::none_of_equal ( vi.begin(), vi.begin() + 3, 18 ));
63 BOOST_CHECK ( ba::none_of ( vi.begin(), vi.begin() + 3, is_<int> ( 18 )));
64 BOOST_CHECK (!ba::none_of_equal ( vi.begin(), vi.begin() + 3, 5 ));
65 BOOST_CHECK (!ba::none_of ( vi.begin(), vi.begin() + 3, is_<int> ( 5 )));
66
67 BOOST_CHECK ( ba::none_of_equal ( vc, 'z' ));
68 BOOST_CHECK ( ba::none_of ( vc, is_<char> ( 'z' )));
69
70 BOOST_CHECK (!ba::none_of_equal ( vc, 'a' ));
71 BOOST_CHECK (!ba::none_of ( vc, is_<char> ( 'a' )));
72
73 BOOST_CHECK (!ba::none_of_equal ( vc, 'n' ));
74 BOOST_CHECK (!ba::none_of ( vc, is_<char> ( 'n' )));
75
76 BOOST_CHECK ( ba::none_of_equal ( vi.begin(), vi.begin(), 1 ));
77 BOOST_CHECK ( ba::none_of_equal ( vc.begin(), vc.begin(), 'a' ));
78 BOOST_CHECK ( ba::none_of ( vi.begin(), vi.begin(), is_<int> ( 1 )));
79 BOOST_CHECK ( ba::none_of ( vc.begin(), vc.begin(), is_<char> ( 'a' )));
80
81 BOOST_CHECK ( ba::none_of_equal ( li, 100 ));
82 BOOST_CHECK ( ba::none_of ( li, is_<int> ( 100 )));
83 BOOST_CHECK ( ba::none_of_equal ( li.begin(), li.end(), 100 ));
84 BOOST_CHECK ( ba::none_of ( li.begin(), li.end(), is_<int> ( 100 )));
85
86 std::list<int>::iterator l_iter = li.begin ();
87 l_iter++; l_iter++; l_iter++;
88 BOOST_CHECK ( ba::none_of_equal ( li.begin(), l_iter, 18 ));
89 BOOST_CHECK ( ba::none_of ( li.begin(), l_iter, is_<int> ( 18 )));
90 BOOST_CHECK (!ba::none_of ( li.begin(), l_iter, is_<int> ( 5 )));
91
92 BOOST_CXX14_CONSTEXPR bool constexpr_res =
93 !ba::none_of_equal ( some_numbers, 1 ) &&
94 !ba::none_of ( some_numbers, is_<int> ( 1 )) &&
95 ba::none_of_equal ( some_numbers, some_numbers + 3, 100 ) &&
96 ba::none_of ( some_numbers, some_numbers + 3, is_<int> ( 100 )) &&
97 true;
98
99 BOOST_CHECK ( constexpr_res );
100 }
101
BOOST_AUTO_TEST_CASE(test_main)102 BOOST_AUTO_TEST_CASE( test_main )
103 {
104 test_none();
105 }
106