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

   1 #include "fsm/scd_sts_time_ack.h"
   2
   3 #include "scd_logging.h"
   4 #include "scd_exception.h"
   5 #include "scd_cont_man_slave.h"
   6
   7
   8 void scd_sts_time_ack::recv_time_req()
   9 {
  10     scd_warn("received time request in wrong state");
  11 }
  12
  13
  14 void scd_sts_time_ack::recv_time_nack()
  15 {
  16     _fsm.load_state();
  17 }
  18
  19
  20 void scd_sts_time_ack::recv_time(const sc_core::sc_time& time)
  21 {
  22     static_cast<scd_sts_time&>(_st_time).set_time_step(time);
  23     _fsm.set_state(_st_time);
  24 }
  25
  26
  27 void scd_sts_time_ack::recv_term_req()
  28 {
  29     scd_warn("received terminate request in wrong state");
  30 }
  31
  32
  33 void scd_sts_time_ack::set_busy()
  34 {
  35     scd_warn("received channel data while synchronizing to terminate");
  36 }