machine_conf.hpp

//Copyright Florian Goujeon 2021 - 2026.
//Distributed under the Boost Software License, Version 1.0.
//(See accompanying file LICENSE or copy at
//https://www.boost.org/LICENSE_1_0.txt)
//Official repository: https://github.com/fgoujeon/maki

 
#ifndef MAKI_MACHINE_CONF_HPP
#define MAKI_MACHINE_CONF_HPP
 
#include "event_set.hpp"
#include "context.hpp"
#include "action.hpp"
#include "detail/machine_conf_impl.hpp"
#include "detail/type_set.hpp"
#include "detail/type.hpp"
#include "detail/event_action.hpp"
#include "detail/signature_macros.hpp"
#include "detail/friendly_impl.hpp"
#include "detail/tuple.hpp"
#include <type_traits>
#include <cstdlib>
 
namespace maki
{
 
#ifdef MAKI_DETAIL_DOXYGEN
#define MAKI_DETAIL_MACHINE_CONF_RETURN_TYPE machine_conf<IMPLEMENTATION_DETAIL>
#else
#define MAKI_DETAIL_MACHINE_CONF_RETURN_TYPE auto
#endif

template<class Impl>
class machine_conf
{
public:
    using context_type = typename Impl::context_type;
 
    constexpr machine_conf() = default;
 
    machine_conf(const machine_conf&) = delete;
 
    machine_conf(machine_conf&&) = delete;
 
    ~machine_conf() = default;
 
    machine_conf& operator=(const machine_conf&) = delete;
 
    machine_conf& operator=(machine_conf&&) = delete;
 
#define MAKI_DETAIL_MAKE_MACHINE_CONF_COPY_BEGIN /*NOLINT(cppcoreguidelines-macro-usage)*/ \
    [[maybe_unused]] const auto MAKI_DETAIL_ARG_auto_start = impl_.auto_start; \
    [[maybe_unused]] const auto MAKI_DETAIL_ARG_context_type = detail::type<typename Impl::context_type>; \
    [[maybe_unused]] const auto MAKI_DETAIL_ARG_context_sig = impl_.context_sig; \
    [[maybe_unused]] const auto MAKI_DETAIL_ARG_pre_processing_hooks = impl_.pre_processing_hooks; \
    [[maybe_unused]] const auto MAKI_DETAIL_ARG_post_external_transition_hook = impl_.post_external_transition_hook; \
    [[maybe_unused]] const auto MAKI_DETAIL_ARG_pre_external_transition_hook = impl_.pre_external_transition_hook; \
    [[maybe_unused]] const auto MAKI_DETAIL_ARG_exception_handler = impl_.exception_handler; \
    [[maybe_unused]] const auto MAKI_DETAIL_ARG_post_processing_hooks = impl_.post_processing_hooks; \
    [[maybe_unused]] const auto MAKI_DETAIL_ARG_process_event_now_enabled = impl_.process_event_now_enabled; \
    [[maybe_unused]] const auto MAKI_DETAIL_ARG_run_to_completion = impl_.run_to_completion; \
    [[maybe_unused]] const auto MAKI_DETAIL_ARG_small_event_max_align = impl_.small_event_max_align; \
    [[maybe_unused]] const auto MAKI_DETAIL_ARG_small_event_max_size = impl_.small_event_max_size; \
    [[maybe_unused]] const auto MAKI_DETAIL_ARG_transition_tables = impl_.transition_tables;
 
#define MAKI_DETAIL_MAKE_MACHINE_CONF_COPY_END /*NOLINT(cppcoreguidelines-macro-usage)*/ \
    return machine_conf \
    < \
        detail::machine_conf_impl \
        < \
            typename std::decay_t<decltype(MAKI_DETAIL_ARG_context_type)>::type, \
            std::decay_t<decltype(MAKI_DETAIL_ARG_pre_processing_hooks)>, \
            std::decay_t<decltype(MAKI_DETAIL_ARG_exception_handler)>, \
            std::decay_t<decltype(MAKI_DETAIL_ARG_pre_external_transition_hook)>, \
            std::decay_t<decltype(MAKI_DETAIL_ARG_post_external_transition_hook)>, \
            std::decay_t<decltype(MAKI_DETAIL_ARG_post_processing_hooks)>, \
            std::decay_t<decltype(MAKI_DETAIL_ARG_transition_tables)> \
        > \
    > \
    { \
        MAKI_DETAIL_ARG_auto_start, \
        MAKI_DETAIL_ARG_context_sig, \
        MAKI_DETAIL_ARG_pre_processing_hooks, \
        MAKI_DETAIL_ARG_post_external_transition_hook, \
        MAKI_DETAIL_ARG_pre_external_transition_hook, \
        MAKI_DETAIL_ARG_exception_handler, \
        MAKI_DETAIL_ARG_post_processing_hooks, \
        MAKI_DETAIL_ARG_process_event_now_enabled, \
        MAKI_DETAIL_ARG_run_to_completion, \
        MAKI_DETAIL_ARG_small_event_max_align, \
        MAKI_DETAIL_ARG_small_event_max_size, \
        MAKI_DETAIL_ARG_transition_tables \
    };
 
#define MAKI_DETAIL_X(signature) /*NOLINT(cppcoreguidelines-macro-usage)*/ \
 \
    template<class Context> \
    [[nodiscard]] constexpr MAKI_DETAIL_MACHINE_CONF_RETURN_TYPE context_##signature() const \
    { \
        return context<Context, machine_context_signature::signature>(); \
    }
    MAKI_DETAIL_MACHINE_CONTEXT_CONSTRUCTOR_SIGNATURES
#undef MAKI_DETAIL_X
 
#define MAKI_DETAIL_X(signature) /*NOLINT(cppcoreguidelines-macro-usage)*/ \
 \
    template<class EventSetImpl, class Action> \
    [[nodiscard]] constexpr MAKI_DETAIL_MACHINE_CONF_RETURN_TYPE pre_processing_hook_##signature(const event_set<EventSetImpl>& /*event_types*/, const Action& action) const \
    { \
        return pre_processing_hook<EventSetImpl, action_signature::signature>(action); \
    } \
 \
 \
    template<class Event, class Action> \
    [[nodiscard]] constexpr MAKI_DETAIL_MACHINE_CONF_RETURN_TYPE pre_processing_hook_##signature(const Action& action) const \
    { \
        return pre_processing_hook<detail::type_set_item<Event>, action_signature::signature>(action); \
    }
    MAKI_DETAIL_ACTION_SIGNATURES
#undef MAKI_DETAIL_X

 
    Hook must have the following form:
 
    @snippet misc/external-transition-hook/src/main.cpp signature
 
    This hook can be useful for logging external transitions, for example:
 
    @snippet misc/external-transition-hook/src/main.cpp post
    */
    template<class Hook>
    [[nodiscard]] constexpr MAKI_DETAIL_MACHINE_CONF_RETURN_TYPE post_external_transition_hook_crste(const Hook& hook) const
    {
        MAKI_DETAIL_MAKE_MACHINE_CONF_COPY_BEGIN
#define MAKI_DETAIL_ARG_post_external_transition_hook hook
        MAKI_DETAIL_MAKE_MACHINE_CONF_COPY_END
#undef MAKI_DETAIL_ARG_post_external_transition_hook
    }


    [[nodiscard]] constexpr MAKI_DETAIL_MACHINE_CONF_RETURN_TYPE auto_start(const bool value) const
    {
        MAKI_DETAIL_MAKE_MACHINE_CONF_COPY_BEGIN
#define MAKI_DETAIL_ARG_auto_start value
        MAKI_DETAIL_MAKE_MACHINE_CONF_COPY_END
#undef MAKI_DETAIL_ARG_auto_start
    }

 
    Hook must have the following form:
 
    @snippet misc/external-transition-hook/src/main.cpp signature
 
    This hook can be useful for logging external transitions, for example:
 
    @snippet misc/external-transition-hook/src/main.cpp pre
    */
    template<class Hook>
    [[nodiscard]] constexpr MAKI_DETAIL_MACHINE_CONF_RETURN_TYPE pre_external_transition_hook_crste(const Hook& hook) const
    {
        MAKI_DETAIL_MAKE_MACHINE_CONF_COPY_BEGIN
#define MAKI_DETAIL_ARG_pre_external_transition_hook hook
        MAKI_DETAIL_MAKE_MACHINE_CONF_COPY_END
#undef MAKI_DETAIL_ARG_pre_external_transition_hook
    }


    [[nodiscard]] constexpr MAKI_DETAIL_MACHINE_CONF_RETURN_TYPE run_to_completion(const bool value) const
    {
        MAKI_DETAIL_MAKE_MACHINE_CONF_COPY_BEGIN
#define MAKI_DETAIL_ARG_run_to_completion value
        MAKI_DETAIL_MAKE_MACHINE_CONF_COPY_END
#undef MAKI_DETAIL_ARG_run_to_completion
    }


    [[nodiscard]] constexpr MAKI_DETAIL_MACHINE_CONF_RETURN_TYPE process_event_now_enabled(const bool value) const
    {
        MAKI_DETAIL_MAKE_MACHINE_CONF_COPY_BEGIN
#define MAKI_DETAIL_ARG_process_event_now_enabled value
        MAKI_DETAIL_MAKE_MACHINE_CONF_COPY_END
#undef MAKI_DETAIL_ARG_process_event_now_enabled
    }

    @code
    .catch_mx([](auto& mach, const std::exception_ptr& eptr)
    {
        //...
    })
    @endcode
 
    If this action isn't set, `maki::machine` doesn't catch any exception.
    */
    template<class Callable>
    [[nodiscard]] constexpr MAKI_DETAIL_MACHINE_CONF_RETURN_TYPE catch_mx(const Callable& callable) const
    {
        MAKI_DETAIL_MAKE_MACHINE_CONF_COPY_BEGIN
#define MAKI_DETAIL_ARG_exception_handler callable
        MAKI_DETAIL_MAKE_MACHINE_CONF_COPY_END
#undef MAKI_DETAIL_ARG_exception_handler
    }

            //...
        })
        .post_processing_hook_mep<some_other_event_type>([](auto& mach, const some_other_event_type& event, const bool processed)
        {
            //...
        })
    ;
    @endcode
    */
    template<class EventSetImpl, class Action>
    [[nodiscard]] constexpr MAKI_DETAIL_MACHINE_CONF_RETURN_TYPE post_processing_hook_mep(const event_set<EventSetImpl>& /*event_types*/, const Action& action) const
    {
        const auto new_post_processing_hooks = append
        (
            impl_.post_processing_hooks,
            detail::make_event_action<action_signature::me, EventSetImpl>(action)
        );
 
        MAKI_DETAIL_MAKE_MACHINE_CONF_COPY_BEGIN
#define MAKI_DETAIL_ARG_post_processing_hooks new_post_processing_hooks
        MAKI_DETAIL_MAKE_MACHINE_CONF_COPY_END
#undef MAKI_DETAIL_ARG_post_processing_hooks
    }

            //...
        })
        .post_processing_hook_mep<some_other_event_type>([](auto& mach, const some_other_event_type& event, const bool processed)
        {
            //...
        })
    ;
    @endcode
    */
    template<class Event, class Action>
    [[nodiscard]] constexpr MAKI_DETAIL_MACHINE_CONF_RETURN_TYPE post_processing_hook_mep(const Action& action) const
    {
        return post_processing_hook_mep(event_set{event<Event>}, action);
    }


    [[nodiscard]] constexpr MAKI_DETAIL_MACHINE_CONF_RETURN_TYPE small_event_max_align(const std::size_t value) const
    {
        MAKI_DETAIL_MAKE_MACHINE_CONF_COPY_BEGIN
#define MAKI_DETAIL_ARG_small_event_max_align value
        MAKI_DETAIL_MAKE_MACHINE_CONF_COPY_END
#undef MAKI_DETAIL_ARG_small_event_max_align
    }


    [[nodiscard]] constexpr MAKI_DETAIL_MACHINE_CONF_RETURN_TYPE small_event_max_size(const std::size_t value) const
    {
        MAKI_DETAIL_MAKE_MACHINE_CONF_COPY_BEGIN
#define MAKI_DETAIL_ARG_small_event_max_size value
        MAKI_DETAIL_MAKE_MACHINE_CONF_COPY_END
#undef MAKI_DETAIL_ARG_small_event_max_size
    }


    [[nodiscard]] constexpr MAKI_DETAIL_MACHINE_CONF_RETURN_TYPE thread_safe(const bool /*enabled*/) const
    {
        return *this;
    }


    template<class... TransitionTables>
    [[nodiscard]] constexpr MAKI_DETAIL_MACHINE_CONF_RETURN_TYPE transition_tables(const TransitionTables&... tables) const
    {
        const auto tpl = detail::tuple<TransitionTables...>{tables...};
        MAKI_DETAIL_MAKE_MACHINE_CONF_COPY_BEGIN
#define MAKI_DETAIL_ARG_transition_tables tpl
        MAKI_DETAIL_MAKE_MACHINE_CONF_COPY_END
#undef MAKI_DETAIL_ARG_transition_tables
    }
 
private:
    MAKI_DETAIL_FRIENDLY_IMPL
 
    using impl_type = Impl;
 
    template<class Impl2>
    friend class machine_conf;
 
    template<class... Args>
    constexpr machine_conf(Args&&... args):
        impl_{std::forward<Args>(args)...}
    {
    }
 
    template<class Context2, auto ContextSig>
    [[nodiscard]] constexpr auto context() const
    {
        MAKI_DETAIL_MAKE_MACHINE_CONF_COPY_BEGIN
#define MAKI_DETAIL_ARG_context_type detail::type<Context2>
#define MAKI_DETAIL_ARG_context_sig ContextSig
        MAKI_DETAIL_MAKE_MACHINE_CONF_COPY_END
#undef MAKI_DETAIL_ARG_context_type
#undef MAKI_DETAIL_ARG_context_sig
    }
 
    template<class EventTypeSet, action_signature Sig, class Hook>
    [[nodiscard]] constexpr auto pre_processing_hook(const Hook& hook) const
    {
        const auto new_pre_processing_hooks = append
        (
            impl_.pre_processing_hooks,
            detail::make_event_action<Sig, EventTypeSet>(hook)
        );
 
        MAKI_DETAIL_MAKE_MACHINE_CONF_COPY_BEGIN
#define MAKI_DETAIL_ARG_pre_processing_hooks new_pre_processing_hooks
        MAKI_DETAIL_MAKE_MACHINE_CONF_COPY_END
#undef MAKI_DETAIL_ARG_pre_processing_hooks
    }
 
#undef MAKI_DETAIL_MAKE_MACHINE_CONF_COPY_END
#undef MAKI_DETAIL_MAKE_MACHINE_CONF_COPY_BEGIN
 
    impl_type impl_;
};
 
#undef MAKI_DETAIL_MACHINE_CONF_RETURN_TYPE
 
#ifdef MAKI_DETAIL_DOXYGEN
machine_conf() -> machine_conf<IMPLEMENTATION_DETAIL>;
#else
machine_conf() -> machine_conf<detail::machine_conf_impl<>>;
#endif
 
namespace detail
{
    template<class T>
    struct is_machine_conf
    {
        static constexpr auto value = false;
    };
 
    template<class... Options>
    struct is_machine_conf<machine_conf<Options...>>
    {
        static constexpr auto value = true;
    };
 
    template<class T>
    constexpr auto is_machine_conf_v = is_machine_conf<T>::value;
}
 
} //namespace
 
#endif