/src/contrib/boost/spirit/home/support/algorithm/any_if_ns.hpp
http://pythonocc.googlecode.com/ · C++ Header · 91 lines · 65 code · 9 blank · 17 comment · 1 complexity · bb657548c23c57fc7805190a767dfb1a MD5 · raw file
- /*=============================================================================
- Copyright (c) 2001-2010 Hartmut Kaiser
- Copyright (c) 2001-2010 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