Lines Matching +full:pre +full:- +full:verified
30 // Google Mock - a framework for writing C++ mock classes.
35 #include "gmock/gmock-spec-builders.h"
50 #include "gtest/internal/gtest-port.h"
108 // Retires all pre-requisites of this expectation.
112 // We can take this short-cut as we never retire an expectation
113 // until we have retired all its pre-requisites.
123 exp->immediate_prerequisites_.begin();
124 it != exp->immediate_prerequisites_.end(); ++it) {
125 ExpectationBase* next = it->expectation_base().get();
126 if (!next->is_retired()) {
127 next->Retire();
134 // Returns true if and only if all pre-requisites of this expectation
145 exp->immediate_prerequisites_.begin();
146 it != exp->immediate_prerequisites_.end(); ++it) {
147 const ExpectationBase* next = it->expectation_base().get();
148 if (!next->IsSatisfied()) return false;
155 // Adds unsatisfied pre-requisites of this expectation to 'result'.
165 exp->immediate_prerequisites_.begin();
166 it != exp->immediate_prerequisites_.end(); ++it) {
167 const ExpectationBase* next = it->expectation_base().get();
169 if (next->IsSatisfied()) {
171 // pre-requisites may not be satisfied yet.
172 if (next->call_count_ == 0) {
177 // in whether its pre-requisites are satisfied. Therefore we
199 *os << " - "
200 << (IsOverSaturated() ? "over-saturated"
224 // The cardinality was inferred - no need to check the action
257 Log(kWarning, ss.str(), -1); // -1 means "don't print stack trace".
285 // Include a stack trace only if --gmock_verbose=info is specified.
287 GMOCK_FLAG_GET(verbose) == kInfoVerbosity ? 3 : -1;
301 "knowing-when-to-expect-useoncall for details.\n",
305 Expect(false, nullptr, -1, msg);
374 // Returns an Expectation object that references and co-owns exp,
381 if (it->get() == exp) {
393 // satisfied. Reports one or more Google Test non-fatal failures
401 ExpectationBase* const untyped_expectation = it->get();
402 if (untyped_expectation->IsOverSaturated()) {
403 // There was an upper-bound violation. Since the error was
407 } else if (!untyped_expectation->IsSatisfied()) {
412 untyped_expectation->GetDescription();
417 ss << "call count doesn't match " << untyped_expectation->source_text()
422 untyped_expectation->MaybeDescribeExtraMatcherTo(&ss);
423 untyped_expectation->DescribeCallCountTo(&ss);
424 Expect(false, untyped_expectation->file(), untyped_expectation->line(),
466 : first_used_file(nullptr), first_used_line(-1), leakable(false) {}
498 if (it->second.leakable) // The user said it's fine to leak this object.
504 const MockObjectState& state = it->second;
513 << it->first << ".";
520 "verified when the object is destructed. Leaking a mock "
521 "means that its expectations aren't verified, which is "
590 // entry in the call-reaction table should be removed.
620 // Test non-fatal failures and returns false.
639 // Test non-fatal failures and returns false.
655 if (!(*it)->VerifyAndClearExpectationsLocked()) {
698 UnitTest::GetInstance()->current_test_info();
700 state.first_used_test_suite = test_info->test_suite_name();
701 state.first_used_test = test_info->name();
716 FunctionMockers& mockers = it->second.function_mockers;
743 (*it)->ClearDefaultActionsLocked();
761 if (last_expectation_->expectation_base() != nullptr) {
762 expectation.expectation_base()->immediate_prerequisites_ +=