QP::QState Mine1::used_x(Mine1 * const me) {
// tell the Tunnel that this mine is becoming disabled
MineEvt *mev = Q_NEW(MineEvt, MINE_DISABLED_SIG);
mev->id = MINE_ID(me);
AO_Tunnel->POST(mev, me);
return QM_EXIT(&used_s);
}
/* @(/2/4/3/2) .............................................................*/
static QState Mine2_used_x(Mine2 * const me) {
/* tell the Tunnel that this mine is becoming disabled */
MineEvt *mev = Q_NEW(MineEvt, MINE_DISABLED_SIG);
mev->id = MINE_ID(me);
QACTIVE_POST(AO_Tunnel, (QEvt *)mev, me);
return QM_EXIT(&Mine2_used_s);
}
static QState Philo_eating_x(Philo * const me) {
QACTIVE_POST((QActive *)&AO_Table, DONE_SIG, me->super.prio);
return QM_EXIT(&Philo_eating_s);
}
/* @(/1/0/1/1/2) ...........................................................*/
static QState Pelican_carsEnabled_x(Pelican * const me) {
BSP_signalCars(CARS_RED);
return QM_EXIT(&Pelican_carsEnabled_s);
}
/* @(/1/0/1/1/3) ...........................................................*/
static QState Pelican_pedsEnabled_x(Pelican * const me) {
BSP_signalPeds(PEDS_DONT_WALK);
return QM_EXIT(&Pelican_pedsEnabled_s);
}
QP::QState Philo::eating_x(Philo * const me) {
QP::QF::PUBLISH(Q_NEW(TableEvt, DONE_SIG, PHILO_ID(me)), me);
(void)me->m_timeEvt.disarm();
return QM_EXIT(&eating_s);
}
/* ${AOs::Philo::SM::eating} */
static QState Philo_eating_x(Philo * const me) {
TableEvt *pe = Q_NEW(TableEvt, DONE_SIG);
pe->philoNum = PHILO_ID(me);
QF_PUBLISH(&pe->super, me);
return QM_EXIT(&Philo_eating_s);
}
QP::QState Philo::thinking_x(Philo * const me) {
(void)me->m_timeEvt.disarm();
return QM_EXIT(&thinking_s);
}
static QState QMsmTst_s211_x(QMsmTst * const me) {
BSP_display("s211-EXIT;");
return QM_EXIT(&QMsmTst_s211_s);
}
/* ${SMs::Calc::SM::on::negated2} */
static QState Calc_negated2_x(Calc * const me) {
BSP_message("negated2-EXIT;");
(void)me; /* avoid compiler warning in case 'me' is not used */
return QM_EXIT(&Calc_negated2_s);
}
/* ${SMs::Calc::SM::on::opEntered} */
static QState Calc_opEntered_x(Calc * const me) {
BSP_message("opEntered-EXIT;");
(void)me; /* avoid compiler warning in case 'me' is not used */
return QM_EXIT(&Calc_opEntered_s);
}
// ${AOs::Table::SM::active::paused}
QP::QState Table::paused_x(Table * const me) {
BSP_displayPaused(0U);
(void)me; // avoid compiler warning in case 'me' is not used
return QM_EXIT(&paused_s);
}
