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_;
}
