Implement support for "header" and "body" procedures, with require loading the message file from disk, and create a foreign object for the message. We keep those alive in a vector, and hook up a finalizer. Update docs & tests as well.
230 lines
6.2 KiB
C++
230 lines
6.2 KiB
C++
/*
|
|
** Copyright (C) 2025 Dirk-Jan C. Binnema <djcb@djcbsoftware.nl>
|
|
**
|
|
** This program is free software; you can redistribute it and/or modify it
|
|
** under the terms of the GNU General Public License as published by the
|
|
** Free Software Foundation; either version 3, or (at your option) any
|
|
** later version.
|
|
**
|
|
** This program is distributed in the hope that it will be useful,
|
|
** but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
** MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
** GNU General Public License for more details.
|
|
**
|
|
** You should have received a copy of the GNU General Public License
|
|
** along with this program; if not, write to the Free Software Foundation,
|
|
** Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
|
|
**
|
|
*/
|
|
|
|
|
|
#ifndef MU_SCM_HH
|
|
#define MU_SCM_HH
|
|
|
|
#include <string>
|
|
#include <string_view>
|
|
#include <type_traits>
|
|
|
|
#pragma GCC diagnostic push
|
|
#pragma GCC diagnostic ignored "-Wredundant-decls"
|
|
#include <libguile.h>
|
|
#pragma GCC diagnostic pop
|
|
|
|
#include "utils/mu-result.hh"
|
|
#include "mu/mu-options.hh"
|
|
#include "mu-store.hh"
|
|
|
|
/**
|
|
* Namespace for the Scm (Guile) subsystem
|
|
*
|
|
*/
|
|
namespace Mu::Scm {
|
|
|
|
/**
|
|
* Configuration object
|
|
*
|
|
*/
|
|
struct Config {
|
|
const Mu::Store& store;
|
|
const Options& options;
|
|
};
|
|
|
|
/**
|
|
* Start a guile shell
|
|
*
|
|
* Initialize the Scm sub-system, then start a shell or run a script,
|
|
* based on the configuration.
|
|
*
|
|
* @param conf a Config object
|
|
*
|
|
* @return Ok() or some error
|
|
*/
|
|
Result<void> run(const Config& conf);
|
|
|
|
|
|
/**
|
|
* Helpers
|
|
*
|
|
* @{*/
|
|
|
|
// https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2022/p2593r0.html
|
|
template<typename T> struct always_false : std::false_type {};
|
|
|
|
template<typename T> constexpr bool is_char_array_v =
|
|
std::is_array_v<T> &&
|
|
std::is_same_v<std::remove_extent_t<T>, char>;
|
|
|
|
/**
|
|
* Make SCM symbol from string-like value
|
|
*
|
|
* @param val some value
|
|
*
|
|
* @return an SCM symbol
|
|
*/
|
|
template<typename T>
|
|
SCM make_symbol(const T& val){
|
|
using Type = std::remove_const_t<T>; // *not* std::remove_const
|
|
if constexpr (std::is_same_v<Type, std::string> ||
|
|
std::is_same_v<Type, std::string_view>)
|
|
return scm_from_utf8_symboln(val.data(), val.size());
|
|
else if constexpr (is_char_array_v<Type>|| std::is_same_v<Type, const char*>)
|
|
return scm_from_utf8_symbol(val);
|
|
else {
|
|
static_assert(always_false<Type>::value, "source type not supported");
|
|
return SCM_UNSPECIFIED;
|
|
}
|
|
}
|
|
|
|
/**
|
|
* Get some C++ value from an SCM object, generically.
|
|
*
|
|
* @param ARG some SCM object
|
|
*
|
|
* @return C++ value
|
|
*/
|
|
template<typename T>
|
|
T from_scm(SCM ARG) {
|
|
using Type = std::remove_const_t<T>; // *not* std::remove_const
|
|
if constexpr (std::is_same_v<Type, std::string>) {
|
|
SCM_ASSERT(scm_string_p(ARG), ARG, SCM_ARG1, __func__);
|
|
auto str{scm_to_utf8_string(ARG)};
|
|
std::string res{str};
|
|
::free(str);
|
|
return res;
|
|
} else if constexpr (std::is_same_v<Type, char>) {
|
|
SCM_ASSERT(scm_char_p(ARG), ARG, SCM_ARG1, __func__);
|
|
return scm_to_char(ARG);
|
|
} else if constexpr (std::is_same_v<Type, bool>) {
|
|
SCM_ASSERT(scm_boolean_p(ARG), ARG, SCM_ARG1, __func__);
|
|
return scm_to_bool(ARG);
|
|
} else if constexpr (std::is_same_v<Type, int>) {
|
|
SCM_ASSERT(scm_is_signed_integer(ARG, std::numeric_limits<int>::min(),
|
|
std::numeric_limits<int>::max()),
|
|
ARG, SCM_ARG1, __func__);
|
|
return scm_to_int(ARG);
|
|
} else if constexpr (std::is_same_v<Type, uint>) {
|
|
SCM_ASSERT(scm_is_unsigned_integer(ARG, std::numeric_limits<uint>::min(),
|
|
std::numeric_limits<uint>::max()),
|
|
ARG, SCM_ARG1, __func__);
|
|
return scm_to_uint(ARG);
|
|
} else if constexpr (std::is_same_v<Type, SCM>) {
|
|
return ARG;
|
|
} else {
|
|
static_assert(always_false<Type>::value, "target type not supported");
|
|
return {};
|
|
}
|
|
}
|
|
/**
|
|
* Like from_SCM, but if ARG is boolean false, return default value.
|
|
*
|
|
* @param ARG argument
|
|
* @param default_value default value
|
|
*
|
|
* @return value
|
|
*/
|
|
template<typename T>
|
|
T from_scm_with_default(SCM ARG, const T default_value) {
|
|
return (scm_is_bool(ARG) && scm_is_false(ARG)) ? default_value : from_scm<T>(ARG);
|
|
}
|
|
|
|
|
|
/**
|
|
* Get some SCM from a C++ value, generically.
|
|
*
|
|
* @param val some C++ object
|
|
*
|
|
* @return an SCM
|
|
*/
|
|
template<typename T>
|
|
SCM to_scm(const T& val) {
|
|
using Type = std::remove_const_t<T>;
|
|
if constexpr (std::is_same_v<Type, std::string> ||
|
|
std::is_same_v<Type, std::string_view>)
|
|
return scm_from_utf8_stringn(val.data(), val.size());
|
|
else if constexpr (is_char_array_v<Type>|| std::is_same_v<Type, const char*>)
|
|
return scm_from_utf8_string(val);
|
|
else if constexpr (std::is_same_v<Type, bool>)
|
|
return scm_from_bool(val);
|
|
else if constexpr (std::is_same_v<Type, size_t>)
|
|
return scm_from_size_t(val);
|
|
else if constexpr (std::is_same_v<Type, int64_t>)
|
|
return scm_from_int64(val);
|
|
else if constexpr (std::is_same_v<Type, uint64_t>)
|
|
return scm_from_uint64(val);
|
|
else if constexpr (std::is_same_v<Type, SCM>)
|
|
return val;
|
|
else {
|
|
static_assert(always_false<Type>::value,
|
|
"source type not supported");
|
|
return SCM_UNSPECIFIED;
|
|
}
|
|
}
|
|
|
|
// base case.
|
|
static inline SCM alist_add(SCM alist) {
|
|
return alist;
|
|
}
|
|
/**
|
|
* Add key-value pair to an alist
|
|
*
|
|
* This assumes that keys are unique ("acons")
|
|
*
|
|
* @param alist some alist
|
|
* @param key key
|
|
* @param val value
|
|
* @param keyvals... 0 or more key, value parmeters
|
|
*
|
|
* @return the updated alist
|
|
*/
|
|
template<typename Key, typename Value, typename... KeyVals>
|
|
static inline SCM alist_add(SCM alist, const Key& key, const Value& val,
|
|
KeyVals... keyvals) {
|
|
SCM res = scm_acons(to_scm(key), to_scm(val), alist);
|
|
return alist_add(res, std::forward<KeyVals>(keyvals)...);
|
|
}
|
|
|
|
/**
|
|
* Make an SCM error
|
|
*
|
|
* @param err name of the error
|
|
* @param subr function name
|
|
* @param frm... args format string
|
|
*
|
|
* @return an error (type)
|
|
*/
|
|
template<typename...T>
|
|
void raise_error(const std::string& err,
|
|
const std::string& subr,
|
|
fmt::format_string<T...> frm, T&&... args) noexcept {
|
|
static SCM mu_scm_error = scm_from_utf8_symbol("mu-scm-error");
|
|
scm_error(mu_scm_error,
|
|
subr.c_str(),
|
|
fmt::format(frm, std::forward<T>(args)...).c_str(),
|
|
SCM_BOOL_F, SCM_BOOL_F);
|
|
}
|
|
|
|
/**@}*/
|
|
}
|
|
|
|
#endif /*MU_SCM_HH*/
|