677 lines
38 KiB
C++
677 lines
38 KiB
C++
/*
|
|
* M*LIB - TUPLE module
|
|
*
|
|
* Copyright (c) 2017-2021, Patrick Pelissier
|
|
* All rights reserved.
|
|
* Redistribution and use in source and binary forms, with or without
|
|
* modification, are permitted provided that the following conditions are met:
|
|
* + Redistributions of source code must retain the above copyright
|
|
* notice, this list of conditions and the following disclaimer.
|
|
* + Redistributions in binary form must reproduce the above copyright
|
|
* notice, this list of conditions and the following disclaimer in the
|
|
* documentation and/or other materials provided with the distribution.
|
|
*
|
|
* THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND ANY
|
|
* EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
|
|
* WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
|
|
* DISCLAIMED. IN NO EVENT SHALL THE REGENTS AND CONTRIBUTORS BE LIABLE FOR ANY
|
|
* DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
|
|
* (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
|
|
* LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND
|
|
* ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
|
|
* (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
|
|
* SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
|
|
*/
|
|
#ifndef MSTARLIB_TUPLE_H
|
|
#define MSTARLIB_TUPLE_H
|
|
|
|
#include "m-core.h"
|
|
|
|
/********************** External interface *************************/
|
|
|
|
/* Define the tuple type and functions.
|
|
USAGE:
|
|
TUPLE_DEF2(name, [(field1, type1[, oplist1]), (field2, type2[, oplist2]), ...] ) */
|
|
#define TUPLE_DEF2(name, ...) \
|
|
TUPLE_DEF2_AS(name, M_C(name,_t), __VA_ARGS__)
|
|
|
|
|
|
/* Define the tuple type and functions
|
|
as the given name.
|
|
USAGE:
|
|
TUPLE_DEF2_AS(name, name_t, [(field1, type1[, oplist1]), (field2, type2[, oplist2]), ...] ) */
|
|
#define TUPLE_DEF2_AS(name, name_t, ...) \
|
|
M_BEGIN_PROTECTED_CODE \
|
|
M_TUPL3_DEF2_P1( (name, name_t M_TUPL3_INJECT_GLOBAL(__VA_ARGS__)) ) \
|
|
M_END_PROTECTED_CODE
|
|
|
|
|
|
/* Define the oplist of a tuple.
|
|
USAGE: TUPLE_OPLIST(name[, oplist of the first type, ...]) */
|
|
#define TUPLE_OPLIST(...) \
|
|
M_IF_NARGS_EQ1(__VA_ARGS__) \
|
|
(M_TUPL3_OPLIST_P1((__VA_ARGS__, M_DEFAULT_OPLIST )), \
|
|
M_TUPL3_OPLIST_P1((__VA_ARGS__ )))
|
|
|
|
|
|
/* Return an array suitable for the WIP _cmp_order function.
|
|
As compound literals are not supported in C++,
|
|
provide a separate definition for C++ using initializer_list
|
|
(shall be constexpr, but only supported in C++14).
|
|
*/
|
|
#ifndef __cplusplus
|
|
#define TUPLE_ORDER(name, ...) \
|
|
( (const int[]) {M_MAP2_C(M_TUPL3_ORDER_CONVERT, name, __VA_ARGS__), 0})
|
|
#else
|
|
#include <initializer_list>
|
|
namespace m_lib {
|
|
template <unsigned int N>
|
|
struct m_tupl3_integer_va {
|
|
int data[N];
|
|
/*constexpr*/ inline m_tupl3_integer_va(std::initializer_list<int> init){
|
|
int j = 0;
|
|
for(auto i:init) {
|
|
data[j++] = i;
|
|
}
|
|
}
|
|
};
|
|
}
|
|
#define TUPLE_ORDER(name, ...) \
|
|
(m_lib::m_tupl3_integer_va<M_NARGS(__VA_ARGS__,0)>({M_MAP2_C(M_TUPL3_ORDER_CONVERT, name, __VA_ARGS__), 0}).data)
|
|
#endif
|
|
|
|
|
|
/********************************** INTERNAL ************************************/
|
|
|
|
/* Contract of a tuple. Nothing notable */
|
|
#define M_TUPL3_CONTRACT(tup) do { \
|
|
M_ASSERT(tup != NULL); \
|
|
} while (0)
|
|
|
|
/* Inject the oplist within the list of arguments */
|
|
#define M_TUPL3_INJECT_GLOBAL(...) \
|
|
M_MAP(M_TUPL3_INJECT_OPLIST_A, __VA_ARGS__)
|
|
|
|
/* Transform (x, type) into (x, type, oplist) if there is global registered oplist
|
|
or (x, type, M_DEFAULT_OPLIST) if there is no global one,
|
|
or keep (x, type, oplist) if oplist was already present */
|
|
#define M_TUPL3_INJECT_OPLIST_A( duo_or_trio ) \
|
|
M_TUPL3_INJECT_OPLIST_B duo_or_trio
|
|
|
|
#define M_TUPL3_INJECT_OPLIST_B( f, ... ) \
|
|
M_DEFERRED_COMMA \
|
|
M_IF_NARGS_EQ1(__VA_ARGS__)( (f, __VA_ARGS__, M_GLOBAL_OPLIST_OR_DEF(__VA_ARGS__)()), (f, __VA_ARGS__) )
|
|
|
|
// Deferred evaluation
|
|
#define M_TUPL3_DEF2_P1(...) M_TUPL3_DEF2_P2 __VA_ARGS__
|
|
|
|
// Test if all third argument of all arguments is an oplist
|
|
#define M_TUPL3_IF_ALL_OPLIST(...) \
|
|
M_IF(M_REDUCE(M_TUPL3_IS_OPLIST_P, M_AND, __VA_ARGS__))
|
|
|
|
// Test if the third argument of (name, type, oplist) is an oplist
|
|
#define M_TUPL3_IS_OPLIST_P(a) \
|
|
M_OPLIST_P(M_RET_ARG3 a)
|
|
|
|
/* Validate the oplist before going further */
|
|
#define M_TUPL3_DEF2_P2(name, name_t, ...) \
|
|
M_TUPL3_IF_ALL_OPLIST(__VA_ARGS__)(M_TUPL3_DEF2_P3, M_TUPL3_DEF2_FAILURE)(name, name_t, __VA_ARGS__)
|
|
|
|
/* Stop processing with a compilation failure */
|
|
#define M_TUPL3_DEF2_FAILURE(name, name_t, ...) \
|
|
M_STATIC_FAILURE(M_LIB_NOT_AN_OPLIST, "(TUPLE_DEF2): at least one of the given argument is not a valid oplist: " #__VA_ARGS__)
|
|
|
|
/* Define the tuple */
|
|
#define M_TUPL3_DEF2_P3(name, name_t, ...) \
|
|
M_TUPL3_DEFINE_TYPE(name, name_t, __VA_ARGS__) \
|
|
M_TUPL3_DEFINE_ENUM(name, __VA_ARGS__) \
|
|
M_TUPL3_CONTROL_ALL_OPLIST(name, __VA_ARGS__) \
|
|
M_TUPL3_IF_ALL(INIT, __VA_ARGS__)(M_TUPL3_DEFINE_INIT(name, __VA_ARGS__),) \
|
|
M_TUPL3_DEFINE_INIT_SET(name, __VA_ARGS__) \
|
|
M_TUPL3_DEFINE_INIT_SET2(name, __VA_ARGS__) \
|
|
M_TUPL3_DEFINE_SET(name, __VA_ARGS__) \
|
|
M_TUPL3_DEFINE_SET2(name, __VA_ARGS__) \
|
|
M_TUPL3_DEFINE_CLEAR(name, __VA_ARGS__) \
|
|
M_TUPL3_DEFINE_GETTER_FIELD(name, __VA_ARGS__) \
|
|
M_TUPL3_DEFINE_SETTER_FIELD(name, __VA_ARGS__) \
|
|
M_TUPL3_IF_ALL(CMP, __VA_ARGS__)(M_TUPL3_DEFINE_CMP(name, __VA_ARGS__),) \
|
|
M_TUPL3_IF_ALL(CMP, __VA_ARGS__)(M_TUPL3_DEFINE_CMP_ORDER(name, __VA_ARGS__),) \
|
|
M_TUPL3_DEFINE_CMP_FIELD(name, __VA_ARGS__) \
|
|
M_TUPL3_IF_ALL(HASH, __VA_ARGS__)(M_TUPL3_DEFINE_HASH(name, __VA_ARGS__),) \
|
|
M_TUPL3_IF_ALL(EQUAL, __VA_ARGS__)(M_TUPL3_DEFINE_EQUAL(name, __VA_ARGS__),) \
|
|
M_TUPL3_IF_ALL(GET_STR, __VA_ARGS__)(M_TUPL3_DEFINE_GET_STR(name, __VA_ARGS__),) \
|
|
M_TUPL3_IF_ALL(OUT_STR, __VA_ARGS__)(M_TUPL3_DEFINE_OUT_STR(name, __VA_ARGS__),) \
|
|
M_TUPL3_IF_ALL(IN_STR, __VA_ARGS__)(M_TUPL3_DEFINE_IN_STR(name, __VA_ARGS__),) \
|
|
M_TUPL3_IF_ALL(PARSE_STR, __VA_ARGS__)(M_TUPL3_DEFINE_PARSE_STR(name, __VA_ARGS__),) \
|
|
M_TUPL3_IF_ALL(OUT_SERIAL, __VA_ARGS__)(M_TUPL3_DEFINE_OUT_SERIAL(name, __VA_ARGS__),) \
|
|
M_TUPL3_IF_ALL(IN_SERIAL, __VA_ARGS__)(M_TUPL3_DEFINE_IN_SERIAL(name, __VA_ARGS__),) \
|
|
M_TUPL3_IF_ALL(INIT_MOVE, __VA_ARGS__)(M_TUPL3_DEFINE_INIT_MOVE(name, __VA_ARGS__),) \
|
|
M_TUPL3_IF_ALL(MOVE, __VA_ARGS__)(M_TUPL3_DEFINE_MOVE(name, __VA_ARGS__),) \
|
|
M_TUPL3_IF_ALL(SWAP, __VA_ARGS__)(M_TUPL3_DEFINE_SWAP(name, __VA_ARGS__),) \
|
|
M_TUPL3_IF_ALL(CLEAN, __VA_ARGS__)(M_TUPL3_DEFINE_CLEAN(name, __VA_ARGS__),)
|
|
|
|
/* Provide order for _cmp_order */
|
|
#define M_TUPL3_ORDER_CONVERT(name, x) M_C(name, M_C(M_TUPL3_ORDER_CONVERT_, x))
|
|
#define M_TUPL3_ORDER_CONVERT_ASC(x) M_C3(_,x,_value)
|
|
#define M_TUPL3_ORDER_CONVERT_DSC(x) M_C3(_,x,_value)*-1
|
|
|
|
/* Get the field name, the type, the oplist or the methods
|
|
based on the tuple (field, type, oplist) */
|
|
#define M_TUPL3_GET_FIELD(f,t,o) f
|
|
#define M_TUPL3_GET_TYPE(f,t,o) t
|
|
#define M_TUPL3_GET_OPLIST(f,t,o) o
|
|
#define M_TUPL3_GET_INIT(f,t,o) M_GET_INIT o
|
|
#define M_TUPL3_GET_INIT_SET(f,t,o) M_GET_INIT_SET o
|
|
#define M_TUPL3_GET_INIT_MOVE(f,t,o) M_GET_INIT_MOVE o
|
|
#define M_TUPL3_GET_MOVE(f,t,o) M_GET_MOVE o
|
|
#define M_TUPL3_GET_SET(f,t,o) M_GET_SET o
|
|
#define M_TUPL3_GET_CLEAR(f,t,o) M_GET_CLEAR o
|
|
#define M_TUPL3_GET_CMP(f,t,o) M_GET_CMP o
|
|
#define M_TUPL3_GET_HASH(f,t,o) M_GET_HASH o
|
|
#define M_TUPL3_GET_EQUAL(f,t,o) M_GET_EQUAL o
|
|
#define M_TUPL3_GET_STR(f,t,o) M_GET_GET_STR o
|
|
#define M_TUPL3_GET_OUT_STR(f,t,o) M_GET_OUT_STR o
|
|
#define M_TUPL3_GET_IN_STR(f,t,o) M_GET_IN_STR o
|
|
#define M_TUPL3_GET_OUT_SERIAL(f,t,o) M_GET_OUT_SERIAL o
|
|
#define M_TUPL3_GET_IN_SERIAL(f,t,o) M_GET_IN_SERIAL o
|
|
#define M_TUPL3_GET_PARSE_STR(f,t,o) M_GET_PARSE_STR o
|
|
#define M_TUPL3_GET_SWAP(f,t,o) M_GET_SWAP o
|
|
#define M_TUPL3_GET_CLEAN(f,t,o) M_GET_CLEAN o
|
|
|
|
/* Call the method associated to the given operator for the given parameter
|
|
of the tuple t=(name, type, oplist) */
|
|
#define M_TUPL3_CALL_INIT(t, ...) M_APPLY_API(M_TUPL3_GET_INIT t, M_TUPL3_GET_OPLIST t, __VA_ARGS__)
|
|
#define M_TUPL3_CALL_INIT_SET(t, ...) M_APPLY_API(M_TUPL3_GET_INIT_SET t, M_TUPL3_GET_OPLIST t, __VA_ARGS__)
|
|
#define M_TUPL3_CALL_INIT_MOVE(t, ...) M_APPLY_API(M_TUPL3_GET_INIT_MOVE t, M_TUPL3_GET_OPLIST t, __VA_ARGS__)
|
|
#define M_TUPL3_CALL_MOVE(t, ...) M_APPLY_API(M_TUPL3_GET_MOVE t, M_TUPL3_GET_OPLIST t, __VA_ARGS__)
|
|
#define M_TUPL3_CALL_SET(t, ...) M_APPLY_API(M_TUPL3_GET_SET t, M_TUPL3_GET_OPLIST t, __VA_ARGS__)
|
|
#define M_TUPL3_CALL_CLEAR(t, ...) M_APPLY_API(M_TUPL3_GET_CLEAR t, M_TUPL3_GET_OPLIST t, __VA_ARGS__)
|
|
#define M_TUPL3_CALL_CMP(t, ...) M_APPLY_API(M_TUPL3_GET_CMP t, M_TUPL3_GET_OPLIST t, __VA_ARGS__)
|
|
#define M_TUPL3_CALL_HASH(t, ...) M_APPLY_API(M_TUPL3_GET_HASH t, M_TUPL3_GET_OPLIST t, __VA_ARGS__)
|
|
#define M_TUPL3_CALL_EQUAL(t, ...) M_APPLY_API(M_TUPL3_GET_EQUAL t, M_TUPL3_GET_OPLIST t, __VA_ARGS__)
|
|
#define M_TUPL3_CALL_GET_STR(t, ...) M_APPLY_API(M_TUPL3_GET_STR t, M_TUPL3_GET_OPLIST t, __VA_ARGS__)
|
|
#define M_TUPL3_CALL_OUT_STR(t, ...) M_APPLY_API(M_TUPL3_GET_OUT_STR t, M_TUPL3_GET_OPLIST t, __VA_ARGS__)
|
|
#define M_TUPL3_CALL_IN_STR(t, ...) M_APPLY_API(M_TUPL3_GET_IN_STR t, M_TUPL3_GET_OPLIST t, __VA_ARGS__)
|
|
#define M_TUPL3_CALL_PARSE_STR(t, ...) M_APPLY_API(M_TUPL3_GET_PARSE_STR t, M_TUPL3_GET_OPLIST t, __VA_ARGS__)
|
|
#define M_TUPL3_CALL_OUT_SERIAL(t, ...) M_APPLY_API(M_TUPL3_GET_OUT_SERIAL t, M_TUPL3_GET_OPLIST t, __VA_ARGS__)
|
|
#define M_TUPL3_CALL_IN_SERIAL(t, ...) M_APPLY_API(M_TUPL3_GET_IN_SERIAL t, M_TUPL3_GET_OPLIST t, __VA_ARGS__)
|
|
#define M_TUPL3_CALL_SWAP(t, ...) M_APPLY_API(M_TUPL3_GET_SWAP t, M_TUPL3_GET_OPLIST t, __VA_ARGS__)
|
|
#define M_TUPL3_CALL_CLEAN(t, ...) M_APPLY_API(M_TUPL3_GET_CLEAN t, M_TUPL3_GET_OPLIST t, __VA_ARGS__)
|
|
|
|
|
|
/* Define the type of a tuple */
|
|
#define M_TUPL3_DEFINE_TYPE(name, name_t, ...) \
|
|
typedef struct M_C(name, _s) { \
|
|
M_MAP(M_TUPL3_DEFINE_RECUR_TYPE_ELE , __VA_ARGS__) \
|
|
} name_t[1]; \
|
|
\
|
|
typedef struct M_C(name, _s) *M_C(name, _ptr); \
|
|
typedef const struct M_C(name, _s) *M_C(name, _srcptr); \
|
|
/* Define internal type for oplist */ \
|
|
typedef name_t M_C(name, _ct);
|
|
|
|
#define M_TUPL3_DEFINE_RECUR_TYPE_ELE(a) \
|
|
M_TUPL3_GET_TYPE a M_TUPL3_GET_FIELD a ;
|
|
|
|
/* Define the basic enumerate, identifying a parameter */
|
|
#define M_TUPL3_DEFINE_ENUM(name, ...) \
|
|
typedef enum { \
|
|
M_C(name, _first_one_val), \
|
|
M_MAP2_C(M_TUPL3_DEFINE_ENUM_ELE , name, __VA_ARGS__) \
|
|
} M_C(name,_field_e);
|
|
|
|
#define M_TUPL3_DEFINE_ENUM_ELE(name, a) \
|
|
M_C4(name, _, M_TUPL3_GET_FIELD a, _value)
|
|
|
|
/* Control that all given oplists of all parameters are really oplists */
|
|
#define M_TUPL3_CONTROL_ALL_OPLIST(name, ...) \
|
|
M_MAP2(M_TUPL3_CONTROL_OPLIST, name, __VA_ARGS__)
|
|
|
|
#define M_TUPL3_CONTROL_OPLIST(name, a) \
|
|
M_CHECK_COMPATIBLE_OPLIST(name, M_TUPL3_GET_FIELD a, \
|
|
M_TUPL3_GET_TYPE a, M_TUPL3_GET_OPLIST a)
|
|
|
|
/* Define the INIT method calling the INIT method for all params */
|
|
#define M_TUPL3_DEFINE_INIT(name, ...) \
|
|
static inline void M_C(name, _init)(M_C(name,_ct) my) { \
|
|
M_MAP(M_TUPL3_DEFINE_INIT_FUNC , __VA_ARGS__) \
|
|
}
|
|
|
|
#define M_TUPL3_DEFINE_INIT_FUNC(a) \
|
|
M_TUPL3_CALL_INIT(a, my -> M_TUPL3_GET_FIELD a );
|
|
|
|
/* Define the INIT_SET method calling the INIT_SET method for all params */
|
|
#define M_TUPL3_DEFINE_INIT_SET(name, ...) \
|
|
static inline void M_C(name, _init_set)(M_C(name,_ct) my , M_C(name,_ct) const org) { \
|
|
M_TUPL3_CONTRACT(org); \
|
|
M_MAP(M_TUPL3_DEFINE_INIT_SET_FUNC , __VA_ARGS__) \
|
|
}
|
|
#define M_TUPL3_DEFINE_INIT_SET_FUNC(a) \
|
|
M_TUPL3_CALL_INIT_SET(a, my -> M_TUPL3_GET_FIELD a , org -> M_TUPL3_GET_FIELD a );
|
|
|
|
/* Define the INIT_WITH method calling the INIT_SET method for all params. */
|
|
#define M_TUPL3_DEFINE_INIT_SET2(name, ...) \
|
|
static inline void M_C(name, _init_emplace)(M_C(name,_ct) my \
|
|
M_MAP(M_TUPL3_DEFINE_INIT_SET2_PROTO, __VA_ARGS__) \
|
|
) { \
|
|
M_MAP(M_TUPL3_DEFINE_INIT_SET2_FUNC , __VA_ARGS__) \
|
|
}
|
|
|
|
#define M_TUPL3_DEFINE_INIT_SET2_PROTO(a) \
|
|
, M_TUPL3_GET_TYPE a const M_TUPL3_GET_FIELD a
|
|
|
|
#define M_TUPL3_DEFINE_INIT_SET2_FUNC(a) \
|
|
M_TUPL3_CALL_INIT_SET(a, my -> M_TUPL3_GET_FIELD a , M_TUPL3_GET_FIELD a );
|
|
|
|
|
|
/* Define the SET method calling the SET method for all params. */
|
|
#define M_TUPL3_DEFINE_SET(name, ...) \
|
|
static inline void M_C(name, _set)(M_C(name,_ct) my , \
|
|
M_C(name,_ct) const org) { \
|
|
M_TUPL3_CONTRACT(my); \
|
|
M_TUPL3_CONTRACT(org); \
|
|
M_MAP(M_TUPL3_DEFINE_SET_FUNC , __VA_ARGS__) \
|
|
}
|
|
|
|
#define M_TUPL3_DEFINE_SET_FUNC(a) \
|
|
M_TUPL3_CALL_SET(a, my -> M_TUPL3_GET_FIELD a , org -> M_TUPL3_GET_FIELD a );
|
|
|
|
|
|
/* Define the SET_WITH method calling the SET method for all params. */
|
|
#define M_TUPL3_DEFINE_SET2(name, ...) \
|
|
static inline void M_C(name, _emplace)(M_C(name,_ct) my \
|
|
M_MAP(M_TUPL3_DEFINE_SET2_PROTO, __VA_ARGS__) \
|
|
) { \
|
|
M_TUPL3_CONTRACT(my); \
|
|
M_MAP(M_TUPL3_DEFINE_SET2_FUNC , __VA_ARGS__) \
|
|
}
|
|
#define M_TUPL3_DEFINE_SET2_PROTO(a) \
|
|
, M_TUPL3_GET_TYPE a const M_TUPL3_GET_FIELD a
|
|
|
|
#define M_TUPL3_DEFINE_SET2_FUNC(a) \
|
|
M_TUPL3_CALL_SET(a, my -> M_TUPL3_GET_FIELD a , M_TUPL3_GET_FIELD a );
|
|
|
|
|
|
/* Define the CLEAR method calling the CLEAR method for all params. */
|
|
#define M_TUPL3_DEFINE_CLEAR(name, ...) \
|
|
static inline void M_C(name, _clear)(M_C(name,_ct) my) { \
|
|
M_TUPL3_CONTRACT(my); \
|
|
M_MAP(M_TUPL3_DEFINE_CLEAR_FUNC , __VA_ARGS__) \
|
|
}
|
|
|
|
#define M_TUPL3_DEFINE_CLEAR_FUNC(a) \
|
|
M_TUPL3_CALL_CLEAR(a, my -> M_TUPL3_GET_FIELD a );
|
|
|
|
|
|
/* Define the GET_AT_field & CGET_AT methods for all params. */
|
|
#define M_TUPL3_DEFINE_GETTER_FIELD(name, ...) \
|
|
M_MAP2(M_TUPL3_DEFINE_GETTER_FIELD_PROTO, name, __VA_ARGS__)
|
|
|
|
#define M_TUPL3_DEFINE_GETTER_FIELD_PROTO(name, a) \
|
|
static inline M_TUPL3_GET_TYPE a * M_C3(name, _get_at_, M_TUPL3_GET_FIELD a) \
|
|
(M_C(name,_ct) my) { \
|
|
M_TUPL3_CONTRACT(my); \
|
|
return &(my->M_TUPL3_GET_FIELD a); \
|
|
} \
|
|
static inline M_TUPL3_GET_TYPE a const * M_C3(name, _cget_at_, M_TUPL3_GET_FIELD a) \
|
|
(M_C(name,_ct) const my) { \
|
|
M_TUPL3_CONTRACT(my); \
|
|
return &(my->M_TUPL3_GET_FIELD a); \
|
|
}
|
|
|
|
|
|
/* Define the SET_field methods for all params. */
|
|
#define M_TUPL3_DEFINE_SETTER_FIELD(name, ...) \
|
|
M_MAP2(M_TUPL3_DEFINE_SETTER_FIELD_PROTO, name, __VA_ARGS__)
|
|
|
|
#define M_TUPL3_DEFINE_SETTER_FIELD_PROTO(name, a) \
|
|
static inline void M_C3(name, _set_, M_TUPL3_GET_FIELD a) \
|
|
(M_C(name,_ct) my, M_TUPL3_GET_TYPE a const M_TUPL3_GET_FIELD a) { \
|
|
M_TUPL3_CONTRACT(my); \
|
|
M_TUPL3_CALL_SET(a, my ->M_TUPL3_GET_FIELD a, M_TUPL3_GET_FIELD a); \
|
|
}
|
|
|
|
|
|
/* Define the CMP method by calling CMP methods for all params. */
|
|
#define M_TUPL3_DEFINE_CMP(name, ...) \
|
|
static inline int M_C(name, _cmp)(M_C(name,_ct) const e1 , \
|
|
M_C(name,_ct) const e2) { \
|
|
int i; \
|
|
M_TUPL3_CONTRACT(e1); \
|
|
M_TUPL3_CONTRACT(e2); \
|
|
M_MAP(M_TUPL3_DEFINE_CMP_FUNC , __VA_ARGS__) \
|
|
return 0; \
|
|
}
|
|
|
|
#define M_TUPL3_DEFINE_CMP_FUNC(a) \
|
|
i = M_TUPL3_CALL_CMP(a, e1 -> M_TUPL3_GET_FIELD a , e2 -> M_TUPL3_GET_FIELD a ); \
|
|
if (i != 0) return i;
|
|
|
|
|
|
/* Define the CMP_ORDER method by calling CMP methods for all params
|
|
In the right order
|
|
FIXME: _cmp_order is not supported by algorithm yet.
|
|
*/
|
|
#define M_TUPL3_DEFINE_CMP_ORDER(name, ...) \
|
|
static inline int M_C(name, _cmp_order)(M_C(name,_ct) const e1 , \
|
|
M_C(name,_ct) const e2, \
|
|
const int order[]) { \
|
|
int i, r; \
|
|
M_TUPL3_CONTRACT(e1); \
|
|
M_TUPL3_CONTRACT(e2); \
|
|
while (true) { \
|
|
i=*order++; \
|
|
switch (i) { \
|
|
case 0: return 0; \
|
|
M_MAP2(M_TUPL3_DEFINE_CMP_ORDER_FUNC , name, __VA_ARGS__) \
|
|
default: M_ASSERT(0); \
|
|
} \
|
|
} \
|
|
}
|
|
|
|
#define M_TUPL3_DEFINE_CMP_ORDER_FUNC(name, a) \
|
|
case M_C4(name, _, M_TUPL3_GET_FIELD a, _value): \
|
|
case -M_C4(name, _, M_TUPL3_GET_FIELD a, _value): \
|
|
r = M_TUPL3_CALL_CMP(a, e1 -> M_TUPL3_GET_FIELD a , e2 -> M_TUPL3_GET_FIELD a ); \
|
|
if (r != 0) return i < 0 ? -r : r; \
|
|
break;
|
|
|
|
|
|
/* Define a CMP_field method for all given params that export a CMP method */
|
|
#define M_TUPL3_DEFINE_CMP_FIELD(name, ...) \
|
|
M_MAP2(M_TUPL3_MAP_CMP_FIELD, name, __VA_ARGS__)
|
|
|
|
#define M_TUPL3_MAP_CMP_FIELD(name, a) \
|
|
M_IF_METHOD(CMP, M_TUPL3_GET_OPLIST a)( \
|
|
M_TUPL3_DEFINE_CMP_FIELD_FUNC(name, M_TUPL3_GET_FIELD a, M_TUPL3_GET_CMP a), \
|
|
)
|
|
|
|
#define M_TUPL3_DEFINE_CMP_FIELD_FUNC(name, field, func_cmp) \
|
|
static inline int M_C3(name, _cmp_, field)(M_C(name,_ct) const e1 , \
|
|
M_C(name,_ct) const e2) { \
|
|
M_TUPL3_CONTRACT(e1); \
|
|
M_TUPL3_CONTRACT(e2); \
|
|
return func_cmp ( e1 -> field , e2 -> field ); \
|
|
}
|
|
|
|
|
|
/* Define a EQUAL method by calling the EQUAL methods for all params */
|
|
#define M_TUPL3_DEFINE_EQUAL(name, ...) \
|
|
static inline bool M_C(name, _equal_p)(M_C(name,_ct) const e1 , \
|
|
M_C(name,_ct) const e2) { \
|
|
bool b; \
|
|
M_TUPL3_CONTRACT(e1); \
|
|
M_TUPL3_CONTRACT(e2); \
|
|
M_MAP(M_TUPL3_DEFINE_EQUAL_FUNC , __VA_ARGS__) \
|
|
return true; \
|
|
}
|
|
|
|
#define M_TUPL3_DEFINE_EQUAL_FUNC(a) \
|
|
b = M_TUPL3_CALL_EQUAL(a, e1 -> M_TUPL3_GET_FIELD a , e2 -> M_TUPL3_GET_FIELD a ); \
|
|
if (!b) return false;
|
|
|
|
|
|
/* Define a HASH method by calling the HASH methods for all params */
|
|
#define M_TUPL3_DEFINE_HASH(name, ...) \
|
|
static inline size_t M_C(name, _hash)(M_C(name,_ct) const e1) { \
|
|
M_TUPL3_CONTRACT(e1); \
|
|
M_HASH_DECL(hash); \
|
|
M_MAP(M_TUPL3_DEFINE_HASH_FUNC , __VA_ARGS__) \
|
|
return M_HASH_FINAL (hash); \
|
|
}
|
|
|
|
#define M_TUPL3_DEFINE_HASH_FUNC(a) \
|
|
M_HASH_UP(hash, M_TUPL3_CALL_HASH(a, e1 -> M_TUPL3_GET_FIELD a) );
|
|
|
|
|
|
/* Define a GET_STR method by calling the GET_STR methods for all params */
|
|
#define M_TUPL3_DEFINE_GET_STR(name, ...) \
|
|
static inline void M_C(name, _get_str)(string_t str, \
|
|
M_C(name,_ct) const el, \
|
|
bool append) { \
|
|
bool comma = false; \
|
|
M_TUPL3_CONTRACT(el); \
|
|
M_ASSERT (str != NULL); \
|
|
(append ? string_cat_str : string_set_str) (str, "("); \
|
|
M_MAP(M_TUPL3_DEFINE_GET_STR_FUNC , __VA_ARGS__) \
|
|
string_push_back (str, ')'); \
|
|
}
|
|
|
|
#define M_TUPL3_DEFINE_GET_STR_FUNC(a) \
|
|
if (comma) string_push_back (str, ','); \
|
|
comma = true; \
|
|
M_TUPL3_CALL_GET_STR(a, str, el -> M_TUPL3_GET_FIELD a, true); \
|
|
|
|
|
|
/* Define a OUT_STR method by calling the OUT_STR methods for all params */
|
|
#define M_TUPL3_DEFINE_OUT_STR(name, ...) \
|
|
static inline void M_C(name, _out_str)(FILE *f, \
|
|
M_C(name,_ct) const el) { \
|
|
bool comma = false; \
|
|
M_TUPL3_CONTRACT(el); \
|
|
M_ASSERT (f != NULL); \
|
|
fputc('(', f); \
|
|
M_MAP(M_TUPL3_DEFINE_OUT_STR_FUNC , __VA_ARGS__) \
|
|
fputc (')', f); \
|
|
}
|
|
|
|
#define M_TUPL3_DEFINE_OUT_STR_FUNC(a) \
|
|
if (comma) fputc (',', f); \
|
|
comma = true; \
|
|
M_TUPL3_CALL_OUT_STR(a, f, el -> M_TUPL3_GET_FIELD a); \
|
|
|
|
|
|
/* Define a IN_STR method by calling the IN_STR methods for all params */
|
|
#define M_TUPL3_DEFINE_IN_STR(name, ...) \
|
|
static inline bool M_C(name, _in_str)(M_C(name,_ct) el, FILE *f) { \
|
|
bool comma = false; \
|
|
M_TUPL3_CONTRACT(el); \
|
|
M_ASSERT (f != NULL); \
|
|
int c = fgetc(f); \
|
|
if (c != '(') return false; \
|
|
M_MAP(M_TUPL3_DEFINE_IN_STR_FUNC , __VA_ARGS__) \
|
|
c = fgetc(f); \
|
|
return (c == ')'); \
|
|
}
|
|
|
|
#define M_TUPL3_DEFINE_IN_STR_FUNC(a) \
|
|
if (comma) { \
|
|
c = fgetc (f); \
|
|
if (c != ',' || c == EOF) return false; \
|
|
} \
|
|
comma = true; \
|
|
if (M_TUPL3_CALL_IN_STR(a, el -> M_TUPL3_GET_FIELD a, f) == false) \
|
|
return false ; \
|
|
|
|
|
|
/* Define a PARSE_STR method by calling the PARSE_STR methods for all params */
|
|
#define M_TUPL3_DEFINE_PARSE_STR(name, ...) \
|
|
static inline bool M_C(name, _parse_str)(M_C(name,_ct) el, \
|
|
const char str[], \
|
|
const char **endptr) { \
|
|
M_TUPL3_CONTRACT(el); \
|
|
M_ASSERT (str != NULL); \
|
|
bool success = false; \
|
|
bool comma = false; \
|
|
int c = *str++; \
|
|
if (c != '(') goto exit; \
|
|
M_MAP(M_TUPL3_DEFINE_PARSE_STR_FUNC , __VA_ARGS__) \
|
|
c = *str++; \
|
|
success = (c == ')'); \
|
|
exit: \
|
|
if (endptr) *endptr = str; \
|
|
return success; \
|
|
}
|
|
|
|
#define M_TUPL3_DEFINE_PARSE_STR_FUNC(a) \
|
|
if (comma) { \
|
|
c = *str++; \
|
|
if (c != ',' || c == 0) goto exit; \
|
|
} \
|
|
comma = true; \
|
|
if (M_TUPL3_CALL_PARSE_STR(a, el -> M_TUPL3_GET_FIELD a, str, &str) == false) \
|
|
goto exit ; \
|
|
|
|
|
|
/* Return the parameter name as a C string */
|
|
#define M_TUPL3_STRINGIFY_NAME(a) \
|
|
M_AS_STR(M_TUPL3_GET_FIELD a)
|
|
|
|
|
|
/* Define a OUT_SERIAL method by calling the OUT_SERIAL methods for all params */
|
|
#define M_TUPL3_DEFINE_OUT_SERIAL(name, ...) \
|
|
static inline m_serial_return_code_t \
|
|
M_C(name, _out_serial)(m_serial_write_t f, \
|
|
M_C(name,_ct) const el) { \
|
|
M_TUPL3_CONTRACT(el); \
|
|
M_ASSERT (f != NULL && f->m_interface != NULL); \
|
|
const int field_max = M_NARGS(__VA_ARGS__); \
|
|
/* Define a constant static table of all fields names */ \
|
|
static const char *const field_name[] = \
|
|
{ M_REDUCE(M_TUPL3_STRINGIFY_NAME, M_ID, __VA_ARGS__) }; \
|
|
int index = 0; \
|
|
m_serial_local_t local; \
|
|
m_serial_return_code_t ret; \
|
|
ret = f->m_interface->write_tuple_start(local, f); \
|
|
M_MAP(M_TUPL3_DEFINE_OUT_SERIAL_FUNC , __VA_ARGS__) \
|
|
M_ASSERT( index == field_max); \
|
|
ret |= f->m_interface->write_tuple_end(local, f); \
|
|
return ret & M_SERIAL_FAIL; \
|
|
}
|
|
|
|
#define M_TUPL3_DEFINE_OUT_SERIAL_FUNC(a) \
|
|
f->m_interface->write_tuple_id(local, f, field_name, field_max, index); \
|
|
M_TUPL3_CALL_OUT_SERIAL(a, f, el -> M_TUPL3_GET_FIELD a); \
|
|
index++; \
|
|
|
|
|
|
/* Define a IN_SERIAL method by calling the IN_SERIAL methods for all params */
|
|
#define M_TUPL3_DEFINE_IN_SERIAL(name, ...) \
|
|
static inline m_serial_return_code_t \
|
|
M_C(name, _in_serial)(M_C(name,_ct) el, m_serial_read_t f) { \
|
|
M_TUPL3_CONTRACT(el); \
|
|
M_ASSERT (f != NULL && f->m_interface != NULL); \
|
|
int index = -1; \
|
|
const int field_max = M_NARGS(__VA_ARGS__); \
|
|
static const char *const field_name[] = \
|
|
{ M_REDUCE(M_TUPL3_STRINGIFY_NAME, M_ID, __VA_ARGS__) }; \
|
|
m_serial_local_t local; \
|
|
m_serial_return_code_t ret; \
|
|
ret = f->m_interface->read_tuple_start(local, f); \
|
|
while (ret == M_SERIAL_OK_CONTINUE) { \
|
|
ret = f->m_interface->read_tuple_id(local, f, field_name, field_max, &index); \
|
|
if (ret == M_SERIAL_OK_CONTINUE) { \
|
|
M_ASSERT (index >= 0 && index < field_max); \
|
|
switch (1+index) { \
|
|
M_MAP2(M_TUPL3_DEFINE_IN_SERIAL_FUNC , name, __VA_ARGS__) \
|
|
default: M_ASSERT(0); \
|
|
} \
|
|
ret = (ret == M_SERIAL_OK_DONE) ? M_SERIAL_OK_CONTINUE : M_SERIAL_FAIL; \
|
|
} \
|
|
} \
|
|
return ret; \
|
|
}
|
|
|
|
#define M_TUPL3_DEFINE_IN_SERIAL_FUNC(name, a) \
|
|
case M_C4(name, _, M_TUPL3_GET_FIELD a, _value): \
|
|
ret = M_TUPL3_CALL_IN_SERIAL(a, el -> M_TUPL3_GET_FIELD a, f); \
|
|
break; \
|
|
|
|
|
|
/* Define a INIT_MOVE method by calling the INIT_MOVE methods for all params */
|
|
#define M_TUPL3_DEFINE_INIT_MOVE(name, ...) \
|
|
static inline void M_C(name, _init_move)(M_C(name,_ct) el, M_C(name,_ct) org) { \
|
|
M_TUPL3_CONTRACT(el); \
|
|
M_MAP(M_TUPL3_DEFINE_INIT_MOVE_FUNC , __VA_ARGS__) \
|
|
}
|
|
|
|
#define M_TUPL3_DEFINE_INIT_MOVE_FUNC(a) \
|
|
M_TUPL3_CALL_INIT_MOVE(a, el -> M_TUPL3_GET_FIELD a, org -> M_TUPL3_GET_FIELD a);
|
|
|
|
|
|
/* Define a MOVE method by calling the MOVE methods for all params */
|
|
#define M_TUPL3_DEFINE_MOVE(name, ...) \
|
|
static inline void M_C(name, _move)(M_C(name,_ct) el, M_C(name,_ct) org) { \
|
|
M_TUPL3_CONTRACT(el); \
|
|
M_MAP(M_TUPL3_DEFINE_MOVE_FUNC , __VA_ARGS__) \
|
|
}
|
|
|
|
#define M_TUPL3_DEFINE_MOVE_FUNC(a) \
|
|
M_TUPL3_CALL_MOVE(a, el -> M_TUPL3_GET_FIELD a, org -> M_TUPL3_GET_FIELD a);
|
|
|
|
|
|
/* Define a SWAP method by calling the SWAP methods for all params */
|
|
#define M_TUPL3_DEFINE_SWAP(name, ...) \
|
|
static inline void M_C(name, _swap)(M_C(name,_ct) el1, M_C(name,_ct) el2) { \
|
|
M_TUPL3_CONTRACT(el1); \
|
|
M_TUPL3_CONTRACT(el2); \
|
|
M_MAP(M_TUPL3_DEFINE_SWAP_FUNC , __VA_ARGS__) \
|
|
}
|
|
|
|
#define M_TUPL3_DEFINE_SWAP_FUNC(a) \
|
|
M_TUPL3_CALL_SWAP(a, el1 -> M_TUPL3_GET_FIELD a, el2 -> M_TUPL3_GET_FIELD a);
|
|
|
|
|
|
/* Define a CLEAN method by calling the CLEAN methods for all params */
|
|
#define M_TUPL3_DEFINE_CLEAN(name, ...) \
|
|
static inline void M_C(name, _clean)(M_C(name,_ct) el1) { \
|
|
M_TUPL3_CONTRACT(el1); \
|
|
M_MAP(M_TUPL3_DEFINE_CLEAN_FUNC , __VA_ARGS__) \
|
|
}
|
|
|
|
#define M_TUPL3_DEFINE_CLEAN_FUNC(a) \
|
|
M_TUPL3_CALL_CLEAN(a, el1 -> M_TUPL3_GET_FIELD a);
|
|
|
|
|
|
/* Macros for testing for the presence of a method in the parameter (name, type, oplist) */
|
|
#define M_TUPL3_TEST_METHOD_P(method, trio) \
|
|
M_APPLY(M_TUPL3_TEST_METHOD2_P, method, M_OPFLAT trio)
|
|
|
|
#define M_TUPL3_TEST_METHOD2_P(method, f, t, op) \
|
|
M_TEST_METHOD_P(method, op)
|
|
|
|
|
|
/* Macros for testing for the presence of a method in all the params */
|
|
#define M_TUPL3_IF_ALL(method, ...) \
|
|
M_IF(M_REDUCE2(M_TUPL3_TEST_METHOD_P, M_AND, method, __VA_ARGS__))
|
|
|
|
// deferred evaluation
|
|
#define M_TUPL3_OPLIST_P1(arg) M_TUPL3_OPLIST_P2 arg
|
|
|
|
/* Validate the oplist before going further */
|
|
#define M_TUPL3_OPLIST_P2(name, ...) \
|
|
M_IF(M_REDUCE(M_OPLIST_P, M_AND, __VA_ARGS__))(M_TUPL3_OPLIST_P3, M_TUPL3_OPLIST_FAILURE)(name, __VA_ARGS__)
|
|
|
|
/* Prepare a clean compilation failure */
|
|
#define M_TUPL3_OPLIST_FAILURE(name, ...) \
|
|
((M_LIB_ERROR(ONE_ARGUMENT_OF_M_TUPL3_OPLIST_IS_NOT_AN_OPLIST, name, __VA_ARGS__)))
|
|
|
|
/* Define the TUPLE oplist */
|
|
#define M_TUPL3_OPLIST_P3(name, ...) \
|
|
(M_IF_METHOD_ALL(INIT, __VA_ARGS__)(INIT(M_C(name,_init)),), \
|
|
INIT_SET(M_C(name, _init_set)), \
|
|
INIT_WITH(M_C(name, _init_emplace)), \
|
|
SET(M_C(name,_set)), \
|
|
CLEAR(M_C(name, _clear)), \
|
|
TYPE(M_C(name,_ct)), \
|
|
M_IF_METHOD_ALL(CMP, __VA_ARGS__)(CMP(M_C(name, _cmp)),), \
|
|
M_IF_METHOD_ALL(HASH, __VA_ARGS__)(HASH(M_C(name, _hash)),), \
|
|
M_IF_METHOD_ALL(EQUAL, __VA_ARGS__)(EQUAL(M_C(name, _equal_p)),), \
|
|
M_IF_METHOD_ALL(GET_STR, __VA_ARGS__)(GET_STR(M_C(name, _get_str)),), \
|
|
M_IF_METHOD_ALL(PARSE_STR, __VA_ARGS__)(PARSE_STR(M_C(name, _parse_str)),), \
|
|
M_IF_METHOD_ALL(IN_STR, __VA_ARGS__)(IN_STR(M_C(name, _in_str)),), \
|
|
M_IF_METHOD_ALL(OUT_STR, __VA_ARGS__)(OUT_STR(M_C(name, _out_str)),), \
|
|
M_IF_METHOD_ALL(IN_SERIAL, __VA_ARGS__)(IN_SERIAL(M_C(name, _in_serial)),), \
|
|
M_IF_METHOD_ALL(OUT_SERIAL, __VA_ARGS__)(OUT_SERIAL(M_C(name, _out_serial)),), \
|
|
M_IF_METHOD_ALL(INIT_MOVE, __VA_ARGS__)(INIT_MOVE(M_C(name, _init_move)),), \
|
|
M_IF_METHOD_ALL(MOVE, __VA_ARGS__)(MOVE(M_C(name, _move)),), \
|
|
M_IF_METHOD_ALL(SWAP, __VA_ARGS__)(SWAP(M_C(name, _swap)),), \
|
|
M_IF_METHOD_ALL(CLEAN, __VA_ARGS__)(CLEAN(M_C(name, _clean)),), \
|
|
M_IF_METHOD(NEW, M_RET_ARG1(__VA_ARGS__,))(NEW(M_DELAY2(M_GET_NEW) M_RET_ARG1(__VA_ARGS__,)),), \
|
|
M_IF_METHOD(REALLOC, M_RET_ARG1(__VA_ARGS__,))(REALLOC(M_DELAY2(M_GET_REALLOC) M_RET_ARG1(__VA_ARGS__,)),), \
|
|
M_IF_METHOD(DEL, M_RET_ARG1(__VA_ARGS__,))(DEL(M_DELAY2(M_GET_DEL) M_RET_ARG1(__VA_ARGS__,)),), \
|
|
)
|
|
|
|
|
|
#endif
|