

#ifndef BOOST_MPL_SET_AUX_HAS_KEY_IMPL_HPP_INCLUDED

#define BOOST_MPL_SET_AUX_HAS_KEY_IMPL_HPP_INCLUDED



// Copyright Aleksey Gurtovoy 2003-2004

// Copyright David Abrahams 2003-2004

//

// Distributed under the Boost Software License, Version 1.0. 

// (See accompanying file LICENSE_1_0.txt or copy at 

// http://www.boost.org/LICENSE_1_0.txt)

//

// See http://www.boost.org/libs/mpl for documentation.



// $Source$

// $Date: 2004-10-13 14:25:11 -0400 (Wed, 13 Oct 2004) $

// $Revision: 25712 $



#include <boost/mpl/set/aux_/tag.hpp>

#include <boost/mpl/has_key_fwd.hpp>

#include <boost/mpl/bool.hpp>

#include <boost/mpl/aux_/overload_names.hpp>

#include <boost/mpl/aux_/static_cast.hpp>

#include <boost/mpl/aux_/yes_no.hpp>

#include <boost/mpl/aux_/type_wrapper.hpp>

#include <boost/mpl/aux_/config/workaround.hpp>

#include <boost/mpl/aux_/config/static_constant.hpp>



namespace boost { namespace mpl {



template<>

struct has_key_impl< aux::set_tag >

{

    template< typename Set, typename T > struct apply

#if BOOST_WORKAROUND(BOOST_MSVC, BOOST_TESTED_AT(1400)) \

    || BOOST_WORKAROUND(__EDG_VERSION__, <= 245)

    {

        BOOST_STATIC_CONSTANT(bool, value = 

              ( sizeof( BOOST_MPL_AUX_OVERLOAD_CALL_IS_MASKED(

                    Set

                  , BOOST_MPL_AUX_STATIC_CAST(aux::type_wrapper<T>*, 0)

                  ) ) == sizeof(aux::no_tag) )

            );



        typedef bool_<value> type;



#else // ISO98 C++

        : bool_< 

              ( sizeof( BOOST_MPL_AUX_OVERLOAD_CALL_IS_MASKED(

                    Set

                  , BOOST_MPL_AUX_STATIC_CAST(aux::type_wrapper<T>*, 0)

                  ) ) == sizeof(aux::no_tag) )

            >

    {

#endif

    };

};



}}



#endif // BOOST_MPL_SET_AUX_HAS_KEY_IMPL_HPP_INCLUDED

