lbessard@70: /*
Edouard@279: * matiec - a compiler for the programming languages defined in IEC 61131-3
Edouard@279: *
Edouard@279: * Copyright (C) 2003-2011 Mario de Sousa (msousa@fe.up.pt)
Edouard@279: * Copyright (C) 2007-2011 Laurent Bessard and Edouard Tisserant
Edouard@279: *
Edouard@279: * This program is free software: you can redistribute it and/or modify
Edouard@279: * it under the terms of the GNU General Public License as published by
Edouard@279: * the Free Software Foundation, either version 3 of the License, or
Edouard@279: * (at your option) any later version.
Edouard@279: *
Edouard@279: * This program is distributed in the hope that it will be useful,
Edouard@279: * but WITHOUT ANY WARRANTY; without even the implied warranty of
Edouard@279: * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
Edouard@279: * GNU General Public License for more details.
Edouard@279: *
Edouard@279: * You should have received a copy of the GNU General Public License
Edouard@279: * along with this program. If not, see .
Edouard@279: *
lbessard@70: *
lbessard@70: * This code is made available on the understanding that it will not be
lbessard@70: * used in safety-critical situations without a full and competent review.
lbessard@70: */
lbessard@70:
laurent@244: typedef struct
laurent@244: {
laurent@244: identifier_c *symbol;
laurent@244: } VARIABLE;
lbessard@70:
lbessard@70: /***********************************************************************/
lbessard@70: /***********************************************************************/
lbessard@70: /***********************************************************************/
lbessard@70: /***********************************************************************/
lbessard@70:
mjsousa@945: class generate_c_sfcdecl_c: protected generate_c_base_and_typeid_c {
lbessard@70:
lbessard@70: public:
lbessard@70: typedef enum {
lbessard@70: sfcdecl_sd,
lbessard@70: sfcinit_sd,
lbessard@70: stepcount_sd,
lbessard@70: stepdef_sd,
lbessard@70: stepundef_sd,
lbessard@70: actiondef_sd,
lbessard@70: actionundef_sd,
laurent@229: actioncount_sd,
laurent@229: transitioncount_sd
lbessard@70: } sfcdeclaration_t;
lbessard@70:
lbessard@70: private:
laurent@244: int step_number;
laurent@244: int action_number;
laurent@244: int transition_number;
laurent@244: std::list variable_list;
lbessard@70:
lbessard@70: sfcdeclaration_t wanted_sfcdeclaration;
laurent@244:
laurent@244: search_var_instance_decl_c *search_var_instance_decl;
lbessard@70:
lbessard@70: public:
laurent@244: generate_c_sfcdecl_c(stage4out_c *s4o_ptr, symbol_c *scope, const char *variable_prefix = NULL)
mjsousa@945: : generate_c_base_and_typeid_c(s4o_ptr) {
lbessard@70: this->set_variable_prefix(variable_prefix);
laurent@244: search_var_instance_decl = new search_var_instance_decl_c(scope);
laurent@244: }
laurent@244: ~generate_c_sfcdecl_c(void) {
laurent@244: variable_list.clear();
laurent@244: delete search_var_instance_decl;
laurent@244: }
laurent@244:
laurent@244: void generate(symbol_c *symbol, sfcdeclaration_t declaration_type) {
laurent@244: wanted_sfcdeclaration = declaration_type;
laurent@244:
lbessard@70: symbol->accept(*this);
lbessard@70: }
laurent@244:
lbessard@70: /*********************************************/
lbessard@70: /* B.1.6 Sequential function chart elements */
lbessard@70: /*********************************************/
lbessard@70:
lbessard@70: void *visit(sequential_function_chart_c *symbol) {
lbessard@70: step_number = 0;
lbessard@70: action_number = 0;
lbessard@70: transition_number = 0;
lbessard@70: switch (wanted_sfcdeclaration) {
lbessard@70: case sfcdecl_sd:
lbessard@70: for(int i = 0; i < symbol->n; i++)
msousa@1041: symbol->get_element(i)->accept(*this);
lbessard@70:
lbessard@70: /* steps table declaration */
lbessard@141: s4o.print(s4o.indent_spaces + "STEP __step_list[");
msousa@594: s4o.print(step_number);
lbessard@70: s4o.print("];\n");
lbessard@141: s4o.print(s4o.indent_spaces + "UINT __nb_steps;\n");
lbessard@70:
lbessard@70: /* actions table declaration */
lbessard@141: s4o.print(s4o.indent_spaces + "ACTION __action_list[");
msousa@594: s4o.print(action_number);
lbessard@70: s4o.print("];\n");
lbessard@141: s4o.print(s4o.indent_spaces + "UINT __nb_actions;\n");
lbessard@70:
lbessard@70: /* transitions table declaration */
laurent@221: s4o.print(s4o.indent_spaces + "__IEC_BOOL_t __transition_list[");
msousa@594: s4o.print(transition_number);
lbessard@70: s4o.print("];\n");
lbessard@70:
lbessard@141: /* transitions debug table declaration */
laurent@221: s4o.print(s4o.indent_spaces + "__IEC_BOOL_t __debug_transition_list[");
msousa@594: s4o.print(transition_number);
lbessard@141: s4o.print("];\n");
laurent@229: s4o.print(s4o.indent_spaces + "UINT __nb_transitions;\n");
lbessard@141:
lbessard@125: /* last_ticktime declaration */
lbessard@141: s4o.print(s4o.indent_spaces + "TIME __lasttick_time;\n");
lbessard@70: break;
lbessard@70: case sfcinit_sd:
lbessard@70: s4o.print(s4o.indent_spaces);
lbessard@70: s4o.print("UINT i;\n");
lbessard@70:
lbessard@70: /* steps table count */
lbessard@70: wanted_sfcdeclaration = stepcount_sd;
lbessard@70: for(int i = 0; i < symbol->n; i++)
msousa@1041: symbol->get_element(i)->accept(*this);
lbessard@70: s4o.print(s4o.indent_spaces);
lbessard@70: print_variable_prefix();
lbessard@141: s4o.print("__nb_steps = ");
msousa@594: s4o.print(step_number);
lbessard@70: s4o.print(";\n");
lbessard@70: step_number = 0;
lbessard@70: wanted_sfcdeclaration = sfcinit_sd;
lbessard@70:
lbessard@70: /* steps table initialisation */
andrej@1008: s4o.print(s4o.indent_spaces + "static const STEP temp_step = {{0, 0}, 0, {{0, 0}, 0}};\n");
lbessard@70: s4o.print(s4o.indent_spaces + "for(i = 0; i < ");
lbessard@70: print_variable_prefix();
lbessard@141: s4o.print("__nb_steps; i++) {\n");
lbessard@70: s4o.indent_right();
lbessard@70: s4o.print(s4o.indent_spaces);
lbessard@70: print_variable_prefix();
lbessard@141: s4o.print("__step_list[i] = temp_step;\n");
lbessard@70: s4o.indent_left();
lbessard@70: s4o.print(s4o.indent_spaces + "}\n");
lbessard@70: for(int i = 0; i < symbol->n; i++)
msousa@1041: symbol->get_element(i)->accept(*this);
lbessard@70:
laurent@244: /* actions table count */
lbessard@70: wanted_sfcdeclaration = actioncount_sd;
lbessard@70: for(int i = 0; i < symbol->n; i++)
msousa@1041: symbol->get_element(i)->accept(*this);
lbessard@70: s4o.print(s4o.indent_spaces);
lbessard@70: print_variable_prefix();
lbessard@141: s4o.print("__nb_actions = ");
msousa@594: s4o.print(action_number);
lbessard@70: s4o.print(";\n");
lbessard@70: action_number = 0;
lbessard@70: wanted_sfcdeclaration = sfcinit_sd;
lbessard@70:
lbessard@70: /* actions table initialisation */
Laurent@628: s4o.print(s4o.indent_spaces + "static const ACTION temp_action = {0, {0, 0}, 0, 0, {0, 0}, {0, 0}};\n");
lbessard@70: s4o.print(s4o.indent_spaces + "for(i = 0; i < ");
lbessard@70: print_variable_prefix();
lbessard@141: s4o.print("__nb_actions; i++) {\n");
lbessard@70: s4o.indent_right();
lbessard@70: s4o.print(s4o.indent_spaces);
lbessard@70: print_variable_prefix();
lbessard@141: s4o.print("__action_list[i] = temp_action;\n");
lbessard@70: s4o.indent_left();
lbessard@70: s4o.print(s4o.indent_spaces + "}\n");
lbessard@125:
laurent@229: /* transitions table count */
laurent@229: wanted_sfcdeclaration = transitioncount_sd;
laurent@229: for(int i = 0; i < symbol->n; i++)
msousa@1041: symbol->get_element(i)->accept(*this);
laurent@229: s4o.print(s4o.indent_spaces);
laurent@229: print_variable_prefix();
laurent@229: s4o.print("__nb_transitions = ");
msousa@594: s4o.print(transition_number);
laurent@229: s4o.print(";\n");
laurent@229: transition_number = 0;
laurent@229: wanted_sfcdeclaration = sfcinit_sd;
laurent@229:
lbessard@125: /* last_ticktime initialisation */
lbessard@160: s4o.print(s4o.indent_spaces);
lbessard@125: print_variable_prefix();
lbessard@141: s4o.print("__lasttick_time = __CURRENT_TIME;\n");
lbessard@70: break;
lbessard@70: case stepdef_sd:
lbessard@70: s4o.print("// Steps definitions\n");
lbessard@70: for(int i = 0; i < symbol->n; i++)
msousa@1041: symbol->get_element(i)->accept(*this);
lbessard@70: s4o.print("\n");
lbessard@70: break;
lbessard@70: case actiondef_sd:
lbessard@70: s4o.print("// Actions definitions\n");
laurent@244: {
mjsousa@920: // first fill up the this->variable_list variable!
mjsousa@920: wanted_sfcdeclaration = actioncount_sd;
mjsousa@920: for(int i = 0; i < symbol->n; i++)
msousa@1041: symbol->get_element(i)->accept(*this);
mjsousa@991: action_number = 0; // reset the counter!
mjsousa@920: wanted_sfcdeclaration = actiondef_sd;
mjsousa@991: // Now do the defines for actions!
mjsousa@991: for(int i = 0; i < symbol->n; i++)
msousa@1041: symbol->get_element(i)->accept(*this);
mjsousa@920: // Now do the defines for actions that reference a variable instead of an action block!
laurent@244: std::list::iterator pt;
laurent@244: for(pt = variable_list.begin(); pt != variable_list.end(); pt++) {
laurent@244: s4o.print("#define ");
laurent@244: s4o.print(SFC_STEP_ACTION_PREFIX);
laurent@244: pt->symbol->accept(*this);
laurent@244: s4o.print(" ");
msousa@594: s4o.print(action_number);
laurent@244: s4o.print("\n");
laurent@244: action_number++;
laurent@244: }
laurent@244: }
lbessard@70: s4o.print("\n");
lbessard@70: break;
lbessard@70: case stepundef_sd:
lbessard@70: s4o.print("// Steps undefinitions\n");
lbessard@70: for(int i = 0; i < symbol->n; i++)
msousa@1041: symbol->get_element(i)->accept(*this);
lbessard@70: s4o.print("\n");
lbessard@70: break;
lbessard@70: case actionundef_sd:
lbessard@70: s4o.print("// Actions undefinitions\n");
mjsousa@920: for(int i = 0; i < symbol->n; i++)
msousa@1041: symbol->get_element(i)->accept(*this);
laurent@244: {
mjsousa@920: // first fill up the this->variable_list variable!
mjsousa@920: wanted_sfcdeclaration = actioncount_sd;
mjsousa@920: for(int i = 0; i < symbol->n; i++)
msousa@1041: symbol->get_element(i)->accept(*this);
mjsousa@920: wanted_sfcdeclaration = actionundef_sd;
laurent@244: std::list::iterator pt;
laurent@244: for(pt = variable_list.begin(); pt != variable_list.end(); pt++) {
laurent@244: s4o.print("#undef ");
laurent@244: s4o.print(SFC_STEP_ACTION_PREFIX);
laurent@244: pt->symbol->accept(*this);
laurent@244: s4o.print("\n");
laurent@244: }
laurent@244: }
lbessard@70: s4o.print("\n");
lbessard@70: break;
lbessard@70: default:
lbessard@70: break;
lbessard@70: }
lbessard@70: return NULL;
lbessard@70: }
lbessard@70:
lbessard@70: void *visit(initial_step_c *symbol) {
lbessard@70: switch (wanted_sfcdeclaration) {
laurent@244: case actioncount_sd:
laurent@244: symbol->action_association_list->accept(*this);
laurent@244: break;
laurent@244: case sfcdecl_sd:
laurent@244: symbol->action_association_list->accept(*this);
lbessard@70: case stepcount_sd:
lbessard@70: step_number++;
lbessard@70: break;
lbessard@70: case sfcinit_sd:
lbessard@70: s4o.print(s4o.indent_spaces);
laurent@221: s4o.print(SET_VAR);
laurent@221: s4o.print("(");
lbessard@70: print_variable_prefix();
laurent@392: s4o.print(",__step_list[");
msousa@594: s4o.print(step_number);
mjsousa@897: s4o.print("].X,,1);\n");
lbessard@70: step_number++;
lbessard@70: break;
lbessard@70: case stepdef_sd:
lbessard@70: s4o.print("#define ");
mjsousa@897: symbol->step_name->accept(*this);
mjsousa@897: s4o.print(" __step_list[");
mjsousa@897: s4o.print(step_number);
mjsousa@897: s4o.print("]\n");
mjsousa@897:
mjsousa@897: s4o.print("#define ");
lbessard@70: s4o.print(SFC_STEP_ACTION_PREFIX);
lbessard@70: symbol->step_name->accept(*this);
lbessard@70: s4o.print(" ");
msousa@594: s4o.print(step_number);
lbessard@70: s4o.print("\n");
lbessard@70: step_number++;
lbessard@70: break;
lbessard@70: case stepundef_sd:
lbessard@70: s4o.print("#undef ");
mjsousa@897: symbol->step_name->accept(*this);
mjsousa@897: s4o.print("\n");
mjsousa@897:
mjsousa@897: s4o.print("#undef ");
lbessard@70: s4o.print(SFC_STEP_ACTION_PREFIX);
lbessard@70: symbol->step_name->accept(*this);
lbessard@70: s4o.print("\n");
lbessard@70: break;
lbessard@70: default:
lbessard@70: break;
lbessard@70: }
lbessard@70: return NULL;
lbessard@70: }
lbessard@70:
lbessard@70: void *visit(step_c *symbol) {
lbessard@70: switch (wanted_sfcdeclaration) {
laurent@244: case actioncount_sd:
laurent@244: symbol->action_association_list->accept(*this);
laurent@244: break;
laurent@244: case sfcdecl_sd:
laurent@244: symbol->action_association_list->accept(*this);
lbessard@70: case stepcount_sd:
lbessard@119: case sfcinit_sd:
lbessard@70: step_number++;
lbessard@70: break;
lbessard@70: case stepdef_sd:
lbessard@70: s4o.print("#define ");
mjsousa@897: symbol->step_name->accept(*this);
mjsousa@897: s4o.print(" __step_list[");
mjsousa@897: s4o.print(step_number);
mjsousa@897: s4o.print("]\n");
mjsousa@897:
mjsousa@897: s4o.print("#define ");
lbessard@70: s4o.print(SFC_STEP_ACTION_PREFIX);
lbessard@70: symbol->step_name->accept(*this);
lbessard@70: s4o.print(" ");
msousa@594: s4o.print(step_number);
lbessard@70: s4o.print("\n");
lbessard@70: step_number++;
lbessard@70: break;
lbessard@70: case stepundef_sd:
lbessard@70: s4o.print("#undef ");
mjsousa@897: symbol->step_name->accept(*this);
mjsousa@897: s4o.print("\n");
mjsousa@897:
mjsousa@897: s4o.print("#undef ");
lbessard@70: s4o.print(SFC_STEP_ACTION_PREFIX);
lbessard@70: symbol->step_name->accept(*this);
lbessard@70: s4o.print("\n");
lbessard@70: break;
lbessard@70: default:
lbessard@70: break;
lbessard@70: }
lbessard@70: return NULL;
lbessard@70: }
lbessard@70:
laurent@244: void *visit(action_association_c *symbol) {
laurent@244: /* we try to find the variable instance declaration, to determine if symbol is variable... */
laurent@244: symbol_c *var_decl = search_var_instance_decl->get_decl(symbol->action_name);
laurent@244: if (var_decl != NULL) {
mjsousa@920: std::list::iterator pt;
laurent@244: for(pt = variable_list.begin(); pt != variable_list.end(); pt++) {
laurent@244: if (!compare_identifiers(pt->symbol, symbol->action_name))
laurent@244: return NULL;
laurent@244: }
laurent@244: VARIABLE *variable;
laurent@244: variable = new VARIABLE;
laurent@244: variable->symbol = (identifier_c*)(symbol->action_name);
laurent@244: variable_list.push_back(*variable);
laurent@244: action_number++;
laurent@244: }
laurent@244: return NULL;
laurent@244: }
laurent@244:
lbessard@70: void *visit(transition_c *symbol) {
lbessard@70: switch (wanted_sfcdeclaration) {
lbessard@70: case sfcdecl_sd:
laurent@229: case transitioncount_sd:
lbessard@70: transition_number++;
lbessard@70: break;
lbessard@70: default:
lbessard@70: break;
lbessard@70: }
lbessard@70: return NULL;
lbessard@70: }
lbessard@70:
lbessard@70: void *visit(action_c *symbol) {
lbessard@70: switch (wanted_sfcdeclaration) {
lbessard@70: case actiondef_sd:
lbessard@70: s4o.print("#define ");
lbessard@70: s4o.print(SFC_STEP_ACTION_PREFIX);
lbessard@70: symbol->action_name->accept(*this);
lbessard@70: s4o.print(" ");
msousa@594: s4o.print(action_number);
lbessard@70: s4o.print("\n");
lbessard@70: action_number++;
lbessard@70: break;
lbessard@70: case actionundef_sd:
lbessard@70: s4o.print("#undef ");
lbessard@70: s4o.print(SFC_STEP_ACTION_PREFIX);
lbessard@70: symbol->action_name->accept(*this);
lbessard@70: s4o.print("\n");
lbessard@70: break;
lbessard@70: case actioncount_sd:
lbessard@70: case sfcdecl_sd:
lbessard@70: action_number++;
lbessard@70: break;
lbessard@70: default:
lbessard@70: break;
lbessard@70: }
lbessard@70: return NULL;
lbessard@70: }
lbessard@70:
lbessard@70: void *visit(instruction_list_c *symbol) {
lbessard@70: return NULL;
lbessard@70: }
lbessard@70:
lbessard@70: void *visit(statement_list_c *symbol) {
lbessard@70: return NULL;
lbessard@70: }
lbessard@70:
lbessard@70: }; /* generate_c_sfcdecl_c */
lbessard@70: