container.hpp 152 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296129712981299130013011302130313041305130613071308130913101311131213131314131513161317131813191320132113221323132413251326132713281329133013311332133313341335133613371338133913401341134213431344134513461347134813491350135113521353135413551356135713581359136013611362136313641365136613671368136913701371137213731374137513761377137813791380138113821383138413851386138713881389139013911392139313941395139613971398139914001401140214031404140514061407140814091410141114121413141414151416141714181419142014211422142314241425142614271428142914301431143214331434143514361437143814391440144114421443144414451446144714481449145014511452145314541455145614571458145914601461146214631464146514661467146814691470147114721473147414751476147714781479148014811482148314841485148614871488148914901491149214931494149514961497149814991500150115021503150415051506150715081509151015111512151315141515151615171518151915201521152215231524152515261527152815291530153115321533153415351536153715381539154015411542154315441545154615471548154915501551155215531554155515561557155815591560156115621563156415651566156715681569157015711572157315741575157615771578157915801581158215831584158515861587158815891590159115921593159415951596159715981599160016011602160316041605160616071608160916101611161216131614161516161617161816191620162116221623162416251626162716281629163016311632163316341635163616371638163916401641164216431644164516461647164816491650165116521653165416551656165716581659166016611662166316641665166616671668166916701671167216731674167516761677167816791680168116821683168416851686168716881689169016911692169316941695169616971698169917001701170217031704170517061707170817091710171117121713171417151716171717181719172017211722172317241725172617271728172917301731173217331734173517361737173817391740174117421743174417451746174717481749175017511752175317541755175617571758175917601761176217631764176517661767176817691770177117721773177417751776177717781779178017811782178317841785178617871788178917901791179217931794179517961797179817991800180118021803180418051806180718081809181018111812181318141815181618171818181918201821182218231824182518261827182818291830183118321833183418351836183718381839184018411842184318441845184618471848184918501851185218531854185518561857185818591860186118621863186418651866186718681869187018711872187318741875187618771878187918801881188218831884188518861887188818891890189118921893189418951896189718981899190019011902190319041905190619071908190919101911191219131914191519161917191819191920192119221923192419251926192719281929193019311932193319341935193619371938193919401941194219431944194519461947194819491950195119521953195419551956195719581959196019611962196319641965196619671968196919701971197219731974197519761977197819791980198119821983198419851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320242025202620272028202920302031203220332034203520362037203820392040204120422043204420452046204720482049205020512052205320542055205620572058205920602061206220632064206520662067206820692070207120722073207420752076207720782079208020812082208320842085208620872088208920902091209220932094209520962097209820992100210121022103210421052106210721082109211021112112211321142115211621172118211921202121212221232124212521262127212821292130213121322133213421352136213721382139214021412142214321442145214621472148214921502151215221532154215521562157215821592160216121622163216421652166216721682169217021712172217321742175217621772178217921802181218221832184218521862187218821892190219121922193219421952196219721982199220022012202220322042205220622072208220922102211221222132214221522162217221822192220222122222223222422252226222722282229223022312232223322342235223622372238223922402241224222432244224522462247224822492250225122522253225422552256225722582259226022612262226322642265226622672268226922702271227222732274227522762277227822792280228122822283228422852286228722882289229022912292229322942295229622972298229923002301230223032304230523062307230823092310231123122313231423152316231723182319232023212322232323242325232623272328232923302331233223332334233523362337233823392340234123422343234423452346234723482349235023512352235323542355235623572358235923602361236223632364236523662367236823692370237123722373237423752376237723782379238023812382238323842385238623872388238923902391239223932394239523962397239823992400240124022403240424052406240724082409241024112412241324142415241624172418241924202421242224232424242524262427242824292430243124322433243424352436243724382439244024412442244324442445244624472448244924502451245224532454245524562457245824592460246124622463246424652466246724682469247024712472247324742475247624772478247924802481248224832484248524862487248824892490249124922493249424952496249724982499250025012502250325042505250625072508250925102511251225132514251525162517251825192520252125222523252425252526252725282529253025312532253325342535253625372538253925402541254225432544254525462547254825492550255125522553255425552556255725582559256025612562256325642565256625672568256925702571257225732574257525762577257825792580258125822583258425852586258725882589259025912592259325942595259625972598259926002601260226032604260526062607260826092610261126122613261426152616261726182619262026212622262326242625262626272628262926302631263226332634263526362637263826392640264126422643264426452646264726482649265026512652265326542655265626572658265926602661266226632664266526662667266826692670267126722673267426752676267726782679268026812682268326842685268626872688268926902691269226932694269526962697269826992700270127022703270427052706270727082709271027112712271327142715271627172718271927202721272227232724272527262727272827292730273127322733273427352736273727382739274027412742274327442745274627472748274927502751275227532754275527562757275827592760276127622763276427652766276727682769277027712772277327742775277627772778277927802781278227832784278527862787278827892790279127922793279427952796279727982799280028012802280328042805280628072808280928102811281228132814281528162817281828192820282128222823282428252826282728282829283028312832283328342835283628372838283928402841284228432844284528462847284828492850285128522853285428552856285728582859286028612862286328642865286628672868286928702871287228732874287528762877287828792880288128822883288428852886288728882889289028912892289328942895289628972898289929002901290229032904290529062907290829092910291129122913291429152916291729182919292029212922292329242925292629272928292929302931293229332934293529362937293829392940294129422943294429452946294729482949295029512952295329542955295629572958295929602961296229632964296529662967296829692970297129722973297429752976297729782979298029812982298329842985298629872988298929902991299229932994299529962997299829993000300130023003300430053006300730083009301030113012301330143015301630173018301930203021302230233024302530263027302830293030303130323033303430353036303730383039304030413042304330443045304630473048304930503051305230533054305530563057305830593060306130623063306430653066306730683069307030713072307330743075307630773078307930803081308230833084308530863087308830893090309130923093309430953096309730983099310031013102310331043105310631073108310931103111311231133114311531163117311831193120312131223123312431253126312731283129313031313132313331343135313631373138313931403141314231433144314531463147314831493150315131523153315431553156315731583159316031613162316331643165316631673168316931703171317231733174317531763177317831793180318131823183318431853186318731883189319031913192319331943195319631973198319932003201320232033204320532063207320832093210321132123213321432153216321732183219322032213222322332243225322632273228322932303231323232333234323532363237323832393240324132423243324432453246324732483249325032513252325332543255325632573258325932603261326232633264326532663267326832693270327132723273327432753276327732783279328032813282328332843285328632873288328932903291329232933294329532963297329832993300330133023303330433053306330733083309331033113312331333143315331633173318331933203321332233233324332533263327332833293330333133323333333433353336333733383339334033413342334333443345334633473348334933503351335233533354335533563357335833593360336133623363336433653366336733683369337033713372337333743375337633773378337933803381338233833384338533863387338833893390339133923393339433953396339733983399340034013402340334043405340634073408340934103411341234133414341534163417341834193420342134223423342434253426342734283429343034313432343334343435343634373438343934403441344234433444344534463447344834493450345134523453345434553456345734583459346034613462346334643465346634673468346934703471347234733474347534763477347834793480348134823483348434853486348734883489349034913492349334943495349634973498349935003501350235033504350535063507350835093510351135123513351435153516351735183519352035213522352335243525352635273528352935303531353235333534353535363537353835393540354135423543354435453546354735483549355035513552355335543555355635573558355935603561356235633564356535663567356835693570357135723573357435753576357735783579358035813582358335843585358635873588358935903591359235933594359535963597359835993600360136023603360436053606360736083609361036113612361336143615361636173618361936203621362236233624362536263627362836293630363136323633363436353636363736383639364036413642364336443645364636473648364936503651365236533654365536563657365836593660366136623663366436653666366736683669367036713672367336743675367636773678367936803681368236833684368536863687368836893690369136923693369436953696369736983699370037013702370337043705370637073708370937103711371237133714371537163717371837193720372137223723372437253726372737283729373037313732373337343735373637373738373937403741374237433744374537463747374837493750375137523753375437553756375737583759376037613762376337643765376637673768376937703771377237733774377537763777377837793780378137823783378437853786378737883789379037913792379337943795379637973798379938003801380238033804380538063807380838093810381138123813381438153816381738183819382038213822382338243825382638273828382938303831383238333834383538363837383838393840384138423843384438453846384738483849385038513852385338543855385638573858385938603861386238633864386538663867386838693870387138723873387438753876387738783879388038813882388338843885388638873888388938903891389238933894389538963897389838993900390139023903390439053906390739083909391039113912391339143915391639173918391939203921392239233924392539263927392839293930393139323933393439353936393739383939394039413942394339443945394639473948394939503951395239533954395539563957395839593960396139623963396439653966396739683969397039713972397339743975397639773978397939803981398239833984398539863987398839893990399139923993399439953996399739983999400040014002400340044005400640074008400940104011401240134014401540164017401840194020402140224023402440254026402740284029403040314032403340344035403640374038403940404041404240434044404540464047404840494050405140524053405440554056405740584059406040614062406340644065406640674068406940704071
  1. // Copyright 2008 Christophe Henry
  2. // henry UNDERSCORE christophe AT hotmail DOT com
  3. // This is an extended version of the state machine available in the boost::mpl library
  4. // Distributed under the same license as the original.
  5. // Copyright for the original version:
  6. // Copyright 2005 David Abrahams and Aleksey Gurtovoy. Distributed
  7. // under the Boost Software License, Version 1.0. (See accompanying
  8. // file LICENSE_1_0.txt or copy at
  9. // http://www.boost.org/LICENSE_1_0.txt)
  10. #ifndef BOOST_MSM_FRONT_EUML_CONTAINER_H
  11. #define BOOST_MSM_FRONT_EUML_CONTAINER_H
  12. #include <utility>
  13. #include <boost/msm/front/euml/common.hpp>
  14. #include <boost/utility/enable_if.hpp>
  15. #include <boost/mpl/has_key.hpp>
  16. #include <boost/mpl/set.hpp>
  17. #include <boost/mpl/not.hpp>
  18. #include <boost/msm/front/euml/operator.hpp>
  19. #include <boost/type_traits.hpp>
  20. #include <boost/fusion/container/set.hpp>
  21. BOOST_MPL_HAS_XXX_TRAIT_DEF(iterator_category)
  22. namespace boost { namespace msm { namespace front { namespace euml
  23. {
  24. template <class T>
  25. struct Front_ : euml_action<Front_<T> >
  26. {
  27. template <class Event,class FSM,class STATE >
  28. struct state_action_result
  29. {
  30. typedef typename get_reference<
  31. typename ::boost::remove_reference<
  32. typename get_result_type2<T,Event,FSM,STATE>::type>::type>::type type;
  33. };
  34. template <class EVT,class FSM,class SourceState,class TargetState>
  35. struct transition_action_result
  36. {
  37. typedef typename get_reference<
  38. typename ::boost::remove_reference<
  39. typename get_result_type<T,EVT,FSM,SourceState,TargetState>::type>::type>::type type;
  40. };
  41. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  42. template <class EVT,class FSM,class SourceState,class TargetState>
  43. typename ::boost::enable_if<
  44. typename ::boost::mpl::has_key<
  45. typename T::tag_type,action_tag>::type,
  46. typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type
  47. operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  48. {
  49. return (T()(evt,fsm,src,tgt)).front();
  50. }
  51. template <class Event,class FSM,class STATE>
  52. typename ::boost::enable_if<
  53. typename ::boost::mpl::has_key<
  54. typename T::tag_type,state_action_tag>::type,
  55. typename state_action_result<Event,FSM,STATE>::type >::type
  56. operator()(Event const& evt,FSM& fsm,STATE& state )const
  57. {
  58. return (T()(evt,fsm,state)).front();
  59. }
  60. };
  61. struct front_tag {};
  62. struct Front_Helper: proto::extends< proto::terminal<front_tag>::type, Front_Helper, boost::msm::sm_domain>
  63. {
  64. Front_Helper(){}
  65. template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5
  66. #ifdef BOOST_MSVC
  67. ,class Arg6
  68. #endif
  69. >
  70. struct In
  71. {
  72. typedef Front_<Arg1> type;
  73. };
  74. };
  75. Front_Helper const front_;
  76. template <class T>
  77. struct Back_ : euml_action<Back_<T> >
  78. {
  79. template <class Event,class FSM,class STATE >
  80. struct state_action_result
  81. {
  82. typedef typename get_reference<
  83. typename ::boost::remove_reference<
  84. typename get_result_type2<T,Event,FSM,STATE>::type>::type>::type type;
  85. };
  86. template <class EVT,class FSM,class SourceState,class TargetState>
  87. struct transition_action_result
  88. {
  89. typedef typename get_reference<
  90. typename ::boost::remove_reference<
  91. typename get_result_type<T,EVT,FSM,SourceState,TargetState>::type>::type>::type type;
  92. };
  93. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  94. template <class EVT,class FSM,class SourceState,class TargetState>
  95. typename ::boost::enable_if<
  96. typename ::boost::mpl::has_key<
  97. typename T::tag_type,action_tag>::type,
  98. typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type
  99. operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  100. {
  101. return (T()(evt,fsm,src,tgt)).back();
  102. }
  103. template <class Event,class FSM,class STATE>
  104. typename ::boost::enable_if<
  105. typename ::boost::mpl::has_key<
  106. typename T::tag_type,state_action_tag>::type,
  107. typename state_action_result<Event,FSM,STATE>::type >::type
  108. operator()(Event const& evt,FSM& fsm,STATE& state )const
  109. {
  110. return (T()(evt,fsm,state)).back();
  111. }
  112. };
  113. struct back_tag {};
  114. struct Back_Helper: proto::extends< proto::terminal<back_tag>::type, Back_Helper, boost::msm::sm_domain>
  115. {
  116. Back_Helper(){}
  117. template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5
  118. #ifdef BOOST_MSVC
  119. ,class Arg6
  120. #endif
  121. >
  122. struct In
  123. {
  124. typedef Back_<Arg1> type;
  125. };
  126. };
  127. Back_Helper const back_;
  128. template <class T>
  129. struct Begin_ : euml_action<Begin_<T> >
  130. {
  131. template <class Event,class FSM,class STATE >
  132. struct state_action_result
  133. {
  134. typedef typename get_iterator<
  135. typename ::boost::remove_reference<
  136. typename get_result_type2<T,Event,FSM,STATE>::type>::type>::type type;
  137. };
  138. template <class EVT,class FSM,class SourceState,class TargetState>
  139. struct transition_action_result
  140. {
  141. typedef typename get_iterator<
  142. typename ::boost::remove_reference<
  143. typename get_result_type<T,EVT,FSM,SourceState,TargetState>::type>::type>::type type;
  144. };
  145. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  146. template <class EVT,class FSM,class SourceState,class TargetState>
  147. typename ::boost::enable_if<
  148. typename ::boost::mpl::has_key<
  149. typename T::tag_type,action_tag>::type,
  150. typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type
  151. operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  152. {
  153. return (T()(evt,fsm,src,tgt)).begin();
  154. }
  155. template <class Event,class FSM,class STATE>
  156. typename ::boost::enable_if<
  157. typename ::boost::mpl::has_key<
  158. typename T::tag_type,state_action_tag>::type,
  159. typename state_action_result<Event,FSM,STATE>::type >::type
  160. operator()(Event const& evt,FSM& fsm,STATE& state )const
  161. {
  162. return (T()(evt,fsm,state)).begin();
  163. }
  164. };
  165. struct begin_tag {};
  166. struct Begin_Helper: proto::extends< proto::terminal<begin_tag>::type, Begin_Helper, boost::msm::sm_domain>
  167. {
  168. Begin_Helper(){}
  169. template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5
  170. #ifdef BOOST_MSVC
  171. ,class Arg6
  172. #endif
  173. >
  174. struct In
  175. {
  176. typedef Begin_<Arg1> type;
  177. };
  178. };
  179. Begin_Helper const begin_;
  180. template <class T>
  181. struct End_ : euml_action<End_<T> >
  182. {
  183. template <class Event,class FSM,class STATE >
  184. struct state_action_result
  185. {
  186. typedef typename get_iterator<
  187. typename ::boost::remove_reference<
  188. typename get_result_type2<T,Event,FSM,STATE>::type>::type>::type type;
  189. };
  190. template <class EVT,class FSM,class SourceState,class TargetState>
  191. struct transition_action_result
  192. {
  193. typedef typename get_iterator<
  194. typename ::boost::remove_reference<
  195. typename get_result_type<T,EVT,FSM,SourceState,TargetState>::type>::type>::type type;
  196. };
  197. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  198. template <class EVT,class FSM,class SourceState,class TargetState>
  199. typename ::boost::enable_if<
  200. typename ::boost::mpl::has_key<
  201. typename T::tag_type,action_tag>::type,
  202. typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type
  203. operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  204. {
  205. return (T()(evt,fsm,src,tgt)).end();
  206. }
  207. template <class Event,class FSM,class STATE>
  208. typename ::boost::enable_if<
  209. typename ::boost::mpl::has_key<
  210. typename T::tag_type,state_action_tag>::type,
  211. typename state_action_result<Event,FSM,STATE>::type >::type
  212. operator()(Event const& evt,FSM& fsm,STATE& state )const
  213. {
  214. return (T()(evt,fsm,state)).end();
  215. }
  216. };
  217. struct end_tag {};
  218. struct End_Helper: proto::extends< proto::terminal<end_tag>::type, End_Helper, boost::msm::sm_domain>
  219. {
  220. End_Helper(){}
  221. template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5
  222. #ifdef BOOST_MSVC
  223. ,class Arg6
  224. #endif
  225. >
  226. struct In
  227. {
  228. typedef End_<Arg1> type;
  229. };
  230. };
  231. End_Helper const end_;
  232. template <class T>
  233. struct RBegin_ : euml_action<RBegin_<T> >
  234. {
  235. template <class Event,class FSM,class STATE >
  236. struct state_action_result
  237. {
  238. typedef typename get_reverse_iterator<
  239. typename ::boost::remove_reference<
  240. typename get_result_type2<T,Event,FSM,STATE>::type>::type>::type type;
  241. };
  242. template <class EVT,class FSM,class SourceState,class TargetState>
  243. struct transition_action_result
  244. {
  245. typedef typename get_reverse_iterator<
  246. typename ::boost::remove_reference<
  247. typename get_result_type<T,EVT,FSM,SourceState,TargetState>::type>::type>::type type;
  248. };
  249. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  250. template <class EVT,class FSM,class SourceState,class TargetState>
  251. typename ::boost::enable_if<
  252. typename ::boost::mpl::has_key<
  253. typename T::tag_type,action_tag>::type,
  254. typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type
  255. operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  256. {
  257. return (T()(evt,fsm,src,tgt)).rbegin();
  258. }
  259. template <class Event,class FSM,class STATE>
  260. typename ::boost::enable_if<
  261. typename ::boost::mpl::has_key<
  262. typename T::tag_type,state_action_tag>::type,
  263. typename state_action_result<Event,FSM,STATE>::type >::type
  264. operator()(Event const& evt,FSM& fsm,STATE& state )const
  265. {
  266. return (T()(evt,fsm,state)).rbegin();
  267. }
  268. };
  269. struct rbegin_tag {};
  270. struct RBegin_Helper: proto::extends< proto::terminal<rbegin_tag>::type, RBegin_Helper, boost::msm::sm_domain>
  271. {
  272. RBegin_Helper(){}
  273. template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5
  274. #ifdef BOOST_MSVC
  275. ,class Arg6
  276. #endif
  277. >
  278. struct In
  279. {
  280. typedef RBegin_<Arg1> type;
  281. };
  282. };
  283. RBegin_Helper const rbegin_;
  284. template <class T>
  285. struct REnd_ : euml_action<REnd_<T> >
  286. {
  287. template <class Event,class FSM,class STATE >
  288. struct state_action_result
  289. {
  290. typedef typename get_reverse_iterator<
  291. typename ::boost::remove_reference<
  292. typename get_result_type2<T,Event,FSM,STATE>::type>::type>::type type;
  293. };
  294. template <class EVT,class FSM,class SourceState,class TargetState>
  295. struct transition_action_result
  296. {
  297. typedef typename get_reverse_iterator<
  298. typename ::boost::remove_reference<
  299. typename get_result_type<T,EVT,FSM,SourceState,TargetState>::type>::type>::type type;
  300. };
  301. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  302. template <class EVT,class FSM,class SourceState,class TargetState>
  303. typename ::boost::enable_if<
  304. typename ::boost::mpl::has_key<
  305. typename T::tag_type,action_tag>::type,
  306. typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type
  307. operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  308. {
  309. return (T()(evt,fsm,src,tgt)).rend();
  310. }
  311. template <class Event,class FSM,class STATE>
  312. typename ::boost::enable_if<
  313. typename ::boost::mpl::has_key<
  314. typename T::tag_type,state_action_tag>::type,
  315. typename state_action_result<Event,FSM,STATE>::type >::type
  316. operator()(Event const& evt,FSM& fsm,STATE& state )const
  317. {
  318. return (T()(evt,fsm,state)).rend();
  319. }
  320. };
  321. struct rend_tag {};
  322. struct REnd_Helper: proto::extends< proto::terminal<rend_tag>::type, REnd_Helper, boost::msm::sm_domain>
  323. {
  324. REnd_Helper(){}
  325. template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5
  326. #ifdef BOOST_MSVC
  327. ,class Arg6
  328. #endif
  329. >
  330. struct In
  331. {
  332. typedef REnd_<Arg1> type;
  333. };
  334. };
  335. REnd_Helper const rend_;
  336. template <class Container,class Element>
  337. struct Push_Back_ : euml_action<Push_Back_<Container,Element> >
  338. {
  339. template <class Event,class FSM,class STATE >
  340. struct state_action_result
  341. {
  342. typedef void type;
  343. };
  344. template <class EVT,class FSM,class SourceState,class TargetState>
  345. struct transition_action_result
  346. {
  347. typedef void type;
  348. };
  349. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  350. template <class EVT,class FSM,class SourceState,class TargetState>
  351. void operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  352. {
  353. (Container()(evt,fsm,src,tgt)).push_back(Element()(evt,fsm,src,tgt));
  354. }
  355. template <class Event,class FSM,class STATE>
  356. void operator()(Event const& evt,FSM& fsm,STATE& state )const
  357. {
  358. (Container()(evt,fsm,state)).push_back(Element()(evt,fsm,state));
  359. }
  360. };
  361. struct push_back_tag {};
  362. struct Push_Back_Helper: proto::extends< proto::terminal<push_back_tag>::type, Push_Back_Helper, boost::msm::sm_domain>
  363. {
  364. Push_Back_Helper(){}
  365. template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5
  366. #ifdef BOOST_MSVC
  367. ,class Arg6
  368. #endif
  369. >
  370. struct In
  371. {
  372. typedef Push_Back_<Arg1,Arg2> type;
  373. };
  374. };
  375. Push_Back_Helper const push_back_;
  376. template <class Container>
  377. struct Pop_Back_ : euml_action<Pop_Back_<Container> >
  378. {
  379. template <class Event,class FSM,class STATE >
  380. struct state_action_result
  381. {
  382. typedef void type;
  383. };
  384. template <class EVT,class FSM,class SourceState,class TargetState>
  385. struct transition_action_result
  386. {
  387. typedef void type;
  388. };
  389. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  390. template <class EVT,class FSM,class SourceState,class TargetState>
  391. void operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  392. {
  393. (Container()(evt,fsm,src,tgt)).pop_back();
  394. }
  395. template <class Event,class FSM,class STATE>
  396. void operator()(Event const& evt,FSM& fsm,STATE& state )const
  397. {
  398. (Container()(evt,fsm,state)).pop_back();
  399. }
  400. };
  401. struct pop_back_tag {};
  402. struct Pop_Back_Helper: proto::extends< proto::terminal<pop_back_tag>::type, Pop_Back_Helper, boost::msm::sm_domain>
  403. {
  404. Pop_Back_Helper(){}
  405. template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5
  406. #ifdef BOOST_MSVC
  407. ,class Arg6
  408. #endif
  409. >
  410. struct In
  411. {
  412. typedef Pop_Back_<Arg1> type;
  413. };
  414. };
  415. Pop_Back_Helper const pop_back_;
  416. template <class Container,class Element>
  417. struct Push_Front_ : euml_action<Push_Front_<Container,Element> >
  418. {
  419. template <class Event,class FSM,class STATE >
  420. struct state_action_result
  421. {
  422. typedef void type;
  423. };
  424. template <class EVT,class FSM,class SourceState,class TargetState>
  425. struct transition_action_result
  426. {
  427. typedef void type;
  428. };
  429. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  430. template <class EVT,class FSM,class SourceState,class TargetState>
  431. void operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  432. {
  433. (Container()(evt,fsm,src,tgt)).push_front(Element()(evt,fsm,src,tgt));
  434. }
  435. template <class Event,class FSM,class STATE>
  436. void operator()(Event const& evt,FSM& fsm,STATE& state )const
  437. {
  438. (Container()(evt,fsm,state)).push_front(Element()(evt,fsm,state));
  439. }
  440. };
  441. struct push_front_tag {};
  442. struct Push_Front_Helper: proto::extends< proto::terminal<push_front_tag>::type, Push_Front_Helper, boost::msm::sm_domain>
  443. {
  444. Push_Front_Helper(){}
  445. template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5
  446. #ifdef BOOST_MSVC
  447. ,class Arg6
  448. #endif
  449. >
  450. struct In
  451. {
  452. typedef Push_Front_<Arg1,Arg2> type;
  453. };
  454. };
  455. Push_Front_Helper const push_front_;
  456. template <class Container>
  457. struct Pop_Front_ : euml_action<Pop_Front_<Container> >
  458. {
  459. template <class Event,class FSM,class STATE >
  460. struct state_action_result
  461. {
  462. typedef void type;
  463. };
  464. template <class EVT,class FSM,class SourceState,class TargetState>
  465. struct transition_action_result
  466. {
  467. typedef void type;
  468. };
  469. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  470. template <class EVT,class FSM,class SourceState,class TargetState>
  471. void operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  472. {
  473. (Container()(evt,fsm,src,tgt)).pop_front();
  474. }
  475. template <class Event,class FSM,class STATE>
  476. void operator()(Event const& evt,FSM& fsm,STATE& state )const
  477. {
  478. (Container()(evt,fsm,state)).pop_front();
  479. }
  480. };
  481. struct pop_front_tag {};
  482. struct Pop_Front_Helper: proto::extends< proto::terminal<pop_front_tag>::type, Pop_Front_Helper, boost::msm::sm_domain>
  483. {
  484. Pop_Front_Helper(){}
  485. template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5
  486. #ifdef BOOST_MSVC
  487. ,class Arg6
  488. #endif
  489. >
  490. struct In
  491. {
  492. typedef Pop_Front_<Arg1> type;
  493. };
  494. };
  495. Pop_Front_Helper const pop_front_;
  496. template <class Container>
  497. struct Clear_ : euml_action<Clear_<Container> >
  498. {
  499. template <class Event,class FSM,class STATE >
  500. struct state_action_result
  501. {
  502. typedef void type;
  503. };
  504. template <class EVT,class FSM,class SourceState,class TargetState>
  505. struct transition_action_result
  506. {
  507. typedef void type;
  508. };
  509. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  510. template <class EVT,class FSM,class SourceState,class TargetState>
  511. void operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  512. {
  513. (Container()(evt,fsm,src,tgt)).clear();
  514. }
  515. template <class Event,class FSM,class STATE>
  516. void operator()(Event const& evt,FSM& fsm,STATE& state )const
  517. {
  518. (Container()(evt,fsm,state)).clear();
  519. }
  520. };
  521. struct clear_tag {};
  522. struct Clear_Helper: proto::extends< proto::terminal<clear_tag>::type, Clear_Helper, boost::msm::sm_domain>
  523. {
  524. Clear_Helper(){}
  525. template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5
  526. #ifdef BOOST_MSVC
  527. ,class Arg6
  528. #endif
  529. >
  530. struct In
  531. {
  532. typedef Clear_<Arg1> type;
  533. };
  534. };
  535. Clear_Helper const clear_;
  536. template <class Container>
  537. struct ListReverse_ : euml_action<ListReverse_<Container> >
  538. {
  539. template <class Event,class FSM,class STATE >
  540. struct state_action_result
  541. {
  542. typedef void type;
  543. };
  544. template <class EVT,class FSM,class SourceState,class TargetState>
  545. struct transition_action_result
  546. {
  547. typedef void type;
  548. };
  549. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  550. template <class EVT,class FSM,class SourceState,class TargetState>
  551. void operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  552. {
  553. (Container()(evt,fsm,src,tgt)).reverse();
  554. }
  555. template <class Event,class FSM,class STATE>
  556. void operator()(Event const& evt,FSM& fsm,STATE& state )const
  557. {
  558. (Container()(evt,fsm,state)).reverse();
  559. }
  560. };
  561. struct list_reverse_tag {};
  562. struct ListReverse_Helper: proto::extends< proto::terminal<list_reverse_tag>::type, ListReverse_Helper, boost::msm::sm_domain>
  563. {
  564. ListReverse_Helper(){}
  565. template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5
  566. #ifdef BOOST_MSVC
  567. ,class Arg6
  568. #endif
  569. >
  570. struct In
  571. {
  572. typedef ListReverse_<Arg1> type;
  573. };
  574. };
  575. ListReverse_Helper const list_reverse_;
  576. template <class Container, class Predicate, class Enable=void>
  577. struct ListUnique_ : euml_action<ListUnique_<Container,Predicate,Enable> >
  578. {
  579. template <class Event,class FSM,class STATE >
  580. struct state_action_result
  581. {
  582. typedef void type;
  583. };
  584. template <class EVT,class FSM,class SourceState,class TargetState>
  585. struct transition_action_result
  586. {
  587. typedef void type;
  588. };
  589. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  590. template <class EVT,class FSM,class SourceState,class TargetState>
  591. void operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  592. {
  593. (Container()(evt,fsm,src,tgt)).unique();
  594. }
  595. template <class Event,class FSM,class STATE>
  596. void operator()(Event const& evt,FSM& fsm,STATE& state )const
  597. {
  598. (Container()(evt,fsm,state)).unique();
  599. }
  600. };
  601. template <class Container, class Predicate >
  602. struct ListUnique_<Container,Predicate,
  603. typename ::boost::disable_if<typename ::boost::is_same<Predicate,void>::type >::type>
  604. : euml_action<ListUnique_<Container,Predicate> >
  605. {
  606. template <class Event,class FSM,class STATE >
  607. struct state_action_result
  608. {
  609. typedef void type;
  610. };
  611. template <class EVT,class FSM,class SourceState,class TargetState>
  612. struct transition_action_result
  613. {
  614. typedef void type;
  615. };
  616. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  617. template <class EVT,class FSM,class SourceState,class TargetState>
  618. void operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  619. {
  620. (Container()(evt,fsm,src,tgt)).unique(Predicate()(evt,fsm,src,tgt));
  621. }
  622. template <class Event,class FSM,class STATE>
  623. void operator()(Event const& evt,FSM& fsm,STATE& state )const
  624. {
  625. (Container()(evt,fsm,state)).unique(Predicate()(evt,fsm,state));
  626. }
  627. };
  628. struct list_unique_tag {};
  629. struct ListUnique_Helper: proto::extends< proto::terminal<list_unique_tag>::type, ListUnique_Helper, boost::msm::sm_domain>
  630. {
  631. ListUnique_Helper(){}
  632. template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5
  633. #ifdef BOOST_MSVC
  634. ,class Arg6
  635. #endif
  636. >
  637. struct In
  638. {
  639. typedef ListUnique_<Arg1,Arg2> type;
  640. };
  641. };
  642. ListUnique_Helper const list_unique_;
  643. template <class Container, class Predicate, class Enable=void>
  644. struct ListSort_ : euml_action<ListSort_<Container,Predicate,Enable> >
  645. {
  646. template <class Event,class FSM,class STATE >
  647. struct state_action_result
  648. {
  649. typedef void type;
  650. };
  651. template <class EVT,class FSM,class SourceState,class TargetState>
  652. struct transition_action_result
  653. {
  654. typedef void type;
  655. };
  656. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  657. template <class EVT,class FSM,class SourceState,class TargetState>
  658. void operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  659. {
  660. (Container()(evt,fsm,src,tgt)).sort();
  661. }
  662. template <class Event,class FSM,class STATE>
  663. void operator()(Event const& evt,FSM& fsm,STATE& state )const
  664. {
  665. (Container()(evt,fsm,state)).sort();
  666. }
  667. };
  668. template <class Container, class Predicate >
  669. struct ListSort_<Container,Predicate,
  670. typename ::boost::disable_if<typename ::boost::is_same<Predicate,void>::type >::type>
  671. : euml_action<ListSort_<Container,Predicate> >
  672. {
  673. template <class Event,class FSM,class STATE >
  674. struct state_action_result
  675. {
  676. typedef void type;
  677. };
  678. template <class EVT,class FSM,class SourceState,class TargetState>
  679. struct transition_action_result
  680. {
  681. typedef void type;
  682. };
  683. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  684. template <class EVT,class FSM,class SourceState,class TargetState>
  685. void operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  686. {
  687. (Container()(evt,fsm,src,tgt)).sort(Predicate()(evt,fsm,src,tgt));
  688. }
  689. template <class Event,class FSM,class STATE>
  690. void operator()(Event const& evt,FSM& fsm,STATE& state )const
  691. {
  692. (Container()(evt,fsm,state)).sort(Predicate()(evt,fsm,state));
  693. }
  694. };
  695. struct list_sort_tag {};
  696. struct ListSort_Helper: proto::extends< proto::terminal<list_sort_tag>::type, ListSort_Helper, boost::msm::sm_domain>
  697. {
  698. ListSort_Helper(){}
  699. template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5
  700. #ifdef BOOST_MSVC
  701. ,class Arg6
  702. #endif
  703. >
  704. struct In
  705. {
  706. typedef ListSort_<Arg1,Arg2> type;
  707. };
  708. };
  709. ListSort_Helper const list_sort_;
  710. template <class Container>
  711. struct Capacity_ : euml_action<Capacity_<Container> >
  712. {
  713. template <class Event,class FSM,class STATE >
  714. struct state_action_result
  715. {
  716. typedef typename get_size_type<
  717. typename ::boost::remove_reference<
  718. typename get_result_type2<Container,Event,FSM,STATE>::type>::type>::type type;
  719. };
  720. template <class EVT,class FSM,class SourceState,class TargetState>
  721. struct transition_action_result
  722. {
  723. typedef typename get_size_type<
  724. typename ::boost::remove_reference<
  725. typename get_result_type<Container,EVT,FSM,SourceState,TargetState>::type>::type>::type type;
  726. };
  727. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  728. template <class EVT,class FSM,class SourceState,class TargetState>
  729. typename ::boost::enable_if<
  730. typename ::boost::mpl::has_key<
  731. typename Container::tag_type,action_tag>::type,
  732. typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type
  733. operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  734. {
  735. return (Container()(evt,fsm,src,tgt)).capacity();
  736. }
  737. template <class Event,class FSM,class STATE>
  738. typename ::boost::enable_if<
  739. typename ::boost::mpl::has_key<
  740. typename Container::tag_type,state_action_tag>::type,
  741. typename state_action_result<Event,FSM,STATE>::type >::type
  742. operator()(Event const& evt,FSM& fsm,STATE& state )const
  743. {
  744. return (Container()(evt,fsm,state)).capacity();
  745. }
  746. };
  747. struct capacity_tag {};
  748. struct Capacity_Helper: proto::extends< proto::terminal<capacity_tag>::type, Capacity_Helper, boost::msm::sm_domain>
  749. {
  750. Capacity_Helper(){}
  751. template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5
  752. #ifdef BOOST_MSVC
  753. ,class Arg6
  754. #endif
  755. >
  756. struct In
  757. {
  758. typedef Capacity_<Arg1> type;
  759. };
  760. };
  761. Capacity_Helper const capacity_;
  762. template <class Container>
  763. struct Size_ : euml_action<Size_<Container> >
  764. {
  765. template <class Event,class FSM,class STATE >
  766. struct state_action_result
  767. {
  768. typedef typename get_size_type<
  769. typename ::boost::remove_reference<
  770. typename get_result_type2<Container,Event,FSM,STATE>::type>::type>::type type;
  771. };
  772. template <class EVT,class FSM,class SourceState,class TargetState>
  773. struct transition_action_result
  774. {
  775. typedef typename get_size_type<
  776. typename ::boost::remove_reference<
  777. typename get_result_type<Container,EVT,FSM,SourceState,TargetState>::type>::type>::type type;
  778. };
  779. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  780. template <class EVT,class FSM,class SourceState,class TargetState>
  781. typename ::boost::enable_if<
  782. typename ::boost::mpl::has_key<
  783. typename Container::tag_type,action_tag>::type,
  784. typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type
  785. operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  786. {
  787. return (Container()(evt,fsm,src,tgt)).size();
  788. }
  789. template <class Event,class FSM,class STATE>
  790. typename ::boost::enable_if<
  791. typename ::boost::mpl::has_key<
  792. typename Container::tag_type,state_action_tag>::type,
  793. typename state_action_result<Event,FSM,STATE>::type >::type
  794. operator()(Event const& evt,FSM& fsm,STATE& state )const
  795. {
  796. return (Container()(evt,fsm,state)).size();
  797. }
  798. };
  799. struct size_tag {};
  800. struct Size_Helper: proto::extends< proto::terminal<size_tag>::type, Size_Helper, boost::msm::sm_domain>
  801. {
  802. Size_Helper(){}
  803. template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5
  804. #ifdef BOOST_MSVC
  805. ,class Arg6
  806. #endif
  807. >
  808. struct In
  809. {
  810. typedef Size_<Arg1> type;
  811. };
  812. };
  813. Size_Helper const size_;
  814. template <class Container>
  815. struct Max_Size_ : euml_action<Max_Size_<Container> >
  816. {
  817. template <class Event,class FSM,class STATE >
  818. struct state_action_result
  819. {
  820. typedef typename get_size_type<
  821. typename ::boost::remove_reference<
  822. typename get_result_type2<Container,Event,FSM,STATE>::type>::type>::type type;
  823. };
  824. template <class EVT,class FSM,class SourceState,class TargetState>
  825. struct transition_action_result
  826. {
  827. typedef typename get_size_type<
  828. typename ::boost::remove_reference<
  829. typename get_result_type<Container,EVT,FSM,SourceState,TargetState>::type>::type>::type type;
  830. };
  831. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  832. template <class EVT,class FSM,class SourceState,class TargetState>
  833. typename ::boost::enable_if<
  834. typename ::boost::mpl::has_key<
  835. typename Container::tag_type,action_tag>::type,
  836. typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type
  837. operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  838. {
  839. return (Container()(evt,fsm,src,tgt)).max_size();
  840. }
  841. template <class Event,class FSM,class STATE>
  842. typename ::boost::enable_if<
  843. typename ::boost::mpl::has_key<
  844. typename Container::tag_type,state_action_tag>::type,
  845. typename state_action_result<Event,FSM,STATE>::type >::type
  846. operator()(Event const& evt,FSM& fsm,STATE& state )const
  847. {
  848. return (Container()(evt,fsm,state)).max_size();
  849. }
  850. };
  851. struct max_size_tag {};
  852. struct Max_Size_Helper: proto::extends< proto::terminal<max_size_tag>::type, Max_Size_Helper, boost::msm::sm_domain>
  853. {
  854. Max_Size_Helper(){}
  855. template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5
  856. #ifdef BOOST_MSVC
  857. ,class Arg6
  858. #endif
  859. >
  860. struct In
  861. {
  862. typedef Max_Size_<Arg1> type;
  863. };
  864. };
  865. Max_Size_Helper const max_size_;
  866. template <class Container, class Value>
  867. struct Reserve_ : euml_action<Reserve_<Container,Value> >
  868. {
  869. template <class Event,class FSM,class STATE >
  870. struct state_action_result
  871. {
  872. typedef void type;
  873. };
  874. template <class EVT,class FSM,class SourceState,class TargetState>
  875. struct transition_action_result
  876. {
  877. typedef void type;
  878. };
  879. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  880. template <class EVT,class FSM,class SourceState,class TargetState>
  881. void operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  882. {
  883. (Container()(evt,fsm,src,tgt)).reserve(Value()(evt,fsm,src,tgt));
  884. }
  885. template <class Event,class FSM,class STATE>
  886. void operator()(Event const& evt,FSM& fsm,STATE& state )const
  887. {
  888. (Container()(evt,fsm,state)).reserve(Value()(evt,fsm,state));
  889. }
  890. };
  891. struct reserve_tag {};
  892. struct Reserve_Helper: proto::extends< proto::terminal<reserve_tag>::type, Reserve_Helper, boost::msm::sm_domain>
  893. {
  894. Reserve_Helper(){}
  895. template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5
  896. #ifdef BOOST_MSVC
  897. ,class Arg6
  898. #endif
  899. >
  900. struct In
  901. {
  902. typedef Reserve_<Arg1,Arg2> type;
  903. };
  904. };
  905. Reserve_Helper const reserve_;
  906. template <class Container, class Num, class Value ,class Enable=void >
  907. struct Resize_ : euml_action<Resize_<Container,Num,Value> >
  908. {
  909. template <class Event,class FSM,class STATE >
  910. struct state_action_result
  911. {
  912. typedef void type;
  913. };
  914. template <class EVT,class FSM,class SourceState,class TargetState>
  915. struct transition_action_result
  916. {
  917. typedef void type;
  918. };
  919. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  920. template <class EVT,class FSM,class SourceState,class TargetState>
  921. void operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  922. {
  923. (Container()(evt,fsm,src,tgt)).resize(Num()(evt,fsm,src,tgt));
  924. }
  925. template <class Event,class FSM,class STATE>
  926. void operator()(Event const& evt,FSM& fsm,STATE& state )const
  927. {
  928. (Container()(evt,fsm,state)).resize(Num()(evt,fsm,state));
  929. }
  930. };
  931. template <class Container, class Num , class Value >
  932. struct Resize_<Container,Num,Value,typename ::boost::disable_if<typename ::boost::is_same<Value,void>::type >::type>
  933. : euml_action<Resize_<Container,Num,Value> >
  934. {
  935. template <class Event,class FSM,class STATE >
  936. struct state_action_result
  937. {
  938. typedef void type;
  939. };
  940. template <class EVT,class FSM,class SourceState,class TargetState>
  941. struct transition_action_result
  942. {
  943. typedef void type;
  944. };
  945. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  946. template <class EVT,class FSM,class SourceState,class TargetState>
  947. void operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  948. {
  949. (Container()(evt,fsm,src,tgt)).resize(Num()(evt,fsm,src,tgt),Value()(evt,fsm,src,tgt));
  950. }
  951. template <class Event,class FSM,class STATE>
  952. void operator()(Event const& evt,FSM& fsm,STATE& state )const
  953. {
  954. (Container()(evt,fsm,state)).resize(Num()(evt,fsm,state),Value()(evt,fsm,state));
  955. }
  956. };
  957. struct resize_tag {};
  958. struct Resize_Helper: proto::extends< proto::terminal<resize_tag>::type, Resize_Helper, boost::msm::sm_domain>
  959. {
  960. Resize_Helper(){}
  961. template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5
  962. #ifdef BOOST_MSVC
  963. ,class Arg6
  964. #endif
  965. >
  966. struct In
  967. {
  968. typedef Resize_<Arg1,Arg2,Arg3> type;
  969. };
  970. };
  971. Resize_Helper const resize_;
  972. // version for 3 parameters (sequence containers)
  973. template <class Container, class Param1, class Param2, class Param3 >
  974. struct Insert_ : euml_action<Insert_<Container,Param1,Param2,Param3> >
  975. {
  976. template <class Event,class FSM,class STATE >
  977. struct state_action_result
  978. {
  979. typedef void type;
  980. };
  981. template <class EVT,class FSM,class SourceState,class TargetState>
  982. struct transition_action_result
  983. {
  984. typedef void type;
  985. };
  986. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  987. template <class EVT,class FSM,class SourceState,class TargetState>
  988. void operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  989. {
  990. (Container()(evt,fsm,src,tgt)).insert(Param1()(evt,fsm,src,tgt),Param2()(evt,fsm,src,tgt),
  991. Param3()(evt,fsm,src,tgt));
  992. }
  993. template <class Event,class FSM,class STATE>
  994. void operator()(Event const& evt,FSM& fsm,STATE& state )const
  995. {
  996. (Container()(evt,fsm,state)).insert(Param1()(evt,fsm,state),Param2()(evt,fsm,state),
  997. Param3()(evt,fsm,state));
  998. }
  999. };
  1000. // version for 2 parameters
  1001. template <class Container, class Param1, class Param2>
  1002. struct Insert_ < Container,Param1,Param2,void>
  1003. : euml_action<Insert_<Container,Param1,Param2,void> >
  1004. {
  1005. // return value will actually not be correct for set::insert(it1,it2), should be void
  1006. // but it's ok as nobody should call an inexistent return type
  1007. template <class Event,class FSM,class STATE >
  1008. struct state_action_result
  1009. {
  1010. typedef typename get_iterator<
  1011. typename ::boost::remove_reference<
  1012. typename get_result_type2<Container,Event,FSM,STATE>::type>::type>::type type;
  1013. };
  1014. template <class EVT,class FSM,class SourceState,class TargetState>
  1015. struct transition_action_result
  1016. {
  1017. typedef typename get_iterator<
  1018. typename ::boost::remove_reference<
  1019. typename get_result_type<Container,EVT,FSM,SourceState,TargetState>::type>::type>::type type;
  1020. };
  1021. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  1022. // version for transition + second param not an iterator (meaning that, Container is not an associative container)
  1023. template <class EVT,class FSM,class SourceState,class TargetState>
  1024. typename ::boost::enable_if<
  1025. typename ::boost::mpl::and_<
  1026. typename ::boost::mpl::has_key<
  1027. typename Container::tag_type,action_tag>::type,
  1028. typename ::boost::mpl::not_<
  1029. typename has_iterator_category<
  1030. typename Param2::template transition_action_result<EVT,FSM,SourceState,TargetState>::type
  1031. >::type
  1032. >::type
  1033. >::type,
  1034. typename transition_action_result<EVT,FSM,SourceState,TargetState>::type
  1035. >::type
  1036. operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  1037. {
  1038. return (Container()(evt,fsm,src,tgt)).insert(Param1()(evt,fsm,src,tgt),Param2()(evt,fsm,src,tgt));
  1039. }
  1040. // version for transition + second param is an iterator (meaning that, Container is an associative container)
  1041. template <class EVT,class FSM,class SourceState,class TargetState>
  1042. typename ::boost::enable_if<
  1043. typename ::boost::mpl::and_<
  1044. typename ::boost::mpl::has_key<
  1045. typename Container::tag_type,action_tag>::type,
  1046. typename has_iterator_category<
  1047. typename Param2::template transition_action_result<EVT,FSM,SourceState,TargetState>::type
  1048. >::type
  1049. >::type,
  1050. typename transition_action_result<EVT,FSM,SourceState,TargetState>::type
  1051. >::type
  1052. operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  1053. {
  1054. (Container()(evt,fsm,src,tgt)).insert(Param1()(evt,fsm,src,tgt),Param2()(evt,fsm,src,tgt));
  1055. }
  1056. // version for state action + second param not an iterator (meaning that, Container is not an associative container)
  1057. template <class Event,class FSM,class STATE>
  1058. typename ::boost::enable_if<
  1059. typename ::boost::mpl::and_<
  1060. typename ::boost::mpl::has_key<
  1061. typename Container::tag_type,state_action_tag>::type,
  1062. typename ::boost::mpl::not_<
  1063. typename has_iterator_category<
  1064. typename Param2::template state_action_result<Event,FSM,STATE>::type
  1065. >::type
  1066. >::type
  1067. >::type,
  1068. typename state_action_result<Event,FSM,STATE>::type
  1069. >::type
  1070. operator()(Event const& evt,FSM& fsm,STATE& state )const
  1071. {
  1072. return (Container()(evt,fsm,state)).insert(Param1()(evt,fsm,state),Param2()(evt,fsm,state));
  1073. }
  1074. // version for state action + second param is an iterator (meaning that, Container is an associative container)
  1075. template <class Event,class FSM,class STATE>
  1076. typename ::boost::enable_if<
  1077. typename ::boost::mpl::and_<
  1078. typename ::boost::mpl::has_key<
  1079. typename Container::tag_type,state_action_tag>::type,
  1080. typename has_iterator_category<
  1081. typename Param2::template state_action_result<Event,FSM,STATE>::type
  1082. >::type
  1083. >::type,
  1084. typename state_action_result<Event,FSM,STATE>::type
  1085. >::type
  1086. operator()(Event const& evt,FSM& fsm,STATE& state )const
  1087. {
  1088. (Container()(evt,fsm,state)).insert(Param1()(evt,fsm,state),Param2()(evt,fsm,state));
  1089. }
  1090. };
  1091. // version for 1 parameter (associative containers)
  1092. template <class Container, class Param1>
  1093. struct Insert_ < Container,Param1,void,void>
  1094. : euml_action<Insert_<Container,Param1,void,void> >
  1095. {
  1096. template <class Event,class FSM,class STATE >
  1097. struct state_action_result
  1098. {
  1099. typedef typename std::pair<
  1100. typename get_iterator<
  1101. typename ::boost::remove_reference<
  1102. typename get_result_type2<Container,Event,FSM,STATE>::type>::type>::type,bool> type;
  1103. };
  1104. template <class EVT,class FSM,class SourceState,class TargetState>
  1105. struct transition_action_result
  1106. {
  1107. typedef typename std::pair<
  1108. typename get_iterator<
  1109. typename ::boost::remove_reference<
  1110. typename get_result_type<Container,EVT,FSM,SourceState,TargetState>::type>::type>::type,bool> type;
  1111. };
  1112. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  1113. template <class EVT,class FSM,class SourceState,class TargetState>
  1114. typename ::boost::enable_if<
  1115. typename ::boost::mpl::has_key<
  1116. typename Container::tag_type,action_tag>::type,
  1117. typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type
  1118. operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  1119. {
  1120. return (Container()(evt,fsm,src,tgt)).insert(Param1()(evt,fsm,src,tgt));
  1121. }
  1122. template <class Event,class FSM,class STATE>
  1123. typename ::boost::enable_if<
  1124. typename ::boost::mpl::has_key<
  1125. typename Container::tag_type,state_action_tag>::type,
  1126. typename state_action_result<Event,FSM,STATE>::type >::type
  1127. operator()(Event const& evt,FSM& fsm,STATE& state )const
  1128. {
  1129. return (Container()(evt,fsm,state)).insert(Param1()(evt,fsm,state));
  1130. }
  1131. };
  1132. struct insert_tag {};
  1133. struct Insert_Helper: proto::extends< proto::terminal<insert_tag>::type, Insert_Helper, boost::msm::sm_domain>
  1134. {
  1135. Insert_Helper(){}
  1136. template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5
  1137. #ifdef BOOST_MSVC
  1138. ,class Arg6
  1139. #endif
  1140. >
  1141. struct In
  1142. {
  1143. typedef Insert_<Arg1,Arg2,Arg3,Arg4> type;
  1144. };
  1145. };
  1146. Insert_Helper const insert_;
  1147. template <class Container1,class Container2>
  1148. struct Swap_ : euml_action<Swap_<Container1,Container2> >
  1149. {
  1150. template <class Event,class FSM,class STATE >
  1151. struct state_action_result
  1152. {
  1153. typedef void type;
  1154. };
  1155. template <class EVT,class FSM,class SourceState,class TargetState>
  1156. struct transition_action_result
  1157. {
  1158. typedef void type;
  1159. };
  1160. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  1161. template <class EVT,class FSM,class SourceState,class TargetState>
  1162. void operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  1163. {
  1164. (Container1()(evt,fsm,src,tgt)).swap(Container2()(evt,fsm,src,tgt));
  1165. }
  1166. template <class Event,class FSM,class STATE>
  1167. void operator()(Event const& evt,FSM& fsm,STATE& state )const
  1168. {
  1169. (Container1()(evt,fsm,state)).swap(Container2()(evt,fsm,state));
  1170. }
  1171. };
  1172. struct swap_tag {};
  1173. struct Swap_Helper: proto::extends< proto::terminal<swap_tag>::type, Swap_Helper, boost::msm::sm_domain>
  1174. {
  1175. Swap_Helper(){}
  1176. template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5
  1177. #ifdef BOOST_MSVC
  1178. ,class Arg6
  1179. #endif
  1180. >
  1181. struct In
  1182. {
  1183. typedef Swap_<Arg1,Arg2> type;
  1184. };
  1185. };
  1186. Swap_Helper const swap_;
  1187. template <class Container, class Iterator1, class Iterator2 ,class Enable=void >
  1188. struct Erase_ : euml_action<Erase_<Container,Iterator1,Iterator2> >
  1189. {
  1190. template <class Event,class FSM,class STATE >
  1191. struct state_action_result
  1192. {
  1193. typedef typename get_result_type2<Iterator1,Event,FSM,STATE>::type type;
  1194. };
  1195. template <class EVT,class FSM,class SourceState,class TargetState>
  1196. struct transition_action_result
  1197. {
  1198. typedef typename get_result_type<Iterator1,EVT,FSM,SourceState,TargetState>::type type;
  1199. };
  1200. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  1201. template <class EVT,class FSM,class SourceState,class TargetState>
  1202. typename ::boost::enable_if<
  1203. typename ::boost::mpl::has_key<
  1204. typename Iterator1::tag_type,action_tag>::type,
  1205. typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type
  1206. operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  1207. {
  1208. return (Container()(evt,fsm,src,tgt)).erase(Iterator1()(evt,fsm,src,tgt));
  1209. }
  1210. template <class Event,class FSM,class STATE>
  1211. typename ::boost::enable_if<
  1212. typename ::boost::mpl::has_key<
  1213. typename Iterator1::tag_type,state_action_tag>::type,
  1214. typename state_action_result<Event,FSM,STATE>::type >::type
  1215. operator()(Event const& evt,FSM& fsm,STATE& state )const
  1216. {
  1217. return (Container()(evt,fsm,state)).erase(Iterator1()(evt,fsm,state));
  1218. }
  1219. };
  1220. template <class Container, class Iterator1 , class Iterator2 >
  1221. struct Erase_<Container,Iterator1,Iterator2,
  1222. typename ::boost::disable_if<typename ::boost::is_same<Iterator2,void>::type >::type>
  1223. : euml_action<Erase_<Container,Iterator1,Iterator2> >
  1224. {
  1225. template <class Event,class FSM,class STATE >
  1226. struct state_action_result
  1227. {
  1228. typedef typename get_result_type2<Iterator1,Event,FSM,STATE>::type type;
  1229. };
  1230. template <class EVT,class FSM,class SourceState,class TargetState>
  1231. struct transition_action_result
  1232. {
  1233. typedef typename get_result_type<Iterator1,EVT,FSM,SourceState,TargetState>::type type;
  1234. };
  1235. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  1236. template <class EVT,class FSM,class SourceState,class TargetState>
  1237. typename ::boost::enable_if<
  1238. typename ::boost::mpl::has_key<
  1239. typename Iterator1::tag_type,action_tag>::type,
  1240. typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type
  1241. operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  1242. {
  1243. return (Container()(evt,fsm,src,tgt)).erase(Iterator1()(evt,fsm,src,tgt),Iterator2()(evt,fsm,src,tgt));
  1244. }
  1245. template <class Event,class FSM,class STATE>
  1246. typename ::boost::enable_if<
  1247. typename ::boost::mpl::has_key<
  1248. typename Iterator1::tag_type,state_action_tag>::type,
  1249. typename state_action_result<Event,FSM,STATE>::type >::type
  1250. operator()(Event const& evt,FSM& fsm,STATE& state )const
  1251. {
  1252. return (Container()(evt,fsm,state)).erase(Iterator1()(evt,fsm,state),Iterator2()(evt,fsm,state));
  1253. }
  1254. };
  1255. struct erase_tag {};
  1256. struct Erase_Helper: proto::extends< proto::terminal<erase_tag>::type, Erase_Helper, boost::msm::sm_domain>
  1257. {
  1258. Erase_Helper(){}
  1259. template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5
  1260. #ifdef BOOST_MSVC
  1261. ,class Arg6
  1262. #endif
  1263. >
  1264. struct In
  1265. {
  1266. typedef Erase_<Arg1,Arg2,Arg3> type;
  1267. };
  1268. };
  1269. Erase_Helper const erase_;
  1270. template <class Container>
  1271. struct Empty_ : euml_action<Empty_<Container> >
  1272. {
  1273. template <class Event,class FSM,class STATE >
  1274. struct state_action_result
  1275. {
  1276. typedef bool type;
  1277. };
  1278. template <class EVT,class FSM,class SourceState,class TargetState>
  1279. struct transition_action_result
  1280. {
  1281. typedef bool type;
  1282. };
  1283. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  1284. template <class EVT,class FSM,class SourceState,class TargetState>
  1285. bool operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  1286. {
  1287. return (Container()(evt,fsm,src,tgt)).empty();
  1288. }
  1289. template <class Event,class FSM,class STATE>
  1290. bool operator()(Event const& evt,FSM& fsm,STATE& state )const
  1291. {
  1292. return (Container()(evt,fsm,state)).empty();
  1293. }
  1294. };
  1295. struct empty_tag {};
  1296. struct Empty_Helper: proto::extends< proto::terminal<empty_tag>::type, Empty_Helper, boost::msm::sm_domain>
  1297. {
  1298. Empty_Helper(){}
  1299. template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5
  1300. #ifdef BOOST_MSVC
  1301. ,class Arg6
  1302. #endif
  1303. >
  1304. struct In
  1305. {
  1306. typedef Empty_<Arg1> type;
  1307. };
  1308. };
  1309. Empty_Helper const empty_;
  1310. template <class Container,class Element>
  1311. struct ListRemove_ : euml_action<ListRemove_<Container,Element> >
  1312. {
  1313. template <class Event,class FSM,class STATE >
  1314. struct state_action_result
  1315. {
  1316. typedef void type;
  1317. };
  1318. template <class EVT,class FSM,class SourceState,class TargetState>
  1319. struct transition_action_result
  1320. {
  1321. typedef void type;
  1322. };
  1323. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  1324. template <class EVT,class FSM,class SourceState,class TargetState>
  1325. void operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  1326. {
  1327. (Container()(evt,fsm,src,tgt)).remove(Element()(evt,fsm,src,tgt));
  1328. }
  1329. template <class Event,class FSM,class STATE>
  1330. void operator()(Event const& evt,FSM& fsm,STATE& state )const
  1331. {
  1332. (Container()(evt,fsm,state)).remove(Element()(evt,fsm,state));
  1333. }
  1334. };
  1335. struct list_remove_tag {};
  1336. struct ListRemove_Helper: proto::extends< proto::terminal<list_remove_tag>::type, ListRemove_Helper, boost::msm::sm_domain>
  1337. {
  1338. ListRemove_Helper(){}
  1339. template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5
  1340. #ifdef BOOST_MSVC
  1341. ,class Arg6
  1342. #endif
  1343. >
  1344. struct In
  1345. {
  1346. typedef ListRemove_<Arg1,Arg2> type;
  1347. };
  1348. };
  1349. ListRemove_Helper const list_remove_;
  1350. template <class Container,class Element>
  1351. struct ListRemove_If_ : euml_action<ListRemove_If_<Container,Element> >
  1352. {
  1353. template <class Event,class FSM,class STATE >
  1354. struct state_action_result
  1355. {
  1356. typedef void type;
  1357. };
  1358. template <class EVT,class FSM,class SourceState,class TargetState>
  1359. struct transition_action_result
  1360. {
  1361. typedef void type;
  1362. };
  1363. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  1364. template <class EVT,class FSM,class SourceState,class TargetState>
  1365. void operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  1366. {
  1367. (Container()(evt,fsm,src,tgt)).remove_if(Element()(evt,fsm,src,tgt));
  1368. }
  1369. template <class Event,class FSM,class STATE>
  1370. void operator()(Event const& evt,FSM& fsm,STATE& state )const
  1371. {
  1372. (Container()(evt,fsm,state)).remove_if(Element()(evt,fsm,state));
  1373. }
  1374. };
  1375. struct list_remove_if_tag {};
  1376. struct ListRemove_If_Helper: proto::extends< proto::terminal<list_remove_if_tag>::type, ListRemove_If_Helper, boost::msm::sm_domain>
  1377. {
  1378. ListRemove_If_Helper(){}
  1379. template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5
  1380. #ifdef BOOST_MSVC
  1381. ,class Arg6
  1382. #endif
  1383. >
  1384. struct In
  1385. {
  1386. typedef ListRemove_If_<Arg1,Arg2> type;
  1387. };
  1388. };
  1389. ListRemove_If_Helper const list_remove_if_;
  1390. template <class Container, class ToMerge, class Predicate, class Enable=void>
  1391. struct ListMerge_ : euml_action<ListMerge_<Container,ToMerge,Predicate,Enable> >
  1392. {
  1393. template <class Event,class FSM,class STATE >
  1394. struct state_action_result
  1395. {
  1396. typedef void type;
  1397. };
  1398. template <class EVT,class FSM,class SourceState,class TargetState>
  1399. struct transition_action_result
  1400. {
  1401. typedef void type;
  1402. };
  1403. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  1404. template <class EVT,class FSM,class SourceState,class TargetState>
  1405. void operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  1406. {
  1407. (Container()(evt,fsm,src,tgt)).merge(ToMerge()(evt,fsm,src,tgt));
  1408. }
  1409. template <class Event,class FSM,class STATE>
  1410. void operator()(Event const& evt,FSM& fsm,STATE& state )const
  1411. {
  1412. (Container()(evt,fsm,state)).merge(ToMerge()(evt,fsm,state));
  1413. }
  1414. };
  1415. template <class Container, class ToMerge, class Predicate >
  1416. struct ListMerge_<Container,ToMerge,Predicate,
  1417. typename ::boost::disable_if<typename ::boost::is_same<Predicate,void>::type >::type>
  1418. : euml_action<ListMerge_<Container,ToMerge,Predicate> >
  1419. {
  1420. template <class Event,class FSM,class STATE >
  1421. struct state_action_result
  1422. {
  1423. typedef void type;
  1424. };
  1425. template <class EVT,class FSM,class SourceState,class TargetState>
  1426. struct transition_action_result
  1427. {
  1428. typedef void type;
  1429. };
  1430. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  1431. template <class EVT,class FSM,class SourceState,class TargetState>
  1432. void operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  1433. {
  1434. (Container()(evt,fsm,src,tgt)).merge(ToMerge()(evt,fsm,src,tgt),Predicate()(evt,fsm,src,tgt));
  1435. }
  1436. template <class Event,class FSM,class STATE>
  1437. void operator()(Event const& evt,FSM& fsm,STATE& state )const
  1438. {
  1439. (Container()(evt,fsm,state)).merge(ToMerge()(evt,fsm,state),Predicate()(evt,fsm,state));
  1440. }
  1441. };
  1442. struct list_merge_tag {};
  1443. struct ListMerge_Helper: proto::extends< proto::terminal<list_merge_tag>::type, ListMerge_Helper, boost::msm::sm_domain>
  1444. {
  1445. ListMerge_Helper(){}
  1446. template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5
  1447. #ifdef BOOST_MSVC
  1448. ,class Arg6
  1449. #endif
  1450. >
  1451. struct In
  1452. {
  1453. typedef ListMerge_<Arg1,Arg2,Arg3> type;
  1454. };
  1455. };
  1456. ListMerge_Helper const list_merge_;
  1457. template <class Container, class Param1, class Param2, class Param3, class Param4 ,class Enable=void >
  1458. struct Splice_ : euml_action<Splice_<Container,Param1,Param2,Param3,Param4,Enable> >
  1459. {
  1460. template <class Event,class FSM,class STATE >
  1461. struct state_action_result
  1462. {
  1463. typedef void type;
  1464. };
  1465. template <class EVT,class FSM,class SourceState,class TargetState>
  1466. struct transition_action_result
  1467. {
  1468. typedef void type;
  1469. };
  1470. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  1471. template <class EVT,class FSM,class SourceState,class TargetState>
  1472. typename ::boost::enable_if<
  1473. typename ::boost::mpl::has_key<
  1474. typename Container::tag_type,action_tag>::type,
  1475. typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type
  1476. operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  1477. {
  1478. return (Container()(evt,fsm,src,tgt)).splice(Param1()(evt,fsm,src,tgt),Param2()(evt,fsm,src,tgt));
  1479. }
  1480. template <class Event,class FSM,class STATE>
  1481. typename ::boost::enable_if<
  1482. typename ::boost::mpl::has_key<
  1483. typename Container::tag_type,state_action_tag>::type,
  1484. typename state_action_result<Event,FSM,STATE>::type >::type
  1485. operator()(Event const& evt,FSM& fsm,STATE& state )const
  1486. {
  1487. return (Container()(evt,fsm,state)).splice(Param1()(evt,fsm,state),Param2()(evt,fsm,state));
  1488. }
  1489. };
  1490. template <class Container, class Param1, class Param2, class Param3, class Param4 >
  1491. struct Splice_<Container,Param1,Param2,Param3,Param4,
  1492. typename ::boost::disable_if<
  1493. typename ::boost::mpl::or_<typename ::boost::is_same<Param3,void>::type,
  1494. typename ::boost::mpl::not_<
  1495. typename ::boost::is_same<Param4,void>::type>::type>::type >::type>
  1496. : euml_action<Splice_<Container,Param1,Param2,Param3,Param4> >
  1497. {
  1498. template <class Event,class FSM,class STATE >
  1499. struct state_action_result
  1500. {
  1501. typedef void type;
  1502. };
  1503. template <class EVT,class FSM,class SourceState,class TargetState>
  1504. struct transition_action_result
  1505. {
  1506. typedef void type;
  1507. };
  1508. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  1509. template <class EVT,class FSM,class SourceState,class TargetState>
  1510. void operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  1511. {
  1512. (Container()(evt,fsm,src,tgt)).splice(Param1()(evt,fsm,src,tgt),Param2()(evt,fsm,src,tgt),
  1513. Param3()(evt,fsm,src,tgt));
  1514. }
  1515. template <class Event,class FSM,class STATE>
  1516. void operator()(Event const& evt,FSM& fsm,STATE& state )const
  1517. {
  1518. (Container()(evt,fsm,state)).splice(Param1()(evt,fsm,state),Param2()(evt,fsm,state),
  1519. Param3()(evt,fsm,state));
  1520. }
  1521. };
  1522. template <class Container, class Param1, class Param2, class Param3, class Param4 >
  1523. struct Splice_<Container,Param1,Param2,Param3,Param4,
  1524. typename ::boost::disable_if<typename ::boost::is_same<Param4,void>::type >::type>
  1525. : euml_action<Splice_<Container,Param1,Param2,Param3,Param4> >
  1526. {
  1527. template <class Event,class FSM,class STATE >
  1528. struct state_action_result
  1529. {
  1530. typedef void type;
  1531. };
  1532. template <class EVT,class FSM,class SourceState,class TargetState>
  1533. struct transition_action_result
  1534. {
  1535. typedef void type;
  1536. };
  1537. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  1538. template <class EVT,class FSM,class SourceState,class TargetState>
  1539. void operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  1540. {
  1541. (Container()(evt,fsm,src,tgt)).splice(Param1()(evt,fsm,src,tgt),Param2()(evt,fsm,src,tgt),
  1542. Param3()(evt,fsm,src,tgt),Param4()(evt,fsm,src,tgt));
  1543. }
  1544. template <class Event,class FSM,class STATE>
  1545. void operator()(Event const& evt,FSM& fsm,STATE& state )const
  1546. {
  1547. (Container()(evt,fsm,state)).splice(Param1()(evt,fsm,state),Param2()(evt,fsm,state),
  1548. Param3()(evt,fsm,state),Param4()(evt,fsm,state));
  1549. }
  1550. };
  1551. struct splice_tag {};
  1552. struct Splice_Helper: proto::extends< proto::terminal<splice_tag>::type, Splice_Helper, boost::msm::sm_domain>
  1553. {
  1554. Splice_Helper(){}
  1555. template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5
  1556. #ifdef BOOST_MSVC
  1557. ,class Arg6
  1558. #endif
  1559. >
  1560. struct In
  1561. {
  1562. typedef Splice_<Arg1,Arg2,Arg3,Arg4,Arg5> type;
  1563. };
  1564. };
  1565. Splice_Helper const splice_;
  1566. //template <class Container, class Param1, class Param2, class Param3, class Enable=void >
  1567. //struct StringFind_ : euml_action<StringFind_<Container,Param1,Param2,Param3,Enable> >
  1568. //{
  1569. //};
  1570. template <class Container,class Param1, class Param2, class Param3>
  1571. struct StringFind_ : euml_action<StringFind_<Container,Param1,Param2,Param3> >
  1572. {
  1573. template <class Event,class FSM,class STATE >
  1574. struct state_action_result
  1575. {
  1576. typedef typename remove_reference<
  1577. typename get_result_type2<Container,Event,FSM,STATE>::type>::type::size_type type;
  1578. };
  1579. template <class EVT,class FSM,class SourceState,class TargetState>
  1580. struct transition_action_result
  1581. {
  1582. typedef typename remove_reference<
  1583. typename get_result_type<Container,EVT,FSM,SourceState,TargetState>::type>::type::size_type type;
  1584. };
  1585. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  1586. template <class EVT,class FSM,class SourceState,class TargetState>
  1587. typename transition_action_result<EVT,FSM,SourceState,TargetState>::type
  1588. operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  1589. {
  1590. return (Container()(evt,fsm,src,tgt)).
  1591. find(Param1()(evt,fsm,src,tgt),Param2()(evt,fsm,src,tgt),Param3()(evt,fsm,src,tgt));
  1592. }
  1593. template <class Event,class FSM,class STATE>
  1594. typename state_action_result<Event,FSM,STATE>::type
  1595. operator()(Event const& evt,FSM& fsm,STATE& state )const
  1596. {
  1597. return (Container()(evt,fsm,state)).
  1598. find(Param1()(evt,fsm,state),Param2()(evt,fsm,state),Param3()(evt,fsm,state));
  1599. }
  1600. };
  1601. template <class Container,class Param1>
  1602. struct StringFind_ < Container,Param1,void,void>
  1603. : euml_action<StringFind_<Container,Param1,void,void> >
  1604. {
  1605. template <class Event,class FSM,class STATE >
  1606. struct state_action_result
  1607. {
  1608. typedef typename remove_reference<
  1609. typename get_result_type2<Container,Event,FSM,STATE>::type>::type::size_type type;
  1610. };
  1611. template <class EVT,class FSM,class SourceState,class TargetState>
  1612. struct transition_action_result
  1613. {
  1614. typedef typename remove_reference<
  1615. typename get_result_type<Container,EVT,FSM,SourceState,TargetState>::type>::type::size_type type;
  1616. };
  1617. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  1618. template <class EVT,class FSM,class SourceState,class TargetState>
  1619. typename transition_action_result<EVT,FSM,SourceState,TargetState>::type
  1620. operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  1621. {
  1622. return (Container()(evt,fsm,src,tgt)).find(Param1()(evt,fsm,src,tgt));
  1623. }
  1624. template <class Event,class FSM,class STATE>
  1625. typename state_action_result<Event,FSM,STATE>::type
  1626. operator()(Event const& evt,FSM& fsm,STATE& state )const
  1627. {
  1628. return (Container()(evt,fsm,state)).find(Param1()(evt,fsm,state));
  1629. }
  1630. };
  1631. template <class Container,class Param1, class Param2>
  1632. struct StringFind_ <Container,Param1,Param2,void>
  1633. : euml_action<StringFind_<Container,Param1,Param2,void> >
  1634. {
  1635. template <class Event,class FSM,class STATE >
  1636. struct state_action_result
  1637. {
  1638. typedef typename remove_reference<
  1639. typename get_result_type2<Container,Event,FSM,STATE>::type>::type::size_type type;
  1640. };
  1641. template <class EVT,class FSM,class SourceState,class TargetState>
  1642. struct transition_action_result
  1643. {
  1644. typedef typename remove_reference<
  1645. typename get_result_type<Container,EVT,FSM,SourceState,TargetState>::type>::type::size_type type;
  1646. };
  1647. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  1648. template <class EVT,class FSM,class SourceState,class TargetState>
  1649. typename transition_action_result<EVT,FSM,SourceState,TargetState>::type
  1650. operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  1651. {
  1652. return (Container()(evt,fsm,src,tgt)).find(Param1()(evt,fsm,src,tgt),Param2()(evt,fsm,src,tgt));
  1653. }
  1654. template <class Event,class FSM,class STATE>
  1655. typename state_action_result<Event,FSM,STATE>::type
  1656. operator()(Event const& evt,FSM& fsm,STATE& state )const
  1657. {
  1658. return (Container()(evt,fsm,state)).find(Param1()(evt,fsm,state),Param2()(evt,fsm,state));
  1659. }
  1660. };
  1661. struct string_find_tag {};
  1662. struct StringFind_Helper: proto::extends< proto::terminal<string_find_tag>::type, StringFind_Helper, boost::msm::sm_domain>
  1663. {
  1664. StringFind_Helper(){}
  1665. template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5
  1666. #ifdef BOOST_MSVC
  1667. ,class Arg6
  1668. #endif
  1669. >
  1670. struct In
  1671. {
  1672. typedef StringFind_<Arg1,Arg2,Arg3,Arg4> type;
  1673. };
  1674. };
  1675. StringFind_Helper const string_find_;
  1676. template <class Container, class Param1, class Param2, class Param3, class Enable=void >
  1677. struct StringRFind_ : euml_action<StringRFind_<Container,Param1,Param2,Param3,Enable> >
  1678. {
  1679. };
  1680. template <class Container,class Param1, class Param2, class Param3>
  1681. struct StringRFind_ <
  1682. Container,Param1,Param2,Param3,
  1683. typename ::boost::enable_if<
  1684. typename ::boost::is_same<Param2,void>::type
  1685. >::type
  1686. >
  1687. : euml_action<StringRFind_<Container,Param1,Param2,Param3> >
  1688. {
  1689. template <class Event,class FSM,class STATE >
  1690. struct state_action_result
  1691. {
  1692. typedef typename remove_reference<
  1693. typename get_result_type2<Container,Event,FSM,STATE>::type>::type::size_type type;
  1694. };
  1695. template <class EVT,class FSM,class SourceState,class TargetState>
  1696. struct transition_action_result
  1697. {
  1698. typedef typename remove_reference<
  1699. typename get_result_type<Container,EVT,FSM,SourceState,TargetState>::type>::type::size_type type;
  1700. };
  1701. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  1702. template <class EVT,class FSM,class SourceState,class TargetState>
  1703. typename transition_action_result<EVT,FSM,SourceState,TargetState>::type
  1704. operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  1705. {
  1706. return (Container()(evt,fsm,src,tgt)).rfind(Param1()(evt,fsm,src,tgt));
  1707. }
  1708. template <class Event,class FSM,class STATE>
  1709. typename state_action_result<Event,FSM,STATE>::type
  1710. operator()(Event const& evt,FSM& fsm,STATE& state )const
  1711. {
  1712. return (Container()(evt,fsm,state)).rfind(Param1()(evt,fsm,state));
  1713. }
  1714. };
  1715. template <class Container,class Param1, class Param2, class Param3>
  1716. struct StringRFind_ <
  1717. Container,Param1,Param2,Param3,
  1718. typename ::boost::enable_if<
  1719. typename ::boost::mpl::and_<
  1720. typename ::boost::is_same<Param3,void>::type,
  1721. typename ::boost::mpl::not_<
  1722. typename ::boost::is_same<Param2,void>::type
  1723. >::type
  1724. >::type
  1725. >::type
  1726. >
  1727. : euml_action<StringRFind_<Container,Param1,Param2,Param3> >
  1728. {
  1729. template <class Event,class FSM,class STATE >
  1730. struct state_action_result
  1731. {
  1732. typedef typename remove_reference<
  1733. typename get_result_type2<Container,Event,FSM,STATE>::type>::type::size_type type;
  1734. };
  1735. template <class EVT,class FSM,class SourceState,class TargetState>
  1736. struct transition_action_result
  1737. {
  1738. typedef typename remove_reference<
  1739. typename get_result_type<Container,EVT,FSM,SourceState,TargetState>::type>::type::size_type type;
  1740. };
  1741. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  1742. template <class EVT,class FSM,class SourceState,class TargetState>
  1743. typename transition_action_result<EVT,FSM,SourceState,TargetState>::type
  1744. operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  1745. {
  1746. return (Container()(evt,fsm,src,tgt)).rfind(Param1()(evt,fsm,src,tgt),Param2()(evt,fsm,src,tgt));
  1747. }
  1748. template <class Event,class FSM,class STATE>
  1749. typename state_action_result<Event,FSM,STATE>::type
  1750. operator()(Event const& evt,FSM& fsm,STATE& state )const
  1751. {
  1752. return (Container()(evt,fsm,state)).rfind(Param1()(evt,fsm,state),Param2()(evt,fsm,state));
  1753. }
  1754. };
  1755. template <class Container,class Param1, class Param2, class Param3>
  1756. struct StringRFind_<
  1757. Container,Param1,Param2,Param3,
  1758. typename ::boost::disable_if<
  1759. typename ::boost::is_same<Param3,void>::type
  1760. >::type
  1761. >
  1762. : euml_action<StringRFind_<Container,Param1,Param2,Param3> >
  1763. {
  1764. template <class Event,class FSM,class STATE >
  1765. struct state_action_result
  1766. {
  1767. typedef typename remove_reference<
  1768. typename get_result_type2<Container,Event,FSM,STATE>::type>::type::size_type type;
  1769. };
  1770. template <class EVT,class FSM,class SourceState,class TargetState>
  1771. struct transition_action_result
  1772. {
  1773. typedef typename remove_reference<
  1774. typename get_result_type<Container,EVT,FSM,SourceState,TargetState>::type>::type::size_type type;
  1775. };
  1776. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  1777. template <class EVT,class FSM,class SourceState,class TargetState>
  1778. typename transition_action_result<EVT,FSM,SourceState,TargetState>::type
  1779. operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  1780. {
  1781. return (Container()(evt,fsm,src,tgt)).
  1782. rfind(Param1()(evt,fsm,src,tgt),Param2()(evt,fsm,src,tgt),Param3()(evt,fsm,src,tgt));
  1783. }
  1784. template <class Event,class FSM,class STATE>
  1785. typename state_action_result<Event,FSM,STATE>::type
  1786. operator()(Event const& evt,FSM& fsm,STATE& state )const
  1787. {
  1788. return (Container()(evt,fsm,state)).
  1789. rfind(Param1()(evt,fsm,state),Param2()(evt,fsm,state),Param3()(evt,fsm,state));
  1790. }
  1791. };
  1792. struct string_rfind_tag {};
  1793. struct StringRFind_Helper: proto::extends< proto::terminal<string_rfind_tag>::type, StringRFind_Helper, boost::msm::sm_domain>
  1794. {
  1795. StringRFind_Helper(){}
  1796. template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5
  1797. #ifdef BOOST_MSVC
  1798. ,class Arg6
  1799. #endif
  1800. >
  1801. struct In
  1802. {
  1803. typedef StringRFind_<Arg1,Arg2,Arg3,Arg4> type;
  1804. };
  1805. };
  1806. StringRFind_Helper const string_rfind_;
  1807. template <class Container,class Param1, class Param2, class Param3>
  1808. struct StringFindFirstOf_ : euml_action<StringFindFirstOf_<Container,Param1,Param2,Param3> >
  1809. {
  1810. template <class Event,class FSM,class STATE >
  1811. struct state_action_result
  1812. {
  1813. typedef typename remove_reference<
  1814. typename get_result_type2<Container,Event,FSM,STATE>::type>::type::size_type type;
  1815. };
  1816. template <class EVT,class FSM,class SourceState,class TargetState>
  1817. struct transition_action_result
  1818. {
  1819. typedef typename remove_reference<
  1820. typename get_result_type<Container,EVT,FSM,SourceState,TargetState>::type>::type::size_type type;
  1821. };
  1822. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  1823. template <class EVT,class FSM,class SourceState,class TargetState>
  1824. typename transition_action_result<EVT,FSM,SourceState,TargetState>::type
  1825. operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  1826. {
  1827. return (Container()(evt,fsm,src,tgt)).
  1828. find_first_of(Param1()(evt,fsm,src,tgt),Param2()(evt,fsm,src,tgt),Param3()(evt,fsm,src,tgt));
  1829. }
  1830. template <class Event,class FSM,class STATE>
  1831. typename state_action_result<Event,FSM,STATE>::type
  1832. operator()(Event const& evt,FSM& fsm,STATE& state )const
  1833. {
  1834. return (Container()(evt,fsm,state)).
  1835. find_first_of(Param1()(evt,fsm,state),Param2()(evt,fsm,state),Param3()(evt,fsm,state));
  1836. }
  1837. };
  1838. template <class Container,class Param1>
  1839. struct StringFindFirstOf_ <Container,Param1,void,void>
  1840. : euml_action<StringFindFirstOf_<Container,Param1,void,void> >
  1841. {
  1842. template <class Event,class FSM,class STATE >
  1843. struct state_action_result
  1844. {
  1845. typedef typename remove_reference<
  1846. typename get_result_type2<Container,Event,FSM,STATE>::type>::type::size_type type;
  1847. };
  1848. template <class EVT,class FSM,class SourceState,class TargetState>
  1849. struct transition_action_result
  1850. {
  1851. typedef typename remove_reference<
  1852. typename get_result_type<Container,EVT,FSM,SourceState,TargetState>::type>::type::size_type type;
  1853. };
  1854. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  1855. template <class EVT,class FSM,class SourceState,class TargetState>
  1856. typename transition_action_result<EVT,FSM,SourceState,TargetState>::type
  1857. operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  1858. {
  1859. return (Container()(evt,fsm,src,tgt)).find_first_of(Param1()(evt,fsm,src,tgt));
  1860. }
  1861. template <class Event,class FSM,class STATE>
  1862. typename state_action_result<Event,FSM,STATE>::type
  1863. operator()(Event const& evt,FSM& fsm,STATE& state )const
  1864. {
  1865. return (Container()(evt,fsm,state)).find_first_of(Param1()(evt,fsm,state));
  1866. }
  1867. };
  1868. template <class Container,class Param1, class Param2>
  1869. struct StringFindFirstOf_ <Container,Param1,Param2,void>
  1870. : euml_action<StringFindFirstOf_<Container,Param1,Param2,void> >
  1871. {
  1872. template <class Event,class FSM,class STATE >
  1873. struct state_action_result
  1874. {
  1875. typedef typename remove_reference<
  1876. typename get_result_type2<Container,Event,FSM,STATE>::type>::type::size_type type;
  1877. };
  1878. template <class EVT,class FSM,class SourceState,class TargetState>
  1879. struct transition_action_result
  1880. {
  1881. typedef typename remove_reference<
  1882. typename get_result_type<Container,EVT,FSM,SourceState,TargetState>::type>::type::size_type type;
  1883. };
  1884. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  1885. template <class EVT,class FSM,class SourceState,class TargetState>
  1886. typename transition_action_result<EVT,FSM,SourceState,TargetState>::type
  1887. operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  1888. {
  1889. return (Container()(evt,fsm,src,tgt)).find_first_of(Param1()(evt,fsm,src,tgt),Param2()(evt,fsm,src,tgt));
  1890. }
  1891. template <class Event,class FSM,class STATE>
  1892. typename state_action_result<Event,FSM,STATE>::type
  1893. operator()(Event const& evt,FSM& fsm,STATE& state )const
  1894. {
  1895. return (Container()(evt,fsm,state)).find_first_of(Param1()(evt,fsm,state),Param2()(evt,fsm,state));
  1896. }
  1897. };
  1898. struct string_find_first_of_tag {};
  1899. struct StringFindFirstOf_Helper:
  1900. proto::extends< proto::terminal<string_find_first_of_tag>::type, StringFindFirstOf_Helper, boost::msm::sm_domain>
  1901. {
  1902. StringFindFirstOf_Helper(){}
  1903. template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5
  1904. #ifdef BOOST_MSVC
  1905. ,class Arg6
  1906. #endif
  1907. >
  1908. struct In
  1909. {
  1910. typedef StringFindFirstOf_<Arg1,Arg2,Arg3,Arg4> type;
  1911. };
  1912. };
  1913. StringFindFirstOf_Helper const string_find_first_of_;
  1914. template <class Container, class Param1, class Param2, class Param3, class Enable=void >
  1915. struct StringFindFirstNotOf_ : euml_action<StringFindFirstNotOf_<Container,Param1,Param2,Param3,Enable> >
  1916. {
  1917. };
  1918. template <class Container,class Param1, class Param2, class Param3>
  1919. struct StringFindFirstNotOf_ <
  1920. Container,Param1,Param2,Param3,
  1921. typename ::boost::enable_if<
  1922. typename ::boost::is_same<Param2,void>::type
  1923. >::type
  1924. >
  1925. : euml_action<StringFindFirstNotOf_<Container,Param1,Param2,Param3> >
  1926. {
  1927. template <class Event,class FSM,class STATE >
  1928. struct state_action_result
  1929. {
  1930. typedef typename remove_reference<
  1931. typename get_result_type2<Container,Event,FSM,STATE>::type>::type::size_type type;
  1932. };
  1933. template <class EVT,class FSM,class SourceState,class TargetState>
  1934. struct transition_action_result
  1935. {
  1936. typedef typename remove_reference<
  1937. typename get_result_type<Container,EVT,FSM,SourceState,TargetState>::type>::type::size_type type;
  1938. };
  1939. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  1940. template <class EVT,class FSM,class SourceState,class TargetState>
  1941. typename transition_action_result<EVT,FSM,SourceState,TargetState>::type
  1942. operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  1943. {
  1944. return (Container()(evt,fsm,src,tgt)).find_first_not_of(Param1()(evt,fsm,src,tgt));
  1945. }
  1946. template <class Event,class FSM,class STATE>
  1947. typename state_action_result<Event,FSM,STATE>::type
  1948. operator()(Event const& evt,FSM& fsm,STATE& state )const
  1949. {
  1950. return (Container()(evt,fsm,state)).find_first_not_of(Param1()(evt,fsm,state));
  1951. }
  1952. };
  1953. template <class Container,class Param1, class Param2, class Param3>
  1954. struct StringFindFirstNotOf_ <
  1955. Container,Param1,Param2,Param3,
  1956. typename ::boost::enable_if<
  1957. typename ::boost::mpl::and_<
  1958. typename ::boost::is_same<Param3,void>::type,
  1959. typename ::boost::mpl::not_<
  1960. typename ::boost::is_same<Param2,void>::type
  1961. >::type
  1962. >::type
  1963. >::type
  1964. >
  1965. : euml_action<StringFindFirstNotOf_<Container,Param1,Param2,Param3> >
  1966. {
  1967. template <class Event,class FSM,class STATE >
  1968. struct state_action_result
  1969. {
  1970. typedef typename remove_reference<
  1971. typename get_result_type2<Container,Event,FSM,STATE>::type>::type::size_type type;
  1972. };
  1973. template <class EVT,class FSM,class SourceState,class TargetState>
  1974. struct transition_action_result
  1975. {
  1976. typedef typename remove_reference<
  1977. typename get_result_type<Container,EVT,FSM,SourceState,TargetState>::type>::type::size_type type;
  1978. };
  1979. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  1980. template <class EVT,class FSM,class SourceState,class TargetState>
  1981. typename transition_action_result<EVT,FSM,SourceState,TargetState>::type
  1982. operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  1983. {
  1984. return (Container()(evt,fsm,src,tgt)).find_first_not_of(Param1()(evt,fsm,src,tgt),Param2()(evt,fsm,src,tgt));
  1985. }
  1986. template <class Event,class FSM,class STATE>
  1987. typename state_action_result<Event,FSM,STATE>::type
  1988. operator()(Event const& evt,FSM& fsm,STATE& state )const
  1989. {
  1990. return (Container()(evt,fsm,state)).find_first_not_of(Param1()(evt,fsm,state),Param2()(evt,fsm,state));
  1991. }
  1992. };
  1993. template <class Container,class Param1, class Param2, class Param3>
  1994. struct StringFindFirstNotOf_<
  1995. Container,Param1,Param2,Param3,
  1996. typename ::boost::disable_if<
  1997. typename ::boost::is_same<Param3,void>::type
  1998. >::type
  1999. >
  2000. : euml_action<StringFindFirstNotOf_<Container,Param1,Param2,Param3> >
  2001. {
  2002. template <class Event,class FSM,class STATE >
  2003. struct state_action_result
  2004. {
  2005. typedef typename remove_reference<
  2006. typename get_result_type2<Container,Event,FSM,STATE>::type>::type::size_type type;
  2007. };
  2008. template <class EVT,class FSM,class SourceState,class TargetState>
  2009. struct transition_action_result
  2010. {
  2011. typedef typename remove_reference<
  2012. typename get_result_type<Container,EVT,FSM,SourceState,TargetState>::type>::type::size_type type;
  2013. };
  2014. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  2015. template <class EVT,class FSM,class SourceState,class TargetState>
  2016. typename transition_action_result<EVT,FSM,SourceState,TargetState>::type
  2017. operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  2018. {
  2019. return (Container()(evt,fsm,src,tgt)).
  2020. find_first_not_of(Param1()(evt,fsm,src,tgt),Param2()(evt,fsm,src,tgt),Param3()(evt,fsm,src,tgt));
  2021. }
  2022. template <class Event,class FSM,class STATE>
  2023. typename state_action_result<Event,FSM,STATE>::type
  2024. operator()(Event const& evt,FSM& fsm,STATE& state )const
  2025. {
  2026. return (Container()(evt,fsm,state)).
  2027. find_first_not_of(Param1()(evt,fsm,state),Param2()(evt,fsm,state),Param3()(evt,fsm,state));
  2028. }
  2029. };
  2030. struct string_find_first_not_of_tag {};
  2031. struct StringFindFirstNotOf_Helper:
  2032. proto::extends< proto::terminal<string_find_first_not_of_tag>::type, StringFindFirstNotOf_Helper, boost::msm::sm_domain>
  2033. {
  2034. StringFindFirstNotOf_Helper(){}
  2035. template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5
  2036. #ifdef BOOST_MSVC
  2037. ,class Arg6
  2038. #endif
  2039. >
  2040. struct In
  2041. {
  2042. typedef StringFindFirstNotOf_<Arg1,Arg2,Arg3,Arg4> type;
  2043. };
  2044. };
  2045. StringFindFirstNotOf_Helper const string_find_first_not_of_;
  2046. template <class Container, class Param1, class Param2, class Param3, class Enable=void >
  2047. struct StringFindLastOf_ : euml_action<StringFindLastOf_<Container,Param1,Param2,Param3,Enable> >
  2048. {
  2049. };
  2050. template <class Container,class Param1, class Param2, class Param3>
  2051. struct StringFindLastOf_ <
  2052. Container,Param1,Param2,Param3,
  2053. typename ::boost::enable_if<
  2054. typename ::boost::is_same<Param2,void>::type
  2055. >::type
  2056. >
  2057. : euml_action<StringFindLastOf_<Container,Param1,Param2,Param3> >
  2058. {
  2059. template <class Event,class FSM,class STATE >
  2060. struct state_action_result
  2061. {
  2062. typedef typename remove_reference<
  2063. typename get_result_type2<Container,Event,FSM,STATE>::type>::type::size_type type;
  2064. };
  2065. template <class EVT,class FSM,class SourceState,class TargetState>
  2066. struct transition_action_result
  2067. {
  2068. typedef typename remove_reference<
  2069. typename get_result_type<Container,EVT,FSM,SourceState,TargetState>::type>::type::size_type type;
  2070. };
  2071. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  2072. template <class EVT,class FSM,class SourceState,class TargetState>
  2073. typename transition_action_result<EVT,FSM,SourceState,TargetState>::type
  2074. operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  2075. {
  2076. return (Container()(evt,fsm,src,tgt)).find_last_of(Param1()(evt,fsm,src,tgt));
  2077. }
  2078. template <class Event,class FSM,class STATE>
  2079. typename state_action_result<Event,FSM,STATE>::type
  2080. operator()(Event const& evt,FSM& fsm,STATE& state )const
  2081. {
  2082. return (Container()(evt,fsm,state)).find_last_of(Param1()(evt,fsm,state));
  2083. }
  2084. };
  2085. template <class Container,class Param1, class Param2, class Param3>
  2086. struct StringFindLastOf_ <
  2087. Container,Param1,Param2,Param3,
  2088. typename ::boost::enable_if<
  2089. typename ::boost::mpl::and_<
  2090. typename ::boost::is_same<Param3,void>::type,
  2091. typename ::boost::mpl::not_<
  2092. typename ::boost::is_same<Param2,void>::type
  2093. >::type
  2094. >::type
  2095. >::type
  2096. >
  2097. : euml_action<StringFindLastOf_<Container,Param1,Param2,Param3> >
  2098. {
  2099. template <class Event,class FSM,class STATE >
  2100. struct state_action_result
  2101. {
  2102. typedef typename remove_reference<
  2103. typename get_result_type2<Container,Event,FSM,STATE>::type>::type::size_type type;
  2104. };
  2105. template <class EVT,class FSM,class SourceState,class TargetState>
  2106. struct transition_action_result
  2107. {
  2108. typedef typename remove_reference<
  2109. typename get_result_type<Container,EVT,FSM,SourceState,TargetState>::type>::type::size_type type;
  2110. };
  2111. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  2112. template <class EVT,class FSM,class SourceState,class TargetState>
  2113. typename transition_action_result<EVT,FSM,SourceState,TargetState>::type
  2114. operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  2115. {
  2116. return (Container()(evt,fsm,src,tgt)).find_last_of(Param1()(evt,fsm,src,tgt),Param2()(evt,fsm,src,tgt));
  2117. }
  2118. template <class Event,class FSM,class STATE>
  2119. typename state_action_result<Event,FSM,STATE>::type
  2120. operator()(Event const& evt,FSM& fsm,STATE& state )const
  2121. {
  2122. return (Container()(evt,fsm,state)).find_last_of(Param1()(evt,fsm,state),Param2()(evt,fsm,state));
  2123. }
  2124. };
  2125. template <class Container,class Param1, class Param2, class Param3>
  2126. struct StringFindLastOf_<
  2127. Container,Param1,Param2,Param3,
  2128. typename ::boost::disable_if<
  2129. typename ::boost::is_same<Param3,void>::type
  2130. >::type
  2131. >
  2132. : euml_action<StringFindLastOf_<Container,Param1,Param2,Param3> >
  2133. {
  2134. template <class Event,class FSM,class STATE >
  2135. struct state_action_result
  2136. {
  2137. typedef typename remove_reference<
  2138. typename get_result_type2<Container,Event,FSM,STATE>::type>::type::size_type type;
  2139. };
  2140. template <class EVT,class FSM,class SourceState,class TargetState>
  2141. struct transition_action_result
  2142. {
  2143. typedef typename remove_reference<
  2144. typename get_result_type<Container,EVT,FSM,SourceState,TargetState>::type>::type::size_type type;
  2145. };
  2146. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  2147. template <class EVT,class FSM,class SourceState,class TargetState>
  2148. typename transition_action_result<EVT,FSM,SourceState,TargetState>::type
  2149. operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  2150. {
  2151. return (Container()(evt,fsm,src,tgt)).
  2152. find_last_of(Param1()(evt,fsm,src,tgt),Param2()(evt,fsm,src,tgt),Param3()(evt,fsm,src,tgt));
  2153. }
  2154. template <class Event,class FSM,class STATE>
  2155. typename state_action_result<Event,FSM,STATE>::type
  2156. operator()(Event const& evt,FSM& fsm,STATE& state )const
  2157. {
  2158. return (Container()(evt,fsm,state)).
  2159. find_last_of(Param1()(evt,fsm,state),Param2()(evt,fsm,state),Param3()(evt,fsm,state));
  2160. }
  2161. };
  2162. struct string_find_last_of_tag {};
  2163. struct StringFindLastOf_Helper:
  2164. proto::extends< proto::terminal<string_find_last_of_tag>::type, StringFindLastOf_Helper, boost::msm::sm_domain>
  2165. {
  2166. StringFindLastOf_Helper(){}
  2167. template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5
  2168. #ifdef BOOST_MSVC
  2169. ,class Arg6
  2170. #endif
  2171. >
  2172. struct In
  2173. {
  2174. typedef StringFindLastOf_<Arg1,Arg2,Arg3,Arg4> type;
  2175. };
  2176. };
  2177. StringFindLastOf_Helper const string_find_last_of_;
  2178. template <class Container, class Param1, class Param2, class Param3, class Enable=void >
  2179. struct StringFindLastNotOf_ : euml_action<StringFindLastNotOf_<Container,Param1,Param2,Param3,Enable> >
  2180. {
  2181. };
  2182. template <class Container,class Param1, class Param2, class Param3>
  2183. struct StringFindLastNotOf_ <
  2184. Container,Param1,Param2,Param3,
  2185. typename ::boost::enable_if<
  2186. typename ::boost::is_same<Param2,void>::type
  2187. >::type
  2188. >
  2189. : euml_action<StringFindLastNotOf_<Container,Param1,Param2,Param3> >
  2190. {
  2191. template <class Event,class FSM,class STATE >
  2192. struct state_action_result
  2193. {
  2194. typedef typename remove_reference<
  2195. typename get_result_type2<Container,Event,FSM,STATE>::type>::type::size_type type;
  2196. };
  2197. template <class EVT,class FSM,class SourceState,class TargetState>
  2198. struct transition_action_result
  2199. {
  2200. typedef typename remove_reference<
  2201. typename get_result_type<Container,EVT,FSM,SourceState,TargetState>::type>::type::size_type type;
  2202. };
  2203. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  2204. template <class EVT,class FSM,class SourceState,class TargetState>
  2205. typename transition_action_result<EVT,FSM,SourceState,TargetState>::type
  2206. operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  2207. {
  2208. return (Container()(evt,fsm,src,tgt)).find_last_not_of(Param1()(evt,fsm,src,tgt));
  2209. }
  2210. template <class Event,class FSM,class STATE>
  2211. typename state_action_result<Event,FSM,STATE>::type
  2212. operator()(Event const& evt,FSM& fsm,STATE& state )const
  2213. {
  2214. return (Container()(evt,fsm,state)).find_last_not_of(Param1()(evt,fsm,state));
  2215. }
  2216. };
  2217. template <class Container,class Param1, class Param2, class Param3>
  2218. struct StringFindLastNotOf_ <
  2219. Container,Param1,Param2,Param3,
  2220. typename ::boost::enable_if<
  2221. typename ::boost::mpl::and_<
  2222. typename ::boost::is_same<Param3,void>::type,
  2223. typename ::boost::mpl::not_<
  2224. typename ::boost::is_same<Param2,void>::type
  2225. >::type
  2226. >::type
  2227. >::type
  2228. >
  2229. : euml_action<StringFindLastNotOf_<Container,Param1,Param2,Param3> >
  2230. {
  2231. template <class Event,class FSM,class STATE >
  2232. struct state_action_result
  2233. {
  2234. typedef typename remove_reference<
  2235. typename get_result_type2<Container,Event,FSM,STATE>::type>::type::size_type type;
  2236. };
  2237. template <class EVT,class FSM,class SourceState,class TargetState>
  2238. struct transition_action_result
  2239. {
  2240. typedef typename remove_reference<
  2241. typename get_result_type<Container,EVT,FSM,SourceState,TargetState>::type>::type::size_type type;
  2242. };
  2243. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  2244. template <class EVT,class FSM,class SourceState,class TargetState>
  2245. typename transition_action_result<EVT,FSM,SourceState,TargetState>::type
  2246. operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  2247. {
  2248. return (Container()(evt,fsm,src,tgt)).find_last_not_of(Param1()(evt,fsm,src,tgt),Param2()(evt,fsm,src,tgt));
  2249. }
  2250. template <class Event,class FSM,class STATE>
  2251. typename state_action_result<Event,FSM,STATE>::type
  2252. operator()(Event const& evt,FSM& fsm,STATE& state )const
  2253. {
  2254. return (Container()(evt,fsm,state)).find_last_not_of(Param1()(evt,fsm,state),Param2()(evt,fsm,state));
  2255. }
  2256. };
  2257. template <class Container,class Param1, class Param2, class Param3>
  2258. struct StringFindLastNotOf_<
  2259. Container,Param1,Param2,Param3,
  2260. typename ::boost::disable_if<
  2261. typename ::boost::is_same<Param3,void>::type
  2262. >::type
  2263. >
  2264. : euml_action<StringFindLastNotOf_<Container,Param1,Param2,Param3> >
  2265. {
  2266. template <class Event,class FSM,class STATE >
  2267. struct state_action_result
  2268. {
  2269. typedef typename remove_reference<
  2270. typename get_result_type2<Container,Event,FSM,STATE>::type>::type::size_type type;
  2271. };
  2272. template <class EVT,class FSM,class SourceState,class TargetState>
  2273. struct transition_action_result
  2274. {
  2275. typedef typename remove_reference<
  2276. typename get_result_type<Container,EVT,FSM,SourceState,TargetState>::type>::type::size_type type;
  2277. };
  2278. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  2279. template <class EVT,class FSM,class SourceState,class TargetState>
  2280. typename transition_action_result<EVT,FSM,SourceState,TargetState>::type
  2281. operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  2282. {
  2283. return (Container()(evt,fsm,src,tgt)).
  2284. find_last_not_of(Param1()(evt,fsm,src,tgt),Param2()(evt,fsm,src,tgt),Param3()(evt,fsm,src,tgt));
  2285. }
  2286. template <class Event,class FSM,class STATE>
  2287. typename state_action_result<Event,FSM,STATE>::type
  2288. operator()(Event const& evt,FSM& fsm,STATE& state )const
  2289. {
  2290. return (Container()(evt,fsm,state)).
  2291. find_last_not_of(Param1()(evt,fsm,state),Param2()(evt,fsm,state),Param3()(evt,fsm,state));
  2292. }
  2293. };
  2294. struct string_find_last_not_of_tag {};
  2295. struct StringFindLastNotOf_Helper:
  2296. proto::extends< proto::terminal<string_find_last_of_tag>::type, StringFindLastNotOf_Helper, boost::msm::sm_domain>
  2297. {
  2298. StringFindLastNotOf_Helper(){}
  2299. template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5
  2300. #ifdef BOOST_MSVC
  2301. ,class Arg6
  2302. #endif
  2303. >
  2304. struct In
  2305. {
  2306. typedef StringFindLastNotOf_<Arg1,Arg2,Arg3,Arg4> type;
  2307. };
  2308. };
  2309. StringFindLastNotOf_Helper const string_find_last_not_of_;
  2310. template <class Container>
  2311. struct Npos_ : euml_action<Npos_<Container> >
  2312. {
  2313. Npos_(){}
  2314. template <class Event,class FSM,class STATE >
  2315. struct state_action_result
  2316. {
  2317. typedef typename Container::size_type type;
  2318. };
  2319. template <class EVT,class FSM,class SourceState,class TargetState>
  2320. struct transition_action_result
  2321. {
  2322. typedef typename Container::size_type type;
  2323. };
  2324. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  2325. template <class EVT,class FSM,class SourceState,class TargetState>
  2326. typename transition_action_result<EVT,FSM,SourceState,TargetState>::type
  2327. operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  2328. {
  2329. return Container::npos;
  2330. }
  2331. template <class Event,class FSM,class STATE>
  2332. typename state_action_result<Event,FSM,STATE>::type
  2333. operator()(Event const& evt,FSM& fsm,STATE& state )const
  2334. {
  2335. return Container::npos;
  2336. }
  2337. };
  2338. // version for 2 parameters
  2339. template <class Container, class Param1, class Param2>
  2340. struct Associative_Erase_ : euml_action<Associative_Erase_<Container,Param1,Param2> >
  2341. {
  2342. template <class Event,class FSM,class STATE >
  2343. struct state_action_result
  2344. {
  2345. typedef void type;
  2346. };
  2347. template <class EVT,class FSM,class SourceState,class TargetState>
  2348. struct transition_action_result
  2349. {
  2350. typedef void type;
  2351. };
  2352. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  2353. template <class EVT,class FSM,class SourceState,class TargetState>
  2354. typename ::boost::enable_if<
  2355. typename ::boost::mpl::has_key<
  2356. typename Container::tag_type,action_tag>::type,
  2357. typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type
  2358. operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  2359. {
  2360. (Container()(evt,fsm,src,tgt)).erase(Param1()(evt,fsm,src,tgt),Param2()(evt,fsm,src,tgt));
  2361. }
  2362. template <class Event,class FSM,class STATE>
  2363. typename ::boost::enable_if<
  2364. typename ::boost::mpl::has_key<
  2365. typename Container::tag_type,state_action_tag>::type,
  2366. typename state_action_result<Event,FSM,STATE>::type >::type
  2367. operator()(Event const& evt,FSM& fsm,STATE& state )const
  2368. {
  2369. (Container()(evt,fsm,state)).erase(Param1()(evt,fsm,state),Param2()(evt,fsm,state));
  2370. }
  2371. };
  2372. // version for 1 parameter
  2373. template <class Container, class Param1>
  2374. struct Associative_Erase_ < Container,Param1,void>
  2375. : euml_action<Associative_Erase_<Container,Param1,void> >
  2376. {
  2377. // return value will actually not be correct for set::erase(it), should be void
  2378. // but it's ok as nobody should call an inexistent return type
  2379. template <class Event,class FSM,class STATE >
  2380. struct state_action_result
  2381. {
  2382. typedef typename get_size_type<
  2383. typename ::boost::remove_reference<
  2384. typename get_result_type2<Container,Event,FSM,STATE>::type>::type>::type type;
  2385. };
  2386. template <class EVT,class FSM,class SourceState,class TargetState>
  2387. struct transition_action_result
  2388. {
  2389. typedef typename get_size_type<
  2390. typename ::boost::remove_reference<
  2391. typename get_result_type<Container,EVT,FSM,SourceState,TargetState>::type>::type>::type type;
  2392. };
  2393. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  2394. // version for transition + param is an iterator
  2395. template <class EVT,class FSM,class SourceState,class TargetState>
  2396. typename ::boost::enable_if<
  2397. typename ::boost::mpl::and_<
  2398. typename ::boost::mpl::has_key<
  2399. typename Container::tag_type,action_tag>::type,
  2400. typename has_iterator_category<
  2401. typename Param1::template transition_action_result<EVT,FSM,SourceState,TargetState>::type
  2402. >::type
  2403. >::type,
  2404. void
  2405. >::type
  2406. operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  2407. {
  2408. (Container()(evt,fsm,src,tgt)).erase(Param1()(evt,fsm,src,tgt));
  2409. }
  2410. // version for state action + param is an iterator
  2411. template <class Event,class FSM,class STATE>
  2412. typename ::boost::enable_if<
  2413. typename ::boost::mpl::and_<
  2414. typename ::boost::mpl::has_key<
  2415. typename Container::tag_type,state_action_tag>::type,
  2416. typename has_iterator_category<
  2417. typename Param1::template state_action_result<Event,FSM,STATE>::type
  2418. >::type
  2419. >::type,
  2420. void
  2421. >::type
  2422. operator()(Event const& evt,FSM& fsm,STATE& state )const
  2423. {
  2424. (Container()(evt,fsm,state)).erase(Param1()(evt,fsm,state));
  2425. }
  2426. // version for transition + param not an iterator
  2427. template <class EVT,class FSM,class SourceState,class TargetState>
  2428. typename ::boost::enable_if<
  2429. typename ::boost::mpl::and_<
  2430. typename ::boost::mpl::has_key<
  2431. typename Container::tag_type,action_tag>::type,
  2432. typename ::boost::mpl::not_<
  2433. typename has_iterator_category<
  2434. typename Param1::template transition_action_result<EVT,FSM,SourceState,TargetState>::type
  2435. >::type
  2436. >::type
  2437. >::type,
  2438. typename transition_action_result<EVT,FSM,SourceState,TargetState>::type
  2439. >::type
  2440. operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  2441. {
  2442. return (Container()(evt,fsm,src,tgt)).erase(Param1()(evt,fsm,src,tgt));
  2443. }
  2444. // version for state action + param not an iterator
  2445. template <class Event,class FSM,class STATE>
  2446. typename ::boost::enable_if<
  2447. typename ::boost::mpl::and_<
  2448. typename ::boost::mpl::has_key<
  2449. typename Container::tag_type,state_action_tag>::type,
  2450. typename ::boost::mpl::not_<
  2451. typename has_iterator_category<
  2452. typename Param1::template state_action_result<Event,FSM,STATE>::type
  2453. >::type
  2454. >::type
  2455. >::type,
  2456. typename state_action_result<Event,FSM,STATE>::type
  2457. >::type
  2458. operator()(Event const& evt,FSM& fsm,STATE& state )const
  2459. {
  2460. return (Container()(evt,fsm,state)).erase(Param1()(evt,fsm,state));
  2461. }
  2462. };
  2463. struct associative_erase_tag {};
  2464. struct Associative_Erase_Helper: proto::extends< proto::terminal<associative_erase_tag>::type, Associative_Erase_Helper, boost::msm::sm_domain>
  2465. {
  2466. Associative_Erase_Helper(){}
  2467. template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5
  2468. #ifdef BOOST_MSVC
  2469. ,class Arg6
  2470. #endif
  2471. >
  2472. struct In
  2473. {
  2474. typedef Associative_Erase_<Arg1,Arg2,Arg3> type;
  2475. };
  2476. };
  2477. Associative_Erase_Helper const associative_erase_;
  2478. template <class T, class Param>
  2479. struct Associative_Find_ : euml_action<Associative_Find_<T,Param> >
  2480. {
  2481. template <class Event,class FSM,class STATE >
  2482. struct state_action_result
  2483. {
  2484. typedef typename get_iterator<
  2485. typename ::boost::remove_reference<
  2486. typename get_result_type2<T,Event,FSM,STATE>::type>::type>::type type;
  2487. };
  2488. template <class EVT,class FSM,class SourceState,class TargetState>
  2489. struct transition_action_result
  2490. {
  2491. typedef typename get_iterator<
  2492. typename ::boost::remove_reference<
  2493. typename get_result_type<T,EVT,FSM,SourceState,TargetState>::type>::type>::type type;
  2494. };
  2495. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  2496. template <class EVT,class FSM,class SourceState,class TargetState>
  2497. typename ::boost::enable_if<
  2498. typename ::boost::mpl::has_key<
  2499. typename T::tag_type,action_tag>::type,
  2500. typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type
  2501. operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  2502. {
  2503. return (T()(evt,fsm,src,tgt)).find(Param()(evt,fsm,src,tgt));
  2504. }
  2505. template <class Event,class FSM,class STATE>
  2506. typename ::boost::enable_if<
  2507. typename ::boost::mpl::has_key<
  2508. typename T::tag_type,state_action_tag>::type,
  2509. typename state_action_result<Event,FSM,STATE>::type >::type
  2510. operator()(Event const& evt,FSM& fsm,STATE& state )const
  2511. {
  2512. return (T()(evt,fsm,state)).find(Param()(evt,fsm,state));
  2513. }
  2514. };
  2515. struct associative_find_tag {};
  2516. struct Associative_Find_Helper: proto::extends< proto::terminal<associative_find_tag>::type, Associative_Find_Helper, boost::msm::sm_domain>
  2517. {
  2518. Associative_Find_Helper(){}
  2519. template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5
  2520. #ifdef BOOST_MSVC
  2521. ,class Arg6
  2522. #endif
  2523. >
  2524. struct In
  2525. {
  2526. typedef Associative_Find_<Arg1,Arg2> type;
  2527. };
  2528. };
  2529. Associative_Find_Helper const associative_find_;
  2530. template <class Container,class Param>
  2531. struct AssociativeCount_ : euml_action<AssociativeCount_<Container,Param> >
  2532. {
  2533. template <class Event,class FSM,class STATE >
  2534. struct state_action_result
  2535. {
  2536. typedef typename get_size_type<
  2537. typename ::boost::remove_reference<
  2538. typename get_result_type2<Container,Event,FSM,STATE>::type>::type>::type type;
  2539. };
  2540. template <class EVT,class FSM,class SourceState,class TargetState>
  2541. struct transition_action_result
  2542. {
  2543. typedef typename get_size_type<
  2544. typename ::boost::remove_reference<
  2545. typename get_result_type<Container,EVT,FSM,SourceState,TargetState>::type>::type>::type type;
  2546. };
  2547. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  2548. template <class EVT,class FSM,class SourceState,class TargetState>
  2549. typename ::boost::enable_if<
  2550. typename ::boost::mpl::has_key<
  2551. typename Container::tag_type,action_tag>::type,
  2552. typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type
  2553. operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  2554. {
  2555. return (Container()(evt,fsm,src,tgt)).count(Param()(evt,fsm,src,tgt));
  2556. }
  2557. template <class Event,class FSM,class STATE>
  2558. typename ::boost::enable_if<
  2559. typename ::boost::mpl::has_key<
  2560. typename Container::tag_type,state_action_tag>::type,
  2561. typename state_action_result<Event,FSM,STATE>::type >::type
  2562. operator()(Event const& evt,FSM& fsm,STATE& state )const
  2563. {
  2564. return (Container()(evt,fsm,state)).count(Param()(evt,fsm,state));
  2565. }
  2566. };
  2567. struct associative_count_tag {};
  2568. struct AssociativeCount_Helper: proto::extends< proto::terminal<associative_count_tag>::type, AssociativeCount_Helper, boost::msm::sm_domain>
  2569. {
  2570. AssociativeCount_Helper(){}
  2571. template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5
  2572. #ifdef BOOST_MSVC
  2573. ,class Arg6
  2574. #endif
  2575. >
  2576. struct In
  2577. {
  2578. typedef AssociativeCount_<Arg1,Arg2> type;
  2579. };
  2580. };
  2581. AssociativeCount_Helper const associative_count_;
  2582. template <class T, class Param>
  2583. struct Associative_Lower_Bound_ : euml_action<Associative_Lower_Bound_<T,Param> >
  2584. {
  2585. template <class Event,class FSM,class STATE >
  2586. struct state_action_result
  2587. {
  2588. typedef typename get_iterator<
  2589. typename ::boost::remove_reference<
  2590. typename get_result_type2<T,Event,FSM,STATE>::type>::type>::type type;
  2591. };
  2592. template <class EVT,class FSM,class SourceState,class TargetState>
  2593. struct transition_action_result
  2594. {
  2595. typedef typename get_iterator<
  2596. typename ::boost::remove_reference<
  2597. typename get_result_type<T,EVT,FSM,SourceState,TargetState>::type>::type>::type type;
  2598. };
  2599. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  2600. template <class EVT,class FSM,class SourceState,class TargetState>
  2601. typename ::boost::enable_if<
  2602. typename ::boost::mpl::has_key<
  2603. typename T::tag_type,action_tag>::type,
  2604. typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type
  2605. operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  2606. {
  2607. return (T()(evt,fsm,src,tgt)).lower_bound(Param()(evt,fsm,src,tgt));
  2608. }
  2609. template <class Event,class FSM,class STATE>
  2610. typename ::boost::enable_if<
  2611. typename ::boost::mpl::has_key<
  2612. typename T::tag_type,state_action_tag>::type,
  2613. typename state_action_result<Event,FSM,STATE>::type >::type
  2614. operator()(Event const& evt,FSM& fsm,STATE& state )const
  2615. {
  2616. return (T()(evt,fsm,state)).lower_bound(Param()(evt,fsm,state));
  2617. }
  2618. };
  2619. struct associative_lower_bound_tag {};
  2620. struct Associative_Lower_Bound_Helper: proto::extends< proto::terminal<associative_lower_bound_tag>::type,
  2621. Associative_Lower_Bound_Helper, boost::msm::sm_domain>
  2622. {
  2623. Associative_Lower_Bound_Helper(){}
  2624. template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5
  2625. #ifdef BOOST_MSVC
  2626. ,class Arg6
  2627. #endif
  2628. >
  2629. struct In
  2630. {
  2631. typedef Associative_Lower_Bound_<Arg1,Arg2> type;
  2632. };
  2633. };
  2634. Associative_Lower_Bound_Helper const associative_lower_bound_;
  2635. template <class T, class Param>
  2636. struct Associative_Upper_Bound_ : euml_action<Associative_Upper_Bound_<T,Param> >
  2637. {
  2638. template <class Event,class FSM,class STATE >
  2639. struct state_action_result
  2640. {
  2641. typedef typename get_iterator<
  2642. typename ::boost::remove_reference<
  2643. typename get_result_type2<T,Event,FSM,STATE>::type>::type>::type type;
  2644. };
  2645. template <class EVT,class FSM,class SourceState,class TargetState>
  2646. struct transition_action_result
  2647. {
  2648. typedef typename get_iterator<
  2649. typename ::boost::remove_reference<
  2650. typename get_result_type<T,EVT,FSM,SourceState,TargetState>::type>::type>::type type;
  2651. };
  2652. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  2653. template <class EVT,class FSM,class SourceState,class TargetState>
  2654. typename ::boost::enable_if<
  2655. typename ::boost::mpl::has_key<
  2656. typename T::tag_type,action_tag>::type,
  2657. typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type
  2658. operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  2659. {
  2660. return (T()(evt,fsm,src,tgt)).upper_bound(Param()(evt,fsm,src,tgt));
  2661. }
  2662. template <class Event,class FSM,class STATE>
  2663. typename ::boost::enable_if<
  2664. typename ::boost::mpl::has_key<
  2665. typename T::tag_type,state_action_tag>::type,
  2666. typename state_action_result<Event,FSM,STATE>::type >::type
  2667. operator()(Event const& evt,FSM& fsm,STATE& state )const
  2668. {
  2669. return (T()(evt,fsm,state)).upper_bound(Param()(evt,fsm,state));
  2670. }
  2671. };
  2672. struct associative_upper_bound_tag {};
  2673. struct Associative_Upper_Bound_Helper: proto::extends< proto::terminal<associative_upper_bound_tag>::type,
  2674. Associative_Upper_Bound_Helper, boost::msm::sm_domain>
  2675. {
  2676. Associative_Upper_Bound_Helper(){}
  2677. template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5
  2678. #ifdef BOOST_MSVC
  2679. ,class Arg6
  2680. #endif
  2681. >
  2682. struct In
  2683. {
  2684. typedef Associative_Upper_Bound_<Arg1,Arg2> type;
  2685. };
  2686. };
  2687. Associative_Upper_Bound_Helper const associative_upper_bound_;
  2688. template <class T>
  2689. struct First_ : euml_action<First_<T> >
  2690. {
  2691. template <class Event,class FSM,class STATE >
  2692. struct state_action_result
  2693. {
  2694. typedef typename get_first_type<
  2695. typename ::boost::remove_reference<
  2696. typename get_result_type2<T,Event,FSM,STATE>::type>::type>::type type;
  2697. };
  2698. template <class EVT,class FSM,class SourceState,class TargetState>
  2699. struct transition_action_result
  2700. {
  2701. typedef typename get_first_type<
  2702. typename ::boost::remove_reference<
  2703. typename get_result_type<T,EVT,FSM,SourceState,TargetState>::type>::type>::type type;
  2704. };
  2705. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  2706. template <class EVT,class FSM,class SourceState,class TargetState>
  2707. typename ::boost::enable_if<
  2708. typename ::boost::mpl::has_key<
  2709. typename T::tag_type,action_tag>::type,
  2710. typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type
  2711. operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  2712. {
  2713. return (T()(evt,fsm,src,tgt)).first;
  2714. }
  2715. template <class Event,class FSM,class STATE>
  2716. typename ::boost::enable_if<
  2717. typename ::boost::mpl::has_key<
  2718. typename T::tag_type,state_action_tag>::type,
  2719. typename state_action_result<Event,FSM,STATE>::type >::type
  2720. operator()(Event const& evt,FSM& fsm,STATE& state )const
  2721. {
  2722. return (T()(evt,fsm,state)).first;
  2723. }
  2724. };
  2725. struct first_tag {};
  2726. struct First_Helper: proto::extends< proto::terminal<first_tag>::type, First_Helper, boost::msm::sm_domain>
  2727. {
  2728. First_Helper(){}
  2729. template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5
  2730. #ifdef BOOST_MSVC
  2731. ,class Arg6
  2732. #endif
  2733. >
  2734. struct In
  2735. {
  2736. typedef First_<Arg1> type;
  2737. };
  2738. };
  2739. First_Helper const first_;
  2740. template <class T>
  2741. struct Second_ : euml_action<Second_<T> >
  2742. {
  2743. template <class Event,class FSM,class STATE >
  2744. struct state_action_result
  2745. {
  2746. typedef typename get_second_type<
  2747. typename ::boost::remove_reference<
  2748. typename get_result_type2<T,Event,FSM,STATE>::type>::type>::type type;
  2749. };
  2750. template <class EVT,class FSM,class SourceState,class TargetState>
  2751. struct transition_action_result
  2752. {
  2753. typedef typename get_second_type<
  2754. typename ::boost::remove_reference<
  2755. typename get_result_type<T,EVT,FSM,SourceState,TargetState>::type>::type>::type type;
  2756. };
  2757. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  2758. template <class EVT,class FSM,class SourceState,class TargetState>
  2759. typename ::boost::enable_if<
  2760. typename ::boost::mpl::has_key<
  2761. typename T::tag_type,action_tag>::type,
  2762. typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type
  2763. operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  2764. {
  2765. return (T()(evt,fsm,src,tgt)).second;
  2766. }
  2767. template <class Event,class FSM,class STATE>
  2768. typename ::boost::enable_if<
  2769. typename ::boost::mpl::has_key<
  2770. typename T::tag_type,state_action_tag>::type,
  2771. typename state_action_result<Event,FSM,STATE>::type >::type
  2772. operator()(Event const& evt,FSM& fsm,STATE& state )const
  2773. {
  2774. return (T()(evt,fsm,state)).second;
  2775. }
  2776. };
  2777. struct second_tag {};
  2778. struct Second_Helper: proto::extends< proto::terminal<second_tag>::type, Second_Helper, boost::msm::sm_domain>
  2779. {
  2780. Second_Helper(){}
  2781. template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5
  2782. #ifdef BOOST_MSVC
  2783. ,class Arg6
  2784. #endif
  2785. >
  2786. struct In
  2787. {
  2788. typedef Second_<Arg1> type;
  2789. };
  2790. };
  2791. Second_Helper const second_;
  2792. template <class T, class Param>
  2793. struct Associative_Equal_Range_ : euml_action<Associative_Equal_Range_<T,Param> >
  2794. {
  2795. template <class Event,class FSM,class STATE >
  2796. struct state_action_result
  2797. {
  2798. typedef std::pair<
  2799. typename get_iterator<
  2800. typename ::boost::remove_reference<
  2801. typename get_result_type2<T,Event,FSM,STATE>::type>::type>::type,
  2802. typename get_iterator<
  2803. typename ::boost::remove_reference<
  2804. typename get_result_type2<T,Event,FSM,STATE>::type>::type>::type > type;
  2805. };
  2806. template <class EVT,class FSM,class SourceState,class TargetState>
  2807. struct transition_action_result
  2808. {
  2809. typedef std::pair<
  2810. typename get_iterator<
  2811. typename ::boost::remove_reference<
  2812. typename get_result_type<T,EVT,FSM,SourceState,TargetState>::type>::type>::type,
  2813. typename get_iterator<
  2814. typename ::boost::remove_reference<
  2815. typename get_result_type<T,EVT,FSM,SourceState,TargetState>::type>::type>::type > type;
  2816. };
  2817. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  2818. template <class EVT,class FSM,class SourceState,class TargetState>
  2819. typename ::boost::enable_if<
  2820. typename ::boost::mpl::has_key<
  2821. typename T::tag_type,action_tag>::type,
  2822. typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type
  2823. operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  2824. {
  2825. return (T()(evt,fsm,src,tgt)).equal_range(Param()(evt,fsm,src,tgt));
  2826. }
  2827. template <class Event,class FSM,class STATE>
  2828. typename ::boost::enable_if<
  2829. typename ::boost::mpl::has_key<
  2830. typename T::tag_type,state_action_tag>::type,
  2831. typename state_action_result<Event,FSM,STATE>::type >::type
  2832. operator()(Event const& evt,FSM& fsm,STATE& state )const
  2833. {
  2834. return (T()(evt,fsm,state)).equal_range(Param()(evt,fsm,state));
  2835. }
  2836. };
  2837. struct associative_equal_range_tag {};
  2838. struct Associative_Equal_Range_Helper: proto::extends< proto::terminal<associative_equal_range_tag>::type,
  2839. Associative_Equal_Range_Helper, boost::msm::sm_domain>
  2840. {
  2841. Associative_Equal_Range_Helper(){}
  2842. template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5
  2843. #ifdef BOOST_MSVC
  2844. ,class Arg6
  2845. #endif
  2846. >
  2847. struct In
  2848. {
  2849. typedef Associative_Equal_Range_<Arg1,Arg2> type;
  2850. };
  2851. };
  2852. Associative_Equal_Range_Helper const associative_equal_range_;
  2853. template <class Container,class Param1, class Param2>
  2854. struct Substr_ : euml_action<Substr_<Container,Param1,Param2> >
  2855. {
  2856. template <class Event,class FSM,class STATE >
  2857. struct state_action_result
  2858. {
  2859. typedef typename remove_reference<
  2860. typename get_result_type2<Container,Event,FSM,STATE>::type>::type type;
  2861. };
  2862. template <class EVT,class FSM,class SourceState,class TargetState>
  2863. struct transition_action_result
  2864. {
  2865. typedef typename remove_reference<
  2866. typename get_result_type<Container,EVT,FSM,SourceState,TargetState>::type>::type type;
  2867. };
  2868. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  2869. template <class EVT,class FSM,class SourceState,class TargetState>
  2870. typename transition_action_result<EVT,FSM,SourceState,TargetState>::type
  2871. operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  2872. {
  2873. return (Container()(evt,fsm,src,tgt)).
  2874. substr(Param1()(evt,fsm,src,tgt),Param2()(evt,fsm,src,tgt));
  2875. }
  2876. template <class Event,class FSM,class STATE>
  2877. typename state_action_result<Event,FSM,STATE>::type
  2878. operator()(Event const& evt,FSM& fsm,STATE& state )const
  2879. {
  2880. return (Container()(evt,fsm,state)).
  2881. substr(Param1()(evt,fsm,state),Param2()(evt,fsm,state));
  2882. }
  2883. };
  2884. template <class Container>
  2885. struct Substr_ <Container,void,void>
  2886. : euml_action<Substr_<Container,void,void> >
  2887. {
  2888. template <class Event,class FSM,class STATE >
  2889. struct state_action_result
  2890. {
  2891. typedef typename remove_reference<
  2892. typename get_result_type2<Container,Event,FSM,STATE>::type>::type type;
  2893. };
  2894. template <class EVT,class FSM,class SourceState,class TargetState>
  2895. struct transition_action_result
  2896. {
  2897. typedef typename remove_reference<
  2898. typename get_result_type<Container,EVT,FSM,SourceState,TargetState>::type>::type type;
  2899. };
  2900. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  2901. template <class EVT,class FSM,class SourceState,class TargetState>
  2902. typename transition_action_result<EVT,FSM,SourceState,TargetState>::type
  2903. operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  2904. {
  2905. return (Container()(evt,fsm,src,tgt)).substr();
  2906. }
  2907. template <class Event,class FSM,class STATE>
  2908. typename state_action_result<Event,FSM,STATE>::type
  2909. operator()(Event const& evt,FSM& fsm,STATE& state )const
  2910. {
  2911. return (Container()(evt,fsm,state)).substr();
  2912. }
  2913. };
  2914. template <class Container,class Param1>
  2915. struct Substr_ < Container,Param1,void>
  2916. : euml_action<Substr_<Container,Param1,void> >
  2917. {
  2918. template <class Event,class FSM,class STATE >
  2919. struct state_action_result
  2920. {
  2921. typedef typename remove_reference<
  2922. typename get_result_type2<Container,Event,FSM,STATE>::type>::type type;
  2923. };
  2924. template <class EVT,class FSM,class SourceState,class TargetState>
  2925. struct transition_action_result
  2926. {
  2927. typedef typename remove_reference<
  2928. typename get_result_type<Container,EVT,FSM,SourceState,TargetState>::type>::type type;
  2929. };
  2930. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  2931. template <class EVT,class FSM,class SourceState,class TargetState>
  2932. typename transition_action_result<EVT,FSM,SourceState,TargetState>::type
  2933. operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  2934. {
  2935. return (Container()(evt,fsm,src,tgt)).substr(Param1()(evt,fsm,src,tgt));
  2936. }
  2937. template <class Event,class FSM,class STATE>
  2938. typename state_action_result<Event,FSM,STATE>::type
  2939. operator()(Event const& evt,FSM& fsm,STATE& state )const
  2940. {
  2941. return (Container()(evt,fsm,state)).substr(Param1()(evt,fsm,state));
  2942. }
  2943. };
  2944. struct substr_tag {};
  2945. struct Substr_Helper: proto::extends< proto::terminal<substr_tag>::type, Substr_Helper, boost::msm::sm_domain>
  2946. {
  2947. Substr_Helper(){}
  2948. template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5
  2949. #ifdef BOOST_MSVC
  2950. ,class Arg6
  2951. #endif
  2952. >
  2953. struct In
  2954. {
  2955. typedef Substr_<Arg1,Arg2,Arg3> type;
  2956. };
  2957. };
  2958. Substr_Helper const substr_;
  2959. template <class Container, class Param1, class Param2, class Param3, class Param4 >
  2960. struct StringCompare_ : euml_action<StringCompare_<Container,Param1,Param2,Param3,Param4> >
  2961. {
  2962. template <class Event,class FSM,class STATE >
  2963. struct state_action_result
  2964. {
  2965. typedef int type;
  2966. };
  2967. template <class EVT,class FSM,class SourceState,class TargetState>
  2968. struct transition_action_result
  2969. {
  2970. typedef int type;
  2971. };
  2972. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  2973. template <class EVT,class FSM,class SourceState,class TargetState>
  2974. typename ::boost::enable_if<
  2975. typename ::boost::mpl::has_key<
  2976. typename Container::tag_type,action_tag>::type,
  2977. typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type
  2978. operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  2979. {
  2980. return (Container()(evt,fsm,src,tgt)).compare(Param1()(evt,fsm,src,tgt),Param2()(evt,fsm,src,tgt),
  2981. Param3()(evt,fsm,src,tgt),Param4()(evt,fsm,src,tgt));
  2982. }
  2983. template <class Event,class FSM,class STATE>
  2984. typename ::boost::enable_if<
  2985. typename ::boost::mpl::has_key<
  2986. typename Container::tag_type,state_action_tag>::type,
  2987. typename state_action_result<Event,FSM,STATE>::type >::type
  2988. operator()(Event const& evt,FSM& fsm,STATE& state )const
  2989. {
  2990. return (Container()(evt,fsm,state)).compare(Param1()(evt,fsm,state),Param2()(evt,fsm,state),
  2991. Param3()(evt,fsm,state),Param4()(evt,fsm,state));
  2992. }
  2993. };
  2994. template <class Container, class Param1 >
  2995. struct StringCompare_<Container,Param1,void,void,void>
  2996. : euml_action<StringCompare_<Container,Param1,void,void,void> >
  2997. {
  2998. template <class Event,class FSM,class STATE >
  2999. struct state_action_result
  3000. {
  3001. typedef int type;
  3002. };
  3003. template <class EVT,class FSM,class SourceState,class TargetState>
  3004. struct transition_action_result
  3005. {
  3006. typedef int type;
  3007. };
  3008. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  3009. template <class EVT,class FSM,class SourceState,class TargetState>
  3010. typename ::boost::enable_if<
  3011. typename ::boost::mpl::has_key<
  3012. typename Container::tag_type,action_tag>::type,
  3013. typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type
  3014. operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  3015. {
  3016. return (Container()(evt,fsm,src,tgt)).compare(Param1()(evt,fsm,src,tgt));
  3017. }
  3018. template <class Event,class FSM,class STATE>
  3019. typename ::boost::enable_if<
  3020. typename ::boost::mpl::has_key<
  3021. typename Container::tag_type,state_action_tag>::type,
  3022. typename state_action_result<Event,FSM,STATE>::type >::type
  3023. operator()(Event const& evt,FSM& fsm,STATE& state )const
  3024. {
  3025. return (Container()(evt,fsm,state)).compare(Param1()(evt,fsm,state));
  3026. }
  3027. };
  3028. template <class Container, class Param1, class Param2>
  3029. struct StringCompare_<Container,Param1,Param2,void,void>
  3030. : euml_action<StringCompare_<Container,Param1,Param2,void,void> >
  3031. {
  3032. template <class Event,class FSM,class STATE >
  3033. struct state_action_result
  3034. {
  3035. typedef int type;
  3036. };
  3037. template <class EVT,class FSM,class SourceState,class TargetState>
  3038. struct transition_action_result
  3039. {
  3040. typedef int type;
  3041. };
  3042. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  3043. template <class EVT,class FSM,class SourceState,class TargetState>
  3044. typename ::boost::enable_if<
  3045. typename ::boost::mpl::has_key<
  3046. typename Container::tag_type,action_tag>::type,
  3047. typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type
  3048. operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  3049. {
  3050. return (Container()(evt,fsm,src,tgt)).compare(Param1()(evt,fsm,src,tgt),Param2()(evt,fsm,src,tgt));
  3051. }
  3052. template <class Event,class FSM,class STATE>
  3053. typename ::boost::enable_if<
  3054. typename ::boost::mpl::has_key<
  3055. typename Container::tag_type,state_action_tag>::type,
  3056. typename state_action_result<Event,FSM,STATE>::type >::type
  3057. operator()(Event const& evt,FSM& fsm,STATE& state )const
  3058. {
  3059. return (Container()(evt,fsm,state)).compare(Param1()(evt,fsm,state),Param2()(evt,fsm,state));
  3060. }
  3061. };
  3062. template <class Container, class Param1, class Param2, class Param3 >
  3063. struct StringCompare_<Container,Param1,Param2,Param3,void>
  3064. : euml_action<StringCompare_<Container,Param1,Param2,Param3,void> >
  3065. {
  3066. template <class Event,class FSM,class STATE >
  3067. struct state_action_result
  3068. {
  3069. typedef int type;
  3070. };
  3071. template <class EVT,class FSM,class SourceState,class TargetState>
  3072. struct transition_action_result
  3073. {
  3074. typedef int type;
  3075. };
  3076. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  3077. template <class EVT,class FSM,class SourceState,class TargetState>
  3078. typename ::boost::enable_if<
  3079. typename ::boost::mpl::has_key<
  3080. typename Container::tag_type,action_tag>::type,
  3081. typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type
  3082. operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  3083. {
  3084. return (Container()(evt,fsm,src,tgt)).compare(Param1()(evt,fsm,src,tgt),Param2()(evt,fsm,src,tgt),
  3085. Param3()(evt,fsm,src,tgt));
  3086. }
  3087. template <class Event,class FSM,class STATE>
  3088. typename ::boost::enable_if<
  3089. typename ::boost::mpl::has_key<
  3090. typename Container::tag_type,state_action_tag>::type,
  3091. typename state_action_result<Event,FSM,STATE>::type >::type
  3092. operator()(Event const& evt,FSM& fsm,STATE& state )const
  3093. {
  3094. return (Container()(evt,fsm,state)).compare(Param1()(evt,fsm,state),Param2()(evt,fsm,state),
  3095. Param3()(evt,fsm,state));
  3096. }
  3097. };
  3098. struct string_compare_tag {};
  3099. struct StringCompare_Helper: proto::extends< proto::terminal<string_compare_tag>::type, StringCompare_Helper, boost::msm::sm_domain>
  3100. {
  3101. StringCompare_Helper(){}
  3102. template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5
  3103. #ifdef BOOST_MSVC
  3104. ,class Arg6
  3105. #endif
  3106. >
  3107. struct In
  3108. {
  3109. typedef StringCompare_<Arg1,Arg2,Arg3,Arg4,Arg5> type;
  3110. };
  3111. };
  3112. StringCompare_Helper const string_compare_;
  3113. template <class Container, class Param1, class Param2, class Param3 >
  3114. struct Append_ : euml_action<Append_<Container,Param1,Param2,Param3> >
  3115. {
  3116. template <class Event,class FSM,class STATE >
  3117. struct state_action_result
  3118. {
  3119. typedef typename get_result_type2<Container,Event,FSM,STATE>::type type;
  3120. };
  3121. template <class EVT,class FSM,class SourceState,class TargetState>
  3122. struct transition_action_result
  3123. {
  3124. typedef typename get_result_type<Container,EVT,FSM,SourceState,TargetState>::type type;
  3125. };
  3126. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  3127. template <class EVT,class FSM,class SourceState,class TargetState>
  3128. typename ::boost::enable_if<
  3129. typename ::boost::mpl::has_key<
  3130. typename Container::tag_type,action_tag>::type,
  3131. typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type
  3132. operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  3133. {
  3134. return (Container()(evt,fsm,src,tgt)).append (Param1()(evt,fsm,src,tgt),Param2()(evt,fsm,src,tgt),
  3135. Param3()(evt,fsm,src,tgt));
  3136. }
  3137. template <class Event,class FSM,class STATE>
  3138. typename ::boost::enable_if<
  3139. typename ::boost::mpl::has_key<
  3140. typename Container::tag_type,state_action_tag>::type,
  3141. typename state_action_result<Event,FSM,STATE>::type >::type
  3142. operator()(Event const& evt,FSM& fsm,STATE& state )const
  3143. {
  3144. return (Container()(evt,fsm,state)).append (Param1()(evt,fsm,state),Param2()(evt,fsm,state),
  3145. Param3()(evt,fsm,state));
  3146. }
  3147. };
  3148. template <class Container, class Param1>
  3149. struct Append_<Container,Param1,void,void>
  3150. : euml_action<Append_<Container,Param1,void,void> >
  3151. {
  3152. template <class Event,class FSM,class STATE >
  3153. struct state_action_result
  3154. {
  3155. typedef typename get_result_type2<Container,Event,FSM,STATE>::type type;
  3156. };
  3157. template <class EVT,class FSM,class SourceState,class TargetState>
  3158. struct transition_action_result
  3159. {
  3160. typedef typename get_result_type<Container,EVT,FSM,SourceState,TargetState>::type type;
  3161. };
  3162. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  3163. template <class EVT,class FSM,class SourceState,class TargetState>
  3164. typename ::boost::enable_if<
  3165. typename ::boost::mpl::has_key<
  3166. typename Container::tag_type,action_tag>::type,
  3167. typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type
  3168. operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  3169. {
  3170. return (Container()(evt,fsm,src,tgt)).append(Param1()(evt,fsm,src,tgt));
  3171. }
  3172. template <class Event,class FSM,class STATE>
  3173. typename ::boost::enable_if<
  3174. typename ::boost::mpl::has_key<
  3175. typename Container::tag_type,state_action_tag>::type,
  3176. typename state_action_result<Event,FSM,STATE>::type >::type
  3177. operator()(Event const& evt,FSM& fsm,STATE& state )const
  3178. {
  3179. return (Container()(evt,fsm,state)).append(Param1()(evt,fsm,state));
  3180. }
  3181. };
  3182. template <class Container, class Param1, class Param2 >
  3183. struct Append_<Container,Param1,Param2,void>
  3184. : euml_action<Append_<Container,Param1,Param2,void> >
  3185. {
  3186. template <class Event,class FSM,class STATE >
  3187. struct state_action_result
  3188. {
  3189. typedef typename get_result_type2<Container,Event,FSM,STATE>::type type;
  3190. };
  3191. template <class EVT,class FSM,class SourceState,class TargetState>
  3192. struct transition_action_result
  3193. {
  3194. typedef typename get_result_type<Container,EVT,FSM,SourceState,TargetState>::type type;
  3195. };
  3196. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  3197. template <class EVT,class FSM,class SourceState,class TargetState>
  3198. typename ::boost::enable_if<
  3199. typename ::boost::mpl::has_key<
  3200. typename Container::tag_type,action_tag>::type,
  3201. typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type
  3202. operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  3203. {
  3204. return (Container()(evt,fsm,src,tgt)).append(Param1()(evt,fsm,src,tgt),Param2()(evt,fsm,src,tgt));
  3205. }
  3206. template <class Event,class FSM,class STATE>
  3207. typename ::boost::enable_if<
  3208. typename ::boost::mpl::has_key<
  3209. typename Container::tag_type,state_action_tag>::type,
  3210. typename state_action_result<Event,FSM,STATE>::type >::type
  3211. operator()(Event const& evt,FSM& fsm,STATE& state )const
  3212. {
  3213. return (Container()(evt,fsm,state)).append(Param1()(evt,fsm,state),Param2()(evt,fsm,state));
  3214. }
  3215. };
  3216. struct append_tag {};
  3217. struct Append_Helper: proto::extends< proto::terminal<append_tag>::type, Append_Helper, boost::msm::sm_domain>
  3218. {
  3219. Append_Helper(){}
  3220. template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5
  3221. #ifdef BOOST_MSVC
  3222. ,class Arg6
  3223. #endif
  3224. >
  3225. struct In
  3226. {
  3227. typedef Append_<Arg1,Arg2,Arg3,Arg4> type;
  3228. };
  3229. };
  3230. Append_Helper const append_;
  3231. template <class Container, class Param1, class Param2, class Param3, class Param4 >
  3232. struct StringInsert_ : euml_action<StringInsert_<Container,Param1,Param2,Param3,Param4> >
  3233. {
  3234. template <class Event,class FSM,class STATE >
  3235. struct state_action_result
  3236. {
  3237. typedef typename get_result_type2<Container,Event,FSM,STATE>::type type;
  3238. };
  3239. template <class EVT,class FSM,class SourceState,class TargetState>
  3240. struct transition_action_result
  3241. {
  3242. typedef typename get_result_type<Container,EVT,FSM,SourceState,TargetState>::type type;
  3243. };
  3244. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  3245. template <class EVT,class FSM,class SourceState,class TargetState>
  3246. typename ::boost::enable_if<
  3247. typename ::boost::mpl::has_key<
  3248. typename Container::tag_type,action_tag>::type,
  3249. typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type
  3250. operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  3251. {
  3252. return (Container()(evt,fsm,src,tgt)).insert(Param1()(evt,fsm,src,tgt),Param2()(evt,fsm,src,tgt),
  3253. Param3()(evt,fsm,src,tgt),Param4()(evt,fsm,src,tgt));
  3254. }
  3255. template <class Event,class FSM,class STATE>
  3256. typename ::boost::enable_if<
  3257. typename ::boost::mpl::has_key<
  3258. typename Container::tag_type,state_action_tag>::type,
  3259. typename state_action_result<Event,FSM,STATE>::type >::type
  3260. operator()(Event const& evt,FSM& fsm,STATE& state )const
  3261. {
  3262. return (Container()(evt,fsm,state)).insert(Param1()(evt,fsm,state),Param2()(evt,fsm,state),
  3263. Param3()(evt,fsm,state),Param4()(evt,fsm,state));
  3264. }
  3265. };
  3266. template <class Container, class Param1, class Param2>
  3267. struct StringInsert_ <Container,Param1,Param2,void,void>
  3268. : euml_action<StringInsert_<Container,Param1,Param2,void,void> >
  3269. {
  3270. template <class Event,class FSM,class STATE >
  3271. struct state_action_result
  3272. {
  3273. typedef typename get_result_type2<Container,Event,FSM,STATE>::type type;
  3274. };
  3275. template <class EVT,class FSM,class SourceState,class TargetState>
  3276. struct transition_action_result
  3277. {
  3278. typedef typename get_result_type<Container,EVT,FSM,SourceState,TargetState>::type type;
  3279. };
  3280. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  3281. template <class EVT,class FSM,class SourceState,class TargetState>
  3282. typename ::boost::enable_if<
  3283. typename ::boost::mpl::has_key<
  3284. typename Container::tag_type,action_tag>::type,
  3285. typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type
  3286. operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  3287. {
  3288. return (Container()(evt,fsm,src,tgt)).insert(Param1()(evt,fsm,src,tgt),Param2()(evt,fsm,src,tgt));
  3289. }
  3290. template <class Event,class FSM,class STATE>
  3291. typename ::boost::enable_if<
  3292. typename ::boost::mpl::has_key<
  3293. typename Container::tag_type,state_action_tag>::type,
  3294. typename state_action_result<Event,FSM,STATE>::type >::type
  3295. operator()(Event const& evt,FSM& fsm,STATE& state )const
  3296. {
  3297. return (Container()(evt,fsm,state)).insert(Param1()(evt,fsm,state),Param2()(evt,fsm,state));
  3298. }
  3299. };
  3300. template <class Container, class Param1, class Param2, class Param3>
  3301. struct StringInsert_<Container,Param1,Param2,Param3,void>
  3302. : euml_action<StringInsert_<Container,Param1,Param2,Param3,void> >
  3303. {
  3304. template <class Event,class FSM,class STATE >
  3305. struct state_action_result
  3306. {
  3307. typedef typename get_result_type2<Container,Event,FSM,STATE>::type type;
  3308. };
  3309. template <class EVT,class FSM,class SourceState,class TargetState>
  3310. struct transition_action_result
  3311. {
  3312. typedef typename get_result_type<Container,EVT,FSM,SourceState,TargetState>::type type;
  3313. };
  3314. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  3315. template <class EVT,class FSM,class SourceState,class TargetState>
  3316. typename ::boost::enable_if<
  3317. typename ::boost::mpl::has_key<
  3318. typename Container::tag_type,action_tag>::type,
  3319. typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type
  3320. operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  3321. {
  3322. return (Container()(evt,fsm,src,tgt)).insert(Param1()(evt,fsm,src,tgt),Param2()(evt,fsm,src,tgt),
  3323. Param3()(evt,fsm,src,tgt));
  3324. }
  3325. template <class Event,class FSM,class STATE>
  3326. typename ::boost::enable_if<
  3327. typename ::boost::mpl::has_key<
  3328. typename Container::tag_type,state_action_tag>::type,
  3329. typename state_action_result<Event,FSM,STATE>::type >::type
  3330. operator()(Event const& evt,FSM& fsm,STATE& state )const
  3331. {
  3332. return (Container()(evt,fsm,state)).insert(Param1()(evt,fsm,state),Param2()(evt,fsm,state),
  3333. Param3()(evt,fsm,state));
  3334. }
  3335. };
  3336. struct string_insert_tag {};
  3337. struct StringInsert_Helper: proto::extends< proto::terminal<string_insert_tag>::type, StringInsert_Helper, boost::msm::sm_domain>
  3338. {
  3339. StringInsert_Helper(){}
  3340. template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5
  3341. #ifdef BOOST_MSVC
  3342. ,class Arg6
  3343. #endif
  3344. >
  3345. struct In
  3346. {
  3347. typedef StringInsert_<Arg1,Arg2,Arg3,Arg4,Arg5> type;
  3348. };
  3349. };
  3350. StringInsert_Helper const string_insert_;
  3351. template <class Container,class Param1, class Param2>
  3352. struct StringErase_ : euml_action<StringErase_<Container,Param1,Param2> >
  3353. {
  3354. template <class Event,class FSM,class STATE >
  3355. struct state_action_result
  3356. {
  3357. typedef typename get_result_type2<Container,Event,FSM,STATE>::type type;
  3358. };
  3359. template <class EVT,class FSM,class SourceState,class TargetState>
  3360. struct transition_action_result
  3361. {
  3362. typedef typename get_result_type<Container,EVT,FSM,SourceState,TargetState>::type type;
  3363. };
  3364. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  3365. template <class EVT,class FSM,class SourceState,class TargetState>
  3366. typename transition_action_result<EVT,FSM,SourceState,TargetState>::type
  3367. operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  3368. {
  3369. return (Container()(evt,fsm,src,tgt)).
  3370. erase(Param1()(evt,fsm,src,tgt),Param2()(evt,fsm,src,tgt));
  3371. }
  3372. template <class Event,class FSM,class STATE>
  3373. typename state_action_result<Event,FSM,STATE>::type
  3374. operator()(Event const& evt,FSM& fsm,STATE& state )const
  3375. {
  3376. return (Container()(evt,fsm,state)).
  3377. erase(Param1()(evt,fsm,state),Param2()(evt,fsm,state));
  3378. }
  3379. };
  3380. template <class Container>
  3381. struct StringErase_ <Container,void,void>
  3382. : euml_action<StringErase_<Container,void,void> >
  3383. {
  3384. template <class Event,class FSM,class STATE >
  3385. struct state_action_result
  3386. {
  3387. typedef typename get_result_type2<Container,Event,FSM,STATE>::type type;
  3388. };
  3389. template <class EVT,class FSM,class SourceState,class TargetState>
  3390. struct transition_action_result
  3391. {
  3392. typedef typename get_result_type<Container,EVT,FSM,SourceState,TargetState>::type type;
  3393. };
  3394. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  3395. template <class EVT,class FSM,class SourceState,class TargetState>
  3396. typename transition_action_result<EVT,FSM,SourceState,TargetState>::type
  3397. operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  3398. {
  3399. return (Container()(evt,fsm,src,tgt)).erase();
  3400. }
  3401. template <class Event,class FSM,class STATE>
  3402. typename state_action_result<Event,FSM,STATE>::type
  3403. operator()(Event const& evt,FSM& fsm,STATE& state )const
  3404. {
  3405. return (Container()(evt,fsm,state)).erase();
  3406. }
  3407. };
  3408. template <class Container,class Param1>
  3409. struct StringErase_ <Container,Param1,void>
  3410. : euml_action<StringErase_<Container,Param1,void> >
  3411. {
  3412. template <class Event,class FSM,class STATE >
  3413. struct state_action_result
  3414. {
  3415. typedef typename get_result_type2<Container,Event,FSM,STATE>::type type;
  3416. };
  3417. template <class EVT,class FSM,class SourceState,class TargetState>
  3418. struct transition_action_result
  3419. {
  3420. typedef typename get_result_type<Container,EVT,FSM,SourceState,TargetState>::type type;
  3421. };
  3422. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  3423. template <class EVT,class FSM,class SourceState,class TargetState>
  3424. typename transition_action_result<EVT,FSM,SourceState,TargetState>::type
  3425. operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  3426. {
  3427. return (Container()(evt,fsm,src,tgt)).erase(Param1()(evt,fsm,src,tgt));
  3428. }
  3429. template <class Event,class FSM,class STATE>
  3430. typename state_action_result<Event,FSM,STATE>::type
  3431. operator()(Event const& evt,FSM& fsm,STATE& state )const
  3432. {
  3433. return (Container()(evt,fsm,state)).erase(Param1()(evt,fsm,state));
  3434. }
  3435. };
  3436. struct string_erase_tag {};
  3437. struct StringErase_Helper: proto::extends< proto::terminal<string_erase_tag>::type, StringErase_Helper, boost::msm::sm_domain>
  3438. {
  3439. StringErase_Helper(){}
  3440. template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5
  3441. #ifdef BOOST_MSVC
  3442. ,class Arg6
  3443. #endif
  3444. >
  3445. struct In
  3446. {
  3447. typedef StringErase_<Arg1,Arg2,Arg3> type;
  3448. };
  3449. };
  3450. StringErase_Helper const string_erase_;
  3451. template <class Container, class Param1, class Param2, class Param3 >
  3452. struct StringAssign_ : euml_action<StringAssign_<Container,Param1,Param2,Param3> >
  3453. {
  3454. template <class Event,class FSM,class STATE >
  3455. struct state_action_result
  3456. {
  3457. typedef typename get_result_type2<Container,Event,FSM,STATE>::type type;
  3458. };
  3459. template <class EVT,class FSM,class SourceState,class TargetState>
  3460. struct transition_action_result
  3461. {
  3462. typedef typename get_result_type<Container,EVT,FSM,SourceState,TargetState>::type type;
  3463. };
  3464. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  3465. template <class EVT,class FSM,class SourceState,class TargetState>
  3466. typename ::boost::enable_if<
  3467. typename ::boost::mpl::has_key<
  3468. typename Container::tag_type,action_tag>::type,
  3469. typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type
  3470. operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  3471. {
  3472. return (Container()(evt,fsm,src,tgt)).assign (Param1()(evt,fsm,src,tgt),Param2()(evt,fsm,src,tgt),
  3473. Param3()(evt,fsm,src,tgt));
  3474. }
  3475. template <class Event,class FSM,class STATE>
  3476. typename ::boost::enable_if<
  3477. typename ::boost::mpl::has_key<
  3478. typename Container::tag_type,state_action_tag>::type,
  3479. typename state_action_result<Event,FSM,STATE>::type >::type
  3480. operator()(Event const& evt,FSM& fsm,STATE& state )const
  3481. {
  3482. return (Container()(evt,fsm,state)).assign (Param1()(evt,fsm,state),Param2()(evt,fsm,state),
  3483. Param3()(evt,fsm,state));
  3484. }
  3485. };
  3486. template <class Container,class Param1>
  3487. struct StringAssign_ <
  3488. Container,Param1,void,void>
  3489. : euml_action<StringAssign_<Container,Param1,void,void> >
  3490. {
  3491. template <class Event,class FSM,class STATE >
  3492. struct state_action_result
  3493. {
  3494. typedef typename get_result_type2<Container,Event,FSM,STATE>::type type;
  3495. };
  3496. template <class EVT,class FSM,class SourceState,class TargetState>
  3497. struct transition_action_result
  3498. {
  3499. typedef typename get_result_type<Container,EVT,FSM,SourceState,TargetState>::type type;
  3500. };
  3501. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  3502. template <class EVT,class FSM,class SourceState,class TargetState>
  3503. typename ::boost::enable_if<
  3504. typename ::boost::mpl::has_key<
  3505. typename Container::tag_type,action_tag>::type,
  3506. typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type
  3507. operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  3508. {
  3509. return (Container()(evt,fsm,src,tgt)).assign(Param1()(evt,fsm,src,tgt));
  3510. }
  3511. template <class Event,class FSM,class STATE>
  3512. typename ::boost::enable_if<
  3513. typename ::boost::mpl::has_key<
  3514. typename Container::tag_type,state_action_tag>::type,
  3515. typename state_action_result<Event,FSM,STATE>::type >::type
  3516. operator()(Event const& evt,FSM& fsm,STATE& state )const
  3517. {
  3518. return (Container()(evt,fsm,state)).assign(Param1()(evt,fsm,state));
  3519. }
  3520. };
  3521. template <class Container, class Param1, class Param2 >
  3522. struct StringAssign_<Container,Param1,Param2,void>
  3523. : euml_action<StringAssign_<Container,Param1,Param2,void> >
  3524. {
  3525. template <class Event,class FSM,class STATE >
  3526. struct state_action_result
  3527. {
  3528. typedef typename get_result_type2<Container,Event,FSM,STATE>::type type;
  3529. };
  3530. template <class EVT,class FSM,class SourceState,class TargetState>
  3531. struct transition_action_result
  3532. {
  3533. typedef typename get_result_type<Container,EVT,FSM,SourceState,TargetState>::type type;
  3534. };
  3535. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  3536. template <class EVT,class FSM,class SourceState,class TargetState>
  3537. typename ::boost::enable_if<
  3538. typename ::boost::mpl::has_key<
  3539. typename Container::tag_type,action_tag>::type,
  3540. typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type
  3541. operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  3542. {
  3543. return (Container()(evt,fsm,src,tgt)).assign(Param1()(evt,fsm,src,tgt),Param2()(evt,fsm,src,tgt));
  3544. }
  3545. template <class Event,class FSM,class STATE>
  3546. typename ::boost::enable_if<
  3547. typename ::boost::mpl::has_key<
  3548. typename Container::tag_type,state_action_tag>::type,
  3549. typename state_action_result<Event,FSM,STATE>::type >::type
  3550. operator()(Event const& evt,FSM& fsm,STATE& state )const
  3551. {
  3552. return (Container()(evt,fsm,state)).assign(Param1()(evt,fsm,state),Param2()(evt,fsm,state));
  3553. }
  3554. };
  3555. struct assign_tag {};
  3556. struct StringAssign_Helper: proto::extends< proto::terminal<assign_tag>::type, StringAssign_Helper, boost::msm::sm_domain>
  3557. {
  3558. StringAssign_Helper(){}
  3559. template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5
  3560. #ifdef BOOST_MSVC
  3561. ,class Arg6
  3562. #endif
  3563. >
  3564. struct In
  3565. {
  3566. typedef StringAssign_<Arg1,Arg2,Arg3,Arg4> type;
  3567. };
  3568. };
  3569. StringAssign_Helper const string_assign_;
  3570. template <class Container,class Param1, class Param2, class Param3, class Param4>
  3571. struct StringReplace_ : euml_action<StringReplace_<Container,Param1,Param2,Param3,Param4> >
  3572. {
  3573. template <class Event,class FSM,class STATE >
  3574. struct state_action_result
  3575. {
  3576. typedef typename get_result_type2<Container,Event,FSM,STATE>::type type;
  3577. };
  3578. template <class EVT,class FSM,class SourceState,class TargetState>
  3579. struct transition_action_result
  3580. {
  3581. typedef typename get_result_type<Container,EVT,FSM,SourceState,TargetState>::type type;
  3582. };
  3583. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  3584. template <class EVT,class FSM,class SourceState,class TargetState>
  3585. typename ::boost::enable_if<
  3586. typename ::boost::mpl::has_key<
  3587. typename Container::tag_type,action_tag>::type,
  3588. typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type
  3589. operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  3590. {
  3591. return (Container()(evt,fsm,src,tgt)).replace (Param1()(evt,fsm,src,tgt),Param2()(evt,fsm,src,tgt),
  3592. Param3()(evt,fsm,src,tgt),Param4()(evt,fsm,src,tgt));
  3593. }
  3594. template <class Event,class FSM,class STATE>
  3595. typename ::boost::enable_if<
  3596. typename ::boost::mpl::has_key<
  3597. typename Container::tag_type,state_action_tag>::type,
  3598. typename state_action_result<Event,FSM,STATE>::type >::type
  3599. operator()(Event const& evt,FSM& fsm,STATE& state )const
  3600. {
  3601. return (Container()(evt,fsm,state)).replace (Param1()(evt,fsm,state),Param2()(evt,fsm,state),
  3602. Param3()(evt,fsm,state),Param4()(evt,fsm,state));
  3603. }
  3604. };
  3605. template <class Container,class Param1, class Param2, class Param3>
  3606. struct StringReplace_<Container,Param1,Param2,Param3,void>
  3607. : euml_action<StringReplace_<Container,Param1,Param2,Param3,void> >
  3608. {
  3609. template <class Event,class FSM,class STATE >
  3610. struct state_action_result
  3611. {
  3612. typedef typename get_result_type2<Container,Event,FSM,STATE>::type type;
  3613. };
  3614. template <class EVT,class FSM,class SourceState,class TargetState>
  3615. struct transition_action_result
  3616. {
  3617. typedef typename get_result_type<Container,EVT,FSM,SourceState,TargetState>::type type;
  3618. };
  3619. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  3620. template <class EVT,class FSM,class SourceState,class TargetState>
  3621. typename ::boost::enable_if<
  3622. typename ::boost::mpl::has_key<
  3623. typename Container::tag_type,action_tag>::type,
  3624. typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type
  3625. operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  3626. {
  3627. return (Container()(evt,fsm,src,tgt)).replace(Param1()(evt,fsm,src,tgt),Param2()(evt,fsm,src,tgt),
  3628. Param3()(evt,fsm,src,tgt));
  3629. }
  3630. template <class Event,class FSM,class STATE>
  3631. typename ::boost::enable_if<
  3632. typename ::boost::mpl::has_key<
  3633. typename Container::tag_type,state_action_tag>::type,
  3634. typename state_action_result<Event,FSM,STATE>::type >::type
  3635. operator()(Event const& evt,FSM& fsm,STATE& state )const
  3636. {
  3637. return (Container()(evt,fsm,state)).replace(Param1()(evt,fsm,state),Param2()(evt,fsm,state),
  3638. Param3()(evt,fsm,state));
  3639. }
  3640. };
  3641. struct string_replace_tag {};
  3642. struct StringReplace_Helper: proto::extends< proto::terminal<string_replace_tag>::type, StringReplace_Helper, boost::msm::sm_domain>
  3643. {
  3644. StringReplace_Helper(){}
  3645. template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5
  3646. #ifdef BOOST_MSVC
  3647. ,class Arg6
  3648. #endif
  3649. >
  3650. struct In
  3651. {
  3652. typedef StringReplace_<Arg1,Arg2,Arg3,Arg4,Arg5> type;
  3653. };
  3654. };
  3655. StringReplace_Helper const string_replace_;
  3656. template <class Container>
  3657. struct CStr_ : euml_action<CStr_<Container> >
  3658. {
  3659. template <class Event,class FSM,class STATE >
  3660. struct state_action_result
  3661. {
  3662. typedef typename ::boost::add_const<
  3663. typename get_value_type<
  3664. typename ::boost::remove_reference<
  3665. typename get_result_type2<Container,Event,FSM,STATE>::type>::type>::type>::type* type;
  3666. };
  3667. template <class EVT,class FSM,class SourceState,class TargetState>
  3668. struct transition_action_result
  3669. {
  3670. typedef typename ::boost::add_const<
  3671. typename get_value_type<
  3672. typename ::boost::remove_reference<
  3673. typename get_result_type<Container,EVT,FSM,SourceState,TargetState>::type>::type>::type>::type* type;
  3674. };
  3675. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  3676. template <class EVT,class FSM,class SourceState,class TargetState>
  3677. typename ::boost::enable_if<
  3678. typename ::boost::mpl::has_key<
  3679. typename Container::tag_type,action_tag>::type,
  3680. typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type
  3681. operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  3682. {
  3683. return (Container()(evt,fsm,src,tgt)).c_str();
  3684. }
  3685. template <class Event,class FSM,class STATE>
  3686. typename ::boost::enable_if<
  3687. typename ::boost::mpl::has_key<
  3688. typename Container::tag_type,state_action_tag>::type,
  3689. typename state_action_result<Event,FSM,STATE>::type >::type
  3690. operator()(Event const& evt,FSM& fsm,STATE& state )const
  3691. {
  3692. return (Container()(evt,fsm,state)).c_str();
  3693. }
  3694. };
  3695. struct c_str_tag {};
  3696. struct CStr_Helper: proto::extends< proto::terminal<c_str_tag>::type, CStr_Helper, boost::msm::sm_domain>
  3697. {
  3698. CStr_Helper(){}
  3699. template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5
  3700. #ifdef BOOST_MSVC
  3701. ,class Arg6
  3702. #endif
  3703. >
  3704. struct In
  3705. {
  3706. typedef CStr_<Arg1> type;
  3707. };
  3708. };
  3709. CStr_Helper const c_str_;
  3710. template <class Container>
  3711. struct StringData_ : euml_action<StringData_<Container> >
  3712. {
  3713. template <class Event,class FSM,class STATE >
  3714. struct state_action_result
  3715. {
  3716. typedef typename ::boost::add_const<
  3717. typename get_value_type<
  3718. typename ::boost::remove_reference<
  3719. typename get_result_type2<Container,Event,FSM,STATE>::type>::type>::type>::type* type;
  3720. };
  3721. template <class EVT,class FSM,class SourceState,class TargetState>
  3722. struct transition_action_result
  3723. {
  3724. typedef typename ::boost::add_const<
  3725. typename get_value_type<
  3726. typename ::boost::remove_reference<
  3727. typename get_result_type<Container,EVT,FSM,SourceState,TargetState>::type>::type>::type>::type* type;
  3728. };
  3729. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  3730. template <class EVT,class FSM,class SourceState,class TargetState>
  3731. typename ::boost::enable_if<
  3732. typename ::boost::mpl::has_key<
  3733. typename Container::tag_type,action_tag>::type,
  3734. typename transition_action_result<EVT,FSM,SourceState,TargetState>::type >::type
  3735. operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  3736. {
  3737. return (Container()(evt,fsm,src,tgt)).data();
  3738. }
  3739. template <class Event,class FSM,class STATE>
  3740. typename ::boost::enable_if<
  3741. typename ::boost::mpl::has_key<
  3742. typename Container::tag_type,state_action_tag>::type,
  3743. typename state_action_result<Event,FSM,STATE>::type >::type
  3744. operator()(Event const& evt,FSM& fsm,STATE& state )const
  3745. {
  3746. return (Container()(evt,fsm,state)).data();
  3747. }
  3748. };
  3749. struct string_data_tag {};
  3750. struct StringData_Helper: proto::extends< proto::terminal<string_data_tag>::type, StringData_Helper, boost::msm::sm_domain>
  3751. {
  3752. StringData_Helper(){}
  3753. template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5
  3754. #ifdef BOOST_MSVC
  3755. ,class Arg6
  3756. #endif
  3757. >
  3758. struct In
  3759. {
  3760. typedef StringData_<Arg1> type;
  3761. };
  3762. };
  3763. StringData_Helper const string_data_;
  3764. template <class Container, class Param1, class Param2, class Param3, class Enable=void >
  3765. struct StringCopy_ : euml_action<StringCopy_<Container,Param1,Param2,Param3,Enable> >
  3766. {
  3767. };
  3768. template <class Container,class Param1, class Param2, class Param3>
  3769. struct StringCopy_<
  3770. Container,Param1,Param2,Param3,
  3771. typename ::boost::enable_if<
  3772. typename ::boost::is_same<Param3,void>::type
  3773. >::type
  3774. >
  3775. : euml_action<StringCopy_<Container,Param1,Param2,Param3> >
  3776. {
  3777. template <class Event,class FSM,class STATE >
  3778. struct state_action_result
  3779. {
  3780. typedef typename get_size_type<
  3781. typename ::boost::remove_reference<
  3782. typename get_result_type2<Container,Event,FSM,STATE>::type>::type>::type type;
  3783. };
  3784. template <class EVT,class FSM,class SourceState,class TargetState>
  3785. struct transition_action_result
  3786. {
  3787. typedef typename get_size_type<
  3788. typename ::boost::remove_reference<
  3789. typename get_result_type<Container,EVT,FSM,SourceState,TargetState>::type>::type>::type type;
  3790. };
  3791. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  3792. template <class EVT,class FSM,class SourceState,class TargetState>
  3793. typename transition_action_result<EVT,FSM,SourceState,TargetState>::type
  3794. operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  3795. {
  3796. return (Container()(evt,fsm,src,tgt)).copy(Param1()(evt,fsm,src,tgt),Param2()(evt,fsm,src,tgt));
  3797. }
  3798. template <class Event,class FSM,class STATE>
  3799. typename state_action_result<Event,FSM,STATE>::type
  3800. operator()(Event const& evt,FSM& fsm,STATE& state )const
  3801. {
  3802. return (Container()(evt,fsm,state)).copy(Param1()(evt,fsm,state),Param2()(evt,fsm,state));
  3803. }
  3804. };
  3805. template <class Container,class Param1, class Param2, class Param3>
  3806. struct StringCopy_<
  3807. Container,Param1,Param2,Param3,
  3808. typename ::boost::disable_if<
  3809. typename ::boost::is_same<Param3,void>::type
  3810. >::type
  3811. >
  3812. : euml_action<StringCopy_<Container,Param1,Param2,Param3> >
  3813. {
  3814. template <class Event,class FSM,class STATE >
  3815. struct state_action_result
  3816. {
  3817. typedef typename get_size_type<
  3818. typename ::boost::remove_reference<
  3819. typename get_result_type2<Container,Event,FSM,STATE>::type>::type>::type type;
  3820. };
  3821. template <class EVT,class FSM,class SourceState,class TargetState>
  3822. struct transition_action_result
  3823. {
  3824. typedef typename get_size_type<
  3825. typename ::boost::remove_reference<
  3826. typename get_result_type<Container,EVT,FSM,SourceState,TargetState>::type>::type>::type type;
  3827. };
  3828. typedef ::boost::fusion::set<state_action_tag,action_tag> tag_type;
  3829. template <class EVT,class FSM,class SourceState,class TargetState>
  3830. typename transition_action_result<EVT,FSM,SourceState,TargetState>::type
  3831. operator()(EVT const& evt, FSM& fsm,SourceState& src,TargetState& tgt)const
  3832. {
  3833. return (Container()(evt,fsm,src,tgt)).
  3834. copy(Param1()(evt,fsm,src,tgt),Param2()(evt,fsm,src,tgt),Param3()(evt,fsm,src,tgt));
  3835. }
  3836. template <class Event,class FSM,class STATE>
  3837. typename state_action_result<Event,FSM,STATE>::type
  3838. operator()(Event const& evt,FSM& fsm,STATE& state )const
  3839. {
  3840. return (Container()(evt,fsm,state)).
  3841. copy(Param1()(evt,fsm,state),Param2()(evt,fsm,state),Param3()(evt,fsm,state));
  3842. }
  3843. };
  3844. struct string_copy_tag {};
  3845. struct StringCopy_Helper: proto::extends< proto::terminal<string_copy_tag>::type, StringCopy_Helper, boost::msm::sm_domain>
  3846. {
  3847. StringCopy_Helper(){}
  3848. template <class Arg1,class Arg2,class Arg3,class Arg4,class Arg5
  3849. #ifdef BOOST_MSVC
  3850. ,class Arg6
  3851. #endif
  3852. >
  3853. struct In
  3854. {
  3855. typedef StringCopy_<Arg1,Arg2,Arg3,Arg4> type;
  3856. };
  3857. };
  3858. StringCopy_Helper const string_copy_;
  3859. }}}}
  3860. #endif //BOOST_MSM_FRONT_EUML_CONTAINER_H