This commit is contained in:
2025-09-17 18:21:32 +03:00
parent 281ceacf89
commit 1087e043a8
9 changed files with 86 additions and 27 deletions

View File

@@ -836,14 +836,20 @@ concept mcc_slewing_model_c = requires(T t) {
// requires mcc_error_c<typename T::error_t>;
// a class of slewing process parameters
requires requires(typename T::slewing_params_t pars) {
// slew mount to target and stop
requires std::convertible_to<decltype(pars.slewAndStop), bool>;
};
typename T::slewing_params_t;
// requires requires(typename T::slewing_params_t pars) {
// // slew mount to target and stop
// requires std::convertible_to<decltype(pars.slewAndStop), bool>;
// };
// { t.slewToTarget() } -> std::same_as<typename T::error_t>;
// { t.stopSlewing() } -> std::same_as<typename T::error_t>;
{ t.slewToTarget() } -> mcc_error_c;
// the method signature:
// slewToTarget(bool slew_and_stop)
// slew_and_stop == true, slew mount and stop
// slew_and_stop == false, slew mount and track
{ t.slewToTarget(std::declval<bool>()) } -> mcc_error_c;
{ t.stopSlewing() } -> mcc_error_c;
{ t.setSlewingParams(std::declval<typename T::slewing_params_t>()) } -> mcc_error_c;
@@ -912,7 +918,7 @@ template <typename T>
concept mcc_generic_mount_c = mcc_telemetry_c<T> && mcc_pzone_container_c<T> && requires(T t) {
// requires mcc_error_c<typename T::error_t>;
// slew mount to target (target coordinates were defined in telemetry data)
// slew mount to target (it is assumed that the target coordinates are determined in the telemetry data)
{ t.slewToTarget() };
// { t.slewToTarget() } -> std::same_as<typename T::error_t>;