node_traits.h

// -*- mode: c++; tab-width: 4; indent-tabs-mode: t; eval: (progn (c-set-style "stroustrup") (c-set-offset 'innamespace 0)); -*-
// vi:set ts=4 sts=4 sw=4 noet :
// Copyright 2014, The TPIE development team
// 
// This file is part of TPIE.
// 
// TPIE is free software: you can redistribute it and/or modify it under
// the terms of the GNU Lesser General Public License as published by the
// Free Software Foundation, either version 3 of the License, or (at your
// option) any later version.
// 
// TPIE 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 Lesser General Public
// License for more details.
// 
// You should have received a copy of the GNU Lesser General Public License
// along with TPIE.  If not, see <http://www.gnu.org/licenses/>
 
#ifndef TPIE_PIPELINING_NODE_TRAITS_H
#define TPIE_PIPELINING_NODE_TRAITS_H
 
#include <type_traits>
 
namespace tpie::pipelining {
namespace bits {
 
template <typename T>
struct remove {
    typedef T type;
};
 
template <typename T>
struct remove<const T> {
    typedef typename remove<T>::type type;
};
 
template <typename T>
struct remove<T &> {
    typedef typename remove<T>::type type;
};
 
template <typename T>
struct remove<T &&> {
    typedef typename remove<T>::type type;
};
 
template <typename T>
struct push_traits {};
 
template <typename ClassType, typename ArgType>
struct push_traits< void(ClassType::*)(ArgType) > {
    typedef ArgType type;
};
 
template <typename T>
struct pull_traits {};
 
template <typename ClassType, typename RetType>
struct pull_traits< RetType(ClassType::*)() > {
    typedef RetType type;
};
 
template <typename T>
using void_if_valid = void;
 
template <typename T>
struct has_itemtype {
    typedef char yes[1];
    typedef char no[2];
 
    template <typename C>
    static yes& test(void_if_valid<typename C::item_type> *);
 
    template <typename>
    static no& test(...);
    //static_assert(sizeof(test<T>(nullptr)) == sizeof(yes), "WTF");
    static const bool value = sizeof(test<T>(nullptr)) == sizeof(yes);
};
 
template <typename T>
struct has_push_method {
    typedef char yes[1];
    typedef char no[2];
 
    template <typename C>
    static yes& test(void_if_valid<typename push_traits<decltype(&C::push)>::type> *);
 
    template <typename>
    static no& test(...);
    //static_assert(sizeof(test<T>(nullptr)) == sizeof(yes), "WTF");
    static const bool value = sizeof(test<T>(nullptr)) == sizeof(yes);
};
 
template <typename T>
struct has_pull_method {
    typedef char yes[1];
    typedef char no[2];
 
    template <typename C>
    static yes& test(void_if_valid<typename pull_traits<decltype(&C::pull)>::type> *);
 
    template <typename>
    static no& test(...);
    //static_assert(sizeof(test<T>(nullptr)) == sizeof(yes), "WTF");
    static const bool value = sizeof(test<T>(nullptr)) == sizeof(yes);
};
 
template <typename T, typename default_type, bool has_push_method, bool has_item_type>
struct push_type_help {
    typedef default_type type;
};
 
template <typename T, typename default_type, bool has_push_method>
struct push_type_help<T, default_type, has_push_method, true> {
    typedef typename T::item_type type;
};
 
template <typename T, typename default_type>
struct push_type_help<T, default_type, true, false> {
    typedef typename push_traits<decltype(&T::push)>::type type_;
    typedef typename std::decay<type_>::type type;
};
 
template <typename T, typename default_type, bool has_push_method, bool has_item_type>
struct pull_type_help {
    typedef default_type type;
};
 
template <typename T, typename default_type, bool has_pull_method>
struct pull_type_help<T, default_type, has_pull_method, true> {
    typedef typename T::item_type type;
};
 
template <typename T, typename default_type>
struct pull_type_help<T, default_type, true, false> {
    typedef typename pull_traits<decltype(&T::pull)>::type type_;
    typedef typename std::decay<type_>::type type;
};
 
struct pull_type_base_tag;
 
template <typename T,  template <typename> typename map>
struct pull_type_base_help {using item_type = map<T>;};
 
template <template <typename> typename map>
struct pull_type_base_help<pull_type_base_tag, map> {};
 
 
} // namespace bits
 
template <typename T, typename default_type = void>
struct push_type {
    typedef typename std::decay<T>::type node_type;
    typedef typename bits::push_type_help<node_type, default_type, bits::has_push_method<node_type>::value, bits::has_itemtype<node_type>::value>::type type;
    static_assert(!std::is_void<type>::value, "Could not deduce push type.");
};
 
template <typename T, typename default_type = void>
struct pull_type {
    typedef typename std::decay<T>::type node_type;
    typedef typename bits::pull_type_help<node_type, default_type, bits::has_pull_method<node_type>::value, bits::has_itemtype<node_type>::value>::type type;
    static_assert(!std::is_void<type>::value, "Could not deduce pull type.");
};
 
 
template <typename T>
using push_type_map_identity = T;
 
template <typename T, template <typename> typename map = push_type_map_identity>
using pull_type_base = bits::pull_type_base_help<typename push_type<T, bits::pull_type_base_tag>::type, map>;
 
} // namespace tpie::pipelining
 
#endif // TPIE_PIPELINING_NODE_TRAITS_H