/* sscc : C CODE OF SORTED EQUATIONS pump - SIMULATION MODE */ /* AUXILIARY DECLARATIONS */ #ifndef STRLEN #define STRLEN 81 #endif #define _COND(A,B,C) ((A)?(B):(C)) #ifdef TRACE_ACTION #include #endif #ifndef NULL #define NULL ((char*)0) #endif #ifndef __EXEC_STATUS_H_LOADED #define __EXEC_STATUS_H_LOADED typedef struct { unsigned int start:1; unsigned int kill:1; unsigned int active:1; unsigned int suspended:1; unsigned int prev_active:1; unsigned int prev_suspended:1; unsigned int exec_index; unsigned int task_exec_index; void (*pStart)(); int (*pRet)(); } __ExecStatus; #endif #define __ResetExecStatus(status) {\ status.prev_active = status.active; \ status.prev_suspended = status.suspended; \ status.start = status.kill = status.active = status.suspended = 0; } #define __DSZ(V) (--(V)<=0) #define BASIC_TYPES_DEFINED typedef int boolean; typedef int integer; typedef char* string; #define CSIMUL_H_LOADED typedef struct {char text[STRLEN];} symbolic; extern void _boolean(); extern boolean _eq_boolean(); extern boolean _ne_boolean(); extern boolean _cond_boolean(); extern char* _boolean_to_text(); extern int _check_boolean(); extern void _text_to_boolean(); extern void _integer(); extern boolean _eq_integer(); extern boolean _ne_integer(); extern integer _cond_integer(); extern char* _integer_to_text(); extern int _check_integer(); extern void _text_to_integer(); extern void _string(); extern boolean _eq_string(); extern boolean _ne_string(); extern string _cond_string(); extern char* _string_to_text(); extern int _check_string(); extern void _text_to_string(); extern void _float(); extern boolean _eq_float(); extern boolean _ne_float(); extern float _cond_float(); extern char* _float_to_text(); extern int _check_float(); extern void _text_to_float(); extern void _double(); extern boolean _eq_double(); extern boolean _ne_double(); extern double _cond_double(); extern char* _double_to_text(); extern int _check_double(); extern void _text_to_double(); extern void _symbolic(); extern boolean _eq_symbolic(); extern boolean _ne_symbolic(); extern symbolic _cond_symbolic(); extern char* _symbolic_to_text(); extern int _check_symbolic(); extern void _text_to_symbolic(); extern char* __PredefinedTypeToText(); #define _true 1 #define _false 0 #define __pump_GENERIC_TEST(TEST) return TEST; typedef (*__pump_APF)(); extern __pump_APF *__pump_PActionArray; extern int **__pump_PCheckArray; struct __SourcePoint { int linkback; int line; int column; int instance_index; }; struct __InstanceEntry { char *module_name; int father_index; char *dir_name; char *file_name; struct __SourcePoint source_point; struct __SourcePoint end_point; struct __SourcePoint instance_point; }; struct __TaskEntry { char *name; int nb_args_ref; int nb_args_val; int *type_codes_array; struct __SourcePoint source_point; }; struct __SignalEntry { char *name; int code; int variable_index; int present; struct __SourcePoint source_point; }; struct __InputEntry { char *name; int hash; char *type_name; int is_a_sensor; int type_code; int multiple; int signal_index; int (*p_check_input)(); int (*p_input_function)(); int present; struct __SourcePoint source_point; }; struct __ReturnEntry { char *name; int hash; char *type_name; int type_code; int signal_index; int exec_index; int (*p_check_input)(); int (*p_input_function)(); int present; struct __SourcePoint source_point; }; struct __ImplicationEntry { int master; int slave; struct __SourcePoint source_point; }; struct __ExclusionEntry { int *exclusion_list; struct __SourcePoint source_point; }; struct __VariableEntry { char *full_name; char *short_name; char *type_name; int type_code; int comment_kind; int is_initialized; char *p_variable; char *source_name; int written; unsigned char written_in_transition; unsigned char read_in_transition; struct __SourcePoint source_point; }; struct __ExecEntry { int task_index; int *var_indexes_array; char **p_values_array; struct __SourcePoint source_point; }; struct __HaltEntry { struct __SourcePoint source_point; }; struct __NetEntry { int known; int value; int number_of_source_points; struct __SourcePoint* source_point_array; }; struct __ModuleEntry { char *version_id; char *name; int number_of_instances; int number_of_tasks; int number_of_signals; int number_of_inputs; int number_of_returns; int number_of_sensors; int number_of_outputs; int number_of_locals; int number_of_exceptions; int number_of_implications; int number_of_exclusions; int number_of_variables; int number_of_execs; int number_of_halts; int number_of_nets; int number_of_states; int state; unsigned short *halt_list; unsigned short *awaited_list; unsigned short *emitted_list; unsigned short *started_list; unsigned short *killed_list; unsigned short *suspended_list; unsigned short *active_list; int run_time_error_code; int error_info; int (*init)(); int (*run)(); int (*reset)(); char *(*show_variable)(); int (*set_variable)(); int (*check_value)(); int (*execute_action)(); struct __InstanceEntry* instance_table; struct __TaskEntry* task_table; struct __SignalEntry* signal_table; struct __InputEntry* input_table; struct __ReturnEntry* return_table; struct __ImplicationEntry* implication_table; struct __ExclusionEntry* exclusion_table; struct __VariableEntry* variable_table; struct __ExecEntry* exec_table; struct __HaltEntry* halt_table; struct __NetEntry* net_table; }; /* EXTERN DECLARATIONS */ extern int __CheckVariables(); extern __ResetInput(); extern __ResetExecs(); extern __ResetVariables(); extern __ResetVariableStatus(); extern __AppendToList(); extern __ListCopy(); #ifndef _NO_EXTERN_DEFINITIONS #endif /* INITIALIZED CONSTANTS */ /* MEMORY ALLOCATION */ static boolean __pump_V0; static boolean __pump_V1; static boolean __pump_V2; static boolean __pump_V3; static boolean __pump_V4; static boolean __pump_V5; static boolean __pump_V6; static boolean __pump_V7; static unsigned short __pump_HaltList[10]; static unsigned short __pump_AwaitedList[13]; static unsigned short __pump_EmittedList[13]; static unsigned short __pump_StartedList[1]; static unsigned short __pump_KilledList[1]; static unsigned short __pump_SuspendedList[1]; static unsigned short __pump_ActiveList[1]; static unsigned short __pump_AllAwaitedList[13]={8,0,1,2,3,4,5,6,7}; /* INPUT FUNCTIONS */ pump_I_start () { __pump_V0 = _true; } pump_IS_start () { __pump_V0 = _true; } pump_I_stop () { __pump_V1 = _true; } pump_IS_stop () { __pump_V1 = _true; } pump_I_methane () { __pump_V2 = _true; } pump_IS_methane () { __pump_V2 = _true; } pump_I_co () { __pump_V3 = _true; } pump_IS_co () { __pump_V3 = _true; } pump_I_hw_level () { __pump_V4 = _true; } pump_IS_hw_level () { __pump_V4 = _true; } pump_I_lw_level () { __pump_V5 = _true; } pump_IS_lw_level () { __pump_V5 = _true; } pump_I_manual () { __pump_V6 = _true; } pump_IS_manual () { __pump_V6 = _true; } pump_I_auto () { __pump_V7 = _true; } pump_IS_auto () { __pump_V7 = _true; } /* FUNCTIONS RETURNING NUMBER OF EXEC */ int pump_number_of_execs () { return (0); } /* AUTOMATON (STATE ACTION-TREES) */ /* ACTIONS */ /* PREDEFINED ACTIONS */ /* PRESENT SIGNAL TESTS */ static int __pump_A1 () { __pump_GENERIC_TEST(__pump_V0); } static int __pump_Check1 [] = {1,0,0}; static int __pump_A2 () { __pump_GENERIC_TEST(__pump_V1); } static int __pump_Check2 [] = {1,0,0}; static int __pump_A3 () { __pump_GENERIC_TEST(__pump_V2); } static int __pump_Check3 [] = {1,0,0}; static int __pump_A4 () { __pump_GENERIC_TEST(__pump_V3); } static int __pump_Check4 [] = {1,0,0}; static int __pump_A5 () { __pump_GENERIC_TEST(__pump_V4); } static int __pump_Check5 [] = {1,0,0}; static int __pump_A6 () { __pump_GENERIC_TEST(__pump_V5); } static int __pump_Check6 [] = {1,0,0}; static int __pump_A7 () { __pump_GENERIC_TEST(__pump_V6); } static int __pump_Check7 [] = {1,0,0}; static int __pump_A8 () { __pump_GENERIC_TEST(__pump_V7); } static int __pump_Check8 [] = {1,0,0}; /* OUTPUT ACTIONS */ static int __pump_A9 () { #ifdef __OUTPUT pump_O_auto(); #endif __AppendToList(__pump_EmittedList,7); return 0; } static int __pump_Check9 [] = {1,0,0}; static int __pump_A10 () { #ifdef __OUTPUT pump_O_p_run(); #endif __AppendToList(__pump_EmittedList,8); return 0; } static int __pump_Check10 [] = {1,0,0}; static int __pump_A11 () { #ifdef __OUTPUT pump_O_p_stop(); #endif __AppendToList(__pump_EmittedList,9); return 0; } static int __pump_Check11 [] = {1,0,0}; static int __pump_A12 () { #ifdef __OUTPUT pump_O_m_alarm(); #endif __AppendToList(__pump_EmittedList,10); return 0; } static int __pump_Check12 [] = {1,0,0}; static int __pump_A13 () { #ifdef __OUTPUT pump_O_c_alarm(); #endif __AppendToList(__pump_EmittedList,11); return 0; } static int __pump_Check13 [] = {1,0,0}; /* ASSIGNMENTS */ /* PROCEDURE CALLS */ /* CONDITIONS */ /* DECREMENTS */ /* START ACTIONS */ /* KILL ACTIONS */ /* SUSPEND ACTIONS */ /* ACTIVATE ACTIONS */ /* WRITE ARGS ACTIONS */ /* RESET ACTIONS */ /* ACTION SEQUENCES */ static int *__pump_CheckArray[] = { 0,__pump_Check1,__pump_Check2,__pump_Check3,__pump_Check4,__pump_Check5,__pump_Check6,__pump_Check7,__pump_Check8,__pump_Check9,__pump_Check10,__pump_Check11,__pump_Check12,__pump_Check13 }; static int **__pump_PCheckArray = __pump_CheckArray; /* INIT FUNCTION */ #ifndef NO_INIT pump_initialize () { } #endif /* SHOW VARIABLE FUNCTION */ char* __pump_show_variable (__V) int __V; { extern struct __VariableEntry __pump_VariableTable[]; struct __VariableEntry* p_var = &__pump_VariableTable[__V]; if (p_var->type_code < 0) {return __PredefinedTypeToText(p_var->type_code, p_var->p_variable); } else { switch (p_var->type_code) { default: return 0; } } } /* SET VARIABLE FUNCTION */ static __pump_set_variable(__Type, __pVar, __Text) int __Type; char* __pVar; char* __Text; { } /* CHECK VALUE FUNCTION */ static int __pump_check_value (__Type,__Text) int __Type; char* __Text; { } /* SIMULATION TABLES */ struct __InstanceEntry __pump_InstanceTable [] = { {"pump",0,"","simple.strl",{1,23,1,0},{1,74,1,0},{0,0,0,0}}, }; struct __SignalEntry __pump_SignalTable [] = { {"start",33,0,0,{1,26,7,0}}, {"stop",33,0,0,{1,26,13,0}}, {"methane",33,0,0,{1,26,18,0}}, {"co",33,0,0,{1,26,26,0}}, {"hw_level",33,0,0,{1,26,29,0}}, {"lw_level",33,0,0,{1,26,38,0}}, {"manual",33,0,0,{1,26,47,0}}, {"auto",35,0,0,{1,28,13,0}}, {"p_run",34,0,0,{1,30,8,0}}, {"p_stop",34,0,0,{1,30,14,0}}, {"m_alarm",34,0,0,{1,30,21,0}}, {"c_alarm",34,0,0,{1,30,29,0}}}; struct __InputEntry __pump_InputTable [] = { {"start",53,0,0,-1,0,0,0,pump_IS_start,0,{1,26,7,0}}, {"stop",50,0,0,-1,0,1,0,pump_IS_stop,0,{1,26,13,0}}, {"methane",31,0,0,-1,0,2,0,pump_IS_methane,0,{1,26,18,0}}, {"co",8,0,0,-1,0,3,0,pump_IS_co,0,{1,26,26,0}}, {"hw_level",46,0,0,-1,0,4,0,pump_IS_hw_level,0,{1,26,29,0}}, {"lw_level",50,0,0,-1,0,5,0,pump_IS_lw_level,0,{1,26,38,0}}, {"manual",32,0,0,-1,0,6,0,pump_IS_manual,0,{1,26,47,0}}, {"auto",37,0,0,-1,0,7,0,pump_IS_auto,0,{1,28,13,0}}}; struct __VariableEntry __pump_VariableTable [] = { {"__pump_V0","V0","boolean",-2,2,0,(char*)&__pump_V0,"start",0,0,0,{1,26,7,0}}, {"__pump_V1","V1","boolean",-2,2,0,(char*)&__pump_V1,"stop",0,0,0,{1,26,13,0}}, {"__pump_V2","V2","boolean",-2,2,0,(char*)&__pump_V2,"methane",0,0,0,{1,26,18,0}}, {"__pump_V3","V3","boolean",-2,2,0,(char*)&__pump_V3,"co",0,0,0,{1,26,26,0}}, {"__pump_V4","V4","boolean",-2,2,0,(char*)&__pump_V4,"hw_level",0,0,0,{1,26,29,0}}, {"__pump_V5","V5","boolean",-2,2,0,(char*)&__pump_V5,"lw_level",0,0,0,{1,26,38,0}}, {"__pump_V6","V6","boolean",-2,2,0,(char*)&__pump_V6,"manual",0,0,0,{1,26,47,0}}, {"__pump_V7","V7","boolean",-2,2,0,(char*)&__pump_V7,"auto",0,0,0,{1,28,13,0}} }; struct __HaltEntry __pump_HaltTable [] = { {{1,74,1,0}}, {{1,37,6,0}}, {{1,38,6,0}}, {{1,40,8,0}}, {{1,48,6,0}}, {{1,49,6,0}}, {{1,51,8,0}}, {{1,61,1,0}}, {{1,68,1,0}} }; static __pump__reset_input () { __pump_V0 = _false; __pump_V1 = _false; __pump_V2 = _false; __pump_V3 = _false; __pump_V4 = _false; __pump_V5 = _false; __pump_V6 = _false; __pump_V7 = _false; } /* MODULE DATA FOR SIMULATION */ int pump(); int pump_reset(); static struct __ModuleEntry __pump_ModuleData = { "Simulation interface release 4","pump", 1,0,12,8,0,0,5,0,0,0,0,8,0,9,0,0,0, __pump_HaltList, __pump_AwaitedList, __pump_EmittedList, __pump_StartedList, __pump_KilledList, __pump_SuspendedList, __pump_ActiveList, 0,0, pump_initialize,pump,pump_reset, __pump_show_variable,__pump_set_variable,__pump_check_value,0, __pump_InstanceTable, 0, __pump_SignalTable,__pump_InputTable,0, 0,0, __pump_VariableTable, 0, __pump_HaltTable, 0}; /* REDEFINABLE BIT TYPE */ #ifndef __SSC_BIT_TYPE_DEFINED typedef char __SSC_BIT_TYPE; #endif /* REGISTER VARIABLES */ static __SSC_BIT_TYPE __pump_R[9] = {_true,_false,_false,_false,_false,_false,_false,_false,_false}; /* AUTOMATON ENGINE */ int pump () { /* AUXILIARY VARIABLES */ static __SSC_BIT_TYPE E[14]; __pump_ModuleData.awaited_list = __pump_AwaitedList; __ResetModuleEntryBeforeReaction(); E[0] = (__pump_R[7]&&(__CheckVariables(__pump_CheckArray[3]), #ifdef TRACE_ACTION fprintf(stderr, "test 3\n"), #endif __pump_A3())); if (E[0]) { __AppendToList(__pump_EmittedList,10); } E[1] = ((__CheckVariables(__pump_CheckArray[8]), #ifdef TRACE_ACTION fprintf(stderr, "test 8\n"), #endif __pump_A8())||E[0]); if (E[1]) { __AppendToList(__pump_EmittedList,7); } if (E[1]) { __CheckVariables(__pump_CheckArray[9]);__pump_A9(); #ifdef TRACE_ACTION fprintf(stderr, "__abc_A9\n"); #endif } E[2] = ((__pump_R[4]||__pump_R[6])||__pump_R[5]); E[3] = (E[2]&&!(E[1])); E[4] = (__pump_R[4]&&E[3]); E[5] = (E[4]&&(__CheckVariables(__pump_CheckArray[1]), #ifdef TRACE_ACTION fprintf(stderr, "test 1\n"), #endif __pump_A1())); E[6] = (__pump_R[6]&&E[3]); E[7] = ((__CheckVariables(__pump_CheckArray[3]), #ifdef TRACE_ACTION fprintf(stderr, "test 3\n"), #endif __pump_A3())||(__CheckVariables(__pump_CheckArray[2]), #ifdef TRACE_ACTION fprintf(stderr, "test 2\n"), #endif __pump_A2())); E[3] = (__pump_R[5]&&E[3]); __pump_R[6] = ((((E[5]&&!((__CheckVariables(__pump_CheckArray[3]), #ifdef TRACE_ACTION fprintf(stderr, "test 3\n"), #endif __pump_A3()))))||((__pump_R[6]&&((E[6]&&!(E[7]))))))||((E[3]&&!((__CheckVariables(__pump_CheckArray[3]), #ifdef TRACE_ACTION fprintf(stderr, "test 3\n"), #endif __pump_A3()))))); E[8] = ((__pump_R[1]||__pump_R[3])||__pump_R[2]); E[9] = (E[8]&&!((__CheckVariables(__pump_CheckArray[7]), #ifdef TRACE_ACTION fprintf(stderr, "test 7\n"), #endif __pump_A7()))); E[10] = (__pump_R[1]&&E[9]); E[11] = (E[10]&&(__CheckVariables(__pump_CheckArray[5]), #ifdef TRACE_ACTION fprintf(stderr, "test 5\n"), #endif __pump_A5())); E[12] = (__pump_R[3]&&E[9]); E[13] = ((__CheckVariables(__pump_CheckArray[3]), #ifdef TRACE_ACTION fprintf(stderr, "test 3\n"), #endif __pump_A3())||(__CheckVariables(__pump_CheckArray[6]), #ifdef TRACE_ACTION fprintf(stderr, "test 6\n"), #endif __pump_A6())); E[9] = (__pump_R[2]&&E[9]); __pump_R[3] = ((((E[11]&&!((__CheckVariables(__pump_CheckArray[3]), #ifdef TRACE_ACTION fprintf(stderr, "test 3\n"), #endif __pump_A3()))))||((__pump_R[3]&&((E[12]&&!(E[13]))))))||((E[9]&&!((__CheckVariables(__pump_CheckArray[3]), #ifdef TRACE_ACTION fprintf(stderr, "test 3\n"), #endif __pump_A3()))))); if ((__pump_R[6]||__pump_R[3])) { __AppendToList(__pump_EmittedList,8); } if (((__pump_R[6]||__pump_R[3]))) { __CheckVariables(__pump_CheckArray[10]);__pump_A10(); #ifdef TRACE_ACTION fprintf(stderr, "__abc_A10\n"); #endif } E[7] = (E[6]&&E[7]); E[13] = (E[12]&&E[13]); if ((E[7]||E[13])) { __AppendToList(__pump_EmittedList,9); } if (((E[7]||E[13]))) { __CheckVariables(__pump_CheckArray[11]);__pump_A11(); #ifdef TRACE_ACTION fprintf(stderr, "__abc_A11\n"); #endif } if (E[0]) { __CheckVariables(__pump_CheckArray[12]);__pump_A12(); #ifdef TRACE_ACTION fprintf(stderr, "__abc_A12\n"); #endif } E[12] = (__pump_R[8]&&(__CheckVariables(__pump_CheckArray[4]), #ifdef TRACE_ACTION fprintf(stderr, "test 4\n"), #endif __pump_A4())); if (E[12]) { __AppendToList(__pump_EmittedList,11); } if (E[12]) { __CheckVariables(__pump_CheckArray[13]);__pump_A13(); #ifdef TRACE_ACTION fprintf(stderr, "__abc_A13\n"); #endif } E[6] = !(_true); __pump_R[1] = (((__pump_R[0]||((((E[10]&&!((__CheckVariables(__pump_CheckArray[5]), #ifdef TRACE_ACTION fprintf(stderr, "test 5\n"), #endif __pump_A5()))))&&__pump_R[1])))||((E[2]&&E[1])))||E[13]); __pump_R[4] = ((((E[8]&&(__CheckVariables(__pump_CheckArray[7]), #ifdef TRACE_ACTION fprintf(stderr, "test 7\n"), #endif __pump_A7())))||((((E[4]&&!((__CheckVariables(__pump_CheckArray[1]), #ifdef TRACE_ACTION fprintf(stderr, "test 1\n"), #endif __pump_A1()))))&&__pump_R[4])))||E[7]); __pump_R[5] = (((E[5]&&(__CheckVariables(__pump_CheckArray[3]), #ifdef TRACE_ACTION fprintf(stderr, "test 3\n"), #endif __pump_A3())))||((((E[3]&&(__CheckVariables(__pump_CheckArray[3]), #ifdef TRACE_ACTION fprintf(stderr, "test 3\n"), #endif __pump_A3())))&&__pump_R[5]))); __pump_R[2] = (((E[11]&&(__CheckVariables(__pump_CheckArray[3]), #ifdef TRACE_ACTION fprintf(stderr, "test 3\n"), #endif __pump_A3())))||((((E[9]&&(__CheckVariables(__pump_CheckArray[3]), #ifdef TRACE_ACTION fprintf(stderr, "test 3\n"), #endif __pump_A3())))&&__pump_R[2]))); E[9] = ((__pump_R[0]||((((__pump_R[7]&&!((__CheckVariables(__pump_CheckArray[3]), #ifdef TRACE_ACTION fprintf(stderr, "test 3\n"), #endif __pump_A3()))))&&__pump_R[7])))||E[0]); E[11] = ((__pump_R[0]||((((__pump_R[8]&&!((__CheckVariables(__pump_CheckArray[4]), #ifdef TRACE_ACTION fprintf(stderr, "test 4\n"), #endif __pump_A4()))))&&__pump_R[8])))||E[12]); E[2] = (E[8]||E[2]); E[8] = ((E[2]||__pump_R[7])||__pump_R[8]); E[8] = ((((((((((((__pump_R[1]||__pump_R[4])||__pump_R[6])||__pump_R[5])||__pump_R[3])||__pump_R[2])||E[9])||E[11]))&&(((((((((E[8]&&!(E[2])))||__pump_R[1])||__pump_R[4])||__pump_R[6])||__pump_R[5])||__pump_R[3])||__pump_R[2])))&&((((E[8]&&!(__pump_R[7])))||E[9])))&&((((E[8]&&!(__pump_R[8])))||E[11])))); __pump_R[0] = !(_true); if (__pump_R[1]) { __AppendToList(__pump_HaltList,1); } if (__pump_R[2]) { __AppendToList(__pump_HaltList,2); } if (__pump_R[3]) { __AppendToList(__pump_HaltList,3); } if (__pump_R[4]) { __AppendToList(__pump_HaltList,4); } if (__pump_R[5]) { __AppendToList(__pump_HaltList,5); } if (__pump_R[6]) { __AppendToList(__pump_HaltList,6); } __pump_R[7] = E[9]; if (__pump_R[7]) { __AppendToList(__pump_HaltList,7); } __pump_R[8] = E[11]; if (__pump_R[8]) { __AppendToList(__pump_HaltList,8); } if (!E[8]) { __AppendToList(__pump_HaltList,0); } __ResetModuleEntryAfterReaction(); __pump_ModuleData.awaited_list = __pump_AllAwaitedList; __pump__reset_input(); return E[8]; } /* AUTOMATON RESET */ int pump_reset () { __pump_ModuleData.awaited_list = __pump_AwaitedList; __ResetModuleEntry(); __pump_ModuleData.awaited_list = __pump_AllAwaitedList; __pump_ModuleData.state = 0; __pump_R[0] = _true; __pump_R[1] = _false; __pump_R[2] = _false; __pump_R[3] = _false; __pump_R[4] = _false; __pump_R[5] = _false; __pump_R[6] = _false; __pump_R[7] = _false; __pump_R[8] = _false; __pump__reset_input(); return 0; } char* CompilationType = "Compiled Sorted Equations"; int __NumberOfModules = 1; struct __ModuleEntry* __ModuleTable[] = { &__pump_ModuleData };