print_contract.hpp

#pragma once
 
#include <concepts>
#include <cstddef>
#include <cstdint>
#include <string_view>
#include <type_traits>
 
#include "../libxr_def.hpp"
#include "format_protocol.hpp"
 
namespace LibXR::Print
{
 
template <typename Sink>
concept OutputSink = requires(Sink& output, std::string_view text) {
  { output.Write(text) } -> std::convertible_to<ErrorCode>;
};
 
template <typename Frontend>
concept SourceFrontend = requires {
  typename Frontend::ErrorType;
  { Frontend::SourceData() } -> std::convertible_to<const char*>;
  { Frontend::SourceSize() } -> std::convertible_to<size_t>;
};
 
template <typename Frontend, typename Visitor>
concept WalkableFrontend = SourceFrontend<Frontend> && requires(Visitor& visitor) {
  { Frontend::Walk(visitor) } -> std::same_as<typename Frontend::ErrorType>;
};
 
template <typename Format>
concept CompiledFormat =
    requires {
      typename std::remove_cvref_t<decltype(Format::Codes())>::value_type;
      typename std::remove_cvref_t<decltype(Format::ArgumentList())>::value_type;
      { Format::Codes().data() } -> std::convertible_to<const uint8_t*>;
      { Format::Codes().size() } -> std::convertible_to<size_t>;
      { Format::ArgumentList().size() } -> std::convertible_to<size_t>;
      { Format::ArgumentOrder().size() } -> std::convertible_to<size_t>;
      { Format::Profile() } -> std::convertible_to<FormatProfile>;
    } &&
    std::same_as<typename std::remove_cvref_t<decltype(Format::Codes())>::value_type,
                 uint8_t> &&
    std::same_as<
        typename std::remove_cvref_t<decltype(Format::ArgumentList())>::value_type,
        FormatArgumentInfo>;
 
}  // namespace LibXR::Print