| /*============================================================================= | |
| Copyright (c) 2001-2011 Hartmut Kaiser | |
| Copyright (c) 2001-2011 Joel de Guzman | |
| 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_ANY_IF_NS_NOVEMBER_04_2008_0906PM) | |
| #define BOOST_SPIRIT_ANY_IF_NS_NOVEMBER_04_2008_0906PM | |
| #if defined(_MSC_VER) | |
| #pragma once | |
| #endif | |
| #include <boost/spirit/home/support/algorithm/any_if.hpp> | |
| #include <boost/spirit/home/support/algorithm/any_ns.hpp> | |
| namespace boost { namespace spirit | |
| { | |
| /////////////////////////////////////////////////////////////////////////// | |
| // This is a special version for a binary fusion::any. The predicate | |
| // is used to decide whether to advance the second iterator or not. | |
| // This is needed for sequences containing components with unused | |
| // attributes. The second iterator is advanced only if the attribute | |
| // of the corresponding component iterator is not unused. | |
| // | |
| // This is a non-short circuiting (ns) version of the any_if algorithm. | |
| // see any_if.hpp (uses | instead of ||). | |
| /////////////////////////////////////////////////////////////////////////// | |
| namespace detail | |
| { | |
| template < | |
| typename Pred, typename First1, typename Last1, typename First2 | |
| , typename Last2, typename F | |
| > | |
| inline bool | |
| any_if_ns(First1 const&, First2 const&, Last1 const&, Last2 const& | |
| , F const&, mpl::true_) | |
| { | |
| return false; | |
| } | |
| template < | |
| typename Pred, typename First1, typename Last1, typename First2 | |
| , typename Last2, typename F | |
| > | |
| inline bool | |
| any_if_ns(First1 const& first1, First2 const& first2 | |
| , Last1 const& last1, Last2 const& last2, F& f, mpl::false_) | |
| { | |
| return (0 != (f(*first1, attribute_value<Pred, First1, Last2>(first2)) | | |
| detail::any_if_ns<Pred>( | |
| fusion::next(first1) | |
| , attribute_next<Pred, First1, Last2>(first2) | |
| , last1, last2 | |
| , f | |
| , fusion::result_of::equal_to< | |
| typename fusion::result_of::next<First1>::type, Last1>()))); | |
| } | |
| } | |
| template <typename Pred, typename Sequence1, typename Sequence2, typename F> | |
| inline bool | |
| any_if_ns(Sequence1 const& seq1, Sequence2& seq2, F f, Pred) | |
| { | |
| return detail::any_if_ns<Pred>( | |
| fusion::begin(seq1), fusion::begin(seq2) | |
| , fusion::end(seq1), fusion::end(seq2) | |
| , f | |
| , fusion::result_of::equal_to< | |
| typename fusion::result_of::begin<Sequence1>::type | |
| , typename fusion::result_of::end<Sequence1>::type>()); | |
| } | |
| template <typename Pred, typename Sequence, typename F> | |
| inline bool | |
| any_if_ns(Sequence const& seq, unused_type const, F f, Pred) | |
| { | |
| return detail::any_ns( | |
| fusion::begin(seq) | |
| , fusion::end(seq) | |
| , f | |
| , fusion::result_of::equal_to< | |
| typename fusion::result_of::begin<Sequence>::type | |
| , typename fusion::result_of::end<Sequence>::type>()); | |
| } | |
| }} | |
| #endif | |