1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036103710381039104010411042104310441045104610471048104910501051105210531054105510561057105810591060106110621063106410651066106710681069107010711072107310741075107610771078107910801081108210831084108510861087108810891090109110921093109410951096109710981099110011011102110311041105110611071108110911101111111211131114111511161117111811191120112111221123112411251126112711281129113011311132113311341135113611371138113911401141114211431144114511461147114811491150115111521153115411551156115711581159116011611162116311641165116611671168116911701171117211731174117511761177117811791180118111821183118411851186118711881189119011911192119311941195119611971198119912001201120212031204120512061207120812091210121112121213121412151216121712181219122012211222122312241225122612271228122912301231123212331234123512361237123812391240124112421243124412451246124712481249125012511252125312541255125612571258125912601261126212631264126512661267126812691270127112721273127412751276127712781279128012811282128312841285128612871288128912901291129212931294129512961297129812991300130113021303130413051306130713081309131013111312131313141315131613171318131913201321132213231324132513261327132813291330133113321333133413351336133713381339134013411342134313441345134613471348134913501351135213531354135513561357135813591360136113621363136413651366136713681369137013711372137313741375137613771378137913801381138213831384138513861387138813891390139113921393139413951396139713981399140014011402140314041405140614071408140914101411141214131414141514161417141814191420142114221423142414251426142714281429143014311432143314341435143614371438143914401441144214431444144514461447144814491450145114521453145414551456145714581459146014611462146314641465146614671468146914701471147214731474147514761477147814791480148114821483148414851486 |
- ///////////////////////////////////////////////////////////////////////////////
- /// \file traits.hpp
- /// Definitions of proto::function, proto::nary_expr and proto::result_of::child_c
- //
- // 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)
- namespace result_of
- {
-
-
-
-
-
-
- template<typename Expr>
- struct child_c<Expr, 0>
- {
-
- BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
-
-
- typedef typename Expr::proto_child0 value_type;
-
-
-
-
-
- typedef typename detail::expr_traits<typename Expr::proto_child0>::value_type type;
- };
- template<typename Expr>
- struct child_c<Expr &, 0>
- {
-
- BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
-
-
- typedef typename Expr::proto_child0 value_type;
-
-
-
-
-
- typedef typename detail::expr_traits<typename Expr::proto_child0>::reference type;
-
-
- BOOST_FORCEINLINE
- static type call(Expr &e)
- {
- return e.proto_base().child0;
- }
- };
- template<typename Expr>
- struct child_c<Expr const &, 0>
- {
-
- BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
-
-
- typedef typename Expr::proto_child0 value_type;
-
-
-
-
-
- typedef typename detail::expr_traits<typename Expr::proto_child0>::const_reference type;
-
-
- BOOST_FORCEINLINE
- static type call(Expr const &e)
- {
- return e.proto_base().child0;
- }
- };
- }
-
-
-
-
- template<typename A0>
- struct function
- <
- A0
- , void , void , void , void , void , void , void , void , void
- >
- : proto::transform<
- function<
- A0
- , void , void , void , void , void , void , void , void , void
- >
- , int
- >
- {
- typedef proto::expr<proto::tag::function, list1<A0>, 1> type;
- typedef proto::basic_expr<proto::tag::function, list1<A0>, 1> proto_grammar;
- template<typename Expr, typename State, typename Data>
- struct impl
- : detail::pass_through_impl<function, deduce_domain, Expr, State, Data>
- {};
-
- typedef proto::tag::function proto_tag;
- typedef A0 proto_child0;
- typedef detail::if_vararg<A0> proto_child1; typedef detail::if_vararg<A0> proto_child2; typedef detail::if_vararg<A0> proto_child3; typedef detail::if_vararg<A0> proto_child4; typedef detail::if_vararg<A0> proto_child5; typedef detail::if_vararg<A0> proto_child6; typedef detail::if_vararg<A0> proto_child7; typedef detail::if_vararg<A0> proto_child8; typedef detail::if_vararg<A0> proto_child9;
- };
-
-
-
-
-
-
-
-
- template<typename Tag , typename A0>
- struct nary_expr
- <
- Tag
- , A0
- , void , void , void , void , void , void , void , void , void
- >
- : proto::transform<
- nary_expr<
- Tag
- , A0
- , void , void , void , void , void , void , void , void , void
- >
- , int
- >
- {
- typedef proto::expr<Tag, list1<A0>, 1> type;
- typedef proto::basic_expr<Tag, list1<A0>, 1> proto_grammar;
- template<typename Expr, typename State, typename Data>
- struct impl
- : detail::pass_through_impl<nary_expr, deduce_domain, Expr, State, Data>
- {};
-
- typedef Tag proto_tag;
- typedef A0 proto_child0;
- typedef detail::if_vararg<A0> proto_child1; typedef detail::if_vararg<A0> proto_child2; typedef detail::if_vararg<A0> proto_child3; typedef detail::if_vararg<A0> proto_child4; typedef detail::if_vararg<A0> proto_child5; typedef detail::if_vararg<A0> proto_child6; typedef detail::if_vararg<A0> proto_child7; typedef detail::if_vararg<A0> proto_child8; typedef detail::if_vararg<A0> proto_child9;
- };
- namespace detail
- {
- template<
- template<typename> class T
- , typename A0
- >
- struct is_callable_<T<A0> BOOST_PROTO_TEMPLATE_ARITY_PARAM(1)>
- : is_same<A0, callable>
- {};
- }
- namespace result_of
- {
-
-
-
-
-
-
- template<typename Expr>
- struct child_c<Expr, 1>
- {
-
- BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
-
-
- typedef typename Expr::proto_child1 value_type;
-
-
-
-
-
- typedef typename detail::expr_traits<typename Expr::proto_child1>::value_type type;
- };
- template<typename Expr>
- struct child_c<Expr &, 1>
- {
-
- BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
-
-
- typedef typename Expr::proto_child1 value_type;
-
-
-
-
-
- typedef typename detail::expr_traits<typename Expr::proto_child1>::reference type;
-
-
- BOOST_FORCEINLINE
- static type call(Expr &e)
- {
- return e.proto_base().child1;
- }
- };
- template<typename Expr>
- struct child_c<Expr const &, 1>
- {
-
- BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
-
-
- typedef typename Expr::proto_child1 value_type;
-
-
-
-
-
- typedef typename detail::expr_traits<typename Expr::proto_child1>::const_reference type;
-
-
- BOOST_FORCEINLINE
- static type call(Expr const &e)
- {
- return e.proto_base().child1;
- }
- };
- }
-
-
-
-
- template<typename A0 , typename A1>
- struct function
- <
- A0 , A1
- , void , void , void , void , void , void , void , void
- >
- : proto::transform<
- function<
- A0 , A1
- , void , void , void , void , void , void , void , void
- >
- , int
- >
- {
- typedef proto::expr<proto::tag::function, list2<A0 , A1>, 2> type;
- typedef proto::basic_expr<proto::tag::function, list2<A0 , A1>, 2> proto_grammar;
- template<typename Expr, typename State, typename Data>
- struct impl
- : detail::pass_through_impl<function, deduce_domain, Expr, State, Data>
- {};
-
- typedef proto::tag::function proto_tag;
- typedef A0 proto_child0; typedef A1 proto_child1;
- typedef detail::if_vararg<A1> proto_child2; typedef detail::if_vararg<A1> proto_child3; typedef detail::if_vararg<A1> proto_child4; typedef detail::if_vararg<A1> proto_child5; typedef detail::if_vararg<A1> proto_child6; typedef detail::if_vararg<A1> proto_child7; typedef detail::if_vararg<A1> proto_child8; typedef detail::if_vararg<A1> proto_child9;
- };
-
-
-
-
-
-
-
-
- template<typename Tag , typename A0 , typename A1>
- struct nary_expr
- <
- Tag
- , A0 , A1
- , void , void , void , void , void , void , void , void
- >
- : proto::transform<
- nary_expr<
- Tag
- , A0 , A1
- , void , void , void , void , void , void , void , void
- >
- , int
- >
- {
- typedef proto::expr<Tag, list2<A0 , A1>, 2> type;
- typedef proto::basic_expr<Tag, list2<A0 , A1>, 2> proto_grammar;
- template<typename Expr, typename State, typename Data>
- struct impl
- : detail::pass_through_impl<nary_expr, deduce_domain, Expr, State, Data>
- {};
-
- typedef Tag proto_tag;
- typedef A0 proto_child0; typedef A1 proto_child1;
- typedef detail::if_vararg<A1> proto_child2; typedef detail::if_vararg<A1> proto_child3; typedef detail::if_vararg<A1> proto_child4; typedef detail::if_vararg<A1> proto_child5; typedef detail::if_vararg<A1> proto_child6; typedef detail::if_vararg<A1> proto_child7; typedef detail::if_vararg<A1> proto_child8; typedef detail::if_vararg<A1> proto_child9;
- };
- namespace detail
- {
- template<
- template<typename , typename> class T
- , typename A0 , typename A1
- >
- struct is_callable_<T<A0 , A1> BOOST_PROTO_TEMPLATE_ARITY_PARAM(2)>
- : is_same<A1, callable>
- {};
- }
- namespace result_of
- {
-
-
-
-
-
-
- template<typename Expr>
- struct child_c<Expr, 2>
- {
-
- BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
-
-
- typedef typename Expr::proto_child2 value_type;
-
-
-
-
-
- typedef typename detail::expr_traits<typename Expr::proto_child2>::value_type type;
- };
- template<typename Expr>
- struct child_c<Expr &, 2>
- {
-
- BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
-
-
- typedef typename Expr::proto_child2 value_type;
-
-
-
-
-
- typedef typename detail::expr_traits<typename Expr::proto_child2>::reference type;
-
-
- BOOST_FORCEINLINE
- static type call(Expr &e)
- {
- return e.proto_base().child2;
- }
- };
- template<typename Expr>
- struct child_c<Expr const &, 2>
- {
-
- BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
-
-
- typedef typename Expr::proto_child2 value_type;
-
-
-
-
-
- typedef typename detail::expr_traits<typename Expr::proto_child2>::const_reference type;
-
-
- BOOST_FORCEINLINE
- static type call(Expr const &e)
- {
- return e.proto_base().child2;
- }
- };
- }
-
-
-
-
- template<typename A0 , typename A1 , typename A2>
- struct function
- <
- A0 , A1 , A2
- , void , void , void , void , void , void , void
- >
- : proto::transform<
- function<
- A0 , A1 , A2
- , void , void , void , void , void , void , void
- >
- , int
- >
- {
- typedef proto::expr<proto::tag::function, list3<A0 , A1 , A2>, 3> type;
- typedef proto::basic_expr<proto::tag::function, list3<A0 , A1 , A2>, 3> proto_grammar;
- template<typename Expr, typename State, typename Data>
- struct impl
- : detail::pass_through_impl<function, deduce_domain, Expr, State, Data>
- {};
-
- typedef proto::tag::function proto_tag;
- typedef A0 proto_child0; typedef A1 proto_child1; typedef A2 proto_child2;
- typedef detail::if_vararg<A2> proto_child3; typedef detail::if_vararg<A2> proto_child4; typedef detail::if_vararg<A2> proto_child5; typedef detail::if_vararg<A2> proto_child6; typedef detail::if_vararg<A2> proto_child7; typedef detail::if_vararg<A2> proto_child8; typedef detail::if_vararg<A2> proto_child9;
- };
-
-
-
-
-
-
-
-
- template<typename Tag , typename A0 , typename A1 , typename A2>
- struct nary_expr
- <
- Tag
- , A0 , A1 , A2
- , void , void , void , void , void , void , void
- >
- : proto::transform<
- nary_expr<
- Tag
- , A0 , A1 , A2
- , void , void , void , void , void , void , void
- >
- , int
- >
- {
- typedef proto::expr<Tag, list3<A0 , A1 , A2>, 3> type;
- typedef proto::basic_expr<Tag, list3<A0 , A1 , A2>, 3> proto_grammar;
- template<typename Expr, typename State, typename Data>
- struct impl
- : detail::pass_through_impl<nary_expr, deduce_domain, Expr, State, Data>
- {};
-
- typedef Tag proto_tag;
- typedef A0 proto_child0; typedef A1 proto_child1; typedef A2 proto_child2;
- typedef detail::if_vararg<A2> proto_child3; typedef detail::if_vararg<A2> proto_child4; typedef detail::if_vararg<A2> proto_child5; typedef detail::if_vararg<A2> proto_child6; typedef detail::if_vararg<A2> proto_child7; typedef detail::if_vararg<A2> proto_child8; typedef detail::if_vararg<A2> proto_child9;
- };
- namespace detail
- {
- template<
- template<typename , typename , typename> class T
- , typename A0 , typename A1 , typename A2
- >
- struct is_callable_<T<A0 , A1 , A2> BOOST_PROTO_TEMPLATE_ARITY_PARAM(3)>
- : is_same<A2, callable>
- {};
- }
- namespace result_of
- {
-
-
-
-
-
-
- template<typename Expr>
- struct child_c<Expr, 3>
- {
-
- BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
-
-
- typedef typename Expr::proto_child3 value_type;
-
-
-
-
-
- typedef typename detail::expr_traits<typename Expr::proto_child3>::value_type type;
- };
- template<typename Expr>
- struct child_c<Expr &, 3>
- {
-
- BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
-
-
- typedef typename Expr::proto_child3 value_type;
-
-
-
-
-
- typedef typename detail::expr_traits<typename Expr::proto_child3>::reference type;
-
-
- BOOST_FORCEINLINE
- static type call(Expr &e)
- {
- return e.proto_base().child3;
- }
- };
- template<typename Expr>
- struct child_c<Expr const &, 3>
- {
-
- BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
-
-
- typedef typename Expr::proto_child3 value_type;
-
-
-
-
-
- typedef typename detail::expr_traits<typename Expr::proto_child3>::const_reference type;
-
-
- BOOST_FORCEINLINE
- static type call(Expr const &e)
- {
- return e.proto_base().child3;
- }
- };
- }
-
-
-
-
- template<typename A0 , typename A1 , typename A2 , typename A3>
- struct function
- <
- A0 , A1 , A2 , A3
- , void , void , void , void , void , void
- >
- : proto::transform<
- function<
- A0 , A1 , A2 , A3
- , void , void , void , void , void , void
- >
- , int
- >
- {
- typedef proto::expr<proto::tag::function, list4<A0 , A1 , A2 , A3>, 4> type;
- typedef proto::basic_expr<proto::tag::function, list4<A0 , A1 , A2 , A3>, 4> proto_grammar;
- template<typename Expr, typename State, typename Data>
- struct impl
- : detail::pass_through_impl<function, deduce_domain, Expr, State, Data>
- {};
-
- typedef proto::tag::function proto_tag;
- typedef A0 proto_child0; typedef A1 proto_child1; typedef A2 proto_child2; typedef A3 proto_child3;
- typedef detail::if_vararg<A3> proto_child4; typedef detail::if_vararg<A3> proto_child5; typedef detail::if_vararg<A3> proto_child6; typedef detail::if_vararg<A3> proto_child7; typedef detail::if_vararg<A3> proto_child8; typedef detail::if_vararg<A3> proto_child9;
- };
-
-
-
-
-
-
-
-
- template<typename Tag , typename A0 , typename A1 , typename A2 , typename A3>
- struct nary_expr
- <
- Tag
- , A0 , A1 , A2 , A3
- , void , void , void , void , void , void
- >
- : proto::transform<
- nary_expr<
- Tag
- , A0 , A1 , A2 , A3
- , void , void , void , void , void , void
- >
- , int
- >
- {
- typedef proto::expr<Tag, list4<A0 , A1 , A2 , A3>, 4> type;
- typedef proto::basic_expr<Tag, list4<A0 , A1 , A2 , A3>, 4> proto_grammar;
- template<typename Expr, typename State, typename Data>
- struct impl
- : detail::pass_through_impl<nary_expr, deduce_domain, Expr, State, Data>
- {};
-
- typedef Tag proto_tag;
- typedef A0 proto_child0; typedef A1 proto_child1; typedef A2 proto_child2; typedef A3 proto_child3;
- typedef detail::if_vararg<A3> proto_child4; typedef detail::if_vararg<A3> proto_child5; typedef detail::if_vararg<A3> proto_child6; typedef detail::if_vararg<A3> proto_child7; typedef detail::if_vararg<A3> proto_child8; typedef detail::if_vararg<A3> proto_child9;
- };
- namespace detail
- {
- template<
- template<typename , typename , typename , typename> class T
- , typename A0 , typename A1 , typename A2 , typename A3
- >
- struct is_callable_<T<A0 , A1 , A2 , A3> BOOST_PROTO_TEMPLATE_ARITY_PARAM(4)>
- : is_same<A3, callable>
- {};
- }
- namespace result_of
- {
-
-
-
-
-
-
- template<typename Expr>
- struct child_c<Expr, 4>
- {
-
- BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
-
-
- typedef typename Expr::proto_child4 value_type;
-
-
-
-
-
- typedef typename detail::expr_traits<typename Expr::proto_child4>::value_type type;
- };
- template<typename Expr>
- struct child_c<Expr &, 4>
- {
-
- BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
-
-
- typedef typename Expr::proto_child4 value_type;
-
-
-
-
-
- typedef typename detail::expr_traits<typename Expr::proto_child4>::reference type;
-
-
- BOOST_FORCEINLINE
- static type call(Expr &e)
- {
- return e.proto_base().child4;
- }
- };
- template<typename Expr>
- struct child_c<Expr const &, 4>
- {
-
- BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
-
-
- typedef typename Expr::proto_child4 value_type;
-
-
-
-
-
- typedef typename detail::expr_traits<typename Expr::proto_child4>::const_reference type;
-
-
- BOOST_FORCEINLINE
- static type call(Expr const &e)
- {
- return e.proto_base().child4;
- }
- };
- }
-
-
-
-
- template<typename A0 , typename A1 , typename A2 , typename A3 , typename A4>
- struct function
- <
- A0 , A1 , A2 , A3 , A4
- , void , void , void , void , void
- >
- : proto::transform<
- function<
- A0 , A1 , A2 , A3 , A4
- , void , void , void , void , void
- >
- , int
- >
- {
- typedef proto::expr<proto::tag::function, list5<A0 , A1 , A2 , A3 , A4>, 5> type;
- typedef proto::basic_expr<proto::tag::function, list5<A0 , A1 , A2 , A3 , A4>, 5> proto_grammar;
- template<typename Expr, typename State, typename Data>
- struct impl
- : detail::pass_through_impl<function, deduce_domain, Expr, State, Data>
- {};
-
- typedef proto::tag::function proto_tag;
- typedef A0 proto_child0; typedef A1 proto_child1; typedef A2 proto_child2; typedef A3 proto_child3; typedef A4 proto_child4;
- typedef detail::if_vararg<A4> proto_child5; typedef detail::if_vararg<A4> proto_child6; typedef detail::if_vararg<A4> proto_child7; typedef detail::if_vararg<A4> proto_child8; typedef detail::if_vararg<A4> proto_child9;
- };
-
-
-
-
-
-
-
-
- template<typename Tag , typename A0 , typename A1 , typename A2 , typename A3 , typename A4>
- struct nary_expr
- <
- Tag
- , A0 , A1 , A2 , A3 , A4
- , void , void , void , void , void
- >
- : proto::transform<
- nary_expr<
- Tag
- , A0 , A1 , A2 , A3 , A4
- , void , void , void , void , void
- >
- , int
- >
- {
- typedef proto::expr<Tag, list5<A0 , A1 , A2 , A3 , A4>, 5> type;
- typedef proto::basic_expr<Tag, list5<A0 , A1 , A2 , A3 , A4>, 5> proto_grammar;
- template<typename Expr, typename State, typename Data>
- struct impl
- : detail::pass_through_impl<nary_expr, deduce_domain, Expr, State, Data>
- {};
-
- typedef Tag proto_tag;
- typedef A0 proto_child0; typedef A1 proto_child1; typedef A2 proto_child2; typedef A3 proto_child3; typedef A4 proto_child4;
- typedef detail::if_vararg<A4> proto_child5; typedef detail::if_vararg<A4> proto_child6; typedef detail::if_vararg<A4> proto_child7; typedef detail::if_vararg<A4> proto_child8; typedef detail::if_vararg<A4> proto_child9;
- };
- namespace detail
- {
- template<
- template<typename , typename , typename , typename , typename> class T
- , typename A0 , typename A1 , typename A2 , typename A3 , typename A4
- >
- struct is_callable_<T<A0 , A1 , A2 , A3 , A4> BOOST_PROTO_TEMPLATE_ARITY_PARAM(5)>
- : is_same<A4, callable>
- {};
- }
- namespace result_of
- {
-
-
-
-
-
-
- template<typename Expr>
- struct child_c<Expr, 5>
- {
-
- BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
-
-
- typedef typename Expr::proto_child5 value_type;
-
-
-
-
-
- typedef typename detail::expr_traits<typename Expr::proto_child5>::value_type type;
- };
- template<typename Expr>
- struct child_c<Expr &, 5>
- {
-
- BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
-
-
- typedef typename Expr::proto_child5 value_type;
-
-
-
-
-
- typedef typename detail::expr_traits<typename Expr::proto_child5>::reference type;
-
-
- BOOST_FORCEINLINE
- static type call(Expr &e)
- {
- return e.proto_base().child5;
- }
- };
- template<typename Expr>
- struct child_c<Expr const &, 5>
- {
-
- BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
-
-
- typedef typename Expr::proto_child5 value_type;
-
-
-
-
-
- typedef typename detail::expr_traits<typename Expr::proto_child5>::const_reference type;
-
-
- BOOST_FORCEINLINE
- static type call(Expr const &e)
- {
- return e.proto_base().child5;
- }
- };
- }
-
-
-
-
- template<typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5>
- struct function
- <
- A0 , A1 , A2 , A3 , A4 , A5
- , void , void , void , void
- >
- : proto::transform<
- function<
- A0 , A1 , A2 , A3 , A4 , A5
- , void , void , void , void
- >
- , int
- >
- {
- typedef proto::expr<proto::tag::function, list6<A0 , A1 , A2 , A3 , A4 , A5>, 6> type;
- typedef proto::basic_expr<proto::tag::function, list6<A0 , A1 , A2 , A3 , A4 , A5>, 6> proto_grammar;
- template<typename Expr, typename State, typename Data>
- struct impl
- : detail::pass_through_impl<function, deduce_domain, Expr, State, Data>
- {};
-
- typedef proto::tag::function proto_tag;
- typedef A0 proto_child0; typedef A1 proto_child1; typedef A2 proto_child2; typedef A3 proto_child3; typedef A4 proto_child4; typedef A5 proto_child5;
- typedef detail::if_vararg<A5> proto_child6; typedef detail::if_vararg<A5> proto_child7; typedef detail::if_vararg<A5> proto_child8; typedef detail::if_vararg<A5> proto_child9;
- };
-
-
-
-
-
-
-
-
- template<typename Tag , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5>
- struct nary_expr
- <
- Tag
- , A0 , A1 , A2 , A3 , A4 , A5
- , void , void , void , void
- >
- : proto::transform<
- nary_expr<
- Tag
- , A0 , A1 , A2 , A3 , A4 , A5
- , void , void , void , void
- >
- , int
- >
- {
- typedef proto::expr<Tag, list6<A0 , A1 , A2 , A3 , A4 , A5>, 6> type;
- typedef proto::basic_expr<Tag, list6<A0 , A1 , A2 , A3 , A4 , A5>, 6> proto_grammar;
- template<typename Expr, typename State, typename Data>
- struct impl
- : detail::pass_through_impl<nary_expr, deduce_domain, Expr, State, Data>
- {};
-
- typedef Tag proto_tag;
- typedef A0 proto_child0; typedef A1 proto_child1; typedef A2 proto_child2; typedef A3 proto_child3; typedef A4 proto_child4; typedef A5 proto_child5;
- typedef detail::if_vararg<A5> proto_child6; typedef detail::if_vararg<A5> proto_child7; typedef detail::if_vararg<A5> proto_child8; typedef detail::if_vararg<A5> proto_child9;
- };
- namespace detail
- {
- template<
- template<typename , typename , typename , typename , typename , typename> class T
- , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5
- >
- struct is_callable_<T<A0 , A1 , A2 , A3 , A4 , A5> BOOST_PROTO_TEMPLATE_ARITY_PARAM(6)>
- : is_same<A5, callable>
- {};
- }
- namespace result_of
- {
-
-
-
-
-
-
- template<typename Expr>
- struct child_c<Expr, 6>
- {
-
- BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
-
-
- typedef typename Expr::proto_child6 value_type;
-
-
-
-
-
- typedef typename detail::expr_traits<typename Expr::proto_child6>::value_type type;
- };
- template<typename Expr>
- struct child_c<Expr &, 6>
- {
-
- BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
-
-
- typedef typename Expr::proto_child6 value_type;
-
-
-
-
-
- typedef typename detail::expr_traits<typename Expr::proto_child6>::reference type;
-
-
- BOOST_FORCEINLINE
- static type call(Expr &e)
- {
- return e.proto_base().child6;
- }
- };
- template<typename Expr>
- struct child_c<Expr const &, 6>
- {
-
- BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
-
-
- typedef typename Expr::proto_child6 value_type;
-
-
-
-
-
- typedef typename detail::expr_traits<typename Expr::proto_child6>::const_reference type;
-
-
- BOOST_FORCEINLINE
- static type call(Expr const &e)
- {
- return e.proto_base().child6;
- }
- };
- }
-
-
-
-
- template<typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6>
- struct function
- <
- A0 , A1 , A2 , A3 , A4 , A5 , A6
- , void , void , void
- >
- : proto::transform<
- function<
- A0 , A1 , A2 , A3 , A4 , A5 , A6
- , void , void , void
- >
- , int
- >
- {
- typedef proto::expr<proto::tag::function, list7<A0 , A1 , A2 , A3 , A4 , A5 , A6>, 7> type;
- typedef proto::basic_expr<proto::tag::function, list7<A0 , A1 , A2 , A3 , A4 , A5 , A6>, 7> proto_grammar;
- template<typename Expr, typename State, typename Data>
- struct impl
- : detail::pass_through_impl<function, deduce_domain, Expr, State, Data>
- {};
-
- typedef proto::tag::function proto_tag;
- typedef A0 proto_child0; typedef A1 proto_child1; typedef A2 proto_child2; typedef A3 proto_child3; typedef A4 proto_child4; typedef A5 proto_child5; typedef A6 proto_child6;
- typedef detail::if_vararg<A6> proto_child7; typedef detail::if_vararg<A6> proto_child8; typedef detail::if_vararg<A6> proto_child9;
- };
-
-
-
-
-
-
-
-
- template<typename Tag , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6>
- struct nary_expr
- <
- Tag
- , A0 , A1 , A2 , A3 , A4 , A5 , A6
- , void , void , void
- >
- : proto::transform<
- nary_expr<
- Tag
- , A0 , A1 , A2 , A3 , A4 , A5 , A6
- , void , void , void
- >
- , int
- >
- {
- typedef proto::expr<Tag, list7<A0 , A1 , A2 , A3 , A4 , A5 , A6>, 7> type;
- typedef proto::basic_expr<Tag, list7<A0 , A1 , A2 , A3 , A4 , A5 , A6>, 7> proto_grammar;
- template<typename Expr, typename State, typename Data>
- struct impl
- : detail::pass_through_impl<nary_expr, deduce_domain, Expr, State, Data>
- {};
-
- typedef Tag proto_tag;
- typedef A0 proto_child0; typedef A1 proto_child1; typedef A2 proto_child2; typedef A3 proto_child3; typedef A4 proto_child4; typedef A5 proto_child5; typedef A6 proto_child6;
- typedef detail::if_vararg<A6> proto_child7; typedef detail::if_vararg<A6> proto_child8; typedef detail::if_vararg<A6> proto_child9;
- };
- namespace detail
- {
- template<
- template<typename , typename , typename , typename , typename , typename , typename> class T
- , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6
- >
- struct is_callable_<T<A0 , A1 , A2 , A3 , A4 , A5 , A6> BOOST_PROTO_TEMPLATE_ARITY_PARAM(7)>
- : is_same<A6, callable>
- {};
- }
- namespace result_of
- {
-
-
-
-
-
-
- template<typename Expr>
- struct child_c<Expr, 7>
- {
-
- BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
-
-
- typedef typename Expr::proto_child7 value_type;
-
-
-
-
-
- typedef typename detail::expr_traits<typename Expr::proto_child7>::value_type type;
- };
- template<typename Expr>
- struct child_c<Expr &, 7>
- {
-
- BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
-
-
- typedef typename Expr::proto_child7 value_type;
-
-
-
-
-
- typedef typename detail::expr_traits<typename Expr::proto_child7>::reference type;
-
-
- BOOST_FORCEINLINE
- static type call(Expr &e)
- {
- return e.proto_base().child7;
- }
- };
- template<typename Expr>
- struct child_c<Expr const &, 7>
- {
-
- BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
-
-
- typedef typename Expr::proto_child7 value_type;
-
-
-
-
-
- typedef typename detail::expr_traits<typename Expr::proto_child7>::const_reference type;
-
-
- BOOST_FORCEINLINE
- static type call(Expr const &e)
- {
- return e.proto_base().child7;
- }
- };
- }
-
-
-
-
- template<typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7>
- struct function
- <
- A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7
- , void , void
- >
- : proto::transform<
- function<
- A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7
- , void , void
- >
- , int
- >
- {
- typedef proto::expr<proto::tag::function, list8<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7>, 8> type;
- typedef proto::basic_expr<proto::tag::function, list8<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7>, 8> proto_grammar;
- template<typename Expr, typename State, typename Data>
- struct impl
- : detail::pass_through_impl<function, deduce_domain, Expr, State, Data>
- {};
-
- typedef proto::tag::function proto_tag;
- typedef A0 proto_child0; typedef A1 proto_child1; typedef A2 proto_child2; typedef A3 proto_child3; typedef A4 proto_child4; typedef A5 proto_child5; typedef A6 proto_child6; typedef A7 proto_child7;
- typedef detail::if_vararg<A7> proto_child8; typedef detail::if_vararg<A7> proto_child9;
- };
-
-
-
-
-
-
-
-
- template<typename Tag , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7>
- struct nary_expr
- <
- Tag
- , A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7
- , void , void
- >
- : proto::transform<
- nary_expr<
- Tag
- , A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7
- , void , void
- >
- , int
- >
- {
- typedef proto::expr<Tag, list8<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7>, 8> type;
- typedef proto::basic_expr<Tag, list8<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7>, 8> proto_grammar;
- template<typename Expr, typename State, typename Data>
- struct impl
- : detail::pass_through_impl<nary_expr, deduce_domain, Expr, State, Data>
- {};
-
- typedef Tag proto_tag;
- typedef A0 proto_child0; typedef A1 proto_child1; typedef A2 proto_child2; typedef A3 proto_child3; typedef A4 proto_child4; typedef A5 proto_child5; typedef A6 proto_child6; typedef A7 proto_child7;
- typedef detail::if_vararg<A7> proto_child8; typedef detail::if_vararg<A7> proto_child9;
- };
- namespace detail
- {
- template<
- template<typename , typename , typename , typename , typename , typename , typename , typename> class T
- , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7
- >
- struct is_callable_<T<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7> BOOST_PROTO_TEMPLATE_ARITY_PARAM(8)>
- : is_same<A7, callable>
- {};
- }
- namespace result_of
- {
-
-
-
-
-
-
- template<typename Expr>
- struct child_c<Expr, 8>
- {
-
- BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
-
-
- typedef typename Expr::proto_child8 value_type;
-
-
-
-
-
- typedef typename detail::expr_traits<typename Expr::proto_child8>::value_type type;
- };
- template<typename Expr>
- struct child_c<Expr &, 8>
- {
-
- BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
-
-
- typedef typename Expr::proto_child8 value_type;
-
-
-
-
-
- typedef typename detail::expr_traits<typename Expr::proto_child8>::reference type;
-
-
- BOOST_FORCEINLINE
- static type call(Expr &e)
- {
- return e.proto_base().child8;
- }
- };
- template<typename Expr>
- struct child_c<Expr const &, 8>
- {
-
- BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
-
-
- typedef typename Expr::proto_child8 value_type;
-
-
-
-
-
- typedef typename detail::expr_traits<typename Expr::proto_child8>::const_reference type;
-
-
- BOOST_FORCEINLINE
- static type call(Expr const &e)
- {
- return e.proto_base().child8;
- }
- };
- }
-
-
-
-
- template<typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8>
- struct function
- <
- A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8
- , void
- >
- : proto::transform<
- function<
- A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8
- , void
- >
- , int
- >
- {
- typedef proto::expr<proto::tag::function, list9<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8>, 9> type;
- typedef proto::basic_expr<proto::tag::function, list9<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8>, 9> proto_grammar;
- template<typename Expr, typename State, typename Data>
- struct impl
- : detail::pass_through_impl<function, deduce_domain, Expr, State, Data>
- {};
-
- typedef proto::tag::function proto_tag;
- typedef A0 proto_child0; typedef A1 proto_child1; typedef A2 proto_child2; typedef A3 proto_child3; typedef A4 proto_child4; typedef A5 proto_child5; typedef A6 proto_child6; typedef A7 proto_child7; typedef A8 proto_child8;
- typedef detail::if_vararg<A8> proto_child9;
- };
-
-
-
-
-
-
-
-
- template<typename Tag , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8>
- struct nary_expr
- <
- Tag
- , A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8
- , void
- >
- : proto::transform<
- nary_expr<
- Tag
- , A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8
- , void
- >
- , int
- >
- {
- typedef proto::expr<Tag, list9<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8>, 9> type;
- typedef proto::basic_expr<Tag, list9<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8>, 9> proto_grammar;
- template<typename Expr, typename State, typename Data>
- struct impl
- : detail::pass_through_impl<nary_expr, deduce_domain, Expr, State, Data>
- {};
-
- typedef Tag proto_tag;
- typedef A0 proto_child0; typedef A1 proto_child1; typedef A2 proto_child2; typedef A3 proto_child3; typedef A4 proto_child4; typedef A5 proto_child5; typedef A6 proto_child6; typedef A7 proto_child7; typedef A8 proto_child8;
- typedef detail::if_vararg<A8> proto_child9;
- };
- namespace detail
- {
- template<
- template<typename , typename , typename , typename , typename , typename , typename , typename , typename> class T
- , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8
- >
- struct is_callable_<T<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8> BOOST_PROTO_TEMPLATE_ARITY_PARAM(9)>
- : is_same<A8, callable>
- {};
- }
- namespace result_of
- {
-
-
-
-
-
-
- template<typename Expr>
- struct child_c<Expr, 9>
- {
-
- BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
-
-
- typedef typename Expr::proto_child9 value_type;
-
-
-
-
-
- typedef typename detail::expr_traits<typename Expr::proto_child9>::value_type type;
- };
- template<typename Expr>
- struct child_c<Expr &, 9>
- {
-
- BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
-
-
- typedef typename Expr::proto_child9 value_type;
-
-
-
-
-
- typedef typename detail::expr_traits<typename Expr::proto_child9>::reference type;
-
-
- BOOST_FORCEINLINE
- static type call(Expr &e)
- {
- return e.proto_base().child9;
- }
- };
- template<typename Expr>
- struct child_c<Expr const &, 9>
- {
-
- BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
-
-
- typedef typename Expr::proto_child9 value_type;
-
-
-
-
-
- typedef typename detail::expr_traits<typename Expr::proto_child9>::const_reference type;
-
-
- BOOST_FORCEINLINE
- static type call(Expr const &e)
- {
- return e.proto_base().child9;
- }
- };
- }
-
-
-
-
- template<typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9>
- struct function
- : proto::transform<
- function<
- A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9
-
- >
- , int
- >
- {
- typedef proto::expr<proto::tag::function, list10<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9>, 10> type;
- typedef proto::basic_expr<proto::tag::function, list10<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9>, 10> proto_grammar;
- template<typename Expr, typename State, typename Data>
- struct impl
- : detail::pass_through_impl<function, deduce_domain, Expr, State, Data>
- {};
-
- typedef proto::tag::function proto_tag;
- typedef A0 proto_child0; typedef A1 proto_child1; typedef A2 proto_child2; typedef A3 proto_child3; typedef A4 proto_child4; typedef A5 proto_child5; typedef A6 proto_child6; typedef A7 proto_child7; typedef A8 proto_child8; typedef A9 proto_child9;
-
- };
-
-
-
-
-
-
-
-
- template<typename Tag , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9>
- struct nary_expr
- : proto::transform<
- nary_expr<
- Tag
- , A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9
-
- >
- , int
- >
- {
- typedef proto::expr<Tag, list10<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9>, 10> type;
- typedef proto::basic_expr<Tag, list10<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9>, 10> proto_grammar;
- template<typename Expr, typename State, typename Data>
- struct impl
- : detail::pass_through_impl<nary_expr, deduce_domain, Expr, State, Data>
- {};
-
- typedef Tag proto_tag;
- typedef A0 proto_child0; typedef A1 proto_child1; typedef A2 proto_child2; typedef A3 proto_child3; typedef A4 proto_child4; typedef A5 proto_child5; typedef A6 proto_child6; typedef A7 proto_child7; typedef A8 proto_child8; typedef A9 proto_child9;
-
- };
- namespace detail
- {
- template<
- template<typename , typename , typename , typename , typename , typename , typename , typename , typename , typename> class T
- , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9
- >
- struct is_callable_<T<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9> BOOST_PROTO_TEMPLATE_ARITY_PARAM(10)>
- : is_same<A9, callable>
- {};
- }
- namespace result_of
- {
-
-
-
-
-
-
- template<typename Expr>
- struct child_c<Expr, 10>
- {
-
- BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
-
-
- typedef typename Expr::proto_child10 value_type;
-
-
-
-
-
- typedef typename detail::expr_traits<typename Expr::proto_child10>::value_type type;
- };
- template<typename Expr>
- struct child_c<Expr &, 10>
- {
-
- BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
-
-
- typedef typename Expr::proto_child10 value_type;
-
-
-
-
-
- typedef typename detail::expr_traits<typename Expr::proto_child10>::reference type;
-
-
- BOOST_FORCEINLINE
- static type call(Expr &e)
- {
- return e.proto_base().child10;
- }
- };
- template<typename Expr>
- struct child_c<Expr const &, 10>
- {
-
- BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
-
-
- typedef typename Expr::proto_child10 value_type;
-
-
-
-
-
- typedef typename detail::expr_traits<typename Expr::proto_child10>::const_reference type;
-
-
- BOOST_FORCEINLINE
- static type call(Expr const &e)
- {
- return e.proto_base().child10;
- }
- };
- }
|