diff options
Diffstat (limited to 'gcc-4.8.1/libstdc++-v3/include/ext/typelist.h')
| -rw-r--r-- | gcc-4.8.1/libstdc++-v3/include/ext/typelist.h | 559 |
1 files changed, 0 insertions, 559 deletions
diff --git a/gcc-4.8.1/libstdc++-v3/include/ext/typelist.h b/gcc-4.8.1/libstdc++-v3/include/ext/typelist.h deleted file mode 100644 index 576b9fc88..000000000 --- a/gcc-4.8.1/libstdc++-v3/include/ext/typelist.h +++ /dev/null @@ -1,559 +0,0 @@ -// -*- C++ -*- - -// Copyright (C) 2005-2013 Free Software Foundation, Inc. -// -// This file is part of the GNU ISO C++ Library. This library is free -// software; you can redistribute it and/or modify it under the -// terms of the GNU General Public License as published by the -// Free Software Foundation; either version 3, or (at your option) -// any later version. - -// This library 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. - -// Under Section 7 of GPL version 3, you are granted additional -// permissions described in the GCC Runtime Library Exception, version -// 3.1, as published by the Free Software Foundation. - -// You should have received a copy of the GNU General Public License and -// a copy of the GCC Runtime Library Exception along with this program; -// see the files COPYING3 and COPYING.RUNTIME respectively. If not, see -// <http://www.gnu.org/licenses/>. - -// Copyright (C) 2004 Ami Tavory and Vladimir Dreizin, IBM-HRL. - -// Permission to use, copy, modify, sell, and distribute this software -// is hereby granted without fee, provided that the above copyright -// notice appears in all copies, and that both that copyright notice and -// this permission notice appear in supporting documentation. None of -// the above authors, nor IBM Haifa Research Laboratories, make any -// representation about the suitability of this software for any -// purpose. It is provided "as is" without express or implied warranty. - -/** - * @file ext/typelist.h - * This file is a GNU extension to the Standard C++ Library. - * - * Contains typelist_chain definitions. - * Typelists are an idea by Andrei Alexandrescu. - */ - -#ifndef _TYPELIST_H -#define _TYPELIST_H 1 - -#include <ext/type_traits.h> - -namespace __gnu_cxx _GLIBCXX_VISIBILITY(default) -{ -_GLIBCXX_BEGIN_NAMESPACE_VERSION - -/** @namespace __gnu_cxx::typelist - * @brief GNU typelist extensions for public compile-time use. -*/ -namespace typelist -{ - struct null_type { }; - - template<typename Root> - struct node - { - typedef Root root; - }; - - // Forward declarations of functors. - template<typename Hd, typename Typelist> - struct chain - { - typedef Hd head; - typedef Typelist tail; - }; - - // Apply all typelist types to unary functor. - template<typename Fn, typename Typelist> - void - apply(Fn&, Typelist); - - /// Apply all typelist types to generator functor. - template<typename Gn, typename Typelist> - void - apply_generator(Gn&, Typelist); - - // Apply all typelist types and values to generator functor. - template<typename Gn, typename TypelistT, typename TypelistV> - void - apply_generator(Gn&, TypelistT, TypelistV); - - template<typename Typelist0, typename Typelist1> - struct append; - - template<typename Typelist_Typelist> - struct append_typelist; - - template<typename Typelist, typename T> - struct contains; - - template<typename Typelist, template<typename T> class Pred> - struct filter; - - template<typename Typelist, int i> - struct at_index; - - template<typename Typelist, template<typename T> class Transform> - struct transform; - - template<typename Typelist_Typelist> - struct flatten; - - template<typename Typelist> - struct from_first; - - template<typename T1> - struct create1; - - template<typename T1, typename T2> - struct create2; - - template<typename T1, typename T2, typename T3> - struct create3; - - template<typename T1, typename T2, typename T3, typename T4> - struct create4; - - template<typename T1, typename T2, typename T3, typename T4, typename T5> - struct create5; - - template<typename T1, typename T2, typename T3, - typename T4, typename T5, typename T6> - struct create6; -} // namespace typelist - -_GLIBCXX_END_NAMESPACE_VERSION -} // namespace - - -namespace __gnu_cxx _GLIBCXX_VISIBILITY(default) -{ -_GLIBCXX_BEGIN_NAMESPACE_VERSION - -namespace typelist -{ -namespace detail -{ - template<typename Fn, typename Typelist_Chain> - struct apply_; - - template<typename Fn, typename Hd, typename Tl> - struct apply_<Fn, chain<Hd, Tl> > - { - void - operator()(Fn& f) - { - f.operator()(Hd()); - apply_<Fn, Tl> next; - next(f); - } - }; - - template<typename Fn> - struct apply_<Fn, null_type> - { - void - operator()(Fn&) { } - }; - - template<typename Gn, typename Typelist_Chain> - struct apply_generator1_; - - template<typename Gn, typename Hd, typename Tl> - struct apply_generator1_<Gn, chain<Hd, Tl> > - { - void - operator()(Gn& g) - { - g.template operator()<Hd>(); - apply_generator1_<Gn, Tl> next; - next(g); - } - }; - - template<typename Gn> - struct apply_generator1_<Gn, null_type> - { - void - operator()(Gn&) { } - }; - - template<typename Gn, typename TypelistT_Chain, typename TypelistV_Chain> - struct apply_generator2_; - - template<typename Gn, typename Hd1, typename TlT, typename Hd2, typename TlV> - struct apply_generator2_<Gn, chain<Hd1, TlT>, chain<Hd2, TlV> > - { - void - operator()(Gn& g) - { - g.template operator()<Hd1, Hd2>(); - apply_generator2_<Gn, TlT, TlV> next; - next(g); - } - }; - - template<typename Gn> - struct apply_generator2_<Gn, null_type, null_type> - { - void - operator()(Gn&) { } - }; - - template<typename Typelist_Chain0, typename Typelist_Chain1> - struct append_; - - template<typename Hd, typename Tl, typename Typelist_Chain> - struct append_<chain<Hd, Tl>, Typelist_Chain> - { - private: - typedef append_<Tl, Typelist_Chain> append_type; - - public: - typedef chain<Hd, typename append_type::type> type; - }; - - template<typename Typelist_Chain> - struct append_<null_type, Typelist_Chain> - { - typedef Typelist_Chain type; - }; - - template<typename Typelist_Chain> - struct append_<Typelist_Chain, null_type> - { - typedef Typelist_Chain type; - }; - - template<> - struct append_<null_type, null_type> - { - typedef null_type type; - }; - - template<typename Typelist_Typelist_Chain> - struct append_typelist_; - - template<typename Hd> - struct append_typelist_<chain<Hd, null_type> > - { - typedef chain<Hd, null_type> type; - }; - - template<typename Hd, typename Tl> - struct append_typelist_<chain< Hd, Tl> > - { - private: - typedef typename append_typelist_<Tl>::type rest_type; - - public: - typedef typename append<Hd, node<rest_type> >::type::root type; - }; - - template<typename Typelist_Chain, typename T> - struct contains_; - - template<typename T> - struct contains_<null_type, T> - { - enum - { - value = false - }; - }; - - template<typename Hd, typename Tl, typename T> - struct contains_<chain<Hd, Tl>, T> - { - enum - { - value = contains_<Tl, T>::value - }; - }; - - template<typename Tl, typename T> - struct contains_<chain<T, Tl>, T> - { - enum - { - value = true - }; - }; - - template<typename Typelist_Chain, template<typename T> class Pred> - struct chain_filter_; - - template<template<typename T> class Pred> - struct chain_filter_<null_type, Pred> - { - typedef null_type type; - }; - - template<typename Hd, typename Tl, template<typename T> class Pred> - struct chain_filter_<chain<Hd, Tl>, Pred> - { - private: - enum - { - include_hd = Pred<Hd>::value - }; - - typedef typename chain_filter_<Tl, Pred>::type rest_type; - typedef chain<Hd, rest_type> chain_type; - - public: - typedef typename __conditional_type<include_hd, chain_type, rest_type>::__type type; - }; - - template<typename Typelist_Chain, int i> - struct chain_at_index_; - - template<typename Hd, typename Tl> - struct chain_at_index_<chain<Hd, Tl>, 0> - { - typedef Hd type; - }; - - template<typename Hd, typename Tl, int i> - struct chain_at_index_<chain<Hd, Tl>, i> - { - typedef typename chain_at_index_<Tl, i - 1>::type type; - }; - - template<class Typelist_Chain, template<typename T> class Transform> - struct chain_transform_; - - template<template<typename T> class Transform> - struct chain_transform_<null_type, Transform> - { - typedef null_type type; - }; - - template<class Hd, class Tl, template<typename T> class Transform> - struct chain_transform_<chain<Hd, Tl>, Transform> - { - private: - typedef typename chain_transform_<Tl, Transform>::type rest_type; - typedef typename Transform<Hd>::type transform_type; - - public: - typedef chain<transform_type, rest_type> type; - }; - - template<typename Typelist_Typelist_Chain> - struct chain_flatten_; - - template<typename Hd_Tl> - struct chain_flatten_<chain<Hd_Tl, null_type> > - { - typedef typename Hd_Tl::root type; - }; - - template<typename Hd_Typelist, class Tl_Typelist> - struct chain_flatten_<chain<Hd_Typelist, Tl_Typelist> > - { - private: - typedef typename chain_flatten_<Tl_Typelist>::type rest_type; - typedef append<Hd_Typelist, node<rest_type> > append_type; - public: - typedef typename append_type::type::root type; - }; -} // namespace detail -} // namespace typelist - -_GLIBCXX_END_NAMESPACE_VERSION -} // namespace - -#define _GLIBCXX_TYPELIST_CHAIN1(X0) __gnu_cxx::typelist::chain<X0, __gnu_cxx::typelist::null_type> -#define _GLIBCXX_TYPELIST_CHAIN2(X0, X1) __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN1(X1) > -#define _GLIBCXX_TYPELIST_CHAIN3(X0, X1, X2) __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN2(X1, X2) > -#define _GLIBCXX_TYPELIST_CHAIN4(X0, X1, X2, X3) __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN3(X1, X2, X3) > -#define _GLIBCXX_TYPELIST_CHAIN5(X0, X1, X2, X3, X4) __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN4(X1, X2, X3, X4) > -#define _GLIBCXX_TYPELIST_CHAIN6(X0, X1, X2, X3, X4, X5) __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN5(X1, X2, X3, X4, X5) > -#define _GLIBCXX_TYPELIST_CHAIN7(X0, X1, X2, X3, X4, X5, X6) __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN6(X1, X2, X3, X4, X5, X6) > -#define _GLIBCXX_TYPELIST_CHAIN8(X0, X1, X2, X3, X4, X5, X6, X7) __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN7(X1, X2, X3, X4, X5, X6, X7) > -#define _GLIBCXX_TYPELIST_CHAIN9(X0, X1, X2, X3, X4, X5, X6, X7, X8) __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN8(X1, X2, X3, X4, X5, X6, X7, X8) > -#define _GLIBCXX_TYPELIST_CHAIN10(X0, X1, X2, X3, X4, X5, X6, X7, X8, X9) __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN9(X1, X2, X3, X4, X5, X6, X7, X8, X9) > -#define _GLIBCXX_TYPELIST_CHAIN11(X0, X1, X2, X3, X4, X5, X6, X7, X8, X9, X10) __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN10(X1, X2, X3, X4, X5, X6, X7, X8, X9, X10) > -#define _GLIBCXX_TYPELIST_CHAIN12(X0, X1, X2, X3, X4, X5, X6, X7, X8, X9, X10, X11) __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN11(X1, X2, X3, X4, X5, X6, X7, X8, X9, X10, X11) > -#define _GLIBCXX_TYPELIST_CHAIN13(X0, X1, X2, X3, X4, X5, X6, X7, X8, X9, X10, X11, X12) __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN12(X1, X2, X3, X4, X5, X6, X7, X8, X9, X10, X11, X12) > -#define _GLIBCXX_TYPELIST_CHAIN14(X0, X1, X2, X3, X4, X5, X6, X7, X8, X9, X10, X11, X12, X13) __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN13(X1, X2, X3, X4, X5, X6, X7, X8, X9, X10, X11, X12, X13) > -#define _GLIBCXX_TYPELIST_CHAIN15(X0, X1, X2, X3, X4, X5, X6, X7, X8, X9, X10, X11, X12, X13, X14) __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN14(X1, X2, X3, X4, X5, X6, X7, X8, X9, X10, X11, X12, X13, X14) > -#define _GLIBCXX_TYPELIST_CHAIN16(X0, X1, X2, X3, X4, X5, X6, X7, X8, X9, X10, X11, X12, X13, X14, X15) __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN15(X1, X2, X3, X4, X5, X6, X7, X8, X9, X10, X11, X12, X13, X14, X15) > -#define _GLIBCXX_TYPELIST_CHAIN17(X0, X1, X2, X3, X4, X5, X6, X7, X8, X9, X10, X11, X12, X13, X14, X15, X16) __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN16(X1, X2, X3, X4, X5, X6, X7, X8, X9, X10, X11, X12, X13, X14, X15, X16) > -#define _GLIBCXX_TYPELIST_CHAIN18(X0, X1, X2, X3, X4, X5, X6, X7, X8, X9, X10, X11, X12, X13, X14, X15, X16, X17) __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN17(X1, X2, X3, X4, X5, X6, X7, X8, X9, X10, X11, X12, X13, X14, X15, X16, X17) > -#define _GLIBCXX_TYPELIST_CHAIN19(X0, X1, X2, X3, X4, X5, X6, X7, X8, X9, X10, X11, X12, X13, X14, X15, X16, X17, X18) __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN18(X1, X2, X3, X4, X5, X6, X7, X8, X9, X10, X11, X12, X13, X14, X15, X16, X17, X18) > -#define _GLIBCXX_TYPELIST_CHAIN20(X0, X1, X2, X3, X4, X5, X6, X7, X8, X9, X10, X11, X12, X13, X14, X15, X16, X17, X18, X19) __gnu_cxx::typelist::chain<X0, _GLIBCXX_TYPELIST_CHAIN19(X1, X2, X3, X4, X5, X6, X7, X8, X9, X10, X11, X12, X13, X14, X15, X16, X17, X18, X19) > - -namespace __gnu_cxx _GLIBCXX_VISIBILITY(default) -{ -_GLIBCXX_BEGIN_NAMESPACE_VERSION - -namespace typelist -{ - template<typename Fn, typename Typelist> - void - apply(Fn& fn, Typelist) - { - detail::apply_<Fn, typename Typelist::root> a; - a(fn); - } - - template<typename Fn, typename Typelist> - void - apply_generator(Fn& fn, Typelist) - { - detail::apply_generator1_<Fn, typename Typelist::root> a; - a(fn); - } - - template<typename Fn, typename TypelistT, typename TypelistV> - void - apply_generator(Fn& fn, TypelistT, TypelistV) - { - typedef typename TypelistT::root rootT; - typedef typename TypelistV::root rootV; - detail::apply_generator2_<Fn, rootT, rootV> a; - a(fn); - } - - template<typename Typelist0, typename Typelist1> - struct append - { - private: - typedef typename Typelist0::root root0_type; - typedef typename Typelist1::root root1_type; - typedef detail::append_<root0_type, root1_type> append_type; - - public: - typedef node<typename append_type::type> type; - }; - - template<typename Typelist_Typelist> - struct append_typelist - { - private: - typedef typename Typelist_Typelist::root root_type; - typedef detail::append_typelist_<root_type> append_type; - - public: - typedef node<typename append_type::type> type; - }; - - template<typename Typelist, typename T> - struct contains - { - private: - typedef typename Typelist::root root_type; - - public: - enum - { - value = detail::contains_<root_type, T>::value - }; - }; - - template<typename Typelist, template<typename T> class Pred> - struct filter - { - private: - typedef typename Typelist::root root_type; - typedef detail::chain_filter_<root_type, Pred> filter_type; - - public: - typedef node<typename filter_type::type> type; - }; - - template<typename Typelist, int i> - struct at_index - { - private: - typedef typename Typelist::root root_type; - typedef detail::chain_at_index_<root_type, i> index_type; - - public: - typedef typename index_type::type type; - }; - - template<typename Typelist, template<typename T> class Transform> - struct transform - { - private: - typedef typename Typelist::root root_type; - typedef detail::chain_transform_<root_type, Transform> transform_type; - - public: - typedef node<typename transform_type::type> type; - }; - - template<typename Typelist_Typelist> - struct flatten - { - private: - typedef typename Typelist_Typelist::root root_type; - typedef typename detail::chain_flatten_<root_type>::type flatten_type; - - public: - typedef node<flatten_type> type; - }; - - template<typename Typelist> - struct from_first - { - private: - typedef typename at_index<Typelist, 0>::type first_type; - - public: - typedef node<chain<first_type, null_type> > type; - }; - - template<typename T1> - struct create1 - { - typedef node<_GLIBCXX_TYPELIST_CHAIN1(T1)> type; - }; - - template<typename T1, typename T2> - struct create2 - { - typedef node<_GLIBCXX_TYPELIST_CHAIN2(T1,T2)> type; - }; - - template<typename T1, typename T2, typename T3> - struct create3 - { - typedef node<_GLIBCXX_TYPELIST_CHAIN3(T1,T2,T3)> type; - }; - - template<typename T1, typename T2, typename T3, typename T4> - struct create4 - { - typedef node<_GLIBCXX_TYPELIST_CHAIN4(T1,T2,T3,T4)> type; - }; - - template<typename T1, typename T2, typename T3, - typename T4, typename T5> - struct create5 - { - typedef node<_GLIBCXX_TYPELIST_CHAIN5(T1,T2,T3,T4,T5)> type; - }; - - template<typename T1, typename T2, typename T3, - typename T4, typename T5, typename T6> - struct create6 - { - typedef node<_GLIBCXX_TYPELIST_CHAIN6(T1,T2,T3,T4,T5,T6)> type; - }; -} // namespace typelist -_GLIBCXX_END_NAMESPACE_VERSION -} // namespace - - -#endif |