| 12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058105910601061106210631064106510661067106810691070107110721073107410751076107710781079108010811082108310841085108610871088108910901091109210931094109510961097109810991100110111021103110411051106110711081109111011111112111311141115111611171118111911201121112211231124112511261127112811291130113111321133113411351136113711381139114011411142114311441145114611471148114911501151115211531154115511561157115811591160116111621163116411651166116711681169117011711172117311741175117611771178117911801181118211831184118511861187118811891190119111921193119411951196119711981199120012011202120312041205120612071208120912101211121212131214121512161217121812191220122112221223122412251226122712281229123012311232123312341235123612371238123912401241124212431244124512461247124812491250125112521253125412551256125712581259126012611262126312641265126612671268126912701271127212731274127512761277127812791280128112821283128412851286128712881289129012911292129312941295129612971298129913001301130213031304130513061307130813091310131113121313131413151316131713181319132013211322132313241325132613271328132913301331133213331334133513361337133813391340134113421343134413451346134713481349135013511352135313541355135613571358135913601361136213631364136513661367136813691370137113721373137413751376137713781379138013811382138313841385138613871388138913901391139213931394139513961397139813991400140114021403140414051406140714081409141014111412141314141415141614171418141914201421142214231424142514261427142814291430143114321433143414351436143714381439144014411442144314441445144614471448144914501451145214531454145514561457145814591460146114621463146414651466146714681469147014711472147314741475147614771478147914801481148214831484148514861487 |
- ///////////////////////////////////////////////////////////////////////////////
- /// \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;
- }
- };
- }
|