dol/src/dol/visitor/hdsd/scd/fsm/scd_stm_fail.cpp

   1 #include "fsm/scd_stm_fail.h"
   2
   3 #include "scd_logging.h"
   4 #include "scd_exception.h"
   5 #include "scd_cont_man_master.h"
   6
   7
   8 void scd_stm_fail::process()
   9 {
  10     if (!_some_slaves_active())
  11     {
  12         // all slaves have terminated
  13         _sim.get_chan_man().close();
  14         _close_slaves();
  15         _fsm.set_state(_st_failed);
  16     }
  17 }