device.hpp

#pragma once
#include "common.hpp"
#include <bugui/labels.hpp>
#include <bugui/io/button_presser.hpp>
 
#include <string_view>
#include <type_traits>
 
namespace bugui
{
template <typename Tp>
concept is_valid_id = integral_no_bool<Tp>
                      || std::same_as<Tp, char*>
                      || std::same_as<Tp, std::string_view>;
 
template <typename Tp>
concept is_valid_value = is_valid_id<Tp>
                         || std::floating_point<Tp>
                         || array_like<Tp>;
 
template <typename Tp>
concept has_grid = is_valid_id<std::remove_cvref_t
                               <decltype(Tp::grid::ids()[0][0])>>
                   && requires
{
  Tp::grid::ids().size() > 2;
  Tp::grid::ids()[0].size() > 2;
};
 
template <typename Tp>
concept has_buttons = std::is_aggregate_v<class Tp::buttons>;
 
template <typename Tp>
concept has_init = std::is_aggregate_v<class Tp::init>
                   && !is_void<decltype(Tp::init::message())>;
 
template <typename Tp>
concept init_component = has_init<typename Tp::init_t>;
 
template <typename Tp>
concept has_clear = std::is_aggregate_v<class Tp::clear>
                    && !is_void<decltype(Tp::clear::message())>;
 
template <typename Tp>
concept clear_component = has_clear<typename Tp::clear_t>;
 
#define has_button(L)                               \
template <typename Device>                          \
concept device_##L##_button =                       \
is_valid_id<decltype(Device::buttons::L##_id())>;   \
                                                    \
template <typename Controller>                      \
concept controller_##L##_button =                   \
requires(Controller c, button_presser p)            \
{ std::is_void_v<decltype(c.on_##L(p))>; };         \
                                                    \
template <typename Device, typename Controller>     \
concept L##_button =                                \
device_##L##_button<Device>                         \
&& controller_##L##_button<Controller>;
// FIXME : find more succint macro
#define CALL_MACRO(r, data, elem) has_button(elem)
FOR_EACH_LABEL(CALL_MACRO)
#undef CALL_MACRO
#undef has_button
 
} // namespace bugui