QP::QState Philo::hungry(Philo * const me, QP::QEvt const * const e) { QP::QState status_; switch (e->sig) { // @(/3/0/2/2/0) case EAT_SIG: { // @(/3/0/2/2/0/0) if (Q_EVT_CAST(TableEvt)->philoNum == PHILO_ID(me)) { static QP::QActionHandler const act_[] = { Q_ACTION_CAST(&Philo::eating_e), Q_ACTION_CAST(0) }; status_ = QM_TRAN(&eating_s, act_); } else { status_ = QM_UNHANDLED(); } break; } // @(/3/0/2/2/1) case DONE_SIG: { /* DONE must be for other Philos than this one */ Q_ASSERT(Q_EVT_CAST(TableEvt)->philoNum != PHILO_ID(me)); status_ = QM_HANDLED(); break; } default: { status_ = QM_SUPER(); break; } } return status_; }
static QState QMsmTst_s11(QMsmTst * const me, QEvt const * const e) { QState status_; switch (e->sig) { /* @(/1/0/1/1/4/7/0) */ case H_SIG: { static QActionHandler const act_[] = { Q_ACTION_CAST(&QMsmTst_s11_x), Q_ACTION_CAST(&QMsmTst_s1_x), Q_ACTION_CAST(&QMsmTst_s_i), Q_ACTION_CAST(0) }; BSP_display("s11-H;"); status_ = QM_TRAN(&QMsmTst_s_s, &act_[0]); break; } /* @(/1/0/1/1/4/7/1) */ case D_SIG: { /* @(/1/0/1/1/4/7/1/0) */ if (me->foo) { static QActionHandler const act_[] = { Q_ACTION_CAST(&QMsmTst_s11_x), Q_ACTION_CAST(&QMsmTst_s1_i), Q_ACTION_CAST(0) }; me->foo = 0U; BSP_display("s11-D;"); status_ = QM_TRAN(&QMsmTst_s1_s, &act_[0]); } else { status_ = QM_UNHANDLED(); } break; } /* @(/1/0/1/1/4/7/2) */ case G_SIG: { static QActionHandler const act_[] = { Q_ACTION_CAST(&QMsmTst_s11_x), Q_ACTION_CAST(&QMsmTst_s1_x), Q_ACTION_CAST(&QMsmTst_s2_e), Q_ACTION_CAST(&QMsmTst_s21_e), Q_ACTION_CAST(&QMsmTst_s211_e), Q_ACTION_CAST(0) }; BSP_display("s11-G;"); status_ = QM_TRAN(&QMsmTst_s211_s, &act_[0]); break; } default: { status_ = QM_SUPER(); break; } } return status_; }
static QState QMsmTst_s2(QMsmTst * const me, QEvt const * const e) { QState status_; switch (e->sig) { /* @(/1/0/1/1/5/1) */ case I_SIG: { /* @(/1/0/1/1/5/1/0) */ if (!me->foo) { me->foo = 1U; BSP_display("s2-I;"); status_ = QM_HANDLED(); } else { status_ = QM_UNHANDLED(); } break; } /* @(/1/0/1/1/5/2) */ case F_SIG: { static QActionHandler const act_[] = { Q_ACTION_CAST(&QMsmTst_s2_x), Q_ACTION_CAST(&QMsmTst_s1_e), Q_ACTION_CAST(&QMsmTst_s11_e), Q_ACTION_CAST(0) }; BSP_display("s2-F;"); status_ = QM_TRAN(&QMsmTst_s11_s, &act_[0]); break; } /* @(/1/0/1/1/5/3) */ case C_SIG: { static QActionHandler const act_[] = { Q_ACTION_CAST(&QMsmTst_s2_x), Q_ACTION_CAST(&QMsmTst_s1_e), Q_ACTION_CAST(&QMsmTst_s1_i), Q_ACTION_CAST(0) }; BSP_display("s2-C;"); status_ = QM_TRAN(&QMsmTst_s1_s, &act_[0]); break; } default: { status_ = QM_SUPER(); break; } } return status_; }
static QState QMsmTst_s(QMsmTst * const me, QEvt const * const e) { QState status_; switch (e->sig) { /* @(/1/0/1/1/1) */ case I_SIG: { /* @(/1/0/1/1/1/0) */ if (me->foo) { me->foo = 0U; BSP_display("s-I;"); status_ = QM_HANDLED(); } else { status_ = QM_UNHANDLED(); } break; } /* @(/1/0/1/1/2) */ case E_SIG: { static QActionHandler const act_[] = { Q_ACTION_CAST(&QMsmTst_s1_e), Q_ACTION_CAST(&QMsmTst_s11_e), Q_ACTION_CAST(0) }; BSP_display("s-E;"); status_ = QM_TRAN(&QMsmTst_s11_s, &act_[0]); break; } /* @(/1/0/1/1/3) */ case TERMINATE_SIG: { BSP_exit(); status_ = QM_HANDLED(); break; } default: { status_ = QM_SUPER(); break; } } return status_; }
/* ${AOs::Philo::SM::hungry} */ static QState Philo_hungry(Philo * const me, QEvt const * const e) { QState status_; switch (e->sig) { /* ${AOs::Philo::SM::hungry::EAT} */ case EAT_SIG: { /* ${AOs::Philo::SM::hungry::EAT::[Q_EVT_CAST(Tabl~} */ if (Q_EVT_CAST(TableEvt)->philoNum == PHILO_ID(me)) { static struct { QMState const *target; QActionHandler act[2]; } const tatbl_ = { /* transition-action table */ &Philo_eating_s, /* target state */ { Q_ACTION_CAST(&Philo_eating_e), /* entry */ Q_ACTION_CAST(0) /* zero terminator */ } }; status_ = QM_TRAN(&tatbl_); } else { status_ = QM_UNHANDLED(); } break; } /* ${AOs::Philo::SM::hungry::DONE} */ case DONE_SIG: { /* DONE must be for other Philos than this one */ Q_ASSERT(Q_EVT_CAST(TableEvt)->philoNum != PHILO_ID(me)); status_ = QM_HANDLED(); break; } default: { status_ = QM_SUPER(); break; } } return status_; }
/* @(/2/4/3/2/1) ...........................................................*/ static QState Mine2_planted(Mine2 * const me, QEvt const * const e) { QState status_; switch (e->sig) { /* @(/2/4/3/2/1/0) */ case TIME_TICK_SIG: { /* @(/2/4/3/2/1/0/0) */ if (me->x >= GAME_SPEED_X) { ObjectImageEvt *oie; me->x -= GAME_SPEED_X; /* move the mine 1 step */ /* tell the Tunnel to draw the Mine */ oie = Q_NEW(ObjectImageEvt, MINE_IMG_SIG); oie->x = me->x; oie->y = me->y; oie->bmp = MINE2_BMP; QACTIVE_POST(AO_Tunnel, (QEvt *)oie, me); status_ = QM_HANDLED(); } /* @(/2/4/3/2/1/0/1) */ else { static QActionHandler const act_[] = { Q_ACTION_CAST(&Mine2_used_x), Q_ACTION_CAST(0) }; status_ = QM_TRAN(&Mine2_unused_s, &act_[0]); } break; } /* @(/2/4/3/2/1/1) */ case SHIP_IMG_SIG: { uint8_t x = Q_EVT_CAST(ObjectImageEvt)->x; uint8_t y = Q_EVT_CAST(ObjectImageEvt)->y; uint8_t bmp = Q_EVT_CAST(ObjectImageEvt)->bmp; /* @(/2/4/3/2/1/1/0) */ if (do_bitmaps_overlap(MINE2_BMP, me->x, me->y, bmp, x, y)) { static QActionHandler const act_[] = { Q_ACTION_CAST(&Mine2_used_x), Q_ACTION_CAST(0) }; static MineEvt const mine1_hit = { { HIT_MINE_SIG, 0U, 0U }, /* the QEvt base instance */ 2U /* type of the mine (2 for Mine type-2) */ }; QACTIVE_POST(AO_Ship, (QEvt *)&mine1_hit, me); /* go straight to 'disabled' and let the Ship do * the exploding */ status_ = QM_TRAN(&Mine2_unused_s, &act_[0]); } else { status_ = QM_UNHANDLED(); } break; } /* @(/2/4/3/2/1/2) */ case MISSILE_IMG_SIG: { uint8_t x = Q_EVT_CAST(ObjectImageEvt)->x; uint8_t y = Q_EVT_CAST(ObjectImageEvt)->y; uint8_t bmp = Q_EVT_CAST(ObjectImageEvt)->bmp; /* @(/2/4/3/2/1/2/0) */ if (do_bitmaps_overlap(MINE2_MISSILE_BMP, me->x, me->y, bmp, x, y)) { static QActionHandler const act_[] = { Q_ACTION_CAST(&Mine2_exploding_e), Q_ACTION_CAST(0) }; /* NOTE: Mine type-2 is nastier than Mine type-1. * The type-2 mine can hit the Ship with any of its * "tentacles". However, it can be destroyed by the * Missile only by hitting its center, defined as * a smaller bitmap MINE2_MISSILE_BMP. */ static ScoreEvt const mine2_destroyed = { { DESTROYED_MINE_SIG, 0U, 0U }, /* the QEvt base instance */ 45U /* score for destroying Mine type-2 */ }; QACTIVE_POST(AO_Missile, (QEvt *)&mine2_destroyed, me); status_ = QM_TRAN(&Mine2_exploding_s, &act_[0]); } else { status_ = QM_UNHANDLED(); } break; } default: { status_ = QM_SUPER(); break; } } return status_; }
static QState QMsmTst_s1(QMsmTst * const me, QEvt const * const e) { QState status_; switch (e->sig) { /* @(/1/0/1/1/4/1) */ case I_SIG: { BSP_display("s1-I;"); status_ = QM_HANDLED(); break; } /* @(/1/0/1/1/4/2) */ case D_SIG: { /* @(/1/0/1/1/4/2/0) */ if (!me->foo) { static QActionHandler const act_[] = { Q_ACTION_CAST(&QMsmTst_s1_x), Q_ACTION_CAST(&QMsmTst_s_i), Q_ACTION_CAST(0) }; me->foo = 1U; BSP_display("s1-D;"); status_ = QM_TRAN(&QMsmTst_s_s, &act_[0]); } else { status_ = QM_UNHANDLED(); } break; } /* @(/1/0/1/1/4/3) */ case A_SIG: { static QActionHandler const act_[] = { Q_ACTION_CAST(&QMsmTst_s1_x), Q_ACTION_CAST(&QMsmTst_s1_e), Q_ACTION_CAST(&QMsmTst_s1_i), Q_ACTION_CAST(0) }; BSP_display("s1-A;"); status_ = QM_TRAN(&QMsmTst_s1_s, &act_[0]); break; } /* @(/1/0/1/1/4/4) */ case B_SIG: { static QActionHandler const act_[] = { Q_ACTION_CAST(&QMsmTst_s11_e), Q_ACTION_CAST(0) }; BSP_display("s1-B;"); status_ = QM_TRAN(&QMsmTst_s11_s, &act_[0]); break; } /* @(/1/0/1/1/4/5) */ case F_SIG: { static QActionHandler const act_[] = { Q_ACTION_CAST(&QMsmTst_s1_x), Q_ACTION_CAST(&QMsmTst_s2_e), Q_ACTION_CAST(&QMsmTst_s21_e), Q_ACTION_CAST(&QMsmTst_s211_e), Q_ACTION_CAST(0) }; BSP_display("s1-F;"); status_ = QM_TRAN(&QMsmTst_s211_s, &act_[0]); break; } /* @(/1/0/1/1/4/6) */ case C_SIG: { static QActionHandler const act_[] = { Q_ACTION_CAST(&QMsmTst_s1_x), Q_ACTION_CAST(&QMsmTst_s2_e), Q_ACTION_CAST(&QMsmTst_s2_i), Q_ACTION_CAST(0) }; BSP_display("s1-C;"); status_ = QM_TRAN(&QMsmTst_s2_s, &act_[0]); break; } default: { status_ = QM_SUPER(); break; } } return status_; }
/* ${AOs::Mine2::SM::used::planted} */ static QState Mine2_planted(Mine2 * const me, QEvt const * const e) { QState status_; switch (e->sig) { /* ${AOs::Mine2::SM::used::planted::TIME_TICK} */ case TIME_TICK_SIG: { /* ${AOs::Mine2::SM::used::planted::TIME_TICK::[me->x>=GAME_S~]} */ if (me->x >= GAME_SPEED_X) { ObjectImageEvt *oie; me->x -= GAME_SPEED_X; /* move the mine 1 step */ /* tell the Tunnel to draw the Mine */ oie = Q_NEW(ObjectImageEvt, MINE_IMG_SIG); oie->x = me->x; oie->y = me->y; oie->bmp = MINE2_BMP; QACTIVE_POST(AO_Tunnel, (QEvt *)oie, me); status_ = QM_HANDLED(); } /* ${AOs::Mine2::SM::used::planted::TIME_TICK::[else]} */ else { static struct { QMState const *target; QActionHandler act[2]; } const tatbl_ = { /* transition-action table */ &Mine2_unused_s, /* target state */ { Q_ACTION_CAST(&Mine2_used_x), /* exit */ Q_ACTION_CAST(0) /* zero terminator */ } }; status_ = QM_TRAN(&tatbl_); } break; } /* ${AOs::Mine2::SM::used::planted::SHIP_IMG} */ case SHIP_IMG_SIG: { uint8_t x = Q_EVT_CAST(ObjectImageEvt)->x; uint8_t y = Q_EVT_CAST(ObjectImageEvt)->y; uint8_t bmp = Q_EVT_CAST(ObjectImageEvt)->bmp; /* ${AOs::Mine2::SM::used::planted::SHIP_IMG::[collisionwith~]} */ if (do_bitmaps_overlap(MINE2_BMP, me->x, me->y, bmp, x, y)) { static struct { QMState const *target; QActionHandler act[2]; } const tatbl_ = { /* transition-action table */ &Mine2_unused_s, /* target state */ { Q_ACTION_CAST(&Mine2_used_x), /* exit */ Q_ACTION_CAST(0) /* zero terminator */ } }; static MineEvt const mine1_hit = { { HIT_MINE_SIG, 0U, 0U }, /* the QEvt base instance */ 2U /* type of the mine (2 for Mine type-2) */ }; QACTIVE_POST(AO_Ship, (QEvt *)&mine1_hit, me); /* go straight to 'disabled' and let the Ship do * the exploding */ status_ = QM_TRAN(&tatbl_); } else { status_ = QM_UNHANDLED(); } break; } /* ${AOs::Mine2::SM::used::planted::MISSILE_IMG} */ case MISSILE_IMG_SIG: { uint8_t x = Q_EVT_CAST(ObjectImageEvt)->x; uint8_t y = Q_EVT_CAST(ObjectImageEvt)->y; uint8_t bmp = Q_EVT_CAST(ObjectImageEvt)->bmp; /* ${AOs::Mine2::SM::used::planted::MISSILE_IMG::[collisionwith~]} */ if (do_bitmaps_overlap(MINE2_MISSILE_BMP, me->x, me->y, bmp, x, y)) { static struct { QMState const *target; QActionHandler act[2]; } const tatbl_ = { /* transition-action table */ &Mine2_exploding_s, /* target state */ { Q_ACTION_CAST(&Mine2_exploding_e), /* entry */ Q_ACTION_CAST(0) /* zero terminator */ } }; /* NOTE: Mine type-2 is nastier than Mine type-1. * The type-2 mine can hit the Ship with any of its * "tentacles". However, it can be destroyed by the * Missile only by hitting its center, defined as * a smaller bitmap MINE2_MISSILE_BMP. */ static ScoreEvt const mine2_destroyed = { { DESTROYED_MINE_SIG, 0U, 0U }, /* the QEvt base instance */ 45U /* score for destroying Mine type-2 */ }; QACTIVE_POST(AO_Missile, (QEvt *)&mine2_destroyed, me); status_ = QM_TRAN(&tatbl_); } else { status_ = QM_UNHANDLED(); } break; } default: { status_ = QM_SUPER(); break; } } return status_; }