traits_getCategory.hpp

Go to the documentation of this file.

/************************************************************************
Copyright (C) 2011 - 2014 Project Wolframe.
All rights reserved.

This file is part of Project Wolframe.

Commercial Usage
Licensees holding valid Project Wolframe Commercial licenses may
use this file in accordance with the Project Wolframe
Commercial License Agreement provided with the Software or,
alternatively, in accordance with the terms contained
in a written agreement between the licensee and Project Wolframe.

GNU General Public License Usage
Alternatively, you can redistribute this file and/or modify it
under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.

Wolframe 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 Wolframe. If not, see <http://www.gnu.org/licenses/>.

If you have questions regarding the use of this file, please contact
Project Wolframe.

************************************************************************/

#ifndef _Wolframe_SERIALIZE_STRUCT_TRAITS_GET_CATEGORY_HPP_INCLUDED
#define _Wolframe_SERIALIZE_STRUCT_TRAITS_GET_CATEGORY_HPP_INCLUDED
#include "serialize/struct/structDescriptionBase.hpp"
#include "logger/logLevel.hpp"
#include "types/datetime.hpp"
#include "types/bignumber.hpp"
#include <boost/lexical_cast.hpp>
#include <boost/utility/enable_if.hpp>
#include <boost/type_traits.hpp>
#include <boost/detail/select_type.hpp>
#include <boost/type_traits/function_traits.hpp>
#include <vector>
#include <string>

namespace _Wolframe {
namespace serialize {
namespace traits {

struct struct_ {};              
struct vector_ {};              
struct atomic_ {};              

template<typename T,bool is_class_type=boost::is_class<T>::value>
struct has_description_method: boost::false_type {};

template<typename T>
struct has_description_method_noprm
{
        typedef char small_type;
        struct large_type {small_type dummy[2];};

        template<const StructDescriptionBase* (*)()> struct tester_static_signature;

        template<typename U>
        static small_type has_matching_member(tester_static_signature<&U::getStructDescription>*);
        template<typename U>
        static large_type has_matching_member(...);

        static const bool value=sizeof(has_matching_member<T>(0))==sizeof(small_type);
};

template<typename T>
struct has_description_method<T,true>:
        boost::integral_constant<bool, has_description_method_noprm<T>::value>
{};


template <typename T>
typename boost::enable_if_c<
        boost::is_same< std::vector< typename T::value_type> ,T>::value && !boost::is_same<std::string,T>::value
        ,const vector_&>::type getCategory( const T&) { static vector_ rt; return rt;}

template <typename T>
typename boost::enable_if_c<
        has_description_method<T>::value
        ,const struct_&>::type getCategory( const T&) { static struct_ rt; return rt;}

template <typename T>
typename boost::enable_if_c<
        boost::is_arithmetic<T>::value 
        || boost::is_same<std::string,T>::value
        || boost::is_same<types::DateTime,T>::value
        || boost::is_same<types::BigNumber,T>::value
        ,const atomic_&>::type getCategory( const T&) { static atomic_ rt; return rt;}

}}}// end namespace
#endif