123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296129712981299130013011302130313041305130613071308130913101311131213131314131513161317131813191320132113221323132413251326132713281329133013311332133313341335133613371338133913401341134213431344134513461347134813491350135113521353135413551356135713581359136013611362136313641365136613671368136913701371137213731374137513761377137813791380138113821383138413851386138713881389139013911392139313941395139613971398139914001401140214031404140514061407140814091410141114121413141414151416141714181419142014211422142314241425142614271428142914301431 |
- /*=============================================================================
- Phoenix V1.2.1
- Copyright (c) 2001-2002 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)
- ==============================================================================*/
- #ifndef BOOST_SPIRIT_CLASSIC_PHOENIX_COMPOSITE_HPP
- #define BOOST_SPIRIT_CLASSIC_PHOENIX_COMPOSITE_HPP
- ///////////////////////////////////////////////////////////////////////////////
- #include <boost/spirit/home/classic/phoenix/actor.hpp>
- ///////////////////////////////////////////////////////////////////////////////
- namespace phoenix {
- #if BOOST_WORKAROUND(BOOST_MSVC, >= 1400)
- #pragma warning(push)
- #pragma warning(disable:4512) //assignment operator could not be generated
- #endif
- ///////////////////////////////////////////////////////////////////////////////
- //
- // composite class
- //
- // A composite is an actor base class composed of zero or more
- // actors (see actor.hpp) and an operation. A composite is itself
- // an actor superclass and conforms to its conceptual interface.
- // Its eval member function un-funnels the tupled actual arguments
- // from the tuple by invoking each of the actors' eval member
- // function. The results of each are then passed on as arguments to
- // the operation. Specializations are provided to handle different
- // numbers of actors.
- //
- // Schematically:
- //
- // actor0.eval(tupled_args) --> arg0 --> |
- // actor1.eval(tupled_args) --> arg1 --> |
- // actor2.eval(tupled_args) --> arg3 --> | --> operation(arg0...argN)
- // ... |
- // actorN.eval(tupled_args) --> argN --> |
- //
- // The operation can be any suitable functor that can accept the
- // arguments passed in by the composite. The operation is expected
- // to have a member operator() that carries out the actual
- // operation. There should be a one to one correspondence between
- // actors of the composite and the arguments of the operation's
- // member operator().
- //
- // The operation is also expected to have a nested template class
- // result<T0...TN>. The nested template class result should have a
- // typedef 'type' that reflects the return type of its member
- // operator(). This is essentially a type computer that answers the
- // metaprogramming question "Given arguments of type T0...TN, what
- // will be its operator()'s return type?".
- //
- // There is a special case for operations that accept no arguments.
- // Such nullary operations are only required to define a typedef
- // result_type that reflects the return type of its operator().
- //
- // Here's an example of a simple operation that squares a number:
- //
- // struct square {
- //
- // template <typename ArgT>
- // struct result { typedef ArgT type; };
- //
- // template <typename ArgT>
- // ArgT operator()(ArgT n) const { return n * n; }
- // };
- //
- // As can be seen, operations can be polymorphic. Its arguments and
- // return type are not fixed to a particular type. The example
- // above for example, can handle any ArgT type as long as it has a
- // multiplication operator.
- //
- // Composites are not created directly. Instead, there are meta-
- // programs provided that indirectly create composites. See
- // operators.hpp, binders.hpp and functions.hpp for examples.
- //
- ///////////////////////////////////////////////////////////////////////////////
- template <
- typename OperationT
- , typename A = nil_t
- , typename B = nil_t
- , typename C = nil_t
- #if PHOENIX_LIMIT > 3
- , typename D = nil_t
- , typename E = nil_t
- , typename F = nil_t
- #if PHOENIX_LIMIT > 6
- , typename G = nil_t
- , typename H = nil_t
- , typename I = nil_t
- #if PHOENIX_LIMIT > 9
- , typename J = nil_t
- , typename K = nil_t
- , typename L = nil_t
- #if PHOENIX_LIMIT > 12
- , typename M = nil_t
- , typename N = nil_t
- , typename O = nil_t
- #endif
- #endif
- #endif
- #endif
- , typename NU = nil_t // Not used
- >
- struct composite;
- ///////////////////////////////////////////////////////////////////////////////
- //
- // composite <0 actor> class
- //
- ///////////////////////////////////////////////////////////////////////////////
- template <typename OperationT, typename TupleT>
- struct composite0_result {
- typedef typename OperationT::result_type type;
- };
- //////////////////////////////////
- template <typename OperationT>
- struct composite<OperationT,
- nil_t, nil_t, nil_t,
- #if PHOENIX_LIMIT > 3
- nil_t, nil_t, nil_t,
- #if PHOENIX_LIMIT > 6
- nil_t, nil_t, nil_t,
- #if PHOENIX_LIMIT > 9
- nil_t, nil_t, nil_t,
- #if PHOENIX_LIMIT > 12
- nil_t, nil_t, nil_t,
- #endif
- #endif
- #endif
- #endif
- nil_t // Unused
- > {
- typedef composite<OperationT> self_t;
- template <typename TupleT>
- struct result {
- typedef typename composite0_result<
- OperationT, TupleT
- >::type type;
- };
- composite(OperationT const& op_)
- : op(op_) {}
- template <typename TupleT>
- typename OperationT::result_type
- eval(TupleT const& /*args*/) const
- {
- return op();
- }
- mutable OperationT op; // operation
- };
- ///////////////////////////////////////////////////////////////////////////////
- //
- // composite <1 actor> class
- //
- ///////////////////////////////////////////////////////////////////////////////
- template <typename OperationT, typename TupleT,
- typename A>
- struct composite1_result {
- typedef typename OperationT::template result<
- typename actor_result<A, TupleT>::plain_type
- >::type type;
- };
- //////////////////////////////////
- template <typename OperationT,
- typename A>
- struct composite<OperationT,
- A, nil_t, nil_t,
- #if PHOENIX_LIMIT > 3
- nil_t, nil_t, nil_t,
- #if PHOENIX_LIMIT > 6
- nil_t, nil_t, nil_t,
- #if PHOENIX_LIMIT > 9
- nil_t, nil_t, nil_t,
- #if PHOENIX_LIMIT > 12
- nil_t, nil_t, nil_t,
- #endif
- #endif
- #endif
- #endif
- nil_t // Unused
- > {
- typedef composite<OperationT, A> self_t;
- template <typename TupleT>
- struct result {
- typedef typename composite1_result<
- OperationT, TupleT, A
- >::type type;
- };
- composite(OperationT const& op_,
- A const& a_)
- : op(op_), a(a_) {}
- template <typename TupleT>
- typename actor_result<self_t, TupleT>::type
- eval(TupleT const& args) const
- {
- typename actor_result<A, TupleT>::type ra = a.eval(args);
- return op(ra);
- }
- mutable OperationT op; // operation
- A a; // actors
- };
- ///////////////////////////////////////////////////////////////////////////////
- //
- // composite <2 actors> class
- //
- ///////////////////////////////////////////////////////////////////////////////
- template <typename OperationT, typename TupleT,
- typename A, typename B>
- struct composite2_result {
- typedef typename OperationT::template result<
- typename actor_result<A, TupleT>::plain_type,
- typename actor_result<B, TupleT>::plain_type
- >::type type;
- };
- //////////////////////////////////
- template <typename OperationT,
- typename A, typename B>
- struct composite<OperationT,
- A, B, nil_t,
- #if PHOENIX_LIMIT > 3
- nil_t, nil_t, nil_t,
- #if PHOENIX_LIMIT > 6
- nil_t, nil_t, nil_t,
- #if PHOENIX_LIMIT > 9
- nil_t, nil_t, nil_t,
- #if PHOENIX_LIMIT > 12
- nil_t, nil_t, nil_t,
- #endif
- #endif
- #endif
- #endif
- nil_t // Unused
- > {
- typedef composite<OperationT, A, B> self_t;
- template <typename TupleT>
- struct result {
- typedef typename composite2_result<
- OperationT, TupleT, A, B
- >::type type;
- };
- composite(OperationT const& op_,
- A const& a_, B const& b_)
- : op(op_), a(a_), b(b_) {}
- template <typename TupleT>
- typename actor_result<self_t, TupleT>::type
- eval(TupleT const& args) const
- {
- typename actor_result<A, TupleT>::type ra = a.eval(args);
- typename actor_result<B, TupleT>::type rb = b.eval(args);
- return op(ra, rb);
- }
- mutable OperationT op; // operation
- A a; B b; // actors
- };
- ///////////////////////////////////////////////////////////////////////////////
- //
- // composite <3 actors> class
- //
- ///////////////////////////////////////////////////////////////////////////////
- template <typename OperationT, typename TupleT,
- typename A, typename B, typename C>
- struct composite3_result {
- typedef typename OperationT::template result<
- typename actor_result<A, TupleT>::plain_type,
- typename actor_result<B, TupleT>::plain_type,
- typename actor_result<C, TupleT>::plain_type
- >::type type;
- };
- //////////////////////////////////
- template <typename OperationT,
- typename A, typename B, typename C>
- struct composite<OperationT,
- A, B, C,
- #if PHOENIX_LIMIT > 3
- nil_t, nil_t, nil_t,
- #if PHOENIX_LIMIT > 6
- nil_t, nil_t, nil_t,
- #if PHOENIX_LIMIT > 9
- nil_t, nil_t, nil_t,
- #if PHOENIX_LIMIT > 12
- nil_t, nil_t, nil_t,
- #endif
- #endif
- #endif
- #endif
- nil_t // Unused
- > {
- typedef composite<OperationT, A, B, C> self_t;
- template <typename TupleT>
- struct result {
- typedef typename composite3_result<
- OperationT, TupleT, A, B, C
- >::type type;
- };
- composite(OperationT const& op_,
- A const& a_, B const& b_, C const& c_)
- : op(op_), a(a_), b(b_), c(c_) {}
- template <typename TupleT>
- typename actor_result<self_t, TupleT>::type
- eval(TupleT const& args) const
- {
- typename actor_result<A, TupleT>::type ra = a.eval(args);
- typename actor_result<B, TupleT>::type rb = b.eval(args);
- typename actor_result<C, TupleT>::type rc = c.eval(args);
- return op(ra, rb, rc);
- }
- mutable OperationT op; // operation
- A a; B b; C c; // actors
- };
- #if PHOENIX_LIMIT > 3
- ///////////////////////////////////////////////////////////////////////////////
- //
- // composite <4 actors> class
- //
- ///////////////////////////////////////////////////////////////////////////////
- template <typename OperationT, typename TupleT,
- typename A, typename B, typename C, typename D>
- struct composite4_result {
- typedef typename OperationT::template result<
- typename actor_result<A, TupleT>::plain_type,
- typename actor_result<B, TupleT>::plain_type,
- typename actor_result<C, TupleT>::plain_type,
- typename actor_result<D, TupleT>::plain_type
- >::type type;
- };
- //////////////////////////////////
- template <typename OperationT,
- typename A, typename B, typename C, typename D>
- struct composite<OperationT,
- A, B, C, D, nil_t, nil_t,
- #if PHOENIX_LIMIT > 6
- nil_t, nil_t, nil_t,
- #if PHOENIX_LIMIT > 9
- nil_t, nil_t, nil_t,
- #if PHOENIX_LIMIT > 12
- nil_t, nil_t, nil_t,
- #endif
- #endif
- #endif
- nil_t // Unused
- > {
- typedef composite<OperationT, A, B, C, D> self_t;
- template <typename TupleT>
- struct result {
- typedef typename composite4_result<
- OperationT, TupleT, A, B, C, D
- >::type type;
- };
- composite(OperationT const& op_,
- A const& a_, B const& b_, C const& c_, D const& d_)
- : op(op_), a(a_), b(b_), c(c_), d(d_) {}
- template <typename TupleT>
- typename actor_result<self_t, TupleT>::type
- eval(TupleT const& args) const
- {
- typename actor_result<A, TupleT>::type ra = a.eval(args);
- typename actor_result<B, TupleT>::type rb = b.eval(args);
- typename actor_result<C, TupleT>::type rc = c.eval(args);
- typename actor_result<D, TupleT>::type rd = d.eval(args);
- return op(ra, rb, rc, rd);
- }
- mutable OperationT op; // operation
- A a; B b; C c; D d; // actors
- };
- ///////////////////////////////////////////////////////////////////////////////
- //
- // composite <5 actors> class
- //
- ///////////////////////////////////////////////////////////////////////////////
- template <typename OperationT, typename TupleT,
- typename A, typename B, typename C, typename D, typename E>
- struct composite5_result {
- typedef typename OperationT::template result<
- typename actor_result<A, TupleT>::plain_type,
- typename actor_result<B, TupleT>::plain_type,
- typename actor_result<C, TupleT>::plain_type,
- typename actor_result<D, TupleT>::plain_type,
- typename actor_result<E, TupleT>::plain_type
- >::type type;
- };
- //////////////////////////////////
- template <typename OperationT,
- typename A, typename B, typename C, typename D, typename E>
- struct composite<OperationT,
- A, B, C, D, E, nil_t,
- #if PHOENIX_LIMIT > 6
- nil_t, nil_t, nil_t,
- #if PHOENIX_LIMIT > 9
- nil_t, nil_t, nil_t,
- #if PHOENIX_LIMIT > 12
- nil_t, nil_t, nil_t,
- #endif
- #endif
- #endif
- nil_t // Unused
- > {
- typedef composite<OperationT, A, B, C, D, E> self_t;
- template <typename TupleT>
- struct result {
- typedef typename composite5_result<
- OperationT, TupleT, A, B, C, D, E
- >::type type;
- };
- composite(OperationT const& op_,
- A const& a_, B const& b_, C const& c_, D const& d_, E const& e_)
- : op(op_), a(a_), b(b_), c(c_), d(d_), e(e_) {}
- template <typename TupleT>
- typename actor_result<self_t, TupleT>::type
- eval(TupleT const& args) const
- {
- typename actor_result<A, TupleT>::type ra = a.eval(args);
- typename actor_result<B, TupleT>::type rb = b.eval(args);
- typename actor_result<C, TupleT>::type rc = c.eval(args);
- typename actor_result<D, TupleT>::type rd = d.eval(args);
- typename actor_result<E, TupleT>::type re = e.eval(args);
- return op(ra, rb, rc, rd, re);
- }
- mutable OperationT op; // operation
- A a; B b; C c; D d; E e; // actors
- };
- ///////////////////////////////////////////////////////////////////////////////
- //
- // composite <6 actors> class
- //
- ///////////////////////////////////////////////////////////////////////////////
- template <typename OperationT, typename TupleT,
- typename A, typename B, typename C, typename D, typename E,
- typename F>
- struct composite6_result {
- typedef typename OperationT::template result<
- typename actor_result<A, TupleT>::plain_type,
- typename actor_result<B, TupleT>::plain_type,
- typename actor_result<C, TupleT>::plain_type,
- typename actor_result<D, TupleT>::plain_type,
- typename actor_result<E, TupleT>::plain_type,
- typename actor_result<F, TupleT>::plain_type
- >::type type;
- };
- //////////////////////////////////
- template <typename OperationT,
- typename A, typename B, typename C, typename D, typename E,
- typename F>
- struct composite<OperationT,
- A, B, C, D, E, F,
- #if PHOENIX_LIMIT > 6
- nil_t, nil_t, nil_t,
- #if PHOENIX_LIMIT > 9
- nil_t, nil_t, nil_t,
- #if PHOENIX_LIMIT > 12
- nil_t, nil_t, nil_t,
- #endif
- #endif
- #endif
- nil_t // Unused
- > {
- typedef composite<OperationT, A, B, C, D, E, F> self_t;
- template <typename TupleT>
- struct result {
- typedef typename composite6_result<
- OperationT, TupleT, A, B, C, D, E, F
- >::type type;
- };
- composite(OperationT const& op_,
- A const& a_, B const& b_, C const& c_, D const& d_, E const& e_,
- F const& f_)
- : op(op_), a(a_), b(b_), c(c_), d(d_), e(e_),
- f(f_) {}
- template <typename TupleT>
- typename actor_result<self_t, TupleT>::type
- eval(TupleT const& args) const
- {
- typename actor_result<A, TupleT>::type ra = a.eval(args);
- typename actor_result<B, TupleT>::type rb = b.eval(args);
- typename actor_result<C, TupleT>::type rc = c.eval(args);
- typename actor_result<D, TupleT>::type rd = d.eval(args);
- typename actor_result<E, TupleT>::type re = e.eval(args);
- typename actor_result<F, TupleT>::type rf = f.eval(args);
- return op(ra, rb, rc, rd, re, rf);
- }
- mutable OperationT op; // operation
- A a; B b; C c; D d; E e; F f; // actors
- };
- #if PHOENIX_LIMIT > 6
- ///////////////////////////////////////////////////////////////////////////////
- //
- // composite <7 actors> class
- //
- ///////////////////////////////////////////////////////////////////////////////
- template <typename OperationT, typename TupleT,
- typename A, typename B, typename C, typename D, typename E,
- typename F, typename G>
- struct composite7_result {
- typedef typename OperationT::template result<
- typename actor_result<A, TupleT>::plain_type,
- typename actor_result<B, TupleT>::plain_type,
- typename actor_result<C, TupleT>::plain_type,
- typename actor_result<D, TupleT>::plain_type,
- typename actor_result<E, TupleT>::plain_type,
- typename actor_result<F, TupleT>::plain_type,
- typename actor_result<G, TupleT>::plain_type
- >::type type;
- };
- //////////////////////////////////
- template <typename OperationT,
- typename A, typename B, typename C, typename D, typename E,
- typename F, typename G>
- struct composite<OperationT,
- A, B, C, D, E, F, G, nil_t, nil_t,
- #if PHOENIX_LIMIT > 9
- nil_t, nil_t, nil_t,
- #if PHOENIX_LIMIT > 12
- nil_t, nil_t, nil_t,
- #endif
- #endif
- nil_t // Unused
- > {
- typedef composite<OperationT, A, B, C, D, E, F, G> self_t;
- template <typename TupleT>
- struct result {
- typedef typename composite7_result<
- OperationT, TupleT, A, B, C, D, E, F, G
- >::type type;
- };
- composite(OperationT const& op_,
- A const& a_, B const& b_, C const& c_, D const& d_, E const& e_,
- F const& f_, G const& g_)
- : op(op_), a(a_), b(b_), c(c_), d(d_), e(e_),
- f(f_), g(g_) {}
- template <typename TupleT>
- typename actor_result<self_t, TupleT>::type
- eval(TupleT const& args) const
- {
- typename actor_result<A, TupleT>::type ra = a.eval(args);
- typename actor_result<B, TupleT>::type rb = b.eval(args);
- typename actor_result<C, TupleT>::type rc = c.eval(args);
- typename actor_result<D, TupleT>::type rd = d.eval(args);
- typename actor_result<E, TupleT>::type re = e.eval(args);
- typename actor_result<F, TupleT>::type rf = f.eval(args);
- typename actor_result<G, TupleT>::type rg = g.eval(args);
- return op(ra, rb, rc, rd, re, rf, rg);
- }
- mutable OperationT op; // operation
- A a; B b; C c; D d; E e; F f; G g; // actors
- };
- ///////////////////////////////////////////////////////////////////////////////
- //
- // composite <8 actors> class
- //
- ///////////////////////////////////////////////////////////////////////////////
- template <typename OperationT, typename TupleT,
- typename A, typename B, typename C, typename D, typename E,
- typename F, typename G, typename H>
- struct composite8_result {
- typedef typename OperationT::template result<
- typename actor_result<A, TupleT>::plain_type,
- typename actor_result<B, TupleT>::plain_type,
- typename actor_result<C, TupleT>::plain_type,
- typename actor_result<D, TupleT>::plain_type,
- typename actor_result<E, TupleT>::plain_type,
- typename actor_result<F, TupleT>::plain_type,
- typename actor_result<G, TupleT>::plain_type,
- typename actor_result<H, TupleT>::plain_type
- >::type type;
- };
- //////////////////////////////////
- template <typename OperationT,
- typename A, typename B, typename C, typename D, typename E,
- typename F, typename G, typename H>
- struct composite<OperationT,
- A, B, C, D, E, F, G, H, nil_t,
- #if PHOENIX_LIMIT > 9
- nil_t, nil_t, nil_t,
- #if PHOENIX_LIMIT > 12
- nil_t, nil_t, nil_t,
- #endif
- #endif
- nil_t // Unused
- > {
- typedef composite<OperationT, A, B, C, D, E, F, G, H> self_t;
- template <typename TupleT>
- struct result {
- typedef typename composite8_result<
- OperationT, TupleT, A, B, C, D, E, F, G, H
- >::type type;
- };
- composite(OperationT const& op_,
- A const& a_, B const& b_, C const& c_, D const& d_, E const& e_,
- F const& f_, G const& g_, H const& h_)
- : op(op_), a(a_), b(b_), c(c_), d(d_), e(e_),
- f(f_), g(g_), h(h_) {}
- template <typename TupleT>
- typename actor_result<self_t, TupleT>::type
- eval(TupleT const& args) const
- {
- typename actor_result<A, TupleT>::type ra = a.eval(args);
- typename actor_result<B, TupleT>::type rb = b.eval(args);
- typename actor_result<C, TupleT>::type rc = c.eval(args);
- typename actor_result<D, TupleT>::type rd = d.eval(args);
- typename actor_result<E, TupleT>::type re = e.eval(args);
- typename actor_result<F, TupleT>::type rf = f.eval(args);
- typename actor_result<G, TupleT>::type rg = g.eval(args);
- typename actor_result<H, TupleT>::type rh = h.eval(args);
- return op(ra, rb, rc, rd, re, rf, rg, rh);
- }
- mutable OperationT op; // operation
- A a; B b; C c; D d; E e; F f; G g; H h; // actors
- };
- ///////////////////////////////////////////////////////////////////////////////
- //
- // composite <9 actors> class
- //
- ///////////////////////////////////////////////////////////////////////////////
- template <typename OperationT, typename TupleT,
- typename A, typename B, typename C, typename D, typename E,
- typename F, typename G, typename H, typename I>
- struct composite9_result {
- typedef typename OperationT::template result<
- typename actor_result<A, TupleT>::plain_type,
- typename actor_result<B, TupleT>::plain_type,
- typename actor_result<C, TupleT>::plain_type,
- typename actor_result<D, TupleT>::plain_type,
- typename actor_result<E, TupleT>::plain_type,
- typename actor_result<F, TupleT>::plain_type,
- typename actor_result<G, TupleT>::plain_type,
- typename actor_result<H, TupleT>::plain_type,
- typename actor_result<I, TupleT>::plain_type
- >::type type;
- };
- //////////////////////////////////
- template <typename OperationT,
- typename A, typename B, typename C, typename D, typename E,
- typename F, typename G, typename H, typename I>
- struct composite<OperationT,
- A, B, C, D, E, F, G, H, I,
- #if PHOENIX_LIMIT > 9
- nil_t, nil_t, nil_t,
- #if PHOENIX_LIMIT > 12
- nil_t, nil_t, nil_t,
- #endif
- #endif
- nil_t // Unused
- > {
- typedef composite<OperationT, A, B, C, D, E, F, G, H, I> self_t;
- template <typename TupleT>
- struct result {
- typedef typename composite9_result<
- OperationT, TupleT, A, B, C, D, E, F, G, H, I
- >::type type;
- };
- composite(OperationT const& op_,
- A const& a_, B const& b_, C const& c_, D const& d_, E const& e_,
- F const& f_, G const& g_, H const& h_, I const& i_)
- : op(op_), a(a_), b(b_), c(c_), d(d_), e(e_),
- f(f_), g(g_), h(h_), i(i_) {}
- template <typename TupleT>
- typename actor_result<self_t, TupleT>::type
- eval(TupleT const& args) const
- {
- typename actor_result<A, TupleT>::type ra = a.eval(args);
- typename actor_result<B, TupleT>::type rb = b.eval(args);
- typename actor_result<C, TupleT>::type rc = c.eval(args);
- typename actor_result<D, TupleT>::type rd = d.eval(args);
- typename actor_result<E, TupleT>::type re = e.eval(args);
- typename actor_result<F, TupleT>::type rf = f.eval(args);
- typename actor_result<G, TupleT>::type rg = g.eval(args);
- typename actor_result<H, TupleT>::type rh = h.eval(args);
- typename actor_result<I, TupleT>::type ri = i.eval(args);
- return op(ra, rb, rc, rd, re, rf, rg, rh, ri);
- }
- mutable OperationT op; // operation
- A a; B b; C c; D d; E e; F f; G g; H h; I i; // actors
- };
- #if PHOENIX_LIMIT > 9
- ///////////////////////////////////////////////////////////////////////////////
- //
- // composite <10 actors> class
- //
- ///////////////////////////////////////////////////////////////////////////////
- template <typename OperationT, typename TupleT,
- typename A, typename B, typename C, typename D, typename E,
- typename F, typename G, typename H, typename I, typename J>
- struct composite10_result {
- typedef typename OperationT::template result<
- typename actor_result<A, TupleT>::plain_type,
- typename actor_result<B, TupleT>::plain_type,
- typename actor_result<C, TupleT>::plain_type,
- typename actor_result<D, TupleT>::plain_type,
- typename actor_result<E, TupleT>::plain_type,
- typename actor_result<F, TupleT>::plain_type,
- typename actor_result<G, TupleT>::plain_type,
- typename actor_result<H, TupleT>::plain_type,
- typename actor_result<I, TupleT>::plain_type,
- typename actor_result<J, TupleT>::plain_type
- >::type type;
- };
- //////////////////////////////////
- template <typename OperationT,
- typename A, typename B, typename C, typename D, typename E,
- typename F, typename G, typename H, typename I, typename J>
- struct composite<OperationT,
- A, B, C, D, E, F, G, H, I, J, nil_t, nil_t,
- #if PHOENIX_LIMIT > 12
- nil_t, nil_t, nil_t,
- #endif
- nil_t // Unused
- > {
- typedef composite<OperationT, A, B, C, D, E, F, G, H, I, J> self_t;
- template <typename TupleT>
- struct result {
- typedef typename composite10_result<
- OperationT, TupleT, A, B, C, D, E, F, G, H, I, J
- >::type type;
- };
- composite(OperationT const& op_,
- A const& a_, B const& b_, C const& c_, D const& d_, E const& e_,
- F const& f_, G const& g_, H const& h_, I const& i_, J const& j_)
- : op(op_), a(a_), b(b_), c(c_), d(d_), e(e_),
- f(f_), g(g_), h(h_), i(i_), j(j_) {}
- template <typename TupleT>
- typename actor_result<self_t, TupleT>::type
- eval(TupleT const& args) const
- {
- typename actor_result<A, TupleT>::type ra = a.eval(args);
- typename actor_result<B, TupleT>::type rb = b.eval(args);
- typename actor_result<C, TupleT>::type rc = c.eval(args);
- typename actor_result<D, TupleT>::type rd = d.eval(args);
- typename actor_result<E, TupleT>::type re = e.eval(args);
- typename actor_result<F, TupleT>::type rf = f.eval(args);
- typename actor_result<G, TupleT>::type rg = g.eval(args);
- typename actor_result<H, TupleT>::type rh = h.eval(args);
- typename actor_result<I, TupleT>::type ri = i.eval(args);
- typename actor_result<J, TupleT>::type rj = j.eval(args);
- return op(ra, rb, rc, rd, re, rf, rg, rh, ri, rj);
- }
- mutable OperationT op; // operation
- A a; B b; C c; D d; E e; F f; G g; H h; I i; J j; // actors
- };
- ///////////////////////////////////////////////////////////////////////////////
- //
- // composite <11 actors> class
- //
- ///////////////////////////////////////////////////////////////////////////////
- template <typename OperationT, typename TupleT,
- typename A, typename B, typename C, typename D, typename E,
- typename F, typename G, typename H, typename I, typename J,
- typename K>
- struct composite11_result {
- typedef typename OperationT::template result<
- typename actor_result<A, TupleT>::plain_type,
- typename actor_result<B, TupleT>::plain_type,
- typename actor_result<C, TupleT>::plain_type,
- typename actor_result<D, TupleT>::plain_type,
- typename actor_result<E, TupleT>::plain_type,
- typename actor_result<F, TupleT>::plain_type,
- typename actor_result<G, TupleT>::plain_type,
- typename actor_result<H, TupleT>::plain_type,
- typename actor_result<I, TupleT>::plain_type,
- typename actor_result<J, TupleT>::plain_type,
- typename actor_result<K, TupleT>::plain_type
- >::type type;
- };
- //////////////////////////////////
- template <typename OperationT,
- typename A, typename B, typename C, typename D, typename E,
- typename F, typename G, typename H, typename I, typename J,
- typename K>
- struct composite<OperationT,
- A, B, C, D, E, F, G, H, I, J, K, nil_t,
- #if PHOENIX_LIMIT > 12
- nil_t, nil_t, nil_t,
- #endif
- nil_t // Unused
- > {
- typedef composite<OperationT,
- A, B, C, D, E, F, G, H, I, J, K> self_t;
- template <typename TupleT>
- struct result {
- typedef typename composite11_result<
- OperationT, TupleT, A, B, C, D, E, F, G, H, I, J, K
- >::type type;
- };
- composite(OperationT const& op_,
- A const& a_, B const& b_, C const& c_, D const& d_, E const& e_,
- F const& f_, G const& g_, H const& h_, I const& i_, J const& j_,
- K const& k_)
- : op(op_), a(a_), b(b_), c(c_), d(d_), e(e_),
- f(f_), g(g_), h(h_), i(i_), j(j_),
- k(k_) {}
- template <typename TupleT>
- typename actor_result<self_t, TupleT>::type
- eval(TupleT const& args) const
- {
- typename actor_result<A, TupleT>::type ra = a.eval(args);
- typename actor_result<B, TupleT>::type rb = b.eval(args);
- typename actor_result<C, TupleT>::type rc = c.eval(args);
- typename actor_result<D, TupleT>::type rd = d.eval(args);
- typename actor_result<E, TupleT>::type re = e.eval(args);
- typename actor_result<F, TupleT>::type rf = f.eval(args);
- typename actor_result<G, TupleT>::type rg = g.eval(args);
- typename actor_result<H, TupleT>::type rh = h.eval(args);
- typename actor_result<I, TupleT>::type ri = i.eval(args);
- typename actor_result<J, TupleT>::type rj = j.eval(args);
- typename actor_result<K, TupleT>::type rk = k.eval(args);
- return op(ra, rb, rc, rd, re, rf, rg, rh, ri, rj, rk);
- }
- mutable OperationT op; // operation
- A a; B b; C c; D d; E e; F f; G g; H h; I i; J j;
- K k;// actors
- };
- ///////////////////////////////////////////////////////////////////////////////
- //
- // composite <12 actors> class
- //
- ///////////////////////////////////////////////////////////////////////////////
- template <typename OperationT, typename TupleT,
- typename A, typename B, typename C, typename D, typename E,
- typename F, typename G, typename H, typename I, typename J,
- typename K, typename L>
- struct composite12_result {
- typedef typename OperationT::template result<
- typename actor_result<A, TupleT>::plain_type,
- typename actor_result<B, TupleT>::plain_type,
- typename actor_result<C, TupleT>::plain_type,
- typename actor_result<D, TupleT>::plain_type,
- typename actor_result<E, TupleT>::plain_type,
- typename actor_result<F, TupleT>::plain_type,
- typename actor_result<G, TupleT>::plain_type,
- typename actor_result<H, TupleT>::plain_type,
- typename actor_result<I, TupleT>::plain_type,
- typename actor_result<J, TupleT>::plain_type,
- typename actor_result<K, TupleT>::plain_type,
- typename actor_result<L, TupleT>::plain_type
- >::type type;
- };
- //////////////////////////////////
- template <typename OperationT,
- typename A, typename B, typename C, typename D, typename E,
- typename F, typename G, typename H, typename I, typename J,
- typename K, typename L>
- struct composite<OperationT,
- A, B, C, D, E, F, G, H, I, J, K, L,
- #if PHOENIX_LIMIT > 12
- nil_t, nil_t, nil_t,
- #endif
- nil_t // Unused
- > {
- typedef composite<OperationT,
- A, B, C, D, E, F, G, H, I, J, K, L> self_t;
- template <typename TupleT>
- struct result {
- typedef typename composite12_result<
- OperationT, TupleT, A, B, C, D, E, F, G, H, I, J, K, L
- >::type type;
- };
- composite(OperationT const& op_,
- A const& a_, B const& b_, C const& c_, D const& d_, E const& e_,
- F const& f_, G const& g_, H const& h_, I const& i_, J const& j_,
- K const& k_, L const& l_)
- : op(op_), a(a_), b(b_), c(c_), d(d_), e(e_),
- f(f_), g(g_), h(h_), i(i_), j(j_),
- k(k_), l(l_) {}
- template <typename TupleT>
- typename actor_result<self_t, TupleT>::type
- eval(TupleT const& args) const
- {
- typename actor_result<A, TupleT>::type ra = a.eval(args);
- typename actor_result<B, TupleT>::type rb = b.eval(args);
- typename actor_result<C, TupleT>::type rc = c.eval(args);
- typename actor_result<D, TupleT>::type rd = d.eval(args);
- typename actor_result<E, TupleT>::type re = e.eval(args);
- typename actor_result<F, TupleT>::type rf = f.eval(args);
- typename actor_result<G, TupleT>::type rg = g.eval(args);
- typename actor_result<H, TupleT>::type rh = h.eval(args);
- typename actor_result<I, TupleT>::type ri = i.eval(args);
- typename actor_result<J, TupleT>::type rj = j.eval(args);
- typename actor_result<K, TupleT>::type rk = k.eval(args);
- typename actor_result<L, TupleT>::type rl = l.eval(args);
- return op(ra, rb, rc, rd, re, rf, rg, rh, ri, rj, rk, rl);
- }
- mutable OperationT op; // operation
- A a; B b; C c; D d; E e; F f; G g; H h; I i; J j;
- K k; L l;// actors
- };
- #if PHOENIX_LIMIT > 12
- ///////////////////////////////////////////////////////////////////////////////
- //
- // composite <13 actors> class
- //
- ///////////////////////////////////////////////////////////////////////////////
- template <typename OperationT, typename TupleT,
- typename A, typename B, typename C, typename D, typename E,
- typename F, typename G, typename H, typename I, typename J,
- typename K, typename L, typename M>
- struct composite13_result {
- typedef typename OperationT::template result<
- typename actor_result<A, TupleT>::plain_type,
- typename actor_result<B, TupleT>::plain_type,
- typename actor_result<C, TupleT>::plain_type,
- typename actor_result<D, TupleT>::plain_type,
- typename actor_result<E, TupleT>::plain_type,
- typename actor_result<F, TupleT>::plain_type,
- typename actor_result<G, TupleT>::plain_type,
- typename actor_result<H, TupleT>::plain_type,
- typename actor_result<I, TupleT>::plain_type,
- typename actor_result<J, TupleT>::plain_type,
- typename actor_result<K, TupleT>::plain_type,
- typename actor_result<L, TupleT>::plain_type,
- typename actor_result<M, TupleT>::plain_type
- >::type type;
- };
- //////////////////////////////////
- template <typename OperationT,
- typename A, typename B, typename C, typename D, typename E,
- typename F, typename G, typename H, typename I, typename J,
- typename K, typename L, typename M>
- struct composite<OperationT,
- A, B, C, D, E, F, G, H, I, J, K, L, M, nil_t, nil_t, nil_t
- > {
- typedef composite<OperationT,
- A, B, C, D, E, F, G, H, I, J, K, L, M> self_t;
- template <typename TupleT>
- struct result {
- typedef typename composite13_result<
- OperationT, TupleT, A, B, C, D, E, F, G, H, I, J, K, L, M
- >::type type;
- };
- composite(OperationT const& op_,
- A const& a_, B const& b_, C const& c_, D const& d_, E const& e_,
- F const& f_, G const& g_, H const& h_, I const& i_, J const& j_,
- K const& k_, L const& l_, M const& m_)
- : op(op_), a(a_), b(b_), c(c_), d(d_), e(e_),
- f(f_), g(g_), h(h_), i(i_), j(j_),
- k(k_), l(l_), m(m_) {}
- template <typename TupleT>
- typename actor_result<self_t, TupleT>::type
- eval(TupleT const& args) const
- {
- typename actor_result<A, TupleT>::type ra = a.eval(args);
- typename actor_result<B, TupleT>::type rb = b.eval(args);
- typename actor_result<C, TupleT>::type rc = c.eval(args);
- typename actor_result<D, TupleT>::type rd = d.eval(args);
- typename actor_result<E, TupleT>::type re = e.eval(args);
- typename actor_result<F, TupleT>::type rf = f.eval(args);
- typename actor_result<G, TupleT>::type rg = g.eval(args);
- typename actor_result<H, TupleT>::type rh = h.eval(args);
- typename actor_result<I, TupleT>::type ri = i.eval(args);
- typename actor_result<J, TupleT>::type rj = j.eval(args);
- typename actor_result<K, TupleT>::type rk = k.eval(args);
- typename actor_result<L, TupleT>::type rl = l.eval(args);
- typename actor_result<M, TupleT>::type rm = m.eval(args);
- return op(ra, rb, rc, rd, re, rf, rg, rh, ri, rj, rk, rl, rm);
- }
- mutable OperationT op; // operation
- A a; B b; C c; D d; E e; F f; G g; H h; I i; J j;
- K k; L l; M m; // actors
- };
- ///////////////////////////////////////////////////////////////////////////////
- //
- // composite <14 actors> class
- //
- ///////////////////////////////////////////////////////////////////////////////
- template <typename OperationT, typename TupleT,
- typename A, typename B, typename C, typename D, typename E,
- typename F, typename G, typename H, typename I, typename J,
- typename K, typename L, typename M, typename N>
- struct composite14_result {
- typedef typename OperationT::template result<
- typename actor_result<A, TupleT>::plain_type,
- typename actor_result<B, TupleT>::plain_type,
- typename actor_result<C, TupleT>::plain_type,
- typename actor_result<D, TupleT>::plain_type,
- typename actor_result<E, TupleT>::plain_type,
- typename actor_result<F, TupleT>::plain_type,
- typename actor_result<G, TupleT>::plain_type,
- typename actor_result<H, TupleT>::plain_type,
- typename actor_result<I, TupleT>::plain_type,
- typename actor_result<J, TupleT>::plain_type,
- typename actor_result<K, TupleT>::plain_type,
- typename actor_result<L, TupleT>::plain_type,
- typename actor_result<M, TupleT>::plain_type,
- typename actor_result<N, TupleT>::plain_type
- >::type type;
- };
- //////////////////////////////////
- template <typename OperationT,
- typename A, typename B, typename C, typename D, typename E,
- typename F, typename G, typename H, typename I, typename J,
- typename K, typename L, typename M, typename N>
- struct composite<OperationT,
- A, B, C, D, E, F, G, H, I, J, K, L, M, N, nil_t, nil_t
- > {
- typedef composite<OperationT,
- A, B, C, D, E, F, G, H, I, J, K, L, M, N> self_t;
- template <typename TupleT>
- struct result {
- typedef typename composite14_result<
- OperationT, TupleT, A, B, C, D, E, F, G, H, I, J, K, L, M, N
- >::type type;
- };
- composite(OperationT const& op_,
- A const& a_, B const& b_, C const& c_, D const& d_, E const& e_,
- F const& f_, G const& g_, H const& h_, I const& i_, J const& j_,
- K const& k_, L const& l_, M const& m_, N const& n_)
- : op(op_), a(a_), b(b_), c(c_), d(d_), e(e_),
- f(f_), g(g_), h(h_), i(i_), j(j_),
- k(k_), l(l_), m(m_), n(n_) {}
- template <typename TupleT>
- typename actor_result<self_t, TupleT>::type
- eval(TupleT const& args) const
- {
- typename actor_result<A, TupleT>::type ra = a.eval(args);
- typename actor_result<B, TupleT>::type rb = b.eval(args);
- typename actor_result<C, TupleT>::type rc = c.eval(args);
- typename actor_result<D, TupleT>::type rd = d.eval(args);
- typename actor_result<E, TupleT>::type re = e.eval(args);
- typename actor_result<F, TupleT>::type rf = f.eval(args);
- typename actor_result<G, TupleT>::type rg = g.eval(args);
- typename actor_result<H, TupleT>::type rh = h.eval(args);
- typename actor_result<I, TupleT>::type ri = i.eval(args);
- typename actor_result<J, TupleT>::type rj = j.eval(args);
- typename actor_result<K, TupleT>::type rk = k.eval(args);
- typename actor_result<L, TupleT>::type rl = l.eval(args);
- typename actor_result<M, TupleT>::type rm = m.eval(args);
- typename actor_result<N, TupleT>::type rn = n.eval(args);
- return op(ra, rb, rc, rd, re, rf, rg, rh, ri, rj, rk, rl, rm, rn);
- }
- mutable OperationT op; // operation
- A a; B b; C c; D d; E e; F f; G g; H h; I i; J j;
- K k; L l; M m; N n; // actors
- };
- ///////////////////////////////////////////////////////////////////////////////
- //
- // composite <15 actors> class
- //
- ///////////////////////////////////////////////////////////////////////////////
- template <typename OperationT, typename TupleT,
- typename A, typename B, typename C, typename D, typename E,
- typename F, typename G, typename H, typename I, typename J,
- typename K, typename L, typename M, typename N, typename O>
- struct composite15_result {
- typedef typename OperationT::template result<
- typename actor_result<A, TupleT>::plain_type,
- typename actor_result<B, TupleT>::plain_type,
- typename actor_result<C, TupleT>::plain_type,
- typename actor_result<D, TupleT>::plain_type,
- typename actor_result<E, TupleT>::plain_type,
- typename actor_result<F, TupleT>::plain_type,
- typename actor_result<G, TupleT>::plain_type,
- typename actor_result<H, TupleT>::plain_type,
- typename actor_result<I, TupleT>::plain_type,
- typename actor_result<J, TupleT>::plain_type,
- typename actor_result<K, TupleT>::plain_type,
- typename actor_result<L, TupleT>::plain_type,
- typename actor_result<M, TupleT>::plain_type,
- typename actor_result<N, TupleT>::plain_type,
- typename actor_result<O, TupleT>::plain_type
- >::type type;
- };
- //////////////////////////////////
- template <typename OperationT,
- typename A, typename B, typename C, typename D, typename E,
- typename F, typename G, typename H, typename I, typename J,
- typename K, typename L, typename M, typename N, typename O>
- struct composite<OperationT,
- A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, nil_t
- > {
- typedef composite<OperationT,
- A, B, C, D, E, F, G, H, I, J, K, L, M, N, O> self_t;
- template <typename TupleT>
- struct result {
- typedef typename composite15_result<
- OperationT, TupleT, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O
- >::type type;
- };
- composite(OperationT const& op_,
- A const& a_, B const& b_, C const& c_, D const& d_, E const& e_,
- F const& f_, G const& g_, H const& h_, I const& i_, J const& j_,
- K const& k_, L const& l_, M const& m_, N const& n_, O const& o_)
- : op(op_), a(a_), b(b_), c(c_), d(d_), e(e_),
- f(f_), g(g_), h(h_), i(i_), j(j_),
- k(k_), l(l_), m(m_), n(n_), o(o_) {}
- template <typename TupleT>
- typename actor_result<self_t, TupleT>::type
- eval(TupleT const& args) const
- {
- typename actor_result<A, TupleT>::type ra = a.eval(args);
- typename actor_result<B, TupleT>::type rb = b.eval(args);
- typename actor_result<C, TupleT>::type rc = c.eval(args);
- typename actor_result<D, TupleT>::type rd = d.eval(args);
- typename actor_result<E, TupleT>::type re = e.eval(args);
- typename actor_result<F, TupleT>::type rf = f.eval(args);
- typename actor_result<G, TupleT>::type rg = g.eval(args);
- typename actor_result<H, TupleT>::type rh = h.eval(args);
- typename actor_result<I, TupleT>::type ri = i.eval(args);
- typename actor_result<J, TupleT>::type rj = j.eval(args);
- typename actor_result<K, TupleT>::type rk = k.eval(args);
- typename actor_result<L, TupleT>::type rl = l.eval(args);
- typename actor_result<M, TupleT>::type rm = m.eval(args);
- typename actor_result<N, TupleT>::type rn = n.eval(args);
- typename actor_result<O, TupleT>::type ro = o.eval(args);
- return op(ra, rb, rc, rd, re, rf, rg, rh, ri, rj, rk, rl, rm, rn, ro);
- }
- mutable OperationT op; // operation
- A a; B b; C c; D d; E e; F f; G g; H h; I i; J j;
- K k; L l; M m; N n; O o; // actors
- };
- #endif
- #endif
- #endif
- #endif
- namespace impl {
- ///////////////////////////////////////////////////////////////////////////
- //
- // make_composite is basically a type computer that answers the
- // question "Given types T0..TN, what composite type should I
- // create <composite_type> and if I were to generate an actual
- // composite, what type <type> should I return?"
- //
- ///////////////////////////////////////////////////////////////////////////
- template <
- typename OperationT
- , typename A = nil_t
- , typename B = nil_t
- , typename C = nil_t
- #if PHOENIX_LIMIT > 3
- , typename D = nil_t
- , typename E = nil_t
- , typename F = nil_t
- #if PHOENIX_LIMIT > 6
- , typename G = nil_t
- , typename H = nil_t
- , typename I = nil_t
- #if PHOENIX_LIMIT > 9
- , typename J = nil_t
- , typename K = nil_t
- , typename L = nil_t
- #if PHOENIX_LIMIT > 12
- , typename M = nil_t
- , typename N = nil_t
- , typename O = nil_t
- #endif
- #endif
- #endif
- #endif
- >
- struct make_composite {
- typedef composite<OperationT
- , typename as_actor<A>::type
- , typename as_actor<B>::type
- , typename as_actor<C>::type
- #if PHOENIX_LIMIT > 3
- , typename as_actor<D>::type
- , typename as_actor<E>::type
- , typename as_actor<F>::type
- #if PHOENIX_LIMIT > 6
- , typename as_actor<G>::type
- , typename as_actor<H>::type
- , typename as_actor<I>::type
- #if PHOENIX_LIMIT > 9
- , typename as_actor<J>::type
- , typename as_actor<K>::type
- , typename as_actor<L>::type
- #if PHOENIX_LIMIT > 12
- , typename as_actor<M>::type
- , typename as_actor<N>::type
- , typename as_actor<O>::type
- #endif
- #endif
- #endif
- #endif
- > composite_type;
- typedef actor<composite_type> type;
- };
- ///////////////////////////////////////////////////////////////////////////
- //
- // make_unary, make_binary, make_binary1, make_binary2 and
- // make_binary3 utilities are provided here for easy creation of
- // unary and binary composites.
- //
- ///////////////////////////////////////////////////////////////////////////
- ////////////////////////////////// input is an actor
- template <typename OperationT, typename BaseT>
- struct make_unary {
- typedef typename make_composite
- <OperationT, actor<BaseT> >::type type;
- static type
- construct(actor<BaseT> const& _0)
- {
- typedef typename make_composite
- <OperationT, actor<BaseT> >::composite_type
- ret_t;
- return ret_t(OperationT(), _0);
- }
- };
- ////////////////////////////////// LHS is an actor, RHS is unknown
- template <typename OperationT, typename BaseT, typename B>
- struct make_binary1 {
- typedef typename make_composite
- <OperationT, actor<BaseT>, B>::type type;
- static type
- construct(actor<BaseT> const& _0_, B const& _1_)
- {
- typedef typename make_composite
- <OperationT, actor<BaseT>, B>::composite_type
- ret_t;
-
- return ret_t(OperationT(), _0_, as_actor<B>::convert(_1_));
- }
- };
- ////////////////////////////////// LHS is unknown, RHS is an actor
- template <typename OperationT, typename A, typename BaseT>
- struct make_binary2 {
- typedef typename make_composite
- <OperationT, A, actor<BaseT> >::type type;
- static type
- construct(A const& _0_, actor<BaseT> const& _1_)
- {
- typedef typename make_composite
- <OperationT, A, actor<BaseT> >::composite_type
- ret_t;
- return ret_t(OperationT(), as_actor<A>::convert(_0_), _1_);
- }
- };
- ////////////////////////////////// Both LHS and RHS are actors
- template <typename OperationT, typename BaseA, typename BaseB>
- struct make_binary3 {
- typedef typename make_composite
- <OperationT, actor<BaseA>, actor<BaseB> >::type type;
- static type
- construct(actor<BaseA> const& _0_, actor<BaseB> const& _1_)
- {
- typedef typename make_composite
- <OperationT, actor<BaseA>, actor<BaseB> >::composite_type
- ret_t;
- return ret_t(OperationT(), _0_, _1_);
- }
- };
- } // namespace impl
- #if BOOST_WORKAROUND(BOOST_MSVC, >= 1400)
- #pragma warning(pop)
- #endif
- } // namespace phoenix
- #endif
|