123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678 |
- $$ -*- 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.
- #ifndef GMOCK_INCLUDE_GMOCK_GMOCK_GENERATED_MATCHERS_H_
- #define GMOCK_INCLUDE_GMOCK_GMOCK_GENERATED_MATCHERS_H_
- #include <iterator>
- #include <sstream>
- #include <string>
- #include <vector>
- #include "gmock/gmock-matchers.h"
- namespace testing {
- namespace internal {
- $range i 0..n-1
- #define GMOCK_FIELD_TYPE_(Tuple, i) \
- typename ::testing::tuple_element<i, Tuple>::type
- template <class Tuple$for i [[, int k$i = -1]]>
- class TupleFields;
- template <class Tuple$for i [[, int k$i]]>
- class TupleFields {
- public:
- typedef ::testing::tuple<$for i, [[GMOCK_FIELD_TYPE_(Tuple, k$i)]]> type;
- static type GetSelectedFields(const Tuple& t) {
- return type($for i, [[get<k$i>(t)]]);
- }
- };
- $for i [[
- $$ }}}
- $range j 0..i-1
- $range k 0..n-1
- template <class Tuple$for j [[, int k$j]]>
- class TupleFields<Tuple, $for k, [[$if k < i [[k$k]] $else [[-1]]]]> {
- public:
- typedef ::testing::tuple<$for j, [[GMOCK_FIELD_TYPE_(Tuple, k$j)]]> type;
- static type GetSelectedFields(const Tuple& $if i==0 [[]] $else [[t]]) {
- return type($for j, [[get<k$j>(t)]]);
- }
- };
- ]]
- #undef GMOCK_FIELD_TYPE_
- $var ks = [[$for i, [[k$i]]]]
- template <class ArgsTuple$for i [[, int k$i = -1]]>
- class ArgsMatcherImpl : public MatcherInterface<ArgsTuple> {
- public:
-
- typedef GTEST_REMOVE_REFERENCE_AND_CONST_(ArgsTuple) RawArgsTuple;
- typedef typename internal::TupleFields<RawArgsTuple, $ks>::type SelectedArgs;
- typedef Matcher<const SelectedArgs&> MonomorphicInnerMatcher;
- template <typename InnerMatcher>
- explicit ArgsMatcherImpl(const InnerMatcher& inner_matcher)
- : inner_matcher_(SafeMatcherCast<const SelectedArgs&>(inner_matcher)) {}
- virtual bool MatchAndExplain(ArgsTuple args,
- MatchResultListener* listener) const {
- const SelectedArgs& selected_args = GetSelectedArgs(args);
- if (!listener->IsInterested())
- return inner_matcher_.Matches(selected_args);
- PrintIndices(listener->stream());
- StringMatchResultListener inner_listener;
- const bool match = inner_matcher_.MatchAndExplain(selected_args,
- &inner_listener);
- PrintIfNotEmpty(inner_listener.str(), listener->stream());
- return match;
- }
- virtual void DescribeTo(::std::ostream* os) const {
- PrintIndices(os);
- inner_matcher_.DescribeTo(os);
- }
- virtual void DescribeNegationTo(::std::ostream* os) const {
- PrintIndices(os);
- inner_matcher_.DescribeNegationTo(os);
- }
- private:
- static SelectedArgs GetSelectedArgs(ArgsTuple args) {
- return TupleFields<RawArgsTuple, $ks>::GetSelectedFields(args);
- }
-
- static void PrintIndices(::std::ostream* os) {
- const int indices[$n] = { $ks };
- for (int i = 0; i < $n; i++) {
- if (indices[i] < 0)
- break;
- if (i >= 1)
- }
- }
- const MonomorphicInnerMatcher inner_matcher_;
- GTEST_DISALLOW_ASSIGN_(ArgsMatcherImpl);
- };
- template <class InnerMatcher$for i [[, int k$i = -1]]>
- class ArgsMatcher {
- public:
- explicit ArgsMatcher(const InnerMatcher& inner_matcher)
- : inner_matcher_(inner_matcher) {}
- template <typename ArgsTuple>
- operator Matcher<ArgsTuple>() const {
- return MakeMatcher(new ArgsMatcherImpl<ArgsTuple, $ks>(inner_matcher_));
- }
- private:
- const InnerMatcher inner_matcher_;
- GTEST_DISALLOW_ASSIGN_(ArgsMatcher);
- };
- template <typename M1>
- struct AllOfResult1 {
- typedef M1 type;
- };
- $range i 1..n
- $range i 2..n
- $for i [[
- $range j 2..i
- $var m = i/2
- $range k 1..m
- $range t m+1..i
- template <typename M1$for j [[, typename M$j]]>
- struct AllOfResult$i {
- typedef BothOfMatcher<
- typename AllOfResult$m<$for k, [[M$k]]>::type,
- typename AllOfResult$(i-m)<$for t, [[M$t]]>::type
- > type;
- };
- ]]
- template <typename M1>
- struct AnyOfResult1 {
- typedef M1 type;
- };
- $range i 1..n
- $range i 2..n
- $for i [[
- $range j 2..i
- $var m = i/2
- $range k 1..m
- $range t m+1..i
- template <typename M1$for j [[, typename M$j]]>
- struct AnyOfResult$i {
- typedef EitherOfMatcher<
- typename AnyOfResult$m<$for k, [[M$k]]>::type,
- typename AnyOfResult$(i-m)<$for t, [[M$t]]>::type
- > type;
- };
- ]]
- }
- $range i 0..n
- $for i [[
- $range j 1..i
- template <$for j [[int k$j, ]]typename InnerMatcher>
- inline internal::ArgsMatcher<InnerMatcher$for j [[, k$j]]>
- Args(const InnerMatcher& matcher) {
- return internal::ArgsMatcher<InnerMatcher$for j [[, k$j]]>(matcher);
- }
- ]]
- $range i 0..n
- $for i [[
- $range j 1..i
- $if i>0 [[
- template <$for j, [[typename T$j]]>
- ]]
- inline internal::ElementsAreMatcher<
- ::testing::tuple<
- $for j, [[
- typename internal::DecayArray<T$j[[]]>::type]]> >
- ElementsAre($for j, [[const T$j& e$j]]) {
- typedef ::testing::tuple<
- $for j, [[
- typename internal::DecayArray<T$j[[]]>::type]]> Args;
- return internal::ElementsAreMatcher<Args>(Args($for j, [[e$j]]));
- }
- ]]
- $range i 0..n
- $for i [[
- $range j 1..i
- $if i>0 [[
- template <$for j, [[typename T$j]]>
- ]]
- inline internal::UnorderedElementsAreMatcher<
- ::testing::tuple<
- $for j, [[
- typename internal::DecayArray<T$j[[]]>::type]]> >
- UnorderedElementsAre($for j, [[const T$j& e$j]]) {
- typedef ::testing::tuple<
- $for j, [[
- typename internal::DecayArray<T$j[[]]>::type]]> Args;
- return internal::UnorderedElementsAreMatcher<Args>(Args($for j, [[e$j]]));
- }
- ]]
- $range i 2..n
- $for i [[
- $range j 1..i
- $var m = i/2
- $range k 1..m
- $range t m+1..i
- template <$for j, [[typename M$j]]>
- inline typename internal::AllOfResult$i<$for j, [[M$j]]>::type
- AllOf($for j, [[M$j m$j]]) {
- return typename internal::AllOfResult$i<$for j, [[M$j]]>::type(
- $if m == 1 [[m1]] $else [[::testing::AllOf($for k, [[m$k]])]],
- $if m+1 == i [[m$i]] $else [[::testing::AllOf($for t, [[m$t]])]]);
- }
- ]]
- $range i 2..n
- $for i [[
- $range j 1..i
- $var m = i/2
- $range k 1..m
- $range t m+1..i
- template <$for j, [[typename M$j]]>
- inline typename internal::AnyOfResult$i<$for j, [[M$j]]>::type
- AnyOf($for j, [[M$j m$j]]) {
- return typename internal::AnyOfResult$i<$for j, [[M$j]]>::type(
- $if m == 1 [[m1]] $else [[::testing::AnyOf($for k, [[m$k]])]],
- $if m+1 == i [[m$i]] $else [[::testing::AnyOf($for t, [[m$t]])]]);
- }
- ]]
- }
- $$ }
- $$
- $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(::testing::internal::move(gmock_p$j))]]]]]]
- $var inits = [[$if i==0 [[]] $else [[ : $for j, [[p$j(::testing::internal::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 {\
- }\
- virtual void DescribeNegationTo(::std::ostream* gmock_os) const {\
- }\$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(\
- ::testing::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
|