xref: /netbsd-src/external/bsd/kyua-cli/dist/utils/optional_test.cpp (revision 6b3a42af15b5e090c339512c790dd68f3d11a9d8)
1*6b3a42afSjmmv // Copyright 2010 Google Inc.
2*6b3a42afSjmmv // All rights reserved.
3*6b3a42afSjmmv //
4*6b3a42afSjmmv // Redistribution and use in source and binary forms, with or without
5*6b3a42afSjmmv // modification, are permitted provided that the following conditions are
6*6b3a42afSjmmv // met:
7*6b3a42afSjmmv //
8*6b3a42afSjmmv // * Redistributions of source code must retain the above copyright
9*6b3a42afSjmmv //   notice, this list of conditions and the following disclaimer.
10*6b3a42afSjmmv // * Redistributions in binary form must reproduce the above copyright
11*6b3a42afSjmmv //   notice, this list of conditions and the following disclaimer in the
12*6b3a42afSjmmv //   documentation and/or other materials provided with the distribution.
13*6b3a42afSjmmv // * Neither the name of Google Inc. nor the names of its contributors
14*6b3a42afSjmmv //   may be used to endorse or promote products derived from this software
15*6b3a42afSjmmv //   without specific prior written permission.
16*6b3a42afSjmmv //
17*6b3a42afSjmmv // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
18*6b3a42afSjmmv // "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
19*6b3a42afSjmmv // LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
20*6b3a42afSjmmv // A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
21*6b3a42afSjmmv // OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
22*6b3a42afSjmmv // SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
23*6b3a42afSjmmv // LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
24*6b3a42afSjmmv // DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
25*6b3a42afSjmmv // THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
26*6b3a42afSjmmv // (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
27*6b3a42afSjmmv // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
28*6b3a42afSjmmv 
29*6b3a42afSjmmv #include "utils/optional.ipp"
30*6b3a42afSjmmv 
31*6b3a42afSjmmv #include <iostream>
32*6b3a42afSjmmv #include <sstream>
33*6b3a42afSjmmv 
34*6b3a42afSjmmv #include <atf-c++.hpp>
35*6b3a42afSjmmv 
36*6b3a42afSjmmv using utils::none;
37*6b3a42afSjmmv using utils::optional;
38*6b3a42afSjmmv 
39*6b3a42afSjmmv 
40*6b3a42afSjmmv namespace {
41*6b3a42afSjmmv 
42*6b3a42afSjmmv 
43*6b3a42afSjmmv /// Fake class to capture calls to the new and delete operators.
44*6b3a42afSjmmv class test_alloc {
45*6b3a42afSjmmv public:
46*6b3a42afSjmmv     /// Value to disambiguate objects after construction.
47*6b3a42afSjmmv     int value;
48*6b3a42afSjmmv 
49*6b3a42afSjmmv     /// Balance of alive instances of this class in dynamic memory.
50*6b3a42afSjmmv     static size_t instances;
51*6b3a42afSjmmv 
52*6b3a42afSjmmv     /// Constructs a new optional object.
53*6b3a42afSjmmv     ///
54*6b3a42afSjmmv     /// \param value_ The value to store in this object for disambiguation.
test_alloc(int value_)55*6b3a42afSjmmv     test_alloc(int value_) : value(value_)
56*6b3a42afSjmmv     {
57*6b3a42afSjmmv     }
58*6b3a42afSjmmv 
59*6b3a42afSjmmv     /// Allocates a new object and records its existence.
60*6b3a42afSjmmv     ///
61*6b3a42afSjmmv     /// \param size The amount of memory to allocate.
62*6b3a42afSjmmv     ///
63*6b3a42afSjmmv     /// \return A pointer to the allocated memory.
64*6b3a42afSjmmv     ///
65*6b3a42afSjmmv     /// \throw std::bad_alloc If the memory allocation fails.
66*6b3a42afSjmmv     void*
operator new(size_t size)67*6b3a42afSjmmv     operator new(size_t size)
68*6b3a42afSjmmv     {
69*6b3a42afSjmmv         instances++;
70*6b3a42afSjmmv         std::cout << "test_alloc::operator new called\n";
71*6b3a42afSjmmv         return ::operator new(size);
72*6b3a42afSjmmv     }
73*6b3a42afSjmmv 
74*6b3a42afSjmmv     /// Deallocates an existing object and unrecords its existence.
75*6b3a42afSjmmv     ///
76*6b3a42afSjmmv     /// \param mem The pointer to the memory to deallocate.
77*6b3a42afSjmmv     void
operator delete(void * mem)78*6b3a42afSjmmv     operator delete(void* mem)
79*6b3a42afSjmmv     {
80*6b3a42afSjmmv         instances--;
81*6b3a42afSjmmv         std::cout << "test_alloc::operator delete called\n";
82*6b3a42afSjmmv         ::operator delete(mem);
83*6b3a42afSjmmv     }
84*6b3a42afSjmmv };
85*6b3a42afSjmmv 
86*6b3a42afSjmmv 
87*6b3a42afSjmmv size_t test_alloc::instances = 0;
88*6b3a42afSjmmv 
89*6b3a42afSjmmv 
90*6b3a42afSjmmv /// Constructs and returns an optional object.
91*6b3a42afSjmmv ///
92*6b3a42afSjmmv /// This is used by tests to validate that returning an object from within a
93*6b3a42afSjmmv /// function works (i.e. the necessary constructors are available).
94*6b3a42afSjmmv ///
95*6b3a42afSjmmv /// \tparam Type The type of the object included in the optional wrapper.
96*6b3a42afSjmmv /// \param value The value to put inside the optional wrapper.
97*6b3a42afSjmmv ///
98*6b3a42afSjmmv /// \return The constructed optional object.
99*6b3a42afSjmmv template< typename Type >
100*6b3a42afSjmmv optional< Type >
return_optional(const Type & value)101*6b3a42afSjmmv return_optional(const Type& value)
102*6b3a42afSjmmv {
103*6b3a42afSjmmv     return optional< Type >(value);
104*6b3a42afSjmmv }
105*6b3a42afSjmmv 
106*6b3a42afSjmmv 
107*6b3a42afSjmmv }  // anonymous namespace
108*6b3a42afSjmmv 
109*6b3a42afSjmmv 
110*6b3a42afSjmmv ATF_TEST_CASE_WITHOUT_HEAD(ctors__native_type);
ATF_TEST_CASE_BODY(ctors__native_type)111*6b3a42afSjmmv ATF_TEST_CASE_BODY(ctors__native_type)
112*6b3a42afSjmmv {
113*6b3a42afSjmmv     const optional< int > no_args;
114*6b3a42afSjmmv     ATF_REQUIRE(!no_args);
115*6b3a42afSjmmv 
116*6b3a42afSjmmv     const optional< int > with_none(none);
117*6b3a42afSjmmv     ATF_REQUIRE(!with_none);
118*6b3a42afSjmmv 
119*6b3a42afSjmmv     const optional< int > with_arg(3);
120*6b3a42afSjmmv     ATF_REQUIRE(with_arg);
121*6b3a42afSjmmv     ATF_REQUIRE_EQ(3, with_arg.get());
122*6b3a42afSjmmv 
123*6b3a42afSjmmv     const optional< int > copy_none(with_none);
124*6b3a42afSjmmv     ATF_REQUIRE(!copy_none);
125*6b3a42afSjmmv 
126*6b3a42afSjmmv     const optional< int > copy_arg(with_arg);
127*6b3a42afSjmmv     ATF_REQUIRE(copy_arg);
128*6b3a42afSjmmv     ATF_REQUIRE_EQ(3, copy_arg.get());
129*6b3a42afSjmmv }
130*6b3a42afSjmmv 
131*6b3a42afSjmmv 
132*6b3a42afSjmmv ATF_TEST_CASE_WITHOUT_HEAD(ctors__complex_type);
ATF_TEST_CASE_BODY(ctors__complex_type)133*6b3a42afSjmmv ATF_TEST_CASE_BODY(ctors__complex_type)
134*6b3a42afSjmmv {
135*6b3a42afSjmmv     const optional< std::string > no_args;
136*6b3a42afSjmmv     ATF_REQUIRE(!no_args);
137*6b3a42afSjmmv 
138*6b3a42afSjmmv     const optional< std::string > with_none(none);
139*6b3a42afSjmmv     ATF_REQUIRE(!with_none);
140*6b3a42afSjmmv 
141*6b3a42afSjmmv     const optional< std::string > with_arg("foo");
142*6b3a42afSjmmv     ATF_REQUIRE(with_arg);
143*6b3a42afSjmmv     ATF_REQUIRE_EQ("foo", with_arg.get());
144*6b3a42afSjmmv 
145*6b3a42afSjmmv     const optional< std::string > copy_none(with_none);
146*6b3a42afSjmmv     ATF_REQUIRE(!copy_none);
147*6b3a42afSjmmv 
148*6b3a42afSjmmv     const optional< std::string > copy_arg(with_arg);
149*6b3a42afSjmmv     ATF_REQUIRE(copy_arg);
150*6b3a42afSjmmv     ATF_REQUIRE_EQ("foo", copy_arg.get());
151*6b3a42afSjmmv }
152*6b3a42afSjmmv 
153*6b3a42afSjmmv 
154*6b3a42afSjmmv ATF_TEST_CASE_WITHOUT_HEAD(assign);
ATF_TEST_CASE_BODY(assign)155*6b3a42afSjmmv ATF_TEST_CASE_BODY(assign)
156*6b3a42afSjmmv {
157*6b3a42afSjmmv     optional< int > from_default;
158*6b3a42afSjmmv     from_default = optional< int >();
159*6b3a42afSjmmv     ATF_REQUIRE(!from_default);
160*6b3a42afSjmmv 
161*6b3a42afSjmmv     optional< int > from_none(3);
162*6b3a42afSjmmv     from_none = none;
163*6b3a42afSjmmv     ATF_REQUIRE(!from_none);
164*6b3a42afSjmmv 
165*6b3a42afSjmmv     optional< int > from_int;
166*6b3a42afSjmmv     from_int = 6;
167*6b3a42afSjmmv     ATF_REQUIRE_EQ(6, from_int.get());
168*6b3a42afSjmmv }
169*6b3a42afSjmmv 
170*6b3a42afSjmmv 
171*6b3a42afSjmmv ATF_TEST_CASE_WITHOUT_HEAD(return);
ATF_TEST_CASE_BODY(return)172*6b3a42afSjmmv ATF_TEST_CASE_BODY(return)
173*6b3a42afSjmmv {
174*6b3a42afSjmmv     optional< long > from_return(return_optional< long >(123));
175*6b3a42afSjmmv     ATF_REQUIRE(from_return);
176*6b3a42afSjmmv     ATF_REQUIRE_EQ(123, from_return.get());
177*6b3a42afSjmmv }
178*6b3a42afSjmmv 
179*6b3a42afSjmmv 
180*6b3a42afSjmmv ATF_TEST_CASE_WITHOUT_HEAD(memory);
ATF_TEST_CASE_BODY(memory)181*6b3a42afSjmmv ATF_TEST_CASE_BODY(memory)
182*6b3a42afSjmmv {
183*6b3a42afSjmmv     ATF_REQUIRE_EQ(0, test_alloc::instances);
184*6b3a42afSjmmv     {
185*6b3a42afSjmmv         optional< test_alloc > optional1(test_alloc(3));
186*6b3a42afSjmmv         ATF_REQUIRE_EQ(1, test_alloc::instances);
187*6b3a42afSjmmv         ATF_REQUIRE_EQ(3, optional1.get().value);
188*6b3a42afSjmmv 
189*6b3a42afSjmmv         {
190*6b3a42afSjmmv             optional< test_alloc > optional2(optional1);
191*6b3a42afSjmmv             ATF_REQUIRE_EQ(2, test_alloc::instances);
192*6b3a42afSjmmv             ATF_REQUIRE_EQ(3, optional2.get().value);
193*6b3a42afSjmmv 
194*6b3a42afSjmmv             optional2 = 5;
195*6b3a42afSjmmv             ATF_REQUIRE_EQ(2, test_alloc::instances);
196*6b3a42afSjmmv             ATF_REQUIRE_EQ(5, optional2.get().value);
197*6b3a42afSjmmv             ATF_REQUIRE_EQ(3, optional1.get().value);
198*6b3a42afSjmmv         }
199*6b3a42afSjmmv         ATF_REQUIRE_EQ(1, test_alloc::instances);
200*6b3a42afSjmmv         ATF_REQUIRE_EQ(3, optional1.get().value);
201*6b3a42afSjmmv     }
202*6b3a42afSjmmv     ATF_REQUIRE_EQ(0, test_alloc::instances);
203*6b3a42afSjmmv }
204*6b3a42afSjmmv 
205*6b3a42afSjmmv 
206*6b3a42afSjmmv ATF_TEST_CASE_WITHOUT_HEAD(get_default);
ATF_TEST_CASE_BODY(get_default)207*6b3a42afSjmmv ATF_TEST_CASE_BODY(get_default)
208*6b3a42afSjmmv {
209*6b3a42afSjmmv     const std::string def_value = "hello";
210*6b3a42afSjmmv     optional< std::string > optional;
211*6b3a42afSjmmv     ATF_REQUIRE(&def_value == &optional.get_default(def_value));
212*6b3a42afSjmmv     optional = "bye";
213*6b3a42afSjmmv     ATF_REQUIRE_EQ("bye", optional.get_default(def_value));
214*6b3a42afSjmmv }
215*6b3a42afSjmmv 
216*6b3a42afSjmmv 
217*6b3a42afSjmmv ATF_TEST_CASE_WITHOUT_HEAD(make_optional);
ATF_TEST_CASE_BODY(make_optional)218*6b3a42afSjmmv ATF_TEST_CASE_BODY(make_optional)
219*6b3a42afSjmmv {
220*6b3a42afSjmmv     optional< int > opt = utils::make_optional(576);
221*6b3a42afSjmmv     ATF_REQUIRE(opt);
222*6b3a42afSjmmv     ATF_REQUIRE_EQ(576, opt.get());
223*6b3a42afSjmmv }
224*6b3a42afSjmmv 
225*6b3a42afSjmmv 
226*6b3a42afSjmmv ATF_TEST_CASE_WITHOUT_HEAD(operators_eq_and_ne);
ATF_TEST_CASE_BODY(operators_eq_and_ne)227*6b3a42afSjmmv ATF_TEST_CASE_BODY(operators_eq_and_ne)
228*6b3a42afSjmmv {
229*6b3a42afSjmmv     optional< int > opt1, opt2;
230*6b3a42afSjmmv 
231*6b3a42afSjmmv     opt1 = none; opt2 = none;
232*6b3a42afSjmmv     ATF_REQUIRE(  opt1 == opt2);
233*6b3a42afSjmmv     ATF_REQUIRE(!(opt1 != opt2));
234*6b3a42afSjmmv 
235*6b3a42afSjmmv     opt1 = utils::make_optional(5); opt2 = none;
236*6b3a42afSjmmv     ATF_REQUIRE(!(opt1 == opt2));
237*6b3a42afSjmmv     ATF_REQUIRE(  opt1 != opt2);
238*6b3a42afSjmmv 
239*6b3a42afSjmmv     opt1 = none; opt2 = utils::make_optional(5);
240*6b3a42afSjmmv     ATF_REQUIRE(!(opt1 == opt2));
241*6b3a42afSjmmv     ATF_REQUIRE(  opt1 != opt2);
242*6b3a42afSjmmv 
243*6b3a42afSjmmv     opt1 = utils::make_optional(5); opt2 = utils::make_optional(5);
244*6b3a42afSjmmv     ATF_REQUIRE(  opt1 == opt2);
245*6b3a42afSjmmv     ATF_REQUIRE(!(opt1 != opt2));
246*6b3a42afSjmmv 
247*6b3a42afSjmmv     opt1 = utils::make_optional(6); opt2 = utils::make_optional(5);
248*6b3a42afSjmmv     ATF_REQUIRE(!(opt1 == opt2));
249*6b3a42afSjmmv     ATF_REQUIRE(  opt1 != opt2);
250*6b3a42afSjmmv }
251*6b3a42afSjmmv 
252*6b3a42afSjmmv 
253*6b3a42afSjmmv ATF_TEST_CASE_WITHOUT_HEAD(output);
ATF_TEST_CASE_BODY(output)254*6b3a42afSjmmv ATF_TEST_CASE_BODY(output)
255*6b3a42afSjmmv {
256*6b3a42afSjmmv     {
257*6b3a42afSjmmv         std::ostringstream str;
258*6b3a42afSjmmv         str << optional< int >(none);
259*6b3a42afSjmmv         ATF_REQUIRE_EQ("none", str.str());
260*6b3a42afSjmmv     }
261*6b3a42afSjmmv     {
262*6b3a42afSjmmv         std::ostringstream str;
263*6b3a42afSjmmv         str << optional< int >(5);
264*6b3a42afSjmmv         ATF_REQUIRE_EQ("5", str.str());
265*6b3a42afSjmmv     }
266*6b3a42afSjmmv     {
267*6b3a42afSjmmv         std::ostringstream str;
268*6b3a42afSjmmv         str << optional< std::string >("this is a text");
269*6b3a42afSjmmv         ATF_REQUIRE_EQ("this is a text", str.str());
270*6b3a42afSjmmv     }
271*6b3a42afSjmmv }
272*6b3a42afSjmmv 
273*6b3a42afSjmmv 
ATF_INIT_TEST_CASES(tcs)274*6b3a42afSjmmv ATF_INIT_TEST_CASES(tcs)
275*6b3a42afSjmmv {
276*6b3a42afSjmmv     ATF_ADD_TEST_CASE(tcs, ctors__native_type);
277*6b3a42afSjmmv     ATF_ADD_TEST_CASE(tcs, ctors__complex_type);
278*6b3a42afSjmmv     ATF_ADD_TEST_CASE(tcs, assign);
279*6b3a42afSjmmv     ATF_ADD_TEST_CASE(tcs, return);
280*6b3a42afSjmmv     ATF_ADD_TEST_CASE(tcs, memory);
281*6b3a42afSjmmv     ATF_ADD_TEST_CASE(tcs, get_default);
282*6b3a42afSjmmv     ATF_ADD_TEST_CASE(tcs, make_optional);
283*6b3a42afSjmmv     ATF_ADD_TEST_CASE(tcs, operators_eq_and_ne);
284*6b3a42afSjmmv     ATF_ADD_TEST_CASE(tcs, output);
285*6b3a42afSjmmv }
286