lbessard@70: /*
lbessard@70:  * (c) 2007 Mario de Sousa, Laurent Bessard
lbessard@70:  *
lbessard@70:  * Offered to the public under the terms of the GNU General Public License
lbessard@70:  * as published by the Free Software Foundation; either version 2 of the
lbessard@70:  * License, or (at your option) any later version.
lbessard@70:  *
lbessard@70:  * This program is distributed in the hope that it will be useful, but
lbessard@70:  * WITHOUT ANY WARRANTY; without even the implied warranty of
lbessard@70:  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General
lbessard@70:  * Public License for more details.
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: /*
lbessard@70:  * An IEC 61131-3 IL and ST compiler.
lbessard@70:  *
lbessard@70:  * Based on the
lbessard@70:  * FINAL DRAFT - IEC 61131-3, 2nd Ed. (2001-12-10)
lbessard@70:  *
lbessard@70:  */
lbessard@70: 
lbessard@70: 
lbessard@70: /*
lbessard@70:  * Conversion of sfc networks (i.e. SFC code).
lbessard@70:  *
lbessard@70:  * This is part of the 4th stage that generates
lbessard@70:  * a c++ source program equivalent to the SFC, IL and ST
lbessard@70:  * code.
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: /***********************************************************************/
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;
lbessard@70:     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:
lbessard@70:     generate_c_sfc_elements_c(stage4out_c *s4o_ptr, symbol_c *scope, const char *variable_prefix = NULL)
lbessard@70:     : generate_c_base_c(s4o_ptr) {
lbessard@70:       generate_c_il = new generate_c_il_c(s4o_ptr, scope, variable_prefix);
lbessard@70:       generate_c_st = new generate_c_st_c(s4o_ptr, scope, variable_prefix);
lbessard@70:       generate_c_code = new generate_c_SFC_IL_ST_c(s4o_ptr, scope, variable_prefix);
lbessard@70:       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;
lbessard@70:       delete search_var_instance_decl;
lbessard@70:     }
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: 
lbessard@70:     void print_step_argument(symbol_c *step_name, const char* argument) {
lbessard@70:       print_variable_prefix();
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: 
lbessard@70:     void print_action_argument(symbol_c *action_name, const char* argument) {
lbessard@70:       print_variable_prefix();
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) {
lbessard@70:       char str[10];
lbessard@70:       sprintf(str, "%d", transition_number);
lbessard@70:       s4o.print(str);
lbessard@70:     }
lbessard@70: 
lbessard@70:     void print_reset_step(symbol_c *step_name) {
lbessard@70:       s4o.print(s4o.indent_spaces);
lbessard@70:       print_step_argument(step_name, "state");
lbessard@70:       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);
lbessard@70:       print_step_argument(step_name, "state");
lbessard@70:       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:     bool is_variable(symbol_c *symbol) {
lbessard@70:       /* we try to find the variable instance declaration, to determine its type... */
lbessard@70:       symbol_c *var_decl = search_var_instance_decl->get_decl(symbol);
lbessard@70:       
lbessard@70:       return var_decl != NULL;
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 = ");
lbessard@70:             print_step_argument(current_step, "state");
lbessard@70:             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 = !");
lbessard@70:             print_step_argument(current_step, "state");
lbessard@70:             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 = ");
lbessard@70:             print_step_argument(current_step, "state");
lbessard@70:             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();
lbessard@70:             s4o.print(s4o.indent_spaces + "char activated = ");
lbessard@70:             print_step_argument(current_step, "state");
lbessard@70:             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 = !");
lbessard@70:             print_step_argument(current_step, "state");
lbessard@70:             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 = ");
lbessard@70:             print_step_argument(current_step, "state");
lbessard@70:             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<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 (");
lbessard@70:             print_variable_prefix();
lbessard@141:             s4o.print("__transition_list[");
lbessard@70:             print_transition_number();
lbessard@70:             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);
lbessard@70:           print_variable_prefix();
lbessard@141:           s4o.print("__transition_list[");
lbessard@70:           print_transition_number();
lbessard@70:           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 (");
lbessard@70:           print_variable_prefix();
lbessard@141:           s4o.print("__transition_list[");
lbessard@70:           print_transition_number();
lbessard@70:           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 (");
lbessard@70:             print_variable_prefix();
lbessard@141:             s4o.print("__transition_list[");
lbessard@70:             print_transition_number();
lbessard@70:             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) {
lbessard@87:             generate_c_il->declare_backup_variable();
lbessard@87:             s4o.print(s4o.indent_spaces);
lbessard@87:             symbol->transition_condition_il->accept(*generate_c_il);
lbessard@87:             print_variable_prefix();
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();
lbessard@87:             s4o.print("] = ");
lbessard@87:             generate_c_il->print_backup_variable();
lbessard@87:             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);
lbessard@87:             print_variable_prefix();
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();
lbessard@87:             s4o.print("] = ");
lbessard@87:             symbol->transition_condition_st->accept(*generate_c_st);
lbessard@87:             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);
lbessard@141:             print_variable_prefix();
lbessard@141:             s4o.print("__debug_transition_list[");
lbessard@141:             print_transition_number();
lbessard@141:             s4o.print("] = ");
lbessard@141:             print_variable_prefix();
lbessard@141:             s4o.print("__transition_list[");
lbessard@141:             print_transition_number();
lbessard@141:             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(");
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);
lbessard@121:           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:
lbessard@70:             print_step_argument(symbol->step_name, "state");
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++) {
lbessard@70:             print_step_argument(symbol->elements[i], "state");
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 (");
lbessard@70:             print_step_argument(current_step, "state");
lbessard@70:             s4o.print(") {\n");
lbessard@70:             s4o.indent_right();
lbessard@70:             s4o.print(s4o.indent_spaces);
lbessard@70:             print_action_argument(symbol->action_name, "state");
lbessard@70:             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:             }
lbessard@70:             if (strcmp(qualifier, "P") == 0 || strcmp(qualifier, "SD") == 0 || 
greg@155:                 strcmp(qualifier, "DS") == 0 || strcmp(qualifier, "SL") == 0) {
lbessard@70:               s4o.print("activated");
lbessard@70:             }
lbessard@70:             if (strcmp(qualifier, "D") == 0 || strcmp(qualifier, "L") == 0) {
lbessard@120:               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 ||
lbessard@70:                 strcmp(qualifier, "D") == 0 || strcmp(qualifier, "L") == 0) {
lbessard@70:               print_action_argument(current_action, "state");
lbessard@70:               s4o.print(" = 1;\n");  
lbessard@70:             }
lbessard@70:             if (strcmp(qualifier, "S") == 0) {
lbessard@70:               if (is_variable(current_action)) {
lbessard@70:                 print_variable_prefix();
lbessard@70:                 current_action->accept(*this);
lbessard@70:               }
lbessard@70:               else
lbessard@70:                 print_action_argument(current_action, "set");
lbessard@70:               s4o.print(" = 1;\n");
lbessard@70:             }
lbessard@70:             if (strcmp(qualifier, "R") == 0) {
lbessard@70:               if (is_variable(current_action)) {
lbessard@70:                 print_variable_prefix();
lbessard@70:                 current_action->accept(*this);
lbessard@70:                 s4o.print(" = 0;\n");
lbessard@70:               }
lbessard@70:               else {
lbessard@70:                 print_action_argument(current_action, "reset");
lbessard@70:                 s4o.print(" = 1;\n");
lbessard@70:               }
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) {
lbessard@70:                 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();
lbessard@70:             s4o.print(s4o.indent_spaces + "}");
lbessard@70:             if (strcmp(qualifier, "DS") == 0) {
lbessard@70:               s4o.print("desactivated");
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");
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: /***********************************************************************/
lbessard@70: 
lbessard@70: class generate_c_sfc_c: public generate_c_typedecl_c {
lbessard@70:   
lbessard@70:   private:
lbessard@70:     generate_c_sfc_elements_c *generate_c_sfc_elements;
lbessard@70:     
lbessard@70:   public:
lbessard@70:     generate_c_sfc_c(stage4out_c *s4o_ptr, symbol_c *scope, const char *variable_prefix = NULL)
lbessard@70:     : generate_c_typedecl_c(s4o_ptr) {
lbessard@70:       generate_c_sfc_elements = new generate_c_sfc_elements_c(s4o_ptr, scope, variable_prefix);
lbessard@70:       this->set_variable_prefix(variable_prefix);
lbessard@70:     }
lbessard@70:   
lbessard@70:     virtual ~generate_c_sfc_c(void) {
lbessard@70:       delete generate_c_sfc_elements;
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++) {
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 +"BOOL transition;\n");
lbessard@125:       s4o.print(s4o.indent_spaces +"TIME elapsed_time, current_time;\n\n");
lbessard@125:       
lbessard@125:       /* generate elapsed_time initialisations */
lbessard@125:       s4o.print(s4o.indent_spaces + "// Calculate elapsed_time\n");
lbessard@125:       s4o.print(s4o.indent_spaces +"current_time = __CURRENT_TIME;\n");
lbessard@149:       s4o.print(s4o.indent_spaces +"elapsed_time = __time_sub(__BOOL_LITERAL(TRUE), NULL, 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:       
lbessard@119:       /* generate step initialisations */
lbessard@70:       s4o.print(s4o.indent_spaces + "// Steps initialisation\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 = ");
lbessard@141:       print_variable_prefix();
lbessard@141:       s4o.print("__step_list[i].state;\n");
lbessard@70:       s4o.print(s4o.indent_spaces + "if (");
lbessard@70:       print_variable_prefix();
lbessard@141:       s4o.print("__step_list[i].state) {\n");
lbessard@141:       s4o.indent_right();
lbessard@141:       s4o.print(s4o.indent_spaces);
lbessard@141:       print_variable_prefix();
lbessard@149:       s4o.print("__step_list[i].elapsed_time = __time_add(__BOOL_LITERAL(TRUE), NULL, ");
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: 
lbessard@70:       /* generate action initilizations */
lbessard@70:       s4o.print(s4o.indent_spaces + "// Actions initialisation\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);
lbessard@141:       print_variable_prefix();
lbessard@141:       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 (");
lbessard@149:       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();
lbessard@149:       s4o.print("__action_list[i].set_remaining_time = __time_sub(__BOOL_LITERAL(TRUE), NULL, ");
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 (");
lbessard@149:       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 (");
lbessard@149:       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();
lbessard@149:       s4o.print("__action_list[i].reset_remaining_time = __time_sub(__BOOL_LITERAL(TRUE), NULL, ");
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 (");
lbessard@149:       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);
lbessard@70:       print_variable_prefix();
lbessard@141:       s4o.print("__action_list[i].state |= ");
lbessard@141:       print_variable_prefix();
lbessard@141:       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");
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:     
lbessard@70:     void generate(sequential_function_chart_c *sfc) {
lbessard@70:       sfc->accept(*this);
lbessard@70:     }
lbessard@70: 
lbessard@70: }; /* generate_c_sfc_c */