sample.hpp

#ifndef HALCHECK_GEN_SAMPLE_HPP
#define HALCHECK_GEN_SAMPLE_HPP
 
#include <halcheck/gen/label.hpp>
#include <halcheck/lib/atom.hpp>
#include <halcheck/lib/effect.hpp>
#include <halcheck/lib/pp.hpp>
 
#include <cstdint>
#include <limits>
#include <stdexcept>
 
namespace halcheck { namespace gen {
 
struct sample_effect {
  std::uintmax_t max;
 
  std::uintmax_t fallback() const { throw std::runtime_error("sample not handled"); }
};
 
HALCHECK_INLINE_CONSTEXPR struct {
  std::uintmax_t operator()(lib::atom id, std::uintmax_t max = std::numeric_limits<std::uintmax_t>::max()) const {
    auto _ = gen::label(id);
    return lib::effect::invoke<gen::sample_effect>(max);
  }
} sample;
 
}} // namespace halcheck::gen
 
#endif