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 <http://www.gnu.org/licenses/>.
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: 
mjsousa@945: class generate_c_sfc_elements_c: public generate_c_base_and_typeid_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> 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)
mjsousa@945:     : generate_c_base_and_typeid_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<TRANSITION>::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(",");
mjsousa@897:       step_name->accept(*this);  // in the generated C code, the 'step_name' will have been previously #define'd as equiv to '__step_list[<step_number>]", so now we simply print out the name!
mjsousa@897:       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("(");
mjsousa@897:       print_step_argument(step_name, "X", 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("(");
mjsousa@897:       print_step_argument(step_name, "X", true);
mjsousa@885:       s4o.print(",,1);\n" + s4o.indent_spaces);
mjsousa@899:       print_step_argument(step_name, "T.value");
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();
mjsousa@992:             s4o.print(s4o.indent_spaces + "char active = ");
laurent@217:             s4o.print(GET_VAR);
laurent@217:             s4o.print("(");
mjsousa@897:             print_step_argument(current_step, "X");
mjsousa@992:             s4o.print(");\n");
mjsousa@992:             s4o.print(s4o.indent_spaces + "char activated = active && !");
lbessard@70:             print_step_argument(current_step, "prev_state");
lbessard@70:             s4o.print(";\n");
mjsousa@992:             s4o.print(s4o.indent_spaces + "char desactivated = !active && ");
lbessard@70:             print_step_argument(current_step, "prev_state");
mjsousa@992:             s4o.print(";\n\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();
mjsousa@992:             s4o.print(s4o.indent_spaces + "char active = ");
laurent@217:             s4o.print(GET_VAR);
laurent@217:             s4o.print("(");
mjsousa@897:             print_step_argument(current_step, "X");
mjsousa@992:             s4o.print(");\n");
mjsousa@992:             s4o.print(s4o.indent_spaces + "char activated = active && !");
lbessard@70:             print_step_argument(current_step, "prev_state");
lbessard@70:             s4o.print(";\n");
mjsousa@992:             s4o.print(s4o.indent_spaces + "char desactivated = !active && ");
lbessard@70:             print_step_argument(current_step, "prev_state");
mjsousa@992:             s4o.print(";\n\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<TRANSITION>::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("(");
mjsousa@897:             print_step_argument(symbol->step_name, "X");
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("(");
msousa@1041:             print_step_argument(symbol->get_element(i), "X");
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++) {
msousa@1041:             print_set_step(symbol->get_element(i));
lbessard@70:           }
lbessard@70:           break;
lbessard@70:         case stepreset_sg:
lbessard@70:           for(int i = 0; i < symbol->n; i++) {
msousa@1041:             print_reset_step(symbol->get_element(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("(");
mjsousa@897:             print_step_argument(current_step, "X");
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: 
mjsousa@992:     
mjsousa@992:     void print_set_var(symbol_c *var, const char *value) {  
mjsousa@992:       unsigned int vartype = search_var_instance_decl->get_vartype(var);
mjsousa@992:       s4o.print("{"); // it is safer to embed these macros nside a {..} block
mjsousa@992:       if (vartype == search_var_instance_decl_c::external_vt)
mjsousa@992:         s4o.print(SET_EXTERNAL);
mjsousa@992:       else if (vartype == search_var_instance_decl_c::located_vt)
mjsousa@992:         s4o.print(SET_LOCATED);
mjsousa@992:       else
mjsousa@992:         s4o.print(SET_VAR);
mjsousa@992:       s4o.print("(");
mjsousa@992:       print_variable_prefix();
mjsousa@992:       s4o.print(",");
mjsousa@992:       var->accept(*this);
mjsousa@992:       s4o.print(",,");
mjsousa@992:       s4o.print(value);
mjsousa@992:       s4o.print(");}");
mjsousa@992:     }
mjsousa@992: 
mjsousa@992:     void print_set_action_state(symbol_c *action, const char *value) {  
mjsousa@992:       s4o.print("{"); // it is safer to embed these macros nside a {..} block
mjsousa@992:       s4o.print(SET_VAR);
mjsousa@992:       s4o.print("(");
mjsousa@992:       print_action_argument(action, "state", true);
mjsousa@992:       s4o.print(",,");
mjsousa@992:       s4o.print(value);
mjsousa@992:       s4o.print(");}");
mjsousa@992:     }
mjsousa@992:     
mjsousa@992:     void print_set_var_or_action_state(symbol_c *action, const char *value) {  
mjsousa@992:       if (is_variable(current_action))  
mjsousa@992:         print_set_var         (action, value);
mjsousa@992:       else
mjsousa@992:         print_set_action_state(action, value);
mjsousa@992:     }
mjsousa@992:     
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);
mjsousa@992:             /* N qualifier */
mjsousa@992:             if (strcmp(qualifier, "N") == 0) {
mjsousa@992:               s4o.print(s4o.indent_spaces + "if (active)       ");
mjsousa@992:               print_set_var_or_action_state(current_action, "1");
mjsousa@992:               s4o.print(";\n");
mjsousa@992:               s4o.print(s4o.indent_spaces + "if (desactivated) ");
mjsousa@992:               print_set_var_or_action_state(current_action, "0");
mjsousa@992:               s4o.print(";\n");
mjsousa@992:               return NULL;
lbessard@70:             }
mjsousa@992:             /* S qualifier */
mjsousa@992:             if (strcmp(qualifier, "S") == 0) {
mjsousa@992:               s4o.print(s4o.indent_spaces + "if (active)       {");
mjsousa@992:               print_action_argument(current_action, "set");
mjsousa@992:               s4o.print(" = 1;}\n");
mjsousa@992:               return NULL;
lbessard@70:             }
mjsousa@992:             /* R qualifier */
mjsousa@992:             if (strcmp(qualifier, "R") == 0) {
mjsousa@992:               s4o.print(s4o.indent_spaces + "if (active)       {");
mjsousa@992:               print_action_argument(current_action, "reset");
mjsousa@992:               s4o.print(" = 1;}\n");
mjsousa@992:               return NULL;
Laurent@627:             }
mjsousa@992:             /* L or D qualifiers */
mjsousa@992:             if ((strcmp(qualifier, "L") == 0) || 
mjsousa@992:                 (strcmp(qualifier, "D") == 0)) {
mjsousa@992:               s4o.print(s4o.indent_spaces + "if (active && __time_cmp(");
mjsousa@899:               print_step_argument(current_step, "T.value");
lbessard@120:               s4o.print(", ");
andrej@1030:               symbol->action_time->accept(*generate_c_st);
mjsousa@992:               if (strcmp(qualifier, "L") == 0)
mjsousa@992:                 s4o.print(") < 0) ");
mjsousa@992:               else
mjsousa@992:                 s4o.print(") >= 0) ");
mjsousa@992:               s4o.print("\n" + s4o.indent_spaces + "                  ");
mjsousa@992:               print_set_var_or_action_state(current_action, "1");
mjsousa@992:               if (strcmp(qualifier, "L") == 0)
mjsousa@992:                 // in L, we force to zero while state is active and time has been reached
mjsousa@992:                 // or when the state is deactivated.
mjsousa@992:                 s4o.print("\n" + s4o.indent_spaces + "else if (desactivated || active)");
mjsousa@992:               else
mjsousa@992:                 s4o.print("\n" + s4o.indent_spaces + "else if (desactivated)");
mjsousa@992:               s4o.print("\n" + s4o.indent_spaces + "                  ");
mjsousa@992:               print_set_var_or_action_state(current_action, "0");
mjsousa@992:               s4o.print(";\n");
mjsousa@992:               return NULL;
lbessard@70:             }
mjsousa@992:             /* P, P1 or P0 qualifiers */
mjsousa@992:             if ( (strcmp(qualifier, "P" ) == 0) || 
mjsousa@992:                  (strcmp(qualifier, "P1") == 0) ||
mjsousa@992:                  (strcmp(qualifier, "P0") == 0)) {
mjsousa@992:               if (strcmp(qualifier, "P0") == 0)
mjsousa@992:                 s4o.print(s4o.indent_spaces + "if (desactivated) ");
mjsousa@992:               else
mjsousa@992:                 s4o.print(s4o.indent_spaces + "if (activated)    ");
mjsousa@992:               print_set_var_or_action_state(current_action, "1");
mjsousa@992:               s4o.print("\n" + s4o.indent_spaces + "else              ");
mjsousa@992:               print_set_var_or_action_state(current_action, "0");
mjsousa@992:               s4o.print(";\n");
mjsousa@992:               return NULL;
lbessard@70:             }
mjsousa@992:             /* SL qualifier */
mjsousa@992:             if (strcmp(qualifier, "SL") == 0) {
mjsousa@992:               s4o.print(s4o.indent_spaces + "if (activated) {");
mjsousa@992:               s4o.indent_right();
mjsousa@992:               s4o.print("\n" + s4o.indent_spaces);
laurent@244:               print_action_argument(current_action, "set");
mjsousa@992:               s4o.print(" = 1;\n" + s4o.indent_spaces);
mjsousa@992:               print_action_argument(current_action, "reset_remaining_time");
lbessard@70:               s4o.print(" = ");
andrej@1030:               symbol->action_time->accept(*generate_c_st);
lbessard@70:               s4o.print(";\n");
conti@561:               s4o.indent_left();
conti@561:               s4o.print(s4o.indent_spaces + "}\n");
mjsousa@992:               return NULL;
lbessard@70:             }
mjsousa@992:             /* SD and DS qualifiers */
mjsousa@992:             if ( (strcmp(qualifier, "SD") == 0) ||
mjsousa@992:                  (strcmp(qualifier, "DS") == 0)) {
mjsousa@992:               s4o.print(s4o.indent_spaces + "if (activated) {");
mjsousa@992:               s4o.indent_right();
mjsousa@992:               s4o.print("\n" + s4o.indent_spaces);
mjsousa@992:               print_action_argument(current_action, "set_remaining_time");
mjsousa@992:               s4o.print(" = ");
andrej@1030:               symbol->action_time->accept(*generate_c_st);
mjsousa@992:               s4o.print(";\n");
mjsousa@992:               s4o.indent_left();
mjsousa@992:               s4o.print(s4o.indent_spaces + "}\n");
mjsousa@992:               if (strcmp(qualifier, "DS") == 0) {
mjsousa@992:                 s4o.print(s4o.indent_spaces + "if (desactivated) {");
mjsousa@992:                 s4o.indent_right();
mjsousa@992:                 s4o.print("\n" + s4o.indent_spaces);
mjsousa@992:                 print_action_argument(current_action, "set_remaining_time");
mjsousa@992:                 s4o.print(" = __time_to_timespec(1, 0, 0, 0, 0, 0);\n");
mjsousa@992:                 s4o.indent_left();
mjsousa@992:                 s4o.print(s4o.indent_spaces + "}\n");
mjsousa@992:               }
mjsousa@992:               return NULL;
mjsousa@992:             }
mjsousa@992:             ERROR;
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@945: class generate_c_sfc_c: public generate_c_base_and_typeid_c {
lbessard@70:   
lbessard@70:   private:
laurent@244:     std::list<VARIABLE> 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@945:     : generate_c_base_and_typeid_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++) {
msousa@1041:         symbol->get_element(i)->accept(*this);
msousa@1041:         generate_c_sfc_elements->generate(symbol->get_element(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(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();
mjsousa@897:       s4o.print("__step_list[i].X);\n");
lbessard@70:       s4o.print(s4o.indent_spaces + "if (");
laurent@217:       s4o.print(GET_VAR);
laurent@217:       s4o.print("(");
laurent@217:       print_variable_prefix();
mjsousa@897:       s4o.print("__step_list[i].X)) {\n");
lbessard@141:       s4o.indent_right();
lbessard@141:       s4o.print(s4o.indent_spaces);
lbessard@141:       print_variable_prefix();
mjsousa@899:       s4o.print("__step_list[i].T.value = __time_add(");
mjsousa@899:       print_variable_prefix();
mjsousa@899:       s4o.print("__step_list[i].T.value, 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(");
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(");
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++) {
msousa@1041:         generate_c_sfc_elements->generate(symbol->get_element(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++) {
msousa@1041:         generate_c_sfc_elements->generate(symbol->get_element(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++) {
msousa@1041:         generate_c_sfc_elements->generate(symbol->get_element(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();
mjsousa@992:       s4o.print("__action_list[i].set_remaining_time = __time_to_timespec(1, 0, 0, 0, 0, 0);\n" + s4o.indent_spaces);
mjsousa@992:       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].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<VARIABLE>::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++) {
msousa@1041:         generate_c_sfc_elements->generate(symbol->get_element(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<VARIABLE>::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 */