1 // Copyright 2007, Google Inc.
2 // All rights reserved.
3 //
4 // Redistribution and use in source and binary forms, with or without
5 // modification, are permitted provided that the following conditions are
6 // met:
7 //
8 // * Redistributions of source code must retain the above copyright
9 // notice, this list of conditions and the following disclaimer.
10 // * Redistributions in binary form must reproduce the above
11 // copyright notice, this list of conditions and the following disclaimer
12 // in the documentation and/or other materials provided with the
13 // distribution.
14 // * Neither the name of Google Inc. nor the names of its
15 // contributors may be used to endorse or promote products derived from
16 // this software without specific prior written permission.
17 //
18 // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
19 // "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
20 // LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
21 // A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
22 // OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
23 // SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
24 // LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
25 // DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
26 // THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
27 // (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
28 // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
29 //
30 // Author: wan@google.com (Zhanyong Wan)
31
32 // Google Mock - a framework for writing C++ mock classes.
33 //
34 // This file implements some commonly used actions.
35
36 #ifndef GMOCK_INCLUDE_GMOCK_GMOCK_ACTIONS_H_
37 #define GMOCK_INCLUDE_GMOCK_GMOCK_ACTIONS_H_
38
39 #include <algorithm>
40 #include <string>
41
42 #ifndef _WIN32_WCE
43 # include <errno.h>
44 #endif
45
46 #include "gmock/internal/gmock-internal-utils.h"
47 #include "gmock/internal/gmock-port.h"
48
49 namespace testing {
50
51 // To implement an action Foo, define:
52 // 1. a class FooAction that implements the ActionInterface interface, and
53 // 2. a factory function that creates an Action object from a
54 // const FooAction*.
55 //
56 // The two-level delegation design follows that of Matcher, providing
57 // consistency for extension developers. It also eases ownership
58 // management as Action objects can now be copied like plain values.
59
60 namespace internal {
61
62 template <typename F1, typename F2>
63 class ActionAdaptor;
64
65 // BuiltInDefaultValue<T>::Get() returns the "built-in" default
66 // value for type T, which is NULL when T is a pointer type, 0 when T
67 // is a numeric type, false when T is bool, or "" when T is string or
68 // std::string. For any other type T, this value is undefined and the
69 // function will abort the process.
70 template <typename T>
71 class BuiltInDefaultValue {
72 public:
73 // This function returns true iff type T has a built-in default value.
Exists()74 static bool Exists() { return false; }
Get()75 static T Get() {
76 Assert(false, __FILE__, __LINE__,
77 "Default action undefined for the function return type.");
78 return internal::Invalid<T>();
79 // The above statement will never be reached, but is required in
80 // order for this function to compile.
81 }
82 };
83
84 // This partial specialization says that we use the same built-in
85 // default value for T and const T.
86 template <typename T>
87 class BuiltInDefaultValue<const T> {
88 public:
Exists()89 static bool Exists() { return BuiltInDefaultValue<T>::Exists(); }
Get()90 static T Get() { return BuiltInDefaultValue<T>::Get(); }
91 };
92
93 // This partial specialization defines the default values for pointer
94 // types.
95 template <typename T>
96 class BuiltInDefaultValue<T*> {
97 public:
Exists()98 static bool Exists() { return true; }
Get()99 static T* Get() { return NULL; }
100 };
101
102 // The following specializations define the default values for
103 // specific types we care about.
104 #define GMOCK_DEFINE_DEFAULT_ACTION_FOR_RETURN_TYPE_(type, value) \
105 template <> \
106 class BuiltInDefaultValue<type> { \
107 public: \
108 static bool Exists() { return true; } \
109 static type Get() { return value; } \
110 }
111
112 GMOCK_DEFINE_DEFAULT_ACTION_FOR_RETURN_TYPE_(void, ); // NOLINT
113 #if GTEST_HAS_GLOBAL_STRING
114 GMOCK_DEFINE_DEFAULT_ACTION_FOR_RETURN_TYPE_(::string, "");
115 #endif // GTEST_HAS_GLOBAL_STRING
116 GMOCK_DEFINE_DEFAULT_ACTION_FOR_RETURN_TYPE_(::std::string, "");
117 GMOCK_DEFINE_DEFAULT_ACTION_FOR_RETURN_TYPE_(bool, false);
118 GMOCK_DEFINE_DEFAULT_ACTION_FOR_RETURN_TYPE_(unsigned char, '\0');
119 GMOCK_DEFINE_DEFAULT_ACTION_FOR_RETURN_TYPE_(signed char, '\0');
120 GMOCK_DEFINE_DEFAULT_ACTION_FOR_RETURN_TYPE_(char, '\0');
121
122 // There's no need for a default action for signed wchar_t, as that
123 // type is the same as wchar_t for gcc, and invalid for MSVC.
124 //
125 // There's also no need for a default action for unsigned wchar_t, as
126 // that type is the same as unsigned int for gcc, and invalid for
127 // MSVC.
128 #if GMOCK_WCHAR_T_IS_NATIVE_
129 GMOCK_DEFINE_DEFAULT_ACTION_FOR_RETURN_TYPE_(wchar_t, 0U); // NOLINT
130 #endif
131
132 GMOCK_DEFINE_DEFAULT_ACTION_FOR_RETURN_TYPE_(unsigned short, 0U); // NOLINT
133 GMOCK_DEFINE_DEFAULT_ACTION_FOR_RETURN_TYPE_(signed short, 0); // NOLINT
134 GMOCK_DEFINE_DEFAULT_ACTION_FOR_RETURN_TYPE_(unsigned int, 0U);
135 GMOCK_DEFINE_DEFAULT_ACTION_FOR_RETURN_TYPE_(signed int, 0);
136 GMOCK_DEFINE_DEFAULT_ACTION_FOR_RETURN_TYPE_(unsigned long, 0UL); // NOLINT
137 GMOCK_DEFINE_DEFAULT_ACTION_FOR_RETURN_TYPE_(signed long, 0L); // NOLINT
138 GMOCK_DEFINE_DEFAULT_ACTION_FOR_RETURN_TYPE_(UInt64, 0);
139 GMOCK_DEFINE_DEFAULT_ACTION_FOR_RETURN_TYPE_(Int64, 0);
140 GMOCK_DEFINE_DEFAULT_ACTION_FOR_RETURN_TYPE_(float, 0);
141 GMOCK_DEFINE_DEFAULT_ACTION_FOR_RETURN_TYPE_(double, 0);
142
143 #undef GMOCK_DEFINE_DEFAULT_ACTION_FOR_RETURN_TYPE_
144
145 } // namespace internal
146
147 // When an unexpected function call is encountered, Google Mock will
148 // let it return a default value if the user has specified one for its
149 // return type, or if the return type has a built-in default value;
150 // otherwise Google Mock won't know what value to return and will have
151 // to abort the process.
152 //
153 // The DefaultValue<T> class allows a user to specify the
154 // default value for a type T that is both copyable and publicly
155 // destructible (i.e. anything that can be used as a function return
156 // type). The usage is:
157 //
158 // // Sets the default value for type T to be foo.
159 // DefaultValue<T>::Set(foo);
160 template <typename T>
161 class DefaultValue {
162 public:
163 // Sets the default value for type T; requires T to be
164 // copy-constructable and have a public destructor.
Set(T x)165 static void Set(T x) {
166 delete value_;
167 value_ = new T(x);
168 }
169
170 // Unsets the default value for type T.
Clear()171 static void Clear() {
172 delete value_;
173 value_ = NULL;
174 }
175
176 // Returns true iff the user has set the default value for type T.
IsSet()177 static bool IsSet() { return value_ != NULL; }
178
179 // Returns true if T has a default return value set by the user or there
180 // exists a built-in default value.
Exists()181 static bool Exists() {
182 return IsSet() || internal::BuiltInDefaultValue<T>::Exists();
183 }
184
185 // Returns the default value for type T if the user has set one;
186 // otherwise returns the built-in default value if there is one;
187 // otherwise aborts the process.
Get()188 static T Get() {
189 return value_ == NULL ?
190 internal::BuiltInDefaultValue<T>::Get() : *value_;
191 }
192 private:
193 static const T* value_;
194 };
195
196 // This partial specialization allows a user to set default values for
197 // reference types.
198 template <typename T>
199 class DefaultValue<T&> {
200 public:
201 // Sets the default value for type T&.
Set(T & x)202 static void Set(T& x) { // NOLINT
203 address_ = &x;
204 }
205
206 // Unsets the default value for type T&.
Clear()207 static void Clear() {
208 address_ = NULL;
209 }
210
211 // Returns true iff the user has set the default value for type T&.
IsSet()212 static bool IsSet() { return address_ != NULL; }
213
214 // Returns true if T has a default return value set by the user or there
215 // exists a built-in default value.
Exists()216 static bool Exists() {
217 return IsSet() || internal::BuiltInDefaultValue<T&>::Exists();
218 }
219
220 // Returns the default value for type T& if the user has set one;
221 // otherwise returns the built-in default value if there is one;
222 // otherwise aborts the process.
Get()223 static T& Get() {
224 return address_ == NULL ?
225 internal::BuiltInDefaultValue<T&>::Get() : *address_;
226 }
227 private:
228 static T* address_;
229 };
230
231 // This specialization allows DefaultValue<void>::Get() to
232 // compile.
233 template <>
234 class DefaultValue<void> {
235 public:
Exists()236 static bool Exists() { return true; }
Get()237 static void Get() {}
238 };
239
240 // Points to the user-set default value for type T.
241 template <typename T>
242 const T* DefaultValue<T>::value_ = NULL;
243
244 // Points to the user-set default value for type T&.
245 template <typename T>
246 T* DefaultValue<T&>::address_ = NULL;
247
248 // Implement this interface to define an action for function type F.
249 template <typename F>
250 class ActionInterface {
251 public:
252 typedef typename internal::Function<F>::Result Result;
253 typedef typename internal::Function<F>::ArgumentTuple ArgumentTuple;
254
ActionInterface()255 ActionInterface() {}
~ActionInterface()256 virtual ~ActionInterface() {}
257
258 // Performs the action. This method is not const, as in general an
259 // action can have side effects and be stateful. For example, a
260 // get-the-next-element-from-the-collection action will need to
261 // remember the current element.
262 virtual Result Perform(const ArgumentTuple& args) = 0;
263
264 private:
265 GTEST_DISALLOW_COPY_AND_ASSIGN_(ActionInterface);
266 };
267
268 // An Action<F> is a copyable and IMMUTABLE (except by assignment)
269 // object that represents an action to be taken when a mock function
270 // of type F is called. The implementation of Action<T> is just a
271 // linked_ptr to const ActionInterface<T>, so copying is fairly cheap.
272 // Don't inherit from Action!
273 //
274 // You can view an object implementing ActionInterface<F> as a
275 // concrete action (including its current state), and an Action<F>
276 // object as a handle to it.
277 template <typename F>
278 class Action {
279 public:
280 typedef typename internal::Function<F>::Result Result;
281 typedef typename internal::Function<F>::ArgumentTuple ArgumentTuple;
282
283 // Constructs a null Action. Needed for storing Action objects in
284 // STL containers.
Action()285 Action() : impl_(NULL) {}
286
287 // Constructs an Action from its implementation. A NULL impl is
288 // used to represent the "do-default" action.
Action(ActionInterface<F> * impl)289 explicit Action(ActionInterface<F>* impl) : impl_(impl) {}
290
291 // Copy constructor.
Action(const Action & action)292 Action(const Action& action) : impl_(action.impl_) {}
293
294 // This constructor allows us to turn an Action<Func> object into an
295 // Action<F>, as long as F's arguments can be implicitly converted
296 // to Func's and Func's return type can be implicitly converted to
297 // F's.
298 template <typename Func>
299 explicit Action(const Action<Func>& action);
300
301 // Returns true iff this is the DoDefault() action.
IsDoDefault()302 bool IsDoDefault() const { return impl_.get() == NULL; }
303
304 // Performs the action. Note that this method is const even though
305 // the corresponding method in ActionInterface is not. The reason
306 // is that a const Action<F> means that it cannot be re-bound to
307 // another concrete action, not that the concrete action it binds to
308 // cannot change state. (Think of the difference between a const
309 // pointer and a pointer to const.)
Perform(const ArgumentTuple & args)310 Result Perform(const ArgumentTuple& args) const {
311 internal::Assert(
312 !IsDoDefault(), __FILE__, __LINE__,
313 "You are using DoDefault() inside a composite action like "
314 "DoAll() or WithArgs(). This is not supported for technical "
315 "reasons. Please instead spell out the default action, or "
316 "assign the default action to an Action variable and use "
317 "the variable in various places.");
318 return impl_->Perform(args);
319 }
320
321 private:
322 template <typename F1, typename F2>
323 friend class internal::ActionAdaptor;
324
325 internal::linked_ptr<ActionInterface<F> > impl_;
326 };
327
328 // The PolymorphicAction class template makes it easy to implement a
329 // polymorphic action (i.e. an action that can be used in mock
330 // functions of than one type, e.g. Return()).
331 //
332 // To define a polymorphic action, a user first provides a COPYABLE
333 // implementation class that has a Perform() method template:
334 //
335 // class FooAction {
336 // public:
337 // template <typename Result, typename ArgumentTuple>
338 // Result Perform(const ArgumentTuple& args) const {
339 // // Processes the arguments and returns a result, using
340 // // tr1::get<N>(args) to get the N-th (0-based) argument in the tuple.
341 // }
342 // ...
343 // };
344 //
345 // Then the user creates the polymorphic action using
346 // MakePolymorphicAction(object) where object has type FooAction. See
347 // the definition of Return(void) and SetArgumentPointee<N>(value) for
348 // complete examples.
349 template <typename Impl>
350 class PolymorphicAction {
351 public:
PolymorphicAction(const Impl & impl)352 explicit PolymorphicAction(const Impl& impl) : impl_(impl) {}
353
354 template <typename F>
355 operator Action<F>() const {
356 return Action<F>(new MonomorphicImpl<F>(impl_));
357 }
358
359 private:
360 template <typename F>
361 class MonomorphicImpl : public ActionInterface<F> {
362 public:
363 typedef typename internal::Function<F>::Result Result;
364 typedef typename internal::Function<F>::ArgumentTuple ArgumentTuple;
365
MonomorphicImpl(const Impl & impl)366 explicit MonomorphicImpl(const Impl& impl) : impl_(impl) {}
367
Perform(const ArgumentTuple & args)368 virtual Result Perform(const ArgumentTuple& args) {
369 return impl_.template Perform<Result>(args);
370 }
371
372 private:
373 Impl impl_;
374
375 GTEST_DISALLOW_ASSIGN_(MonomorphicImpl);
376 };
377
378 Impl impl_;
379
380 GTEST_DISALLOW_ASSIGN_(PolymorphicAction);
381 };
382
383 // Creates an Action from its implementation and returns it. The
384 // created Action object owns the implementation.
385 template <typename F>
MakeAction(ActionInterface<F> * impl)386 Action<F> MakeAction(ActionInterface<F>* impl) {
387 return Action<F>(impl);
388 }
389
390 // Creates a polymorphic action from its implementation. This is
391 // easier to use than the PolymorphicAction<Impl> constructor as it
392 // doesn't require you to explicitly write the template argument, e.g.
393 //
394 // MakePolymorphicAction(foo);
395 // vs
396 // PolymorphicAction<TypeOfFoo>(foo);
397 template <typename Impl>
MakePolymorphicAction(const Impl & impl)398 inline PolymorphicAction<Impl> MakePolymorphicAction(const Impl& impl) {
399 return PolymorphicAction<Impl>(impl);
400 }
401
402 namespace internal {
403
404 // Allows an Action<F2> object to pose as an Action<F1>, as long as F2
405 // and F1 are compatible.
406 template <typename F1, typename F2>
407 class ActionAdaptor : public ActionInterface<F1> {
408 public:
409 typedef typename internal::Function<F1>::Result Result;
410 typedef typename internal::Function<F1>::ArgumentTuple ArgumentTuple;
411
ActionAdaptor(const Action<F2> & from)412 explicit ActionAdaptor(const Action<F2>& from) : impl_(from.impl_) {}
413
Perform(const ArgumentTuple & args)414 virtual Result Perform(const ArgumentTuple& args) {
415 return impl_->Perform(args);
416 }
417
418 private:
419 const internal::linked_ptr<ActionInterface<F2> > impl_;
420
421 GTEST_DISALLOW_ASSIGN_(ActionAdaptor);
422 };
423
424 // Implements the polymorphic Return(x) action, which can be used in
425 // any function that returns the type of x, regardless of the argument
426 // types.
427 //
428 // Note: The value passed into Return must be converted into
429 // Function<F>::Result when this action is cast to Action<F> rather than
430 // when that action is performed. This is important in scenarios like
431 //
432 // MOCK_METHOD1(Method, T(U));
433 // ...
434 // {
435 // Foo foo;
436 // X x(&foo);
437 // EXPECT_CALL(mock, Method(_)).WillOnce(Return(x));
438 // }
439 //
440 // In the example above the variable x holds reference to foo which leaves
441 // scope and gets destroyed. If copying X just copies a reference to foo,
442 // that copy will be left with a hanging reference. If conversion to T
443 // makes a copy of foo, the above code is safe. To support that scenario, we
444 // need to make sure that the type conversion happens inside the EXPECT_CALL
445 // statement, and conversion of the result of Return to Action<T(U)> is a
446 // good place for that.
447 //
448 template <typename R>
449 class ReturnAction {
450 public:
451 // Constructs a ReturnAction object from the value to be returned.
452 // 'value' is passed by value instead of by const reference in order
453 // to allow Return("string literal") to compile.
ReturnAction(R value)454 explicit ReturnAction(R value) : value_(value) {}
455
456 // This template type conversion operator allows Return(x) to be
457 // used in ANY function that returns x's type.
458 template <typename F>
459 operator Action<F>() const {
460 // Assert statement belongs here because this is the best place to verify
461 // conditions on F. It produces the clearest error messages
462 // in most compilers.
463 // Impl really belongs in this scope as a local class but can't
464 // because MSVC produces duplicate symbols in different translation units
465 // in this case. Until MS fixes that bug we put Impl into the class scope
466 // and put the typedef both here (for use in assert statement) and
467 // in the Impl class. But both definitions must be the same.
468 typedef typename Function<F>::Result Result;
469 GTEST_COMPILE_ASSERT_(
470 !internal::is_reference<Result>::value,
471 use_ReturnRef_instead_of_Return_to_return_a_reference);
472 return Action<F>(new Impl<F>(value_));
473 }
474
475 private:
476 // Implements the Return(x) action for a particular function type F.
477 template <typename F>
478 class Impl : public ActionInterface<F> {
479 public:
480 typedef typename Function<F>::Result Result;
481 typedef typename Function<F>::ArgumentTuple ArgumentTuple;
482
483 // The implicit cast is necessary when Result has more than one
484 // single-argument constructor (e.g. Result is std::vector<int>) and R
485 // has a type conversion operator template. In that case, value_(value)
486 // won't compile as the compiler doesn't known which constructor of
487 // Result to call. ImplicitCast_ forces the compiler to convert R to
488 // Result without considering explicit constructors, thus resolving the
489 // ambiguity. value_ is then initialized using its copy constructor.
Impl(R value)490 explicit Impl(R value)
491 : value_(::testing::internal::ImplicitCast_<Result>(value)) {}
492
Perform(const ArgumentTuple &)493 virtual Result Perform(const ArgumentTuple&) { return value_; }
494
495 private:
496 GTEST_COMPILE_ASSERT_(!internal::is_reference<Result>::value,
497 Result_cannot_be_a_reference_type);
498 Result value_;
499
500 GTEST_DISALLOW_ASSIGN_(Impl);
501 };
502
503 R value_;
504
505 GTEST_DISALLOW_ASSIGN_(ReturnAction);
506 };
507
508 // Implements the ReturnNull() action.
509 class ReturnNullAction {
510 public:
511 // Allows ReturnNull() to be used in any pointer-returning function.
512 template <typename Result, typename ArgumentTuple>
Perform(const ArgumentTuple &)513 static Result Perform(const ArgumentTuple&) {
514 GTEST_COMPILE_ASSERT_(internal::is_pointer<Result>::value,
515 ReturnNull_can_be_used_to_return_a_pointer_only);
516 return NULL;
517 }
518 };
519
520 // Implements the Return() action.
521 class ReturnVoidAction {
522 public:
523 // Allows Return() to be used in any void-returning function.
524 template <typename Result, typename ArgumentTuple>
Perform(const ArgumentTuple &)525 static void Perform(const ArgumentTuple&) {
526 CompileAssertTypesEqual<void, Result>();
527 }
528 };
529
530 // Implements the polymorphic ReturnRef(x) action, which can be used
531 // in any function that returns a reference to the type of x,
532 // regardless of the argument types.
533 template <typename T>
534 class ReturnRefAction {
535 public:
536 // Constructs a ReturnRefAction object from the reference to be returned.
ReturnRefAction(T & ref)537 explicit ReturnRefAction(T& ref) : ref_(ref) {} // NOLINT
538
539 // This template type conversion operator allows ReturnRef(x) to be
540 // used in ANY function that returns a reference to x's type.
541 template <typename F>
542 operator Action<F>() const {
543 typedef typename Function<F>::Result Result;
544 // Asserts that the function return type is a reference. This
545 // catches the user error of using ReturnRef(x) when Return(x)
546 // should be used, and generates some helpful error message.
547 GTEST_COMPILE_ASSERT_(internal::is_reference<Result>::value,
548 use_Return_instead_of_ReturnRef_to_return_a_value);
549 return Action<F>(new Impl<F>(ref_));
550 }
551
552 private:
553 // Implements the ReturnRef(x) action for a particular function type F.
554 template <typename F>
555 class Impl : public ActionInterface<F> {
556 public:
557 typedef typename Function<F>::Result Result;
558 typedef typename Function<F>::ArgumentTuple ArgumentTuple;
559
Impl(T & ref)560 explicit Impl(T& ref) : ref_(ref) {} // NOLINT
561
Perform(const ArgumentTuple &)562 virtual Result Perform(const ArgumentTuple&) {
563 return ref_;
564 }
565
566 private:
567 T& ref_;
568
569 GTEST_DISALLOW_ASSIGN_(Impl);
570 };
571
572 T& ref_;
573
574 GTEST_DISALLOW_ASSIGN_(ReturnRefAction);
575 };
576
577 // Implements the polymorphic ReturnRefOfCopy(x) action, which can be
578 // used in any function that returns a reference to the type of x,
579 // regardless of the argument types.
580 template <typename T>
581 class ReturnRefOfCopyAction {
582 public:
583 // Constructs a ReturnRefOfCopyAction object from the reference to
584 // be returned.
ReturnRefOfCopyAction(const T & value)585 explicit ReturnRefOfCopyAction(const T& value) : value_(value) {} // NOLINT
586
587 // This template type conversion operator allows ReturnRefOfCopy(x) to be
588 // used in ANY function that returns a reference to x's type.
589 template <typename F>
590 operator Action<F>() const {
591 typedef typename Function<F>::Result Result;
592 // Asserts that the function return type is a reference. This
593 // catches the user error of using ReturnRefOfCopy(x) when Return(x)
594 // should be used, and generates some helpful error message.
595 GTEST_COMPILE_ASSERT_(
596 internal::is_reference<Result>::value,
597 use_Return_instead_of_ReturnRefOfCopy_to_return_a_value);
598 return Action<F>(new Impl<F>(value_));
599 }
600
601 private:
602 // Implements the ReturnRefOfCopy(x) action for a particular function type F.
603 template <typename F>
604 class Impl : public ActionInterface<F> {
605 public:
606 typedef typename Function<F>::Result Result;
607 typedef typename Function<F>::ArgumentTuple ArgumentTuple;
608
Impl(const T & value)609 explicit Impl(const T& value) : value_(value) {} // NOLINT
610
Perform(const ArgumentTuple &)611 virtual Result Perform(const ArgumentTuple&) {
612 return value_;
613 }
614
615 private:
616 T value_;
617
618 GTEST_DISALLOW_ASSIGN_(Impl);
619 };
620
621 const T value_;
622
623 GTEST_DISALLOW_ASSIGN_(ReturnRefOfCopyAction);
624 };
625
626 // Implements the polymorphic DoDefault() action.
627 class DoDefaultAction {
628 public:
629 // This template type conversion operator allows DoDefault() to be
630 // used in any function.
631 template <typename F>
632 operator Action<F>() const { return Action<F>(NULL); }
633 };
634
635 // Implements the Assign action to set a given pointer referent to a
636 // particular value.
637 template <typename T1, typename T2>
638 class AssignAction {
639 public:
AssignAction(T1 * ptr,T2 value)640 AssignAction(T1* ptr, T2 value) : ptr_(ptr), value_(value) {}
641
642 template <typename Result, typename ArgumentTuple>
Perform(const ArgumentTuple &)643 void Perform(const ArgumentTuple& /* args */) const {
644 *ptr_ = value_;
645 }
646
647 private:
648 T1* const ptr_;
649 const T2 value_;
650
651 GTEST_DISALLOW_ASSIGN_(AssignAction);
652 };
653
654 #if !GTEST_OS_WINDOWS_MOBILE
655
656 // Implements the SetErrnoAndReturn action to simulate return from
657 // various system calls and libc functions.
658 template <typename T>
659 class SetErrnoAndReturnAction {
660 public:
SetErrnoAndReturnAction(int errno_value,T result)661 SetErrnoAndReturnAction(int errno_value, T result)
662 : errno_(errno_value),
663 result_(result) {}
664 template <typename Result, typename ArgumentTuple>
Perform(const ArgumentTuple &)665 Result Perform(const ArgumentTuple& /* args */) const {
666 errno = errno_;
667 return result_;
668 }
669
670 private:
671 const int errno_;
672 const T result_;
673
674 GTEST_DISALLOW_ASSIGN_(SetErrnoAndReturnAction);
675 };
676
677 #endif // !GTEST_OS_WINDOWS_MOBILE
678
679 // Implements the SetArgumentPointee<N>(x) action for any function
680 // whose N-th argument (0-based) is a pointer to x's type. The
681 // template parameter kIsProto is true iff type A is ProtocolMessage,
682 // proto2::Message, or a sub-class of those.
683 template <size_t N, typename A, bool kIsProto>
684 class SetArgumentPointeeAction {
685 public:
686 // Constructs an action that sets the variable pointed to by the
687 // N-th function argument to 'value'.
SetArgumentPointeeAction(const A & value)688 explicit SetArgumentPointeeAction(const A& value) : value_(value) {}
689
690 template <typename Result, typename ArgumentTuple>
Perform(const ArgumentTuple & args)691 void Perform(const ArgumentTuple& args) const {
692 CompileAssertTypesEqual<void, Result>();
693 *::std::tr1::get<N>(args) = value_;
694 }
695
696 private:
697 const A value_;
698
699 GTEST_DISALLOW_ASSIGN_(SetArgumentPointeeAction);
700 };
701
702 template <size_t N, typename Proto>
703 class SetArgumentPointeeAction<N, Proto, true> {
704 public:
705 // Constructs an action that sets the variable pointed to by the
706 // N-th function argument to 'proto'. Both ProtocolMessage and
707 // proto2::Message have the CopyFrom() method, so the same
708 // implementation works for both.
SetArgumentPointeeAction(const Proto & proto)709 explicit SetArgumentPointeeAction(const Proto& proto) : proto_(new Proto) {
710 proto_->CopyFrom(proto);
711 }
712
713 template <typename Result, typename ArgumentTuple>
Perform(const ArgumentTuple & args)714 void Perform(const ArgumentTuple& args) const {
715 CompileAssertTypesEqual<void, Result>();
716 ::std::tr1::get<N>(args)->CopyFrom(*proto_);
717 }
718
719 private:
720 const internal::linked_ptr<Proto> proto_;
721
722 GTEST_DISALLOW_ASSIGN_(SetArgumentPointeeAction);
723 };
724
725 // Implements the InvokeWithoutArgs(f) action. The template argument
726 // FunctionImpl is the implementation type of f, which can be either a
727 // function pointer or a functor. InvokeWithoutArgs(f) can be used as an
728 // Action<F> as long as f's type is compatible with F (i.e. f can be
729 // assigned to a tr1::function<F>).
730 template <typename FunctionImpl>
731 class InvokeWithoutArgsAction {
732 public:
733 // The c'tor makes a copy of function_impl (either a function
734 // pointer or a functor).
InvokeWithoutArgsAction(FunctionImpl function_impl)735 explicit InvokeWithoutArgsAction(FunctionImpl function_impl)
736 : function_impl_(function_impl) {}
737
738 // Allows InvokeWithoutArgs(f) to be used as any action whose type is
739 // compatible with f.
740 template <typename Result, typename ArgumentTuple>
Perform(const ArgumentTuple &)741 Result Perform(const ArgumentTuple&) { return function_impl_(); }
742
743 private:
744 FunctionImpl function_impl_;
745
746 GTEST_DISALLOW_ASSIGN_(InvokeWithoutArgsAction);
747 };
748
749 // Implements the InvokeWithoutArgs(object_ptr, &Class::Method) action.
750 template <class Class, typename MethodPtr>
751 class InvokeMethodWithoutArgsAction {
752 public:
InvokeMethodWithoutArgsAction(Class * obj_ptr,MethodPtr method_ptr)753 InvokeMethodWithoutArgsAction(Class* obj_ptr, MethodPtr method_ptr)
754 : obj_ptr_(obj_ptr), method_ptr_(method_ptr) {}
755
756 template <typename Result, typename ArgumentTuple>
Perform(const ArgumentTuple &)757 Result Perform(const ArgumentTuple&) const {
758 return (obj_ptr_->*method_ptr_)();
759 }
760
761 private:
762 Class* const obj_ptr_;
763 const MethodPtr method_ptr_;
764
765 GTEST_DISALLOW_ASSIGN_(InvokeMethodWithoutArgsAction);
766 };
767
768 // Implements the IgnoreResult(action) action.
769 template <typename A>
770 class IgnoreResultAction {
771 public:
IgnoreResultAction(const A & action)772 explicit IgnoreResultAction(const A& action) : action_(action) {}
773
774 template <typename F>
775 operator Action<F>() const {
776 // Assert statement belongs here because this is the best place to verify
777 // conditions on F. It produces the clearest error messages
778 // in most compilers.
779 // Impl really belongs in this scope as a local class but can't
780 // because MSVC produces duplicate symbols in different translation units
781 // in this case. Until MS fixes that bug we put Impl into the class scope
782 // and put the typedef both here (for use in assert statement) and
783 // in the Impl class. But both definitions must be the same.
784 typedef typename internal::Function<F>::Result Result;
785
786 // Asserts at compile time that F returns void.
787 CompileAssertTypesEqual<void, Result>();
788
789 return Action<F>(new Impl<F>(action_));
790 }
791
792 private:
793 template <typename F>
794 class Impl : public ActionInterface<F> {
795 public:
796 typedef typename internal::Function<F>::Result Result;
797 typedef typename internal::Function<F>::ArgumentTuple ArgumentTuple;
798
Impl(const A & action)799 explicit Impl(const A& action) : action_(action) {}
800
Perform(const ArgumentTuple & args)801 virtual void Perform(const ArgumentTuple& args) {
802 // Performs the action and ignores its result.
803 action_.Perform(args);
804 }
805
806 private:
807 // Type OriginalFunction is the same as F except that its return
808 // type is IgnoredValue.
809 typedef typename internal::Function<F>::MakeResultIgnoredValue
810 OriginalFunction;
811
812 const Action<OriginalFunction> action_;
813
814 GTEST_DISALLOW_ASSIGN_(Impl);
815 };
816
817 const A action_;
818
819 GTEST_DISALLOW_ASSIGN_(IgnoreResultAction);
820 };
821
822 // A ReferenceWrapper<T> object represents a reference to type T,
823 // which can be either const or not. It can be explicitly converted
824 // from, and implicitly converted to, a T&. Unlike a reference,
825 // ReferenceWrapper<T> can be copied and can survive template type
826 // inference. This is used to support by-reference arguments in the
827 // InvokeArgument<N>(...) action. The idea was from "reference
828 // wrappers" in tr1, which we don't have in our source tree yet.
829 template <typename T>
830 class ReferenceWrapper {
831 public:
832 // Constructs a ReferenceWrapper<T> object from a T&.
ReferenceWrapper(T & l_value)833 explicit ReferenceWrapper(T& l_value) : pointer_(&l_value) {} // NOLINT
834
835 // Allows a ReferenceWrapper<T> object to be implicitly converted to
836 // a T&.
837 operator T&() const { return *pointer_; }
838 private:
839 T* pointer_;
840 };
841
842 // Allows the expression ByRef(x) to be printed as a reference to x.
843 template <typename T>
PrintTo(const ReferenceWrapper<T> & ref,::std::ostream * os)844 void PrintTo(const ReferenceWrapper<T>& ref, ::std::ostream* os) {
845 T& value = ref;
846 UniversalPrinter<T&>::Print(value, os);
847 }
848
849 // Does two actions sequentially. Used for implementing the DoAll(a1,
850 // a2, ...) action.
851 template <typename Action1, typename Action2>
852 class DoBothAction {
853 public:
DoBothAction(Action1 action1,Action2 action2)854 DoBothAction(Action1 action1, Action2 action2)
855 : action1_(action1), action2_(action2) {}
856
857 // This template type conversion operator allows DoAll(a1, ..., a_n)
858 // to be used in ANY function of compatible type.
859 template <typename F>
860 operator Action<F>() const {
861 return Action<F>(new Impl<F>(action1_, action2_));
862 }
863
864 private:
865 // Implements the DoAll(...) action for a particular function type F.
866 template <typename F>
867 class Impl : public ActionInterface<F> {
868 public:
869 typedef typename Function<F>::Result Result;
870 typedef typename Function<F>::ArgumentTuple ArgumentTuple;
871 typedef typename Function<F>::MakeResultVoid VoidResult;
872
Impl(const Action<VoidResult> & action1,const Action<F> & action2)873 Impl(const Action<VoidResult>& action1, const Action<F>& action2)
874 : action1_(action1), action2_(action2) {}
875
Perform(const ArgumentTuple & args)876 virtual Result Perform(const ArgumentTuple& args) {
877 action1_.Perform(args);
878 return action2_.Perform(args);
879 }
880
881 private:
882 const Action<VoidResult> action1_;
883 const Action<F> action2_;
884
885 GTEST_DISALLOW_ASSIGN_(Impl);
886 };
887
888 Action1 action1_;
889 Action2 action2_;
890
891 GTEST_DISALLOW_ASSIGN_(DoBothAction);
892 };
893
894 } // namespace internal
895
896 // An Unused object can be implicitly constructed from ANY value.
897 // This is handy when defining actions that ignore some or all of the
898 // mock function arguments. For example, given
899 //
900 // MOCK_METHOD3(Foo, double(const string& label, double x, double y));
901 // MOCK_METHOD3(Bar, double(int index, double x, double y));
902 //
903 // instead of
904 //
905 // double DistanceToOriginWithLabel(const string& label, double x, double y) {
906 // return sqrt(x*x + y*y);
907 // }
908 // double DistanceToOriginWithIndex(int index, double x, double y) {
909 // return sqrt(x*x + y*y);
910 // }
911 // ...
912 // EXEPCT_CALL(mock, Foo("abc", _, _))
913 // .WillOnce(Invoke(DistanceToOriginWithLabel));
914 // EXEPCT_CALL(mock, Bar(5, _, _))
915 // .WillOnce(Invoke(DistanceToOriginWithIndex));
916 //
917 // you could write
918 //
919 // // We can declare any uninteresting argument as Unused.
920 // double DistanceToOrigin(Unused, double x, double y) {
921 // return sqrt(x*x + y*y);
922 // }
923 // ...
924 // EXEPCT_CALL(mock, Foo("abc", _, _)).WillOnce(Invoke(DistanceToOrigin));
925 // EXEPCT_CALL(mock, Bar(5, _, _)).WillOnce(Invoke(DistanceToOrigin));
926 typedef internal::IgnoredValue Unused;
927
928 // This constructor allows us to turn an Action<From> object into an
929 // Action<To>, as long as To's arguments can be implicitly converted
930 // to From's and From's return type cann be implicitly converted to
931 // To's.
932 template <typename To>
933 template <typename From>
Action(const Action<From> & from)934 Action<To>::Action(const Action<From>& from)
935 : impl_(new internal::ActionAdaptor<To, From>(from)) {}
936
937 // Creates an action that returns 'value'. 'value' is passed by value
938 // instead of const reference - otherwise Return("string literal")
939 // will trigger a compiler error about using array as initializer.
940 template <typename R>
Return(R value)941 internal::ReturnAction<R> Return(R value) {
942 return internal::ReturnAction<R>(value);
943 }
944
945 // Creates an action that returns NULL.
ReturnNull()946 inline PolymorphicAction<internal::ReturnNullAction> ReturnNull() {
947 return MakePolymorphicAction(internal::ReturnNullAction());
948 }
949
950 // Creates an action that returns from a void function.
Return()951 inline PolymorphicAction<internal::ReturnVoidAction> Return() {
952 return MakePolymorphicAction(internal::ReturnVoidAction());
953 }
954
955 // Creates an action that returns the reference to a variable.
956 template <typename R>
ReturnRef(R & x)957 inline internal::ReturnRefAction<R> ReturnRef(R& x) { // NOLINT
958 return internal::ReturnRefAction<R>(x);
959 }
960
961 // Creates an action that returns the reference to a copy of the
962 // argument. The copy is created when the action is constructed and
963 // lives as long as the action.
964 template <typename R>
ReturnRefOfCopy(const R & x)965 inline internal::ReturnRefOfCopyAction<R> ReturnRefOfCopy(const R& x) {
966 return internal::ReturnRefOfCopyAction<R>(x);
967 }
968
969 // Creates an action that does the default action for the give mock function.
DoDefault()970 inline internal::DoDefaultAction DoDefault() {
971 return internal::DoDefaultAction();
972 }
973
974 // Creates an action that sets the variable pointed by the N-th
975 // (0-based) function argument to 'value'.
976 template <size_t N, typename T>
977 PolymorphicAction<
978 internal::SetArgumentPointeeAction<
979 N, T, internal::IsAProtocolMessage<T>::value> >
SetArgPointee(const T & x)980 SetArgPointee(const T& x) {
981 return MakePolymorphicAction(internal::SetArgumentPointeeAction<
982 N, T, internal::IsAProtocolMessage<T>::value>(x));
983 }
984
985 #if !((GTEST_GCC_VER_ && GTEST_GCC_VER_ < 40000) || GTEST_OS_SYMBIAN)
986 // This overload allows SetArgPointee() to accept a string literal.
987 // GCC prior to the version 4.0 and Symbian C++ compiler cannot distinguish
988 // this overload from the templated version and emit a compile error.
989 template <size_t N>
990 PolymorphicAction<
991 internal::SetArgumentPointeeAction<N, const char*, false> >
SetArgPointee(const char * p)992 SetArgPointee(const char* p) {
993 return MakePolymorphicAction(internal::SetArgumentPointeeAction<
994 N, const char*, false>(p));
995 }
996
997 template <size_t N>
998 PolymorphicAction<
999 internal::SetArgumentPointeeAction<N, const wchar_t*, false> >
SetArgPointee(const wchar_t * p)1000 SetArgPointee(const wchar_t* p) {
1001 return MakePolymorphicAction(internal::SetArgumentPointeeAction<
1002 N, const wchar_t*, false>(p));
1003 }
1004 #endif
1005
1006 // The following version is DEPRECATED.
1007 template <size_t N, typename T>
1008 PolymorphicAction<
1009 internal::SetArgumentPointeeAction<
1010 N, T, internal::IsAProtocolMessage<T>::value> >
SetArgumentPointee(const T & x)1011 SetArgumentPointee(const T& x) {
1012 return MakePolymorphicAction(internal::SetArgumentPointeeAction<
1013 N, T, internal::IsAProtocolMessage<T>::value>(x));
1014 }
1015
1016 // Creates an action that sets a pointer referent to a given value.
1017 template <typename T1, typename T2>
Assign(T1 * ptr,T2 val)1018 PolymorphicAction<internal::AssignAction<T1, T2> > Assign(T1* ptr, T2 val) {
1019 return MakePolymorphicAction(internal::AssignAction<T1, T2>(ptr, val));
1020 }
1021
1022 #if !GTEST_OS_WINDOWS_MOBILE
1023
1024 // Creates an action that sets errno and returns the appropriate error.
1025 template <typename T>
1026 PolymorphicAction<internal::SetErrnoAndReturnAction<T> >
SetErrnoAndReturn(int errval,T result)1027 SetErrnoAndReturn(int errval, T result) {
1028 return MakePolymorphicAction(
1029 internal::SetErrnoAndReturnAction<T>(errval, result));
1030 }
1031
1032 #endif // !GTEST_OS_WINDOWS_MOBILE
1033
1034 // Various overloads for InvokeWithoutArgs().
1035
1036 // Creates an action that invokes 'function_impl' with no argument.
1037 template <typename FunctionImpl>
1038 PolymorphicAction<internal::InvokeWithoutArgsAction<FunctionImpl> >
InvokeWithoutArgs(FunctionImpl function_impl)1039 InvokeWithoutArgs(FunctionImpl function_impl) {
1040 return MakePolymorphicAction(
1041 internal::InvokeWithoutArgsAction<FunctionImpl>(function_impl));
1042 }
1043
1044 // Creates an action that invokes the given method on the given object
1045 // with no argument.
1046 template <class Class, typename MethodPtr>
1047 PolymorphicAction<internal::InvokeMethodWithoutArgsAction<Class, MethodPtr> >
InvokeWithoutArgs(Class * obj_ptr,MethodPtr method_ptr)1048 InvokeWithoutArgs(Class* obj_ptr, MethodPtr method_ptr) {
1049 return MakePolymorphicAction(
1050 internal::InvokeMethodWithoutArgsAction<Class, MethodPtr>(
1051 obj_ptr, method_ptr));
1052 }
1053
1054 // Creates an action that performs an_action and throws away its
1055 // result. In other words, it changes the return type of an_action to
1056 // void. an_action MUST NOT return void, or the code won't compile.
1057 template <typename A>
IgnoreResult(const A & an_action)1058 inline internal::IgnoreResultAction<A> IgnoreResult(const A& an_action) {
1059 return internal::IgnoreResultAction<A>(an_action);
1060 }
1061
1062 // Creates a reference wrapper for the given L-value. If necessary,
1063 // you can explicitly specify the type of the reference. For example,
1064 // suppose 'derived' is an object of type Derived, ByRef(derived)
1065 // would wrap a Derived&. If you want to wrap a const Base& instead,
1066 // where Base is a base class of Derived, just write:
1067 //
1068 // ByRef<const Base>(derived)
1069 template <typename T>
ByRef(T & l_value)1070 inline internal::ReferenceWrapper<T> ByRef(T& l_value) { // NOLINT
1071 return internal::ReferenceWrapper<T>(l_value);
1072 }
1073
1074 } // namespace testing
1075
1076 #endif // GMOCK_INCLUDE_GMOCK_GMOCK_ACTIONS_H_
1077