| // Copyright (c) 2001-2010 Hartmut Kaiser |
| // |
| // 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_ADAPT_ADT_ATTRIBUTES_SEP_15_2010_1219PM) |
| #define BOOST_SPIRIT_ADAPT_ADT_ATTRIBUTES_SEP_15_2010_1219PM |
| |
| #if defined(_MSC_VER) |
| #pragma once |
| #endif |
| |
| #include <boost/spirit/home/support/attributes.hpp> |
| #include <boost/spirit/home/support/container.hpp> |
| #include <boost/spirit/home/support/numeric_traits.hpp> |
| #include <boost/fusion/include/adapt_adt.hpp> |
| #include <boost/utility/enable_if.hpp> |
| |
| /////////////////////////////////////////////////////////////////////////////// |
| // customization points allowing to use adapted classes with spirit |
| namespace boost { namespace spirit { namespace traits |
| { |
| /////////////////////////////////////////////////////////////////////////// |
| template <typename T, int N, bool Const, typename Domain> |
| struct not_is_variant< |
| fusion::extension::adt_attribute_proxy<T, N, Const>, Domain> |
| : not_is_variant< |
| typename fusion::extension::adt_attribute_proxy<T, N, Const>::type |
| , Domain> |
| {}; |
| |
| template <typename T, int N, bool Const, typename Domain> |
| struct not_is_optional< |
| fusion::extension::adt_attribute_proxy<T, N, Const>, Domain> |
| : not_is_optional< |
| typename fusion::extension::adt_attribute_proxy<T, N, Const>::type |
| , Domain> |
| {}; |
| |
| /////////////////////////////////////////////////////////////////////////// |
| template <typename T, int N, bool Const> |
| struct is_container<fusion::extension::adt_attribute_proxy<T, N, Const> > |
| : is_container< |
| typename fusion::extension::adt_attribute_proxy<T, N, Const>::type |
| > |
| {}; |
| |
| template <typename T, int N, bool Const> |
| struct container_value<fusion::extension::adt_attribute_proxy<T, N, Const> > |
| : container_value< |
| typename remove_reference< |
| typename fusion::extension::adt_attribute_proxy< |
| T, N, Const |
| >::type |
| >::type |
| > |
| {}; |
| |
| template <typename T, int N, bool Const> |
| struct container_value< |
| fusion::extension::adt_attribute_proxy<T, N, Const> const> |
| : container_value< |
| typename add_const< |
| typename remove_reference< |
| typename fusion::extension::adt_attribute_proxy< |
| T, N, Const |
| >::type |
| >::type |
| >::type |
| > |
| {}; |
| |
| template <typename T, int N, typename Val> |
| struct push_back_container< |
| fusion::extension::adt_attribute_proxy<T, N, false> |
| , Val |
| , typename enable_if<is_reference< |
| typename fusion::extension::adt_attribute_proxy<T, N, false>::type |
| > >::type> |
| { |
| static bool call( |
| fusion::extension::adt_attribute_proxy<T, N, false>& p |
| , Val const& val) |
| { |
| typedef typename |
| fusion::extension::adt_attribute_proxy<T, N, false>::type |
| type; |
| return push_back(type(p), val); |
| } |
| }; |
| |
| template <typename T, int N, bool Const> |
| struct container_iterator< |
| fusion::extension::adt_attribute_proxy<T, N, Const> > |
| : container_iterator< |
| typename remove_reference< |
| typename fusion::extension::adt_attribute_proxy< |
| T, N, Const |
| >::type |
| >::type |
| > |
| {}; |
| |
| template <typename T, int N, bool Const> |
| struct container_iterator< |
| fusion::extension::adt_attribute_proxy<T, N, Const> const> |
| : container_iterator< |
| typename add_const< |
| typename remove_reference< |
| typename fusion::extension::adt_attribute_proxy< |
| T, N, Const |
| >::type |
| >::type |
| >::type |
| > |
| {}; |
| |
| template <typename T, int N, bool Const> |
| struct begin_container<fusion::extension::adt_attribute_proxy<T, N, Const> > |
| { |
| typedef typename remove_reference< |
| typename fusion::extension::adt_attribute_proxy<T, N, Const>::type |
| >::type container_type; |
| |
| static typename container_iterator<container_type>::type |
| call(fusion::extension::adt_attribute_proxy<T, N, Const>& c) |
| { |
| return c.get().begin(); |
| } |
| }; |
| |
| template <typename T, int N, bool Const> |
| struct begin_container<fusion::extension::adt_attribute_proxy<T, N, Const> const> |
| { |
| typedef typename add_const< |
| typename remove_reference< |
| typename fusion::extension::adt_attribute_proxy<T, N, Const>::type |
| >::type |
| >::type container_type; |
| |
| static typename container_iterator<container_type>::type |
| call(fusion::extension::adt_attribute_proxy<T, N, Const> const& c) |
| { |
| return c.get().begin(); |
| } |
| }; |
| |
| template <typename T, int N, bool Const> |
| struct end_container<fusion::extension::adt_attribute_proxy<T, N, Const> > |
| { |
| typedef typename remove_reference< |
| typename fusion::extension::adt_attribute_proxy<T, N, Const>::type |
| >::type container_type; |
| |
| static typename container_iterator<container_type>::type |
| call(fusion::extension::adt_attribute_proxy<T, N, Const>& c) |
| { |
| return c.get().end(); |
| } |
| }; |
| |
| template <typename T, int N, bool Const> |
| struct end_container<fusion::extension::adt_attribute_proxy<T, N, Const> const> |
| { |
| typedef typename add_const< |
| typename remove_reference< |
| typename fusion::extension::adt_attribute_proxy<T, N, Const>::type |
| >::type |
| >::type container_type; |
| |
| static typename container_iterator<container_type>::type |
| call(fusion::extension::adt_attribute_proxy<T, N, Const> const& c) |
| { |
| return c.get().end(); |
| } |
| }; |
| |
| /////////////////////////////////////////////////////////////////////////// |
| template <typename T, int N, typename Val> |
| struct assign_to_attribute_from_value< |
| fusion::extension::adt_attribute_proxy<T, N, false> |
| , Val> |
| { |
| static void |
| call(Val const& val |
| , fusion::extension::adt_attribute_proxy<T, N, false>& attr) |
| { |
| attr = val; |
| } |
| }; |
| |
| template <typename T, int N, bool Const, typename Exposed> |
| struct extract_from_attribute< |
| fusion::extension::adt_attribute_proxy<T, N, Const>, Exposed> |
| { |
| typedef typename remove_const< |
| typename remove_reference< |
| typename fusion::extension::adt_attribute_proxy<T, N, Const>::type |
| >::type |
| >::type embedded_type; |
| typedef |
| typename spirit::result_of::extract_from<Exposed, embedded_type>::type |
| type; |
| |
| template <typename Context> |
| static type |
| call(fusion::extension::adt_attribute_proxy<T, N, Const> const& val, Context& ctx) |
| { |
| return extract_from<Exposed>(val.get(), ctx); |
| } |
| }; |
| |
| /////////////////////////////////////////////////////////////////////////// |
| template <typename T, int N, bool Const> |
| struct attribute_type<fusion::extension::adt_attribute_proxy<T, N, Const> > |
| : fusion::extension::adt_attribute_proxy<T, N, Const> |
| {}; |
| |
| /////////////////////////////////////////////////////////////////////////// |
| template <typename T, int N, bool Const> |
| struct optional_attribute< |
| fusion::extension::adt_attribute_proxy<T, N, Const> > |
| { |
| typedef typename result_of::optional_value< |
| typename remove_reference< |
| typename fusion::extension::adt_attribute_proxy<T, N, Const>::type |
| >::type |
| >::type type; |
| |
| static type |
| call(fusion::extension::adt_attribute_proxy<T, N, Const> const& val) |
| { |
| return optional_value(val.get()); |
| } |
| |
| static bool |
| is_valid(fusion::extension::adt_attribute_proxy<T, N, Const> const& val) |
| { |
| return has_optional_value(val.get()); |
| } |
| }; |
| |
| /////////////////////////////////////////////////////////////////////////// |
| template <typename T, int N, typename Attribute, typename Domain> |
| struct transform_attribute< |
| fusion::extension::adt_attribute_proxy<T, N, false> |
| , Attribute |
| , Domain |
| , typename disable_if<is_reference< |
| typename fusion::extension::adt_attribute_proxy<T, N, false>::type |
| > >::type> |
| { |
| typedef Attribute type; |
| |
| static Attribute |
| pre(fusion::extension::adt_attribute_proxy<T, N, false>& val) |
| { |
| return val; |
| } |
| static void |
| post( |
| fusion::extension::adt_attribute_proxy<T, N, false>& val |
| , Attribute const& attr) |
| { |
| val = attr; |
| } |
| static void |
| fail(fusion::extension::adt_attribute_proxy<T, N, false>&) |
| { |
| } |
| }; |
| |
| template < |
| typename T, int N, bool Const, typename Attribute, typename Domain> |
| struct transform_attribute< |
| fusion::extension::adt_attribute_proxy<T, N, Const> |
| , Attribute |
| , Domain |
| , typename enable_if<is_reference< |
| typename fusion::extension::adt_attribute_proxy< |
| T, N, Const |
| >::type |
| > >::type> |
| { |
| typedef Attribute& type; |
| |
| static Attribute& |
| pre(fusion::extension::adt_attribute_proxy<T, N, Const>& val) |
| { |
| return val; |
| } |
| static void |
| post( |
| fusion::extension::adt_attribute_proxy<T, N, Const>& |
| , Attribute const&) |
| { |
| } |
| static void |
| fail(fusion::extension::adt_attribute_proxy<T, N, Const>&) |
| { |
| } |
| }; |
| |
| template <typename T, int N, bool Const> |
| struct clear_value<fusion::extension::adt_attribute_proxy<T, N, Const> > |
| { |
| static void call( |
| fusion::extension::adt_attribute_proxy<T, N, Const>& val) |
| { |
| typedef typename |
| fusion::extension::adt_attribute_proxy<T, N, Const>::type |
| type; |
| clear(type(val)); |
| } |
| }; |
| |
| template <typename T, int N, bool Const> |
| struct attribute_size<fusion::extension::adt_attribute_proxy<T, N, Const> > |
| { |
| typedef typename remove_const< |
| typename remove_reference< |
| typename fusion::extension::adt_attribute_proxy<T, N, Const>::type |
| >::type |
| >::type embedded_type; |
| |
| typedef typename attribute_size<embedded_type>::type type; |
| |
| static type |
| call(fusion::extension::adt_attribute_proxy<T, N, Const> const& val) |
| { |
| return attribute_size<embedded_type>::call(val.get()); |
| } |
| }; |
| |
| /////////////////////////////////////////////////////////////////////////// |
| // customization point specializations for numeric generators |
| template <typename T, int N, bool Const> |
| struct absolute_value<fusion::extension::adt_attribute_proxy<T, N, Const> > |
| { |
| typedef typename |
| fusion::extension::adt_attribute_proxy<T, N, Const>::type |
| type; |
| |
| static type |
| call (fusion::extension::adt_attribute_proxy<T, N, Const> const& val) |
| { |
| return get_absolute_value(val.get()); |
| } |
| }; |
| |
| template <typename T, int N, bool Const> |
| struct is_negative<fusion::extension::adt_attribute_proxy<T, N, Const> > |
| { |
| static bool |
| call(fusion::extension::adt_attribute_proxy<T, N, Const> const& val) |
| { |
| return test_negative(val.get()); |
| } |
| }; |
| |
| template <typename T, int N, bool Const> |
| struct is_zero<fusion::extension::adt_attribute_proxy<T, N, Const> > |
| { |
| static bool |
| call(fusion::extension::adt_attribute_proxy<T, N, Const> const& val) |
| { |
| return test_zero(val.get()); |
| } |
| }; |
| |
| template <typename T, int N, bool Const> |
| struct is_nan<fusion::extension::adt_attribute_proxy<T, N, Const> > |
| { |
| static bool |
| call(fusion::extension::adt_attribute_proxy<T, N, Const> const& val) |
| { |
| return test_nan(val.get()); |
| } |
| }; |
| |
| template <typename T, int N, bool Const> |
| struct is_infinite<fusion::extension::adt_attribute_proxy<T, N, Const> > |
| { |
| static bool |
| call(fusion::extension::adt_attribute_proxy<T, N, Const> const& val) |
| { |
| return test_infinite(val.get()); |
| } |
| }; |
| }}} |
| |
| /////////////////////////////////////////////////////////////////////////////// |
| namespace boost { namespace spirit { namespace result_of |
| { |
| template <typename T, int N, bool Const> |
| struct optional_value<fusion::extension::adt_attribute_proxy<T, N, Const> > |
| : result_of::optional_value< |
| typename remove_const< |
| typename remove_reference< |
| typename fusion::extension::adt_attribute_proxy<T, N, Const>::type |
| >::type |
| >::type> |
| {}; |
| }}} |
| |
| #endif |