qhsmtst.c

a super good method for designing finite state machine

/*****************************************************************************
* Product: QHsmTst Example
* Last Updated for Version: 1.4.00
* Date of the Last Update:  Aug 27, 2006
*
*                    Q u a n t u m     L e a P s
*                    ---------------------------
*                    innovating embedded systems
*
* Copyright (c) 2002-2006 Quantum Leaps, LLC. All rights reserved.
*
* Internet: www.quantum-leaps.com     Licensing: [e-mail]
*
* This Software is protected by the United States copyright laws and
* international treaties. Distribution of products containing this Software
* or based upon this Software (Derivative Works) requires a valid Quantum
* Leaps Distribution License. Any other distribution, in source or binary
* format is illegal.
*****************************************************************************/
#include "qpn_port.h"
#include "qhsmtst.h"
#include "bsp.h"

/* QHsmTst class -----------------------------------------------------------*/
static QSTATE QHsmTst_initial(QHsmTst *me);        /* initial state-handler */
static QSTATE QHsmTst_d(QHsmTst *me);                      /* state-handler */
static QSTATE QHsmTst_d1(QHsmTst *me);                     /* state-handler */
static QSTATE QHsmTst_d11(QHsmTst *me);                    /* state-handler */
static QSTATE QHsmTst_d2(QHsmTst *me);                     /* state-handler */
static QSTATE QHsmTst_d21(QHsmTst *me);                    /* state-handler */
static QSTATE QHsmTst_d211(QHsmTst *me);                   /* state-handler */

/*..........................................................................*/
void QHsmTst_ctor(QHsmTst *me) {
    QHsm_ctor(me, &QHsmTst_initial);          /* instantiate the superclass */
    me->foo__ = 0;                    /* initialize extended state variable */
}
/*..........................................................................*/
QSTATE QHsmTst_initial(QHsmTst *me) {
    switch (Q_SIG(me)) {
        case Q_TOP_INIT_SIG: {
            BSP_display("top-INIT;");
            Q_TRAN(&QHsmTst_d2);
            return (QSTATE)0;
        }
    }
    return (QSTATE)&QHsm_top;
}
/*..........................................................................*/
QSTATE QHsmTst_d(QHsmTst *me) {
    switch (Q_SIG(me)) {
        case Q_ENTRY_SIG: {
            BSP_display("d-ENTRY;");
            return (QSTATE)0;
        }
        case Q_EXIT_SIG: {
            BSP_display("d-EXIT;");
            return (QSTATE)0;
        }
        case Q_INIT_SIG: {
            BSP_display("d-INIT;");
            Q_INIT(&QHsmTst_d11);
            return (QSTATE)0;
        }
        case E_SIG: {
            BSP_display("d-E;");
            Q_TRAN(&QHsmTst_d11);
            return (QSTATE)0;
        }
        case I_SIG: {                   /* internal transition with a guard */
            if (me->foo__) {
                BSP_display("d-I;");
                me->foo__ = 0;
                return (QSTATE)0;
            }
            break;
        }
    }
    return (QSTATE)&QHsm_top;
}
/*..........................................................................*/
QSTATE QHsmTst_d1(QHsmTst *me) {
    switch (Q_SIG(me)) {
        case Q_ENTRY_SIG: {
            BSP_display("d1-ENTRY;");
            return (QSTATE)0;
        }
        case Q_EXIT_SIG: {
            BSP_display("d1-EXIT;");
            return (QSTATE)0;
        }
        case Q_INIT_SIG: {
            BSP_display("d1-INIT;");
            Q_INIT(&QHsmTst_d11);
            return (QSTATE)0;
        }
        case A_SIG: {
            BSP_display("d1-A;");
            Q_TRAN(&QHsmTst_d1);
            return (QSTATE)0;
        }
        case B_SIG: {
            BSP_display("d1-B;");
            Q_TRAN(&QHsmTst_d11);
            return (QSTATE)0;
        }
        case C_SIG: {
            BSP_display("d1-C;");
            Q_TRAN(&QHsmTst_d2);
            return (QSTATE)0;
        }
        case D_SIG: {                            /* transition with a gurad */
            if (!me->foo__) {
                BSP_display("d1-D;");
                me->foo__ = 1;
                Q_TRAN(&QHsmTst_d);
                return (QSTATE)0;                          /* event handled */
            }
            break;
        }
        case F_SIG: {
            BSP_display("d1-F;");
            Q_TRAN(&QHsmTst_d211);
            return (QSTATE)0;
        }
        case I_SIG: {                                /* internal transition */
            BSP_display("d1-I;");
            return (QSTATE)0;
        }
    }
    return (QSTATE)&QHsmTst_d;
}
/*..........................................................................*/
QSTATE QHsmTst_d11(QHsmTst *me) {
    switch (Q_SIG(me)) {
        case Q_ENTRY_SIG: {
            BSP_display("d11-ENTRY;");
            return (QSTATE)0;
        }
        case Q_EXIT_SIG: {
            BSP_display("d11-EXIT;");
            return (QSTATE)0;
        }
        case D_SIG: {                            /* transition with a gurad */
            if (me->foo__) {
                BSP_display("d11-D;");
                me->foo__ = 0;
                Q_TRAN(&QHsmTst_d1);
                return (QSTATE)0;                          /* event handled */
            }
            break;
        }
        case G_SIG: {
            BSP_display("d11-G;");
            Q_TRAN(&QHsmTst_d211);
            return (QSTATE)0;
        }
        case H_SIG: {
            BSP_display("d11-H;");
            Q_TRAN(&QHsmTst_d);
            return (QSTATE)0;
        }
    }
    return (QSTATE)&QHsmTst_d1;
}
/*..........................................................................*/
QSTATE QHsmTst_d2(QHsmTst *me) {
    switch (Q_SIG(me)) {
        case Q_ENTRY_SIG: {
            BSP_display("d2-ENTRY;");
            return (QSTATE)0;
        }
        case Q_EXIT_SIG: {
            BSP_display("d2-EXIT;");
            return (QSTATE)0;
        }
        case Q_INIT_SIG: {
            BSP_display("d2-INIT;");
            Q_INIT(&QHsmTst_d211);
            return (QSTATE)0;
        }
        case C_SIG: {
            BSP_display("d2-C;");
            Q_TRAN(&QHsmTst_d1);
            return (QSTATE)0;
        }
        case F_SIG: {
            BSP_display("d2-F;");
            Q_TRAN(&QHsmTst_d11);
            return (QSTATE)0;
        }
        case I_SIG: {                   /* internal transition with a guard */
            if (!me->foo__) {
                BSP_display("d2-I;");
                me->foo__ = (uint8_t)1;
                return (QSTATE)0;
            }
            break;
        }
    }
    return (QSTATE)&QHsmTst_d;
}
/*..........................................................................*/
QSTATE QHsmTst_d21(QHsmTst *me) {
    switch (Q_SIG(me)) {
        case Q_ENTRY_SIG: {
            BSP_display("d21-ENTRY;");
            return (QSTATE)0;
        }
        case Q_EXIT_SIG: {
            BSP_display("d21-EXIT;");
            return (QSTATE)0;
        }
        case Q_INIT_SIG: {
            BSP_display("d21-INIT;");
            Q_INIT(&QHsmTst_d211);
            return (QSTATE)0;
        }
        case A_SIG: {
            BSP_display("d21-A;");
            Q_TRAN(&QHsmTst_d21);
            return (QSTATE)0;
        }
        case B_SIG: {
            BSP_display("d21-B;");
            Q_TRAN(&QHsmTst_d211);
            return (QSTATE)0;
        }
        case G_SIG: {
            BSP_display("d21-G;");
            Q_TRAN(&QHsmTst_d1);
            return (QSTATE)0;
        }
    }
    return (QSTATE)&QHsmTst_d2;
}
/*..........................................................................*/
QSTATE QHsmTst_d211(QHsmTst *me) {
    switch (Q_SIG(me)) {
        case Q_ENTRY_SIG: {
            BSP_display("d211-ENTRY;");
            return (QSTATE)0;
        }
        case Q_EXIT_SIG: {
            BSP_display("d211-EXIT;");
            return (QSTATE)0;
        }
        case D_SIG: {
            BSP_display("d211-D;");
            Q_TRAN(&QHsmTst_d21);
            return (QSTATE)0;
        }
        case H_SIG: {
            BSP_display("d211-H;");
            Q_TRAN(&QHsmTst_d);
            return (QSTATE)0;
        }
    }
    return (QSTATE)&QHsmTst_d21;
}