/home/olivier/src/StateMachine/dev_src/StateMachine.h

Go to the documentation of this file.

/*
 *
 *  EasySM - Easy state machine library
 *
 *  Copyright (C) 2010  Olivier Laporte <olivier.laporte1@gmail.com>
 *
 *  This program is free software: you can redistribute it and/or modify
 *  it under the terms of the GNU General Public License as published by
 *  the Free Software Foundation, either version 3 of the License, or
 *  (at your option) any later version.
 * 
 *  This program is distributed in the hope that it will be useful,
 *  but WITHOUT ANY WARRANTY; without even the implied warranty of
 *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 *  GNU General Public License for more details.
 *
 *  You should have received a copy of the GNU General Public License
 *  along with this program.  If not, see <http://www.gnu.org/licenses/>.
 */
enum DBG_DISP_ENUM
{
    ALLOC_DBG = 1,          
    DEALLOC_DBG = 2,        
    REALLOC_DBG = 4,        
    TRAN_LOOKING_DBG = 8,   
    STATE_WORK_DBG = 16,    
    STATE_OPT_DBG = 32,     
    STATE_E_WORK_DBG = 64   
};

typedef struct {} StateMachine;
typedef struct {} State;
typedef struct {} ParallelState;

State* allocateState(void* parent, const char* name, StateMachine* stateMachine);
StateMachine* allocStateMachine(const char* name, const char* dbgPref);
ParallelState* allocateParallelState(void* parent, unsigned short int nbChildStates, StateMachine* stateMachine, const char* name);
void freeStateMachine(StateMachine* stateMachine);
void makeDefault1(State* state);
unsigned char makeHistoryStateDefault(State* state, State* initialChild);
void setEntryWork(State* state, void (*onEnter) (void));
void setExitWork(State* state, void (*onExit) (void));
void allocateSpaceForStates(void* ptr, unsigned short int nbStates);
void allocateSpaceForTransitions(State* state, unsigned short int nbTransition);
unsigned char addTransition(State *from, void *to, short int eventNum, unsigned char useHistory);
unsigned char startStateMachine(StateMachine* stateMachine);
void sendEvent(StateMachine* stateMachine, short int event);
void setDbgParam(StateMachine* stateMachine, unsigned short int verboseFlag);
void rmDbgParam(StateMachine* stateMachine, unsigned short int verboseFlag);
void displayStateMachine1(StateMachine* stateMachine);
void displayStateMachine2(StateMachine* stateMachine);
short int isConnected(State* from, State* to);
void displayCurrStateName(StateMachine* stateMachine);

---