lbessard@17: /* lbessard@17: * (c) 2007 Mario de Sousa, Laurent Bessard lbessard@17: * lbessard@17: * Offered to the public under the terms of the GNU General Public License lbessard@17: * as published by the Free Software Foundation; either version 2 of the lbessard@17: * License, or (at your option) any later version. lbessard@17: * lbessard@17: * This program is distributed in the hope that it will be useful, but lbessard@17: * WITHOUT ANY WARRANTY; without even the implied warranty of lbessard@17: * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General lbessard@17: * Public License for more details. lbessard@17: * lbessard@17: * This code is made available on the understanding that it will not be lbessard@17: * used in safety-critical situations without a full and competent review. lbessard@17: */ lbessard@17: lbessard@17: /* lbessard@17: * An IEC 61131-3 IL and ST compiler. lbessard@17: * lbessard@17: * Based on the lbessard@17: * FINAL DRAFT - IEC 61131-3, 2nd Ed. (2001-12-10) lbessard@17: * lbessard@17: */ lbessard@17: lbessard@17: lbessard@17: /* lbessard@17: * Conversion of sfc networks (i.e. SFC code). lbessard@17: * lbessard@17: * This is part of the 4th stage that generates lbessard@17: * a c++ source program equivalent to the SFC, IL and ST lbessard@17: * code. lbessard@17: */ lbessard@17: lbessard@52: #include lbessard@52: lbessard@52: typedef struct lbessard@52: { lbessard@52: transition_c *symbol; lbessard@52: int priority; lbessard@52: int index; lbessard@52: } TRANSITION; lbessard@52: lbessard@52: lbessard@52: lbessard@17: lbessard@17: lbessard@17: /***********************************************************************/ lbessard@17: /***********************************************************************/ lbessard@17: /***********************************************************************/ lbessard@17: /***********************************************************************/ lbessard@17: lbessard@52: class generate_cc_sfc_elements_c: public generate_cc_base_c { lbessard@19: lbessard@19: public: lbessard@52: typedef enum { lbessard@52: transitionlist_sg, lbessard@52: transitiontest_sg, lbessard@52: stepset_sg, lbessard@52: stepreset_sg, lbessard@52: actionassociation_sg, lbessard@52: actionbody_sg lbessard@52: } sfcgeneration_t; lbessard@52: lbessard@52: private: lbessard@52: generate_cc_il_c *generate_cc_il; lbessard@52: generate_cc_st_c *generate_cc_st; lbessard@52: generate_cc_SFC_IL_ST_c *generate_cc_code; lbessard@52: lbessard@52: int transition_number; lbessard@52: std::list transition_list; lbessard@52: lbessard@52: symbol_c *current_step; lbessard@52: symbol_c *current_action; lbessard@52: lbessard@52: sfcgeneration_t wanted_sfcgeneration; lbessard@52: lbessard@52: public: lbessard@52: generate_cc_sfc_elements_c(stage4out_c *s4o_ptr, symbol_c *scope, const char *variable_prefix = NULL) lbessard@19: : generate_cc_base_c(s4o_ptr) { lbessard@52: generate_cc_il = new generate_cc_il_c(s4o_ptr, scope, variable_prefix); lbessard@52: generate_cc_st = new generate_cc_st_c(s4o_ptr, scope, variable_prefix); lbessard@52: generate_cc_code = new generate_cc_SFC_IL_ST_c(s4o_ptr, scope, variable_prefix); lbessard@19: this->set_variable_prefix(variable_prefix); lbessard@19: } lbessard@19: lbessard@52: ~generate_cc_sfc_elements_c(void) { lbessard@52: delete generate_cc_il; lbessard@52: delete generate_cc_st; lbessard@52: delete generate_cc_code; lbessard@52: } lbessard@52: lbessard@19: void reset_transition_number(void) {transition_number = 0;} lbessard@52: lbessard@52: void generate(symbol_c *symbol, sfcgeneration_t generation_type) { lbessard@52: wanted_sfcgeneration = generation_type; lbessard@52: switch (wanted_sfcgeneration) { lbessard@52: case transitiontest_sg: lbessard@52: { lbessard@52: std::list::iterator pt; lbessard@52: for(pt = transition_list.begin(); pt != transition_list.end(); pt++) { lbessard@52: transition_number = pt->index; lbessard@52: pt->symbol->accept(*this); lbessard@52: } lbessard@52: } lbessard@52: break; lbessard@52: default: lbessard@52: symbol->accept(*this); lbessard@52: break; lbessard@52: } lbessard@52: } lbessard@52: lbessard@19: void print_step_argument(symbol_c *step_name, const char* argument) { lbessard@19: print_variable_prefix(); lbessard@19: s4o.print("step_list["); lbessard@19: s4o.print(SFC_STEP_ACTION_PREFIX); lbessard@19: step_name->accept(*this); lbessard@19: s4o.print("]."); lbessard@19: s4o.print(argument); lbessard@19: } lbessard@19: lbessard@17: void print_action_argument(symbol_c *action_name, const char* argument) { lbessard@17: print_variable_prefix(); lbessard@17: s4o.print("action_list["); lbessard@18: s4o.print(SFC_STEP_ACTION_PREFIX); lbessard@17: action_name->accept(*this); lbessard@17: s4o.print("]."); lbessard@17: s4o.print(argument); lbessard@52: } lbessard@52: lbessard@52: void print_transition_number(void) { lbessard@52: char str[10]; lbessard@52: sprintf(str, "%d", transition_number); lbessard@52: s4o.print(str); lbessard@52: } lbessard@52: lbessard@52: void print_reset_step(symbol_c *step_name) { lbessard@52: s4o.print(s4o.indent_spaces); lbessard@52: print_step_argument(step_name, "state"); lbessard@52: s4o.print(" = 0;\n"); lbessard@52: } lbessard@52: lbessard@52: void print_set_step(symbol_c *step_name) { lbessard@52: s4o.print(s4o.indent_spaces); lbessard@52: print_step_argument(step_name, "state"); lbessard@52: s4o.print(" = 1;\n" + s4o.indent_spaces); lbessard@52: print_step_argument(step_name, "elapsed_time"); lbessard@52: s4o.print(" = __time_to_timespec(1, 0, 0, 0, 0, 0);\n"); lbessard@52: } lbessard@52: lbessard@17: lbessard@17: /*********************************************/ lbessard@17: /* B.1.6 Sequential function chart elements */ lbessard@17: /*********************************************/ lbessard@17: lbessard@17: void *visit(initial_step_c *symbol) { lbessard@52: switch (wanted_sfcgeneration) { lbessard@52: case actionassociation_sg: lbessard@52: if (((list_c*)symbol->action_association_list)->n > 0) { lbessard@52: s4o.print(s4o.indent_spaces + "// "); lbessard@52: symbol->step_name->accept(*this); lbessard@52: s4o.print(" action associations\n"); lbessard@52: current_step = symbol->step_name; lbessard@52: s4o.print(s4o.indent_spaces + "{\n"); lbessard@52: s4o.indent_right(); lbessard@52: s4o.print(s4o.indent_spaces + "char activated = "); lbessard@52: print_step_argument(current_step, "state"); lbessard@52: s4o.print(" && !"); lbessard@52: print_step_argument(current_step, "prev_state"); lbessard@52: s4o.print(";\n"); lbessard@52: s4o.print(s4o.indent_spaces + "char desactivated = !"); lbessard@52: print_step_argument(current_step, "state"); lbessard@52: s4o.print(" && "); lbessard@52: print_step_argument(current_step, "prev_state"); lbessard@52: s4o.print(";\n"); lbessard@52: s4o.print(s4o.indent_spaces + "char active = "); lbessard@52: print_step_argument(current_step, "state"); lbessard@52: s4o.print(";\n"); lbessard@52: symbol->action_association_list->accept(*this); lbessard@52: s4o.indent_left(); lbessard@52: s4o.print(s4o.indent_spaces + "}\n\n"); lbessard@52: } lbessard@52: break; lbessard@52: default: lbessard@52: break; lbessard@18: } lbessard@17: return NULL; lbessard@17: } lbessard@17: lbessard@17: void *visit(step_c *symbol) { lbessard@52: switch (wanted_sfcgeneration) { lbessard@52: case actionassociation_sg: lbessard@52: if (((list_c*)symbol->action_association_list)->n > 0) { lbessard@52: s4o.print(s4o.indent_spaces + "// "); lbessard@52: symbol->step_name->accept(*this); lbessard@52: s4o.print(" action associations\n"); lbessard@52: current_step = symbol->step_name; lbessard@52: s4o.print(s4o.indent_spaces + "{\n"); lbessard@52: s4o.indent_right(); lbessard@52: s4o.print(s4o.indent_spaces + "char activated = "); lbessard@52: print_step_argument(current_step, "state"); lbessard@52: s4o.print(" && !"); lbessard@52: print_step_argument(current_step, "prev_state"); lbessard@52: s4o.print(";\n"); lbessard@52: s4o.print(s4o.indent_spaces + "char desactivated = !"); lbessard@52: print_step_argument(current_step, "state"); lbessard@52: s4o.print(" && "); lbessard@52: print_step_argument(current_step, "prev_state"); lbessard@52: s4o.print(";\n"); lbessard@52: s4o.print(s4o.indent_spaces + "char active = "); lbessard@52: print_step_argument(current_step, "state"); lbessard@52: s4o.print(";\n"); lbessard@52: symbol->action_association_list->accept(*this); lbessard@52: s4o.indent_left(); lbessard@52: s4o.print(s4o.indent_spaces + "}\n\n"); lbessard@52: } lbessard@52: break; lbessard@52: default: lbessard@52: break; lbessard@52: } lbessard@52: return NULL; lbessard@52: } lbessard@52: lbessard@52: void *visit(transition_c *symbol) { lbessard@52: switch (wanted_sfcgeneration) { lbessard@52: case transitionlist_sg: lbessard@52: { lbessard@52: TRANSITION *transition; lbessard@52: transition = new TRANSITION; lbessard@52: transition->symbol = symbol; lbessard@52: transition->index = transition_number; lbessard@52: if (symbol->integer != NULL) { lbessard@52: transition->priority = atoi(((token_c *)symbol->integer)->value); lbessard@52: std::list::iterator pt = transition_list.begin(); lbessard@52: while (pt != transition_list.end() && pt->priority > transition->priority) { lbessard@52: pt++; lbessard@52: } lbessard@52: transition_list.insert(pt, *transition); lbessard@52: } lbessard@52: else { lbessard@52: transition->priority = 0; lbessard@52: transition_list.push_back(*transition); lbessard@52: } lbessard@52: transition_number++; lbessard@52: } lbessard@52: break; lbessard@52: case transitiontest_sg: lbessard@52: s4o.print(s4o.indent_spaces + "if ("); lbessard@52: symbol->from_steps->accept(*this); lbessard@52: s4o.print(") {\n"); lbessard@52: s4o.indent_right(); lbessard@52: lbessard@52: // Calculate transition value lbessard@52: if (symbol->transition_condition_il != NULL) { lbessard@52: generate_cc_il->declare_backup_variable(); lbessard@52: s4o.print(s4o.indent_spaces); lbessard@52: symbol->transition_condition_il->accept(*generate_cc_il); lbessard@52: print_variable_prefix(); lbessard@52: s4o.print("transition_list["); lbessard@52: print_transition_number(); lbessard@52: s4o.print("] = "); lbessard@52: generate_cc_il->print_backup_variable(); lbessard@52: s4o.print(";\n"); lbessard@52: } lbessard@52: if (symbol->transition_condition_st != NULL) { lbessard@52: s4o.print(s4o.indent_spaces); lbessard@52: print_variable_prefix(); lbessard@52: s4o.print("transition_list["); lbessard@52: print_transition_number(); lbessard@52: s4o.print("] = "); lbessard@52: symbol->transition_condition_st->accept(*generate_cc_st); lbessard@52: s4o.print(";\n"); lbessard@52: } lbessard@52: if (symbol->integer != NULL) { lbessard@52: s4o.print(s4o.indent_spaces + "if ("); lbessard@52: print_variable_prefix(); lbessard@52: s4o.print("transition_list["); lbessard@52: print_transition_number(); lbessard@52: s4o.print("]) {\n"); lbessard@52: s4o.indent_right(); lbessard@52: wanted_sfcgeneration = stepreset_sg; lbessard@52: symbol->from_steps->accept(*this); lbessard@52: wanted_sfcgeneration = transitiontest_sg; lbessard@52: s4o.indent_left(); lbessard@52: s4o.print(s4o.indent_spaces + "}\n"); lbessard@52: } lbessard@52: s4o.indent_left(); lbessard@52: s4o.print(s4o.indent_spaces + "}\n" + s4o.indent_spaces + "else {\n"); lbessard@52: s4o.indent_right(); lbessard@52: s4o.print(s4o.indent_spaces); lbessard@52: print_variable_prefix(); lbessard@52: s4o.print("transition_list["); lbessard@52: print_transition_number(); lbessard@52: s4o.print("] = 0;\n"); lbessard@52: s4o.indent_left(); lbessard@52: s4o.print(s4o.indent_spaces + "}\n"); lbessard@52: break; lbessard@52: case stepset_sg: lbessard@52: s4o.print(s4o.indent_spaces + "if ("); lbessard@52: print_variable_prefix(); lbessard@52: s4o.print("transition_list["); lbessard@52: print_transition_number(); lbessard@52: s4o.print("]) {\n"); lbessard@52: s4o.indent_right(); lbessard@52: symbol->to_steps->accept(*this); lbessard@52: s4o.indent_left(); lbessard@52: s4o.print(s4o.indent_spaces + "}\n"); lbessard@52: transition_number++; lbessard@52: break; lbessard@52: case stepreset_sg: lbessard@52: if (symbol->integer == NULL) { lbessard@52: s4o.print(s4o.indent_spaces + "if ("); lbessard@52: print_variable_prefix(); lbessard@52: s4o.print("transition_list["); lbessard@52: print_transition_number(); lbessard@52: s4o.print("]) {\n"); lbessard@52: s4o.indent_right(); lbessard@52: symbol->from_steps->accept(*this); lbessard@52: s4o.indent_left(); lbessard@52: s4o.print(s4o.indent_spaces + "}\n"); lbessard@52: } lbessard@52: transition_number++; lbessard@52: break; lbessard@52: default: lbessard@52: break; lbessard@52: } lbessard@52: return NULL; lbessard@52: } lbessard@52: lbessard@52: void *visit(action_c *symbol) { lbessard@52: switch (wanted_sfcgeneration) { lbessard@52: case actionbody_sg: lbessard@52: s4o.print(s4o.indent_spaces + "if("); lbessard@52: print_variable_prefix(); lbessard@52: s4o.print("action_list["); lbessard@52: s4o.print(SFC_STEP_ACTION_PREFIX); lbessard@52: symbol->action_name->accept(*this); lbessard@52: s4o.print("].state) {"); lbessard@52: s4o.indent_right(); lbessard@52: lbessard@52: // generate action code lbessard@52: symbol->function_block_body->accept(*generate_cc_code); lbessard@52: lbessard@52: s4o.indent_left(); lbessard@52: s4o.print(s4o.indent_spaces + "}\n\n"); lbessard@52: break; lbessard@52: default: lbessard@52: break; lbessard@52: } lbessard@52: return NULL; lbessard@52: } lbessard@52: lbessard@52: void *visit(steps_c *symbol) { lbessard@52: if (symbol->step_name != NULL) { lbessard@52: switch (wanted_sfcgeneration) { lbessard@52: case transitiontest_sg: lbessard@52: print_step_argument(symbol->step_name, "state"); lbessard@52: break; lbessard@52: case stepset_sg: lbessard@52: print_set_step(symbol->step_name); lbessard@52: break; lbessard@52: case stepreset_sg: lbessard@52: print_reset_step(symbol->step_name); lbessard@52: break; lbessard@52: default: lbessard@52: break; lbessard@52: } lbessard@52: } lbessard@52: else if (symbol->step_name_list != NULL) { lbessard@52: symbol->step_name_list->accept(*this); lbessard@52: } lbessard@52: return NULL; lbessard@52: } lbessard@52: lbessard@52: void *visit(step_name_list_c *symbol) { lbessard@52: switch (wanted_sfcgeneration) { lbessard@52: case transitiontest_sg: lbessard@52: for(int i = 0; i < symbol->n; i++) { lbessard@52: print_step_argument(symbol->elements[i], "state"); lbessard@52: if (i < symbol->n - 1) { lbessard@52: s4o.print(" && "); lbessard@52: } lbessard@52: } lbessard@52: break; lbessard@52: case stepset_sg: lbessard@52: for(int i = 0; i < symbol->n; i++) { lbessard@52: print_set_step(symbol->elements[i]); lbessard@52: } lbessard@52: break; lbessard@52: case stepreset_sg: lbessard@52: for(int i = 0; i < symbol->n; i++) { lbessard@52: print_reset_step(symbol->elements[i]); lbessard@52: } lbessard@52: break; lbessard@52: default: lbessard@52: break; lbessard@52: } lbessard@52: return NULL; lbessard@52: } lbessard@17: lbessard@17: void *visit(action_association_list_c* symbol) { lbessard@52: switch (wanted_sfcgeneration) { lbessard@52: case actionassociation_sg: lbessard@52: print_list(symbol, "", "\n", "\n"); lbessard@52: break; lbessard@52: default: lbessard@52: break; lbessard@52: } lbessard@17: return NULL; lbessard@17: } lbessard@17: lbessard@17: void *visit(action_association_c *symbol) { lbessard@52: switch (wanted_sfcgeneration) { lbessard@52: case actionassociation_sg: lbessard@52: if (symbol->action_qualifier != NULL) { lbessard@52: current_action = symbol->action_name; lbessard@52: symbol->action_qualifier->accept(*this); lbessard@52: } lbessard@52: else { lbessard@52: s4o.print(s4o.indent_spaces + "if ("); lbessard@52: print_step_argument(current_step, "state"); lbessard@52: s4o.print(") {\n"); lbessard@52: s4o.indent_right(); lbessard@52: s4o.print(s4o.indent_spaces); lbessard@52: print_action_argument(symbol->action_name, "state"); lbessard@52: s4o.print(" = 1;\n"); lbessard@52: s4o.indent_left(); lbessard@52: s4o.print(s4o.indent_spaces + "}"); lbessard@52: } lbessard@52: break; lbessard@52: default: lbessard@52: break; lbessard@17: } lbessard@17: return NULL; lbessard@17: } lbessard@17: lbessard@17: void *visit(action_qualifier_c *symbol) { lbessard@52: switch (wanted_sfcgeneration) { lbessard@52: case actionassociation_sg: lbessard@52: { lbessard@52: char *qualifier = (char *)symbol->action_qualifier->accept(*this); lbessard@52: s4o.print(s4o.indent_spaces + "if ("); lbessard@52: if (strcmp(qualifier, "N") == 0) { lbessard@52: s4o.print("active"); lbessard@52: } lbessard@52: if (strcmp(qualifier, "P") == 0 || strcmp(qualifier, "SD") == 0 || lbessard@52: strcmp(qualifier, "DS") == 0 || strcmp(qualifier, "SL") == 0 || lbessard@52: strcmp(qualifier, "S") == 0 || strcmp(qualifier, "R") == 0) { lbessard@52: s4o.print("activated"); lbessard@52: } lbessard@52: if (strcmp(qualifier, "D") == 0 || strcmp(qualifier, "L") == 0) { lbessard@52: s4o.print("active && "); lbessard@52: print_step_argument(current_step, "elapsed_time"); lbessard@52: if (strcmp(qualifier, "D") == 0) { lbessard@52: s4o.print(" >= "); lbessard@52: } lbessard@52: else { lbessard@52: s4o.print(" < "); lbessard@52: } lbessard@52: symbol->action_time->accept(*this); lbessard@52: } lbessard@52: s4o.print(") {\n"); lbessard@52: s4o.indent_right(); lbessard@52: s4o.print(s4o.indent_spaces); lbessard@52: if (strcmp(qualifier, "N") == 0 || strcmp(qualifier, "P") == 0 || lbessard@52: strcmp(qualifier, "D") == 0 || strcmp(qualifier, "L") == 0) { lbessard@52: print_action_argument(current_action, "state"); lbessard@52: s4o.print(" = 1;\n"); lbessard@52: } lbessard@52: if (strcmp(qualifier, "S") == 0) { lbessard@52: print_action_argument(current_action, "set"); lbessard@52: s4o.print(" = 1;\n"); lbessard@52: } lbessard@52: if (strcmp(qualifier, "R") == 0) { lbessard@52: print_action_argument(current_action, "reset"); lbessard@52: s4o.print(" = 1;\n"); lbessard@52: } lbessard@52: if (strcmp(qualifier, "SD") == 0 || strcmp(qualifier, "DS") == 0 || lbessard@52: strcmp(qualifier, "SL") == 0) { lbessard@52: if (strcmp(qualifier, "SL") == 0) { lbessard@52: print_action_argument(current_action, "reset_remaining_time"); lbessard@52: } lbessard@52: else { lbessard@52: print_action_argument(current_action, "set_remaining_time"); lbessard@52: } lbessard@52: s4o.print(" = "); lbessard@52: symbol->action_time->accept(*this); lbessard@52: s4o.print(";\n"); lbessard@52: } lbessard@52: s4o.indent_left(); lbessard@52: s4o.print(s4o.indent_spaces + "}"); lbessard@52: if (strcmp(qualifier, "DS") == 0) { lbessard@52: s4o.print("desactivated"); lbessard@52: s4o.indent_right(); lbessard@52: s4o.print(s4o.indent_spaces); lbessard@52: print_action_argument(current_action, "set_remaining_time"); lbessard@52: s4o.print(" = __time_to_timespec(1, 0, 0, 0, 0, 0);\n"); lbessard@52: } lbessard@52: } lbessard@52: break; lbessard@52: default: lbessard@52: break; lbessard@17: } lbessard@17: return NULL; lbessard@17: } lbessard@17: lbessard@17: void *visit(qualifier_c *symbol) { lbessard@17: return (void *)symbol->value; lbessard@17: } lbessard@17: lbessard@17: void *visit(timed_qualifier_c *symbol) { lbessard@17: return (void *)symbol->value; lbessard@17: } lbessard@17: lbessard@17: }; /* generate_cc_sfc_actiondecl_c */ lbessard@17: lbessard@17: lbessard@17: lbessard@17: /***********************************************************************/ lbessard@17: /***********************************************************************/ lbessard@17: /***********************************************************************/ lbessard@17: /***********************************************************************/ lbessard@17: lbessard@17: class generate_cc_sfc_c: public generate_cc_typedecl_c { lbessard@17: lbessard@17: private: lbessard@52: generate_cc_sfc_elements_c *generate_cc_sfc_elements; lbessard@52: lbessard@17: public: lbessard@17: generate_cc_sfc_c(stage4out_c *s4o_ptr, symbol_c *scope, const char *variable_prefix = NULL) lbessard@17: : generate_cc_typedecl_c(s4o_ptr) { lbessard@52: generate_cc_sfc_elements = new generate_cc_sfc_elements_c(s4o_ptr, scope, variable_prefix); lbessard@17: this->set_variable_prefix(variable_prefix); lbessard@17: } lbessard@17: lbessard@17: virtual ~generate_cc_sfc_c(void) { lbessard@52: delete generate_cc_sfc_elements; lbessard@17: } lbessard@17: lbessard@17: /*********************************************/ lbessard@17: /* B.1.6 Sequential function chart elements */ lbessard@17: /*********************************************/ lbessard@17: lbessard@17: void *visit(sfc_network_c *symbol) { lbessard@52: generate_cc_sfc_elements->generate((symbol_c *) symbol, generate_cc_sfc_elements_c::transitionlist_sg); lbessard@17: s4o.print(s4o.indent_spaces +"INT i;\n\n"); lbessard@17: s4o.print(s4o.indent_spaces +"BOOL transition;\n\n"); lbessard@17: lbessard@17: /* generate step initilizations */ lbessard@17: s4o.print(s4o.indent_spaces + "// Steps initialisation\n"); lbessard@17: s4o.print(s4o.indent_spaces + "for (i = 0; i < "); lbessard@17: print_variable_prefix(); lbessard@17: s4o.print("nb_steps; i++) {\n"); lbessard@17: s4o.indent_right(); lbessard@17: s4o.print(s4o.indent_spaces); lbessard@17: print_variable_prefix(); lbessard@18: s4o.print("step_list[i].prev_state = "); lbessard@18: print_variable_prefix(); lbessard@18: s4o.print("step_list[i].state;\n"); lbessard@17: s4o.print(s4o.indent_spaces + "if ("); lbessard@17: print_variable_prefix(); lbessard@17: s4o.print("step_list[i].state) {\n"); lbessard@17: s4o.indent_right(); lbessard@17: s4o.print(s4o.indent_spaces); lbessard@17: print_variable_prefix(); etisserant@41: s4o.print("step_list[i].elapsed_time = __time_add("); lbessard@17: print_variable_prefix(); lbessard@17: s4o.print("step_list[i].elapsed_time, PERIOD);\n"); lbessard@17: s4o.indent_left(); lbessard@17: s4o.print(s4o.indent_spaces + "}\n"); lbessard@17: s4o.indent_left(); lbessard@17: s4o.print(s4o.indent_spaces + "}\n"); lbessard@17: lbessard@17: /* generate action initilizations */ lbessard@17: s4o.print(s4o.indent_spaces + "// Actions initialisation\n"); lbessard@17: s4o.print(s4o.indent_spaces + "for (i = 0; i < "); lbessard@17: print_variable_prefix(); lbessard@17: s4o.print("nb_actions; i++) {\n"); lbessard@17: s4o.indent_right(); lbessard@17: s4o.print(s4o.indent_spaces); lbessard@17: print_variable_prefix(); lbessard@17: s4o.print("action_list[i].state = 0;\n"); lbessard@17: s4o.print(s4o.indent_spaces); lbessard@17: print_variable_prefix(); lbessard@17: s4o.print("action_list[i].set = 0;\n"); lbessard@17: s4o.print(s4o.indent_spaces); lbessard@17: print_variable_prefix(); lbessard@17: s4o.print("action_list[i].reset = 0;\n"); lbessard@17: s4o.print(s4o.indent_spaces + "if ("); lbessard@17: print_variable_prefix(); etisserant@41: s4o.print("__gt_TIME(action_list[i].set_remaining_time, __time_to_timespec(1, 0, 0, 0, 0, 0)) {\n"); etisserant@41: s4o.indent_right(); etisserant@41: s4o.print(s4o.indent_spaces); etisserant@41: print_variable_prefix(); etisserant@41: s4o.print("action_list[i].set_remaining_time = __time_sub("); lbessard@17: print_variable_prefix(); lbessard@17: s4o.print("action_list[i].set_remaining_time, PERIOD);\n"); lbessard@17: s4o.print(s4o.indent_spaces + "if ("); lbessard@17: print_variable_prefix(); etisserant@41: s4o.print("__le_TIME(action_list[i].set_remaining_time, __time_to_timespec(1, 0, 0, 0, 0, 0)) {\n"); lbessard@17: s4o.indent_right(); lbessard@17: s4o.print(s4o.indent_spaces); lbessard@17: print_variable_prefix(); lbessard@17: s4o.print("action_list[i].set_remaining_time = __time_to_timespec(1, 0, 0, 0, 0, 0);\n"); lbessard@17: s4o.print(s4o.indent_spaces); lbessard@17: print_variable_prefix(); lbessard@17: s4o.print("action_list[i].set = 1;\n"); lbessard@17: s4o.indent_left(); lbessard@17: s4o.print(s4o.indent_spaces + "}\n"); lbessard@17: s4o.indent_left(); lbessard@17: s4o.print(s4o.indent_spaces + "}\n"); lbessard@17: s4o.print(s4o.indent_spaces + "if ("); lbessard@17: print_variable_prefix(); etisserant@41: s4o.print("__gt_TIME(action_list[i].reset_remaining_time, __time_to_timespec(1, 0, 0, 0, 0, 0)) {\n"); etisserant@41: s4o.indent_right(); etisserant@41: s4o.print(s4o.indent_spaces); etisserant@41: print_variable_prefix(); etisserant@41: s4o.print("action_list[i].reset_remaining_time = __time_sub("); lbessard@17: print_variable_prefix(); lbessard@17: s4o.print("action_list[i].reset_remaining_time, PERIOD);\n"); lbessard@17: s4o.print(s4o.indent_spaces + "if ("); lbessard@17: print_variable_prefix(); etisserant@41: s4o.print("__le_TIME(action_list[i].reset_remaining_time, __time_to_timespec(1, 0, 0, 0, 0, 0)) {\n"); lbessard@17: s4o.indent_right(); lbessard@17: s4o.print(s4o.indent_spaces); lbessard@17: print_variable_prefix(); lbessard@17: s4o.print("action_list[i].reset_remaining_time = __time_to_timespec(1, 0, 0, 0, 0, 0);\n"); lbessard@17: s4o.print(s4o.indent_spaces); lbessard@17: print_variable_prefix(); lbessard@17: s4o.print("action_list[i].reset = 1;\n"); lbessard@17: s4o.indent_left(); lbessard@17: s4o.print(s4o.indent_spaces + "}\n"); lbessard@17: s4o.indent_left(); lbessard@17: s4o.print(s4o.indent_spaces + "}\n"); lbessard@17: s4o.indent_left(); lbessard@17: s4o.print(s4o.indent_spaces + "}\n\n"); lbessard@17: lbessard@17: /* generate transition tests */ lbessard@17: s4o.print(s4o.indent_spaces + "// Transitions fire test\n"); lbessard@52: generate_cc_sfc_elements->generate((symbol_c *) symbol, generate_cc_sfc_elements_c::transitiontest_sg); lbessard@17: s4o.print("\n"); lbessard@17: lbessard@18: /* generate transition reset steps */ lbessard@18: s4o.print(s4o.indent_spaces + "// Transitions reset steps\n"); lbessard@53: generate_cc_sfc_elements->reset_transition_number(); lbessard@52: generate_cc_sfc_elements->generate((symbol_c *) symbol, generate_cc_sfc_elements_c::stepreset_sg); lbessard@18: s4o.print("\n"); lbessard@18: lbessard@18: /* generate transition set steps */ lbessard@18: s4o.print(s4o.indent_spaces + "// Transitions set steps\n"); lbessard@53: generate_cc_sfc_elements->reset_transition_number(); lbessard@52: generate_cc_sfc_elements->generate((symbol_c *) symbol, generate_cc_sfc_elements_c::stepset_sg); lbessard@18: s4o.print("\n"); lbessard@18: lbessard@17: /* generate step association */ lbessard@17: s4o.print(s4o.indent_spaces + "// Steps association\n"); lbessard@52: generate_cc_sfc_elements->generate((symbol_c *) symbol, generate_cc_sfc_elements_c::actionassociation_sg); lbessard@17: s4o.print("\n"); lbessard@17: lbessard@17: /* generate action state evaluation */ lbessard@17: s4o.print(s4o.indent_spaces + "// Actions state evaluation\n"); lbessard@17: s4o.print(s4o.indent_spaces + "for (i = 0; i < "); lbessard@17: print_variable_prefix(); lbessard@17: s4o.print("nb_actions; i++) {\n"); lbessard@17: s4o.indent_right(); lbessard@17: s4o.print(s4o.indent_spaces + "if ("); lbessard@17: print_variable_prefix(); lbessard@17: s4o.print("action_list[i].set) {\n"); lbessard@17: s4o.indent_right(); lbessard@17: s4o.print(s4o.indent_spaces); lbessard@17: print_variable_prefix(); lbessard@17: s4o.print("action_list[i].stored = 1;\n"); lbessard@17: s4o.indent_left(); lbessard@17: s4o.print(s4o.indent_spaces + "}\n" + s4o.indent_spaces + "if ("); lbessard@17: print_variable_prefix(); lbessard@52: s4o.print("action_list[i].reset) {\n"); lbessard@17: s4o.indent_right(); lbessard@17: s4o.print(s4o.indent_spaces); lbessard@17: print_variable_prefix(); lbessard@17: s4o.print("action_list[i].set_remaining_time = 0;\n" + s4o.indent_spaces); lbessard@17: print_variable_prefix(); lbessard@17: s4o.print("action_list[i].reset_remaining_time = 0;\n" + s4o.indent_spaces); lbessard@17: print_variable_prefix(); lbessard@17: s4o.print("action_list[i].stored = 0;\n"); lbessard@17: s4o.indent_left(); lbessard@17: s4o.print(s4o.indent_spaces + "}\n" + s4o.indent_spaces); lbessard@17: print_variable_prefix(); lbessard@17: s4o.print("action_list[i].state |= "); lbessard@17: print_variable_prefix(); lbessard@17: s4o.print("action_list[i].stored;\n"); lbessard@17: s4o.indent_left(); lbessard@17: s4o.print(s4o.indent_spaces + "}\n\n"); lbessard@17: lbessard@17: /* generate action execution */ lbessard@17: s4o.print(s4o.indent_spaces + "// Actions execution\n"); lbessard@52: generate_cc_sfc_elements->generate((symbol_c *) symbol, generate_cc_sfc_elements_c::actionbody_sg); lbessard@17: s4o.print("\n"); lbessard@17: lbessard@17: return NULL; lbessard@17: } lbessard@17: lbessard@17: void generate(sequential_function_chart_c *sfc) { lbessard@17: sfc->accept(*this); lbessard@17: } lbessard@17: lbessard@17: }; /* generate_cc_sfc_c */