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