123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178 |
- ///////////////////////////////////////////////////////////////////////////////
- /// \file vararg_matches_impl.hpp
- /// Specializations of the vararg_matches_impl template
- //
- // Copyright 2008 Eric Niebler. 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)
- template<typename Args, typename Back, long To>
- struct vararg_matches_impl<Args, Back, 2, To>
- : and_2<
- matches_<
- typename detail::expr_traits<typename Args::child1>::value_type::proto_derived_expr
- , typename detail::expr_traits<typename Args::child1>::value_type::proto_grammar
- , Back
- >::value
- , vararg_matches_impl<Args, Back, 2 + 1, To>
- >
- {};
- template<typename Args, typename Back>
- struct vararg_matches_impl<Args, Back, 2, 2>
- : matches_<
- typename detail::expr_traits<typename Args::child1>::value_type::proto_derived_expr
- , typename detail::expr_traits<typename Args::child1>::value_type::proto_grammar
- , Back
- >
- {};
- template<typename Args, typename Back, long To>
- struct vararg_matches_impl<Args, Back, 3, To>
- : and_2<
- matches_<
- typename detail::expr_traits<typename Args::child2>::value_type::proto_derived_expr
- , typename detail::expr_traits<typename Args::child2>::value_type::proto_grammar
- , Back
- >::value
- , vararg_matches_impl<Args, Back, 3 + 1, To>
- >
- {};
- template<typename Args, typename Back>
- struct vararg_matches_impl<Args, Back, 3, 3>
- : matches_<
- typename detail::expr_traits<typename Args::child2>::value_type::proto_derived_expr
- , typename detail::expr_traits<typename Args::child2>::value_type::proto_grammar
- , Back
- >
- {};
- template<typename Args, typename Back, long To>
- struct vararg_matches_impl<Args, Back, 4, To>
- : and_2<
- matches_<
- typename detail::expr_traits<typename Args::child3>::value_type::proto_derived_expr
- , typename detail::expr_traits<typename Args::child3>::value_type::proto_grammar
- , Back
- >::value
- , vararg_matches_impl<Args, Back, 4 + 1, To>
- >
- {};
- template<typename Args, typename Back>
- struct vararg_matches_impl<Args, Back, 4, 4>
- : matches_<
- typename detail::expr_traits<typename Args::child3>::value_type::proto_derived_expr
- , typename detail::expr_traits<typename Args::child3>::value_type::proto_grammar
- , Back
- >
- {};
- template<typename Args, typename Back, long To>
- struct vararg_matches_impl<Args, Back, 5, To>
- : and_2<
- matches_<
- typename detail::expr_traits<typename Args::child4>::value_type::proto_derived_expr
- , typename detail::expr_traits<typename Args::child4>::value_type::proto_grammar
- , Back
- >::value
- , vararg_matches_impl<Args, Back, 5 + 1, To>
- >
- {};
- template<typename Args, typename Back>
- struct vararg_matches_impl<Args, Back, 5, 5>
- : matches_<
- typename detail::expr_traits<typename Args::child4>::value_type::proto_derived_expr
- , typename detail::expr_traits<typename Args::child4>::value_type::proto_grammar
- , Back
- >
- {};
- template<typename Args, typename Back, long To>
- struct vararg_matches_impl<Args, Back, 6, To>
- : and_2<
- matches_<
- typename detail::expr_traits<typename Args::child5>::value_type::proto_derived_expr
- , typename detail::expr_traits<typename Args::child5>::value_type::proto_grammar
- , Back
- >::value
- , vararg_matches_impl<Args, Back, 6 + 1, To>
- >
- {};
- template<typename Args, typename Back>
- struct vararg_matches_impl<Args, Back, 6, 6>
- : matches_<
- typename detail::expr_traits<typename Args::child5>::value_type::proto_derived_expr
- , typename detail::expr_traits<typename Args::child5>::value_type::proto_grammar
- , Back
- >
- {};
- template<typename Args, typename Back, long To>
- struct vararg_matches_impl<Args, Back, 7, To>
- : and_2<
- matches_<
- typename detail::expr_traits<typename Args::child6>::value_type::proto_derived_expr
- , typename detail::expr_traits<typename Args::child6>::value_type::proto_grammar
- , Back
- >::value
- , vararg_matches_impl<Args, Back, 7 + 1, To>
- >
- {};
- template<typename Args, typename Back>
- struct vararg_matches_impl<Args, Back, 7, 7>
- : matches_<
- typename detail::expr_traits<typename Args::child6>::value_type::proto_derived_expr
- , typename detail::expr_traits<typename Args::child6>::value_type::proto_grammar
- , Back
- >
- {};
- template<typename Args, typename Back, long To>
- struct vararg_matches_impl<Args, Back, 8, To>
- : and_2<
- matches_<
- typename detail::expr_traits<typename Args::child7>::value_type::proto_derived_expr
- , typename detail::expr_traits<typename Args::child7>::value_type::proto_grammar
- , Back
- >::value
- , vararg_matches_impl<Args, Back, 8 + 1, To>
- >
- {};
- template<typename Args, typename Back>
- struct vararg_matches_impl<Args, Back, 8, 8>
- : matches_<
- typename detail::expr_traits<typename Args::child7>::value_type::proto_derived_expr
- , typename detail::expr_traits<typename Args::child7>::value_type::proto_grammar
- , Back
- >
- {};
- template<typename Args, typename Back, long To>
- struct vararg_matches_impl<Args, Back, 9, To>
- : and_2<
- matches_<
- typename detail::expr_traits<typename Args::child8>::value_type::proto_derived_expr
- , typename detail::expr_traits<typename Args::child8>::value_type::proto_grammar
- , Back
- >::value
- , vararg_matches_impl<Args, Back, 9 + 1, To>
- >
- {};
- template<typename Args, typename Back>
- struct vararg_matches_impl<Args, Back, 9, 9>
- : matches_<
- typename detail::expr_traits<typename Args::child8>::value_type::proto_derived_expr
- , typename detail::expr_traits<typename Args::child8>::value_type::proto_grammar
- , Back
- >
- {};
- template<typename Args, typename Back, long To>
- struct vararg_matches_impl<Args, Back, 10, To>
- : and_2<
- matches_<
- typename detail::expr_traits<typename Args::child9>::value_type::proto_derived_expr
- , typename detail::expr_traits<typename Args::child9>::value_type::proto_grammar
- , Back
- >::value
- , vararg_matches_impl<Args, Back, 10 + 1, To>
- >
- {};
- template<typename Args, typename Back>
- struct vararg_matches_impl<Args, Back, 10, 10>
- : matches_<
- typename detail::expr_traits<typename Args::child9>::value_type::proto_derived_expr
- , typename detail::expr_traits<typename Args::child9>::value_type::proto_grammar
- , Back
- >
- {};
|