lbessard@70: /*
Edouard@279: * matiec - a compiler for the programming languages defined in IEC 61131-3
lbessard@70: *
Edouard@279: * Copyright (C) 2003-2011 Mario de Sousa (msousa@fe.up.pt)
Edouard@279: * Copyright (C) 2007-2011 Laurent Bessard and Edouard Tisserant
lbessard@70: *
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:
lbessard@70: typedef struct
lbessard@70: {
lbessard@70: transition_c *symbol;
lbessard@70: int priority;
lbessard@70: int index;
lbessard@70: } TRANSITION;
lbessard@70:
lbessard@70: /***********************************************************************/
lbessard@70: /***********************************************************************/
lbessard@70: /***********************************************************************/
lbessard@70: /***********************************************************************/
lbessard@70:
lbessard@70: class generate_c_sfc_elements_c: public generate_c_base_c {
lbessard@70:
lbessard@70: public:
lbessard@70: typedef enum {
lbessard@70: transitionlist_sg,
lbessard@70: transitiontest_sg,
lbessard@141: transitiontestdebug_sg,
lbessard@70: stepset_sg,
lbessard@70: stepreset_sg,
lbessard@70: actionassociation_sg,
lbessard@70: actionbody_sg
lbessard@70: } sfcgeneration_t;
lbessard@70:
lbessard@70: private:
lbessard@70: generate_c_il_c *generate_c_il;
lbessard@70: generate_c_st_c *generate_c_st;
lbessard@70: generate_c_SFC_IL_ST_c *generate_c_code;
Laurent@629: search_var_instance_decl_c *search_var_instance_decl;
lbessard@70:
lbessard@70: int transition_number;
lbessard@70: std::list transition_list;
lbessard@70:
lbessard@70: symbol_c *current_step;
lbessard@70: symbol_c *current_action;
lbessard@70:
lbessard@70: sfcgeneration_t wanted_sfcgeneration;
lbessard@70:
lbessard@70: public:
laurent@217: generate_c_sfc_elements_c(stage4out_c *s4o_ptr, symbol_c *name, symbol_c *scope, const char *variable_prefix = NULL)
lbessard@70: : generate_c_base_c(s4o_ptr) {
laurent@217: generate_c_il = new generate_c_il_c(s4o_ptr, name, scope, variable_prefix);
laurent@217: generate_c_st = new generate_c_st_c(s4o_ptr, name, scope, variable_prefix);
laurent@217: generate_c_code = new generate_c_SFC_IL_ST_c(s4o_ptr, name, scope, variable_prefix);
Laurent@629: search_var_instance_decl = new search_var_instance_decl_c(scope);
lbessard@70: this->set_variable_prefix(variable_prefix);
lbessard@70: }
lbessard@70:
lbessard@70: ~generate_c_sfc_elements_c(void) {
lbessard@149: transition_list.clear();
lbessard@70: delete generate_c_il;
lbessard@70: delete generate_c_st;
lbessard@70: delete generate_c_code;
Laurent@629: delete search_var_instance_decl;
Laurent@629: }
Laurent@629:
Laurent@629:
Laurent@629: bool is_variable(symbol_c *symbol) {
Laurent@629: /* we try to find the variable instance declaration, to determine if symbol is variable... */
Laurent@629: symbol_c *var_decl = search_var_instance_decl->get_decl(symbol);
Laurent@629:
Laurent@629: return var_decl != NULL;
Laurent@629: }
lbessard@70:
lbessard@70: void reset_transition_number(void) {transition_number = 0;}
lbessard@70:
lbessard@70: void generate(symbol_c *symbol, sfcgeneration_t generation_type) {
lbessard@70: wanted_sfcgeneration = generation_type;
lbessard@70: switch (wanted_sfcgeneration) {
lbessard@70: case transitiontest_sg:
lbessard@70: {
lbessard@70: std::list::iterator pt;
lbessard@70: for(pt = transition_list.begin(); pt != transition_list.end(); pt++) {
lbessard@70: transition_number = pt->index;
lbessard@70: pt->symbol->accept(*this);
lbessard@70: }
lbessard@70: }
lbessard@70: break;
lbessard@70: default:
lbessard@70: symbol->accept(*this);
lbessard@70: break;
lbessard@70: }
lbessard@70: }
lbessard@70:
laurent@392: void print_step_argument(symbol_c *step_name, const char* argument, bool setter=false) {
laurent@392: print_variable_prefix();
laurent@392: if (setter) s4o.print(",");
lbessard@141: s4o.print("__step_list[");
lbessard@70: s4o.print(SFC_STEP_ACTION_PREFIX);
lbessard@70: step_name->accept(*this);
lbessard@70: s4o.print("].");
lbessard@70: s4o.print(argument);
lbessard@70: }
lbessard@70:
laurent@392: void print_action_argument(symbol_c *action_name, const char* argument, bool setter=false) {
laurent@392: print_variable_prefix();
laurent@392: if (setter) s4o.print(",");
lbessard@141: s4o.print("__action_list[");
lbessard@70: s4o.print(SFC_STEP_ACTION_PREFIX);
lbessard@70: action_name->accept(*this);
lbessard@70: s4o.print("].");
lbessard@70: s4o.print(argument);
lbessard@70: }
lbessard@70:
lbessard@70: void print_transition_number(void) {
msousa@594: s4o.print(transition_number);
lbessard@70: }
lbessard@70:
lbessard@70: void print_reset_step(symbol_c *step_name) {
lbessard@70: s4o.print(s4o.indent_spaces);
laurent@217: s4o.print(SET_VAR);
laurent@217: s4o.print("(");
laurent@392: print_step_argument(step_name, "state", true);
mjsousa@885: s4o.print(",,0);\n");
lbessard@70: }
lbessard@70:
lbessard@70: void print_set_step(symbol_c *step_name) {
lbessard@70: s4o.print(s4o.indent_spaces);
laurent@217: s4o.print(SET_VAR);
laurent@217: s4o.print("(");
laurent@392: print_step_argument(step_name, "state", true);
mjsousa@885: s4o.print(",,1);\n" + s4o.indent_spaces);
lbessard@70: print_step_argument(step_name, "elapsed_time");
lbessard@70: s4o.print(" = __time_to_timespec(1, 0, 0, 0, 0, 0);\n");
lbessard@70: }
lbessard@70:
lbessard@70: /*********************************************/
lbessard@70: /* B.1.6 Sequential function chart elements */
lbessard@70: /*********************************************/
lbessard@70:
lbessard@70: void *visit(initial_step_c *symbol) {
lbessard@70: switch (wanted_sfcgeneration) {
lbessard@70: case actionassociation_sg:
lbessard@70: if (((list_c*)symbol->action_association_list)->n > 0) {
lbessard@70: s4o.print(s4o.indent_spaces + "// ");
lbessard@70: symbol->step_name->accept(*this);
lbessard@70: s4o.print(" action associations\n");
lbessard@70: current_step = symbol->step_name;
lbessard@70: s4o.print(s4o.indent_spaces + "{\n");
lbessard@70: s4o.indent_right();
lbessard@70: s4o.print(s4o.indent_spaces + "char activated = ");
laurent@217: s4o.print(GET_VAR);
laurent@217: s4o.print("(");
lbessard@70: print_step_argument(current_step, "state");
laurent@217: s4o.print(") && !");
lbessard@70: print_step_argument(current_step, "prev_state");
lbessard@70: s4o.print(";\n");
lbessard@70: s4o.print(s4o.indent_spaces + "char desactivated = !");
laurent@217: s4o.print(GET_VAR);
laurent@217: s4o.print("(");
lbessard@70: print_step_argument(current_step, "state");
laurent@217: s4o.print(") && ");
lbessard@70: print_step_argument(current_step, "prev_state");
lbessard@70: s4o.print(";\n");
lbessard@70: s4o.print(s4o.indent_spaces + "char active = ");
laurent@217: s4o.print(GET_VAR);
laurent@217: s4o.print("(");
lbessard@70: print_step_argument(current_step, "state");
laurent@217: s4o.print(");\n");
lbessard@70: symbol->action_association_list->accept(*this);
lbessard@70: s4o.indent_left();
lbessard@70: s4o.print(s4o.indent_spaces + "}\n\n");
lbessard@70: }
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_sfcgeneration) {
lbessard@70: case actionassociation_sg:
lbessard@70: if (((list_c*)symbol->action_association_list)->n > 0) {
lbessard@70: s4o.print(s4o.indent_spaces + "// ");
lbessard@70: symbol->step_name->accept(*this);
lbessard@70: s4o.print(" action associations\n");
lbessard@70: current_step = symbol->step_name;
lbessard@70: s4o.print(s4o.indent_spaces + "{\n");
lbessard@70: s4o.indent_right();
Laurent@702: s4o.print(s4o.indent_spaces + "char activated, desactivated, active;\n");
Laurent@702: s4o.print(s4o.indent_spaces + "activated = ");
laurent@217: s4o.print(GET_VAR);
laurent@217: s4o.print("(");
lbessard@70: print_step_argument(current_step, "state");
laurent@217: s4o.print(") && !");
lbessard@70: print_step_argument(current_step, "prev_state");
lbessard@70: s4o.print(";\n");
Laurent@702: s4o.print(s4o.indent_spaces + "desactivated = !");
laurent@217: s4o.print(GET_VAR);
laurent@217: s4o.print("(");
lbessard@70: print_step_argument(current_step, "state");
laurent@217: s4o.print(") && ");
lbessard@70: print_step_argument(current_step, "prev_state");
lbessard@70: s4o.print(";\n");
Laurent@702: s4o.print(s4o.indent_spaces + "active = ");
laurent@217: s4o.print(GET_VAR);
laurent@217: s4o.print("(");
lbessard@70: print_step_argument(current_step, "state");
laurent@217: s4o.print(");\n");
lbessard@70: symbol->action_association_list->accept(*this);
lbessard@70: s4o.indent_left();
lbessard@70: s4o.print(s4o.indent_spaces + "}\n\n");
lbessard@70: }
lbessard@70: break;
lbessard@70: default:
lbessard@70: break;
lbessard@70: }
lbessard@70: return NULL;
lbessard@70: }
lbessard@70:
lbessard@70: void *visit(transition_c *symbol) {
lbessard@70: switch (wanted_sfcgeneration) {
lbessard@70: case transitionlist_sg:
lbessard@70: {
lbessard@70: TRANSITION *transition;
lbessard@70: transition = new TRANSITION;
lbessard@70: transition->symbol = symbol;
lbessard@70: transition->index = transition_number;
lbessard@70: if (symbol->integer != NULL) {
lbessard@70: transition->priority = atoi(((token_c *)symbol->integer)->value);
lbessard@70: std::list::iterator pt = transition_list.begin();
lbessard@70: while (pt != transition_list.end() && pt->priority <= transition->priority) {
lbessard@70: pt++;
lbessard@70: }
lbessard@70: transition_list.insert(pt, *transition);
lbessard@70: }
lbessard@70: else {
lbessard@70: transition->priority = 0;
lbessard@70: transition_list.push_back(*transition);
lbessard@70: }
lbessard@70: transition_number++;
lbessard@70: }
lbessard@70: break;
lbessard@70: case transitiontest_sg:
lbessard@70: s4o.print(s4o.indent_spaces + "if (");
lbessard@70: symbol->from_steps->accept(*this);
lbessard@70: s4o.print(") {\n");
lbessard@70: s4o.indent_right();
lbessard@70:
lbessard@70: // Calculate transition value
lbessard@87: symbol->transition_condition->accept(*this);
lbessard@87:
lbessard@70: if (symbol->integer != NULL) {
lbessard@70: s4o.print(s4o.indent_spaces + "if (");
laurent@217: s4o.print(GET_VAR);
laurent@217: s4o.print("(");
lbessard@70: print_variable_prefix();
lbessard@141: s4o.print("__transition_list[");
lbessard@70: print_transition_number();
laurent@217: s4o.print("])) {\n");
lbessard@70: s4o.indent_right();
lbessard@70: wanted_sfcgeneration = stepreset_sg;
lbessard@70: symbol->from_steps->accept(*this);
lbessard@70: wanted_sfcgeneration = transitiontest_sg;
lbessard@70: s4o.indent_left();
lbessard@70: s4o.print(s4o.indent_spaces + "}\n");
lbessard@70: }
lbessard@70: s4o.indent_left();
lbessard@141: s4o.print(s4o.indent_spaces + "}\n");
lbessard@141: s4o.print(s4o.indent_spaces + "else {\n");
lbessard@70: s4o.indent_right();
lbessard@141: // Calculate transition value for debug
lbessard@141: s4o.print(s4o.indent_spaces + "if (__DEBUG) {\n");
lbessard@141: s4o.indent_right();
lbessard@141: wanted_sfcgeneration = transitiontestdebug_sg;
lbessard@141: symbol->transition_condition->accept(*this);
lbessard@141: wanted_sfcgeneration = transitiontest_sg;
lbessard@141: s4o.indent_left();
lbessard@141: s4o.print(s4o.indent_spaces + "}\n");
lbessard@70: s4o.print(s4o.indent_spaces);
laurent@217: s4o.print(SET_VAR);
laurent@217: s4o.print("(");
lbessard@70: print_variable_prefix();
laurent@392: s4o.print(",__transition_list[");
lbessard@70: print_transition_number();
mjsousa@885: s4o.print("],,0);\n");
lbessard@70: s4o.indent_left();
lbessard@70: s4o.print(s4o.indent_spaces + "}\n");
lbessard@70: break;
lbessard@70: case stepset_sg:
lbessard@70: s4o.print(s4o.indent_spaces + "if (");
laurent@217: s4o.print(GET_VAR);
laurent@217: s4o.print("(");
lbessard@70: print_variable_prefix();
lbessard@141: s4o.print("__transition_list[");
lbessard@70: print_transition_number();
laurent@217: s4o.print("])) {\n");
lbessard@70: s4o.indent_right();
lbessard@70: symbol->to_steps->accept(*this);
lbessard@70: s4o.indent_left();
lbessard@70: s4o.print(s4o.indent_spaces + "}\n");
lbessard@70: transition_number++;
lbessard@70: break;
lbessard@70: case stepreset_sg:
lbessard@70: if (symbol->integer == NULL) {
lbessard@70: s4o.print(s4o.indent_spaces + "if (");
laurent@217: s4o.print(GET_VAR);
laurent@217: s4o.print("(");
lbessard@70: print_variable_prefix();
lbessard@141: s4o.print("__transition_list[");
lbessard@70: print_transition_number();
laurent@217: s4o.print("])) {\n");
lbessard@70: s4o.indent_right();
lbessard@70: symbol->from_steps->accept(*this);
lbessard@70: s4o.indent_left();
lbessard@70: s4o.print(s4o.indent_spaces + "}\n");
lbessard@70: }
lbessard@70: transition_number++;
lbessard@70: break;
lbessard@70: default:
lbessard@70: break;
lbessard@70: }
lbessard@70: return NULL;
lbessard@70: }
lbessard@70:
lbessard@87: void *visit(transition_condition_c *symbol) {
lbessard@87: switch (wanted_sfcgeneration) {
lbessard@87: case transitiontest_sg:
lbessard@141: case transitiontestdebug_sg:
lbessard@87: // Transition condition is in IL
lbessard@87: if (symbol->transition_condition_il != NULL) {
msousa@682: generate_c_il->declare_implicit_variable_back();
lbessard@87: s4o.print(s4o.indent_spaces);
lbessard@87: symbol->transition_condition_il->accept(*generate_c_il);
laurent@217: s4o.print(SET_VAR);
laurent@217: s4o.print("(");
lbessard@87: print_variable_prefix();
laurent@392: s4o.print(",");
lbessard@141: if (wanted_sfcgeneration == transitiontestdebug_sg)
lbessard@141: s4o.print("__debug_");
lbessard@141: else
lbessard@141: s4o.print("__");
lbessard@87: s4o.print("transition_list[");
lbessard@87: print_transition_number();
mjsousa@885: s4o.print("],,");
msousa@682: generate_c_il->print_implicit_variable_back();
msousa@682: // generate_c_il->reset_default_variable_name(); // generate_c_il does not require his anymore
laurent@217: s4o.print(");\n");
lbessard@87: }
lbessard@87: // Transition condition is in ST
lbessard@87: if (symbol->transition_condition_st != NULL) {
lbessard@87: s4o.print(s4o.indent_spaces);
laurent@217: s4o.print(SET_VAR);
laurent@217: s4o.print("(");
lbessard@87: print_variable_prefix();
laurent@392: s4o.print(",");
lbessard@141: if (wanted_sfcgeneration == transitiontestdebug_sg)
lbessard@141: s4o.print("__debug_");
lbessard@141: else
lbessard@141: s4o.print("__");
lbessard@87: s4o.print("transition_list[");
lbessard@87: print_transition_number();
mjsousa@885: s4o.print("],,");
lbessard@87: symbol->transition_condition_st->accept(*generate_c_st);
laurent@217: s4o.print(");\n");
lbessard@87: }
lbessard@141: if (wanted_sfcgeneration == transitiontest_sg) {
lbessard@141: s4o.print(s4o.indent_spaces + "if (__DEBUG) {\n");
lbessard@141: s4o.indent_right();
lbessard@141: s4o.print(s4o.indent_spaces);
laurent@217: s4o.print(SET_VAR);
laurent@217: s4o.print("(");
lbessard@141: print_variable_prefix();
laurent@392: s4o.print(",__debug_transition_list[");
lbessard@141: print_transition_number();
mjsousa@885: s4o.print("],,");
laurent@221: s4o.print(GET_VAR);
laurent@221: s4o.print("(");
lbessard@141: print_variable_prefix();
lbessard@141: s4o.print("__transition_list[");
lbessard@141: print_transition_number();
laurent@221: s4o.print("]));\n");
lbessard@141: s4o.indent_left();
lbessard@141: s4o.print(s4o.indent_spaces + "}\n");
lbessard@141: }
lbessard@87: break;
lbessard@87: default:
lbessard@87: break;
lbessard@87: }
lbessard@87: return NULL;
lbessard@87: }
lbessard@87:
lbessard@70: void *visit(action_c *symbol) {
lbessard@70: switch (wanted_sfcgeneration) {
lbessard@70: case actionbody_sg:
lbessard@70: s4o.print(s4o.indent_spaces + "if(");
Laurent@628: s4o.print(GET_VAR);
Laurent@628: s4o.print("(");
lbessard@70: print_variable_prefix();
lbessard@141: s4o.print("__action_list[");
lbessard@70: s4o.print(SFC_STEP_ACTION_PREFIX);
lbessard@70: symbol->action_name->accept(*this);
Laurent@628: s4o.print("].state)) {\n");
lbessard@70: s4o.indent_right();
lbessard@70:
lbessard@70: // generate action code
lbessard@70: symbol->function_block_body->accept(*generate_c_code);
lbessard@70:
lbessard@70: s4o.indent_left();
lbessard@70: s4o.print(s4o.indent_spaces + "}\n\n");
lbessard@70: break;
lbessard@70: default:
lbessard@70: break;
lbessard@70: }
lbessard@70: return NULL;
lbessard@70: }
lbessard@70:
lbessard@70: void *visit(steps_c *symbol) {
lbessard@70: if (symbol->step_name != NULL) {
lbessard@70: switch (wanted_sfcgeneration) {
lbessard@70: case transitiontest_sg:
Laurent@629: s4o.print(GET_VAR);
Laurent@629: s4o.print("(");
lbessard@70: print_step_argument(symbol->step_name, "state");
laurent@217: s4o.print(")");
lbessard@70: break;
lbessard@70: case stepset_sg:
lbessard@70: print_set_step(symbol->step_name);
lbessard@70: break;
lbessard@70: case stepreset_sg:
lbessard@70: print_reset_step(symbol->step_name);
lbessard@70: break;
lbessard@70: default:
lbessard@70: break;
lbessard@70: }
lbessard@70: }
lbessard@70: else if (symbol->step_name_list != NULL) {
lbessard@70: symbol->step_name_list->accept(*this);
lbessard@70: }
lbessard@70: return NULL;
lbessard@70: }
lbessard@70:
lbessard@70: void *visit(step_name_list_c *symbol) {
lbessard@70: switch (wanted_sfcgeneration) {
lbessard@70: case transitiontest_sg:
lbessard@70: for(int i = 0; i < symbol->n; i++) {
Laurent@629: s4o.print(GET_VAR);
Laurent@629: s4o.print("(");
lbessard@70: print_step_argument(symbol->elements[i], "state");
laurent@217: s4o.print(")");
lbessard@70: if (i < symbol->n - 1) {
lbessard@70: s4o.print(" && ");
lbessard@70: }
lbessard@70: }
lbessard@70: break;
lbessard@70: case stepset_sg:
lbessard@70: for(int i = 0; i < symbol->n; i++) {
lbessard@70: print_set_step(symbol->elements[i]);
lbessard@70: }
lbessard@70: break;
lbessard@70: case stepreset_sg:
lbessard@70: for(int i = 0; i < symbol->n; i++) {
lbessard@70: print_reset_step(symbol->elements[i]);
lbessard@70: }
lbessard@70: break;
lbessard@70: default:
lbessard@70: break;
lbessard@70: }
lbessard@70: return NULL;
lbessard@70: }
lbessard@70:
lbessard@70: void *visit(action_association_list_c* symbol) {
lbessard@70: switch (wanted_sfcgeneration) {
lbessard@70: case actionassociation_sg:
lbessard@70: print_list(symbol, "", "\n", "\n");
lbessard@70: break;
lbessard@70: default:
lbessard@70: break;
lbessard@70: }
lbessard@70: return NULL;
lbessard@70: }
lbessard@70:
lbessard@70: void *visit(action_association_c *symbol) {
lbessard@70: switch (wanted_sfcgeneration) {
lbessard@70: case actionassociation_sg:
lbessard@70: if (symbol->action_qualifier != NULL) {
lbessard@70: current_action = symbol->action_name;
lbessard@70: symbol->action_qualifier->accept(*this);
lbessard@70: }
lbessard@70: else {
lbessard@70: s4o.print(s4o.indent_spaces + "if (");
laurent@217: s4o.print(GET_VAR);
laurent@217: s4o.print("(");
lbessard@70: print_step_argument(current_step, "state");
laurent@217: s4o.print(")) {\n");
lbessard@70: s4o.indent_right();
lbessard@70: s4o.print(s4o.indent_spaces);
Laurent@628: s4o.print(SET_VAR);
Laurent@628: s4o.print("(");
Laurent@628: print_action_argument(symbol->action_name, "state", true);
mjsousa@885: s4o.print(",,1);\n");
lbessard@70: s4o.indent_left();
lbessard@70: s4o.print(s4o.indent_spaces + "}");
lbessard@70: }
lbessard@70: break;
lbessard@70: default:
lbessard@70: break;
lbessard@70: }
lbessard@70: return NULL;
lbessard@70: }
lbessard@70:
lbessard@70: void *visit(action_qualifier_c *symbol) {
lbessard@70: switch (wanted_sfcgeneration) {
lbessard@70: case actionassociation_sg:
lbessard@70: {
lbessard@70: char *qualifier = (char *)symbol->action_qualifier->accept(*this);
lbessard@70: s4o.print(s4o.indent_spaces + "if (");
greg@155: if (strcmp(qualifier, "N") == 0 || strcmp(qualifier, "S") == 0 ||
greg@155: strcmp(qualifier, "R") == 0) {
lbessard@70: s4o.print("active");
lbessard@70: }
Laurent@627: else if (strcmp(qualifier, "P") == 0 || strcmp(qualifier, "SD") == 0 ||
Laurent@629: strcmp(qualifier, "DS") == 0 || strcmp(qualifier, "SL") == 0 ||
Laurent@629: strcmp(qualifier, "P0") == 0) {
lbessard@70: s4o.print("activated");
lbessard@70: }
Laurent@627: else if (strcmp(qualifier, "P1") == 0) {
Laurent@627: s4o.print("desactivated");
Laurent@627: }
Laurent@627: else if (strcmp(qualifier, "D") == 0 || strcmp(qualifier, "L") == 0) {
msousa@350: s4o.print("active && __time_cmp(");
lbessard@70: print_step_argument(current_step, "elapsed_time");
lbessard@120: s4o.print(", ");
lbessard@120: symbol->action_time->accept(*this);
lbessard@70: if (strcmp(qualifier, "D") == 0) {
lbessard@120: s4o.print(") >= 0");
lbessard@70: }
lbessard@70: else {
lbessard@120: s4o.print(") < 0");
lbessard@70: }
lbessard@70: }
lbessard@70: s4o.print(") {\n");
lbessard@70: s4o.indent_right();
lbessard@70: s4o.print(s4o.indent_spaces);
lbessard@70: if (strcmp(qualifier, "N") == 0 || strcmp(qualifier, "P") == 0 ||
Laurent@627: strcmp(qualifier, "D") == 0 || strcmp(qualifier, "L") == 0 ||
Laurent@627: strcmp(qualifier, "P0") == 0 || strcmp(qualifier, "P1") == 0) {
Laurent@629:
Laurent@629: if (is_variable(current_action)) {
Laurent@629: unsigned int vartype = search_var_instance_decl->get_vartype(current_action);
Laurent@629:
Laurent@629: if (vartype == search_var_instance_decl_c::external_vt)
Laurent@629: s4o.print(SET_EXTERNAL);
Laurent@629: else if (vartype == search_var_instance_decl_c::located_vt)
Laurent@629: s4o.print(SET_LOCATED);
Laurent@629: else
Laurent@629: s4o.print(SET_VAR);
Laurent@629: s4o.print("(");
Laurent@629: print_variable_prefix();
Laurent@629: s4o.print(",");
Laurent@629: current_action->accept(*this);
mjsousa@885: s4o.print(",,1);\n");
Laurent@629: s4o.indent_left();
Laurent@702: s4o.print(s4o.indent_spaces + "}\n");
Laurent@629: s4o.print(s4o.indent_spaces + "else if (active) {\n");
Laurent@629: s4o.indent_right();
Laurent@702: s4o.print(s4o.indent_spaces);
Laurent@629: if (vartype == search_var_instance_decl_c::external_vt)
Laurent@629: s4o.print(SET_EXTERNAL);
Laurent@629: else if (vartype == search_var_instance_decl_c::located_vt)
Laurent@629: s4o.print(SET_LOCATED);
Laurent@629: else
Laurent@629: s4o.print(SET_VAR);
Laurent@629: s4o.print("(");
Laurent@629: print_variable_prefix();
Laurent@629: s4o.print(",");
Laurent@629: current_action->accept(*this);
mjsousa@885: s4o.print(",,0);\n");
Laurent@629: }
Laurent@629:
Laurent@629: else {
Laurent@629: s4o.print(SET_VAR);
Laurent@629: s4o.print("(");
Laurent@629: print_action_argument(current_action, "state", true);
mjsousa@885: s4o.print(",,1);\n");
Laurent@629: }
lbessard@70: }
Laurent@627: if (strcmp(qualifier, "S") == 0 || strcmp(qualifier, "SL") == 0) {
laurent@244: print_action_argument(current_action, "set");
lbessard@70: s4o.print(" = 1;\n");
lbessard@70: }
lbessard@70: if (strcmp(qualifier, "R") == 0) {
laurent@244: print_action_argument(current_action, "reset");
laurent@244: s4o.print(" = 1;\n");
lbessard@70: }
lbessard@70: if (strcmp(qualifier, "SD") == 0 || strcmp(qualifier, "DS") == 0 ||
lbessard@70: strcmp(qualifier, "SL") == 0) {
lbessard@70: if (strcmp(qualifier, "SL") == 0) {
Laurent@703: s4o.print(s4o.indent_spaces);
Laurent@703: print_action_argument(current_action, "reset_remaining_time");
lbessard@70: }
lbessard@70: else {
lbessard@70: print_action_argument(current_action, "set_remaining_time");
lbessard@70: }
lbessard@70: s4o.print(" = ");
lbessard@70: symbol->action_time->accept(*this);
lbessard@70: s4o.print(";\n");
lbessard@70: }
lbessard@70: s4o.indent_left();
conti@561: s4o.print(s4o.indent_spaces + "}\n");
lbessard@70: if (strcmp(qualifier, "DS") == 0) {
Laurent@704: s4o.print(s4o.indent_spaces + "if (desactivated) {\n");
lbessard@70: s4o.indent_right();
lbessard@70: s4o.print(s4o.indent_spaces);
lbessard@70: print_action_argument(current_action, "set_remaining_time");
lbessard@70: s4o.print(" = __time_to_timespec(1, 0, 0, 0, 0, 0);\n");
conti@561: s4o.indent_left();
conti@561: s4o.print(s4o.indent_spaces + "}\n");
lbessard@70: }
lbessard@70: }
lbessard@70: break;
lbessard@70: default:
lbessard@70: break;
lbessard@70: }
lbessard@70: return NULL;
lbessard@70: }
lbessard@70:
lbessard@70: void *visit(qualifier_c *symbol) {
lbessard@70: return (void *)symbol->value;
lbessard@70: }
lbessard@70:
lbessard@70: void *visit(timed_qualifier_c *symbol) {
lbessard@70: return (void *)symbol->value;
lbessard@70: }
lbessard@70:
lbessard@70: }; /* generate_c_sfc_actiondecl_c */
lbessard@70:
lbessard@70:
lbessard@70: /***********************************************************************/
lbessard@70: /***********************************************************************/
lbessard@70: /***********************************************************************/
lbessard@70: /***********************************************************************/
lbessard@70:
mjsousa@861: class generate_c_sfc_c: public generate_c_base_c {
lbessard@70:
lbessard@70: private:
laurent@244: std::list variable_list;
laurent@244:
lbessard@70: generate_c_sfc_elements_c *generate_c_sfc_elements;
laurent@244: search_var_instance_decl_c *search_var_instance_decl;
lbessard@70:
lbessard@70: public:
laurent@217: generate_c_sfc_c(stage4out_c *s4o_ptr, symbol_c *name, symbol_c *scope, const char *variable_prefix = NULL)
mjsousa@861: : generate_c_base_c(s4o_ptr) {
laurent@217: generate_c_sfc_elements = new generate_c_sfc_elements_c(s4o_ptr, name, scope, variable_prefix);
laurent@244: search_var_instance_decl = new search_var_instance_decl_c(scope);
lbessard@70: this->set_variable_prefix(variable_prefix);
lbessard@70: }
lbessard@70:
lbessard@70: virtual ~generate_c_sfc_c(void) {
laurent@244: variable_list.clear();
lbessard@70: delete generate_c_sfc_elements;
laurent@244: delete search_var_instance_decl;
laurent@244: }
laurent@244:
laurent@244: bool is_variable(symbol_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);
laurent@244:
laurent@244: return var_decl != NULL;
lbessard@70: }
lbessard@70:
lbessard@70: /*********************************************/
lbessard@70: /* B.1.6 Sequential function chart elements */
lbessard@70: /*********************************************/
lbessard@119:
lbessard@119: void *visit(sequential_function_chart_c *symbol) {
lbessard@119: int i;
lbessard@119:
lbessard@119: generate_c_sfc_elements->reset_transition_number();
lbessard@119: for(i = 0; i < symbol->n; i++) {
laurent@244: symbol->elements[i]->accept(*this);
lbessard@119: generate_c_sfc_elements->generate(symbol->elements[i], generate_c_sfc_elements_c::transitionlist_sg);
lbessard@119: }
lbessard@119:
lbessard@119: s4o.print(s4o.indent_spaces +"INT i;\n");
lbessard@125: s4o.print(s4o.indent_spaces +"TIME elapsed_time, current_time;\n\n");
lbessard@125:
laurent@229: /* generate elapsed_time initializations */
lbessard@125: s4o.print(s4o.indent_spaces + "// Calculate elapsed_time\n");
lbessard@125: s4o.print(s4o.indent_spaces +"current_time = __CURRENT_TIME;\n");
msousa@350: // s4o.print(s4o.indent_spaces +"elapsed_time = __time_sub(__BOOL_LITERAL(TRUE), NULL, current_time, ");
msousa@350: // s4o.print(s4o.indent_spaces +"elapsed_time = SUB_TIME(__BOOL_LITERAL(TRUE), NULL, current_time, ");
msousa@350: s4o.print(s4o.indent_spaces +"elapsed_time = __time_sub(current_time, ");
lbessard@125: print_variable_prefix();
lbessard@141: s4o.print("__lasttick_time);\n");
lbessard@141: s4o.print(s4o.indent_spaces);
lbessard@141: print_variable_prefix();
lbessard@141: s4o.print("__lasttick_time = current_time;\n");
lbessard@119:
laurent@229: /* generate transition initializations */
laurent@229: s4o.print(s4o.indent_spaces + "// Transitions initialization\n");
laurent@229: s4o.print(s4o.indent_spaces + "if (__DEBUG) {\n");
laurent@229: s4o.indent_right();
laurent@229: s4o.print(s4o.indent_spaces + "for (i = 0; i < ");
laurent@229: print_variable_prefix();
laurent@229: s4o.print("__nb_transitions; i++) {\n");
laurent@229: s4o.indent_right();
laurent@229: s4o.print(s4o.indent_spaces);
laurent@229: print_variable_prefix();
laurent@229: s4o.print("__transition_list[i] = ");
laurent@229: print_variable_prefix();
laurent@229: s4o.print("__debug_transition_list[i];\n");
laurent@229: s4o.indent_left();
laurent@229: s4o.print(s4o.indent_spaces + "}\n");
laurent@229: s4o.indent_left();
laurent@229: s4o.print(s4o.indent_spaces + "}\n");
laurent@229:
laurent@229: /* generate step initializations */
laurent@229: s4o.print(s4o.indent_spaces + "// Steps initialization\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@141: s4o.indent_right();
lbessard@141: s4o.print(s4o.indent_spaces);
lbessard@141: print_variable_prefix();
lbessard@141: s4o.print("__step_list[i].prev_state = ");
laurent@217: s4o.print(GET_VAR);
laurent@217: s4o.print("(");
laurent@217: print_variable_prefix();
laurent@217: s4o.print("__step_list[i].state);\n");
lbessard@70: s4o.print(s4o.indent_spaces + "if (");
laurent@217: s4o.print(GET_VAR);
laurent@217: s4o.print("(");
laurent@217: print_variable_prefix();
laurent@217: s4o.print("__step_list[i].state)) {\n");
lbessard@141: s4o.indent_right();
lbessard@141: s4o.print(s4o.indent_spaces);
lbessard@141: print_variable_prefix();
msousa@350: // s4o.print("__step_list[i].elapsed_time = __time_add(__BOOL_LITERAL(TRUE), NULL, ");
msousa@350: // s4o.print("__step_list[i].elapsed_time = ADD_TIME(__BOOL_LITERAL(TRUE), NULL, ");
msousa@350: s4o.print("__step_list[i].elapsed_time = __time_add(");
lbessard@141: print_variable_prefix();
lbessard@141: s4o.print("__step_list[i].elapsed_time, elapsed_time);\n");
lbessard@70: s4o.indent_left();
lbessard@70: s4o.print(s4o.indent_spaces + "}\n");
lbessard@70: s4o.indent_left();
lbessard@70: s4o.print(s4o.indent_spaces + "}\n");
lbessard@70:
laurent@229: /* generate action initializations */
laurent@229: s4o.print(s4o.indent_spaces + "// Actions initialization\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@141: s4o.indent_right();
lbessard@141: s4o.print(s4o.indent_spaces);
Laurent@628: s4o.print(SET_VAR);
Laurent@628: s4o.print("(");
Laurent@628: print_variable_prefix();
mjsousa@885: s4o.print(",__action_list[i].state,,0);\n");
lbessard@141: s4o.print(s4o.indent_spaces);
lbessard@141: print_variable_prefix();
lbessard@141: s4o.print("__action_list[i].set = 0;\n");
lbessard@141: s4o.print(s4o.indent_spaces);
lbessard@141: print_variable_prefix();
lbessard@141: s4o.print("__action_list[i].reset = 0;\n");
lbessard@70: s4o.print(s4o.indent_spaces + "if (");
msousa@350: s4o.print("__time_cmp(");
lbessard@149: print_variable_prefix();
lbessard@149: s4o.print("__action_list[i].set_remaining_time, __time_to_timespec(1, 0, 0, 0, 0, 0)) > 0) {\n");
lbessard@149: s4o.indent_right();
lbessard@149: s4o.print(s4o.indent_spaces);
lbessard@149: print_variable_prefix();
msousa@350: // s4o.print("__action_list[i].set_remaining_time = __time_sub(__BOOL_LITERAL(TRUE), NULL, ");
msousa@350: // s4o.print("__action_list[i].set_remaining_time = SUB_TIME(__BOOL_LITERAL(TRUE), NULL, ");
msousa@350: s4o.print("__action_list[i].set_remaining_time = __time_sub(");
lbessard@141: print_variable_prefix();
lbessard@141: s4o.print("__action_list[i].set_remaining_time, elapsed_time);\n");
lbessard@70: s4o.print(s4o.indent_spaces + "if (");
msousa@350: s4o.print("__time_cmp(");
lbessard@149: print_variable_prefix();
lbessard@149: s4o.print("__action_list[i].set_remaining_time, __time_to_timespec(1, 0, 0, 0, 0, 0)) <= 0) {\n");
lbessard@141: s4o.indent_right();
lbessard@141: s4o.print(s4o.indent_spaces);
lbessard@141: print_variable_prefix();
lbessard@141: s4o.print("__action_list[i].set_remaining_time = __time_to_timespec(1, 0, 0, 0, 0, 0);\n");
lbessard@141: s4o.print(s4o.indent_spaces);
lbessard@141: print_variable_prefix();
lbessard@141: s4o.print("__action_list[i].set = 1;\n");
lbessard@70: s4o.indent_left();
lbessard@70: s4o.print(s4o.indent_spaces + "}\n");
lbessard@70: s4o.indent_left();
lbessard@70: s4o.print(s4o.indent_spaces + "}\n");
lbessard@70: s4o.print(s4o.indent_spaces + "if (");
msousa@350: s4o.print("__time_cmp(");
lbessard@149: print_variable_prefix();
lbessard@149: s4o.print("__action_list[i].reset_remaining_time, __time_to_timespec(1, 0, 0, 0, 0, 0)) > 0) {\n");
lbessard@149: s4o.indent_right();
lbessard@149: s4o.print(s4o.indent_spaces);
lbessard@149: print_variable_prefix();
msousa@350: // s4o.print("__action_list[i].reset_remaining_time = __time_sub(__BOOL_LITERAL(TRUE), NULL, ");
msousa@350: // s4o.print("__action_list[i].reset_remaining_time = SUB_TIME(__BOOL_LITERAL(TRUE), NULL, ");
msousa@350: s4o.print("__action_list[i].reset_remaining_time = __time_sub(");
lbessard@141: print_variable_prefix();
lbessard@141: s4o.print("__action_list[i].reset_remaining_time, elapsed_time);\n");
lbessard@70: s4o.print(s4o.indent_spaces + "if (");
msousa@350: s4o.print("__time_cmp(");
lbessard@149: print_variable_prefix();
lbessard@149: s4o.print("__action_list[i].reset_remaining_time, __time_to_timespec(1, 0, 0, 0, 0, 0)) <= 0) {\n");
lbessard@141: s4o.indent_right();
lbessard@141: s4o.print(s4o.indent_spaces);
lbessard@141: print_variable_prefix();
lbessard@141: s4o.print("__action_list[i].reset_remaining_time = __time_to_timespec(1, 0, 0, 0, 0, 0);\n");
lbessard@141: s4o.print(s4o.indent_spaces);
lbessard@141: print_variable_prefix();
lbessard@141: s4o.print("__action_list[i].reset = 1;\n");
lbessard@70: s4o.indent_left();
lbessard@70: s4o.print(s4o.indent_spaces + "}\n");
lbessard@70: s4o.indent_left();
lbessard@70: s4o.print(s4o.indent_spaces + "}\n");
lbessard@70: s4o.indent_left();
lbessard@70: s4o.print(s4o.indent_spaces + "}\n\n");
lbessard@70:
lbessard@70: /* generate transition tests */
lbessard@70: s4o.print(s4o.indent_spaces + "// Transitions fire test\n");
lbessard@119: generate_c_sfc_elements->generate((symbol_c *)symbol, generate_c_sfc_elements_c::transitiontest_sg);
lbessard@70: s4o.print("\n");
lbessard@70:
lbessard@70: /* generate transition reset steps */
lbessard@70: s4o.print(s4o.indent_spaces + "// Transitions reset steps\n");
lbessard@70: generate_c_sfc_elements->reset_transition_number();
lbessard@119: for(i = 0; i < symbol->n; i++) {
lbessard@119: generate_c_sfc_elements->generate(symbol->elements[i], generate_c_sfc_elements_c::stepreset_sg);
lbessard@119: }
lbessard@70: s4o.print("\n");
lbessard@70:
lbessard@70: /* generate transition set steps */
lbessard@70: s4o.print(s4o.indent_spaces + "// Transitions set steps\n");
lbessard@70: generate_c_sfc_elements->reset_transition_number();
lbessard@119: for(i = 0; i < symbol->n; i++) {
lbessard@119: generate_c_sfc_elements->generate(symbol->elements[i], generate_c_sfc_elements_c::stepset_sg);
lbessard@119: }
lbessard@70: s4o.print("\n");
lbessard@70:
lbessard@119: /* generate step association */
lbessard@70: s4o.print(s4o.indent_spaces + "// Steps association\n");
lbessard@119: for(i = 0; i < symbol->n; i++) {
lbessard@119: generate_c_sfc_elements->generate(symbol->elements[i], generate_c_sfc_elements_c::actionassociation_sg);
lbessard@119: }
lbessard@70: s4o.print("\n");
lbessard@70:
lbessard@70: /* generate action state evaluation */
lbessard@70: s4o.print(s4o.indent_spaces + "// Actions state evaluation\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 + "if (");
lbessard@70: print_variable_prefix();
lbessard@141: s4o.print("__action_list[i].set) {\n");
lbessard@141: s4o.indent_right();
lbessard@141: s4o.print(s4o.indent_spaces);
lbessard@141: print_variable_prefix();
lbessard@141: s4o.print("__action_list[i].stored = 1;\n");
lbessard@70: s4o.indent_left();
lbessard@70: s4o.print(s4o.indent_spaces + "}\n" + s4o.indent_spaces + "if (");
lbessard@70: print_variable_prefix();
lbessard@141: s4o.print("__action_list[i].reset) {\n");
lbessard@141: s4o.indent_right();
lbessard@141: s4o.print(s4o.indent_spaces);
lbessard@141: print_variable_prefix();
lbessard@141: s4o.print("__action_list[i].set_remaining_time = __time_to_timespec(1, 0, 0, 0, 0, 0);\n" + s4o.indent_spaces);
lbessard@141: print_variable_prefix();
lbessard@141: s4o.print("__action_list[i].reset_remaining_time = __time_to_timespec(1, 0, 0, 0, 0, 0);\n" + s4o.indent_spaces);
lbessard@141: print_variable_prefix();
lbessard@141: s4o.print("__action_list[i].stored = 0;\n");
lbessard@70: s4o.indent_left();
lbessard@70: s4o.print(s4o.indent_spaces + "}\n" + s4o.indent_spaces);
Laurent@628: s4o.print(SET_VAR);
Laurent@628: s4o.print("(");
Laurent@628: print_variable_prefix();
mjsousa@885: s4o.print(",__action_list[i].state,,");
Laurent@628: s4o.print(GET_VAR);
Laurent@628: s4o.print("(");
Laurent@628: print_variable_prefix();
Laurent@628: s4o.print("__action_list[i].state) | ");
Laurent@628: print_variable_prefix();
Laurent@628: s4o.print("__action_list[i].stored);\n");
lbessard@70: s4o.indent_left();
lbessard@70: s4o.print(s4o.indent_spaces + "}\n\n");
lbessard@70:
lbessard@70: /* generate action execution */
lbessard@70: s4o.print(s4o.indent_spaces + "// Actions execution\n");
laurent@244: {
laurent@244: std::list::iterator pt;
laurent@244: for(pt = variable_list.begin(); pt != variable_list.end(); pt++) {
Laurent@629:
Laurent@629: if (is_variable(pt->symbol)) {
msousa@417: unsigned int vartype = search_var_instance_decl->get_vartype(pt->symbol);
laurent@244:
Laurent@629: s4o.print(s4o.indent_spaces + "if (");
laurent@244: print_variable_prefix();
laurent@244: s4o.print("__action_list[");
laurent@244: s4o.print(SFC_STEP_ACTION_PREFIX);
laurent@244: pt->symbol->accept(*this);
Laurent@629: s4o.print("].reset) {\n");
Laurent@629: s4o.indent_right();
Laurent@629: s4o.print(s4o.indent_spaces);
Laurent@629: if (vartype == search_var_instance_decl_c::external_vt)
Laurent@629: s4o.print(SET_EXTERNAL);
Laurent@629: else if (vartype == search_var_instance_decl_c::located_vt)
Laurent@629: s4o.print(SET_LOCATED);
Laurent@629: else
Laurent@629: s4o.print(SET_VAR);
Laurent@629: s4o.print("(");
Laurent@629: print_variable_prefix();
Laurent@629: s4o.print(",");
Laurent@629: pt->symbol->accept(*this);
mjsousa@885: s4o.print(",,0);\n");
Laurent@629: s4o.indent_left();
Laurent@629: s4o.print(s4o.indent_spaces + "}\n");
Laurent@629: s4o.print(s4o.indent_spaces + "else if (");
Laurent@629: print_variable_prefix();
Laurent@629: s4o.print("__action_list[");
Laurent@629: s4o.print(SFC_STEP_ACTION_PREFIX);
Laurent@629: pt->symbol->accept(*this);
Laurent@629: s4o.print("].set) {\n");
Laurent@629: s4o.indent_right();
Laurent@629: s4o.print(s4o.indent_spaces);
Laurent@629: if (vartype == search_var_instance_decl_c::external_vt)
Laurent@629: s4o.print(SET_EXTERNAL);
Laurent@629: else if (vartype == search_var_instance_decl_c::located_vt)
Laurent@629: s4o.print(SET_LOCATED);
Laurent@629: else
Laurent@629: s4o.print(SET_VAR);
Laurent@629: s4o.print("(");
Laurent@629: print_variable_prefix();
Laurent@629: s4o.print(",");
Laurent@629: pt->symbol->accept(*this);
mjsousa@885: s4o.print(",,1);\n");
Laurent@629: s4o.indent_left();
Laurent@629: s4o.print(s4o.indent_spaces + "}\n");
laurent@244: }
laurent@244: }
laurent@244: }
lbessard@119: for(i = 0; i < symbol->n; i++) {
lbessard@119: generate_c_sfc_elements->generate(symbol->elements[i], generate_c_sfc_elements_c::actionbody_sg);
lbessard@119: }
lbessard@70: s4o.print("\n");
lbessard@70:
lbessard@70: return NULL;
lbessard@70: }
lbessard@119:
laurent@244: void *visit(initial_step_c *symbol) {
laurent@244: symbol->action_association_list->accept(*this);
laurent@244: return NULL;
laurent@244: }
laurent@244:
laurent@244: void *visit(step_c *symbol) {
laurent@244: symbol->action_association_list->accept(*this);
laurent@244: return NULL;
laurent@244: }
laurent@244:
laurent@244: void *visit(action_association_c *symbol) {
Laurent@629: if (is_variable(symbol->action_name)) {
laurent@244: 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: }
laurent@244: return NULL;
laurent@244: }
laurent@244:
laurent@244: void *visit(transition_c *symbol) {
laurent@244: return NULL;
laurent@244: }
laurent@244:
laurent@244: void *visit(action_c *symbol) {
laurent@244: return NULL;
laurent@244: }
laurent@244:
lbessard@70: void generate(sequential_function_chart_c *sfc) {
lbessard@70: sfc->accept(*this);
lbessard@70: }
lbessard@70:
lbessard@70: }; /* generate_c_sfc_c */