Chris@16: /*=============================================================================
Chris@16:     Copyright (c) 2001-2011 Hartmut Kaiser
Chris@16: 
Chris@16:     Distributed under the Boost Software License, Version 1.0. (See accompanying
Chris@16:     file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
Chris@16: ==============================================================================*/
Chris@16: #if !defined(BOOST_SPIRIT_HANDLES_CONTAINER_DEC_18_2010_0920AM)
Chris@16: #define BOOST_SPIRIT_HANDLES_CONTAINER_DEC_18_2010_0920AM
Chris@16: 
Chris@16: #if defined(_MSC_VER)
Chris@16: #pragma once
Chris@16: #endif
Chris@16: 
Chris@16: #include <boost/spirit/home/support/attributes_fwd.hpp>
Chris@16: #include <boost/mpl/bool.hpp>
Chris@16: #include <boost/mpl/or.hpp>
Chris@16: #include <boost/mpl/not.hpp>
Chris@16: #include <boost/mpl/find_if.hpp>
Chris@16: #include <boost/type_traits/is_same.hpp>
Chris@16: 
Chris@16: namespace boost { namespace spirit { namespace traits
Chris@16: {
Chris@16:     // Finds out whether a component handles container attributes intrinsically
Chris@16:     // (or whether container attributes need to be split up separately).
Chris@16:     template <typename T, typename Attribute, typename Context
Chris@16:             , typename Iterator, typename Enable>
Chris@16:     struct handles_container : mpl::false_ {};
Chris@16: 
Chris@16:     template <typename Subject, typename Attribute, typename Context
Chris@16:             , typename Iterator>
Chris@16:     struct unary_handles_container
Chris@16:       : handles_container<Subject, Attribute, Context, Iterator> {};
Chris@16: 
Chris@16:     template <typename Left, typename Right, typename Attribute
Chris@16:             , typename Context, typename Iterator>
Chris@16:     struct binary_handles_container 
Chris@16:       : mpl::or_<
Chris@16:             handles_container<Left, Attribute, Context, Iterator>
Chris@16:           , handles_container<Right, Attribute, Context, Iterator> > 
Chris@16:     {};
Chris@16: 
Chris@16:     template <typename Elements, typename Attribute, typename Context
Chris@16:             , typename Iterator>
Chris@16:     struct nary_handles_container
Chris@16:       : mpl::not_<
Chris@16:             is_same<
Chris@16:                 typename mpl::find_if<
Chris@16:                     Elements, handles_container<mpl::_, Attribute
Chris@16:                                               , Context, Iterator> 
Chris@16:                 >::type
Chris@16:               , typename mpl::end<Elements>::type> > 
Chris@16:     {};
Chris@16: }}}
Chris@16: 
Chris@16: #endif