+#include "fsm/scd_sts_time_ack.h"
+
+#include "scd_logging.h"
+#include "scd_exception.h"
+#include "scd_cont_man_slave.h"
+
+
+void scd_sts_time_ack::recv_time_req()
+{
+ scd_warn("received time request in wrong state");
+}
+
+
+void scd_sts_time_ack::recv_time_nack()
+{
+ _fsm.load_state();
+}
+
+
+void scd_sts_time_ack::recv_time(const sc_core::sc_time& time)
+{
+ static_cast<scd_sts_time&>(_st_time).set_time_step(time);
+ _fsm.set_state(_st_time);
+}
+
+
+void scd_sts_time_ack::recv_term_req()
+{
+ scd_warn("received terminate request in wrong state");
+}
+
+
+void scd_sts_time_ack::set_busy()
+{
+ scd_warn("received channel data while synchronizing to terminate");
+}