| // Copyright 2007, 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 defines some utilities useful for implementing Google |
| // Mock. They are subject to change without notice, so please DO NOT |
| // USE THEM IN USER CODE. |
| |
| // GOOGLETEST_CM0002 DO NOT DELETE |
| |
| #ifndef GMOCK_INCLUDE_GMOCK_INTERNAL_GMOCK_INTERNAL_UTILS_H_ |
| #define GMOCK_INCLUDE_GMOCK_INTERNAL_GMOCK_INTERNAL_UTILS_H_ |
| |
| #include <stdio.h> |
| #include <ostream> // NOLINT |
| #include <string> |
| #include <type_traits> |
| #include "gmock/internal/gmock-port.h" |
| #include "gtest/gtest.h" |
| |
| namespace testing { |
| |
| template <typename> |
| class Matcher; |
| |
| namespace internal { |
| |
| // Silence MSVC C4100 (unreferenced formal parameter) and |
| // C4805('==': unsafe mix of type 'const int' and type 'const bool') |
| #ifdef _MSC_VER |
| # pragma warning(push) |
| # pragma warning(disable:4100) |
| # pragma warning(disable:4805) |
| #endif |
| |
| // Joins a vector of strings as if they are fields of a tuple; returns |
| // the joined string. |
| GTEST_API_ std::string JoinAsTuple(const Strings& fields); |
| |
| // Converts an identifier name to a space-separated list of lower-case |
| // words. Each maximum substring of the form [A-Za-z][a-z]*|\d+ is |
| // treated as one word. For example, both "FooBar123" and |
| // "foo_bar_123" are converted to "foo bar 123". |
| GTEST_API_ std::string ConvertIdentifierNameToWords(const char* id_name); |
| |
| // PointeeOf<Pointer>::type is the type of a value pointed to by a |
| // Pointer, which can be either a smart pointer or a raw pointer. The |
| // following default implementation is for the case where Pointer is a |
| // smart pointer. |
| template <typename Pointer> |
| struct PointeeOf { |
| // Smart pointer classes define type element_type as the type of |
| // their pointees. |
| typedef typename Pointer::element_type type; |
| }; |
| // This specialization is for the raw pointer case. |
| template <typename T> |
| struct PointeeOf<T*> { typedef T type; }; // NOLINT |
| |
| // GetRawPointer(p) returns the raw pointer underlying p when p is a |
| // smart pointer, or returns p itself when p is already a raw pointer. |
| // The following default implementation is for the smart pointer case. |
| template <typename Pointer> |
| inline const typename Pointer::element_type* GetRawPointer(const Pointer& p) { |
| return p.get(); |
| } |
| // This overloaded version is for the raw pointer case. |
| template <typename Element> |
| inline Element* GetRawPointer(Element* p) { return p; } |
| |
| // MSVC treats wchar_t as a native type usually, but treats it as the |
| // same as unsigned short when the compiler option /Zc:wchar_t- is |
| // specified. It defines _NATIVE_WCHAR_T_DEFINED symbol when wchar_t |
| // is a native type. |
| #if defined(_MSC_VER) && !defined(_NATIVE_WCHAR_T_DEFINED) |
| // wchar_t is a typedef. |
| #else |
| # define GMOCK_WCHAR_T_IS_NATIVE_ 1 |
| #endif |
| |
| // In what follows, we use the term "kind" to indicate whether a type |
| // is bool, an integer type (excluding bool), a floating-point type, |
| // or none of them. This categorization is useful for determining |
| // when a matcher argument type can be safely converted to another |
| // type in the implementation of SafeMatcherCast. |
| enum TypeKind { |
| kBool, kInteger, kFloatingPoint, kOther |
| }; |
| |
| // KindOf<T>::value is the kind of type T. |
| template <typename T> struct KindOf { |
| enum { value = kOther }; // The default kind. |
| }; |
| |
| // This macro declares that the kind of 'type' is 'kind'. |
| #define GMOCK_DECLARE_KIND_(type, kind) \ |
| template <> struct KindOf<type> { enum { value = kind }; } |
| |
| GMOCK_DECLARE_KIND_(bool, kBool); |
| |
| // All standard integer types. |
| GMOCK_DECLARE_KIND_(char, kInteger); |
| GMOCK_DECLARE_KIND_(signed char, kInteger); |
| GMOCK_DECLARE_KIND_(unsigned char, kInteger); |
| GMOCK_DECLARE_KIND_(short, kInteger); // NOLINT |
| GMOCK_DECLARE_KIND_(unsigned short, kInteger); // NOLINT |
| GMOCK_DECLARE_KIND_(int, kInteger); |
| GMOCK_DECLARE_KIND_(unsigned int, kInteger); |
| GMOCK_DECLARE_KIND_(long, kInteger); // NOLINT |
| GMOCK_DECLARE_KIND_(unsigned long, kInteger); // NOLINT |
| |
| #if GMOCK_WCHAR_T_IS_NATIVE_ |
| GMOCK_DECLARE_KIND_(wchar_t, kInteger); |
| #endif |
| |
| // Non-standard integer types. |
| GMOCK_DECLARE_KIND_(Int64, kInteger); |
| GMOCK_DECLARE_KIND_(UInt64, kInteger); |
| |
| // All standard floating-point types. |
| GMOCK_DECLARE_KIND_(float, kFloatingPoint); |
| GMOCK_DECLARE_KIND_(double, kFloatingPoint); |
| GMOCK_DECLARE_KIND_(long double, kFloatingPoint); |
| |
| #undef GMOCK_DECLARE_KIND_ |
| |
| // Evaluates to the kind of 'type'. |
| #define GMOCK_KIND_OF_(type) \ |
| static_cast< ::testing::internal::TypeKind>( \ |
| ::testing::internal::KindOf<type>::value) |
| |
| // Evaluates to true if and only if integer type T is signed. |
| #define GMOCK_IS_SIGNED_(T) (static_cast<T>(-1) < 0) |
| |
| // LosslessArithmeticConvertibleImpl<kFromKind, From, kToKind, To>::value |
| // is true if and only if arithmetic type From can be losslessly converted to |
| // arithmetic type To. |
| // |
| // It's the user's responsibility to ensure that both From and To are |
| // raw (i.e. has no CV modifier, is not a pointer, and is not a |
| // reference) built-in arithmetic types, kFromKind is the kind of |
| // From, and kToKind is the kind of To; the value is |
| // implementation-defined when the above pre-condition is violated. |
| template <TypeKind kFromKind, typename From, TypeKind kToKind, typename To> |
| struct LosslessArithmeticConvertibleImpl : public std::false_type {}; |
| |
| // Converting bool to bool is lossless. |
| template <> |
| struct LosslessArithmeticConvertibleImpl<kBool, bool, kBool, bool> |
| : public std::true_type {}; |
| |
| // Converting bool to any integer type is lossless. |
| template <typename To> |
| struct LosslessArithmeticConvertibleImpl<kBool, bool, kInteger, To> |
| : public std::true_type {}; |
| |
| // Converting bool to any floating-point type is lossless. |
| template <typename To> |
| struct LosslessArithmeticConvertibleImpl<kBool, bool, kFloatingPoint, To> |
| : public std::true_type {}; |
| |
| // Converting an integer to bool is lossy. |
| template <typename From> |
| struct LosslessArithmeticConvertibleImpl<kInteger, From, kBool, bool> |
| : public std::false_type {}; |
| |
| // Converting an integer to another non-bool integer is lossless |
| // if and only if the target type's range encloses the source type's range. |
| template <typename From, typename To> |
| struct LosslessArithmeticConvertibleImpl<kInteger, From, kInteger, To> |
| : public bool_constant< |
| // When converting from a smaller size to a larger size, we are |
| // fine as long as we are not converting from signed to unsigned. |
| ((sizeof(From) < sizeof(To)) && |
| (!GMOCK_IS_SIGNED_(From) || GMOCK_IS_SIGNED_(To))) || |
| // When converting between the same size, the signedness must match. |
| ((sizeof(From) == sizeof(To)) && |
| (GMOCK_IS_SIGNED_(From) == GMOCK_IS_SIGNED_(To)))> {}; // NOLINT |
| |
| #undef GMOCK_IS_SIGNED_ |
| |
| // Converting an integer to a floating-point type may be lossy, since |
| // the format of a floating-point number is implementation-defined. |
| template <typename From, typename To> |
| struct LosslessArithmeticConvertibleImpl<kInteger, From, kFloatingPoint, To> |
| : public std::false_type {}; |
| |
| // Converting a floating-point to bool is lossy. |
| template <typename From> |
| struct LosslessArithmeticConvertibleImpl<kFloatingPoint, From, kBool, bool> |
| : public std::false_type {}; |
| |
| // Converting a floating-point to an integer is lossy. |
| template <typename From, typename To> |
| struct LosslessArithmeticConvertibleImpl<kFloatingPoint, From, kInteger, To> |
| : public std::false_type {}; |
| |
| // Converting a floating-point to another floating-point is lossless |
| // if and only if the target type is at least as big as the source type. |
| template <typename From, typename To> |
| struct LosslessArithmeticConvertibleImpl< |
| kFloatingPoint, From, kFloatingPoint, To> |
| : public bool_constant<sizeof(From) <= sizeof(To)> {}; // NOLINT |
| |
| // LosslessArithmeticConvertible<From, To>::value is true if and only if |
| // arithmetic type From can be losslessly converted to arithmetic type To. |
| // |
| // It's the user's responsibility to ensure that both From and To are |
| // raw (i.e. has no CV modifier, is not a pointer, and is not a |
| // reference) built-in arithmetic types; the value is |
| // implementation-defined when the above pre-condition is violated. |
| template <typename From, typename To> |
| struct LosslessArithmeticConvertible |
| : public LosslessArithmeticConvertibleImpl< |
| GMOCK_KIND_OF_(From), From, GMOCK_KIND_OF_(To), To> {}; // NOLINT |
| |
| // This interface knows how to report a Google Mock failure (either |
| // non-fatal or fatal). |
| class FailureReporterInterface { |
| public: |
| // The type of a failure (either non-fatal or fatal). |
| enum FailureType { |
| kNonfatal, kFatal |
| }; |
| |
| virtual ~FailureReporterInterface() {} |
| |
| // Reports a failure that occurred at the given source file location. |
| virtual void ReportFailure(FailureType type, const char* file, int line, |
| const std::string& message) = 0; |
| }; |
| |
| // Returns the failure reporter used by Google Mock. |
| GTEST_API_ FailureReporterInterface* GetFailureReporter(); |
| |
| // Asserts that condition is true; aborts the process with the given |
| // message if condition is false. We cannot use LOG(FATAL) or CHECK() |
| // as Google Mock might be used to mock the log sink itself. We |
| // inline this function to prevent it from showing up in the stack |
| // trace. |
| inline void Assert(bool condition, const char* file, int line, |
| const std::string& msg) { |
| if (!condition) { |
| GetFailureReporter()->ReportFailure(FailureReporterInterface::kFatal, |
| file, line, msg); |
| } |
| } |
| inline void Assert(bool condition, const char* file, int line) { |
| Assert(condition, file, line, "Assertion failed."); |
| } |
| |
| // Verifies that condition is true; generates a non-fatal failure if |
| // condition is false. |
| inline void Expect(bool condition, const char* file, int line, |
| const std::string& msg) { |
| if (!condition) { |
| GetFailureReporter()->ReportFailure(FailureReporterInterface::kNonfatal, |
| file, line, msg); |
| } |
| } |
| inline void Expect(bool condition, const char* file, int line) { |
| Expect(condition, file, line, "Expectation failed."); |
| } |
| |
| // Severity level of a log. |
| enum LogSeverity { |
| kInfo = 0, |
| kWarning = 1 |
| }; |
| |
| // Valid values for the --gmock_verbose flag. |
| |
| // All logs (informational and warnings) are printed. |
| const char kInfoVerbosity[] = "info"; |
| // Only warnings are printed. |
| const char kWarningVerbosity[] = "warning"; |
| // No logs are printed. |
| const char kErrorVerbosity[] = "error"; |
| |
| // Returns true if and only if a log with the given severity is visible |
| // according to the --gmock_verbose flag. |
| GTEST_API_ bool LogIsVisible(LogSeverity severity); |
| |
| // Prints the given message to stdout if and only if 'severity' >= the level |
| // specified by the --gmock_verbose flag. If stack_frames_to_skip >= |
| // 0, also prints the stack trace excluding the top |
| // stack_frames_to_skip frames. In opt mode, any positive |
| // stack_frames_to_skip is treated as 0, since we don't know which |
| // function calls will be inlined by the compiler and need to be |
| // conservative. |
| GTEST_API_ void Log(LogSeverity severity, const std::string& message, |
| int stack_frames_to_skip); |
| |
| // A marker class that is used to resolve parameterless expectations to the |
| // correct overload. This must not be instantiable, to prevent client code from |
| // accidentally resolving to the overload; for example: |
| // |
| // ON_CALL(mock, Method({}, nullptr))... |
| // |
| class WithoutMatchers { |
| private: |
| WithoutMatchers() {} |
| friend GTEST_API_ WithoutMatchers GetWithoutMatchers(); |
| }; |
| |
| // Internal use only: access the singleton instance of WithoutMatchers. |
| GTEST_API_ WithoutMatchers GetWithoutMatchers(); |
| |
| // Type traits. |
| |
| // Disable MSVC warnings for infinite recursion, since in this case the |
| // the recursion is unreachable. |
| #ifdef _MSC_VER |
| # pragma warning(push) |
| # pragma warning(disable:4717) |
| #endif |
| |
| // Invalid<T>() is usable as an expression of type T, but will terminate |
| // the program with an assertion failure if actually run. This is useful |
| // when a value of type T is needed for compilation, but the statement |
| // will not really be executed (or we don't care if the statement |
| // crashes). |
| template <typename T> |
| inline T Invalid() { |
| Assert(false, "", -1, "Internal error: attempt to return invalid value"); |
| // This statement is unreachable, and would never terminate even if it |
| // could be reached. It is provided only to placate compiler warnings |
| // about missing return statements. |
| return Invalid<T>(); |
| } |
| |
| #ifdef _MSC_VER |
| # pragma warning(pop) |
| #endif |
| |
| // Given a raw type (i.e. having no top-level reference or const |
| // modifier) RawContainer that's either an STL-style container or a |
| // native array, class StlContainerView<RawContainer> has the |
| // following members: |
| // |
| // - type is a type that provides an STL-style container view to |
| // (i.e. implements the STL container concept for) RawContainer; |
| // - const_reference is a type that provides a reference to a const |
| // RawContainer; |
| // - ConstReference(raw_container) returns a const reference to an STL-style |
| // container view to raw_container, which is a RawContainer. |
| // - Copy(raw_container) returns an STL-style container view of a |
| // copy of raw_container, which is a RawContainer. |
| // |
| // This generic version is used when RawContainer itself is already an |
| // STL-style container. |
| template <class RawContainer> |
| class StlContainerView { |
| public: |
| typedef RawContainer type; |
| typedef const type& const_reference; |
| |
| static const_reference ConstReference(const RawContainer& container) { |
| static_assert(!std::is_const<RawContainer>::value, |
| "RawContainer type must not be const"); |
| return container; |
| } |
| static type Copy(const RawContainer& container) { return container; } |
| }; |
| |
| // This specialization is used when RawContainer is a native array type. |
| template <typename Element, size_t N> |
| class StlContainerView<Element[N]> { |
| public: |
| typedef typename std::remove_const<Element>::type RawElement; |
| typedef internal::NativeArray<RawElement> type; |
| // NativeArray<T> can represent a native array either by value or by |
| // reference (selected by a constructor argument), so 'const type' |
| // can be used to reference a const native array. We cannot |
| // 'typedef const type& const_reference' here, as that would mean |
| // ConstReference() has to return a reference to a local variable. |
| typedef const type const_reference; |
| |
| static const_reference ConstReference(const Element (&array)[N]) { |
| static_assert(std::is_same<Element, RawElement>::value, |
| "Element type must not be const"); |
| return type(array, N, RelationToSourceReference()); |
| } |
| static type Copy(const Element (&array)[N]) { |
| return type(array, N, RelationToSourceCopy()); |
| } |
| }; |
| |
| // This specialization is used when RawContainer is a native array |
| // represented as a (pointer, size) tuple. |
| template <typename ElementPointer, typename Size> |
| class StlContainerView< ::std::tuple<ElementPointer, Size> > { |
| public: |
| typedef typename std::remove_const< |
| typename internal::PointeeOf<ElementPointer>::type>::type RawElement; |
| typedef internal::NativeArray<RawElement> type; |
| typedef const type const_reference; |
| |
| static const_reference ConstReference( |
| const ::std::tuple<ElementPointer, Size>& array) { |
| return type(std::get<0>(array), std::get<1>(array), |
| RelationToSourceReference()); |
| } |
| static type Copy(const ::std::tuple<ElementPointer, Size>& array) { |
| return type(std::get<0>(array), std::get<1>(array), RelationToSourceCopy()); |
| } |
| }; |
| |
| // The following specialization prevents the user from instantiating |
| // StlContainer with a reference type. |
| template <typename T> class StlContainerView<T&>; |
| |
| // A type transform to remove constness from the first part of a pair. |
| // Pairs like that are used as the value_type of associative containers, |
| // and this transform produces a similar but assignable pair. |
| template <typename T> |
| struct RemoveConstFromKey { |
| typedef T type; |
| }; |
| |
| // Partially specialized to remove constness from std::pair<const K, V>. |
| template <typename K, typename V> |
| struct RemoveConstFromKey<std::pair<const K, V> > { |
| typedef std::pair<K, V> type; |
| }; |
| |
| // Emit an assertion failure due to incorrect DoDefault() usage. Out-of-lined to |
| // reduce code size. |
| GTEST_API_ void IllegalDoDefault(const char* file, int line); |
| |
| template <typename F, typename Tuple, size_t... Idx> |
| auto ApplyImpl(F&& f, Tuple&& args, IndexSequence<Idx...>) -> decltype( |
| std::forward<F>(f)(std::get<Idx>(std::forward<Tuple>(args))...)) { |
| return std::forward<F>(f)(std::get<Idx>(std::forward<Tuple>(args))...); |
| } |
| |
| // Apply the function to a tuple of arguments. |
| template <typename F, typename Tuple> |
| auto Apply(F&& f, Tuple&& args) |
| -> decltype(ApplyImpl(std::forward<F>(f), std::forward<Tuple>(args), |
| MakeIndexSequence<std::tuple_size<Tuple>::value>())) { |
| return ApplyImpl(std::forward<F>(f), std::forward<Tuple>(args), |
| MakeIndexSequence<std::tuple_size<Tuple>::value>()); |
| } |
| |
| // Template struct Function<F>, where F must be a function type, contains |
| // the following typedefs: |
| // |
| // Result: the function's return type. |
| // Arg<N>: the type of the N-th argument, where N starts with 0. |
| // ArgumentTuple: the tuple type consisting of all parameters of F. |
| // ArgumentMatcherTuple: the tuple type consisting of Matchers for all |
| // parameters of F. |
| // MakeResultVoid: the function type obtained by substituting void |
| // for the return type of F. |
| // MakeResultIgnoredValue: |
| // the function type obtained by substituting Something |
| // for the return type of F. |
| template <typename T> |
| struct Function; |
| |
| template <typename R, typename... Args> |
| struct Function<R(Args...)> { |
| using Result = R; |
| static constexpr size_t ArgumentCount = sizeof...(Args); |
| template <size_t I> |
| using Arg = ElemFromList<I, typename MakeIndexSequence<sizeof...(Args)>::type, |
| Args...>; |
| using ArgumentTuple = std::tuple<Args...>; |
| using ArgumentMatcherTuple = std::tuple<Matcher<Args>...>; |
| using MakeResultVoid = void(Args...); |
| using MakeResultIgnoredValue = IgnoredValue(Args...); |
| }; |
| |
| template <typename R, typename... Args> |
| constexpr size_t Function<R(Args...)>::ArgumentCount; |
| |
| #ifdef _MSC_VER |
| # pragma warning(pop) |
| #endif |
| |
| } // namespace internal |
| } // namespace testing |
| |
| #endif // GMOCK_INCLUDE_GMOCK_INTERNAL_GMOCK_INTERNAL_UTILS_H_ |