SWatchFSM.h

/**
 ******************************************************************************
 * @file SWatchFSM.h
 * @author Paolo Sassi
 * @date 22 January 2016
 * @brief Contains the definition of the FSM and the definitions of its
 * signals and states.
 ******************************************************************************
 */

#ifndef SWATCHFSM_H_
#define SWATCHFSM_H_

#include "Cplus.h"
#include "stm32f4xx.h"

/**
 * @addtogroup fsmdef FSM Definition
 * @{
 */
/**
 * @brief FSM signals.
 */
typedef enum {
	watch_b, swatch_b, alarm_b, timer_b, plus_b, minus_b, start_b, stop_b, ENTRY, EXIT, INIT, TICK, ABSENT
}Signal;

/**
 * @brief FSM states.
 */
typedef enum {
	watch_showtime, watch_sethours, watch_setminutes, swatch_stop, swatch_running,
	swatch_pause, alarm_sethours, alarm_setminutes, alarm_running, timer_sethours,
	timer_setminutes, timer_setseconds, timer_running
}State;

CLASS(SWatchFSM)
	State state_;
	State swatchHistory_;
	State alarmHistory_;
	State timerHistory_;
METHODS
/**
 * @}
 */
	void SWatchFSMinit(SWatchFSM *me);
	void SWatchFSMdispatch(SWatchFSM *me, Signal sig);
END_CLASS

#endif /* SWATCHFSM_H_ */