123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346 |
- $$ -*- mode: c++; -*-
- $$ This is a Pump source file. Please use Pump to convert
- $$ it to gmock-generated-matchers.h.
- $$
- $var n = 10 $$ The maximum arity we support.
- $$ }} This line fixes auto-indentation of the following code in Emacs.
- // Copyright 2008, Google Inc.
- // All rights reserved.
- //
- // Redistribution and use in source and binary forms, with or without
- // modification, are permitted provided that the following conditions are
- // met:
- //
- // * Redistributions of source code must retain the above copyright
- // notice, this list of conditions and the following disclaimer.
- // * Redistributions in binary form must reproduce the above
- // copyright notice, this list of conditions and the following disclaimer
- // in the documentation and/or other materials provided with the
- // distribution.
- // * Neither the name of Google Inc. nor the names of its
- // contributors may be used to endorse or promote products derived from
- // this software without specific prior written permission.
- //
- // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
- // "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
- // LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
- // A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
- // OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
- // SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
- // LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
- // DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
- // THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
- // (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
- // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
- // Google Mock - a framework for writing C++ mock classes.
- //
- // This file implements some commonly used variadic matchers.
- // GOOGLETEST_CM0002 DO NOT DELETE
- #ifndef GMOCK_INCLUDE_GMOCK_GMOCK_GENERATED_MATCHERS_H_
- #define GMOCK_INCLUDE_GMOCK_GMOCK_GENERATED_MATCHERS_H_
- #include <iterator>
- #include <sstream>
- #include <string>
- #include <utility>
- #include <vector>
- #include "gmock/gmock-matchers.h"
- // The MATCHER* family of macros can be used in a namespace scope to
- // define custom matchers easily.
- //
- // Basic Usage
- // ===========
- //
- // The syntax
- //
- // MATCHER(name, description_string) { statements; }
- //
- // defines a matcher with the given name that executes the statements,
- // which must return a bool to indicate if the match succeeds. Inside
- // the statements, you can refer to the value being matched by 'arg',
- // and refer to its type by 'arg_type'.
- //
- // The description string documents what the matcher does, and is used
- // to generate the failure message when the match fails. Since a
- // MATCHER() is usually defined in a header file shared by multiple
- // C++ source files, we require the description to be a C-string
- // literal to avoid possible side effects. It can be empty, in which
- // case we'll use the sequence of words in the matcher name as the
- // description.
- //
- // For example:
- //
- // MATCHER(IsEven, "") { return (arg % 2) == 0; }
- //
- // allows you to write
- //
- // // Expects mock_foo.Bar(n) to be called where n is even.
- // EXPECT_CALL(mock_foo, Bar(IsEven()));
- //
- // or,
- //
- // // Verifies that the value of some_expression is even.
- // EXPECT_THAT(some_expression, IsEven());
- //
- // If the above assertion fails, it will print something like:
- //
- // Value of: some_expression
- // Expected: is even
- // Actual: 7
- //
- // where the description "is even" is automatically calculated from the
- // matcher name IsEven.
- //
- // Argument Type
- // =============
- //
- // Note that the type of the value being matched (arg_type) is
- // determined by the context in which you use the matcher and is
- // supplied to you by the compiler, so you don't need to worry about
- // declaring it (nor can you). This allows the matcher to be
- // polymorphic. For example, IsEven() can be used to match any type
- // where the value of "(arg % 2) == 0" can be implicitly converted to
- // a bool. In the "Bar(IsEven())" example above, if method Bar()
- // takes an int, 'arg_type' will be int; if it takes an unsigned long,
- // 'arg_type' will be unsigned long; and so on.
- //
- // Parameterizing Matchers
- // =======================
- //
- // Sometimes you'll want to parameterize the matcher. For that you
- // can use another macro:
- //
- // MATCHER_P(name, param_name, description_string) { statements; }
- //
- // For example:
- //
- // MATCHER_P(HasAbsoluteValue, value, "") { return abs(arg) == value; }
- //
- // will allow you to write:
- //
- // EXPECT_THAT(Blah("a"), HasAbsoluteValue(n));
- //
- // which may lead to this message (assuming n is 10):
- //
- // Value of: Blah("a")
- // Expected: has absolute value 10
- // Actual: -9
- //
- // Note that both the matcher description and its parameter are
- // printed, making the message human-friendly.
- //
- // In the matcher definition body, you can write 'foo_type' to
- // reference the type of a parameter named 'foo'. For example, in the
- // body of MATCHER_P(HasAbsoluteValue, value) above, you can write
- // 'value_type' to refer to the type of 'value'.
- //
- // We also provide MATCHER_P2, MATCHER_P3, ..., up to MATCHER_P$n to
- // support multi-parameter matchers.
- //
- // Describing Parameterized Matchers
- // =================================
- //
- // The last argument to MATCHER*() is a string-typed expression. The
- // expression can reference all of the matcher's parameters and a
- // special bool-typed variable named 'negation'. When 'negation' is
- // false, the expression should evaluate to the matcher's description;
- // otherwise it should evaluate to the description of the negation of
- // the matcher. For example,
- //
- // using testing::PrintToString;
- //
- // MATCHER_P2(InClosedRange, low, hi,
- // std::string(negation ? "is not" : "is") + " in range [" +
- // PrintToString(low) + ", " + PrintToString(hi) + "]") {
- // return low <= arg && arg <= hi;
- // }
- // ...
- // EXPECT_THAT(3, InClosedRange(4, 6));
- // EXPECT_THAT(3, Not(InClosedRange(2, 4)));
- //
- // would generate two failures that contain the text:
- //
- // Expected: is in range [4, 6]
- // ...
- // Expected: is not in range [2, 4]
- //
- // If you specify "" as the description, the failure message will
- // contain the sequence of words in the matcher name followed by the
- // parameter values printed as a tuple. For example,
- //
- // MATCHER_P2(InClosedRange, low, hi, "") { ... }
- // ...
- // EXPECT_THAT(3, InClosedRange(4, 6));
- // EXPECT_THAT(3, Not(InClosedRange(2, 4)));
- //
- // would generate two failures that contain the text:
- //
- // Expected: in closed range (4, 6)
- // ...
- // Expected: not (in closed range (2, 4))
- //
- // Types of Matcher Parameters
- // ===========================
- //
- // For the purpose of typing, you can view
- //
- // MATCHER_Pk(Foo, p1, ..., pk, description_string) { ... }
- //
- // as shorthand for
- //
- // template <typename p1_type, ..., typename pk_type>
- // FooMatcherPk<p1_type, ..., pk_type>
- // Foo(p1_type p1, ..., pk_type pk) { ... }
- //
- // When you write Foo(v1, ..., vk), the compiler infers the types of
- // the parameters v1, ..., and vk for you. If you are not happy with
- // the result of the type inference, you can specify the types by
- // explicitly instantiating the template, as in Foo<long, bool>(5,
- // false). As said earlier, you don't get to (or need to) specify
- // 'arg_type' as that's determined by the context in which the matcher
- // is used. You can assign the result of expression Foo(p1, ..., pk)
- // to a variable of type FooMatcherPk<p1_type, ..., pk_type>. This
- // can be useful when composing matchers.
- //
- // While you can instantiate a matcher template with reference types,
- // passing the parameters by pointer usually makes your code more
- // readable. If, however, you still want to pass a parameter by
- // reference, be aware that in the failure message generated by the
- // matcher you will see the value of the referenced object but not its
- // address.
- //
- // Explaining Match Results
- // ========================
- //
- // Sometimes the matcher description alone isn't enough to explain why
- // the match has failed or succeeded. For example, when expecting a
- // long string, it can be very helpful to also print the diff between
- // the expected string and the actual one. To achieve that, you can
- // optionally stream additional information to a special variable
- // named result_listener, whose type is a pointer to class
- // MatchResultListener:
- //
- // MATCHER_P(EqualsLongString, str, "") {
- // if (arg == str) return true;
- //
- // *result_listener << "the difference: "
- /// << DiffStrings(str, arg);
- // return false;
- // }
- //
- // Overloading Matchers
- // ====================
- //
- // You can overload matchers with different numbers of parameters:
- //
- // MATCHER_P(Blah, a, description_string1) { ... }
- // MATCHER_P2(Blah, a, b, description_string2) { ... }
- //
- // Caveats
- // =======
- //
- // When defining a new matcher, you should also consider implementing
- // MatcherInterface or using MakePolymorphicMatcher(). These
- // approaches require more work than the MATCHER* macros, but also
- // give you more control on the types of the value being matched and
- // the matcher parameters, which may leads to better compiler error
- // messages when the matcher is used wrong. They also allow
- // overloading matchers based on parameter types (as opposed to just
- // based on the number of parameters).
- //
- // MATCHER*() can only be used in a namespace scope as templates cannot be
- // declared inside of a local class.
- //
- // More Information
- // ================
- //
- // To learn more about using these macros, please search for 'MATCHER'
- // on
- // https://github.com/google/googletest/blob/master/googlemock/docs/cook_book.md
- $range i 0..n
- $for i
- [[
- $var macro_name = [[$if i==0 [[MATCHER]] $elif i==1 [[MATCHER_P]]
- $else [[MATCHER_P$i]]]]
- $var class_name = [[name##Matcher[[$if i==0 [[]] $elif i==1 [[P]]
- $else [[P$i]]]]]]
- $range j 0..i-1
- $var template = [[$if i==0 [[]] $else [[
- template <$for j, [[typename p$j##_type]]>\
- ]]]]
- $var ctor_param_list = [[$for j, [[p$j##_type gmock_p$j]]]]
- $var impl_ctor_param_list = [[$for j, [[p$j##_type gmock_p$j]]]]
- $var impl_inits = [[$if i==0 [[]] $else [[ : $for j, [[p$j(::std::move(gmock_p$j))]]]]]]
- $var inits = [[$if i==0 [[]] $else [[ : $for j, [[p$j(::std::move(gmock_p$j))]]]]]]
- $var params = [[$for j, [[p$j]]]]
- $var param_types = [[$if i==0 [[]] $else [[<$for j, [[p$j##_type]]>]]]]
- $var param_types_and_names = [[$for j, [[p$j##_type p$j]]]]
- $var param_field_decls = [[$for j
- [[
- p$j##_type const p$j;\
- ]]]]
- $var param_field_decls2 = [[$for j
- [[
- p$j##_type const p$j;\
- ]]]]
- #define $macro_name(name$for j [[, p$j]], description)\$template
- class $class_name {\
- public:\
- template <typename arg_type>\
- class gmock_Impl : public ::testing::MatcherInterface<\
- GTEST_REFERENCE_TO_CONST_(arg_type)> {\
- public:\
- [[$if i==1 [[explicit ]]]]gmock_Impl($impl_ctor_param_list)\
- $impl_inits {}\
- virtual bool MatchAndExplain(\
- GTEST_REFERENCE_TO_CONST_(arg_type) arg,\
- ::testing::MatchResultListener* result_listener) const;\
- virtual void DescribeTo(::std::ostream* gmock_os) const {\
- *gmock_os << FormatDescription(false);\
- }\
- virtual void DescribeNegationTo(::std::ostream* gmock_os) const {\
- *gmock_os << FormatDescription(true);\
- }\$param_field_decls
- private:\
- ::std::string FormatDescription(bool negation) const {\
- ::std::string gmock_description = (description);\
- if (!gmock_description.empty()) {\
- return gmock_description;\
- }\
- return ::testing::internal::FormatMatcherDescription(\
- negation, #name, \
- ::testing::internal::UniversalTersePrintTupleFieldsToStrings(\
- ::std::tuple<$for j, [[p$j##_type]]>($for j, [[p$j]])));\
- }\
- };\
- template <typename arg_type>\
- operator ::testing::Matcher<arg_type>() const {\
- return ::testing::Matcher<arg_type>(\
- new gmock_Impl<arg_type>($params));\
- }\
- [[$if i==1 [[explicit ]]]]$class_name($ctor_param_list)$inits {\
- }\$param_field_decls2
- private:\
- };\$template
- inline $class_name$param_types name($param_types_and_names) {\
- return $class_name$param_types($params);\
- }\$template
- template <typename arg_type>\
- bool $class_name$param_types::gmock_Impl<arg_type>::MatchAndExplain(\
- GTEST_REFERENCE_TO_CONST_(arg_type) arg,\
- ::testing::MatchResultListener* result_listener GTEST_ATTRIBUTE_UNUSED_)\
- const
- ]]
- #endif // GMOCK_INCLUDE_GMOCK_GMOCK_GENERATED_MATCHERS_H_
|