// $Id$
//
// Copyright (C) 2008
// Fraunhofer Institute for Open Communication Systems (FOKUS)
//
// The contents of this file are subject to the Fraunhofer FOKUS Public License
// Version 1.0 (the "License"); you may not use this file except in compliance
// with the License. You may obtain a copy of the License at 
// http://senf.berlios.de/license.html
//
// The Fraunhofer FOKUS Public License Version 1.0 is based on, 
// but modifies the Mozilla Public License Version 1.1.
// See the full license text for the amendments.
//
// Software distributed under the License is distributed on an "AS IS" basis, 
// WITHOUT WARRANTY OF ANY KIND, either express or implied. See the License 
// for the specific language governing rights and limitations under the License.
//
// The Original Code is Fraunhofer FOKUS code.
//
// The Initial Developer of the Original Code is Fraunhofer-Gesellschaft e.V. 
// (registered association), Hansastraße 27 c, 80686 Munich, Germany.
//
// Contributor(s):
//   Stefan Bund <g0dil@berlios.de>


/** \file
    \brief type_traits Boost.Preprocesser external iteration include */

#if !BOOST_PP_IS_ITERATING && !defined(MPP_type_traits_)
#define MPP_type_traits_ 1

// Custom includes
#include <boost/preprocessor/iteration/iterate.hpp>
#include <boost/preprocessor/repetition/enum.hpp>
#include <boost/preprocessor/cat.hpp>
#include <boost/preprocessor/arithmetic/inc.hpp>
#include <boost/preprocessor/repetition/repeat_from_to.hpp>
#include <boost/preprocessor/punctuation/comma_if.hpp>
#include <boost/preprocessor/arithmetic/dec.hpp>
#include <boost/preprocessor/repetition/enum_trailing_params.hpp>
#include <boost/preprocessor/repetition/enum_params.hpp>

//-///////////////////////////mpp.p////////////////////////////////////////
#elif BOOST_PP_IS_ITERATING //-////////////////////////////////////////////
//-////////////////////////////////////////////////////////////////////////
// Local Macros

#define mpp_Arg(n) BOOST_PP_CAT(BOOST_PP_CAT(arg, BOOST_PP_INC(n)), _type)

#define mpp_OtherArgs_(z,n,d) BOOST_PP_COMMA_IF( BOOST_PP_DEC(n) ) typename traits::mpp_Arg(n)
#define mpp_OtherArgs() BOOST_PP_REPEAT_FROM_TO( 1, BOOST_PP_ITERATION(), mpp_OtherArgs_, _ )

#define mpp_ArgN() BOOST_PP_ITERATION()
#define mpp_CurArg() mpp_Arg(BOOST_PP_ITERATION())

#define mpp_TrailTplArgs() BOOST_PP_ENUM_TRAILING_PARAMS( BOOST_PP_ITERATION(), class A )
#define mpp_Args() BOOST_PP_ENUM_PARAMS( BOOST_PP_ITERATION(), A )

//-////////////////////////////////////////////////////////////////////////
#if BOOST_PP_ITERATION_FLAGS()==1 //-//////////////////////////////////////
//-////////////////////////////////////////////////////////////////////////

template <class Traits>
struct function_traits_remove_arg<Traits, mpp_ArgN()>
{
    typedef Traits traits;
    typedef boost::function_traits<typename traits::result_type( mpp_OtherArgs() )> type;
};

template < class C, class RV mpp_TrailTplArgs()>
struct remove_member_pointer<RV (C::*)(mpp_Args())>
{
    typedef RV type (mpp_Args());
};

template < class C, class RV mpp_TrailTplArgs() >
struct member_class<RV (C::*)(mpp_Args())>
{
    typedef C type;
};

template <class Traits>
struct function_traits_arg_type<Traits, mpp_ArgN(), true>
{
    typedef typename Traits::mpp_CurArg() type;
};

template <class C, class T mpp_TrailTplArgs() >
struct remove_member_pointer <T (C::*)( mpp_Args() ) const>
{
    typedef T type (mpp_Args());
};

template <class C, class T mpp_TrailTplArgs() >
struct remove_member_pointer <T (C::* const)( mpp_Args() ) const>
{
    typedef T type (mpp_Args());
};

//-////////////////////////////////////////////////////////////////////////
#endif //-/////////////////////////////////////////////////////////////////
//-////////////////////////////////////////////////////////////////////////
// Undefine local Macros

#undef mpp_Args
#undef mpp_TrailTplArgs
#undef mpp_CurArg
#undef mpp_ArgN
#undef mpp_OtherArgs
#undef mpp_OtherArgs_
#undef mpp_Arg

//-////////////////////////////////////////////////////////////////////////
/*
 (save-excursion (re-search-backward "^// Undefine local Macros")
 (forward-line 1) (delete-region (point) (progn (search-forward
 "//-////") (forward-line -1) (point))) (insert "\n") (let ((b (point))
 (e (progn (insert (save-excursion (re-search-backward
 "^// Local Macros") (search-forward "#define") (beginning-of-line)
 (buffer-substring (point) (progn (search-forward "//-////")
 (search-backward "#define") (forward-line 1) (point))))) (point))))
 (reverse-region b e) (shell-command-on-region b e "grep -F '#define'" nil
 t) (goto-char b) (while (looking-at "#define") (delete-char 7) (insert
 "#undef") (skip-chars-forward " ") (re-search-forward "[^a-zA-Z0-9_]")
 (delete-region (1- (point)) (progn (end-of-line) (point))) (forward-line
 1))))
*/
#endif //-/////////////////////////////////////////////////////////////////
//-///////////////////////////mpp.e////////////////////////////////////////


// Local Variables:
// mode: c++
// fill-column: 100
// comment-column: 40
// c-file-style: "senf"
// indent-tabs-mode: nil
// ispell-local-dictionary: "american"
// compile-command: "scons -u test"
// End: