mirror of
https://github.com/catchorg/Catch2.git
synced 2024-11-04 21:29:54 +01:00
1ca8f43b01
Also adds `Predicate` helper function to create `PredicateMatcher`.
Because of limitations in type inference it needs to be explicitly
typed, like so
`Predicate<std::string>([](std::string const& str) { ... })`.
It also takes an optional second argument for description of the
predicate.
It is possible to infer the argument with sufficient TMP, see
https://stackoverflow.com/questions/43560492/how-to-extract-lambdas-return-type-and-variadic-parameters-pack-back-from-gener/43561563#43561563
but I don't think that the magic is worth introducing ATM.
Closes #1236
87 lines
3.6 KiB
C++
87 lines
3.6 KiB
C++
/*
|
|
* Created by Phil on 9/8/2017
|
|
* Copyright 2017 Two Blue Cubes Ltd. All rights reserved.
|
|
*
|
|
* Distributed under the Boost Software License, Version 1.0. (See accompanying
|
|
* file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
|
|
*/
|
|
#ifndef TWOBLUECUBES_CATCH_CAPTURE_MATCHERS_HPP_INCLUDED
|
|
#define TWOBLUECUBES_CATCH_CAPTURE_MATCHERS_HPP_INCLUDED
|
|
|
|
#include "catch_capture.hpp"
|
|
#include "catch_matchers.h"
|
|
#include "catch_matchers_floating.h"
|
|
#include "catch_matchers_generic.hpp"
|
|
#include "catch_matchers_string.h"
|
|
#include "catch_matchers_vector.h"
|
|
|
|
namespace Catch {
|
|
|
|
template<typename ArgT, typename MatcherT>
|
|
class MatchExpr : public ITransientExpression {
|
|
ArgT const& m_arg;
|
|
MatcherT m_matcher;
|
|
StringRef m_matcherString;
|
|
public:
|
|
MatchExpr( ArgT const& arg, MatcherT const& matcher, StringRef matcherString )
|
|
: ITransientExpression{ true, matcher.match( arg ) },
|
|
m_arg( arg ),
|
|
m_matcher( matcher ),
|
|
m_matcherString( matcherString )
|
|
{}
|
|
|
|
void streamReconstructedExpression( std::ostream &os ) const override {
|
|
auto matcherAsString = m_matcher.toString();
|
|
os << Catch::Detail::stringify( m_arg ) << ' ';
|
|
if( matcherAsString == Detail::unprintableString )
|
|
os << m_matcherString;
|
|
else
|
|
os << matcherAsString;
|
|
}
|
|
};
|
|
|
|
using StringMatcher = Matchers::Impl::MatcherBase<std::string>;
|
|
|
|
void handleExceptionMatchExpr( AssertionHandler& handler, StringMatcher const& matcher, StringRef matcherString );
|
|
|
|
template<typename ArgT, typename MatcherT>
|
|
auto makeMatchExpr( ArgT const& arg, MatcherT const& matcher, StringRef matcherString ) -> MatchExpr<ArgT, MatcherT> {
|
|
return MatchExpr<ArgT, MatcherT>( arg, matcher, matcherString );
|
|
}
|
|
|
|
} // namespace Catch
|
|
|
|
|
|
///////////////////////////////////////////////////////////////////////////////
|
|
#define INTERNAL_CHECK_THAT( macroName, matcher, resultDisposition, arg ) \
|
|
do { \
|
|
Catch::AssertionHandler catchAssertionHandler( macroName, CATCH_INTERNAL_LINEINFO, CATCH_INTERNAL_STRINGIFY(arg) ", " CATCH_INTERNAL_STRINGIFY(matcher), resultDisposition ); \
|
|
INTERNAL_CATCH_TRY { \
|
|
catchAssertionHandler.handleExpr( Catch::makeMatchExpr( arg, matcher, #matcher ) ); \
|
|
} INTERNAL_CATCH_CATCH( catchAssertionHandler ) \
|
|
INTERNAL_CATCH_REACT( catchAssertionHandler ) \
|
|
} while( false )
|
|
|
|
|
|
///////////////////////////////////////////////////////////////////////////////
|
|
#define INTERNAL_CATCH_THROWS_MATCHES( macroName, exceptionType, resultDisposition, matcher, ... ) \
|
|
do { \
|
|
Catch::AssertionHandler catchAssertionHandler( macroName, CATCH_INTERNAL_LINEINFO, CATCH_INTERNAL_STRINGIFY(__VA_ARGS__) ", " CATCH_INTERNAL_STRINGIFY(exceptionType) ", " CATCH_INTERNAL_STRINGIFY(matcher), resultDisposition ); \
|
|
if( catchAssertionHandler.allowThrows() ) \
|
|
try { \
|
|
static_cast<void>(__VA_ARGS__ ); \
|
|
catchAssertionHandler.handleUnexpectedExceptionNotThrown(); \
|
|
} \
|
|
catch( exceptionType const& ex ) { \
|
|
catchAssertionHandler.handleExpr( Catch::makeMatchExpr( ex, matcher, #matcher ) ); \
|
|
} \
|
|
catch( ... ) { \
|
|
catchAssertionHandler.handleUnexpectedInflightException(); \
|
|
} \
|
|
else \
|
|
catchAssertionHandler.handleThrowingCallSkipped(); \
|
|
INTERNAL_CATCH_REACT( catchAssertionHandler ) \
|
|
} while( false )
|
|
|
|
#endif // TWOBLUECUBES_CATCH_CAPTURE_MATCHERS_HPP_INCLUDED
|