Austin Schuh | 0cbef62 | 2015-09-06 17:34:52 -0700 | [diff] [blame] | 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. |
Austin Schuh | 889ac43 | 2018-10-29 22:57:02 -0700 | [diff] [blame^] | 29 | |
Austin Schuh | 0cbef62 | 2015-09-06 17:34:52 -0700 | [diff] [blame] | 30 | |
| 31 | // Google Mock - a framework for writing C++ mock classes. |
| 32 | // |
| 33 | // This file implements the spec builder syntax (ON_CALL and |
| 34 | // EXPECT_CALL). |
| 35 | |
| 36 | #include "gmock/gmock-spec-builders.h" |
| 37 | |
| 38 | #include <stdlib.h> |
| 39 | #include <iostream> // NOLINT |
| 40 | #include <map> |
| 41 | #include <set> |
| 42 | #include <string> |
Austin Schuh | 889ac43 | 2018-10-29 22:57:02 -0700 | [diff] [blame^] | 43 | #include <vector> |
Austin Schuh | 0cbef62 | 2015-09-06 17:34:52 -0700 | [diff] [blame] | 44 | #include "gmock/gmock.h" |
| 45 | #include "gtest/gtest.h" |
| 46 | |
| 47 | #if GTEST_OS_CYGWIN || GTEST_OS_LINUX || GTEST_OS_MAC |
| 48 | # include <unistd.h> // NOLINT |
| 49 | #endif |
| 50 | |
Austin Schuh | 889ac43 | 2018-10-29 22:57:02 -0700 | [diff] [blame^] | 51 | // Silence C4800 (C4800: 'int *const ': forcing value |
| 52 | // to bool 'true' or 'false') for MSVC 14,15 |
| 53 | #ifdef _MSC_VER |
| 54 | #if _MSC_VER <= 1900 |
| 55 | # pragma warning(push) |
| 56 | # pragma warning(disable:4800) |
| 57 | #endif |
| 58 | #endif |
| 59 | |
Austin Schuh | 0cbef62 | 2015-09-06 17:34:52 -0700 | [diff] [blame] | 60 | namespace testing { |
| 61 | namespace internal { |
| 62 | |
| 63 | // Protects the mock object registry (in class Mock), all function |
| 64 | // mockers, and all expectations. |
| 65 | GTEST_API_ GTEST_DEFINE_STATIC_MUTEX_(g_gmock_mutex); |
| 66 | |
| 67 | // Logs a message including file and line number information. |
| 68 | GTEST_API_ void LogWithLocation(testing::internal::LogSeverity severity, |
| 69 | const char* file, int line, |
Austin Schuh | 889ac43 | 2018-10-29 22:57:02 -0700 | [diff] [blame^] | 70 | const std::string& message) { |
Austin Schuh | 0cbef62 | 2015-09-06 17:34:52 -0700 | [diff] [blame] | 71 | ::std::ostringstream s; |
| 72 | s << file << ":" << line << ": " << message << ::std::endl; |
| 73 | Log(severity, s.str(), 0); |
| 74 | } |
| 75 | |
| 76 | // Constructs an ExpectationBase object. |
Austin Schuh | 889ac43 | 2018-10-29 22:57:02 -0700 | [diff] [blame^] | 77 | ExpectationBase::ExpectationBase(const char* a_file, int a_line, |
| 78 | const std::string& a_source_text) |
Austin Schuh | 0cbef62 | 2015-09-06 17:34:52 -0700 | [diff] [blame] | 79 | : file_(a_file), |
| 80 | line_(a_line), |
| 81 | source_text_(a_source_text), |
| 82 | cardinality_specified_(false), |
| 83 | cardinality_(Exactly(1)), |
| 84 | call_count_(0), |
| 85 | retired_(false), |
| 86 | extra_matcher_specified_(false), |
| 87 | repeated_action_specified_(false), |
| 88 | retires_on_saturation_(false), |
| 89 | last_clause_(kNone), |
| 90 | action_count_checked_(false) {} |
| 91 | |
| 92 | // Destructs an ExpectationBase object. |
| 93 | ExpectationBase::~ExpectationBase() {} |
| 94 | |
| 95 | // Explicitly specifies the cardinality of this expectation. Used by |
| 96 | // the subclasses to implement the .Times() clause. |
| 97 | void ExpectationBase::SpecifyCardinality(const Cardinality& a_cardinality) { |
| 98 | cardinality_specified_ = true; |
| 99 | cardinality_ = a_cardinality; |
| 100 | } |
| 101 | |
| 102 | // Retires all pre-requisites of this expectation. |
| 103 | void ExpectationBase::RetireAllPreRequisites() |
| 104 | GTEST_EXCLUSIVE_LOCK_REQUIRED_(g_gmock_mutex) { |
| 105 | if (is_retired()) { |
| 106 | // We can take this short-cut as we never retire an expectation |
| 107 | // until we have retired all its pre-requisites. |
| 108 | return; |
| 109 | } |
| 110 | |
Austin Schuh | 889ac43 | 2018-10-29 22:57:02 -0700 | [diff] [blame^] | 111 | ::std::vector<ExpectationBase*> expectations(1, this); |
| 112 | while (!expectations.empty()) { |
| 113 | ExpectationBase* exp = expectations.back(); |
| 114 | expectations.pop_back(); |
| 115 | |
| 116 | for (ExpectationSet::const_iterator it = |
| 117 | exp->immediate_prerequisites_.begin(); |
| 118 | it != exp->immediate_prerequisites_.end(); ++it) { |
| 119 | ExpectationBase* next = it->expectation_base().get(); |
| 120 | if (!next->is_retired()) { |
| 121 | next->Retire(); |
| 122 | expectations.push_back(next); |
| 123 | } |
Austin Schuh | 0cbef62 | 2015-09-06 17:34:52 -0700 | [diff] [blame] | 124 | } |
| 125 | } |
| 126 | } |
| 127 | |
| 128 | // Returns true iff all pre-requisites of this expectation have been |
| 129 | // satisfied. |
| 130 | bool ExpectationBase::AllPrerequisitesAreSatisfied() const |
| 131 | GTEST_EXCLUSIVE_LOCK_REQUIRED_(g_gmock_mutex) { |
| 132 | g_gmock_mutex.AssertHeld(); |
Austin Schuh | 889ac43 | 2018-10-29 22:57:02 -0700 | [diff] [blame^] | 133 | ::std::vector<const ExpectationBase*> expectations(1, this); |
| 134 | while (!expectations.empty()) { |
| 135 | const ExpectationBase* exp = expectations.back(); |
| 136 | expectations.pop_back(); |
| 137 | |
| 138 | for (ExpectationSet::const_iterator it = |
| 139 | exp->immediate_prerequisites_.begin(); |
| 140 | it != exp->immediate_prerequisites_.end(); ++it) { |
| 141 | const ExpectationBase* next = it->expectation_base().get(); |
| 142 | if (!next->IsSatisfied()) return false; |
| 143 | expectations.push_back(next); |
| 144 | } |
Austin Schuh | 0cbef62 | 2015-09-06 17:34:52 -0700 | [diff] [blame] | 145 | } |
| 146 | return true; |
| 147 | } |
| 148 | |
| 149 | // Adds unsatisfied pre-requisites of this expectation to 'result'. |
| 150 | void ExpectationBase::FindUnsatisfiedPrerequisites(ExpectationSet* result) const |
| 151 | GTEST_EXCLUSIVE_LOCK_REQUIRED_(g_gmock_mutex) { |
| 152 | g_gmock_mutex.AssertHeld(); |
Austin Schuh | 889ac43 | 2018-10-29 22:57:02 -0700 | [diff] [blame^] | 153 | ::std::vector<const ExpectationBase*> expectations(1, this); |
| 154 | while (!expectations.empty()) { |
| 155 | const ExpectationBase* exp = expectations.back(); |
| 156 | expectations.pop_back(); |
| 157 | |
| 158 | for (ExpectationSet::const_iterator it = |
| 159 | exp->immediate_prerequisites_.begin(); |
| 160 | it != exp->immediate_prerequisites_.end(); ++it) { |
| 161 | const ExpectationBase* next = it->expectation_base().get(); |
| 162 | |
| 163 | if (next->IsSatisfied()) { |
| 164 | // If *it is satisfied and has a call count of 0, some of its |
| 165 | // pre-requisites may not be satisfied yet. |
| 166 | if (next->call_count_ == 0) { |
| 167 | expectations.push_back(next); |
| 168 | } |
| 169 | } else { |
| 170 | // Now that we know next is unsatisfied, we are not so interested |
| 171 | // in whether its pre-requisites are satisfied. Therefore we |
| 172 | // don't iterate into it here. |
| 173 | *result += *it; |
Austin Schuh | 0cbef62 | 2015-09-06 17:34:52 -0700 | [diff] [blame] | 174 | } |
Austin Schuh | 0cbef62 | 2015-09-06 17:34:52 -0700 | [diff] [blame] | 175 | } |
| 176 | } |
| 177 | } |
| 178 | |
| 179 | // Describes how many times a function call matching this |
| 180 | // expectation has occurred. |
| 181 | void ExpectationBase::DescribeCallCountTo(::std::ostream* os) const |
| 182 | GTEST_EXCLUSIVE_LOCK_REQUIRED_(g_gmock_mutex) { |
| 183 | g_gmock_mutex.AssertHeld(); |
| 184 | |
| 185 | // Describes how many times the function is expected to be called. |
| 186 | *os << " Expected: to be "; |
| 187 | cardinality().DescribeTo(os); |
| 188 | *os << "\n Actual: "; |
| 189 | Cardinality::DescribeActualCallCountTo(call_count(), os); |
| 190 | |
| 191 | // Describes the state of the expectation (e.g. is it satisfied? |
| 192 | // is it active?). |
| 193 | *os << " - " << (IsOverSaturated() ? "over-saturated" : |
| 194 | IsSaturated() ? "saturated" : |
| 195 | IsSatisfied() ? "satisfied" : "unsatisfied") |
| 196 | << " and " |
| 197 | << (is_retired() ? "retired" : "active"); |
| 198 | } |
| 199 | |
| 200 | // Checks the action count (i.e. the number of WillOnce() and |
| 201 | // WillRepeatedly() clauses) against the cardinality if this hasn't |
| 202 | // been done before. Prints a warning if there are too many or too |
| 203 | // few actions. |
| 204 | void ExpectationBase::CheckActionCountIfNotDone() const |
| 205 | GTEST_LOCK_EXCLUDED_(mutex_) { |
| 206 | bool should_check = false; |
| 207 | { |
| 208 | MutexLock l(&mutex_); |
| 209 | if (!action_count_checked_) { |
| 210 | action_count_checked_ = true; |
| 211 | should_check = true; |
| 212 | } |
| 213 | } |
| 214 | |
| 215 | if (should_check) { |
| 216 | if (!cardinality_specified_) { |
| 217 | // The cardinality was inferred - no need to check the action |
| 218 | // count against it. |
| 219 | return; |
| 220 | } |
| 221 | |
| 222 | // The cardinality was explicitly specified. |
| 223 | const int action_count = static_cast<int>(untyped_actions_.size()); |
| 224 | const int upper_bound = cardinality().ConservativeUpperBound(); |
| 225 | const int lower_bound = cardinality().ConservativeLowerBound(); |
| 226 | bool too_many; // True if there are too many actions, or false |
| 227 | // if there are too few. |
| 228 | if (action_count > upper_bound || |
| 229 | (action_count == upper_bound && repeated_action_specified_)) { |
| 230 | too_many = true; |
| 231 | } else if (0 < action_count && action_count < lower_bound && |
| 232 | !repeated_action_specified_) { |
| 233 | too_many = false; |
| 234 | } else { |
| 235 | return; |
| 236 | } |
| 237 | |
| 238 | ::std::stringstream ss; |
| 239 | DescribeLocationTo(&ss); |
| 240 | ss << "Too " << (too_many ? "many" : "few") |
| 241 | << " actions specified in " << source_text() << "...\n" |
| 242 | << "Expected to be "; |
| 243 | cardinality().DescribeTo(&ss); |
| 244 | ss << ", but has " << (too_many ? "" : "only ") |
| 245 | << action_count << " WillOnce()" |
| 246 | << (action_count == 1 ? "" : "s"); |
| 247 | if (repeated_action_specified_) { |
| 248 | ss << " and a WillRepeatedly()"; |
| 249 | } |
| 250 | ss << "."; |
| 251 | Log(kWarning, ss.str(), -1); // -1 means "don't print stack trace". |
| 252 | } |
| 253 | } |
| 254 | |
| 255 | // Implements the .Times() clause. |
| 256 | void ExpectationBase::UntypedTimes(const Cardinality& a_cardinality) { |
| 257 | if (last_clause_ == kTimes) { |
| 258 | ExpectSpecProperty(false, |
| 259 | ".Times() cannot appear " |
| 260 | "more than once in an EXPECT_CALL()."); |
| 261 | } else { |
| 262 | ExpectSpecProperty(last_clause_ < kTimes, |
| 263 | ".Times() cannot appear after " |
| 264 | ".InSequence(), .WillOnce(), .WillRepeatedly(), " |
| 265 | "or .RetiresOnSaturation()."); |
| 266 | } |
| 267 | last_clause_ = kTimes; |
| 268 | |
| 269 | SpecifyCardinality(a_cardinality); |
| 270 | } |
| 271 | |
| 272 | // Points to the implicit sequence introduced by a living InSequence |
| 273 | // object (if any) in the current thread or NULL. |
| 274 | GTEST_API_ ThreadLocal<Sequence*> g_gmock_implicit_sequence; |
| 275 | |
| 276 | // Reports an uninteresting call (whose description is in msg) in the |
| 277 | // manner specified by 'reaction'. |
Austin Schuh | 889ac43 | 2018-10-29 22:57:02 -0700 | [diff] [blame^] | 278 | void ReportUninterestingCall(CallReaction reaction, const std::string& msg) { |
Austin Schuh | 0cbef62 | 2015-09-06 17:34:52 -0700 | [diff] [blame] | 279 | // Include a stack trace only if --gmock_verbose=info is specified. |
| 280 | const int stack_frames_to_skip = |
| 281 | GMOCK_FLAG(verbose) == kInfoVerbosity ? 3 : -1; |
| 282 | switch (reaction) { |
| 283 | case kAllow: |
| 284 | Log(kInfo, msg, stack_frames_to_skip); |
| 285 | break; |
| 286 | case kWarn: |
| 287 | Log(kWarning, |
| 288 | msg + |
Austin Schuh | 889ac43 | 2018-10-29 22:57:02 -0700 | [diff] [blame^] | 289 | "\nNOTE: You can safely ignore the above warning unless this " |
| 290 | "call should not happen. Do not suppress it by blindly adding " |
| 291 | "an EXPECT_CALL() if you don't mean to enforce the call. " |
| 292 | "See " |
| 293 | "https://github.com/google/googletest/blob/master/googlemock/" |
| 294 | "docs/CookBook.md#" |
| 295 | "knowing-when-to-expect for details.\n", |
Austin Schuh | 0cbef62 | 2015-09-06 17:34:52 -0700 | [diff] [blame] | 296 | stack_frames_to_skip); |
| 297 | break; |
| 298 | default: // FAIL |
| 299 | Expect(false, NULL, -1, msg); |
| 300 | } |
| 301 | } |
| 302 | |
| 303 | UntypedFunctionMockerBase::UntypedFunctionMockerBase() |
| 304 | : mock_obj_(NULL), name_("") {} |
| 305 | |
| 306 | UntypedFunctionMockerBase::~UntypedFunctionMockerBase() {} |
| 307 | |
| 308 | // Sets the mock object this mock method belongs to, and registers |
| 309 | // this information in the global mock registry. Will be called |
| 310 | // whenever an EXPECT_CALL() or ON_CALL() is executed on this mock |
| 311 | // method. |
| 312 | void UntypedFunctionMockerBase::RegisterOwner(const void* mock_obj) |
| 313 | GTEST_LOCK_EXCLUDED_(g_gmock_mutex) { |
| 314 | { |
| 315 | MutexLock l(&g_gmock_mutex); |
| 316 | mock_obj_ = mock_obj; |
| 317 | } |
| 318 | Mock::Register(mock_obj, this); |
| 319 | } |
| 320 | |
| 321 | // Sets the mock object this mock method belongs to, and sets the name |
| 322 | // of the mock function. Will be called upon each invocation of this |
| 323 | // mock function. |
| 324 | void UntypedFunctionMockerBase::SetOwnerAndName(const void* mock_obj, |
| 325 | const char* name) |
| 326 | GTEST_LOCK_EXCLUDED_(g_gmock_mutex) { |
| 327 | // We protect name_ under g_gmock_mutex in case this mock function |
| 328 | // is called from two threads concurrently. |
| 329 | MutexLock l(&g_gmock_mutex); |
| 330 | mock_obj_ = mock_obj; |
| 331 | name_ = name; |
| 332 | } |
| 333 | |
| 334 | // Returns the name of the function being mocked. Must be called |
| 335 | // after RegisterOwner() or SetOwnerAndName() has been called. |
| 336 | const void* UntypedFunctionMockerBase::MockObject() const |
| 337 | GTEST_LOCK_EXCLUDED_(g_gmock_mutex) { |
| 338 | const void* mock_obj; |
| 339 | { |
| 340 | // We protect mock_obj_ under g_gmock_mutex in case this mock |
| 341 | // function is called from two threads concurrently. |
| 342 | MutexLock l(&g_gmock_mutex); |
| 343 | Assert(mock_obj_ != NULL, __FILE__, __LINE__, |
| 344 | "MockObject() must not be called before RegisterOwner() or " |
| 345 | "SetOwnerAndName() has been called."); |
| 346 | mock_obj = mock_obj_; |
| 347 | } |
| 348 | return mock_obj; |
| 349 | } |
| 350 | |
| 351 | // Returns the name of this mock method. Must be called after |
| 352 | // SetOwnerAndName() has been called. |
| 353 | const char* UntypedFunctionMockerBase::Name() const |
| 354 | GTEST_LOCK_EXCLUDED_(g_gmock_mutex) { |
| 355 | const char* name; |
| 356 | { |
| 357 | // We protect name_ under g_gmock_mutex in case this mock |
| 358 | // function is called from two threads concurrently. |
| 359 | MutexLock l(&g_gmock_mutex); |
| 360 | Assert(name_ != NULL, __FILE__, __LINE__, |
| 361 | "Name() must not be called before SetOwnerAndName() has " |
| 362 | "been called."); |
| 363 | name = name_; |
| 364 | } |
| 365 | return name; |
| 366 | } |
| 367 | |
| 368 | // Calculates the result of invoking this mock function with the given |
| 369 | // arguments, prints it, and returns it. The caller is responsible |
| 370 | // for deleting the result. |
Austin Schuh | 889ac43 | 2018-10-29 22:57:02 -0700 | [diff] [blame^] | 371 | UntypedActionResultHolderBase* UntypedFunctionMockerBase::UntypedInvokeWith( |
| 372 | void* const untyped_args) GTEST_LOCK_EXCLUDED_(g_gmock_mutex) { |
| 373 | // See the definition of untyped_expectations_ for why access to it |
| 374 | // is unprotected here. |
Austin Schuh | 0cbef62 | 2015-09-06 17:34:52 -0700 | [diff] [blame] | 375 | if (untyped_expectations_.size() == 0) { |
| 376 | // No expectation is set on this mock method - we have an |
| 377 | // uninteresting call. |
| 378 | |
| 379 | // We must get Google Mock's reaction on uninteresting calls |
| 380 | // made on this mock object BEFORE performing the action, |
| 381 | // because the action may DELETE the mock object and make the |
| 382 | // following expression meaningless. |
| 383 | const CallReaction reaction = |
| 384 | Mock::GetReactionOnUninterestingCalls(MockObject()); |
| 385 | |
| 386 | // True iff we need to print this call's arguments and return |
| 387 | // value. This definition must be kept in sync with |
| 388 | // the behavior of ReportUninterestingCall(). |
| 389 | const bool need_to_report_uninteresting_call = |
| 390 | // If the user allows this uninteresting call, we print it |
Austin Schuh | 889ac43 | 2018-10-29 22:57:02 -0700 | [diff] [blame^] | 391 | // only when they want informational messages. |
Austin Schuh | 0cbef62 | 2015-09-06 17:34:52 -0700 | [diff] [blame] | 392 | reaction == kAllow ? LogIsVisible(kInfo) : |
Austin Schuh | 889ac43 | 2018-10-29 22:57:02 -0700 | [diff] [blame^] | 393 | // If the user wants this to be a warning, we print |
| 394 | // it only when they want to see warnings. |
| 395 | reaction == kWarn |
| 396 | ? LogIsVisible(kWarning) |
| 397 | : |
| 398 | // Otherwise, the user wants this to be an error, and we |
| 399 | // should always print detailed information in the error. |
| 400 | true; |
Austin Schuh | 0cbef62 | 2015-09-06 17:34:52 -0700 | [diff] [blame] | 401 | |
| 402 | if (!need_to_report_uninteresting_call) { |
| 403 | // Perform the action without printing the call information. |
Austin Schuh | 889ac43 | 2018-10-29 22:57:02 -0700 | [diff] [blame^] | 404 | return this->UntypedPerformDefaultAction( |
| 405 | untyped_args, "Function call: " + std::string(Name())); |
Austin Schuh | 0cbef62 | 2015-09-06 17:34:52 -0700 | [diff] [blame] | 406 | } |
| 407 | |
| 408 | // Warns about the uninteresting call. |
| 409 | ::std::stringstream ss; |
| 410 | this->UntypedDescribeUninterestingCall(untyped_args, &ss); |
| 411 | |
| 412 | // Calculates the function result. |
| 413 | UntypedActionResultHolderBase* const result = |
| 414 | this->UntypedPerformDefaultAction(untyped_args, ss.str()); |
| 415 | |
| 416 | // Prints the function result. |
| 417 | if (result != NULL) |
| 418 | result->PrintAsActionResult(&ss); |
| 419 | |
| 420 | ReportUninterestingCall(reaction, ss.str()); |
| 421 | return result; |
| 422 | } |
| 423 | |
| 424 | bool is_excessive = false; |
| 425 | ::std::stringstream ss; |
| 426 | ::std::stringstream why; |
| 427 | ::std::stringstream loc; |
| 428 | const void* untyped_action = NULL; |
| 429 | |
| 430 | // The UntypedFindMatchingExpectation() function acquires and |
| 431 | // releases g_gmock_mutex. |
| 432 | const ExpectationBase* const untyped_expectation = |
| 433 | this->UntypedFindMatchingExpectation( |
| 434 | untyped_args, &untyped_action, &is_excessive, |
| 435 | &ss, &why); |
| 436 | const bool found = untyped_expectation != NULL; |
| 437 | |
| 438 | // True iff we need to print the call's arguments and return value. |
| 439 | // This definition must be kept in sync with the uses of Expect() |
| 440 | // and Log() in this function. |
| 441 | const bool need_to_report_call = |
| 442 | !found || is_excessive || LogIsVisible(kInfo); |
| 443 | if (!need_to_report_call) { |
| 444 | // Perform the action without printing the call information. |
| 445 | return |
| 446 | untyped_action == NULL ? |
| 447 | this->UntypedPerformDefaultAction(untyped_args, "") : |
| 448 | this->UntypedPerformAction(untyped_action, untyped_args); |
| 449 | } |
| 450 | |
| 451 | ss << " Function call: " << Name(); |
| 452 | this->UntypedPrintArgs(untyped_args, &ss); |
| 453 | |
| 454 | // In case the action deletes a piece of the expectation, we |
| 455 | // generate the message beforehand. |
| 456 | if (found && !is_excessive) { |
| 457 | untyped_expectation->DescribeLocationTo(&loc); |
| 458 | } |
| 459 | |
| 460 | UntypedActionResultHolderBase* const result = |
| 461 | untyped_action == NULL ? |
| 462 | this->UntypedPerformDefaultAction(untyped_args, ss.str()) : |
| 463 | this->UntypedPerformAction(untyped_action, untyped_args); |
| 464 | if (result != NULL) |
| 465 | result->PrintAsActionResult(&ss); |
| 466 | ss << "\n" << why.str(); |
| 467 | |
| 468 | if (!found) { |
| 469 | // No expectation matches this call - reports a failure. |
| 470 | Expect(false, NULL, -1, ss.str()); |
| 471 | } else if (is_excessive) { |
| 472 | // We had an upper-bound violation and the failure message is in ss. |
| 473 | Expect(false, untyped_expectation->file(), |
| 474 | untyped_expectation->line(), ss.str()); |
| 475 | } else { |
| 476 | // We had an expected call and the matching expectation is |
| 477 | // described in ss. |
| 478 | Log(kInfo, loc.str() + ss.str(), 2); |
| 479 | } |
| 480 | |
| 481 | return result; |
| 482 | } |
| 483 | |
| 484 | // Returns an Expectation object that references and co-owns exp, |
| 485 | // which must be an expectation on this mock function. |
| 486 | Expectation UntypedFunctionMockerBase::GetHandleOf(ExpectationBase* exp) { |
Austin Schuh | 889ac43 | 2018-10-29 22:57:02 -0700 | [diff] [blame^] | 487 | // See the definition of untyped_expectations_ for why access to it |
| 488 | // is unprotected here. |
Austin Schuh | 0cbef62 | 2015-09-06 17:34:52 -0700 | [diff] [blame] | 489 | for (UntypedExpectations::const_iterator it = |
| 490 | untyped_expectations_.begin(); |
| 491 | it != untyped_expectations_.end(); ++it) { |
| 492 | if (it->get() == exp) { |
| 493 | return Expectation(*it); |
| 494 | } |
| 495 | } |
| 496 | |
| 497 | Assert(false, __FILE__, __LINE__, "Cannot find expectation."); |
| 498 | return Expectation(); |
| 499 | // The above statement is just to make the code compile, and will |
| 500 | // never be executed. |
| 501 | } |
| 502 | |
| 503 | // Verifies that all expectations on this mock function have been |
| 504 | // satisfied. Reports one or more Google Test non-fatal failures |
| 505 | // and returns false if not. |
| 506 | bool UntypedFunctionMockerBase::VerifyAndClearExpectationsLocked() |
| 507 | GTEST_EXCLUSIVE_LOCK_REQUIRED_(g_gmock_mutex) { |
| 508 | g_gmock_mutex.AssertHeld(); |
| 509 | bool expectations_met = true; |
| 510 | for (UntypedExpectations::const_iterator it = |
| 511 | untyped_expectations_.begin(); |
| 512 | it != untyped_expectations_.end(); ++it) { |
| 513 | ExpectationBase* const untyped_expectation = it->get(); |
| 514 | if (untyped_expectation->IsOverSaturated()) { |
| 515 | // There was an upper-bound violation. Since the error was |
| 516 | // already reported when it occurred, there is no need to do |
| 517 | // anything here. |
| 518 | expectations_met = false; |
| 519 | } else if (!untyped_expectation->IsSatisfied()) { |
| 520 | expectations_met = false; |
| 521 | ::std::stringstream ss; |
| 522 | ss << "Actual function call count doesn't match " |
| 523 | << untyped_expectation->source_text() << "...\n"; |
| 524 | // No need to show the source file location of the expectation |
| 525 | // in the description, as the Expect() call that follows already |
| 526 | // takes care of it. |
| 527 | untyped_expectation->MaybeDescribeExtraMatcherTo(&ss); |
| 528 | untyped_expectation->DescribeCallCountTo(&ss); |
| 529 | Expect(false, untyped_expectation->file(), |
| 530 | untyped_expectation->line(), ss.str()); |
| 531 | } |
| 532 | } |
| 533 | |
| 534 | // Deleting our expectations may trigger other mock objects to be deleted, for |
| 535 | // example if an action contains a reference counted smart pointer to that |
| 536 | // mock object, and that is the last reference. So if we delete our |
| 537 | // expectations within the context of the global mutex we may deadlock when |
| 538 | // this method is called again. Instead, make a copy of the set of |
| 539 | // expectations to delete, clear our set within the mutex, and then clear the |
| 540 | // copied set outside of it. |
| 541 | UntypedExpectations expectations_to_delete; |
| 542 | untyped_expectations_.swap(expectations_to_delete); |
| 543 | |
| 544 | g_gmock_mutex.Unlock(); |
| 545 | expectations_to_delete.clear(); |
| 546 | g_gmock_mutex.Lock(); |
| 547 | |
| 548 | return expectations_met; |
| 549 | } |
| 550 | |
Austin Schuh | 889ac43 | 2018-10-29 22:57:02 -0700 | [diff] [blame^] | 551 | CallReaction intToCallReaction(int mock_behavior) { |
| 552 | if (mock_behavior >= kAllow && mock_behavior <= kFail) { |
| 553 | return static_cast<internal::CallReaction>(mock_behavior); |
| 554 | } |
| 555 | return kWarn; |
| 556 | } |
| 557 | |
Austin Schuh | 0cbef62 | 2015-09-06 17:34:52 -0700 | [diff] [blame] | 558 | } // namespace internal |
| 559 | |
| 560 | // Class Mock. |
| 561 | |
| 562 | namespace { |
| 563 | |
| 564 | typedef std::set<internal::UntypedFunctionMockerBase*> FunctionMockers; |
| 565 | |
| 566 | // The current state of a mock object. Such information is needed for |
| 567 | // detecting leaked mock objects and explicitly verifying a mock's |
| 568 | // expectations. |
| 569 | struct MockObjectState { |
| 570 | MockObjectState() |
| 571 | : first_used_file(NULL), first_used_line(-1), leakable(false) {} |
| 572 | |
| 573 | // Where in the source file an ON_CALL or EXPECT_CALL is first |
| 574 | // invoked on this mock object. |
| 575 | const char* first_used_file; |
| 576 | int first_used_line; |
| 577 | ::std::string first_used_test_case; |
| 578 | ::std::string first_used_test; |
| 579 | bool leakable; // true iff it's OK to leak the object. |
| 580 | FunctionMockers function_mockers; // All registered methods of the object. |
| 581 | }; |
| 582 | |
| 583 | // A global registry holding the state of all mock objects that are |
| 584 | // alive. A mock object is added to this registry the first time |
| 585 | // Mock::AllowLeak(), ON_CALL(), or EXPECT_CALL() is called on it. It |
| 586 | // is removed from the registry in the mock object's destructor. |
| 587 | class MockObjectRegistry { |
| 588 | public: |
| 589 | // Maps a mock object (identified by its address) to its state. |
| 590 | typedef std::map<const void*, MockObjectState> StateMap; |
| 591 | |
| 592 | // This destructor will be called when a program exits, after all |
| 593 | // tests in it have been run. By then, there should be no mock |
| 594 | // object alive. Therefore we report any living object as test |
| 595 | // failure, unless the user explicitly asked us to ignore it. |
| 596 | ~MockObjectRegistry() { |
| 597 | // "using ::std::cout;" doesn't work with Symbian's STLport, where cout is |
| 598 | // a macro. |
| 599 | |
| 600 | if (!GMOCK_FLAG(catch_leaked_mocks)) |
| 601 | return; |
| 602 | |
| 603 | int leaked_count = 0; |
| 604 | for (StateMap::const_iterator it = states_.begin(); it != states_.end(); |
| 605 | ++it) { |
| 606 | if (it->second.leakable) // The user said it's fine to leak this object. |
| 607 | continue; |
| 608 | |
Austin Schuh | 889ac43 | 2018-10-29 22:57:02 -0700 | [diff] [blame^] | 609 | // FIXME: Print the type of the leaked object. |
Austin Schuh | 0cbef62 | 2015-09-06 17:34:52 -0700 | [diff] [blame] | 610 | // This can help the user identify the leaked object. |
| 611 | std::cout << "\n"; |
| 612 | const MockObjectState& state = it->second; |
| 613 | std::cout << internal::FormatFileLocation(state.first_used_file, |
| 614 | state.first_used_line); |
| 615 | std::cout << " ERROR: this mock object"; |
| 616 | if (state.first_used_test != "") { |
| 617 | std::cout << " (used in test " << state.first_used_test_case << "." |
| 618 | << state.first_used_test << ")"; |
| 619 | } |
| 620 | std::cout << " should be deleted but never is. Its address is @" |
| 621 | << it->first << "."; |
| 622 | leaked_count++; |
| 623 | } |
| 624 | if (leaked_count > 0) { |
Austin Schuh | 889ac43 | 2018-10-29 22:57:02 -0700 | [diff] [blame^] | 625 | std::cout << "\nERROR: " << leaked_count << " leaked mock " |
| 626 | << (leaked_count == 1 ? "object" : "objects") |
| 627 | << " found at program exit. Expectations on a mock object is " |
| 628 | "verified when the object is destructed. Leaking a mock " |
| 629 | "means that its expectations aren't verified, which is " |
| 630 | "usually a test bug. If you really intend to leak a mock, " |
| 631 | "you can suppress this error using " |
| 632 | "testing::Mock::AllowLeak(mock_object), or you may use a " |
| 633 | "fake or stub instead of a mock.\n"; |
Austin Schuh | 0cbef62 | 2015-09-06 17:34:52 -0700 | [diff] [blame] | 634 | std::cout.flush(); |
| 635 | ::std::cerr.flush(); |
| 636 | // RUN_ALL_TESTS() has already returned when this destructor is |
| 637 | // called. Therefore we cannot use the normal Google Test |
| 638 | // failure reporting mechanism. |
| 639 | _exit(1); // We cannot call exit() as it is not reentrant and |
| 640 | // may already have been called. |
| 641 | } |
| 642 | } |
| 643 | |
| 644 | StateMap& states() { return states_; } |
| 645 | |
| 646 | private: |
| 647 | StateMap states_; |
| 648 | }; |
| 649 | |
| 650 | // Protected by g_gmock_mutex. |
| 651 | MockObjectRegistry g_mock_object_registry; |
| 652 | |
| 653 | // Maps a mock object to the reaction Google Mock should have when an |
| 654 | // uninteresting method is called. Protected by g_gmock_mutex. |
| 655 | std::map<const void*, internal::CallReaction> g_uninteresting_call_reaction; |
| 656 | |
| 657 | // Sets the reaction Google Mock should have when an uninteresting |
| 658 | // method of the given mock object is called. |
| 659 | void SetReactionOnUninterestingCalls(const void* mock_obj, |
| 660 | internal::CallReaction reaction) |
| 661 | GTEST_LOCK_EXCLUDED_(internal::g_gmock_mutex) { |
| 662 | internal::MutexLock l(&internal::g_gmock_mutex); |
| 663 | g_uninteresting_call_reaction[mock_obj] = reaction; |
| 664 | } |
| 665 | |
| 666 | } // namespace |
| 667 | |
| 668 | // Tells Google Mock to allow uninteresting calls on the given mock |
| 669 | // object. |
| 670 | void Mock::AllowUninterestingCalls(const void* mock_obj) |
| 671 | GTEST_LOCK_EXCLUDED_(internal::g_gmock_mutex) { |
| 672 | SetReactionOnUninterestingCalls(mock_obj, internal::kAllow); |
| 673 | } |
| 674 | |
| 675 | // Tells Google Mock to warn the user about uninteresting calls on the |
| 676 | // given mock object. |
| 677 | void Mock::WarnUninterestingCalls(const void* mock_obj) |
| 678 | GTEST_LOCK_EXCLUDED_(internal::g_gmock_mutex) { |
| 679 | SetReactionOnUninterestingCalls(mock_obj, internal::kWarn); |
| 680 | } |
| 681 | |
| 682 | // Tells Google Mock to fail uninteresting calls on the given mock |
| 683 | // object. |
| 684 | void Mock::FailUninterestingCalls(const void* mock_obj) |
| 685 | GTEST_LOCK_EXCLUDED_(internal::g_gmock_mutex) { |
| 686 | SetReactionOnUninterestingCalls(mock_obj, internal::kFail); |
| 687 | } |
| 688 | |
| 689 | // Tells Google Mock the given mock object is being destroyed and its |
| 690 | // entry in the call-reaction table should be removed. |
| 691 | void Mock::UnregisterCallReaction(const void* mock_obj) |
| 692 | GTEST_LOCK_EXCLUDED_(internal::g_gmock_mutex) { |
| 693 | internal::MutexLock l(&internal::g_gmock_mutex); |
| 694 | g_uninteresting_call_reaction.erase(mock_obj); |
| 695 | } |
| 696 | |
| 697 | // Returns the reaction Google Mock will have on uninteresting calls |
| 698 | // made on the given mock object. |
| 699 | internal::CallReaction Mock::GetReactionOnUninterestingCalls( |
| 700 | const void* mock_obj) |
| 701 | GTEST_LOCK_EXCLUDED_(internal::g_gmock_mutex) { |
| 702 | internal::MutexLock l(&internal::g_gmock_mutex); |
| 703 | return (g_uninteresting_call_reaction.count(mock_obj) == 0) ? |
Austin Schuh | 889ac43 | 2018-10-29 22:57:02 -0700 | [diff] [blame^] | 704 | internal::intToCallReaction(GMOCK_FLAG(default_mock_behavior)) : |
| 705 | g_uninteresting_call_reaction[mock_obj]; |
Austin Schuh | 0cbef62 | 2015-09-06 17:34:52 -0700 | [diff] [blame] | 706 | } |
| 707 | |
| 708 | // Tells Google Mock to ignore mock_obj when checking for leaked mock |
| 709 | // objects. |
| 710 | void Mock::AllowLeak(const void* mock_obj) |
| 711 | GTEST_LOCK_EXCLUDED_(internal::g_gmock_mutex) { |
| 712 | internal::MutexLock l(&internal::g_gmock_mutex); |
| 713 | g_mock_object_registry.states()[mock_obj].leakable = true; |
| 714 | } |
| 715 | |
| 716 | // Verifies and clears all expectations on the given mock object. If |
| 717 | // the expectations aren't satisfied, generates one or more Google |
| 718 | // Test non-fatal failures and returns false. |
| 719 | bool Mock::VerifyAndClearExpectations(void* mock_obj) |
| 720 | GTEST_LOCK_EXCLUDED_(internal::g_gmock_mutex) { |
| 721 | internal::MutexLock l(&internal::g_gmock_mutex); |
| 722 | return VerifyAndClearExpectationsLocked(mock_obj); |
| 723 | } |
| 724 | |
| 725 | // Verifies all expectations on the given mock object and clears its |
| 726 | // default actions and expectations. Returns true iff the |
| 727 | // verification was successful. |
| 728 | bool Mock::VerifyAndClear(void* mock_obj) |
| 729 | GTEST_LOCK_EXCLUDED_(internal::g_gmock_mutex) { |
| 730 | internal::MutexLock l(&internal::g_gmock_mutex); |
| 731 | ClearDefaultActionsLocked(mock_obj); |
| 732 | return VerifyAndClearExpectationsLocked(mock_obj); |
| 733 | } |
| 734 | |
| 735 | // Verifies and clears all expectations on the given mock object. If |
| 736 | // the expectations aren't satisfied, generates one or more Google |
| 737 | // Test non-fatal failures and returns false. |
| 738 | bool Mock::VerifyAndClearExpectationsLocked(void* mock_obj) |
| 739 | GTEST_EXCLUSIVE_LOCK_REQUIRED_(internal::g_gmock_mutex) { |
| 740 | internal::g_gmock_mutex.AssertHeld(); |
| 741 | if (g_mock_object_registry.states().count(mock_obj) == 0) { |
| 742 | // No EXPECT_CALL() was set on the given mock object. |
| 743 | return true; |
| 744 | } |
| 745 | |
| 746 | // Verifies and clears the expectations on each mock method in the |
| 747 | // given mock object. |
| 748 | bool expectations_met = true; |
| 749 | FunctionMockers& mockers = |
| 750 | g_mock_object_registry.states()[mock_obj].function_mockers; |
| 751 | for (FunctionMockers::const_iterator it = mockers.begin(); |
| 752 | it != mockers.end(); ++it) { |
| 753 | if (!(*it)->VerifyAndClearExpectationsLocked()) { |
| 754 | expectations_met = false; |
| 755 | } |
| 756 | } |
| 757 | |
| 758 | // We don't clear the content of mockers, as they may still be |
| 759 | // needed by ClearDefaultActionsLocked(). |
| 760 | return expectations_met; |
| 761 | } |
| 762 | |
| 763 | // Registers a mock object and a mock method it owns. |
| 764 | void Mock::Register(const void* mock_obj, |
| 765 | internal::UntypedFunctionMockerBase* mocker) |
| 766 | GTEST_LOCK_EXCLUDED_(internal::g_gmock_mutex) { |
| 767 | internal::MutexLock l(&internal::g_gmock_mutex); |
| 768 | g_mock_object_registry.states()[mock_obj].function_mockers.insert(mocker); |
| 769 | } |
| 770 | |
| 771 | // Tells Google Mock where in the source code mock_obj is used in an |
| 772 | // ON_CALL or EXPECT_CALL. In case mock_obj is leaked, this |
| 773 | // information helps the user identify which object it is. |
| 774 | void Mock::RegisterUseByOnCallOrExpectCall(const void* mock_obj, |
| 775 | const char* file, int line) |
| 776 | GTEST_LOCK_EXCLUDED_(internal::g_gmock_mutex) { |
| 777 | internal::MutexLock l(&internal::g_gmock_mutex); |
| 778 | MockObjectState& state = g_mock_object_registry.states()[mock_obj]; |
| 779 | if (state.first_used_file == NULL) { |
| 780 | state.first_used_file = file; |
| 781 | state.first_used_line = line; |
| 782 | const TestInfo* const test_info = |
| 783 | UnitTest::GetInstance()->current_test_info(); |
| 784 | if (test_info != NULL) { |
Austin Schuh | 889ac43 | 2018-10-29 22:57:02 -0700 | [diff] [blame^] | 785 | // FIXME: record the test case name when the |
Austin Schuh | 0cbef62 | 2015-09-06 17:34:52 -0700 | [diff] [blame] | 786 | // ON_CALL or EXPECT_CALL is invoked from SetUpTestCase() or |
| 787 | // TearDownTestCase(). |
| 788 | state.first_used_test_case = test_info->test_case_name(); |
| 789 | state.first_used_test = test_info->name(); |
| 790 | } |
| 791 | } |
| 792 | } |
| 793 | |
| 794 | // Unregisters a mock method; removes the owning mock object from the |
| 795 | // registry when the last mock method associated with it has been |
| 796 | // unregistered. This is called only in the destructor of |
| 797 | // FunctionMockerBase. |
| 798 | void Mock::UnregisterLocked(internal::UntypedFunctionMockerBase* mocker) |
| 799 | GTEST_EXCLUSIVE_LOCK_REQUIRED_(internal::g_gmock_mutex) { |
| 800 | internal::g_gmock_mutex.AssertHeld(); |
| 801 | for (MockObjectRegistry::StateMap::iterator it = |
| 802 | g_mock_object_registry.states().begin(); |
| 803 | it != g_mock_object_registry.states().end(); ++it) { |
| 804 | FunctionMockers& mockers = it->second.function_mockers; |
| 805 | if (mockers.erase(mocker) > 0) { |
| 806 | // mocker was in mockers and has been just removed. |
| 807 | if (mockers.empty()) { |
| 808 | g_mock_object_registry.states().erase(it); |
| 809 | } |
| 810 | return; |
| 811 | } |
| 812 | } |
| 813 | } |
| 814 | |
| 815 | // Clears all ON_CALL()s set on the given mock object. |
| 816 | void Mock::ClearDefaultActionsLocked(void* mock_obj) |
| 817 | GTEST_EXCLUSIVE_LOCK_REQUIRED_(internal::g_gmock_mutex) { |
| 818 | internal::g_gmock_mutex.AssertHeld(); |
| 819 | |
| 820 | if (g_mock_object_registry.states().count(mock_obj) == 0) { |
| 821 | // No ON_CALL() was set on the given mock object. |
| 822 | return; |
| 823 | } |
| 824 | |
| 825 | // Clears the default actions for each mock method in the given mock |
| 826 | // object. |
| 827 | FunctionMockers& mockers = |
| 828 | g_mock_object_registry.states()[mock_obj].function_mockers; |
| 829 | for (FunctionMockers::const_iterator it = mockers.begin(); |
| 830 | it != mockers.end(); ++it) { |
| 831 | (*it)->ClearDefaultActionsLocked(); |
| 832 | } |
| 833 | |
| 834 | // We don't clear the content of mockers, as they may still be |
| 835 | // needed by VerifyAndClearExpectationsLocked(). |
| 836 | } |
| 837 | |
| 838 | Expectation::Expectation() {} |
| 839 | |
| 840 | Expectation::Expectation( |
| 841 | const internal::linked_ptr<internal::ExpectationBase>& an_expectation_base) |
| 842 | : expectation_base_(an_expectation_base) {} |
| 843 | |
| 844 | Expectation::~Expectation() {} |
| 845 | |
| 846 | // Adds an expectation to a sequence. |
| 847 | void Sequence::AddExpectation(const Expectation& expectation) const { |
| 848 | if (*last_expectation_ != expectation) { |
| 849 | if (last_expectation_->expectation_base() != NULL) { |
| 850 | expectation.expectation_base()->immediate_prerequisites_ |
| 851 | += *last_expectation_; |
| 852 | } |
| 853 | *last_expectation_ = expectation; |
| 854 | } |
| 855 | } |
| 856 | |
| 857 | // Creates the implicit sequence if there isn't one. |
| 858 | InSequence::InSequence() { |
| 859 | if (internal::g_gmock_implicit_sequence.get() == NULL) { |
| 860 | internal::g_gmock_implicit_sequence.set(new Sequence); |
| 861 | sequence_created_ = true; |
| 862 | } else { |
| 863 | sequence_created_ = false; |
| 864 | } |
| 865 | } |
| 866 | |
| 867 | // Deletes the implicit sequence if it was created by the constructor |
| 868 | // of this object. |
| 869 | InSequence::~InSequence() { |
| 870 | if (sequence_created_) { |
| 871 | delete internal::g_gmock_implicit_sequence.get(); |
| 872 | internal::g_gmock_implicit_sequence.set(NULL); |
| 873 | } |
| 874 | } |
| 875 | |
| 876 | } // namespace testing |
Austin Schuh | 889ac43 | 2018-10-29 22:57:02 -0700 | [diff] [blame^] | 877 | |
| 878 | #ifdef _MSC_VER |
| 879 | #if _MSC_VER <= 1900 |
| 880 | # pragma warning(pop) |
| 881 | #endif |
| 882 | #endif |