URL
https://opencores.org/ocsvn/scarts/scarts/trunk
Subversion Repositories scarts
[/] [scarts/] [trunk/] [toolchain/] [scarts-gcc/] [gcc-4.1.1/] [libstdc++-v3/] [include/] [ext/] [pb_assoc/] [detail/] [typelist.hpp] - Rev 17
Compare with Previous | Blame | View Log
// -*- C++ -*- // Copyright (C) 2005 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 2, 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. // You should have received a copy of the GNU General Public License along // with this library; see the file COPYING. If not, write to the Free // Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, // USA. // As a special exception, you may use this file as part of a free software // library without restriction. Specifically, if other files instantiate // templates or use macros or inline functions from this file, or you compile // this file and link it with other files to produce an executable, this // file does not by itself cause the resulting executable to be covered by // the GNU General Public License. This exception does not however // invalidate any other reasons why the executable file might be covered by // the GNU General Public License. // 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 typelist.hpp * Contains typelist_chain definitions. * Typelists are an idea by Andrei Alexandrescu. */ #ifndef TYPELIST_HPP #define TYPELIST_HPP #ifdef _MSC_VER #pragma warning(disable: 4503) #endif // #ifdef _MSC_VER #include <ext/pb_assoc/detail/type_utils.hpp> namespace pb_assoc { namespace detail { struct null_type { }; template<typename Hd, typename Tl> struct typelist_chain { typedef Hd head; typedef Tl tail; }; template<class Root> struct typelist { typedef Root root; }; #define PB_ASSOC_TYPELIST_CHAIN1(X0) pb_assoc::detail::typelist_chain<X0, pb_assoc::detail::null_type> #define PB_ASSOC_TYPELIST_CHAIN2(X0, X1) pb_assoc::detail::typelist_chain<X0, PB_ASSOC_TYPELIST_CHAIN1(X1) > #define PB_ASSOC_TYPELIST_CHAIN3(X0, X1, X2) pb_assoc::detail::typelist_chain<X0, PB_ASSOC_TYPELIST_CHAIN2(X1, X2) > #define PB_ASSOC_TYPELIST_CHAIN4(X0, X1, X2, X3) pb_assoc::detail::typelist_chain<X0, PB_ASSOC_TYPELIST_CHAIN3(X1, X2, X3) > #define PB_ASSOC_TYPELIST_CHAIN5(X0, X1, X2, X3, X4) pb_assoc::detail::typelist_chain<X0, PB_ASSOC_TYPELIST_CHAIN4(X1, X2, X3, X4) > #define PB_ASSOC_TYPELIST_CHAIN6(X0, X1, X2, X3, X4, X5) pb_assoc::detail::typelist_chain<X0, PB_ASSOC_TYPELIST_CHAIN5(X1, X2, X3, X4, X5) > #define PB_ASSOC_TYPELIST_CHAIN7(X0, X1, X2, X3, X4, X5, X6) pb_assoc::detail::typelist_chain<X0, PB_ASSOC_TYPELIST_CHAIN6(X1, X2, X3, X4, X5, X6) > #define PB_ASSOC_TYPELIST_CHAIN8(X0, X1, X2, X3, X4, X5, X6, X7) pb_assoc::detail::typelist_chain<X0, PB_ASSOC_TYPELIST_CHAIN7(X1, X2, X3, X4, X5, X6, X7) > #define PB_ASSOC_TYPELIST_CHAIN9(X0, X1, X2, X3, X4, X5, X6, X7, X8) pb_assoc::detail::typelist_chain<X0, PB_ASSOC_TYPELIST_CHAIN8(X1, X2, X3, X4, X5, X6, X7, X8) > #define PB_ASSOC_TYPELIST_CHAIN10(X0, X1, X2, X3, X4, X5, X6, X7, X8, X9) pb_assoc::detail::typelist_chain<X0, PB_ASSOC_TYPELIST_CHAIN9(X1, X2, X3, X4, X5, X6, X7, X8, X9) > #define PB_ASSOC_TYPELIST_CHAIN11(X0, X1, X2, X3, X4, X5, X6, X7, X8, X9, X10) pb_assoc::detail::typelist_chain<X0, PB_ASSOC_TYPELIST_CHAIN10(X1, X2, X3, X4, X5, X6, X7, X8, X9, X10) > #define PB_ASSOC_TYPELIST_CHAIN12(X0, X1, X2, X3, X4, X5, X6, X7, X8, X9, X10, X11) pb_assoc::detail::typelist_chain<X0, PB_ASSOC_TYPELIST_CHAIN11(X1, X2, X3, X4, X5, X6, X7, X8, X9, X10, X11) > #define PB_ASSOC_TYPELIST_CHAIN13(X0, X1, X2, X3, X4, X5, X6, X7, X8, X9, X10, X11, X12) pb_assoc::detail::typelist_chain<X0, PB_ASSOC_TYPELIST_CHAIN12(X1, X2, X3, X4, X5, X6, X7, X8, X9, X10, X11, X12) > #define PB_ASSOC_TYPELIST_CHAIN14(X0, X1, X2, X3, X4, X5, X6, X7, X8, X9, X10, X11, X12, X13) pb_assoc::detail::typelist_chain<X0, PB_ASSOC_TYPELIST_CHAIN13(X1, X2, X3, X4, X5, X6, X7, X8, X9, X10, X11, X12, X13) > #define PB_ASSOC_TYPELIST_CHAIN15(X0, X1, X2, X3, X4, X5, X6, X7, X8, X9, X10, X11, X12, X13, X14) pb_assoc::detail::typelist_chain<X0, PB_ASSOC_TYPELIST_CHAIN14(X1, X2, X3, X4, X5, X6, X7, X8, X9, X10, X11, X12, X13, X14) > #include <ext/pb_assoc/detail/typelist/typelist_apply.hpp> template<class Fn, class Typelist> void typelist_apply(Fn& r_fn, Typelist /*tl*/) { detail::apply_< Fn, typename Typelist::root> a; a(r_fn); } #include <ext/pb_assoc/detail/typelist/typelist_append.hpp> template<class Typelist0, class Typelist1> struct typelist_append { private: typedef typename detail::typelist_append_< typename Typelist0::root, typename Typelist1::root>::type res_hd; public: typedef typelist< res_hd> type; }; #include <ext/pb_assoc/detail/typelist/typelist_typelist_append.hpp> template<class Typelist_Typelist> struct typelist_typelist_append { private: typedef typename detail::typelist_typelist_append_< typename Typelist_Typelist::root>::type res_hd; public: typedef typelist< res_hd> type; }; #include <ext/pb_assoc/detail/typelist/typelist_contains.hpp> template<class Typelist, class T> struct typelist_contains { enum { value = detail::typelist_contains_< typename Typelist::root, T>::value }; }; #include <ext/pb_assoc/detail/typelist/typelist_filter.hpp> template<class Typelist, template<typename T> class Pred> struct typelist_filter { private: typedef typename detail::typelist_chain_filter_< typename Typelist::root, Pred>::type root_type; public: typedef typelist< root_type> type; }; #include <ext/pb_assoc/detail/typelist/typelist_at_index.hpp> template<class Typelist, int i> struct typelist_at_index { typedef typename detail::typelist_chain_at_index_< typename Typelist::root, i>::type type; }; #include <ext/pb_assoc/detail/typelist/typelist_transform.hpp> template<class Typelist, template<class T> class Transform> struct typelist_transform { private: typedef typename detail::typelist_chain_transform_< typename Typelist::root, Transform>::type root_type; public: typedef typelist< root_type> type; }; #undef PB_ASSOC_TYPELIST_CHAIN1 #undef PB_ASSOC_TYPELIST_CHAIN2 #undef PB_ASSOC_TYPELIST_CHAIN3 #undef PB_ASSOC_TYPELIST_CHAIN4 #undef PB_ASSOC_TYPELIST_CHAIN5 #undef PB_ASSOC_TYPELIST_CHAIN6 #undef PB_ASSOC_TYPELIST_CHAIN7 #undef PB_ASSOC_TYPELIST_CHAIN8 #undef PB_ASSOC_TYPELIST_CHAIN9 #undef PB_ASSOC_TYPELIST_CHAIN10 #undef PB_ASSOC_TYPELIST_CHAIN11 #undef PB_ASSOC_TYPELIST_CHAIN12 #undef PB_ASSOC_TYPELIST_CHAIN13 #undef PB_ASSOC_TYPELIST_CHAIN14 #undef PB_ASSOC_TYPELIST_CHAIN15 } // namespace detail } // namespace pb_assoc #endif // #ifndef TYPELIST_HPP