test_case.h

#pragma once
 
#include <string_view>
 
namespace hegel::impl::test_case {
    struct TestCaseData;
}
 
namespace hegel::generators {
    template <typename T> class Generator;
}
 
namespace hegel {

    class TestCase {
      public:
        TestCase(const TestCase&) = delete;
        TestCase& operator=(const TestCase&) = delete;
        TestCase(TestCase&&) = delete;
        TestCase& operator=(TestCase&&) = delete;

        template <typename T> T draw(const generators::Generator<T>& gen) const;

        void assume(bool condition) const;

        void note(std::string_view message) const;

        explicit TestCase(impl::test_case::TestCaseData* data) : data_(data) {}
 
        // Generators reach through this accessor to talk to the backend.
        // Not part of the user-facing API.
        impl::test_case::TestCaseData* data() const { return data_; }
 
      private:
        impl::test_case::TestCaseData* data_;
    };
 
} // namespace hegel