lbessard@17: /*
lbessard@17:  * (c) 2007 Mario de Sousa, Laurent Bessard
lbessard@17:  *
lbessard@17:  * Offered to the public under the terms of the GNU General Public License
lbessard@17:  * as published by the Free Software Foundation; either version 2 of the
lbessard@17:  * License, or (at your option) any later version.
lbessard@17:  *
lbessard@17:  * This program is distributed in the hope that it will be useful, but
lbessard@17:  * WITHOUT ANY WARRANTY; without even the implied warranty of
lbessard@17:  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General
lbessard@17:  * Public License for more details.
lbessard@17:  *
lbessard@17:  * This code is made available on the understanding that it will not be
lbessard@17:  * used in safety-critical situations without a full and competent review.
lbessard@17:  */
lbessard@17: 
lbessard@17: /*
lbessard@17:  * An IEC 61131-3 IL and ST compiler.
lbessard@17:  *
lbessard@17:  * Based on the
lbessard@17:  * FINAL DRAFT - IEC 61131-3, 2nd Ed. (2001-12-10)
lbessard@17:  *
lbessard@17:  */
lbessard@17: 
lbessard@17: 
lbessard@17: /*
lbessard@17:  * Conversion of sfc networks (i.e. SFC code).
lbessard@17:  *
lbessard@17:  * This is part of the 4th stage that generates
lbessard@17:  * a c++ source program equivalent to the SFC, IL and ST
lbessard@17:  * code.
lbessard@17:  */
lbessard@17: 
lbessard@17: 
lbessard@17: 
lbessard@17: /***********************************************************************/
lbessard@17: /***********************************************************************/
lbessard@17: /***********************************************************************/
lbessard@17: /***********************************************************************/
lbessard@17: 
lbessard@19: class transition_element {
lbessard@19:   
lbessard@19:   private:
lbessard@19:     transition_c *transition;
lbessard@19:     char priority;
lbessard@19:     char index;
lbessard@19:     transition_element *prev;
lbessard@19:     transition_element *next;
lbessard@19: 
lbessard@19:   public:
lbessard@19:     transition_element(transition_c *tr, char pr, char idx) {
lbessard@19:       transition = tr;
lbessard@19:       priority = pr;
lbessard@19:       index = idx;
lbessard@19:     }
lbessard@19: 
lbessard@19:     void set_prev(transition_element *tr) {prev = tr;}
lbessard@19:     void set_next(transition_element *tr) {next = tr;}
lbessard@19:     transition_element *get_prev(void) {return prev;}
lbessard@19:     transition_element *get_next(void) {return next;}
lbessard@19:     transition_c *get_transition(void) {return transition;}
lbessard@19:     char get_priority(void) {return priority;}
lbessard@19:     char get_index(void) {return index;}
lbessard@19: };
lbessard@19: 
lbessard@19: 
lbessard@19: 
lbessard@19: 
lbessard@19: /***********************************************************************/
lbessard@19: /***********************************************************************/
lbessard@19: /***********************************************************************/
lbessard@19: /***********************************************************************/
lbessard@19: 
lbessard@19: class generate_cc_sfc_transitionresetsteps_c: public generate_cc_base_c {
lbessard@19:   
lbessard@19:   private:
lbessard@19:     char transition_number;
lbessard@19:   
lbessard@19:   public:
lbessard@19:     generate_cc_sfc_transitionresetsteps_c(stage4out_c *s4o_ptr, symbol_c *scope, const char *variable_prefix = NULL)
lbessard@19:     : generate_cc_base_c(s4o_ptr) {
lbessard@19:       this->set_variable_prefix(variable_prefix);
lbessard@19:     }
lbessard@19:     
lbessard@19:     void set_transition_number(char number) {transition_number = number;}
lbessard@19:     void reset_transition_number(void) {transition_number = 0;}
lbessard@19:     void print_transition_number(void) {
lbessard@19:       char str[10];
lbessard@19:       sprintf(str, "%d", transition_number);
lbessard@19:       s4o.print(str);
lbessard@19:     }
lbessard@19:     
lbessard@19:     void print_step_argument(symbol_c *step_name, const char* argument) {
lbessard@19:       print_variable_prefix();
lbessard@19:       s4o.print("step_list[");
lbessard@19:       s4o.print(SFC_STEP_ACTION_PREFIX);
lbessard@19:       step_name->accept(*this);
lbessard@19:       s4o.print("].");
lbessard@19:       s4o.print(argument);
lbessard@19:     }
lbessard@19: 
lbessard@19:     void print_reset_step(symbol_c *step_name) {
lbessard@19:       s4o.print(s4o.indent_spaces);
lbessard@19:       print_step_argument(step_name, "state");
lbessard@21:       s4o.print(" = 0;\n");
lbessard@19:     }
lbessard@19: 
lbessard@19: /*********************************************/
lbessard@19: /* B.1.6  Sequential function chart elements */
lbessard@19: /*********************************************/
lbessard@19:     
lbessard@19:     void *visit(initial_step_c *symbol) {return NULL;}
lbessard@19:     
lbessard@19:     void *visit(step_c *symbol) {return NULL;}
lbessard@19: 
lbessard@19:     void *visit(transition_c *symbol) {
lbessard@19:       if (symbol->integer == NULL) {
lbessard@19:         s4o.print(s4o.indent_spaces + "if (");
lbessard@19:         print_variable_prefix();
lbessard@19:         s4o.print("transition_list[");
lbessard@19:         print_transition_number();
lbessard@19:         s4o.print("]) {\n");
lbessard@19:         s4o.indent_right();
lbessard@19:         symbol->from_steps->accept(*this);
lbessard@19:         s4o.indent_left();
lbessard@19:         s4o.print(s4o.indent_spaces + "}\n");
lbessard@19:       }
lbessard@19:       transition_number++;
lbessard@19:       return NULL;
lbessard@19:     }
lbessard@19:     
lbessard@19:     void *visit(steps_c *symbol) {
lbessard@19:       if (symbol->step_name != NULL) {
lbessard@19:         print_reset_step(symbol->step_name);
lbessard@19:       }
lbessard@19:       if (symbol->step_name_list != NULL) {
lbessard@19:         symbol->step_name_list->accept(*this);
lbessard@19:       }
lbessard@19:       return NULL;
lbessard@19:     }
lbessard@19:     
lbessard@19:     void *visit(step_name_list_c *symbol) {
lbessard@19:       for(int i = 0; i < symbol->n; i++) {
lbessard@19:         print_reset_step(symbol->elements[i]);
lbessard@19:       }
lbessard@19:       return NULL;
lbessard@19:     }
lbessard@19:     
lbessard@19:     void *visit(action_c *symbol) {return NULL;}
lbessard@19: 
lbessard@19: }; /* generate_cc_sfc_transitionresetsteps_c */
lbessard@19:       
lbessard@19: 
lbessard@19: 
lbessard@19: 
lbessard@19: /***********************************************************************/
lbessard@19: /***********************************************************************/
lbessard@19: /***********************************************************************/
lbessard@19: /***********************************************************************/
lbessard@19: 
lbessard@19: class generate_cc_sfc_transitionsetsteps_c: public generate_cc_base_c {
lbessard@19:   
lbessard@19:   private:
lbessard@19:     char transition_number;
lbessard@19:   
lbessard@19:   public:
lbessard@19:     generate_cc_sfc_transitionsetsteps_c(stage4out_c *s4o_ptr, symbol_c *scope, const char *variable_prefix = NULL)
lbessard@19:     : generate_cc_base_c(s4o_ptr) {
lbessard@19:       this->set_variable_prefix(variable_prefix);
lbessard@19:     }
lbessard@19:     
lbessard@19:     void reset_transition_number(void) {transition_number = 0;}
lbessard@19:     void print_transition_number(void) {
lbessard@19:       char str[10];
lbessard@19:       sprintf(str, "%d", transition_number);
lbessard@19:       s4o.print(str);
lbessard@19:     }
lbessard@19:     
lbessard@19:     void print_step_argument(symbol_c *step_name, const char* argument) {
lbessard@19:       print_variable_prefix();
lbessard@19:       s4o.print("step_list[");
lbessard@19:       s4o.print(SFC_STEP_ACTION_PREFIX);
lbessard@19:       step_name->accept(*this);
lbessard@19:       s4o.print("].");
lbessard@19:       s4o.print(argument);
lbessard@19:     }
lbessard@19: 
lbessard@19:     void print_set_step(symbol_c *step_name) {
lbessard@19:       s4o.print(s4o.indent_spaces);
lbessard@19:       print_step_argument(step_name, "state");
lbessard@21:       s4o.print(" = 1;\n" + s4o.indent_spaces);
lbessard@21:       print_step_argument(step_name, "elapsed_time");
lbessard@21:       s4o.print(" = __time_to_timespec(1, 0, 0, 0, 0, 0);\n");
lbessard@19:     }
lbessard@19: 
lbessard@19: /*********************************************/
lbessard@19: /* B.1.6  Sequential function chart elements */
lbessard@19: /*********************************************/
lbessard@19:     
lbessard@19:     void *visit(initial_step_c *symbol) {return NULL;}
lbessard@19:     
lbessard@19:     void *visit(step_c *symbol) {return NULL;}
lbessard@19: 
lbessard@19:     void *visit(transition_c *symbol) {
lbessard@19:       s4o.print(s4o.indent_spaces + "if (");
lbessard@19:       print_variable_prefix();
lbessard@19:       s4o.print("transition_list[");
lbessard@19:       print_transition_number();
lbessard@19:       s4o.print("]) {\n");
lbessard@19:       s4o.indent_right();
lbessard@19:       symbol->to_steps->accept(*this);
lbessard@19:       s4o.indent_left();
lbessard@19:       s4o.print(s4o.indent_spaces + "}\n");
lbessard@19:       transition_number++;
lbessard@19:       return NULL;
lbessard@19:     }
lbessard@19:     
lbessard@19:     void *visit(steps_c *symbol) {
lbessard@19:       if (symbol->step_name != NULL) {
lbessard@19:         print_set_step(symbol->step_name);
lbessard@19:       }
lbessard@19:       if (symbol->step_name_list != NULL) {
lbessard@19:         symbol->step_name_list->accept(*this);
lbessard@19:       }
lbessard@19:       return NULL;
lbessard@19:     }
lbessard@19:     
lbessard@19:     void *visit(step_name_list_c *symbol) {
lbessard@19:       for(int i = 0; i < symbol->n; i++) {
lbessard@19:         print_set_step(symbol->elements[i]);
lbessard@19:       }
lbessard@19:       return NULL;
lbessard@19:     }
lbessard@19:     
lbessard@19:     void *visit(action_c *symbol) {return NULL;}
lbessard@19: 
lbessard@19: }; /* generate_cc_sfc_transitionsetsteps_c */
lbessard@19: 
lbessard@19: 
lbessard@19: 
lbessard@19: 
lbessard@19: /***********************************************************************/
lbessard@19: /***********************************************************************/
lbessard@19: /***********************************************************************/
lbessard@19: /***********************************************************************/
lbessard@19: 
lbessard@17: class generate_cc_sfc_transitiontest_c: public generate_cc_base_c {
lbessard@17:   
lbessard@17:   private:
lbessard@18:     char transition_number;
lbessard@18:   
lbessard@18:   private:
lbessard@17:     generate_cc_il_c *generate_cc_il;
lbessard@17:     generate_cc_st_c *generate_cc_st;
lbessard@19:     generate_cc_sfc_transitionresetsteps_c *generate_cc_sfc_transitionresetsteps;
lbessard@17:     
lbessard@17:   public:
lbessard@17:     generate_cc_sfc_transitiontest_c(stage4out_c *s4o_ptr, symbol_c *scope, const char *variable_prefix = NULL)
lbessard@17:     : generate_cc_base_c(s4o_ptr) {
lbessard@17:       generate_cc_il = new generate_cc_il_c(s4o_ptr, scope, variable_prefix);
lbessard@17:       generate_cc_st = new generate_cc_st_c(s4o_ptr, scope, variable_prefix);
lbessard@19:       generate_cc_sfc_transitionresetsteps = new generate_cc_sfc_transitionresetsteps_c(s4o_ptr, scope, variable_prefix);
lbessard@17:       this->set_variable_prefix(variable_prefix);
lbessard@17:     }
lbessard@17:     
lbessard@17:     ~generate_cc_sfc_transitiontest_c(void) {
lbessard@17:       delete generate_cc_il;
lbessard@17:       delete generate_cc_st;
lbessard@19:       delete generate_cc_sfc_transitionresetsteps;
lbessard@19:     }
lbessard@19: 
lbessard@19:     void set_transition_number(char number) {transition_number = number;}
lbessard@18:     void print_transition_number(void) {
lbessard@18:       char str[10];
lbessard@18:       sprintf(str, "%d", transition_number);
lbessard@18:       s4o.print(str);
lbessard@18:     }
lbessard@18: 
lbessard@17:     void print_step_argument(symbol_c *step_name, const char* argument) {
lbessard@17:       print_variable_prefix();
lbessard@17:       s4o.print("step_list[");
lbessard@18:       s4o.print(SFC_STEP_ACTION_PREFIX);
lbessard@17:       step_name->accept(*this);
lbessard@17:       s4o.print("].");
lbessard@17:       s4o.print(argument);
lbessard@17:     }
lbessard@17: 
lbessard@19:     void print_reset_step(symbol_c *step_name) {
lbessard@19:       s4o.print(s4o.indent_spaces);
lbessard@19:       print_step_argument(step_name, "state");
lbessard@21:       s4o.print(" = 0;\n");
lbessard@19:     }
lbessard@19: 
lbessard@17: /*********************************************/
lbessard@17: /* B.1.6  Sequential function chart elements */
lbessard@17: /*********************************************/
lbessard@17:     
lbessard@17:     void *visit(transition_c *symbol) {
lbessard@17:       s4o.print(s4o.indent_spaces + "if (");
lbessard@18:       symbol->from_steps->accept(*this);
lbessard@17:       s4o.print(") {\n");
lbessard@17:       s4o.indent_right();
lbessard@17:       
lbessard@17:       // Calculate transition value
lbessard@17:       if (symbol->transition_condition_il != NULL) {
lbessard@17:         generate_cc_il->declare_backup_variable();
lbessard@17:         s4o.print(s4o.indent_spaces);
lbessard@17:         symbol->transition_condition_il->accept(*generate_cc_il);
lbessard@18:         print_variable_prefix();
lbessard@18:         s4o.print("transition_list[");
lbessard@18:         print_transition_number();
lbessard@18:         s4o.print("] = ");
lbessard@17:         generate_cc_il->print_backup_variable();
lbessard@18:         s4o.print(";\n");
lbessard@17:       }
lbessard@17:       if (symbol->transition_condition_st != NULL) {
lbessard@22:         s4o.print(s4o.indent_spaces);
lbessard@18:         print_variable_prefix();
lbessard@18:         s4o.print("transition_list[");
lbessard@18:         print_transition_number();
lbessard@18:         s4o.print("] = ");
lbessard@17:         symbol->transition_condition_st->accept(*generate_cc_st);
lbessard@18:         s4o.print(";\n");
lbessard@18:       }
lbessard@19:       if (symbol->integer != NULL) {
lbessard@19:         s4o.print(s4o.indent_spaces + "if (");
lbessard@19:         print_variable_prefix();
lbessard@19:         s4o.print("transition_list[");
lbessard@19:         print_transition_number();
lbessard@19:         s4o.print("]) {\n");
lbessard@19:         s4o.indent_right();
lbessard@19:         symbol->from_steps->accept(*generate_cc_sfc_transitionresetsteps);
lbessard@19:         s4o.indent_left();
lbessard@19:         s4o.print(s4o.indent_spaces + "}\n");
lbessard@19:       }
lbessard@18:       s4o.indent_left();
lbessard@18:       s4o.print(s4o.indent_spaces + "}\n" + s4o.indent_spaces + "else {\n");
lbessard@18:       s4o.indent_right();
lbessard@18:       s4o.print(s4o.indent_spaces);
lbessard@18:       print_variable_prefix();
lbessard@18:       s4o.print("transition_list[");
lbessard@18:       print_transition_number();
lbessard@18:       s4o.print("] = 0;\n");
lbessard@18:       s4o.indent_left();
lbessard@18:       s4o.print(s4o.indent_spaces + "}\n");
lbessard@18:       
lbessard@18:       transition_number++;
lbessard@18:       return NULL;
lbessard@18:     }
lbessard@18:     
lbessard@18:     void *visit(steps_c *symbol) {
lbessard@18:       if (symbol->step_name != NULL) {
lbessard@18:         print_step_argument(symbol->step_name, "state");
lbessard@18:       }
lbessard@18:       if (symbol->step_name_list != NULL) {
lbessard@18:         symbol->step_name_list->accept(*this);
lbessard@18:       }
lbessard@18:       return NULL;
lbessard@18:     }
lbessard@18:     
lbessard@18:     void *visit(step_name_list_c *symbol) {
lbessard@18:       for(int i = 0; i < symbol->n; i++) {
lbessard@18:         print_step_argument(symbol->elements[i], "state");
lbessard@18:         if (i < symbol->n - 1) {
lbessard@18:           s4o.print(" && ");
lbessard@18:         }
lbessard@18:       }
lbessard@17:       return NULL;
lbessard@17:     }
lbessard@17: 
lbessard@17: }; /* generate_cc_sfc_transitiontest_c */
lbessard@17: 
lbessard@17: 
lbessard@17: 
lbessard@17: 
lbessard@17: /***********************************************************************/
lbessard@17: /***********************************************************************/
lbessard@17: /***********************************************************************/
lbessard@17: /***********************************************************************/
lbessard@17: 
lbessard@19: class generate_cc_sfc_transitionsort_c: public iterator_visitor_c {
lbessard@18:   
lbessard@18:   private:
lbessard@18:     char transition_number;
lbessard@19:     transition_element *first_transition;
lbessard@19:     transition_element *last_transition;
lbessard@19:   
lbessard@19:   private:
lbessard@19:     generate_cc_sfc_transitiontest_c *generate_cc_sfc_transitiontest;
lbessard@19:     
lbessard@18:   public:
lbessard@19:     generate_cc_sfc_transitionsort_c(stage4out_c *s4o_ptr, symbol_c *scope, const char *variable_prefix = NULL) {
lbessard@19:       generate_cc_sfc_transitiontest = new generate_cc_sfc_transitiontest_c(s4o_ptr, scope, variable_prefix);
lbessard@19:       first_transition = NULL;
lbessard@19:       last_transition = NULL;
lbessard@19:     }
lbessard@19: 
lbessard@19:     ~generate_cc_sfc_transitionsort_c(void) {
lbessard@19:       delete generate_cc_sfc_transitiontest;
lbessard@19:     }
lbessard@19:     
lbessard@19:     void append_transition(transition_c *transition, char priority, char index) {
lbessard@19:       transition_element *new_transition = new transition_element(transition, priority, index);
lbessard@19:       new_transition->set_prev(last_transition);
lbessard@19:       if (last_transition != NULL) {
lbessard@19:         last_transition->set_next(new_transition);
lbessard@19:       }
lbessard@19:       else {
lbessard@19:         first_transition = new_transition;
lbessard@19:       }
lbessard@19:       last_transition = new_transition;
lbessard@19:       transition_number++;
lbessard@19:     }
lbessard@19:     
lbessard@19:     void sort_transitions(void) {
lbessard@19:       int i, j;
lbessard@19:       transition_element *current_transition;
lbessard@19:       transition_element *next_transition;
lbessard@19:       for (i = transition_number; i > 1; i--) {
lbessard@19:         current_transition = first_transition;
lbessard@19:         for (j = 0; j < i - 1; j++) {
lbessard@19:           next_transition = current_transition->get_next();
lbessard@19:           if (current_transition->get_priority() > next_transition->get_priority()) {
lbessard@19:             if (current_transition->get_prev() != NULL) {
lbessard@19:               current_transition->get_prev()->set_next(next_transition);
lbessard@19:             }
lbessard@19:             else {
lbessard@19:               first_transition = next_transition;
lbessard@19:             }
lbessard@19:             if (next_transition->get_next() != NULL) {
lbessard@19:               next_transition->get_next()->set_prev(current_transition);
lbessard@19:             }
lbessard@19:             else {
lbessard@19:               last_transition = current_transition;
lbessard@19:             }
lbessard@19:             current_transition->set_next(next_transition->get_next());
lbessard@19:             next_transition->set_prev(current_transition->get_prev());
lbessard@19:             current_transition->set_prev(next_transition);
lbessard@19:             next_transition->set_next(current_transition);
lbessard@19:           }
lbessard@19:           else {
lbessard@19:             current_transition = next_transition;
lbessard@19:           }
lbessard@19:         }
lbessard@19:       }
lbessard@18:     }
lbessard@18:     
lbessard@18:     void reset_transition_number(void) {transition_number = 0;}
lbessard@19:     
lbessard@19:     void generate(symbol_c *symbol) {
lbessard@19:       symbol->accept(*this);
lbessard@19:       sort_transitions();
lbessard@19:       transition_element *next_transition = first_transition;
lbessard@19:       while (next_transition != NULL) {
lbessard@19:         generate_cc_sfc_transitiontest->set_transition_number(next_transition->get_index());
lbessard@19:         next_transition->get_transition()->accept(*generate_cc_sfc_transitiontest);
lbessard@19:         next_transition = next_transition->get_next();
lbessard@19:       }
lbessard@18:     }
lbessard@18: 
lbessard@18: /*********************************************/
lbessard@18: /* B.1.6  Sequential function chart elements */
lbessard@18: /*********************************************/
lbessard@18:     
lbessard@18:     void *visit(initial_step_c *symbol) {return NULL;}
lbessard@18:     
lbessard@18:     void *visit(step_c *symbol) {return NULL;}
lbessard@19:     
lbessard@18:     void *visit(transition_c *symbol) {
lbessard@19:       if (symbol->integer != NULL) {
lbessard@19:         append_transition(symbol, atoi(((token_c *)symbol->integer)->value), transition_number);
lbessard@19:       }
lbessard@19:       else {
lbessard@19:         append_transition(symbol, 0, transition_number);
lbessard@18:       }
lbessard@18:       return NULL;
lbessard@18:     }
lbessard@18:     
lbessard@18:     void *visit(action_c *symbol) {return NULL;}
lbessard@18: 
lbessard@19: };/* generate_cc_sfc_transitionsort_c */
lbessard@18: 
lbessard@18: 
lbessard@18: 
lbessard@18: 
lbessard@18: /***********************************************************************/
lbessard@18: /***********************************************************************/
lbessard@18: /***********************************************************************/
lbessard@18: /***********************************************************************/
lbessard@18: 
lbessard@17: class generate_cc_sfc_stepassociation_c: public generate_cc_base_c {
lbessard@17:   
lbessard@17:   private:
lbessard@17:     symbol_c *current_step;
lbessard@17:     symbol_c *current_action;
lbessard@17:   
lbessard@17:   public:
lbessard@17:     generate_cc_sfc_stepassociation_c(stage4out_c *s4o_ptr, symbol_c *scope, const char *variable_prefix = NULL)
lbessard@17:     : generate_cc_base_c(s4o_ptr) {
lbessard@17:       this->set_variable_prefix(variable_prefix);
lbessard@17:     }
lbessard@17: 
lbessard@17:     void print_step_argument(symbol_c *step_name, const char* argument) {
lbessard@17:       print_variable_prefix();
lbessard@17:       s4o.print("step_list[");
lbessard@18:       s4o.print(SFC_STEP_ACTION_PREFIX);
lbessard@17:       step_name->accept(*this);
lbessard@17:       s4o.print("].");
lbessard@17:       s4o.print(argument);
lbessard@17:     }
lbessard@17: 
lbessard@17:     void print_action_argument(symbol_c *action_name, const char* argument) {
lbessard@17:       print_variable_prefix();
lbessard@17:       s4o.print("action_list[");
lbessard@18:       s4o.print(SFC_STEP_ACTION_PREFIX);
lbessard@17:       action_name->accept(*this);
lbessard@17:       s4o.print("].");
lbessard@17:       s4o.print(argument);
lbessard@17:     }
lbessard@17: 
lbessard@17: /*********************************************/
lbessard@17: /* B.1.6  Sequential function chart elements */
lbessard@17: /*********************************************/
lbessard@17:     
lbessard@17:     void *visit(initial_step_c *symbol) {
lbessard@18:       if (((list_c*)symbol->action_association_list)->n > 0) {
lbessard@18:         s4o.print(s4o.indent_spaces + "// ");
lbessard@18:         symbol->step_name->accept(*this);
lbessard@18:         s4o.print(" action associations\n");
lbessard@18:         current_step = symbol->step_name;
lbessard@18:         s4o.print(s4o.indent_spaces + "{\n");
lbessard@18:         s4o.indent_right();
lbessard@18:         s4o.print(s4o.indent_spaces + "char activated = ");
lbessard@18:         print_step_argument(current_step, "state");
lbessard@18:         s4o.print(" && !");
lbessard@18:         print_step_argument(current_step, "prev_state");
lbessard@18:         s4o.print(";\n");
lbessard@18:         s4o.print(s4o.indent_spaces + "char desactivated = !");
lbessard@18:         print_step_argument(current_step, "state");
lbessard@18:         s4o.print(" && ");
lbessard@18:         print_step_argument(current_step, "prev_state");
lbessard@18:         s4o.print(";\n");
lbessard@18:         s4o.print(s4o.indent_spaces + "char active = ");
lbessard@18:         print_step_argument(current_step, "state");
lbessard@18:         s4o.print(";\n");
lbessard@18:         symbol->action_association_list->accept(*this);
lbessard@18:         s4o.indent_left();
lbessard@18:         s4o.print(s4o.indent_spaces + "}\n\n");
lbessard@18:       }
lbessard@17:       return NULL;
lbessard@17:     }
lbessard@17:     
lbessard@17:     void *visit(step_c *symbol) {
lbessard@18:       if (((list_c*)symbol->action_association_list)->n > 0) {
lbessard@18:         s4o.print(s4o.indent_spaces + "// ");
lbessard@18:         symbol->step_name->accept(*this);
lbessard@18:         s4o.print(" action associations\n");
lbessard@18:         current_step = symbol->step_name;
lbessard@18:         s4o.print(s4o.indent_spaces + "{\n");
lbessard@18:         s4o.indent_right();
lbessard@18:         s4o.print(s4o.indent_spaces + "char activated = ");
lbessard@18:         print_step_argument(current_step, "state");
lbessard@18:         s4o.print(" && !");
lbessard@18:         print_step_argument(current_step, "prev_state");
lbessard@18:         s4o.print(";\n");
lbessard@18:         s4o.print(s4o.indent_spaces + "char desactivated = !");
lbessard@18:         print_step_argument(current_step, "state");
lbessard@18:         s4o.print(" && ");
lbessard@18:         print_step_argument(current_step, "prev_state");
lbessard@18:         s4o.print(";\n");
lbessard@18:         s4o.print(s4o.indent_spaces + "char active = ");
lbessard@18:         print_step_argument(current_step, "state");
lbessard@18:         s4o.print(";\n");
lbessard@18:         symbol->action_association_list->accept(*this);
lbessard@18:         s4o.indent_left();
lbessard@18:         s4o.print(s4o.indent_spaces + "}\n\n");
lbessard@18:       }
lbessard@17:       return NULL;
lbessard@17:     }
lbessard@17: 
lbessard@17:     void *visit(transition_c *symbol) {return NULL;}
lbessard@17:     
lbessard@17:     void *visit(action_c *symbol) {return NULL;}
lbessard@17: 
lbessard@17:     void *visit(action_association_list_c* symbol) {
lbessard@18:       print_list(symbol, "", "\n", "\n");
lbessard@17:       return NULL;
lbessard@17:     }
lbessard@17: 
lbessard@17:     void *visit(action_association_c *symbol) {
lbessard@17:       if (symbol->action_qualifier != NULL) {
lbessard@17:         current_action = symbol->action_name;
lbessard@17:         symbol->action_qualifier->accept(*this);
lbessard@17:       }
lbessard@17:       else {
lbessard@17:         s4o.print(s4o.indent_spaces + "if (");
lbessard@17:         print_step_argument(current_step, "state");
lbessard@17:         s4o.print(") {\n");
lbessard@17:         s4o.indent_right();
lbessard@17:         s4o.print(s4o.indent_spaces);
lbessard@17:         print_action_argument(symbol->action_name, "state");
lbessard@17:         s4o.print(" = 1;\n");
lbessard@17:         s4o.indent_left();
lbessard@17:         s4o.print(s4o.indent_spaces + "}");
lbessard@17:       }
lbessard@17:       return NULL;
lbessard@17:     }
lbessard@17: 
lbessard@17:     void *visit(action_qualifier_c *symbol) {
lbessard@17:       char *qualifier = (char *)symbol->action_qualifier->accept(*this);
lbessard@17:       
lbessard@17:       s4o.print(s4o.indent_spaces + "if (");
lbessard@17:       if (strcmp(qualifier, "N") == 0) {
lbessard@18:         s4o.print("active");
lbessard@17:       }
lbessard@17:       if (strcmp(qualifier, "P") == 0 || strcmp(qualifier, "SD") == 0 || 
lbessard@17:           strcmp(qualifier, "DS") == 0 || strcmp(qualifier, "SL") == 0) {
lbessard@18:         s4o.print("activated");
lbessard@17:       }
lbessard@17:       if (strcmp(qualifier, "D") == 0 || strcmp(qualifier, "L") == 0) {
lbessard@18:         s4o.print("active && ");
lbessard@17:         print_step_argument(current_step, "elapsed_time");
lbessard@17:         if (strcmp(qualifier, "D") == 0) {
lbessard@17:           s4o.print(" >= ");
lbessard@17:         }
lbessard@17:         else {
lbessard@17:           s4o.print(" < ");
lbessard@17:         }
lbessard@17:         symbol->action_time->accept(*this);  
lbessard@17:       }
lbessard@17:       s4o.print(") {\n");
lbessard@17:       s4o.indent_right();
lbessard@17:       s4o.print(s4o.indent_spaces);
lbessard@17:       if (strcmp(qualifier, "N") == 0 || strcmp(qualifier, "P") == 0 ||
lbessard@17:           strcmp(qualifier, "D") == 0 || strcmp(qualifier, "L") == 0) {
lbessard@17:         print_action_argument(current_action, "state");
lbessard@17:         s4o.print(" = 1;\n");  
lbessard@17:       }
lbessard@17:       if (strcmp(qualifier, "SD") == 0 || strcmp(qualifier, "DS") == 0 || 
lbessard@17:           strcmp(qualifier, "SL") == 0) {
lbessard@17:         if (strcmp(qualifier, "SL") == 0) {
lbessard@17:           print_action_argument(current_action, "reset_remaining_time");  
lbessard@17:         }
lbessard@17:         else {
lbessard@17:           print_action_argument(current_action, "set_remaining_time");
lbessard@17:         }
lbessard@17:         s4o.print(" = ");
lbessard@17:         symbol->action_time->accept(*this);
lbessard@17:         s4o.print(";\n");
lbessard@17:       }
lbessard@17:       s4o.indent_left();
lbessard@17:       s4o.print(s4o.indent_spaces + "}");
lbessard@17:       if (strcmp(qualifier, "DS") == 0) {
lbessard@18:         s4o.print("desactivated");
lbessard@17:         s4o.indent_right();
lbessard@17:         s4o.print(s4o.indent_spaces);
lbessard@17:         print_action_argument(current_action, "set_remaining_time");
lbessard@17:         s4o.print(" = __time_to_timespec(1, 0, 0, 0, 0, 0);\n");
lbessard@17:       }
lbessard@17:       return NULL;
lbessard@17:     }
lbessard@17: 
lbessard@17:     void *visit(qualifier_c *symbol) {
lbessard@17:       return (void *)symbol->value;
lbessard@17:     }
lbessard@17: 
lbessard@17:     void *visit(timed_qualifier_c *symbol) {
lbessard@17:       return (void *)symbol->value;
lbessard@17:     }
lbessard@17: 
lbessard@17: }; /* generate_cc_sfc_actiondecl_c */
lbessard@17: 
lbessard@17: 
lbessard@17: 
lbessard@17: 
lbessard@17: /***********************************************************************/
lbessard@17: /***********************************************************************/
lbessard@17: /***********************************************************************/
lbessard@17: /***********************************************************************/
lbessard@17: 
lbessard@17: class generate_cc_sfc_actionexecution_c: public generate_cc_base_c {
lbessard@17:   
lbessard@17:   private:
lbessard@17:     generate_cc_SFC_IL_ST_c *generate_cc_code;
lbessard@17:     
lbessard@17:   public:
lbessard@17:     generate_cc_sfc_actionexecution_c(stage4out_c *s4o_ptr, symbol_c *scope, const char *variable_prefix = NULL)
lbessard@17:     : generate_cc_base_c(s4o_ptr) {
lbessard@17:       generate_cc_code = new generate_cc_SFC_IL_ST_c(s4o_ptr, scope, variable_prefix);
lbessard@17:       this->set_variable_prefix(variable_prefix);
lbessard@17:     }
lbessard@17:     
lbessard@17:     ~generate_cc_sfc_actionexecution_c(void) {
lbessard@17:       delete generate_cc_code;
lbessard@17:     }
lbessard@17: 
lbessard@17: /*********************************************/
lbessard@17: /* B.1.6  Sequential function chart elements */
lbessard@17: /*********************************************/
lbessard@17:     
lbessard@17:     void *visit(initial_step_c *symbol) {return NULL;}
lbessard@17:     
lbessard@17:     void *visit(step_c *symbol) {return NULL;}
lbessard@17: 
lbessard@17:     void *visit(transition_c *symbol) {return NULL;}
lbessard@17:     
lbessard@17:     void *visit(action_c *symbol) {
lbessard@17:       s4o.print(s4o.indent_spaces + "if(");
lbessard@17:       print_variable_prefix();
lbessard@17:       s4o.print("action_list[");
lbessard@18:       s4o.print(SFC_STEP_ACTION_PREFIX);
lbessard@17:       symbol->action_name->accept(*this);
lbessard@17:       s4o.print("].state) {");
lbessard@17:       s4o.indent_right();
lbessard@17:       
lbessard@17:       // generate action code
lbessard@17:       symbol->function_block_body->accept(*generate_cc_code);
lbessard@17:       
lbessard@17:       s4o.indent_left();
lbessard@17:       s4o.print(s4o.indent_spaces + "}\n\n");
lbessard@17:       return NULL;
lbessard@17:     }
lbessard@17: 
lbessard@17: }; /* generate_cc_sfc_actiondecl_c */
lbessard@17:  
lbessard@17:  
lbessard@17:  
lbessard@17: /***********************************************************************/
lbessard@17: /***********************************************************************/
lbessard@17: /***********************************************************************/
lbessard@17: /***********************************************************************/
lbessard@17: 
lbessard@17: class generate_cc_sfc_c: public generate_cc_typedecl_c {
lbessard@17:   
lbessard@17:   private:
lbessard@19:     generate_cc_sfc_transitionsort_c *generate_cc_sfc_transitionsort;
lbessard@18:     generate_cc_sfc_transitionresetsteps_c *generate_cc_sfc_transitionresetsteps;
lbessard@18:     generate_cc_sfc_transitionsetsteps_c *generate_cc_sfc_transitionsetsteps;
lbessard@17:     generate_cc_sfc_stepassociation_c *generate_cc_sfc_stepassociation;
lbessard@17:     generate_cc_sfc_actionexecution_c *generate_cc_sfc_actionexecution;
lbessard@17:   
lbessard@17:   public:
lbessard@17:     generate_cc_sfc_c(stage4out_c *s4o_ptr, symbol_c *scope, const char *variable_prefix = NULL)
lbessard@17:     : generate_cc_typedecl_c(s4o_ptr) {
lbessard@19:       generate_cc_sfc_transitionsort = new generate_cc_sfc_transitionsort_c(s4o_ptr, scope, variable_prefix);
lbessard@18:       generate_cc_sfc_transitionresetsteps = new generate_cc_sfc_transitionresetsteps_c(s4o_ptr, scope, variable_prefix);
lbessard@18:       generate_cc_sfc_transitionsetsteps = new generate_cc_sfc_transitionsetsteps_c(s4o_ptr, scope, variable_prefix);
lbessard@17:       generate_cc_sfc_stepassociation = new generate_cc_sfc_stepassociation_c(s4o_ptr, scope, variable_prefix);
lbessard@17:       generate_cc_sfc_actionexecution = new generate_cc_sfc_actionexecution_c(s4o_ptr, scope, variable_prefix);
lbessard@17:       this->set_variable_prefix(variable_prefix);
lbessard@17:     }
lbessard@17:   
lbessard@17:     virtual ~generate_cc_sfc_c(void) {
lbessard@19:       delete generate_cc_sfc_transitionsort;
lbessard@18:       delete generate_cc_sfc_transitionresetsteps;
lbessard@18:       delete generate_cc_sfc_transitionsetsteps;
lbessard@17:       delete generate_cc_sfc_stepassociation;
lbessard@17:       delete generate_cc_sfc_actionexecution;
lbessard@17:     }
lbessard@17: 
lbessard@17: /*********************************************/
lbessard@17: /* B.1.6  Sequential function chart elements */
lbessard@17: /*********************************************/
lbessard@17: 
lbessard@17:     void *visit(sfc_network_c *symbol) {
lbessard@17:       s4o.print(s4o.indent_spaces +"INT i;\n\n");
lbessard@17:       s4o.print(s4o.indent_spaces +"BOOL transition;\n\n");
lbessard@17:             
lbessard@17:       /* generate step initilizations */
lbessard@17:       s4o.print(s4o.indent_spaces + "// Steps initialisation\n");
lbessard@17:       s4o.print(s4o.indent_spaces + "for (i = 0; i < ");
lbessard@17:       print_variable_prefix();
lbessard@17:       s4o.print("nb_steps; i++) {\n");
lbessard@17:       s4o.indent_right();
lbessard@17:       s4o.print(s4o.indent_spaces);
lbessard@17:       print_variable_prefix();
lbessard@18:       s4o.print("step_list[i].prev_state = ");
lbessard@18:       print_variable_prefix();
lbessard@18:       s4o.print("step_list[i].state;\n");
lbessard@17:       s4o.print(s4o.indent_spaces + "if (");
lbessard@17:       print_variable_prefix();
lbessard@17:       s4o.print("step_list[i].state) {\n");
lbessard@17:       s4o.indent_right();
lbessard@17:       s4o.print(s4o.indent_spaces);
lbessard@17:       print_variable_prefix();
etisserant@41:       s4o.print("step_list[i].elapsed_time = __time_add(");
lbessard@17:       print_variable_prefix();
lbessard@17:       s4o.print("step_list[i].elapsed_time, PERIOD);\n");
lbessard@17:       s4o.indent_left();
lbessard@17:       s4o.print(s4o.indent_spaces + "}\n");
lbessard@17:       s4o.indent_left();
lbessard@17:       s4o.print(s4o.indent_spaces + "}\n");
lbessard@17: 
lbessard@17:       /* generate action initilizations */
lbessard@17:       s4o.print(s4o.indent_spaces + "// Actions initialisation\n");
lbessard@17:       s4o.print(s4o.indent_spaces + "for (i = 0; i < ");
lbessard@17:       print_variable_prefix();
lbessard@17:       s4o.print("nb_actions; i++) {\n");
lbessard@17:       s4o.indent_right();
lbessard@17:       s4o.print(s4o.indent_spaces);
lbessard@17:       print_variable_prefix();
lbessard@17:       s4o.print("action_list[i].state = 0;\n");
lbessard@17:       s4o.print(s4o.indent_spaces);
lbessard@17:       print_variable_prefix();
lbessard@17:       s4o.print("action_list[i].set = 0;\n");
lbessard@17:       s4o.print(s4o.indent_spaces);
lbessard@17:       print_variable_prefix();
lbessard@17:       s4o.print("action_list[i].reset = 0;\n");
lbessard@17:       s4o.print(s4o.indent_spaces + "if (");
lbessard@17:       print_variable_prefix();
etisserant@41:       s4o.print("__gt_TIME(action_list[i].set_remaining_time, __time_to_timespec(1, 0, 0, 0, 0, 0)) {\n");
etisserant@41:       s4o.indent_right();
etisserant@41:       s4o.print(s4o.indent_spaces);
etisserant@41:       print_variable_prefix();
etisserant@41:       s4o.print("action_list[i].set_remaining_time = __time_sub(");
lbessard@17:       print_variable_prefix();
lbessard@17:       s4o.print("action_list[i].set_remaining_time, PERIOD);\n");
lbessard@17:       s4o.print(s4o.indent_spaces + "if (");
lbessard@17:       print_variable_prefix();
etisserant@41:       s4o.print("__le_TIME(action_list[i].set_remaining_time, __time_to_timespec(1, 0, 0, 0, 0, 0)) {\n");
lbessard@17:       s4o.indent_right();
lbessard@17:       s4o.print(s4o.indent_spaces);
lbessard@17:       print_variable_prefix();
lbessard@17:       s4o.print("action_list[i].set_remaining_time = __time_to_timespec(1, 0, 0, 0, 0, 0);\n");
lbessard@17:       s4o.print(s4o.indent_spaces);
lbessard@17:       print_variable_prefix();
lbessard@17:       s4o.print("action_list[i].set = 1;\n");
lbessard@17:       s4o.indent_left();
lbessard@17:       s4o.print(s4o.indent_spaces + "}\n");
lbessard@17:       s4o.indent_left();
lbessard@17:       s4o.print(s4o.indent_spaces + "}\n");
lbessard@17:       s4o.print(s4o.indent_spaces + "if (");
lbessard@17:       print_variable_prefix();
etisserant@41:       s4o.print("__gt_TIME(action_list[i].reset_remaining_time, __time_to_timespec(1, 0, 0, 0, 0, 0)) {\n");
etisserant@41:       s4o.indent_right();
etisserant@41:       s4o.print(s4o.indent_spaces);
etisserant@41:       print_variable_prefix();
etisserant@41:       s4o.print("action_list[i].reset_remaining_time = __time_sub(");
lbessard@17:       print_variable_prefix();
lbessard@17:       s4o.print("action_list[i].reset_remaining_time, PERIOD);\n");
lbessard@17:       s4o.print(s4o.indent_spaces + "if (");
lbessard@17:       print_variable_prefix();
etisserant@41:       s4o.print("__le_TIME(action_list[i].reset_remaining_time, __time_to_timespec(1, 0, 0, 0, 0, 0)) {\n");
lbessard@17:       s4o.indent_right();
lbessard@17:       s4o.print(s4o.indent_spaces);
lbessard@17:       print_variable_prefix();
lbessard@17:       s4o.print("action_list[i].reset_remaining_time = __time_to_timespec(1, 0, 0, 0, 0, 0);\n");
lbessard@17:       s4o.print(s4o.indent_spaces);
lbessard@17:       print_variable_prefix();
lbessard@17:       s4o.print("action_list[i].reset = 1;\n");
lbessard@17:       s4o.indent_left();
lbessard@17:       s4o.print(s4o.indent_spaces + "}\n");
lbessard@17:       s4o.indent_left();
lbessard@17:       s4o.print(s4o.indent_spaces + "}\n");
lbessard@17:       s4o.indent_left();
lbessard@17:       s4o.print(s4o.indent_spaces + "}\n\n");
lbessard@17:       
lbessard@17:       /* generate transition tests */
lbessard@17:       s4o.print(s4o.indent_spaces + "// Transitions fire test\n");
lbessard@19:       generate_cc_sfc_transitionsort->reset_transition_number();
lbessard@19:       generate_cc_sfc_transitionsort->generate(symbol);
lbessard@17:       s4o.print("\n");
lbessard@17:       
lbessard@18:       /* generate transition reset steps */
lbessard@18:       s4o.print(s4o.indent_spaces + "// Transitions reset steps\n");
lbessard@18:       generate_cc_sfc_transitionresetsteps->reset_transition_number();
lbessard@18:       symbol->accept(*generate_cc_sfc_transitionresetsteps);
lbessard@18:       s4o.print("\n");
lbessard@18:       
lbessard@18:       /* generate transition set steps */
lbessard@18:       s4o.print(s4o.indent_spaces + "// Transitions set steps\n");
lbessard@18:       generate_cc_sfc_transitionsetsteps->reset_transition_number();
lbessard@18:       symbol->accept(*generate_cc_sfc_transitionsetsteps);
lbessard@18:       s4o.print("\n");
lbessard@18:       
lbessard@17:        /* generate step association */
lbessard@17:       s4o.print(s4o.indent_spaces + "// Steps association\n");
lbessard@17:       symbol->accept(*generate_cc_sfc_stepassociation);
lbessard@17:       s4o.print("\n");
lbessard@17:       
lbessard@17:       /* generate action state evaluation */
lbessard@17:       s4o.print(s4o.indent_spaces + "// Actions state evaluation\n");
lbessard@17:       s4o.print(s4o.indent_spaces + "for (i = 0; i < ");
lbessard@17:       print_variable_prefix();
lbessard@17:       s4o.print("nb_actions; i++) {\n");
lbessard@17:       s4o.indent_right();
lbessard@17:       s4o.print(s4o.indent_spaces + "if (");
lbessard@17:       print_variable_prefix();
lbessard@17:       s4o.print("action_list[i].set) {\n");
lbessard@17:       s4o.indent_right();
lbessard@17:       s4o.print(s4o.indent_spaces);
lbessard@17:       print_variable_prefix();
lbessard@17:       s4o.print("action_list[i].stored = 1;\n");
lbessard@17:       s4o.indent_left();
lbessard@17:       s4o.print(s4o.indent_spaces + "}\n" + s4o.indent_spaces + "if (");
lbessard@17:       print_variable_prefix();
lbessard@17:       s4o.print("action_list[i].set) {\n");
lbessard@17:       s4o.indent_right();
lbessard@17:       s4o.print(s4o.indent_spaces);
lbessard@17:       print_variable_prefix();
lbessard@17:       s4o.print("action_list[i].set_remaining_time = 0;\n" + s4o.indent_spaces);
lbessard@17:       print_variable_prefix();
lbessard@17:       s4o.print("action_list[i].reset_remaining_time = 0;\n" + s4o.indent_spaces);
lbessard@17:       print_variable_prefix();
lbessard@17:       s4o.print("action_list[i].stored = 0;\n");
lbessard@17:       s4o.indent_left();
lbessard@17:       s4o.print(s4o.indent_spaces + "}\n" + s4o.indent_spaces);
lbessard@17:       print_variable_prefix();
lbessard@17:       s4o.print("action_list[i].state |= ");
lbessard@17:       print_variable_prefix();
lbessard@17:       s4o.print("action_list[i].stored;\n");
lbessard@17:       s4o.indent_left();
lbessard@17:       s4o.print(s4o.indent_spaces + "}\n\n");
lbessard@17:       
lbessard@17:       /* generate action execution */
lbessard@17:       s4o.print(s4o.indent_spaces + "// Actions execution\n");
lbessard@17:       symbol->accept(*generate_cc_sfc_actionexecution);
lbessard@17:       s4o.print("\n");
lbessard@17:       
lbessard@17:       return NULL;
lbessard@17:     }
lbessard@17: 
lbessard@17:     void generate(sequential_function_chart_c *sfc) {
lbessard@17:       sfc->accept(*this);
lbessard@17:     }
lbessard@17: 
lbessard@17: }; /* generate_cc_sfc_c */