/*=============================================================================
|
Copyright (c) 2001-2014 Joel de Guzman
|
http://spirit.sourceforge.net/
|
|
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)
|
=============================================================================*/
|
#if !defined(BOOST_SPIRIT_X3_ATTRIBUTE_CATEGORY_JAN_4_2012_1150AM)
|
#define BOOST_SPIRIT_X3_ATTRIBUTE_CATEGORY_JAN_4_2012_1150AM
|
|
#include <boost/mpl/identity.hpp>
|
#include <boost/mpl/logical.hpp>
|
#include <boost/mpl/eval_if.hpp>
|
#include <boost/fusion/include/is_sequence.hpp>
|
#include <boost/fusion/support/category_of.hpp>
|
#include <boost/spirit/home/x3/support/traits/is_variant.hpp>
|
#include <boost/spirit/home/x3/support/traits/is_range.hpp>
|
#include <boost/spirit/home/x3/support/traits/container_traits.hpp>
|
#include <boost/spirit/home/x3/support/traits/optional_traits.hpp>
|
|
namespace boost { namespace spirit { namespace x3
|
{
|
struct unused_type;
|
}}}
|
|
namespace boost { namespace spirit { namespace x3 { namespace traits
|
{
|
struct unused_attribute {};
|
struct plain_attribute {};
|
struct container_attribute {};
|
struct tuple_attribute {};
|
struct associative_attribute {};
|
struct variant_attribute {};
|
struct optional_attribute {};
|
struct range_attribute {};
|
|
template <typename T, typename Enable = void>
|
struct attribute_category
|
: mpl::identity<plain_attribute> {};
|
|
template <>
|
struct attribute_category<unused_type>
|
: mpl::identity<unused_attribute> {};
|
|
template <>
|
struct attribute_category<unused_type const>
|
: mpl::identity<unused_attribute> {};
|
|
template <typename T>
|
struct attribute_category< T
|
, typename enable_if<
|
typename mpl::eval_if<
|
fusion::traits::is_sequence<T>
|
, fusion::traits::is_associative<T>
|
, mpl::false_
|
>::type >::type >
|
: mpl::identity<associative_attribute> {};
|
|
template <typename T>
|
struct attribute_category< T
|
, typename enable_if<
|
mpl::and_<
|
fusion::traits::is_sequence<T>
|
, mpl::not_<fusion::traits::is_associative<T> >
|
> >::type >
|
: mpl::identity<tuple_attribute> {};
|
|
template <typename T>
|
struct attribute_category<T,
|
typename enable_if<traits::is_variant<T>>::type>
|
: mpl::identity<variant_attribute> {};
|
|
template <typename T>
|
struct attribute_category<T,
|
typename enable_if<traits::is_optional<T>>::type>
|
: mpl::identity<optional_attribute> {};
|
|
template <typename T>
|
struct attribute_category<T,
|
typename enable_if<traits::is_range<T>>::type>
|
: mpl::identity<range_attribute> {};
|
|
template <typename T>
|
struct attribute_category< T
|
, typename enable_if<
|
mpl::and_<
|
traits::is_container<T>
|
, mpl::not_<fusion::traits::is_sequence<T> >
|
, mpl::not_<traits::is_range<T> >
|
> >::type >
|
: mpl::identity<container_attribute> {};
|
|
}}}}
|
|
#endif
|
