main.c

state machine working with rtos

/*****************************************************************************
* Product:  QHsmTst/C example
* Version:  Compatible with QEP/C 3.x.yy
* Updated:  Dec 03, 2005
*
* Copyright (C) 2002-2005 Quantum Leaps, LLC. All rights reserved.
*
* This example is part of the Quantum Leaps QP/C software, and may be
* distributed and modified under the terms of the GNU General Public License
* version 2 (GPL) as published by the Free Software Foundation and appearing
* in the file GPL.TXT included in the packaging of this file. Please note
* that GPL Section 2[b] requires that all works based on this software must
* also be made publicly available under the terms of the GPL ("Copyleft").
*
* Alternatively, this software may be distributed and modified in conjunction
* with a valid QP/C Quantum Leaps commercial license. Quantum Leaps
* commercial licenses are designed for users who want to retain proprietary
* status of their code. The users who license this software under one of
* Quantum Leaps commercial licenses do not use this software under the GPL
* and therefore are not subject to any of its terms.
*
* Contact information:
* Quantum Leaps Web site:  http://www.quantum-leaps.com
* Quantum Leaps licensing: http://www.quantum-leaps.com/licensing
* Quantum Leaps products:  http://www.quantum-leaps.com/products
* e-mail:                  [e-mail]
*****************************************************************************/
#include "qep_port.h"
#include "qhsmtst.h"
#include "qassert.h"

#include <termios.h>
#include <unistd.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>

Q_DEFINE_THIS_FILE

/* local objects -----------------------------------------------------------*/
static QHsmTst l_test;
static FILE *l_outFile = (FILE *)0;
struct termios l_saved;

/*..........................................................................*/
void Q_assert_handler(char const *file, int line) {
    fprintf(stderr, "Assertion failed in %s, line %d", file, line);
    tcsetattr(0, TCSANOW, &l_saved);
    exit(-1);
}
/*..........................................................................*/
void QHsmTst_display(QHsmTst *me, char const *msg) {
    (void)me;
    fprintf(l_outFile, msg);
}
/*..........................................................................*/
void QHsmTst_exit(QHsmTst *me) {
    (void)me;              /* suppress the "unreferenced parameter" warning */
    printf("Bye, Bye!");
    tcsetattr(0, TCSANOW, &l_saved);
    exit(0);
}
/*..........................................................................*/
static void dispatch(QSignal sig) {
    QEvent e;
    Q_REQUIRE((A_SIG <= sig) && (sig <= I_SIG));
    e.sig = sig;
    fprintf(l_outFile, "\n%c:", 'A' + sig - A_SIG);
    QHsm_dispatch((QHsm *)&l_test, &e);               /* dispatch the event */
}
/*..........................................................................*/
int main(int argc, char *argv[]) {
    QHsmTst_ctor(&l_test);

    tcgetattr(0, &l_saved);         /* save the current terminal attributes */

    if (argc > 1) {                                  /* file name provided? */
        l_outFile = fopen(argv[1], "w");
    }

    if (l_outFile == (FILE *)0) {                   /* interactive version? */
        struct termios tio;                 /* modified terminal attributes */

        memcpy(&tio, &l_saved, sizeof(struct termios));  /* init attributes */
        tio.c_lflag &= ~ICANON;                   /* disable canonical mode */
        tcsetattr(0, TCSANOW, &tio);              /* set the new attributes */

        l_outFile = stdout;            /* use the stdout as the output file */

        printf("QHsmTst example, built on %s at %s,\n"
               "QEP/C: %s.\nPress ESC to quit...\n",
               __DATE__, __TIME__, QEP_getVersion());

        QHsm_init((QHsm *)&l_test, (QEvent *)0);   /* trigger initial tran. */

        for (;;) {                                            /* event loop */
            QEvent e;
            char c;

            printf("\n>");
            fflush(stdout);
            read(0, &c, 1);          /* read one character from the console */
            printf(": ");
            fflush(stdout);

            if ('a' <= c && c <= 'i') {                        /* in range? */
                e.sig = (QSignal)(c - 'a' + A_SIG);
            }
            else if ('A' <= c && c <= 'I') {                   /* in range? */
                e.sig = (QSignal)(c - 'A' + A_SIG);
            }
            else if (c == '\33') {                          /* the ESC key? */
                e.sig = TERMINATE_SIG;    /* terminate the interactive test */
            }
            else {
                e.sig = IGNORE_SIG;
            }

            QHsm_dispatch((QHsm *)&l_test, &e);       /* dispatch the event */
        }
    }
    else {                                                 /* batch version */
        printf("QHsmTst example, built on %s at %s, QEP/C %s\n"
               "output saved to %s\n",
               __DATE__, __TIME__, QEP_getVersion(),
               argv[1]);

        fprintf(l_outFile, "QHsmTst example, QEP/C %s\n",
                QEP_getVersion());

        QHsm_init((QHsm *)&l_test, (QEvent *)0);   /* trigger initial tran. */

                                       /* testing of dynamic transitions... */
        dispatch(A_SIG);
        dispatch(B_SIG);
        dispatch(D_SIG);
        dispatch(E_SIG);
        dispatch(I_SIG);
        dispatch(F_SIG);
        dispatch(I_SIG);
        dispatch(I_SIG);
        dispatch(F_SIG);
        dispatch(A_SIG);
        dispatch(B_SIG);
        dispatch(D_SIG);
        dispatch(D_SIG);
        dispatch(E_SIG);
        dispatch(G_SIG);
        dispatch(H_SIG);
        dispatch(H_SIG);
        dispatch(C_SIG);
        dispatch(G_SIG);
        dispatch(C_SIG);
        dispatch(C_SIG);

                                        /* testing of static transitions... */
        dispatch(C_SIG);
        dispatch(A_SIG);
        dispatch(A_SIG);
        dispatch(B_SIG);
        dispatch(B_SIG);
        dispatch(D_SIG);
        dispatch(D_SIG);
        dispatch(E_SIG);
        dispatch(I_SIG);
        dispatch(F_SIG);
        dispatch(I_SIG);
        dispatch(I_SIG);
        dispatch(F_SIG);
        dispatch(A_SIG);
        dispatch(A_SIG);
        dispatch(B_SIG);
        dispatch(B_SIG);
        dispatch(D_SIG);
        dispatch(D_SIG);
        dispatch(D_SIG);
        dispatch(D_SIG);
        dispatch(E_SIG);
        dispatch(G_SIG);
        dispatch(H_SIG);
        dispatch(G_SIG);
        dispatch(H_SIG);
        dispatch(F_SIG);
        dispatch(H_SIG);
        dispatch(F_SIG);
        dispatch(C_SIG);
        dispatch(G_SIG);
        dispatch(G_SIG);

        fclose(l_outFile);
    }

    return 0;
}