xref: /freebsd/contrib/googletest/googlemock/src/gmock-spec-builders.cc (revision 5ca8c28cd8c725b81781201cfdb5f9969396f934)
1b89a7cc2SEnji Cooper // Copyright 2007, Google Inc.
2b89a7cc2SEnji Cooper // All rights reserved.
3b89a7cc2SEnji Cooper //
4b89a7cc2SEnji Cooper // Redistribution and use in source and binary forms, with or without
5b89a7cc2SEnji Cooper // modification, are permitted provided that the following conditions are
6b89a7cc2SEnji Cooper // met:
7b89a7cc2SEnji Cooper //
8b89a7cc2SEnji Cooper //     * Redistributions of source code must retain the above copyright
9b89a7cc2SEnji Cooper // notice, this list of conditions and the following disclaimer.
10b89a7cc2SEnji Cooper //     * Redistributions in binary form must reproduce the above
11b89a7cc2SEnji Cooper // copyright notice, this list of conditions and the following disclaimer
12b89a7cc2SEnji Cooper // in the documentation and/or other materials provided with the
13b89a7cc2SEnji Cooper // distribution.
14b89a7cc2SEnji Cooper //     * Neither the name of Google Inc. nor the names of its
15b89a7cc2SEnji Cooper // contributors may be used to endorse or promote products derived from
16b89a7cc2SEnji Cooper // this software without specific prior written permission.
17b89a7cc2SEnji Cooper //
18b89a7cc2SEnji Cooper // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
19b89a7cc2SEnji Cooper // "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
20b89a7cc2SEnji Cooper // LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
21b89a7cc2SEnji Cooper // A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
22b89a7cc2SEnji Cooper // OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
23b89a7cc2SEnji Cooper // SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
24b89a7cc2SEnji Cooper // LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
25b89a7cc2SEnji Cooper // DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
26b89a7cc2SEnji Cooper // THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
27b89a7cc2SEnji Cooper // (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
28b89a7cc2SEnji Cooper // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
29b89a7cc2SEnji Cooper 
30b89a7cc2SEnji Cooper // Google Mock - a framework for writing C++ mock classes.
31b89a7cc2SEnji Cooper //
32b89a7cc2SEnji Cooper // This file implements the spec builder syntax (ON_CALL and
33b89a7cc2SEnji Cooper // EXPECT_CALL).
34b89a7cc2SEnji Cooper 
35b89a7cc2SEnji Cooper #include "gmock/gmock-spec-builders.h"
36b89a7cc2SEnji Cooper 
37b89a7cc2SEnji Cooper #include <stdlib.h>
3828f6c2f2SEnji Cooper 
39b89a7cc2SEnji Cooper #include <iostream>  // NOLINT
40b89a7cc2SEnji Cooper #include <map>
4128f6c2f2SEnji Cooper #include <memory>
42b89a7cc2SEnji Cooper #include <set>
4328f6c2f2SEnji Cooper #include <sstream>
44b89a7cc2SEnji Cooper #include <string>
4528f6c2f2SEnji Cooper #include <unordered_map>
46b89a7cc2SEnji Cooper #include <vector>
4728f6c2f2SEnji Cooper 
48b89a7cc2SEnji Cooper #include "gmock/gmock.h"
49b89a7cc2SEnji Cooper #include "gtest/gtest.h"
5028f6c2f2SEnji Cooper #include "gtest/internal/gtest-port.h"
51b89a7cc2SEnji Cooper 
5228f6c2f2SEnji Cooper #if defined(GTEST_OS_CYGWIN) || defined(GTEST_OS_LINUX) || defined(GTEST_OS_MAC)
53b89a7cc2SEnji Cooper #include <unistd.h>  // NOLINT
54b89a7cc2SEnji Cooper #endif
5528f6c2f2SEnji Cooper #ifdef GTEST_OS_QURT
5628f6c2f2SEnji Cooper #include <qurt_event.h>
5728f6c2f2SEnji Cooper #endif
58b89a7cc2SEnji Cooper 
59b89a7cc2SEnji Cooper // Silence C4800 (C4800: 'int *const ': forcing value
6028f6c2f2SEnji Cooper // to bool 'true' or 'false') for MSVC 15
6128f6c2f2SEnji Cooper #if defined(_MSC_VER) && (_MSC_VER == 1900)
6228f6c2f2SEnji Cooper GTEST_DISABLE_MSC_WARNINGS_PUSH_(4800)
63b89a7cc2SEnji Cooper #endif
64b89a7cc2SEnji Cooper 
65b89a7cc2SEnji Cooper namespace testing {
66b89a7cc2SEnji Cooper namespace internal {
67b89a7cc2SEnji Cooper 
68b89a7cc2SEnji Cooper // Protects the mock object registry (in class Mock), all function
69b89a7cc2SEnji Cooper // mockers, and all expectations.
70b89a7cc2SEnji Cooper GTEST_API_ GTEST_DEFINE_STATIC_MUTEX_(g_gmock_mutex);
71b89a7cc2SEnji Cooper 
72b89a7cc2SEnji Cooper // Logs a message including file and line number information.
LogWithLocation(testing::internal::LogSeverity severity,const char * file,int line,const std::string & message)73b89a7cc2SEnji Cooper GTEST_API_ void LogWithLocation(testing::internal::LogSeverity severity,
74b89a7cc2SEnji Cooper                                 const char* file, int line,
75b89a7cc2SEnji Cooper                                 const std::string& message) {
76b89a7cc2SEnji Cooper   ::std::ostringstream s;
7728f6c2f2SEnji Cooper   s << internal::FormatFileLocation(file, line) << " " << message
7828f6c2f2SEnji Cooper     << ::std::endl;
79b89a7cc2SEnji Cooper   Log(severity, s.str(), 0);
80b89a7cc2SEnji Cooper }
81b89a7cc2SEnji Cooper 
82b89a7cc2SEnji Cooper // Constructs an ExpectationBase object.
ExpectationBase(const char * a_file,int a_line,const std::string & a_source_text)83b89a7cc2SEnji Cooper ExpectationBase::ExpectationBase(const char* a_file, int a_line,
84b89a7cc2SEnji Cooper                                  const std::string& a_source_text)
85b89a7cc2SEnji Cooper     : file_(a_file),
86b89a7cc2SEnji Cooper       line_(a_line),
87b89a7cc2SEnji Cooper       source_text_(a_source_text),
88b89a7cc2SEnji Cooper       cardinality_specified_(false),
89b89a7cc2SEnji Cooper       cardinality_(Exactly(1)),
90b89a7cc2SEnji Cooper       call_count_(0),
91b89a7cc2SEnji Cooper       retired_(false),
92b89a7cc2SEnji Cooper       extra_matcher_specified_(false),
93b89a7cc2SEnji Cooper       repeated_action_specified_(false),
94b89a7cc2SEnji Cooper       retires_on_saturation_(false),
95b89a7cc2SEnji Cooper       last_clause_(kNone),
96b89a7cc2SEnji Cooper       action_count_checked_(false) {}
97b89a7cc2SEnji Cooper 
98b89a7cc2SEnji Cooper // Destructs an ExpectationBase object.
9928f6c2f2SEnji Cooper ExpectationBase::~ExpectationBase() = default;
100b89a7cc2SEnji Cooper 
101b89a7cc2SEnji Cooper // Explicitly specifies the cardinality of this expectation.  Used by
102b89a7cc2SEnji Cooper // the subclasses to implement the .Times() clause.
SpecifyCardinality(const Cardinality & a_cardinality)103b89a7cc2SEnji Cooper void ExpectationBase::SpecifyCardinality(const Cardinality& a_cardinality) {
104b89a7cc2SEnji Cooper   cardinality_specified_ = true;
105b89a7cc2SEnji Cooper   cardinality_ = a_cardinality;
106b89a7cc2SEnji Cooper }
107b89a7cc2SEnji Cooper 
108b89a7cc2SEnji Cooper // Retires all pre-requisites of this expectation.
RetireAllPreRequisites()109b89a7cc2SEnji Cooper void ExpectationBase::RetireAllPreRequisites()
110b89a7cc2SEnji Cooper     GTEST_EXCLUSIVE_LOCK_REQUIRED_(g_gmock_mutex) {
111b89a7cc2SEnji Cooper   if (is_retired()) {
112b89a7cc2SEnji Cooper     // We can take this short-cut as we never retire an expectation
113b89a7cc2SEnji Cooper     // until we have retired all its pre-requisites.
114b89a7cc2SEnji Cooper     return;
115b89a7cc2SEnji Cooper   }
116b89a7cc2SEnji Cooper 
117b89a7cc2SEnji Cooper   ::std::vector<ExpectationBase*> expectations(1, this);
118b89a7cc2SEnji Cooper   while (!expectations.empty()) {
119b89a7cc2SEnji Cooper     ExpectationBase* exp = expectations.back();
120b89a7cc2SEnji Cooper     expectations.pop_back();
121b89a7cc2SEnji Cooper 
122b89a7cc2SEnji Cooper     for (ExpectationSet::const_iterator it =
123b89a7cc2SEnji Cooper              exp->immediate_prerequisites_.begin();
124b89a7cc2SEnji Cooper          it != exp->immediate_prerequisites_.end(); ++it) {
125b89a7cc2SEnji Cooper       ExpectationBase* next = it->expectation_base().get();
126b89a7cc2SEnji Cooper       if (!next->is_retired()) {
127b89a7cc2SEnji Cooper         next->Retire();
128b89a7cc2SEnji Cooper         expectations.push_back(next);
129b89a7cc2SEnji Cooper       }
130b89a7cc2SEnji Cooper     }
131b89a7cc2SEnji Cooper   }
132b89a7cc2SEnji Cooper }
133b89a7cc2SEnji Cooper 
13428f6c2f2SEnji Cooper // Returns true if and only if all pre-requisites of this expectation
13528f6c2f2SEnji Cooper // have been satisfied.
AllPrerequisitesAreSatisfied() const136b89a7cc2SEnji Cooper bool ExpectationBase::AllPrerequisitesAreSatisfied() const
137b89a7cc2SEnji Cooper     GTEST_EXCLUSIVE_LOCK_REQUIRED_(g_gmock_mutex) {
138b89a7cc2SEnji Cooper   g_gmock_mutex.AssertHeld();
139b89a7cc2SEnji Cooper   ::std::vector<const ExpectationBase*> expectations(1, this);
140b89a7cc2SEnji Cooper   while (!expectations.empty()) {
141b89a7cc2SEnji Cooper     const ExpectationBase* exp = expectations.back();
142b89a7cc2SEnji Cooper     expectations.pop_back();
143b89a7cc2SEnji Cooper 
144b89a7cc2SEnji Cooper     for (ExpectationSet::const_iterator it =
145b89a7cc2SEnji Cooper              exp->immediate_prerequisites_.begin();
146b89a7cc2SEnji Cooper          it != exp->immediate_prerequisites_.end(); ++it) {
147b89a7cc2SEnji Cooper       const ExpectationBase* next = it->expectation_base().get();
148b89a7cc2SEnji Cooper       if (!next->IsSatisfied()) return false;
149b89a7cc2SEnji Cooper       expectations.push_back(next);
150b89a7cc2SEnji Cooper     }
151b89a7cc2SEnji Cooper   }
152b89a7cc2SEnji Cooper   return true;
153b89a7cc2SEnji Cooper }
154b89a7cc2SEnji Cooper 
155b89a7cc2SEnji Cooper // Adds unsatisfied pre-requisites of this expectation to 'result'.
FindUnsatisfiedPrerequisites(ExpectationSet * result) const156b89a7cc2SEnji Cooper void ExpectationBase::FindUnsatisfiedPrerequisites(ExpectationSet* result) const
157b89a7cc2SEnji Cooper     GTEST_EXCLUSIVE_LOCK_REQUIRED_(g_gmock_mutex) {
158b89a7cc2SEnji Cooper   g_gmock_mutex.AssertHeld();
159b89a7cc2SEnji Cooper   ::std::vector<const ExpectationBase*> expectations(1, this);
160b89a7cc2SEnji Cooper   while (!expectations.empty()) {
161b89a7cc2SEnji Cooper     const ExpectationBase* exp = expectations.back();
162b89a7cc2SEnji Cooper     expectations.pop_back();
163b89a7cc2SEnji Cooper 
164b89a7cc2SEnji Cooper     for (ExpectationSet::const_iterator it =
165b89a7cc2SEnji Cooper              exp->immediate_prerequisites_.begin();
166b89a7cc2SEnji Cooper          it != exp->immediate_prerequisites_.end(); ++it) {
167b89a7cc2SEnji Cooper       const ExpectationBase* next = it->expectation_base().get();
168b89a7cc2SEnji Cooper 
169b89a7cc2SEnji Cooper       if (next->IsSatisfied()) {
170b89a7cc2SEnji Cooper         // If *it is satisfied and has a call count of 0, some of its
171b89a7cc2SEnji Cooper         // pre-requisites may not be satisfied yet.
172b89a7cc2SEnji Cooper         if (next->call_count_ == 0) {
173b89a7cc2SEnji Cooper           expectations.push_back(next);
174b89a7cc2SEnji Cooper         }
175b89a7cc2SEnji Cooper       } else {
176b89a7cc2SEnji Cooper         // Now that we know next is unsatisfied, we are not so interested
177b89a7cc2SEnji Cooper         // in whether its pre-requisites are satisfied.  Therefore we
178b89a7cc2SEnji Cooper         // don't iterate into it here.
179b89a7cc2SEnji Cooper         *result += *it;
180b89a7cc2SEnji Cooper       }
181b89a7cc2SEnji Cooper     }
182b89a7cc2SEnji Cooper   }
183b89a7cc2SEnji Cooper }
184b89a7cc2SEnji Cooper 
185b89a7cc2SEnji Cooper // Describes how many times a function call matching this
186b89a7cc2SEnji Cooper // expectation has occurred.
DescribeCallCountTo(::std::ostream * os) const187b89a7cc2SEnji Cooper void ExpectationBase::DescribeCallCountTo(::std::ostream* os) const
188b89a7cc2SEnji Cooper     GTEST_EXCLUSIVE_LOCK_REQUIRED_(g_gmock_mutex) {
189b89a7cc2SEnji Cooper   g_gmock_mutex.AssertHeld();
190b89a7cc2SEnji Cooper 
191b89a7cc2SEnji Cooper   // Describes how many times the function is expected to be called.
192b89a7cc2SEnji Cooper   *os << "         Expected: to be ";
193b89a7cc2SEnji Cooper   cardinality().DescribeTo(os);
194b89a7cc2SEnji Cooper   *os << "\n           Actual: ";
195b89a7cc2SEnji Cooper   Cardinality::DescribeActualCallCountTo(call_count(), os);
196b89a7cc2SEnji Cooper 
197b89a7cc2SEnji Cooper   // Describes the state of the expectation (e.g. is it satisfied?
198b89a7cc2SEnji Cooper   // is it active?).
19928f6c2f2SEnji Cooper   *os << " - "
20028f6c2f2SEnji Cooper       << (IsOverSaturated() ? "over-saturated"
20128f6c2f2SEnji Cooper           : IsSaturated()   ? "saturated"
20228f6c2f2SEnji Cooper           : IsSatisfied()   ? "satisfied"
20328f6c2f2SEnji Cooper                             : "unsatisfied")
20428f6c2f2SEnji Cooper       << " and " << (is_retired() ? "retired" : "active");
205b89a7cc2SEnji Cooper }
206b89a7cc2SEnji Cooper 
207b89a7cc2SEnji Cooper // Checks the action count (i.e. the number of WillOnce() and
208b89a7cc2SEnji Cooper // WillRepeatedly() clauses) against the cardinality if this hasn't
209b89a7cc2SEnji Cooper // been done before.  Prints a warning if there are too many or too
210b89a7cc2SEnji Cooper // few actions.
CheckActionCountIfNotDone() const211b89a7cc2SEnji Cooper void ExpectationBase::CheckActionCountIfNotDone() const
212b89a7cc2SEnji Cooper     GTEST_LOCK_EXCLUDED_(mutex_) {
213b89a7cc2SEnji Cooper   bool should_check = false;
214b89a7cc2SEnji Cooper   {
215b89a7cc2SEnji Cooper     MutexLock l(&mutex_);
216b89a7cc2SEnji Cooper     if (!action_count_checked_) {
217b89a7cc2SEnji Cooper       action_count_checked_ = true;
218b89a7cc2SEnji Cooper       should_check = true;
219b89a7cc2SEnji Cooper     }
220b89a7cc2SEnji Cooper   }
221b89a7cc2SEnji Cooper 
222b89a7cc2SEnji Cooper   if (should_check) {
223b89a7cc2SEnji Cooper     if (!cardinality_specified_) {
224b89a7cc2SEnji Cooper       // The cardinality was inferred - no need to check the action
225b89a7cc2SEnji Cooper       // count against it.
226b89a7cc2SEnji Cooper       return;
227b89a7cc2SEnji Cooper     }
228b89a7cc2SEnji Cooper 
229b89a7cc2SEnji Cooper     // The cardinality was explicitly specified.
230b89a7cc2SEnji Cooper     const int action_count = static_cast<int>(untyped_actions_.size());
231b89a7cc2SEnji Cooper     const int upper_bound = cardinality().ConservativeUpperBound();
232b89a7cc2SEnji Cooper     const int lower_bound = cardinality().ConservativeLowerBound();
233b89a7cc2SEnji Cooper     bool too_many;  // True if there are too many actions, or false
234b89a7cc2SEnji Cooper     // if there are too few.
235b89a7cc2SEnji Cooper     if (action_count > upper_bound ||
236b89a7cc2SEnji Cooper         (action_count == upper_bound && repeated_action_specified_)) {
237b89a7cc2SEnji Cooper       too_many = true;
238b89a7cc2SEnji Cooper     } else if (0 < action_count && action_count < lower_bound &&
239b89a7cc2SEnji Cooper                !repeated_action_specified_) {
240b89a7cc2SEnji Cooper       too_many = false;
241b89a7cc2SEnji Cooper     } else {
242b89a7cc2SEnji Cooper       return;
243b89a7cc2SEnji Cooper     }
244b89a7cc2SEnji Cooper 
245b89a7cc2SEnji Cooper     ::std::stringstream ss;
246b89a7cc2SEnji Cooper     DescribeLocationTo(&ss);
24728f6c2f2SEnji Cooper     ss << "Too " << (too_many ? "many" : "few") << " actions specified in "
24828f6c2f2SEnji Cooper        << source_text() << "...\n"
249b89a7cc2SEnji Cooper        << "Expected to be ";
250b89a7cc2SEnji Cooper     cardinality().DescribeTo(&ss);
25128f6c2f2SEnji Cooper     ss << ", but has " << (too_many ? "" : "only ") << action_count
25228f6c2f2SEnji Cooper        << " WillOnce()" << (action_count == 1 ? "" : "s");
253b89a7cc2SEnji Cooper     if (repeated_action_specified_) {
254b89a7cc2SEnji Cooper       ss << " and a WillRepeatedly()";
255b89a7cc2SEnji Cooper     }
256b89a7cc2SEnji Cooper     ss << ".";
257b89a7cc2SEnji Cooper     Log(kWarning, ss.str(), -1);  // -1 means "don't print stack trace".
258b89a7cc2SEnji Cooper   }
259b89a7cc2SEnji Cooper }
260b89a7cc2SEnji Cooper 
261b89a7cc2SEnji Cooper // Implements the .Times() clause.
UntypedTimes(const Cardinality & a_cardinality)262b89a7cc2SEnji Cooper void ExpectationBase::UntypedTimes(const Cardinality& a_cardinality) {
263b89a7cc2SEnji Cooper   if (last_clause_ == kTimes) {
264b89a7cc2SEnji Cooper     ExpectSpecProperty(false,
265b89a7cc2SEnji Cooper                        ".Times() cannot appear "
266b89a7cc2SEnji Cooper                        "more than once in an EXPECT_CALL().");
267b89a7cc2SEnji Cooper   } else {
26828f6c2f2SEnji Cooper     ExpectSpecProperty(
26928f6c2f2SEnji Cooper         last_clause_ < kTimes,
27028f6c2f2SEnji Cooper         ".Times() may only appear *before* .InSequence(), .WillOnce(), "
27128f6c2f2SEnji Cooper         ".WillRepeatedly(), or .RetiresOnSaturation(), not after.");
272b89a7cc2SEnji Cooper   }
273b89a7cc2SEnji Cooper   last_clause_ = kTimes;
274b89a7cc2SEnji Cooper 
275b89a7cc2SEnji Cooper   SpecifyCardinality(a_cardinality);
276b89a7cc2SEnji Cooper }
277b89a7cc2SEnji Cooper 
278b89a7cc2SEnji Cooper // Points to the implicit sequence introduced by a living InSequence
279b89a7cc2SEnji Cooper // object (if any) in the current thread or NULL.
280b89a7cc2SEnji Cooper GTEST_API_ ThreadLocal<Sequence*> g_gmock_implicit_sequence;
281b89a7cc2SEnji Cooper 
282b89a7cc2SEnji Cooper // Reports an uninteresting call (whose description is in msg) in the
283b89a7cc2SEnji Cooper // manner specified by 'reaction'.
ReportUninterestingCall(CallReaction reaction,const std::string & msg)284b89a7cc2SEnji Cooper void ReportUninterestingCall(CallReaction reaction, const std::string& msg) {
285b89a7cc2SEnji Cooper   // Include a stack trace only if --gmock_verbose=info is specified.
286b89a7cc2SEnji Cooper   const int stack_frames_to_skip =
28728f6c2f2SEnji Cooper       GMOCK_FLAG_GET(verbose) == kInfoVerbosity ? 3 : -1;
288b89a7cc2SEnji Cooper   switch (reaction) {
289b89a7cc2SEnji Cooper     case kAllow:
290b89a7cc2SEnji Cooper       Log(kInfo, msg, stack_frames_to_skip);
291b89a7cc2SEnji Cooper       break;
292b89a7cc2SEnji Cooper     case kWarn:
293b89a7cc2SEnji Cooper       Log(kWarning,
294b89a7cc2SEnji Cooper           msg +
295b89a7cc2SEnji Cooper               "\nNOTE: You can safely ignore the above warning unless this "
296b89a7cc2SEnji Cooper               "call should not happen.  Do not suppress it by blindly adding "
297b89a7cc2SEnji Cooper               "an EXPECT_CALL() if you don't mean to enforce the call.  "
298b89a7cc2SEnji Cooper               "See "
29928f6c2f2SEnji Cooper               "https://github.com/google/googletest/blob/main/docs/"
30028f6c2f2SEnji Cooper               "gmock_cook_book.md#"
30128f6c2f2SEnji Cooper               "knowing-when-to-expect-useoncall for details.\n",
302b89a7cc2SEnji Cooper           stack_frames_to_skip);
303b89a7cc2SEnji Cooper       break;
304b89a7cc2SEnji Cooper     default:  // FAIL
30528f6c2f2SEnji Cooper       Expect(false, nullptr, -1, msg);
306b89a7cc2SEnji Cooper   }
307b89a7cc2SEnji Cooper }
308b89a7cc2SEnji Cooper 
UntypedFunctionMockerBase()309b89a7cc2SEnji Cooper UntypedFunctionMockerBase::UntypedFunctionMockerBase()
31028f6c2f2SEnji Cooper     : mock_obj_(nullptr), name_("") {}
311b89a7cc2SEnji Cooper 
31228f6c2f2SEnji Cooper UntypedFunctionMockerBase::~UntypedFunctionMockerBase() = default;
313b89a7cc2SEnji Cooper 
314b89a7cc2SEnji Cooper // Sets the mock object this mock method belongs to, and registers
315b89a7cc2SEnji Cooper // this information in the global mock registry.  Will be called
316b89a7cc2SEnji Cooper // whenever an EXPECT_CALL() or ON_CALL() is executed on this mock
317b89a7cc2SEnji Cooper // method.
RegisterOwner(const void * mock_obj)318b89a7cc2SEnji Cooper void UntypedFunctionMockerBase::RegisterOwner(const void* mock_obj)
319b89a7cc2SEnji Cooper     GTEST_LOCK_EXCLUDED_(g_gmock_mutex) {
320b89a7cc2SEnji Cooper   {
321b89a7cc2SEnji Cooper     MutexLock l(&g_gmock_mutex);
322b89a7cc2SEnji Cooper     mock_obj_ = mock_obj;
323b89a7cc2SEnji Cooper   }
324b89a7cc2SEnji Cooper   Mock::Register(mock_obj, this);
325b89a7cc2SEnji Cooper }
326b89a7cc2SEnji Cooper 
327b89a7cc2SEnji Cooper // Sets the mock object this mock method belongs to, and sets the name
328b89a7cc2SEnji Cooper // of the mock function.  Will be called upon each invocation of this
329b89a7cc2SEnji Cooper // mock function.
SetOwnerAndName(const void * mock_obj,const char * name)330b89a7cc2SEnji Cooper void UntypedFunctionMockerBase::SetOwnerAndName(const void* mock_obj,
331b89a7cc2SEnji Cooper                                                 const char* name)
332b89a7cc2SEnji Cooper     GTEST_LOCK_EXCLUDED_(g_gmock_mutex) {
333b89a7cc2SEnji Cooper   // We protect name_ under g_gmock_mutex in case this mock function
334b89a7cc2SEnji Cooper   // is called from two threads concurrently.
335b89a7cc2SEnji Cooper   MutexLock l(&g_gmock_mutex);
336b89a7cc2SEnji Cooper   mock_obj_ = mock_obj;
337b89a7cc2SEnji Cooper   name_ = name;
338b89a7cc2SEnji Cooper }
339b89a7cc2SEnji Cooper 
340b89a7cc2SEnji Cooper // Returns the name of the function being mocked.  Must be called
341b89a7cc2SEnji Cooper // after RegisterOwner() or SetOwnerAndName() has been called.
MockObject() const342b89a7cc2SEnji Cooper const void* UntypedFunctionMockerBase::MockObject() const
343b89a7cc2SEnji Cooper     GTEST_LOCK_EXCLUDED_(g_gmock_mutex) {
344b89a7cc2SEnji Cooper   const void* mock_obj;
345b89a7cc2SEnji Cooper   {
346b89a7cc2SEnji Cooper     // We protect mock_obj_ under g_gmock_mutex in case this mock
347b89a7cc2SEnji Cooper     // function is called from two threads concurrently.
348b89a7cc2SEnji Cooper     MutexLock l(&g_gmock_mutex);
34928f6c2f2SEnji Cooper     Assert(mock_obj_ != nullptr, __FILE__, __LINE__,
350b89a7cc2SEnji Cooper            "MockObject() must not be called before RegisterOwner() or "
351b89a7cc2SEnji Cooper            "SetOwnerAndName() has been called.");
352b89a7cc2SEnji Cooper     mock_obj = mock_obj_;
353b89a7cc2SEnji Cooper   }
354b89a7cc2SEnji Cooper   return mock_obj;
355b89a7cc2SEnji Cooper }
356b89a7cc2SEnji Cooper 
357b89a7cc2SEnji Cooper // Returns the name of this mock method.  Must be called after
358b89a7cc2SEnji Cooper // SetOwnerAndName() has been called.
Name() const359b89a7cc2SEnji Cooper const char* UntypedFunctionMockerBase::Name() const
360b89a7cc2SEnji Cooper     GTEST_LOCK_EXCLUDED_(g_gmock_mutex) {
361b89a7cc2SEnji Cooper   const char* name;
362b89a7cc2SEnji Cooper   {
363b89a7cc2SEnji Cooper     // We protect name_ under g_gmock_mutex in case this mock
364b89a7cc2SEnji Cooper     // function is called from two threads concurrently.
365b89a7cc2SEnji Cooper     MutexLock l(&g_gmock_mutex);
36628f6c2f2SEnji Cooper     Assert(name_ != nullptr, __FILE__, __LINE__,
367b89a7cc2SEnji Cooper            "Name() must not be called before SetOwnerAndName() has "
368b89a7cc2SEnji Cooper            "been called.");
369b89a7cc2SEnji Cooper     name = name_;
370b89a7cc2SEnji Cooper   }
371b89a7cc2SEnji Cooper   return name;
372b89a7cc2SEnji Cooper }
373b89a7cc2SEnji Cooper 
374b89a7cc2SEnji Cooper // Returns an Expectation object that references and co-owns exp,
375b89a7cc2SEnji Cooper // which must be an expectation on this mock function.
GetHandleOf(ExpectationBase * exp)376b89a7cc2SEnji Cooper Expectation UntypedFunctionMockerBase::GetHandleOf(ExpectationBase* exp) {
377b89a7cc2SEnji Cooper   // See the definition of untyped_expectations_ for why access to it
378b89a7cc2SEnji Cooper   // is unprotected here.
37928f6c2f2SEnji Cooper   for (UntypedExpectations::const_iterator it = untyped_expectations_.begin();
380b89a7cc2SEnji Cooper        it != untyped_expectations_.end(); ++it) {
381b89a7cc2SEnji Cooper     if (it->get() == exp) {
382b89a7cc2SEnji Cooper       return Expectation(*it);
383b89a7cc2SEnji Cooper     }
384b89a7cc2SEnji Cooper   }
385b89a7cc2SEnji Cooper 
386b89a7cc2SEnji Cooper   Assert(false, __FILE__, __LINE__, "Cannot find expectation.");
387b89a7cc2SEnji Cooper   return Expectation();
388b89a7cc2SEnji Cooper   // The above statement is just to make the code compile, and will
389b89a7cc2SEnji Cooper   // never be executed.
390b89a7cc2SEnji Cooper }
391b89a7cc2SEnji Cooper 
392b89a7cc2SEnji Cooper // Verifies that all expectations on this mock function have been
393b89a7cc2SEnji Cooper // satisfied.  Reports one or more Google Test non-fatal failures
394b89a7cc2SEnji Cooper // and returns false if not.
VerifyAndClearExpectationsLocked()395b89a7cc2SEnji Cooper bool UntypedFunctionMockerBase::VerifyAndClearExpectationsLocked()
396b89a7cc2SEnji Cooper     GTEST_EXCLUSIVE_LOCK_REQUIRED_(g_gmock_mutex) {
397b89a7cc2SEnji Cooper   g_gmock_mutex.AssertHeld();
398b89a7cc2SEnji Cooper   bool expectations_met = true;
39928f6c2f2SEnji Cooper   for (UntypedExpectations::const_iterator it = untyped_expectations_.begin();
400b89a7cc2SEnji Cooper        it != untyped_expectations_.end(); ++it) {
401b89a7cc2SEnji Cooper     ExpectationBase* const untyped_expectation = it->get();
402b89a7cc2SEnji Cooper     if (untyped_expectation->IsOverSaturated()) {
403b89a7cc2SEnji Cooper       // There was an upper-bound violation.  Since the error was
404b89a7cc2SEnji Cooper       // already reported when it occurred, there is no need to do
405b89a7cc2SEnji Cooper       // anything here.
406b89a7cc2SEnji Cooper       expectations_met = false;
407b89a7cc2SEnji Cooper     } else if (!untyped_expectation->IsSatisfied()) {
408b89a7cc2SEnji Cooper       expectations_met = false;
409b89a7cc2SEnji Cooper       ::std::stringstream ss;
41028f6c2f2SEnji Cooper 
41128f6c2f2SEnji Cooper       const ::std::string& expectation_name =
41228f6c2f2SEnji Cooper           untyped_expectation->GetDescription();
41328f6c2f2SEnji Cooper       ss << "Actual function ";
41428f6c2f2SEnji Cooper       if (!expectation_name.empty()) {
41528f6c2f2SEnji Cooper         ss << "\"" << expectation_name << "\" ";
41628f6c2f2SEnji Cooper       }
41728f6c2f2SEnji Cooper       ss << "call count doesn't match " << untyped_expectation->source_text()
41828f6c2f2SEnji Cooper          << "...\n";
419b89a7cc2SEnji Cooper       // No need to show the source file location of the expectation
420b89a7cc2SEnji Cooper       // in the description, as the Expect() call that follows already
421b89a7cc2SEnji Cooper       // takes care of it.
422b89a7cc2SEnji Cooper       untyped_expectation->MaybeDescribeExtraMatcherTo(&ss);
423b89a7cc2SEnji Cooper       untyped_expectation->DescribeCallCountTo(&ss);
42428f6c2f2SEnji Cooper       Expect(false, untyped_expectation->file(), untyped_expectation->line(),
42528f6c2f2SEnji Cooper              ss.str());
426b89a7cc2SEnji Cooper     }
427b89a7cc2SEnji Cooper   }
428b89a7cc2SEnji Cooper 
429b89a7cc2SEnji Cooper   // Deleting our expectations may trigger other mock objects to be deleted, for
430b89a7cc2SEnji Cooper   // example if an action contains a reference counted smart pointer to that
431b89a7cc2SEnji Cooper   // mock object, and that is the last reference. So if we delete our
432b89a7cc2SEnji Cooper   // expectations within the context of the global mutex we may deadlock when
433b89a7cc2SEnji Cooper   // this method is called again. Instead, make a copy of the set of
434b89a7cc2SEnji Cooper   // expectations to delete, clear our set within the mutex, and then clear the
435b89a7cc2SEnji Cooper   // copied set outside of it.
436b89a7cc2SEnji Cooper   UntypedExpectations expectations_to_delete;
437b89a7cc2SEnji Cooper   untyped_expectations_.swap(expectations_to_delete);
438b89a7cc2SEnji Cooper 
439b89a7cc2SEnji Cooper   g_gmock_mutex.Unlock();
440b89a7cc2SEnji Cooper   expectations_to_delete.clear();
441b89a7cc2SEnji Cooper   g_gmock_mutex.Lock();
442b89a7cc2SEnji Cooper 
443b89a7cc2SEnji Cooper   return expectations_met;
444b89a7cc2SEnji Cooper }
445b89a7cc2SEnji Cooper 
intToCallReaction(int mock_behavior)44628f6c2f2SEnji Cooper static CallReaction intToCallReaction(int mock_behavior) {
447b89a7cc2SEnji Cooper   if (mock_behavior >= kAllow && mock_behavior <= kFail) {
448b89a7cc2SEnji Cooper     return static_cast<internal::CallReaction>(mock_behavior);
449b89a7cc2SEnji Cooper   }
450b89a7cc2SEnji Cooper   return kWarn;
451b89a7cc2SEnji Cooper }
452b89a7cc2SEnji Cooper 
453b89a7cc2SEnji Cooper }  // namespace internal
454b89a7cc2SEnji Cooper 
455b89a7cc2SEnji Cooper // Class Mock.
456b89a7cc2SEnji Cooper 
457b89a7cc2SEnji Cooper namespace {
458b89a7cc2SEnji Cooper 
459b89a7cc2SEnji Cooper typedef std::set<internal::UntypedFunctionMockerBase*> FunctionMockers;
460b89a7cc2SEnji Cooper 
461b89a7cc2SEnji Cooper // The current state of a mock object.  Such information is needed for
462b89a7cc2SEnji Cooper // detecting leaked mock objects and explicitly verifying a mock's
463b89a7cc2SEnji Cooper // expectations.
464b89a7cc2SEnji Cooper struct MockObjectState {
MockObjectStatetesting::__anon7d258c5e0111::MockObjectState465b89a7cc2SEnji Cooper   MockObjectState()
46628f6c2f2SEnji Cooper       : first_used_file(nullptr), first_used_line(-1), leakable(false) {}
467b89a7cc2SEnji Cooper 
468b89a7cc2SEnji Cooper   // Where in the source file an ON_CALL or EXPECT_CALL is first
469b89a7cc2SEnji Cooper   // invoked on this mock object.
470b89a7cc2SEnji Cooper   const char* first_used_file;
471b89a7cc2SEnji Cooper   int first_used_line;
47228f6c2f2SEnji Cooper   ::std::string first_used_test_suite;
473b89a7cc2SEnji Cooper   ::std::string first_used_test;
47428f6c2f2SEnji Cooper   bool leakable;  // true if and only if it's OK to leak the object.
475b89a7cc2SEnji Cooper   FunctionMockers function_mockers;  // All registered methods of the object.
476b89a7cc2SEnji Cooper };
477b89a7cc2SEnji Cooper 
478b89a7cc2SEnji Cooper // A global registry holding the state of all mock objects that are
479b89a7cc2SEnji Cooper // alive.  A mock object is added to this registry the first time
480b89a7cc2SEnji Cooper // Mock::AllowLeak(), ON_CALL(), or EXPECT_CALL() is called on it.  It
481b89a7cc2SEnji Cooper // is removed from the registry in the mock object's destructor.
482b89a7cc2SEnji Cooper class MockObjectRegistry {
483b89a7cc2SEnji Cooper  public:
484b89a7cc2SEnji Cooper   // Maps a mock object (identified by its address) to its state.
485b89a7cc2SEnji Cooper   typedef std::map<const void*, MockObjectState> StateMap;
486b89a7cc2SEnji Cooper 
487b89a7cc2SEnji Cooper   // This destructor will be called when a program exits, after all
488b89a7cc2SEnji Cooper   // tests in it have been run.  By then, there should be no mock
489b89a7cc2SEnji Cooper   // object alive.  Therefore we report any living object as test
490b89a7cc2SEnji Cooper   // failure, unless the user explicitly asked us to ignore it.
~MockObjectRegistry()491b89a7cc2SEnji Cooper   ~MockObjectRegistry() {
49228f6c2f2SEnji Cooper     if (!GMOCK_FLAG_GET(catch_leaked_mocks)) return;
493*5ca8c28cSEnji Cooper     internal::MutexLock l(&internal::g_gmock_mutex);
494b89a7cc2SEnji Cooper 
495b89a7cc2SEnji Cooper     int leaked_count = 0;
496b89a7cc2SEnji Cooper     for (StateMap::const_iterator it = states_.begin(); it != states_.end();
497b89a7cc2SEnji Cooper          ++it) {
498b89a7cc2SEnji Cooper       if (it->second.leakable)  // The user said it's fine to leak this object.
499b89a7cc2SEnji Cooper         continue;
500b89a7cc2SEnji Cooper 
501b89a7cc2SEnji Cooper       // FIXME: Print the type of the leaked object.
502b89a7cc2SEnji Cooper       // This can help the user identify the leaked object.
503b89a7cc2SEnji Cooper       std::cout << "\n";
504b89a7cc2SEnji Cooper       const MockObjectState& state = it->second;
505b89a7cc2SEnji Cooper       std::cout << internal::FormatFileLocation(state.first_used_file,
506b89a7cc2SEnji Cooper                                                 state.first_used_line);
507b89a7cc2SEnji Cooper       std::cout << " ERROR: this mock object";
50828f6c2f2SEnji Cooper       if (!state.first_used_test.empty()) {
50928f6c2f2SEnji Cooper         std::cout << " (used in test " << state.first_used_test_suite << "."
510b89a7cc2SEnji Cooper                   << state.first_used_test << ")";
511b89a7cc2SEnji Cooper       }
512b89a7cc2SEnji Cooper       std::cout << " should be deleted but never is. Its address is @"
513b89a7cc2SEnji Cooper                 << it->first << ".";
514b89a7cc2SEnji Cooper       leaked_count++;
515b89a7cc2SEnji Cooper     }
516b89a7cc2SEnji Cooper     if (leaked_count > 0) {
517b89a7cc2SEnji Cooper       std::cout << "\nERROR: " << leaked_count << " leaked mock "
518b89a7cc2SEnji Cooper                 << (leaked_count == 1 ? "object" : "objects")
51928f6c2f2SEnji Cooper                 << " found at program exit. Expectations on a mock object are "
520b89a7cc2SEnji Cooper                    "verified when the object is destructed. Leaking a mock "
521b89a7cc2SEnji Cooper                    "means that its expectations aren't verified, which is "
522b89a7cc2SEnji Cooper                    "usually a test bug. If you really intend to leak a mock, "
523b89a7cc2SEnji Cooper                    "you can suppress this error using "
524b89a7cc2SEnji Cooper                    "testing::Mock::AllowLeak(mock_object), or you may use a "
525b89a7cc2SEnji Cooper                    "fake or stub instead of a mock.\n";
526b89a7cc2SEnji Cooper       std::cout.flush();
527b89a7cc2SEnji Cooper       ::std::cerr.flush();
528b89a7cc2SEnji Cooper       // RUN_ALL_TESTS() has already returned when this destructor is
529b89a7cc2SEnji Cooper       // called.  Therefore we cannot use the normal Google Test
530b89a7cc2SEnji Cooper       // failure reporting mechanism.
53128f6c2f2SEnji Cooper #ifdef GTEST_OS_QURT
53228f6c2f2SEnji Cooper       qurt_exception_raise_fatal();
53328f6c2f2SEnji Cooper #else
534*5ca8c28cSEnji Cooper       _Exit(1);  // We cannot call exit() as it is not reentrant and
535b89a7cc2SEnji Cooper                  // may already have been called.
53628f6c2f2SEnji Cooper #endif
537b89a7cc2SEnji Cooper     }
538b89a7cc2SEnji Cooper   }
539b89a7cc2SEnji Cooper 
states()540b89a7cc2SEnji Cooper   StateMap& states() { return states_; }
541b89a7cc2SEnji Cooper 
542b89a7cc2SEnji Cooper  private:
543b89a7cc2SEnji Cooper   StateMap states_;
544b89a7cc2SEnji Cooper };
545b89a7cc2SEnji Cooper 
546b89a7cc2SEnji Cooper // Protected by g_gmock_mutex.
547b89a7cc2SEnji Cooper MockObjectRegistry g_mock_object_registry;
548b89a7cc2SEnji Cooper 
549b89a7cc2SEnji Cooper // Maps a mock object to the reaction Google Mock should have when an
550b89a7cc2SEnji Cooper // uninteresting method is called.  Protected by g_gmock_mutex.
55128f6c2f2SEnji Cooper std::unordered_map<uintptr_t, internal::CallReaction>&
UninterestingCallReactionMap()55228f6c2f2SEnji Cooper UninterestingCallReactionMap() {
55328f6c2f2SEnji Cooper   static auto* map = new std::unordered_map<uintptr_t, internal::CallReaction>;
55428f6c2f2SEnji Cooper   return *map;
55528f6c2f2SEnji Cooper }
556b89a7cc2SEnji Cooper 
557b89a7cc2SEnji Cooper // Sets the reaction Google Mock should have when an uninteresting
558b89a7cc2SEnji Cooper // method of the given mock object is called.
SetReactionOnUninterestingCalls(uintptr_t mock_obj,internal::CallReaction reaction)55928f6c2f2SEnji Cooper void SetReactionOnUninterestingCalls(uintptr_t mock_obj,
560b89a7cc2SEnji Cooper                                      internal::CallReaction reaction)
561b89a7cc2SEnji Cooper     GTEST_LOCK_EXCLUDED_(internal::g_gmock_mutex) {
562b89a7cc2SEnji Cooper   internal::MutexLock l(&internal::g_gmock_mutex);
56328f6c2f2SEnji Cooper   UninterestingCallReactionMap()[mock_obj] = reaction;
564b89a7cc2SEnji Cooper }
565b89a7cc2SEnji Cooper 
566b89a7cc2SEnji Cooper }  // namespace
567b89a7cc2SEnji Cooper 
568b89a7cc2SEnji Cooper // Tells Google Mock to allow uninteresting calls on the given mock
569b89a7cc2SEnji Cooper // object.
AllowUninterestingCalls(uintptr_t mock_obj)57028f6c2f2SEnji Cooper void Mock::AllowUninterestingCalls(uintptr_t mock_obj)
571b89a7cc2SEnji Cooper     GTEST_LOCK_EXCLUDED_(internal::g_gmock_mutex) {
572b89a7cc2SEnji Cooper   SetReactionOnUninterestingCalls(mock_obj, internal::kAllow);
573b89a7cc2SEnji Cooper }
574b89a7cc2SEnji Cooper 
575b89a7cc2SEnji Cooper // Tells Google Mock to warn the user about uninteresting calls on the
576b89a7cc2SEnji Cooper // given mock object.
WarnUninterestingCalls(uintptr_t mock_obj)57728f6c2f2SEnji Cooper void Mock::WarnUninterestingCalls(uintptr_t mock_obj)
578b89a7cc2SEnji Cooper     GTEST_LOCK_EXCLUDED_(internal::g_gmock_mutex) {
579b89a7cc2SEnji Cooper   SetReactionOnUninterestingCalls(mock_obj, internal::kWarn);
580b89a7cc2SEnji Cooper }
581b89a7cc2SEnji Cooper 
582b89a7cc2SEnji Cooper // Tells Google Mock to fail uninteresting calls on the given mock
583b89a7cc2SEnji Cooper // object.
FailUninterestingCalls(uintptr_t mock_obj)58428f6c2f2SEnji Cooper void Mock::FailUninterestingCalls(uintptr_t mock_obj)
585b89a7cc2SEnji Cooper     GTEST_LOCK_EXCLUDED_(internal::g_gmock_mutex) {
586b89a7cc2SEnji Cooper   SetReactionOnUninterestingCalls(mock_obj, internal::kFail);
587b89a7cc2SEnji Cooper }
588b89a7cc2SEnji Cooper 
589b89a7cc2SEnji Cooper // Tells Google Mock the given mock object is being destroyed and its
590b89a7cc2SEnji Cooper // entry in the call-reaction table should be removed.
UnregisterCallReaction(uintptr_t mock_obj)59128f6c2f2SEnji Cooper void Mock::UnregisterCallReaction(uintptr_t mock_obj)
592b89a7cc2SEnji Cooper     GTEST_LOCK_EXCLUDED_(internal::g_gmock_mutex) {
593b89a7cc2SEnji Cooper   internal::MutexLock l(&internal::g_gmock_mutex);
59428f6c2f2SEnji Cooper   UninterestingCallReactionMap().erase(static_cast<uintptr_t>(mock_obj));
595b89a7cc2SEnji Cooper }
596b89a7cc2SEnji Cooper 
597b89a7cc2SEnji Cooper // Returns the reaction Google Mock will have on uninteresting calls
598b89a7cc2SEnji Cooper // made on the given mock object.
GetReactionOnUninterestingCalls(const void * mock_obj)599b89a7cc2SEnji Cooper internal::CallReaction Mock::GetReactionOnUninterestingCalls(
60028f6c2f2SEnji Cooper     const void* mock_obj) GTEST_LOCK_EXCLUDED_(internal::g_gmock_mutex) {
601b89a7cc2SEnji Cooper   internal::MutexLock l(&internal::g_gmock_mutex);
60228f6c2f2SEnji Cooper   return (UninterestingCallReactionMap().count(
60328f6c2f2SEnji Cooper               reinterpret_cast<uintptr_t>(mock_obj)) == 0)
60428f6c2f2SEnji Cooper              ? internal::intToCallReaction(
60528f6c2f2SEnji Cooper                    GMOCK_FLAG_GET(default_mock_behavior))
60628f6c2f2SEnji Cooper              : UninterestingCallReactionMap()[reinterpret_cast<uintptr_t>(
60728f6c2f2SEnji Cooper                    mock_obj)];
608b89a7cc2SEnji Cooper }
609b89a7cc2SEnji Cooper 
610b89a7cc2SEnji Cooper // Tells Google Mock to ignore mock_obj when checking for leaked mock
611b89a7cc2SEnji Cooper // objects.
AllowLeak(const void * mock_obj)612b89a7cc2SEnji Cooper void Mock::AllowLeak(const void* mock_obj)
613b89a7cc2SEnji Cooper     GTEST_LOCK_EXCLUDED_(internal::g_gmock_mutex) {
614b89a7cc2SEnji Cooper   internal::MutexLock l(&internal::g_gmock_mutex);
615b89a7cc2SEnji Cooper   g_mock_object_registry.states()[mock_obj].leakable = true;
616b89a7cc2SEnji Cooper }
617b89a7cc2SEnji Cooper 
618b89a7cc2SEnji Cooper // Verifies and clears all expectations on the given mock object.  If
619b89a7cc2SEnji Cooper // the expectations aren't satisfied, generates one or more Google
620b89a7cc2SEnji Cooper // Test non-fatal failures and returns false.
VerifyAndClearExpectations(void * mock_obj)621b89a7cc2SEnji Cooper bool Mock::VerifyAndClearExpectations(void* mock_obj)
622b89a7cc2SEnji Cooper     GTEST_LOCK_EXCLUDED_(internal::g_gmock_mutex) {
623b89a7cc2SEnji Cooper   internal::MutexLock l(&internal::g_gmock_mutex);
624b89a7cc2SEnji Cooper   return VerifyAndClearExpectationsLocked(mock_obj);
625b89a7cc2SEnji Cooper }
626b89a7cc2SEnji Cooper 
627b89a7cc2SEnji Cooper // Verifies all expectations on the given mock object and clears its
62828f6c2f2SEnji Cooper // default actions and expectations.  Returns true if and only if the
629b89a7cc2SEnji Cooper // verification was successful.
VerifyAndClear(void * mock_obj)630b89a7cc2SEnji Cooper bool Mock::VerifyAndClear(void* mock_obj)
631b89a7cc2SEnji Cooper     GTEST_LOCK_EXCLUDED_(internal::g_gmock_mutex) {
632b89a7cc2SEnji Cooper   internal::MutexLock l(&internal::g_gmock_mutex);
633b89a7cc2SEnji Cooper   ClearDefaultActionsLocked(mock_obj);
634b89a7cc2SEnji Cooper   return VerifyAndClearExpectationsLocked(mock_obj);
635b89a7cc2SEnji Cooper }
636b89a7cc2SEnji Cooper 
637b89a7cc2SEnji Cooper // Verifies and clears all expectations on the given mock object.  If
638b89a7cc2SEnji Cooper // the expectations aren't satisfied, generates one or more Google
639b89a7cc2SEnji Cooper // Test non-fatal failures and returns false.
VerifyAndClearExpectationsLocked(void * mock_obj)640b89a7cc2SEnji Cooper bool Mock::VerifyAndClearExpectationsLocked(void* mock_obj)
641b89a7cc2SEnji Cooper     GTEST_EXCLUSIVE_LOCK_REQUIRED_(internal::g_gmock_mutex) {
642b89a7cc2SEnji Cooper   internal::g_gmock_mutex.AssertHeld();
643b89a7cc2SEnji Cooper   if (g_mock_object_registry.states().count(mock_obj) == 0) {
644b89a7cc2SEnji Cooper     // No EXPECT_CALL() was set on the given mock object.
645b89a7cc2SEnji Cooper     return true;
646b89a7cc2SEnji Cooper   }
647b89a7cc2SEnji Cooper 
648b89a7cc2SEnji Cooper   // Verifies and clears the expectations on each mock method in the
649b89a7cc2SEnji Cooper   // given mock object.
650b89a7cc2SEnji Cooper   bool expectations_met = true;
651b89a7cc2SEnji Cooper   FunctionMockers& mockers =
652b89a7cc2SEnji Cooper       g_mock_object_registry.states()[mock_obj].function_mockers;
653b89a7cc2SEnji Cooper   for (FunctionMockers::const_iterator it = mockers.begin();
654b89a7cc2SEnji Cooper        it != mockers.end(); ++it) {
655b89a7cc2SEnji Cooper     if (!(*it)->VerifyAndClearExpectationsLocked()) {
656b89a7cc2SEnji Cooper       expectations_met = false;
657b89a7cc2SEnji Cooper     }
658b89a7cc2SEnji Cooper   }
659b89a7cc2SEnji Cooper 
660b89a7cc2SEnji Cooper   // We don't clear the content of mockers, as they may still be
661b89a7cc2SEnji Cooper   // needed by ClearDefaultActionsLocked().
662b89a7cc2SEnji Cooper   return expectations_met;
663b89a7cc2SEnji Cooper }
664b89a7cc2SEnji Cooper 
IsNaggy(void * mock_obj)66528f6c2f2SEnji Cooper bool Mock::IsNaggy(void* mock_obj)
66628f6c2f2SEnji Cooper     GTEST_LOCK_EXCLUDED_(internal::g_gmock_mutex) {
66728f6c2f2SEnji Cooper   return Mock::GetReactionOnUninterestingCalls(mock_obj) == internal::kWarn;
66828f6c2f2SEnji Cooper }
IsNice(void * mock_obj)66928f6c2f2SEnji Cooper bool Mock::IsNice(void* mock_obj)
67028f6c2f2SEnji Cooper     GTEST_LOCK_EXCLUDED_(internal::g_gmock_mutex) {
67128f6c2f2SEnji Cooper   return Mock::GetReactionOnUninterestingCalls(mock_obj) == internal::kAllow;
67228f6c2f2SEnji Cooper }
IsStrict(void * mock_obj)67328f6c2f2SEnji Cooper bool Mock::IsStrict(void* mock_obj)
67428f6c2f2SEnji Cooper     GTEST_LOCK_EXCLUDED_(internal::g_gmock_mutex) {
67528f6c2f2SEnji Cooper   return Mock::GetReactionOnUninterestingCalls(mock_obj) == internal::kFail;
67628f6c2f2SEnji Cooper }
67728f6c2f2SEnji Cooper 
678b89a7cc2SEnji Cooper // Registers a mock object and a mock method it owns.
Register(const void * mock_obj,internal::UntypedFunctionMockerBase * mocker)679b89a7cc2SEnji Cooper void Mock::Register(const void* mock_obj,
680b89a7cc2SEnji Cooper                     internal::UntypedFunctionMockerBase* mocker)
681b89a7cc2SEnji Cooper     GTEST_LOCK_EXCLUDED_(internal::g_gmock_mutex) {
682b89a7cc2SEnji Cooper   internal::MutexLock l(&internal::g_gmock_mutex);
683b89a7cc2SEnji Cooper   g_mock_object_registry.states()[mock_obj].function_mockers.insert(mocker);
684b89a7cc2SEnji Cooper }
685b89a7cc2SEnji Cooper 
686b89a7cc2SEnji Cooper // Tells Google Mock where in the source code mock_obj is used in an
687b89a7cc2SEnji Cooper // ON_CALL or EXPECT_CALL.  In case mock_obj is leaked, this
688b89a7cc2SEnji Cooper // information helps the user identify which object it is.
RegisterUseByOnCallOrExpectCall(const void * mock_obj,const char * file,int line)689b89a7cc2SEnji Cooper void Mock::RegisterUseByOnCallOrExpectCall(const void* mock_obj,
690b89a7cc2SEnji Cooper                                            const char* file, int line)
691b89a7cc2SEnji Cooper     GTEST_LOCK_EXCLUDED_(internal::g_gmock_mutex) {
692b89a7cc2SEnji Cooper   internal::MutexLock l(&internal::g_gmock_mutex);
693b89a7cc2SEnji Cooper   MockObjectState& state = g_mock_object_registry.states()[mock_obj];
69428f6c2f2SEnji Cooper   if (state.first_used_file == nullptr) {
695b89a7cc2SEnji Cooper     state.first_used_file = file;
696b89a7cc2SEnji Cooper     state.first_used_line = line;
697b89a7cc2SEnji Cooper     const TestInfo* const test_info =
698b89a7cc2SEnji Cooper         UnitTest::GetInstance()->current_test_info();
69928f6c2f2SEnji Cooper     if (test_info != nullptr) {
70028f6c2f2SEnji Cooper       state.first_used_test_suite = test_info->test_suite_name();
701b89a7cc2SEnji Cooper       state.first_used_test = test_info->name();
702b89a7cc2SEnji Cooper     }
703b89a7cc2SEnji Cooper   }
704b89a7cc2SEnji Cooper }
705b89a7cc2SEnji Cooper 
706b89a7cc2SEnji Cooper // Unregisters a mock method; removes the owning mock object from the
707b89a7cc2SEnji Cooper // registry when the last mock method associated with it has been
708b89a7cc2SEnji Cooper // unregistered.  This is called only in the destructor of
709b89a7cc2SEnji Cooper // FunctionMockerBase.
UnregisterLocked(internal::UntypedFunctionMockerBase * mocker)710b89a7cc2SEnji Cooper void Mock::UnregisterLocked(internal::UntypedFunctionMockerBase* mocker)
711b89a7cc2SEnji Cooper     GTEST_EXCLUSIVE_LOCK_REQUIRED_(internal::g_gmock_mutex) {
712b89a7cc2SEnji Cooper   internal::g_gmock_mutex.AssertHeld();
713b89a7cc2SEnji Cooper   for (MockObjectRegistry::StateMap::iterator it =
714b89a7cc2SEnji Cooper            g_mock_object_registry.states().begin();
715b89a7cc2SEnji Cooper        it != g_mock_object_registry.states().end(); ++it) {
716b89a7cc2SEnji Cooper     FunctionMockers& mockers = it->second.function_mockers;
717b89a7cc2SEnji Cooper     if (mockers.erase(mocker) > 0) {
718b89a7cc2SEnji Cooper       // mocker was in mockers and has been just removed.
719b89a7cc2SEnji Cooper       if (mockers.empty()) {
720b89a7cc2SEnji Cooper         g_mock_object_registry.states().erase(it);
721b89a7cc2SEnji Cooper       }
722b89a7cc2SEnji Cooper       return;
723b89a7cc2SEnji Cooper     }
724b89a7cc2SEnji Cooper   }
725b89a7cc2SEnji Cooper }
726b89a7cc2SEnji Cooper 
727b89a7cc2SEnji Cooper // Clears all ON_CALL()s set on the given mock object.
ClearDefaultActionsLocked(void * mock_obj)728b89a7cc2SEnji Cooper void Mock::ClearDefaultActionsLocked(void* mock_obj)
729b89a7cc2SEnji Cooper     GTEST_EXCLUSIVE_LOCK_REQUIRED_(internal::g_gmock_mutex) {
730b89a7cc2SEnji Cooper   internal::g_gmock_mutex.AssertHeld();
731b89a7cc2SEnji Cooper 
732b89a7cc2SEnji Cooper   if (g_mock_object_registry.states().count(mock_obj) == 0) {
733b89a7cc2SEnji Cooper     // No ON_CALL() was set on the given mock object.
734b89a7cc2SEnji Cooper     return;
735b89a7cc2SEnji Cooper   }
736b89a7cc2SEnji Cooper 
737b89a7cc2SEnji Cooper   // Clears the default actions for each mock method in the given mock
738b89a7cc2SEnji Cooper   // object.
739b89a7cc2SEnji Cooper   FunctionMockers& mockers =
740b89a7cc2SEnji Cooper       g_mock_object_registry.states()[mock_obj].function_mockers;
741b89a7cc2SEnji Cooper   for (FunctionMockers::const_iterator it = mockers.begin();
742b89a7cc2SEnji Cooper        it != mockers.end(); ++it) {
743b89a7cc2SEnji Cooper     (*it)->ClearDefaultActionsLocked();
744b89a7cc2SEnji Cooper   }
745b89a7cc2SEnji Cooper 
746b89a7cc2SEnji Cooper   // We don't clear the content of mockers, as they may still be
747b89a7cc2SEnji Cooper   // needed by VerifyAndClearExpectationsLocked().
748b89a7cc2SEnji Cooper }
749b89a7cc2SEnji Cooper 
75028f6c2f2SEnji Cooper Expectation::Expectation() = default;
751b89a7cc2SEnji Cooper 
Expectation(const std::shared_ptr<internal::ExpectationBase> & an_expectation_base)752b89a7cc2SEnji Cooper Expectation::Expectation(
75328f6c2f2SEnji Cooper     const std::shared_ptr<internal::ExpectationBase>& an_expectation_base)
754b89a7cc2SEnji Cooper     : expectation_base_(an_expectation_base) {}
755b89a7cc2SEnji Cooper 
75628f6c2f2SEnji Cooper Expectation::~Expectation() = default;
757b89a7cc2SEnji Cooper 
758b89a7cc2SEnji Cooper // Adds an expectation to a sequence.
AddExpectation(const Expectation & expectation) const759b89a7cc2SEnji Cooper void Sequence::AddExpectation(const Expectation& expectation) const {
760b89a7cc2SEnji Cooper   if (*last_expectation_ != expectation) {
76128f6c2f2SEnji Cooper     if (last_expectation_->expectation_base() != nullptr) {
76228f6c2f2SEnji Cooper       expectation.expectation_base()->immediate_prerequisites_ +=
76328f6c2f2SEnji Cooper           *last_expectation_;
764b89a7cc2SEnji Cooper     }
765b89a7cc2SEnji Cooper     *last_expectation_ = expectation;
766b89a7cc2SEnji Cooper   }
767b89a7cc2SEnji Cooper }
768b89a7cc2SEnji Cooper 
769b89a7cc2SEnji Cooper // Creates the implicit sequence if there isn't one.
InSequence()770b89a7cc2SEnji Cooper InSequence::InSequence() {
77128f6c2f2SEnji Cooper   if (internal::g_gmock_implicit_sequence.get() == nullptr) {
772b89a7cc2SEnji Cooper     internal::g_gmock_implicit_sequence.set(new Sequence);
773b89a7cc2SEnji Cooper     sequence_created_ = true;
774b89a7cc2SEnji Cooper   } else {
775b89a7cc2SEnji Cooper     sequence_created_ = false;
776b89a7cc2SEnji Cooper   }
777b89a7cc2SEnji Cooper }
778b89a7cc2SEnji Cooper 
779b89a7cc2SEnji Cooper // Deletes the implicit sequence if it was created by the constructor
780b89a7cc2SEnji Cooper // of this object.
~InSequence()781b89a7cc2SEnji Cooper InSequence::~InSequence() {
782b89a7cc2SEnji Cooper   if (sequence_created_) {
783b89a7cc2SEnji Cooper     delete internal::g_gmock_implicit_sequence.get();
78428f6c2f2SEnji Cooper     internal::g_gmock_implicit_sequence.set(nullptr);
785b89a7cc2SEnji Cooper   }
786b89a7cc2SEnji Cooper }
787b89a7cc2SEnji Cooper 
788b89a7cc2SEnji Cooper }  // namespace testing
789b89a7cc2SEnji Cooper 
79028f6c2f2SEnji Cooper #if defined(_MSC_VER) && (_MSC_VER == 1900)
79128f6c2f2SEnji Cooper GTEST_DISABLE_MSC_WARNINGS_POP_()  // 4800
792b89a7cc2SEnji Cooper #endif
793