6. Declaring the actions

Prev: Defining the state machine's objects
Next: Include files

All init, entry, exit, and transition actions of my state machine are implemented in "myact.c" file and declaring in "myact.h" file. These files also includes transition guard and branch selection functions.

• Initial action of "my" state machine
• Effect actions of "my" state machine
• Entry actions of "my" state machine
• Exit actions of "my" state machine
• Transition guard functions of "my" state machine
• Branch selection functions of "my" state machine

---

Initial action of "my" state machine

void
my_init(const RKH_SMA_T *me)
{
    MySm *realMe = ((MySm *)(me));
 
    RKH_TR_FWK_OBJ(&S1);
    RKH_TR_FWK_OBJ(my);
    RKH_TR_FWK_OBJ(&my->equeue);
    RKH_TR_FWK_OBJ(&S1);
    RKH_TR_FWK_OBJ(&S11);
    RKH_TR_FWK_OBJ(&S111);
    RKH_TR_FWK_OBJ(&S112);
    RKH_TR_FWK_OBJ(&S12);
    RKH_TR_FWK_OBJ(&S2);
    RKH_TR_FWK_OBJ(&S3);
    RKH_TR_FWK_OBJ(&S31);
    RKH_TR_FWK_OBJ(&S32);
    RKH_TR_FWK_OBJ(&C1);
    RKH_TR_FWK_OBJ(&C2);
    RKH_TR_FWK_OBJ(&CH);
    RKH_TR_FWK_OBJ(&DH);
    RKH_TR_FWK_OBJ(&H);
 
    RKH_TR_FWK_SIG(ZERO);
    RKH_TR_FWK_SIG(ONE);
    RKH_TR_FWK_SIG(TWO);
    RKH_TR_FWK_SIG(THREE);
    RKH_TR_FWK_SIG(FOUR);
    RKH_TR_FWK_SIG(FIVE);
    RKH_TR_FWK_SIG(SIX);
    RKH_TR_FWK_SIG(TERM);
 
    realMe->x = realMe->y = 0;
}

---

Effect actions of "my" state machine

void
set_x1(const RKH_SMA_T *me, RKH_EVT_T *pe)
{
    (void)pe;
    ((MySm *)(me))->x = 1;
}
 
void
set_y_2(const RKH_SMA_T *me, RKH_EVT_T *pe)
{
    (void)pe;
    ((MySm *)(me))->y = 2;
}
 
void
set_y_1(const RKH_SMA_T *me, RKH_EVT_T *pe)
{
    (void)pe;
    ((MySm *)(me))->y = 1;
}
 
void
dummy_act(const RKH_SMA_T *me, RKH_EVT_T *pe)
{
    (void)me;
    (void)pe;
}
 
void
show_data(const RKH_SMA_T *me, RKH_EVT_T *pe)
{
    (void)me;
    (void)pe;
}
 
void
terminate(const RKH_SMA_T *me, RKH_EVT_T *pe)
{
    (void)me;
    (void)pe;
    rkh_fwk_exit();
}

---

Entry actions of "my" state machine

void
set_x_1(const RKH_SMA_T *me)
{
    ((MySm *)(me))->x = 1;
}
 
void
set_x_2(const RKH_SMA_T *me)
{
    ((MySm *)(me))->x = 2;
}
 
void
set_x_3(const RKH_SMA_T *me)
{
    ((MySm *)(me))->x = 3;
}
 
void
set_y_0(const RKH_SMA_T *me)
{
    ((MySm *)(me))->y = 0;
}

---

Exit actions of "my" state machine

void
dummy_exit(const RKH_SMA_T *me)
{
    (void)me;
}

---

Transition guard functions of "my" state machine

---

Branch selection functions of "my" state machine

rbool_t
y_0(const RKH_SMA_T *me, RKH_EVT_T *pe)
{
    (void)pe;
    return ((MySm *)(me))->y == 0 ? RKH_GTRUE : RKH_GFALSE;
}
 
rbool_t
y_1(const RKH_SMA_T *me, RKH_EVT_T *pe)
{
    (void)pe;
    return ((MySm *)(me))->y == 1 ? RKH_GTRUE : RKH_GFALSE;
}
 
rbool_t
y_2(const RKH_SMA_T *me, RKH_EVT_T *pe)
{
    (void)pe;
    return ((MySm *)(me))->y == 2 ? RKH_GTRUE : RKH_GFALSE;
}
 
rbool_t
x1(const RKH_SMA_T *me, RKH_EVT_T *pe)
{
    (void)pe;
    return ((MySm *)(me))->x == 1 ? RKH_GTRUE : RKH_GFALSE;
}
 
rbool_t
x2_or_x3(const RKH_SMA_T *me, RKH_EVT_T *pe)
{
    (void)pe;
    return (((MySm *)(me))->x == 2 || ((MySm *)(me))->x == 3) ? 
           RKH_GTRUE : RKH_GFALSE;
}

Prev: Defining the state machine's objects
Next: Include files