2018-06-12 18:50:39 +02:00
|
|
|
/*
|
|
|
|
* Created by Phil Nash on 15/6/2018.
|
|
|
|
*
|
|
|
|
* 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)
|
|
|
|
*/
|
|
|
|
|
|
|
|
#include "catch_generators.hpp"
|
|
|
|
#include "catch_random_number_generator.h"
|
|
|
|
#include "catch_interfaces_capture.h"
|
|
|
|
|
2018-08-23 12:49:05 +02:00
|
|
|
#include <limits>
|
2018-06-12 18:50:39 +02:00
|
|
|
#include <set>
|
|
|
|
|
|
|
|
namespace Catch {
|
|
|
|
|
|
|
|
IGeneratorTracker::~IGeneratorTracker() {}
|
|
|
|
|
2019-01-27 23:50:43 +01:00
|
|
|
const char* GeneratorException::what() const noexcept {
|
|
|
|
return m_msg;
|
|
|
|
}
|
|
|
|
|
2018-06-12 18:50:39 +02:00
|
|
|
namespace Generators {
|
|
|
|
|
2019-01-27 19:46:28 +01:00
|
|
|
GeneratorUntypedBase::~GeneratorUntypedBase() {}
|
2018-06-12 18:50:39 +02:00
|
|
|
|
2020-06-01 19:04:23 +02:00
|
|
|
auto acquireGeneratorTracker( StringRef generatorName, SourceLineInfo const& lineInfo ) -> IGeneratorTracker& {
|
|
|
|
return getResultCapture().acquireGeneratorTracker( generatorName, lineInfo );
|
2018-06-12 18:50:39 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
} // namespace Generators
|
|
|
|
} // namespace Catch
|