Chris@16: ///////////////////////////////////////////////////////////////////////////////
Chris@16: /// \file args.hpp
Chris@16: /// Contains definition of \c term\<\>, \c list1\<\>, \c list2\<\>, ...
Chris@16: /// class templates.
Chris@16: //
Chris@16: //  Copyright 2008 Eric Niebler. Distributed under the Boost
Chris@16: //  Software License, Version 1.0. (See accompanying file
Chris@16: //  LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
Chris@16: 
Chris@16: #ifndef BOOST_PROTO_ARGS_HPP_EAN_04_01_2005
Chris@16: #define BOOST_PROTO_ARGS_HPP_EAN_04_01_2005
Chris@16: 
Chris@16: #include <boost/preprocessor/cat.hpp>
Chris@16: #include <boost/preprocessor/arithmetic/dec.hpp>
Chris@16: #include <boost/preprocessor/iteration/iterate.hpp>
Chris@16: #include <boost/preprocessor/repetition/enum_params.hpp>
Chris@16: #include <boost/preprocessor/repetition/repeat.hpp>
Chris@16: #include <boost/preprocessor/repetition/repeat_from_to.hpp>
Chris@16: #include <boost/mpl/if.hpp>
Chris@16: #include <boost/mpl/void.hpp>
Chris@16: #include <boost/proto/proto_fwd.hpp>
Chris@16: #include <boost/proto/detail/is_noncopyable.hpp>
Chris@16: 
Chris@16: #include <boost/mpl/or.hpp>
Chris@16: #include <boost/type_traits/is_function.hpp>
Chris@16: #include <boost/type_traits/is_abstract.hpp>
Chris@16: 
Chris@16: namespace boost { namespace proto
Chris@16: {
Chris@16:     namespace detail
Chris@16:     {
Chris@16:         /// INTERNAL ONLY
Chris@16:         template<typename Expr>
Chris@16:         struct expr_traits
Chris@16:         {
Chris@16:             typedef Expr value_type;
Chris@16:             typedef Expr &reference;
Chris@16:             typedef Expr const &const_reference;
Chris@16:         };
Chris@16: 
Chris@16:         /// INTERNAL ONLY
Chris@16:         template<typename Expr>
Chris@16:         struct expr_traits<Expr &>
Chris@16:         {
Chris@16:             typedef Expr value_type;
Chris@16:             typedef Expr &reference;
Chris@16:             typedef Expr &const_reference;
Chris@16:         };
Chris@16: 
Chris@16:         /// INTERNAL ONLY
Chris@16:         template<typename Expr>
Chris@16:         struct expr_traits<Expr const &>
Chris@16:         {
Chris@16:             typedef Expr value_type;
Chris@16:             typedef Expr const &reference;
Chris@16:             typedef Expr const &const_reference;
Chris@16:         };
Chris@16: 
Chris@16:         /// INTERNAL ONLY
Chris@16:         template<typename T>
Chris@16:         struct term_traits
Chris@16:         {
Chris@16:             typedef T value_type;
Chris@16:             typedef T &reference;
Chris@16:             typedef T const &const_reference;
Chris@16:         };
Chris@16: 
Chris@16:         /// INTERNAL ONLY
Chris@16:         template<typename T>
Chris@16:         struct term_traits<T &>
Chris@16:         {
Chris@16:             typedef typename mpl::if_c<is_noncopyable<T>::value, T &, T>::type value_type;
Chris@16:             typedef T &reference;
Chris@16:             typedef T &const_reference;
Chris@16:         };
Chris@16: 
Chris@16:         /// INTERNAL ONLY
Chris@16:         template<typename T>
Chris@16:         struct term_traits<T const &>
Chris@16:         {
Chris@16:             typedef T value_type;
Chris@16:             typedef T const &reference;
Chris@16:             typedef T const &const_reference;
Chris@16:         };
Chris@16: 
Chris@16:         /// INTERNAL ONLY
Chris@16:         template<typename T, std::size_t N>
Chris@16:         struct term_traits<T (&)[N]>
Chris@16:         {
Chris@16:             typedef T value_type[N];
Chris@16:             typedef T (&reference)[N];
Chris@16:             typedef T (&const_reference)[N];
Chris@16:         };
Chris@16: 
Chris@16:         /// INTERNAL ONLY
Chris@16:         template<typename T, std::size_t N>
Chris@16:         struct term_traits<T const (&)[N]>
Chris@16:         {
Chris@16:             typedef T value_type[N];
Chris@16:             typedef T const (&reference)[N];
Chris@16:             typedef T const (&const_reference)[N];
Chris@16:         };
Chris@16: 
Chris@16:         /// INTERNAL ONLY
Chris@16:         template<typename T, std::size_t N>
Chris@16:         struct term_traits<T[N]>
Chris@16:         {
Chris@16:             typedef T value_type[N];
Chris@16:             typedef T (&reference)[N];
Chris@16:             typedef T const (&const_reference)[N];
Chris@16:         };
Chris@16: 
Chris@16:         /// INTERNAL ONLY
Chris@16:         template<typename T, std::size_t N>
Chris@16:         struct term_traits<T const[N]>
Chris@16:         {
Chris@16:             typedef T value_type[N];
Chris@16:             typedef T const (&reference)[N];
Chris@16:             typedef T const (&const_reference)[N];
Chris@16:         };
Chris@16:     }
Chris@16: 
Chris@16:     namespace argsns_
Chris@16:     {
Chris@16:         // This is where term and all the different listN templates are defined
Chris@16:         #include <boost/proto/detail/args.hpp>
Chris@16:     }
Chris@16: 
Chris@16: }}
Chris@16: 
Chris@16: #endif
Chris@16: