#pragma once

/*  MOUNT CONTROL COMPONENTS LIBRARY  */


/*  ASTROMETRY ENGINE CONCEPT  */


#include <concepts>

#include "mcc_traits.h"

namespace mcc::traits
{

template <typename T>
concept mcc_astrom_engine_c = requires(T t, const T t_const) {
    typename T::engine_err_t;
    typename T::engine_state_t;
    requires std::movable<typename T::engine_state_t>;

    typename T::coord_t;
    typename T::prop_motion_t;
    typename T::parallax_t;
    typename T::time_point_t;
    typename T::juldate_t;
    typename T::gst_t;
    typename T::pa_t;
    typename T::eo_t;

    typename T::refract_result_t;


    { t.setState(std::declval<typename T::engine_state_t>()) };

    { t_const.getState() } -> std::same_as<typename T::engine_state_t>;

    { t_const.errorString(std::declval<typename T::engine_err_t>()) } -> mcc_formattable;

    /*    coordinates conversional methods    */

    // ICRS RA and DEC to observed place: icrs2obs(ra, dec, pra, pdec, plx, jd, ra_app, dec_app, ha, az, alt, eo)
    {
        t.icrs2obs(std::declval<typename T::coord_t>(), std::declval<typename T::coord_t>(),
                   std::declval<typename T::prop_motion_t>(), std::declval<typename T::prop_motion_t>(),
                   std::declval<typename T::parallax_t>(), std::declval<typename T::juldate_t>(),
                   std::declval<typename T::coord_t&>(), std::declval<typename T::coord_t&>(),
                   std::declval<typename T::coord_t&>(), std::declval<typename T::coord_t&>(),
                   std::declval<typename T::coord_t&>(), std::declval<typename T::eo_t&>())
    } -> std::same_as<typename T::engine_err_t>;

    // compute hour angle and declination from azimuth and altitude: hadec2azalt(ha, dec, az, alt)
    {
        t.hadec2azalt(std::declval<typename T::coord_t>(), std::declval<typename T::coord_t>(),
                      std::declval<typename T::coord_t&>(), std::declval<typename T::coord_t&>())
    } -> std::same_as<typename T::engine_err_t>;

    // compute azimuth and altitude from hour angle and declination: azalt2hadec(az, alt, ha, dec)
    {
        t.azalt2hadec(std::declval<typename T::coord_t>(), std::declval<typename T::coord_t>(),
                      std::declval<typename T::coord_t&>(), std::declval<typename T::coord_t&>())
    } -> std::same_as<typename T::engine_err_t>;

    // compute paralactic angle: hadec2pa(ha, dec, pa)
    {
        t.hadec2pa(std::declval<typename T::coord_t>(), std::declval<typename T::coord_t>(),
                   std::declval<typename T::pa_t&>())
    } -> std::same_as<typename T::engine_err_t>;


    /*   time-related methods    */

    // Gregorian Calendar time point to Julian Date: greg2jul(time_point, jd)
    {
        t.greg2jul(std::declval<typename T::time_point_t>(), std::declval<typename T::juldate_t&>())
    } -> std::same_as<typename T::engine_err_t>;
    // requires mcc_systime_c<mcc_func_arg1_t<decltype(&T::greg2jul)>>;
    // requires mcc_output_arg_c<mcc_func_argN_t<decltype(&T::greg2jul), 2>, typename T::juldate_t>;

    // apparent sideral time: apparentSiderTime(jd, gst, islocal)
    {
        t.apparentSiderTime(std::declval<typename T::juldate_t>(), std::declval<typename T::gst_t&>(),
                            std::declval<bool>())
    } -> std::same_as<typename T::engine_err_t>;

    // equation of origins
    {
        t.eqOrigins(std::declval<typename T::juldate_t>(), std::declval<typename T::eo_t&>())
    } -> std::same_as<typename T::engine_err_t>;

    /*   atmospheric refraction-related methods   */

    { t.refraction(std::declval<typename T::refract_result_t&>()) } -> std::same_as<typename T::engine_err_t>;
};

}  // namespace mcc::traits