b0d22b1ee32d056cc37d0d95daa5ac716fc0d21f
[jump.git] / dol / src / dol / visitor / hdsd / scd / fsm / scd_stsw_terminated.h
1 #ifndef SCD_STSW_TERMINATED_H
2 #define SCD_STSW_TERMINATED_H
3
4 #include "fsm/scd_stsw_base.h"
5
6
7 /* forward declaration */
8 class scd_cont_slave_wrapper;
9
10
11 class scd_stsw_terminated : public scd_stsw_base
12 {
13 public:
14     scd_stsw_terminated(scd_simulator& sim, scd_cont_slave_wrapper& fsm):
15         scd_stsw_base(sim, fsm) { _name = "terminated"; }
16     virtual ~scd_stsw_terminated() {}
17
18     void set_failed();
19
20     /* scd_cont_fsm_if */
21     void set_fail();
22     bool active() const;
23 };
24
25 #endif