#include <boost/mpl/vector.hpp>
#include <boost/fsm/state_machine.hpp>
#include <boost/fsm/event.hpp>

namespace mpl = boost::mpl;
namespace fsm = boost::fsm;

struct Attached;
struct Powered;
struct Default;
struct Address;
struct Configured;

typedef mpl::vector<Attached, Powered, Default, Address, Configured>::type StateList;

struct PowerOn;
struct PowerOff;
struct Reset;
struct SetAddress;
struct SetConfiguration;


struct Common {
  int addr;
  int configuration;

  Common() : addr(0), configuration(0) {}
};

template<typename StateT>
struct UsbState: fsm::state<StateT, StateList>, virtual Common {
  void on_process(fsm::event<PowerOff> const&) {
    this->switch_to<Attached>();
  }
  void on_process(fsm::event<Reset> const&) {
    this->switch_to<Default>();
  }
};

struct Attached: fsm::state<Attached,StateList>, virtual Common {
  void on_process(fsm::event<PowerOn> const&) {
    switch_to<Powered>();
  }
};

struct Powered: UsbState<Powered> {
};

struct Default: UsbState<Default> {
  using UsbState<Default>::on_process;
  void on_process(fsm::event<SetAddress, int> const& set_address) {
    addr = set_address.get<0>();
    if (addr != 0) {
      switch_to<Address>();
    }
  }
};

struct Address: UsbState<Address> {
  using UsbState<Address>::on_process;
  void on_process(fsm::event<SetAddress, int> const& set_address) {
    addr = set_address.get<0>();
    if (addr == 0) {
      switch_to<Default>();
    }
  }
  void on_process(fsm::event<SetConfiguration, int> const& set_configuration) {
    configuration = set_configuration.get<0>();
    if (configuration != 0) {
      switch_to<Configured>();
    }
  }
};

struct Configured: UsbState<Configured> {
  using UsbState<Configured>::on_process;
  void on_process(fsm::event<SetConfiguration, int> const& set_configuration) {
    configuration = set_configuration.get<0>();
    if (configuration == 0) {
      switch_to<Address>();
    }
  }
};

int main(int, char*[])
{
  fsm::state_machine<StateList> machine;
  machine.process(fsm::make_event<PowerOn>());
  machine.process(fsm::make_event<Reset>());
  machine.process(fsm::make_event<SetAddress>(5));
  machine.process(fsm::make_event<SetConfiguration>(10));
  return 0;
}