Diff: src/Default.c

Revision:

2:5767f3f6909f

Parent:

0:769c5a7b3939

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Default.c	Tue May 08 13:45:42 2018 +0000
@@ -0,0 +1,1107 @@
+
+#include <stdlib.h>
+#include <string.h>
+#include "sc_types.h"
+#include "Default.h"
+#include "DefaultRequired.h"
+/*! \file Implementation of the state machine 'default'
+*/
+
+/* prototypes of all internal functions */
+static sc_boolean check_main_region_Functions_tr0_tr0(const Default* handle);
+static sc_boolean check_main_region_Functions_tr1_tr1(const Default* handle);
+static sc_boolean check_main_region_Functions_tr2_tr2(const Default* handle);
+static sc_boolean check_main_region_Functions_tr3_tr3(const Default* handle);
+static sc_boolean check_main_region_Functions_tr4_tr4(const Default* handle);
+static sc_boolean check_main_region_Menu_tr0_tr0(const Default* handle);
+static sc_boolean check_main_region_Menu_tr1_tr1(const Default* handle);
+static sc_boolean check_main_region_Menu_tr2_tr2(const Default* handle);
+static sc_boolean check_main_region_Menu_tr3_tr3(const Default* handle);
+static sc_boolean check_main_region_Ready_tr0_tr0(const Default* handle);
+static sc_boolean check_main_region_Function_Selected_tr0_tr0(const Default* handle);
+static sc_boolean check_main_region_Function_Selected_tr1_tr1(const Default* handle);
+static sc_boolean check_r1_Function_Ready_tr0_tr0(const Default* handle);
+static sc_boolean check_r1_Function_Active_tr0_tr0(const Default* handle);
+static sc_boolean check_r1_Function_Active_tr1_tr1(const Default* handle);
+static sc_boolean check_r1_Alarm_tr0_tr0(const Default* handle);
+static sc_boolean check_r1_Alarm_tr1_tr1(const Default* handle);
+static sc_boolean check_r1_Move_Down_tr0_tr0(const Default* handle);
+static sc_boolean check_r1_Move_Down_tr1_tr1(const Default* handle);
+static sc_boolean check_r1_Move_Up_tr0_tr0(const Default* handle);
+static sc_boolean check_r1_Move_Up_tr1_tr1(const Default* handle);
+static void effect_main_region_Functions_tr0(Default* handle);
+static void effect_main_region_Functions_tr1(Default* handle);
+static void effect_main_region_Functions_tr2(Default* handle);
+static void effect_main_region_Functions_tr3(Default* handle);
+static void effect_main_region_Functions_tr4(Default* handle);
+static void effect_main_region_Menu_tr0(Default* handle);
+static void effect_main_region_Menu_tr1(Default* handle);
+static void effect_main_region_Menu_tr2(Default* handle);
+static void effect_main_region_Menu_tr3(Default* handle);
+static void effect_main_region_Ready_tr0(Default* handle);
+static void effect_main_region_Function_Selected_tr0(Default* handle);
+static void effect_main_region_Function_Selected_tr1(Default* handle);
+static void effect_r1_Function_Ready_tr0(Default* handle);
+static void effect_r1_Function_Active_tr0(Default* handle);
+static void effect_r1_Function_Active_tr1(Default* handle);
+static void effect_r1_Alarm_tr0(Default* handle);
+static void effect_r1_Alarm_tr1(Default* handle);
+static void effect_r1_Move_Down_tr0(Default* handle);
+static void effect_r1_Move_Down_tr1(Default* handle);
+static void effect_r1_Move_Up_tr0(Default* handle);
+static void effect_r1_Move_Up_tr1(Default* handle);
+static void enact_main_region_Functions(Default* handle);
+static void enact_main_region_Menu(Default* handle);
+static void enact_main_region_Ready(Default* handle);
+static void enact_main_region_Function_Selected(Default* handle);
+static void enact_r1_Function_Ready(Default* handle);
+static void enact_r1_Function_Active(Default* handle);
+static void enact_r1_Alarm(Default* handle);
+static void enact_r1_Move_Down(Default* handle);
+static void enact_r1_Move_Up(Default* handle);
+static void exact_r1_Move_Down(Default* handle);
+static void exact_r1_Move_Up(Default* handle);
+static void enseq_main_region_Functions_default(Default* handle);
+static void enseq_main_region_Menu_default(Default* handle);
+static void enseq_main_region_Ready_default(Default* handle);
+static void enseq_main_region_Function_Selected_default(Default* handle);
+static void enseq_r1_Function_Ready_default(Default* handle);
+static void enseq_r1_Function_Active_default(Default* handle);
+static void enseq_r1_Alarm_default(Default* handle);
+static void enseq_r1_Move_Down_default(Default* handle);
+static void enseq_r1_Move_Up_default(Default* handle);
+static void enseq_main_region_default(Default* handle);
+static void enseq_r1_default(Default* handle);
+static void exseq_main_region_Functions(Default* handle);
+static void exseq_main_region_Menu(Default* handle);
+static void exseq_main_region_Ready(Default* handle);
+static void exseq_main_region_Function_Selected(Default* handle);
+static void exseq_r1_Function_Ready(Default* handle);
+static void exseq_r1_Function_Active(Default* handle);
+static void exseq_r1_Alarm(Default* handle);
+static void exseq_r1_Move_Down(Default* handle);
+static void exseq_r1_Move_Up(Default* handle);
+static void exseq_main_region(Default* handle);
+static void exseq_r1(Default* handle);
+static void react_main_region_Functions(Default* handle);
+static void react_main_region_Menu(Default* handle);
+static void react_main_region_Ready(Default* handle);
+static void react_main_region_Function_Selected(Default* handle);
+static void react_r1_Function_Ready(Default* handle);
+static void react_r1_Function_Active(Default* handle);
+static void react_r1_Alarm(Default* handle);
+static void react_r1_Move_Down(Default* handle);
+static void react_r1_Move_Up(Default* handle);
+static void react_main_region__entry_Default(Default* handle);
+static void react_r1__entry_Default(Default* handle);
+static void clearInEvents(Default* handle);
+static void clearOutEvents(Default* handle);
+
+
+void default_init(Default* handle)
+{
+		sc_integer i;
+	
+		for (i = 0; i < DEFAULT_MAX_ORTHOGONAL_STATES; ++i)
+		{
+			handle->stateConfVector[i] = Default_last_state;
+		}
+		
+		
+		handle->stateConfVectorPosition = 0;
+	
+		clearInEvents(handle);
+		clearOutEvents(handle);
+	
+		/* Default init sequence for statechart default */
+		handle->iface.select1 = 0;
+		handle->iface.select2 = 0;
+		handle->ifaceFunc.t = 0;
+}
+
+void default_enter(Default* handle)
+{
+	/* Default enter sequence for statechart default */
+	enseq_main_region_default(handle);
+	enseq_r1_default(handle);
+}
+
+void default_exit(Default* handle)
+{
+	/* Default exit sequence for statechart default */
+	exseq_main_region(handle);
+	exseq_r1(handle);
+}
+
+sc_boolean default_isActive(const Default* handle)
+{
+	sc_boolean result = bool_false;
+	int i;
+	
+	for(i = 0; i < DEFAULT_MAX_ORTHOGONAL_STATES; i++)
+	{
+		result = result || handle->stateConfVector[i] != Default_last_state;
+	}
+	
+	return result;
+}
+
+/* 
+ * Always returns 'false' since this state machine can never become final.
+ */
+sc_boolean default_isFinal(const Default* handle)
+{
+   return bool_false;
+}
+
+static void clearInEvents(Default* handle)
+{
+	handle->iface.mode_raised = bool_false;
+	handle->iface.down_raised = bool_false;
+	handle->iface.up_raised = bool_false;
+	handle->iface.back_raised = bool_false;
+	handle->iface.home_raised = bool_false;
+	handle->ifaceFunc.Selected_raised = bool_false;
+	handle->ifaceFunc.Deselect_raised = bool_false;
+	handle->ifaceFunc.Alarmset_raised = bool_false;
+	handle->ifaceFunc.MoveDown_raised = bool_false;
+	handle->ifaceFunc.MoveUp_raised = bool_false;
+	handle->timeEvents.default_r1_Move_Down_tev0_raised = bool_false;
+	handle->timeEvents.default_r1_Move_Up_tev0_raised = bool_false;
+}
+
+static void clearOutEvents(Default* handle)
+{
+}
+
+void default_runCycle(Default* handle)
+{
+	
+	clearOutEvents(handle);
+	for (handle->stateConfVectorPosition = 0;
+		handle->stateConfVectorPosition < DEFAULT_MAX_ORTHOGONAL_STATES;
+		handle->stateConfVectorPosition++)
+		{
+			
+		switch (handle->stateConfVector[handle->stateConfVectorPosition])
+		{
+		case Default_main_region_Functions:
+		{
+			react_main_region_Functions(handle);
+			break;
+		}
+		case Default_main_region_Menu:
+		{
+			react_main_region_Menu(handle);
+			break;
+		}
+		case Default_main_region_Ready:
+		{
+			react_main_region_Ready(handle);
+			break;
+		}
+		case Default_main_region_Function_Selected:
+		{
+			react_main_region_Function_Selected(handle);
+			break;
+		}
+		case Default_r1_Function_Ready:
+		{
+			react_r1_Function_Ready(handle);
+			break;
+		}
+		case Default_r1_Function_Active:
+		{
+			react_r1_Function_Active(handle);
+			break;
+		}
+		case Default_r1_Alarm:
+		{
+			react_r1_Alarm(handle);
+			break;
+		}
+		case Default_r1_Move_Down:
+		{
+			react_r1_Move_Down(handle);
+			break;
+		}
+		case Default_r1_Move_Up:
+		{
+			react_r1_Move_Up(handle);
+			break;
+		}
+		default:
+			break;
+		}
+	}
+	
+	clearInEvents(handle);
+}
+
+void default_raiseTimeEvent(const Default* handle, sc_eventid evid)
+{
+	if ( ((sc_intptr_t)evid) >= ((sc_intptr_t)&(handle->timeEvents))
+		&&  ((sc_intptr_t)evid) < ((sc_intptr_t)&(handle->timeEvents)) + sizeof(DefaultTimeEvents))
+		{
+		*(sc_boolean*)evid = bool_true;
+	}		
+}
+
+sc_boolean default_isStateActive(const Default* handle, DefaultStates state)
+{
+	sc_boolean result = bool_false;
+	switch (state)
+	{
+		case Default_main_region_Functions :
+			result = (sc_boolean) (handle->stateConfVector[SCVI_DEFAULT_MAIN_REGION_FUNCTIONS] == Default_main_region_Functions
+			);
+			break;
+		case Default_main_region_Menu :
+			result = (sc_boolean) (handle->stateConfVector[SCVI_DEFAULT_MAIN_REGION_MENU] == Default_main_region_Menu
+			);
+			break;
+		case Default_main_region_Ready :
+			result = (sc_boolean) (handle->stateConfVector[SCVI_DEFAULT_MAIN_REGION_READY] == Default_main_region_Ready
+			);
+			break;
+		case Default_main_region_Function_Selected :
+			result = (sc_boolean) (handle->stateConfVector[SCVI_DEFAULT_MAIN_REGION_FUNCTION_SELECTED] == Default_main_region_Function_Selected
+			);
+			break;
+		case Default_r1_Function_Ready :
+			result = (sc_boolean) (handle->stateConfVector[SCVI_DEFAULT_R1_FUNCTION_READY] == Default_r1_Function_Ready
+			);
+			break;
+		case Default_r1_Function_Active :
+			result = (sc_boolean) (handle->stateConfVector[SCVI_DEFAULT_R1_FUNCTION_ACTIVE] == Default_r1_Function_Active
+			);
+			break;
+		case Default_r1_Alarm :
+			result = (sc_boolean) (handle->stateConfVector[SCVI_DEFAULT_R1_ALARM] == Default_r1_Alarm
+			);
+			break;
+		case Default_r1_Move_Down :
+			result = (sc_boolean) (handle->stateConfVector[SCVI_DEFAULT_R1_MOVE_DOWN] == Default_r1_Move_Down
+			);
+			break;
+		case Default_r1_Move_Up :
+			result = (sc_boolean) (handle->stateConfVector[SCVI_DEFAULT_R1_MOVE_UP] == Default_r1_Move_Up
+			);
+			break;
+		default:
+			result = bool_false;
+			break;
+	}
+	return result;
+}
+
+void defaultIface_raise_mode(Default* handle)
+{
+	handle->iface.mode_raised = bool_true;
+}
+void defaultIface_raise_down(Default* handle)
+{
+	handle->iface.down_raised = bool_true;
+}
+void defaultIface_raise_up(Default* handle)
+{
+	handle->iface.up_raised = bool_true;
+}
+void defaultIface_raise_back(Default* handle)
+{
+	handle->iface.back_raised = bool_true;
+}
+void defaultIface_raise_home(Default* handle)
+{
+	handle->iface.home_raised = bool_true;
+}
+
+
+sc_integer defaultIface_get_select1(const Default* handle)
+{
+	return handle->iface.select1;
+}
+void defaultIface_set_select1(Default* handle, sc_integer value)
+{
+	handle->iface.select1 = value;
+}
+sc_integer defaultIface_get_select2(const Default* handle)
+{
+	return handle->iface.select2;
+}
+void defaultIface_set_select2(Default* handle, sc_integer value)
+{
+	handle->iface.select2 = value;
+}
+void defaultIfaceFunc_raise_selected(Default* handle)
+{
+	handle->ifaceFunc.Selected_raised = bool_true;
+}
+void defaultIfaceFunc_raise_deselect(Default* handle)
+{
+	handle->ifaceFunc.Deselect_raised = bool_true;
+}
+void defaultIfaceFunc_raise_alarmset(Default* handle)
+{
+	handle->ifaceFunc.Alarmset_raised = bool_true;
+}
+void defaultIfaceFunc_raise_moveDown(Default* handle)
+{
+	handle->ifaceFunc.MoveDown_raised = bool_true;
+}
+void defaultIfaceFunc_raise_moveUp(Default* handle)
+{
+	handle->ifaceFunc.MoveUp_raised = bool_true;
+}
+
+
+sc_integer defaultIfaceFunc_get_t(const Default* handle)
+{
+	return handle->ifaceFunc.t;
+}
+void defaultIfaceFunc_set_t(Default* handle, sc_integer value)
+{
+	handle->ifaceFunc.t = value;
+}
+
+/* implementations of all internal functions */
+
+static sc_boolean check_main_region_Functions_tr0_tr0(const Default* handle)
+{
+	return handle->iface.back_raised;
+}
+
+static sc_boolean check_main_region_Functions_tr1_tr1(const Default* handle)
+{
+	return handle->iface.down_raised;
+}
+
+static sc_boolean check_main_region_Functions_tr2_tr2(const Default* handle)
+{
+	return ((handle->iface.up_raised) && (handle->iface.select2 > 1)) ? bool_true : bool_false;
+}
+
+static sc_boolean check_main_region_Functions_tr3_tr3(const Default* handle)
+{
+	return handle->iface.home_raised;
+}
+
+static sc_boolean check_main_region_Functions_tr4_tr4(const Default* handle)
+{
+	return handle->iface.mode_raised;
+}
+
+static sc_boolean check_main_region_Menu_tr0_tr0(const Default* handle)
+{
+	return handle->iface.down_raised;
+}
+
+static sc_boolean check_main_region_Menu_tr1_tr1(const Default* handle)
+{
+	return ((handle->iface.up_raised) && (handle->iface.select1 > 1)) ? bool_true : bool_false;
+}
+
+static sc_boolean check_main_region_Menu_tr2_tr2(const Default* handle)
+{
+	return handle->iface.back_raised;
+}
+
+static sc_boolean check_main_region_Menu_tr3_tr3(const Default* handle)
+{
+	return handle->iface.mode_raised;
+}
+
+static sc_boolean check_main_region_Ready_tr0_tr0(const Default* handle)
+{
+	return handle->iface.mode_raised;
+}
+
+static sc_boolean check_main_region_Function_Selected_tr0_tr0(const Default* handle)
+{
+	return handle->iface.back_raised;
+}
+
+static sc_boolean check_main_region_Function_Selected_tr1_tr1(const Default* handle)
+{
+	return handle->iface.home_raised;
+}
+
+static sc_boolean check_r1_Function_Ready_tr0_tr0(const Default* handle)
+{
+	return handle->ifaceFunc.Selected_raised;
+}
+
+static sc_boolean check_r1_Function_Active_tr0_tr0(const Default* handle)
+{
+	return handle->ifaceFunc.Deselect_raised;
+}
+
+static sc_boolean check_r1_Function_Active_tr1_tr1(const Default* handle)
+{
+	return handle->ifaceFunc.Alarmset_raised;
+}
+
+static sc_boolean check_r1_Alarm_tr0_tr0(const Default* handle)
+{
+	return handle->ifaceFunc.MoveDown_raised;
+}
+
+static sc_boolean check_r1_Alarm_tr1_tr1(const Default* handle)
+{
+	return handle->ifaceFunc.MoveUp_raised;
+}
+
+static sc_boolean check_r1_Move_Down_tr0_tr0(const Default* handle)
+{
+	return (handle->ifaceFunc.t == 0) ? bool_true : bool_false;
+}
+
+static sc_boolean check_r1_Move_Down_tr1_tr1(const Default* handle)
+{
+	return ((handle->timeEvents.default_r1_Move_Down_tev0_raised) && (handle->ifaceFunc.t > 0)) ? bool_true : bool_false;
+}
+
+static sc_boolean check_r1_Move_Up_tr0_tr0(const Default* handle)
+{
+	return (handle->ifaceFunc.t == 0) ? bool_true : bool_false;
+}
+
+static sc_boolean check_r1_Move_Up_tr1_tr1(const Default* handle)
+{
+	return ((handle->timeEvents.default_r1_Move_Up_tev0_raised) && (handle->ifaceFunc.t > 0)) ? bool_true : bool_false;
+}
+
+static void effect_main_region_Functions_tr0(Default* handle)
+{
+	exseq_main_region_Functions(handle);
+	enseq_main_region_Menu_default(handle);
+}
+
+static void effect_main_region_Functions_tr1(Default* handle)
+{
+	exseq_main_region_Functions(handle);
+	handle->iface.select2 += 1;
+	enseq_main_region_Functions_default(handle);
+}
+
+static void effect_main_region_Functions_tr2(Default* handle)
+{
+	exseq_main_region_Functions(handle);
+	handle->iface.select2 -= 1;
+	enseq_main_region_Functions_default(handle);
+}
+
+static void effect_main_region_Functions_tr3(Default* handle)
+{
+	exseq_main_region_Functions(handle);
+	enseq_main_region_Ready_default(handle);
+}
+
+static void effect_main_region_Functions_tr4(Default* handle)
+{
+	exseq_main_region_Functions(handle);
+	defaultIface_function(handle, handle->iface.select2);
+	enseq_main_region_Function_Selected_default(handle);
+}
+
+static void effect_main_region_Menu_tr0(Default* handle)
+{
+	exseq_main_region_Menu(handle);
+	handle->iface.select1 += 1;
+	enseq_main_region_Menu_default(handle);
+}
+
+static void effect_main_region_Menu_tr1(Default* handle)
+{
+	exseq_main_region_Menu(handle);
+	handle->iface.select1 -= 1;
+	enseq_main_region_Menu_default(handle);
+}
+
+static void effect_main_region_Menu_tr2(Default* handle)
+{
+	exseq_main_region_Menu(handle);
+	enseq_main_region_Ready_default(handle);
+}
+
+static void effect_main_region_Menu_tr3(Default* handle)
+{
+	exseq_main_region_Menu(handle);
+	defaultIface_menu(handle, handle->iface.select1);
+	handle->iface.select2 = 1;
+	enseq_main_region_Functions_default(handle);
+}
+
+static void effect_main_region_Ready_tr0(Default* handle)
+{
+	exseq_main_region_Ready(handle);
+	handle->iface.select1 = 1;
+	enseq_main_region_Menu_default(handle);
+}
+
+static void effect_main_region_Function_Selected_tr0(Default* handle)
+{
+	exseq_main_region_Function_Selected(handle);
+	enseq_main_region_Functions_default(handle);
+}
+
+static void effect_main_region_Function_Selected_tr1(Default* handle)
+{
+	exseq_main_region_Function_Selected(handle);
+	enseq_main_region_Ready_default(handle);
+}
+
+static void effect_r1_Function_Ready_tr0(Default* handle)
+{
+	exseq_r1_Function_Ready(handle);
+	enseq_r1_Function_Active_default(handle);
+}
+
+static void effect_r1_Function_Active_tr0(Default* handle)
+{
+	exseq_r1_Function_Active(handle);
+	enseq_r1_Function_Ready_default(handle);
+}
+
+static void effect_r1_Function_Active_tr1(Default* handle)
+{
+	exseq_r1_Function_Active(handle);
+	enseq_r1_Alarm_default(handle);
+}
+
+static void effect_r1_Alarm_tr0(Default* handle)
+{
+	exseq_r1_Alarm(handle);
+	enseq_r1_Move_Down_default(handle);
+}
+
+static void effect_r1_Alarm_tr1(Default* handle)
+{
+	exseq_r1_Alarm(handle);
+	enseq_r1_Move_Up_default(handle);
+}
+
+static void effect_r1_Move_Down_tr0(Default* handle)
+{
+	exseq_r1_Move_Down(handle);
+	defaultIfaceFunc_return(handle);
+	enseq_r1_Function_Active_default(handle);
+}
+
+static void effect_r1_Move_Down_tr1(Default* handle)
+{
+	exseq_r1_Move_Down(handle);
+	defaultIfaceFunc_moveDownAct(handle);
+	handle->ifaceFunc.t -= 1;
+	enseq_r1_Move_Down_default(handle);
+}
+
+static void effect_r1_Move_Up_tr0(Default* handle)
+{
+	exseq_r1_Move_Up(handle);
+	defaultIfaceFunc_return(handle);
+	enseq_r1_Function_Active_default(handle);
+}
+
+static void effect_r1_Move_Up_tr1(Default* handle)
+{
+	exseq_r1_Move_Up(handle);
+	defaultIfaceFunc_moveUpAct(handle);
+	handle->ifaceFunc.t -= 1;
+	enseq_r1_Move_Up_default(handle);
+}
+
+/* Entry action for state 'Functions'. */
+static void enact_main_region_Functions(Default* handle)
+{
+	/* Entry action for state 'Functions'. */
+	defaultIface_function(handle, handle->iface.select2);
+}
+
+/* Entry action for state 'Menu'. */
+static void enact_main_region_Menu(Default* handle)
+{
+	/* Entry action for state 'Menu'. */
+	defaultIface_menu(handle, handle->iface.select1);
+}
+
+/* Entry action for state 'Ready'. */
+static void enact_main_region_Ready(Default* handle)
+{
+	/* Entry action for state 'Ready'. */
+	handle->iface.select1 = 0;
+	handle->iface.select2 = 0;
+}
+
+/* Entry action for state 'Function Selected'. */
+static void enact_main_region_Function_Selected(Default* handle)
+{
+	/* Entry action for state 'Function Selected'. */
+	defaultIface_execute(handle);
+}
+
+/* Entry action for state 'Function Ready'. */
+static void enact_r1_Function_Ready(Default* handle)
+{
+	/* Entry action for state 'Function Ready'. */
+	defaultIfaceFunc_ready(handle);
+}
+
+/* Entry action for state 'Function Active'. */
+static void enact_r1_Function_Active(Default* handle)
+{
+	/* Entry action for state 'Function Active'. */
+	defaultIfaceFunc_active(handle);
+}
+
+/* Entry action for state 'Alarm'. */
+static void enact_r1_Alarm(Default* handle)
+{
+	/* Entry action for state 'Alarm'. */
+	handle->ifaceFunc.t = 15;
+}
+
+/* Entry action for state 'Move Down'. */
+static void enact_r1_Move_Down(Default* handle)
+{
+	/* Entry action for state 'Move Down'. */
+	default_setTimer(handle, (sc_eventid) &(handle->timeEvents.default_r1_Move_Down_tev0_raised) , 1 * 1000, bool_true);
+	defaultIfaceFunc_moveDownAct(handle);
+}
+
+/* Entry action for state 'Move Up'. */
+static void enact_r1_Move_Up(Default* handle)
+{
+	/* Entry action for state 'Move Up'. */
+	default_setTimer(handle, (sc_eventid) &(handle->timeEvents.default_r1_Move_Up_tev0_raised) , 1 * 1000, bool_true);
+	defaultIfaceFunc_moveUpAct(handle);
+}
+
+/* Exit action for state 'Move Down'. */
+static void exact_r1_Move_Down(Default* handle)
+{
+	/* Exit action for state 'Move Down'. */
+	default_unsetTimer(handle, (sc_eventid) &(handle->timeEvents.default_r1_Move_Down_tev0_raised) );		
+}
+
+/* Exit action for state 'Move Up'. */
+static void exact_r1_Move_Up(Default* handle)
+{
+	/* Exit action for state 'Move Up'. */
+	default_unsetTimer(handle, (sc_eventid) &(handle->timeEvents.default_r1_Move_Up_tev0_raised) );		
+}
+
+/* 'default' enter sequence for state Functions */
+static void enseq_main_region_Functions_default(Default* handle)
+{
+	/* 'default' enter sequence for state Functions */
+	enact_main_region_Functions(handle);
+	handle->stateConfVector[0] = Default_main_region_Functions;
+	handle->stateConfVectorPosition = 0;
+}
+
+/* 'default' enter sequence for state Menu */
+static void enseq_main_region_Menu_default(Default* handle)
+{
+	/* 'default' enter sequence for state Menu */
+	enact_main_region_Menu(handle);
+	handle->stateConfVector[0] = Default_main_region_Menu;
+	handle->stateConfVectorPosition = 0;
+}
+
+/* 'default' enter sequence for state Ready */
+static void enseq_main_region_Ready_default(Default* handle)
+{
+	/* 'default' enter sequence for state Ready */
+	enact_main_region_Ready(handle);
+	handle->stateConfVector[0] = Default_main_region_Ready;
+	handle->stateConfVectorPosition = 0;
+}
+
+/* 'default' enter sequence for state Function Selected */
+static void enseq_main_region_Function_Selected_default(Default* handle)
+{
+	/* 'default' enter sequence for state Function Selected */
+	enact_main_region_Function_Selected(handle);
+	handle->stateConfVector[0] = Default_main_region_Function_Selected;
+	handle->stateConfVectorPosition = 0;
+}
+
+/* 'default' enter sequence for state Function Ready */
+static void enseq_r1_Function_Ready_default(Default* handle)
+{
+	/* 'default' enter sequence for state Function Ready */
+	enact_r1_Function_Ready(handle);
+	handle->stateConfVector[1] = Default_r1_Function_Ready;
+	handle->stateConfVectorPosition = 1;
+}
+
+/* 'default' enter sequence for state Function Active */
+static void enseq_r1_Function_Active_default(Default* handle)
+{
+	/* 'default' enter sequence for state Function Active */
+	enact_r1_Function_Active(handle);
+	handle->stateConfVector[1] = Default_r1_Function_Active;
+	handle->stateConfVectorPosition = 1;
+}
+
+/* 'default' enter sequence for state Alarm */
+static void enseq_r1_Alarm_default(Default* handle)
+{
+	/* 'default' enter sequence for state Alarm */
+	enact_r1_Alarm(handle);
+	handle->stateConfVector[1] = Default_r1_Alarm;
+	handle->stateConfVectorPosition = 1;
+}
+
+/* 'default' enter sequence for state Move Down */
+static void enseq_r1_Move_Down_default(Default* handle)
+{
+	/* 'default' enter sequence for state Move Down */
+	enact_r1_Move_Down(handle);
+	handle->stateConfVector[1] = Default_r1_Move_Down;
+	handle->stateConfVectorPosition = 1;
+}
+
+/* 'default' enter sequence for state Move Up */
+static void enseq_r1_Move_Up_default(Default* handle)
+{
+	/* 'default' enter sequence for state Move Up */
+	enact_r1_Move_Up(handle);
+	handle->stateConfVector[1] = Default_r1_Move_Up;
+	handle->stateConfVectorPosition = 1;
+}
+
+/* 'default' enter sequence for region main region */
+static void enseq_main_region_default(Default* handle)
+{
+	/* 'default' enter sequence for region main region */
+	react_main_region__entry_Default(handle);
+}
+
+/* 'default' enter sequence for region r1 */
+static void enseq_r1_default(Default* handle)
+{
+	/* 'default' enter sequence for region r1 */
+	react_r1__entry_Default(handle);
+}
+
+/* Default exit sequence for state Functions */
+static void exseq_main_region_Functions(Default* handle)
+{
+	/* Default exit sequence for state Functions */
+	handle->stateConfVector[0] = Default_last_state;
+	handle->stateConfVectorPosition = 0;
+}
+
+/* Default exit sequence for state Menu */
+static void exseq_main_region_Menu(Default* handle)
+{
+	/* Default exit sequence for state Menu */
+	handle->stateConfVector[0] = Default_last_state;
+	handle->stateConfVectorPosition = 0;
+}
+
+/* Default exit sequence for state Ready */
+static void exseq_main_region_Ready(Default* handle)
+{
+	/* Default exit sequence for state Ready */
+	handle->stateConfVector[0] = Default_last_state;
+	handle->stateConfVectorPosition = 0;
+}
+
+/* Default exit sequence for state Function Selected */
+static void exseq_main_region_Function_Selected(Default* handle)
+{
+	/* Default exit sequence for state Function Selected */
+	handle->stateConfVector[0] = Default_last_state;
+	handle->stateConfVectorPosition = 0;
+}
+
+/* Default exit sequence for state Function Ready */
+static void exseq_r1_Function_Ready(Default* handle)
+{
+	/* Default exit sequence for state Function Ready */
+	handle->stateConfVector[1] = Default_last_state;
+	handle->stateConfVectorPosition = 1;
+}
+
+/* Default exit sequence for state Function Active */
+static void exseq_r1_Function_Active(Default* handle)
+{
+	/* Default exit sequence for state Function Active */
+	handle->stateConfVector[1] = Default_last_state;
+	handle->stateConfVectorPosition = 1;
+}
+
+/* Default exit sequence for state Alarm */
+static void exseq_r1_Alarm(Default* handle)
+{
+	/* Default exit sequence for state Alarm */
+	handle->stateConfVector[1] = Default_last_state;
+	handle->stateConfVectorPosition = 1;
+}
+
+/* Default exit sequence for state Move Down */
+static void exseq_r1_Move_Down(Default* handle)
+{
+	/* Default exit sequence for state Move Down */
+	handle->stateConfVector[1] = Default_last_state;
+	handle->stateConfVectorPosition = 1;
+	exact_r1_Move_Down(handle);
+}
+
+/* Default exit sequence for state Move Up */
+static void exseq_r1_Move_Up(Default* handle)
+{
+	/* Default exit sequence for state Move Up */
+	handle->stateConfVector[1] = Default_last_state;
+	handle->stateConfVectorPosition = 1;
+	exact_r1_Move_Up(handle);
+}
+
+/* Default exit sequence for region main region */
+static void exseq_main_region(Default* handle)
+{
+	/* Default exit sequence for region main region */
+	/* Handle exit of all possible states (of default.main_region) at position 0... */
+	switch(handle->stateConfVector[ 0 ])
+	{
+		case Default_main_region_Functions :
+		{
+			exseq_main_region_Functions(handle);
+			break;
+		}
+		case Default_main_region_Menu :
+		{
+			exseq_main_region_Menu(handle);
+			break;
+		}
+		case Default_main_region_Ready :
+		{
+			exseq_main_region_Ready(handle);
+			break;
+		}
+		case Default_main_region_Function_Selected :
+		{
+			exseq_main_region_Function_Selected(handle);
+			break;
+		}
+		default: break;
+	}
+}
+
+/* Default exit sequence for region r1 */
+static void exseq_r1(Default* handle)
+{
+	/* Default exit sequence for region r1 */
+	/* Handle exit of all possible states (of default.r1) at position 1... */
+	switch(handle->stateConfVector[ 1 ])
+	{
+		case Default_r1_Function_Ready :
+		{
+			exseq_r1_Function_Ready(handle);
+			break;
+		}
+		case Default_r1_Function_Active :
+		{
+			exseq_r1_Function_Active(handle);
+			break;
+		}
+		case Default_r1_Alarm :
+		{
+			exseq_r1_Alarm(handle);
+			break;
+		}
+		case Default_r1_Move_Down :
+		{
+			exseq_r1_Move_Down(handle);
+			break;
+		}
+		case Default_r1_Move_Up :
+		{
+			exseq_r1_Move_Up(handle);
+			break;
+		}
+		default: break;
+	}
+}
+
+/* The reactions of state Functions. */
+static void react_main_region_Functions(Default* handle)
+{
+	/* The reactions of state Functions. */
+	if (check_main_region_Functions_tr0_tr0(handle) == bool_true)
+	{ 
+		effect_main_region_Functions_tr0(handle);
+	}  else
+	{
+		if (check_main_region_Functions_tr1_tr1(handle) == bool_true)
+		{ 
+			effect_main_region_Functions_tr1(handle);
+		}  else
+		{
+			if (check_main_region_Functions_tr2_tr2(handle) == bool_true)
+			{ 
+				effect_main_region_Functions_tr2(handle);
+			}  else
+			{
+				if (check_main_region_Functions_tr3_tr3(handle) == bool_true)
+				{ 
+					effect_main_region_Functions_tr3(handle);
+				}  else
+				{
+					if (check_main_region_Functions_tr4_tr4(handle) == bool_true)
+					{ 
+						effect_main_region_Functions_tr4(handle);
+					} 
+				}
+			}
+		}
+	}
+}
+
+/* The reactions of state Menu. */
+static void react_main_region_Menu(Default* handle)
+{
+	/* The reactions of state Menu. */
+	if (check_main_region_Menu_tr0_tr0(handle) == bool_true)
+	{ 
+		effect_main_region_Menu_tr0(handle);
+	}  else
+	{
+		if (check_main_region_Menu_tr1_tr1(handle) == bool_true)
+		{ 
+			effect_main_region_Menu_tr1(handle);
+		}  else
+		{
+			if (check_main_region_Menu_tr2_tr2(handle) == bool_true)
+			{ 
+				effect_main_region_Menu_tr2(handle);
+			}  else
+			{
+				if (check_main_region_Menu_tr3_tr3(handle) == bool_true)
+				{ 
+					effect_main_region_Menu_tr3(handle);
+				} 
+			}
+		}
+	}
+}
+
+/* The reactions of state Ready. */
+static void react_main_region_Ready(Default* handle)
+{
+	/* The reactions of state Ready. */
+	if (check_main_region_Ready_tr0_tr0(handle) == bool_true)
+	{ 
+		effect_main_region_Ready_tr0(handle);
+	} 
+}
+
+/* The reactions of state Function Selected. */
+static void react_main_region_Function_Selected(Default* handle)
+{
+	/* The reactions of state Function Selected. */
+	if (check_main_region_Function_Selected_tr0_tr0(handle) == bool_true)
+	{ 
+		effect_main_region_Function_Selected_tr0(handle);
+	}  else
+	{
+		if (check_main_region_Function_Selected_tr1_tr1(handle) == bool_true)
+		{ 
+			effect_main_region_Function_Selected_tr1(handle);
+		} 
+	}
+}
+
+/* The reactions of state Function Ready. */
+static void react_r1_Function_Ready(Default* handle)
+{
+	/* The reactions of state Function Ready. */
+	if (check_r1_Function_Ready_tr0_tr0(handle) == bool_true)
+	{ 
+		effect_r1_Function_Ready_tr0(handle);
+	} 
+}
+
+/* The reactions of state Function Active. */
+static void react_r1_Function_Active(Default* handle)
+{
+	/* The reactions of state Function Active. */
+	if (check_r1_Function_Active_tr0_tr0(handle) == bool_true)
+	{ 
+		effect_r1_Function_Active_tr0(handle);
+	}  else
+	{
+		if (check_r1_Function_Active_tr1_tr1(handle) == bool_true)
+		{ 
+			effect_r1_Function_Active_tr1(handle);
+		} 
+	}
+}
+
+/* The reactions of state Alarm. */
+static void react_r1_Alarm(Default* handle)
+{
+	/* The reactions of state Alarm. */
+	if (check_r1_Alarm_tr0_tr0(handle) == bool_true)
+	{ 
+		effect_r1_Alarm_tr0(handle);
+	}  else
+	{
+		if (check_r1_Alarm_tr1_tr1(handle) == bool_true)
+		{ 
+			effect_r1_Alarm_tr1(handle);
+		} 
+	}
+}
+
+/* The reactions of state Move Down. */
+static void react_r1_Move_Down(Default* handle)
+{
+	/* The reactions of state Move Down. */
+	if (check_r1_Move_Down_tr0_tr0(handle) == bool_true)
+	{ 
+		effect_r1_Move_Down_tr0(handle);
+	}  else
+	{
+		if (check_r1_Move_Down_tr1_tr1(handle) == bool_true)
+		{ 
+			effect_r1_Move_Down_tr1(handle);
+		} 
+	}
+}
+
+/* The reactions of state Move Up. */
+static void react_r1_Move_Up(Default* handle)
+{
+	/* The reactions of state Move Up. */
+	if (check_r1_Move_Up_tr0_tr0(handle) == bool_true)
+	{ 
+		effect_r1_Move_Up_tr0(handle);
+	}  else
+	{
+		if (check_r1_Move_Up_tr1_tr1(handle) == bool_true)
+		{ 
+			effect_r1_Move_Up_tr1(handle);
+		} 
+	}
+}
+
+/* Default react sequence for initial entry  */
+static void react_main_region__entry_Default(Default* handle)
+{
+	/* Default react sequence for initial entry  */
+	enseq_main_region_Ready_default(handle);
+}
+
+/* Default react sequence for initial entry  */
+static void react_r1__entry_Default(Default* handle)
+{
+	/* Default react sequence for initial entry  */
+	enseq_r1_Function_Ready_default(handle);
+}
+
+
+