From 2e5932edbda07d5b142df95cfe79268ea7fb997b Mon Sep 17 00:00:00 2001 From: Claudius Holeksa Date: Wed, 3 May 2023 19:06:22 +0200 Subject: changing approach to storage --- forstio/codec/data.h | 89 ++++++ forstio/codec/message.h | 564 -------------------------------------- forstio/codec/message_container.h | 246 ----------------- forstio/codec/proto_kel.h | 41 +++ 4 files changed, 130 insertions(+), 810 deletions(-) create mode 100644 forstio/codec/data.h delete mode 100644 forstio/codec/message.h delete mode 100644 forstio/codec/message_container.h create mode 100644 forstio/codec/proto_kel.h (limited to 'forstio/codec') diff --git a/forstio/codec/data.h b/forstio/codec/data.h new file mode 100644 index 0000000..1682ae7 --- /dev/null +++ b/forstio/codec/data.h @@ -0,0 +1,89 @@ +#pragma once + +#include +#include "schema.h" + +namespace saw { +namespace encode { +struct Native {}; +} +/* + * Helper for the basic message container, so the class doesn't have to be + * specialized 10 times. + */ +template struct native_data_type; + +template <> +struct native_data_type> { + using type = int8_t; +}; + +template <> +struct native_data_type> { + using type = int16_t; +}; + +template <> +struct native_data_type> { + using type = int32_t; +}; + +template <> +struct native_data_type> { + using type = int64_t; +}; + +template <> +struct native_data_type> { + using type = uint8_t; +}; + +template <> +struct native_data_type> { + using type = uint16_t; +}; + +template <> +struct native_data_type> { + using type = uint32_t; +}; + +template <> +struct native_data_type> { + using type = uint64_t; +}; + +template <> +struct native_data_type> { + using type = float; +}; + +template +class data { +private: + static_assert(always_false, "Type not supported"); +}; + +template<> +class data { +private: + std::string value_; +public: + SAW_FORBID_COPY(data); + + data(std::string&& value__):value_{std::move(value__)}{} + + std::size_t size() const { + return value_.size(); + } + + bool operator==(const data& data){ + return value_ == data.value_; + } +}; + +template +class data, encode::Native> { +private: +}; +} diff --git a/forstio/codec/message.h b/forstio/codec/message.h deleted file mode 100644 index f0cadfd..0000000 --- a/forstio/codec/message.h +++ /dev/null @@ -1,564 +0,0 @@ -#pragma once - -#include -#include -#include -#include -#include - -#include - -#include -#include - -#include "message_container.h" -#include "schema.h" - -namespace saw { -class message_base { -protected: - bool set_explicitly_ = false; - -public: - template T &as() { - static_assert(std::is_base_of()); - return dynamic_cast(*this); - } - - template const T &as() const { - static_assert(std::is_base_of()); - return dynamic_cast(*this); - } -}; -/* - * Representing all message types - * Description which type to use happens through the use of the schema classes - * in schema.h The message classes are wrapper classes which store the data - * according to the specified container class. - * - * The reader and builder classe exist to create some clarity while implementing - * parsers. Also minor guarantess are provided if the message is used as a - * template parameter. - */ - -/* - * Struct Message - */ -template -class message...>, Container> final - : public message_base { -private: - using SchemaType = schema::Struct...>; - using MessageType = message; - Container container_; - - static_assert(std::is_same_v, - "Container should have same the schema as Message"); - - friend class builder; - friend class reader; - -public: - class reader; - class builder { - private: - MessageType &message_; - - public: - builder(MessageType &msg) : message_{msg} {} - - reader as_reader() { return reader{message_}; } - - /* - * Initialize a member by index - */ - template - typename std::enable_if< - !schema_is_array< - typename message_parameter_pack_type::Type>::Value, - typename Container::template ElementType::builder>::type - init() { - return typename Container::template ElementType::builder{ - message_.container_.template get()}; - } - - /* - * Initialize a member by their name - * This is the preferred method for schema::Struct messages - */ - template - typename std::enable_if< - !schema_is_array::Value, - V...>::Type>::Value, - typename Container::template ElementType< - message_parameter_key_pack_index::Value>:: - builder>::type - init() { - constexpr size_t i = - message_parameter_key_pack_index::Value; - - return init(); - } - - template - typename std::enable_if< - schema_is_array< - typename message_parameter_pack_type::Type>::Value, - typename Container::template ElementType::builder>::type - init(size_t size = 0) { - auto array_builder = - typename Container::template ElementType::builder{ - message_.container_.template get(), size}; - return array_builder; - } - - /* - * Version for array schema type - */ - template - typename std::enable_if< - schema_is_array::Value, - V...>::Type>::Value, - typename Container::template ElementType< - message_parameter_key_pack_index::Value>:: - builder>::type - init(size_t size) { - constexpr size_t i = - message_parameter_key_pack_index::Value; - - return init(size); - } - }; - - class reader { - private: - MessageType &message_; - - public: - reader(MessageType &msg) : message_{msg} {} - - builder as_builder() { return builder{message_}; } - - /* - * Get member by index - */ - template - typename Container::template ElementType::reader get() { - return typename Container::template ElementType::reader{ - message_.container_.template get()}; - } - - /* - * Get member by name - * This is the preferred method for schema::Struct messages - */ - template - typename Container::template ElementType< - message_parameter_key_pack_index::Value>::reader - get() { - // The index of the first match - constexpr size_t i = - message_parameter_key_pack_index::Value; - - return get(); - } - }; - - builder build() { return builder{*this}; } - - reader read() { return reader{*this}; } -}; - -/* - * Union message class. Wrapper object - */ -template -class message...>, Container> final - : public message_base { -private: - using SchemaType = schema::Union...>; - using MessageType = message; - - Container container_; - - static_assert(std::is_same_v, - "Container should have same the schema as Message"); - - friend class builder; - friend class reader; - -public: - class reader; - class builder { - private: - MessageType &message_; - - public: - builder(MessageType &msg) : message_{msg} {} - - reader as_reader() { return reader{message_}; } - - template - typename std::enable_if< - !schema_is_array< - typename message_parameter_pack_type::Type>::Value, - typename Container::template ElementType::builder>::type - - init() { - return typename Container::template ElementType::builder{ - message_.container_.template get()}; - } - - template - typename std::enable_if< - !schema_is_array::Value, - V...>::Type>::Value, - typename Container::template ElementType< - message_parameter_key_pack_index::Value>:: - builder>::type - init() { - constexpr size_t i = - message_parameter_key_pack_index::Value; - - return init(); - } - - /* - * If Schema is Array - */ - template - typename std::enable_if< - schema_is_array< - typename message_parameter_pack_type::Type>::Value, - typename Container::template ElementType::builder>::type - init(size_t size = 0) { - return typename Container::template ElementType::builder{ - message_.container_.template get(), size}; - } - - template - typename std::enable_if< - schema_is_array::Value, - V...>::Type>::Value, - typename Container::template ElementType< - message_parameter_key_pack_index::Value>:: - builder>::type - init(size_t size) { - constexpr size_t i = - message_parameter_key_pack_index::Value; - - return init(size); - } - }; - - class reader { - private: - MessageType &message_; - - public: - reader(MessageType &msg) : message_{msg} {} - - builder as_builder() { return builder{message_}; } - - template - typename Container::template ElementType::reader get() { - return typename Container::template ElementType::reader{ - message_.container_.template get()}; - } - - template - typename Container::template ElementType< - message_parameter_key_pack_index::Value>::reader - get() { - // The index of the first match - constexpr size_t i = - message_parameter_key_pack_index::Value; - - return get(); - } - - template - static constexpr size_t to_index() noexcept { - return message_parameter_key_pack_index::Value; - } - - size_t index() const noexcept { return message_.container_.index(); } - - template bool has_alternative() const { - return index() == to_index(); - } - }; -}; - -/* - * Array message class. Wrapper around an array schema element - */ -template -class message, Container> final : public message_base { -private: - using SchemaType = schema::Array; - using MessageType = message; - - Container container_; - - static_assert(std::is_same_v, - "Container should have same Schema as Message"); - - friend class builder; - friend class reader; - -public: - class reader; - class builder { - private: - MessageType &message_; - - public: - builder(MessageType &msg, size_t size) : message_{msg} { - if (size > 0) { - message_.container_.resize(size); - } - } - - reader as_reader() { return reader{message_}; } - - typename Container::ElementType::builder init(size_t i) { - return typename Container::ElementType::builder{ - message_.container_.get(i)}; - } - - size_t size() const { return message_.container_.size(); } - - void resize(size_t size) { message_.container_.resize(size); } - }; - - class reader { - private: - MessageType &message_; - - public: - reader(MessageType &msg) : message_{msg} {} - - builder as_builder() { return builder{message_, 0}; } - - typename Container::ElementType::reader get(size_t i) { - return typename Container::ElementType::reader{ - message_.container_.get(i)}; - } - - size_t size() const { return message_.container_.size(); } - }; -}; - -/* - * Tuple message class. Wrapper around a tuple schema - */ -template -class message, Container> final : public message_base { -private: - using SchemaType = schema::Tuple; - using MessageType = message; - - Container container_; - - static_assert(std::is_same_v, - "Container should have same the schema as Message"); - - friend class builder; - friend class reader; - -public: - class reader; - class builder { - MessageType &message_; - - public: - builder(MessageType &msg) : message_{msg} {} - - reader as_reader() { return reader{message_}; } - - template - typename std::enable_if< - !schema_is_array< - typename message_parameter_pack_type::Type>::Value, - typename Container::template ElementType::builder>::type - init() { - return typename Container::template ElementType::builder{ - message_.container_.template get()}; - } - - template - typename std::enable_if< - schema_is_array< - typename message_parameter_pack_type::Type>::Value, - typename Container::template ElementType::builder>::type - init(size_t size = 0) { - return typename Container::template ElementType::builder{ - message_.container_.template get(), size}; - } - }; - class reader { - private: - MessageType &message_; - - public: - reader(MessageType &msg) : message_{msg} {} - - builder as_builder() { return builder{message_}; } - - template - typename Container::template ElementType::reader get() { - return typename Container::template ElementType::reader{ - message_.container_.template get()}; - } - }; -}; - -/* - * Primitive type (float, double, uint8_t, uint16_t, uint32_t, uint64_t, int8_t, - * int16_t, int32_t, int64_t) message class - */ -template -class message, Container> final : public message_base { -private: - using SchemaType = schema::Primitive; - using MessageType = message; - - Container container_; - - static_assert(std::is_same_v, - "Container should have same the schema as Message"); - - friend class builder; - friend class reader; - -public: - class reader; - class builder { - private: - MessageType &message_; - - public: - builder(MessageType &msg) : message_{msg} {} - - reader as_reader() { return reader{message_}; } - - void set(const typename Container::ValueType &value) { - message_.container_.set(value); - } - }; - - class reader { - private: - MessageType &message_; - - public: - reader(message &msg) : message_{msg} {} - - builder as_builder() { return builder{message_}; } - - const typename Container::ValueType &get() const { - return message_.container_.get(); - } - }; -}; - -template -class message final : public message_base { -private: - using SchemaType = schema::String; - using MessageType = message; - - Container container_; - - static_assert(std::is_same_v, - "Container should have same the schema as Message"); - - friend class builder; - friend class reader; - -public: - class reader; - class builder { - private: - MessageType &message_; - - public: - builder(MessageType &msg) : message_{msg} {} - - reader as_reader() { return reader{message_}; } - - void set(std::string &&str) { message_.container_.set(std::move(str)); } - void set(const std::string_view str) { message_.container_.set(str); } - void set(const char *str) { set(std::string_view{str}); } - }; - - class reader { - private: - MessageType &message_; - - public: - reader(MessageType &msg) : message_{msg} {} - - builder as_builder() { return builder{message_}; } - - const std::string_view get() const { return message_.container_.get(); } - }; -}; - -template > -class heap_message_root { -private: - own> root_; - -public: - heap_message_root(own> r) - : root_{std::move(r)} {} - - typename message::builder build() { - assert(root_); - return typename message::builder{*root_}; - } - - typename message::reader read() { - assert(root_); - return typename message::reader{*root_}; - } -}; - -template -class heap_message_root, Container> { -public: - using Schema = schema::Array; - -private: - own> root_; - -public: - heap_message_root(own> r) - : root_{std::move(r)} {} - - typename message::builder build(size_t size) { - assert(root_); - return typename message::builder{*root_, size}; - } - - typename message::reader read() { - assert(root_); - return typename message::reader{*root_}; - } -}; - -/* - * Minor helper for creating a message root - */ -template > -inline heap_message_root new_heap_message_root() { - own> root = heap>(); - return heap_message_root{std::move(root)}; -} -} // namespace saw diff --git a/forstio/codec/message_container.h b/forstio/codec/message_container.h deleted file mode 100644 index 191052a..0000000 --- a/forstio/codec/message_container.h +++ /dev/null @@ -1,246 +0,0 @@ -#pragma once - -#include "schema.h" - -#include -#include - -namespace saw { -template class message_container; - -template > class message; - -template struct message_parameter_pack_type; - -template -struct message_parameter_pack_type<0, TN, T...> { - using Type = TN; -}; - -template -struct message_parameter_pack_type { - static_assert(sizeof...(T) > 0, "Exhausted parameters"); - using Type = typename message_parameter_pack_type::Type; -}; - -template struct MessageParameterPackIndex; - -template struct MessageParameterPackIndex { - static constexpr size_t Value = 0u; -}; - -template -struct MessageParameterPackIndex { - static constexpr size_t Value = - 1u + MessageParameterPackIndex::Value; -}; - -/* - * Nightmare inducing compiler problems found here. Somehow non-type - * StringLiterals cannot be resolved as non-type primitive template values can. - * This is the workaround - */ -template -struct message_parameter_key_pack_index_helper { - static constexpr size_t Value = - (V == Key0) - ? (0u) - : (1u + message_parameter_key_pack_index_helper::Value); -}; - -template -struct message_parameter_key_pack_index_helper { - static constexpr size_t Value = (V == Key0) ? (0u) : (1u); -}; - -template -struct message_parameter_key_pack_index { - static constexpr size_t Value = - message_parameter_key_pack_index_helper::Value; - static_assert(Value < sizeof...(Keys), - "Provided StringLiteral doesn't exist in searched list"); -}; - -template struct schema_is_array { - constexpr static bool Value = false; -}; - -template struct schema_is_array> { - constexpr static bool Value = true; -}; - -template -class message_container...>> { -private: - using ValueType = std::tuple>...>; - ValueType values_; - -public: - using SchemaType = schema::Struct...>; - - template - using ElementType = typename message_parameter_pack_type< - i, message>...>::Type; - - template ElementType &get() { return std::get(values_); } -}; - -/* - * Union storage - */ -template -class message_container...>> { -private: - using ValueType = std::variant>...>; - ValueType value_; - -public: - using SchemaType = schema::Union...>; - - template - using ElementType = typename message_parameter_pack_type< - i, message>...>::Type; - - template ElementType &get() { - if (i != value_.index()) { - using MessageIV = - typename message_parameter_pack_type::Type; - value_ = message>{}; - } - return std::get(value_); - } - - size_t index() const noexcept { return value_.index(); } -}; - -/* - * Array storage - */ - -template class message_container> { -private: - using ValueType = std::vector>>; - ValueType values_; - -public: - using SchemaType = schema::Array; - - using ElementType = message>; - - message> &get(size_t index) { - return values_.at(index); - } - - void resize(size_t size) { values_.resize(size); } - - size_t size() const { return values_.size(); } -}; - -/* - * Tuple storage - */ -template class message_container> { -private: - using ValueType = std::tuple>...>; - ValueType values_; - -public: - using SchemaType = schema::Tuple; - - template - using ElementType = typename message_parameter_pack_type< - i, message>...>::Type; - - template ElementType &get() { return std::get(values_); } -}; - -/* - * Helper for the basic message container, so the class doesn't have to be - * specialized 10 times. - */ -template struct PrimitiveTypeHelper; - -template <> -struct PrimitiveTypeHelper> { - using Type = int8_t; -}; - -template <> -struct PrimitiveTypeHelper> { - using Type = int16_t; -}; - -template <> -struct PrimitiveTypeHelper> { - using Type = int32_t; -}; - -template <> -struct PrimitiveTypeHelper> { - using Type = int64_t; -}; - -template <> -struct PrimitiveTypeHelper> { - using Type = uint8_t; -}; - -template <> -struct PrimitiveTypeHelper> { - using Type = uint16_t; -}; - -template <> -struct PrimitiveTypeHelper> { - using Type = uint32_t; -}; - -template <> -struct PrimitiveTypeHelper> { - using Type = uint64_t; -}; - -template <> -struct PrimitiveTypeHelper> { - using Type = float; -}; - -template <> -struct PrimitiveTypeHelper> { - using Type = double; -}; - -template class message_container> { -public: - using SchemaType = schema::Primitive; - using ValueType = - typename PrimitiveTypeHelper>::Type; - -private: - ValueType value_; - -public: - message_container() : value_{0} {} - - void set(const ValueType &v) { value_ = v; } - - const ValueType &get() const { return value_; } -}; - -template <> class message_container { -public: - using SchemaType = schema::String; - using ValueType = std::string; - using ValueViewType = std::string_view; - -private: - ValueType value_; - -public: - void set(ValueType &&v) { value_ = std::move(v); } - void set(const ValueType &v) { value_ = v; } - void set(const ValueViewType v) { value_ = std::string{v}; } - - const ValueType &get() const { return value_; } -}; -} // namespace saw diff --git a/forstio/codec/proto_kel.h b/forstio/codec/proto_kel.h new file mode 100644 index 0000000..c28f7d6 --- /dev/null +++ b/forstio/codec/proto_kel.h @@ -0,0 +1,41 @@ +#pragma once + +#include "data.h" + +#include + +namespace saw { +namespace encode { +struct ProtoKel {}; +} + +template +class data { +private: + own buffer_; +public: + data(own&& buffer__):buffer_{std::move(buffer__)}{} + + buffer& get_buffer(){ + return *buffer_; + } + + const buffer& get_buffer() const { + return *buffer_; + } +}; + +template +class codec { +private: +public: + error_or> decode(const data& encoded){ + return make_error(); + } + + error_or> encode(const data& native){ + return make_error(); + } +}; +} +} -- cgit v1.2.3