boost::statechart::state< Initial, RecoveryMachine >, NamedState {
typedef boost::mpl::list <
boost::statechart::transition< Initialize, Started >,
- boost::statechart::transition< MNotifyRec, Crashed >,
- boost::statechart::transition< MInfoRec, Crashed >,
- boost::statechart::transition< MLogRec, Crashed >,
- boost::statechart::transition< MQuery, Crashed >,
- boost::statechart::transition< Activate, Crashed >,
- boost::statechart::transition< AdvMap, Crashed >,
- boost::statechart::transition< ActMap, Crashed >
+ boost::statechart::transition< boost::statechart::event_base, Crashed >
> reactions;
Initial(my_context ctx);
};
typedef boost::mpl::list <
boost::statechart::custom_reaction< AdvMap >,
boost::statechart::custom_reaction< ActMap >,
- boost::statechart::transition< MNotifyRec, Crashed >,
- boost::statechart::transition< MInfoRec, Crashed >,
- boost::statechart::transition< MLogRec, Crashed >,
- boost::statechart::transition< MQuery, Crashed >,
- boost::statechart::transition< Initialize, Crashed >,
- boost::statechart::transition< Activate, Crashed >
+ boost::statechart::transition< boost::statechart::event_base, Crashed >
> reactions;
boost::statechart::result react(const AdvMap&);
boost::statechart::result react(const ActMap&);
boost::statechart::state< Started, RecoveryMachine, Start >, NamedState {
typedef boost::mpl::list <
boost::statechart::custom_reaction< AdvMap >,
- boost::statechart::transition< ActMap, Crashed >,
- boost::statechart::transition< MNotifyRec, Crashed >,
- boost::statechart::transition< MInfoRec, Crashed >,
- boost::statechart::transition< MLogRec, Crashed >,
- boost::statechart::transition< MQuery, Crashed >,
- boost::statechart::transition< Initialize, Crashed >,
- boost::statechart::transition< Activate, Crashed >
+ boost::statechart::transition< boost::statechart::event_base, Crashed >
> reactions;
boost::statechart::result react(const AdvMap&);
Started(my_context ctx);
struct ReplicaActive : boost::statechart::state< ReplicaActive, Started >, NamedState {
typedef boost::mpl::list <
- boost::statechart::transition< MQuery, Crashed >,
boost::statechart::custom_reaction< ActMap >,
boost::statechart::custom_reaction< MInfoRec >
> reactions;
set<int> peer_info_requested;
typedef boost::mpl::list <
boost::statechart::transition< GotInfo, GetLog >,
- boost::statechart::custom_reaction< MNotifyRec >,
- boost::statechart::transition< MLogRec, Crashed >,
- boost::statechart::transition< BacklogComplete, Crashed >
+ boost::statechart::custom_reaction< MNotifyRec >
> reactions;
GetInfo(my_context ctx);