diff -r 41cb5b80416e -r e1f0ebd2d9ec stage4/generate_c/generate_c_sfcdecl.cc --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/stage4/generate_c/generate_c_sfcdecl.cc Wed Oct 24 17:39:51 2007 +0200 @@ -0,0 +1,308 @@ +/* + * (c) 2007 Mario de Sousa, Laurent Bessard + * + * Offered to the public under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 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. + * + * This code is made available on the understanding that it will not be + * used in safety-critical situations without a full and competent review. + */ + +/* + * An IEC 61131-3 IL and ST compiler. + * + * Based on the + * FINAL DRAFT - IEC 61131-3, 2nd Ed. (2001-12-10) + * + */ + + +/* + * Conversion of sfc networks (i.e. SFC code). + * + * This is part of the 4th stage that generates + * a c++ source program equivalent to the SFC, IL and ST + * code. + */ + + + + +/***********************************************************************/ +/***********************************************************************/ +/***********************************************************************/ +/***********************************************************************/ + +class generate_c_sfcdecl_c: protected generate_c_typedecl_c { + + public: + typedef enum { + sfcdecl_sd, + sfcinit_sd, + stepcount_sd, + stepdef_sd, + stepundef_sd, + actiondef_sd, + actionundef_sd, + actioncount_sd + } sfcdeclaration_t; + + private: + char step_number; + char action_number; + char transition_number; + + sfcdeclaration_t wanted_sfcdeclaration; + + public: + generate_c_sfcdecl_c(stage4out_c *s4o_ptr, sfcdeclaration_t sfcdeclaration) + : generate_c_typedecl_c(s4o_ptr) { + wanted_sfcdeclaration = sfcdeclaration; + } + ~generate_c_sfcdecl_c(void) {} + + void print(symbol_c *symbol, const char *variable_prefix = NULL) { + this->set_variable_prefix(variable_prefix); + + symbol->accept(*this); + } + +/*********************************************/ +/* B.1.6 Sequential function chart elements */ +/*********************************************/ + + void *visit(sequential_function_chart_c *symbol) { + step_number = 0; + action_number = 0; + transition_number = 0; + switch (wanted_sfcdeclaration) { + case sfcdecl_sd: + for(int i = 0; i < symbol->n; i++) + symbol->elements[i]->accept(*this); + + /* steps table declaration */ + s4o.print(s4o.indent_spaces + "STEP step_list["); + s4o.print_integer(step_number); + s4o.print("];\n"); + s4o.print(s4o.indent_spaces + "UINT nb_steps;\n"); + + /* actions table declaration */ + s4o.print(s4o.indent_spaces + "ACTION action_list["); + s4o.print_integer(action_number); + s4o.print("];\n"); + s4o.print(s4o.indent_spaces + "UINT nb_actions;\n"); + + /* transitions table declaration */ + s4o.print(s4o.indent_spaces + "USINT transition_list["); + s4o.print_integer(transition_number); + s4o.print("];\n"); + + /* period declaration */ + s4o.print(s4o.indent_spaces + "TIME period;\n"); + break; + case sfcinit_sd: + s4o.print(s4o.indent_spaces); + s4o.print("UINT i;\n"); + + /* steps table count */ + wanted_sfcdeclaration = stepcount_sd; + for(int i = 0; i < symbol->n; i++) + symbol->elements[i]->accept(*this); + s4o.print(s4o.indent_spaces); + print_variable_prefix(); + s4o.print("nb_steps = "); + s4o.print_integer(step_number); + s4o.print(";\n"); + step_number = 0; + wanted_sfcdeclaration = sfcinit_sd; + + /* steps table initialisation */ + s4o.print(s4o.indent_spaces + "STEP temp_step = {0, 0, 0};\n"); + s4o.print(s4o.indent_spaces + "for(i = 0; i < "); + print_variable_prefix(); + s4o.print("nb_steps; i++) {\n"); + s4o.indent_right(); + s4o.print(s4o.indent_spaces); + print_variable_prefix(); + s4o.print("step_list[i] = temp_step;\n"); + s4o.indent_left(); + s4o.print(s4o.indent_spaces + "}\n"); + for(int i = 0; i < symbol->n; i++) + symbol->elements[i]->accept(*this); + + /* steps table count */ + wanted_sfcdeclaration = actioncount_sd; + for(int i = 0; i < symbol->n; i++) + symbol->elements[i]->accept(*this); + s4o.print(s4o.indent_spaces); + print_variable_prefix(); + s4o.print("nb_actions = "); + s4o.print_integer(action_number); + s4o.print(";\n"); + action_number = 0; + wanted_sfcdeclaration = sfcinit_sd; + + /* actions table initialisation */ + s4o.print(s4o.indent_spaces + "ACTION temp_action = {0, 0, 0, 0, 0, 0};\n"); + s4o.print(s4o.indent_spaces + "for(i = 0; i < "); + print_variable_prefix(); + s4o.print("nb_actions; i++) {\n"); + s4o.indent_right(); + s4o.print(s4o.indent_spaces); + print_variable_prefix(); + s4o.print("action_list[i] = temp_action;\n"); + + /* period initialisation */ + s4o.print(s4o.indent_spaces); + print_variable_prefix(); + s4o.print("period = __time_to_timespec(1, 0, 0, 0, 0, 0);\n"); + + s4o.indent_left(); + s4o.print(s4o.indent_spaces + "}\n"); + break; + case stepdef_sd: + s4o.print("// Steps definitions\n"); + for(int i = 0; i < symbol->n; i++) + symbol->elements[i]->accept(*this); + s4o.print("\n"); + break; + case actiondef_sd: + s4o.print("// Actions definitions\n"); + for(int i = 0; i < symbol->n; i++) + symbol->elements[i]->accept(*this); + s4o.print("\n"); + break; + case stepundef_sd: + s4o.print("// Steps undefinitions\n"); + for(int i = 0; i < symbol->n; i++) + symbol->elements[i]->accept(*this); + s4o.print("\n"); + break; + case actionundef_sd: + s4o.print("// Actions undefinitions\n"); + for(int i = 0; i < symbol->n; i++) + symbol->elements[i]->accept(*this); + s4o.print("\n"); + break; + default: + break; + } + return NULL; + } + + void *visit(initial_step_c *symbol) { + switch (wanted_sfcdeclaration) { + case stepcount_sd: + case sfcdecl_sd: + step_number++; + break; + case sfcinit_sd: + s4o.print(s4o.indent_spaces); + print_variable_prefix(); + s4o.print("step_list["); + s4o.print_integer(step_number); + s4o.print("].state = 1;\n"); + step_number++; + break; + case stepdef_sd: + s4o.print("#define "); + s4o.print(SFC_STEP_ACTION_PREFIX); + symbol->step_name->accept(*this); + s4o.print(" "); + s4o.print_integer(step_number); + s4o.print("\n"); + step_number++; + break; + case stepundef_sd: + s4o.print("#undef "); + s4o.print(SFC_STEP_ACTION_PREFIX); + symbol->step_name->accept(*this); + s4o.print("\n"); + break; + default: + break; + } + return NULL; + } + + void *visit(step_c *symbol) { + switch (wanted_sfcdeclaration) { + case stepcount_sd: + case sfcdecl_sd: + step_number++; + break; + case stepdef_sd: + s4o.print("#define "); + s4o.print(SFC_STEP_ACTION_PREFIX); + symbol->step_name->accept(*this); + s4o.print(" "); + s4o.print_integer(step_number); + s4o.print("\n"); + step_number++; + break; + case stepundef_sd: + s4o.print("#undef "); + s4o.print(SFC_STEP_ACTION_PREFIX); + symbol->step_name->accept(*this); + s4o.print("\n"); + break; + default: + break; + } + return NULL; + } + + void *visit(transition_c *symbol) { + switch (wanted_sfcdeclaration) { + case sfcdecl_sd: + transition_number++; + break; + default: + break; + } + return NULL; + } + + void *visit(action_c *symbol) { + switch (wanted_sfcdeclaration) { + case actiondef_sd: + s4o.print("#define "); + s4o.print(SFC_STEP_ACTION_PREFIX); + symbol->action_name->accept(*this); + s4o.print(" "); + s4o.print_integer(action_number); + s4o.print("\n"); + action_number++; + break; + case actionundef_sd: + s4o.print("#undef "); + s4o.print(SFC_STEP_ACTION_PREFIX); + symbol->action_name->accept(*this); + s4o.print("\n"); + break; + case actioncount_sd: + case sfcdecl_sd: + action_number++; + break; + default: + break; + } + return NULL; + } + + void *visit(instruction_list_c *symbol) { + return NULL; + } + + void *visit(statement_list_c *symbol) { + return NULL; + } + +}; /* generate_c_sfcdecl_c */ +