value_type.hpp

Go to the documentation of this file.

// Copyright (C) 2012 iwg molw5
// For conditions of distribution and use, see copyright notice in COPYING

#pragma once

#include <framework/serializable/base_types.hpp>
#include <framework/serializable/mutator_type.hpp>

namespace framework
{
    namespace serializable
    {
        namespace detail
        {
            template <typename T, typename Enabler = void>
            struct is_value_type_impl;

            template <typename T>
            struct is_value_default_serializable_impl;

            template <typename T>
            struct value_name_impl;

            template <typename T>
            struct value_specification_impl;

            template <typename T, typename Derived>
            struct value_implementation_impl;
        }

        template <
            typename Name, 
            typename Specification,
            template <typename> class Interface,
            bool Default = true>
        struct value_type
        {
// GCC bug workaround - www.open-std.org/jtc1/sc22/wg21/docs/cwg_defects.html#580
#if MAX_GNUC_VERSION(4, 8, 0)
            public:
#else
            template <typename T, typename Enabler>
            friend struct detail::is_value_type_impl;

            template <typename T>
            friend struct detail::is_value_default_serializable_impl;

            template <typename T>
            friend struct detail::value_name_impl;

            template <typename T>
            friend struct detail::value_specification_impl;

            template <typename T, typename Derived>
            friend struct detail::value_implementation_impl;

            private:
#endif
                using serializable_value_enabler = void;
                using serializable_value_name = Name;
                using serializable_value_specification = Specification;
                enum{ serializable_value_default = Default };

                template <typename T>
                using serializable_value_implementation = Interface <T>;

                value_type () = delete;
                ~value_type () = delete;
        };

        template <typename T>
        using is_value_type = typename detail::is_value_type_impl <T>::type;

        template <typename T>
        using is_value_default_serializable = typename detail::is_value_type_impl <T>::type;

        template <typename T>
        using value_name = typename detail::value_name_impl <T>::type;

        template <typename T>
        using value_specification = typename detail::value_specification_impl <T>::type;

        template <typename T, typename Derived>
        using value_implementation = typename detail::value_implementation_impl <T, Derived>::type;

        template <
            typename Name, 
            typename Specification,
            template <typename> class Interface,
            typename Input,
            typename Output>
        bool read_dispatch (
            value_type <Name, Specification, Interface, true>*,
            Input&& in, Output&& out);

        template <
            typename Name, 
            typename Specification,
            template <typename> class Interface,
            typename Input,
            typename Output>
        bool write_dispatch (
            value_type <Name, Specification, Interface, true>*,
            Input&& in, Output&& out);
    }
}

#include <framework/serializable/value_type.inl>