// @(/3/0/2/2) ............................................................... QP::QState Philo::hungry(Philo * const me, QP::QEvt const * const e) { QP::QState status_; switch (e->sig) { // @(/3/0/2/2) case Q_ENTRY_SIG: { AO_Table->POST(Q_NEW(TableEvt, HUNGRY_SIG, PHILO_ID(me)), me); status_ = Q_HANDLED(); break; } // @(/3/0/2/2/0) case EAT_SIG: { // @(/3/0/2/2/0/0) if (Q_EVT_CAST(TableEvt)->philoNum == PHILO_ID(me)) { status_ = Q_TRAN(&Philo::eating); } else { status_ = Q_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_ = Q_HANDLED(); break; } default: { status_ = Q_SUPER(&QHsm::top); break; } } return status_; }
/*..........................................................................*/ QState Philo_eating(Philo *me, QEvt const *e) { switch (e->sig) { case Q_ENTRY_SIG: { QTimeEvt_postIn(&me->timeEvt, (QActive *)me, EAT_TIME); return Q_HANDLED(); } case Q_EXIT_SIG: { TableEvt *pe = Q_NEW(TableEvt, DONE_SIG); pe->philoNum = PHILO_ID(me); QF_PUBLISH((QEvt *)pe, me); return Q_HANDLED(); } case TIMEOUT_SIG: { BSP_busyDelay(); return Q_TRAN(&Philo_thinking); } case EAT_SIG: /* intentionally fall-through */ case DONE_SIG: { /* EAT or DONE must be for other Philos than this one */ Q_ASSERT(((TableEvt const *)e)->philoNum != PHILO_ID(me)); return Q_HANDLED(); } } return Q_SUPER(&QHsm_top); }
/* @(/2/0/2/2) .............................................................*/ QState Philo_hungry(Philo *me, QEvent const *e) { switch (e->sig) { /* @(/2/0/2/2) */ case Q_ENTRY_SIG: { TableEvt *pe = Q_NEW(TableEvt, HUNGRY_SIG); pe->philoNum = PHILO_ID(me); QACTIVE_POST(AO_Table, (QEvent const *)pe, me); return Q_HANDLED(); } /* @(/2/0/2/2/0) */ case EAT_SIG: { /* @(/2/0/2/2/0/0) */ if (((TableEvt const *)e)->philoNum == PHILO_ID(me)) { BSP_busyDelay(); return Q_TRAN(&Philo_eating); } break; } /* @(/2/0/2/2/1) */ case TERMINATE_SIG: /* intentionally fall through */ case DONE_SIG: { Q_ERROR(); return Q_HANDLED(); } } return Q_SUPER(&QHsm_top); }
//............................................................................ QState Philo::eating(Philo *me, QEvt const *e) { switch (e->sig) { case Q_ENTRY_SIG: { me->m_timeEvt.postIn(me, EAT_TIME); return Q_HANDLED(); } case Q_EXIT_SIG: { TableEvt *pe = Q_NEW(TableEvt, DONE_SIG); pe->philoNum = PHILO_ID(me); QF::PUBLISH(pe, me); return Q_HANDLED(); } case TIMEOUT_SIG: { BSP_busyDelay(); return Q_TRAN(&Philo::thinking); } case EAT_SIG: // intentionally fall-through case DONE_SIG: { // EAT or DONE must be for other Philos than this one Q_ASSERT(((TableEvt const *)e)->philoNum != PHILO_ID(me)); return Q_HANDLED(); } } return Q_SUPER(&QHsm::top); }
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_; }
/* @(/2/0/2/3) .............................................................*/ QState Philo_eating(Philo *me, QEvent const *e) { switch (e->sig) { /* @(/2/0/2/3) */ case Q_ENTRY_SIG: { QTimeEvt_postIn(&me->timeEvt, &me->super, EAT_TIME); return Q_HANDLED(); } /* @(/2/0/2/3) */ case Q_EXIT_SIG: { TableEvt *pe = Q_NEW(TableEvt, DONE_SIG); pe->philoNum = PHILO_ID(me); QF_PUBLISH((QEvent const *)pe, me); return Q_HANDLED(); } /* @(/2/0/2/3/0) */ case TIMEOUT_SIG: { BSP_busyDelay(); return Q_TRAN(&Philo_thinking); } /* @(/2/0/2/3/1) */ case TERMINATE_SIG: /* intentionally fall through */ case DONE_SIG: { Q_ERROR(); return Q_HANDLED(); } /* @(/2/0/2/3/2) */ case EAT_SIG: { Q_ASSERT(((TableEvt const *)e)->philoNum != PHILO_ID(me)); return Q_HANDLED(); } } return Q_SUPER(&QHsm_top); }
// @(/3/0/2/1) ............................................................... QP::QState Philo::thinking(Philo * const me, QP::QEvt const * const e) { QP::QState status_; switch (e->sig) { // @(/3/0/2/1) case Q_ENTRY_SIG: { me->m_timeEvt.armX(think_time()); status_ = Q_HANDLED(); break; } // @(/3/0/2/1) case Q_EXIT_SIG: { (void)me->m_timeEvt.disarm(); status_ = Q_HANDLED(); break; } // @(/3/0/2/1/0) case TIMEOUT_SIG: { status_ = Q_TRAN(&Philo::hungry); break; } // @(/3/0/2/1/1) case EAT_SIG: // intentionally fall through case DONE_SIG: { /* EAT or DONE must be for other Philos than this one */ Q_ASSERT(Q_EVT_CAST(TableEvt)->philoNum != PHILO_ID(me)); status_ = Q_HANDLED(); break; } default: { status_ = Q_SUPER(&QHsm::top); break; } } return status_; }
/* @(/2/0/2/1) .............................................................*/ QState Philo_thinking(Philo *me, QEvent const *e) { switch (e->sig) { /* @(/2/0/2/1) */ case Q_ENTRY_SIG: { QTimeEvt_postIn(&me->timeEvt, &me->super, THINK_TIME); return Q_HANDLED(); } /* @(/2/0/2/1/0) */ case TIMEOUT_SIG: { BSP_busyDelay(); return Q_TRAN(&Philo_hungry); } /* @(/2/0/2/1/1) */ case TERMINATE_SIG: /* intentionally fall through */ case DONE_SIG: { Q_ERROR(); return Q_HANDLED(); } /* @(/2/0/2/1/2) */ case EAT_SIG: { Q_ASSERT(((TableEvt const *)e)->philoNum != PHILO_ID(me)); return Q_HANDLED(); } } return Q_SUPER(&QHsm_top); }
QP::QState Philo::eating(Philo * const me, QP::QEvt const * const e) { QP::QState status_; switch (e->sig) { // @(/3/0/2/3/0) case TIMEOUT_SIG: { static QP::QActionHandler const act_[] = { Q_ACTION_CAST(&Philo::eating_x), Q_ACTION_CAST(&Philo::thinking_e), Q_ACTION_CAST(0) }; status_ = QM_TRAN(&thinking_s, act_); break; } // @(/3/0/2/3/1) case EAT_SIG: /* intentionally fall through */ case DONE_SIG: { /* EAT or 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_; }
/* ${AOs::Philo::SM::eating} */ static QState Philo_eating(Philo * const me, QEvt const * const e) { QState status_; switch (e->sig) { /* ${AOs::Philo::SM::eating::TIMEOUT} */ case TIMEOUT_SIG: { static struct { QMState const *target; QActionHandler act[3]; } const tatbl_ = { /* transition-action table */ &Philo_thinking_s, /* target state */ { Q_ACTION_CAST(&Philo_eating_x), /* exit */ Q_ACTION_CAST(&Philo_thinking_e), /* entry */ Q_ACTION_CAST(0) /* zero terminator */ } }; status_ = QM_TRAN(&tatbl_); break; } /* ${AOs::Philo::SM::eating::EAT, DONE} */ case EAT_SIG: /* intentionally fall through */ case DONE_SIG: { /* EAT or 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_; }
//............................................................................ QState Philo::hungry(Philo *me, QEvt const *e) { switch (e->sig) { case Q_ENTRY_SIG: { TableEvt *pe = Q_NEW(TableEvt, HUNGRY_SIG); pe->philoNum = PHILO_ID(me); AO_Table->POST(pe, me); return Q_HANDLED(); } case EAT_SIG: { if (((TableEvt *)e)->philoNum == PHILO_ID(me)) { return Q_TRAN(&Philo::eating); } break; } case DONE_SIG: { // DONE must be for other Philos than this one Q_ASSERT(((TableEvt const *)e)->philoNum != PHILO_ID(me)); return Q_HANDLED(); } } return Q_SUPER(&QHsm::top); }
/* ${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_; }
//${AOs::Philo::SM::eating} .................................................. Q_STATE_DEF(Philo, eating) { QP::QState status_; switch (e->sig) { //${AOs::Philo::SM::eating} case Q_ENTRY_SIG: { m_timeEvt.armX(eat_time(), 0U); status_ = Q_RET_HANDLED; break; } //${AOs::Philo::SM::eating} case Q_EXIT_SIG: { TableEvt *pe = Q_NEW(TableEvt, DONE_SIG); pe->philoNum = PHILO_ID(this); QP::QF::PUBLISH(pe, this); (void)m_timeEvt.disarm(); status_ = Q_RET_HANDLED; break; } //${AOs::Philo::SM::eating::TIMEOUT} case TIMEOUT_SIG: { status_ = tran(&thinking); break; } //${AOs::Philo::SM::eating::EAT, DONE} case EAT_SIG: // intentionally fall through case DONE_SIG: { // EAT or DONE must be for other Philos than this one Q_ASSERT(Q_EVT_CAST(TableEvt)->philoNum != PHILO_ID(this)); status_ = Q_RET_HANDLED; break; } default: { status_ = super(&top); break; } } return status_; }
/*..........................................................................*/ QState Philo_hungry(Philo *me, QEvt const *e) { switch (e->sig) { case Q_ENTRY_SIG: { TableEvt *pe = Q_NEW(TableEvt, HUNGRY_SIG); pe->philoNum = PHILO_ID(me); QACTIVE_POST(AO_Table, (QEvt *)pe, me); return Q_HANDLED(); } case EAT_SIG: { if (((TableEvt const *)e)->philoNum == PHILO_ID(me)) { BSP_busyDelay(); return Q_TRAN(&Philo_eating); } break; } case DONE_SIG: { /* DONE must be for other Philos than this one */ Q_ASSERT(((TableEvt const *)e)->philoNum != PHILO_ID(me)); return Q_HANDLED(); } } return Q_SUPER(&QHsm_top); }
//${AOs::Philo::SM::hungry} .................................................. Q_STATE_DEF(Philo, hungry) { QP::QState status_; switch (e->sig) { //${AOs::Philo::SM::hungry} case Q_ENTRY_SIG: { TableEvt *pe = Q_NEW(TableEvt, HUNGRY_SIG); pe->philoNum = PHILO_ID(this); AO_Table->POST(pe, this); status_ = Q_RET_HANDLED; break; } //${AOs::Philo::SM::hungry::EAT} case EAT_SIG: { //${AOs::Philo::SM::hungry::EAT::[Q_EVT_CAST(TableEvt)->philoNum=~} if (Q_EVT_CAST(TableEvt)->philoNum == PHILO_ID(this)) { status_ = tran(&eating); } else { status_ = Q_RET_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(this)); status_ = Q_RET_HANDLED; break; } default: { status_ = super(&top); break; } } return status_; }
/*..........................................................................*/ QState Philo_thinking(Philo *me, QEvent const *e) { switch (e->sig) { case Q_ENTRY_SIG: { QTimeEvt_postIn(&me->timeEvt, (QActive *)me, THINK_TIME); return Q_HANDLED(); } case TIMEOUT_SIG: { return Q_TRAN(&Philo_hungry); } case EAT_SIG: /* intentionally fall-through */ case DONE_SIG: { /* EAT or DONE must be for other Philos than this one */ Q_ASSERT(((TableEvt const *)e)->philoNum != PHILO_ID(me)); return Q_HANDLED(); } } return Q_SUPER(&QHsm_top); }
//............................................................................ QState Philo::thinking(Philo *me, QEvt const *e) { switch (e->sig) { case Q_ENTRY_SIG: { me->m_timeEvt.postIn(me, THINK_TIME); return Q_HANDLED(); } case TIMEOUT_SIG: { return Q_TRAN(&Philo::hungry); } case EAT_SIG: // intentionally fall-through case DONE_SIG: { // EAT or DONE must be for other Philos than this one Q_ASSERT(((TableEvt const *)e)->philoNum != PHILO_ID(me)); return Q_HANDLED(); } } return Q_SUPER(&QHsm::top); }
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); }
/* ${AOs::Philo::SM::hungry} */ static QState Philo_hungry_e(Philo * const me) { TableEvt *pe = Q_NEW(TableEvt, HUNGRY_SIG); pe->philoNum = PHILO_ID(me); QACTIVE_POST(AO_Table, &pe->super, me); return QM_ENTRY(&Philo_hungry_s); }
QP::QState Philo::hungry_e(Philo * const me) { AO_Table->POST(Q_NEW(TableEvt, HUNGRY_SIG, PHILO_ID(me)), me); return QM_ENTRY(&hungry_s); }