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