Fix bug in SFC generated code. Action state was declared in the list of variables to debug, but wasn't stored using structure with flags. This error had side effects that makes Beremiz debug crash.
/*
* matiec - a compiler for the programming languages defined in IEC 61131-3
*
* Copyright (C) 2003-2011 Mario de Sousa (msousa@fe.up.pt)
* Copyright (C) 2007-2011 Laurent Bessard and Edouard Tisserant
*
* This program is free software: you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation, either version 3 of the License, or
* (at your option) any later version.
*
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with this program. If not, see <http://www.gnu.org/licenses/>.
*
*
* This code is made available on the understanding that it will not be
* used in safety-critical situations without a full and competent review.
*/
typedef struct
{
transition_c *symbol;
int priority;
int index;
} TRANSITION;
/***********************************************************************/
/***********************************************************************/
/***********************************************************************/
/***********************************************************************/
class generate_c_sfc_elements_c: public generate_c_base_c {
public:
typedef enum {
transitionlist_sg,
transitiontest_sg,
transitiontestdebug_sg,
stepset_sg,
stepreset_sg,
actionassociation_sg,
actionbody_sg
} sfcgeneration_t;
private:
generate_c_il_c *generate_c_il;
generate_c_st_c *generate_c_st;
generate_c_SFC_IL_ST_c *generate_c_code;
int transition_number;
std::list<TRANSITION> transition_list;
symbol_c *current_step;
symbol_c *current_action;
sfcgeneration_t wanted_sfcgeneration;
public:
generate_c_sfc_elements_c(stage4out_c *s4o_ptr, symbol_c *name, symbol_c *scope, const char *variable_prefix = NULL)
: generate_c_base_c(s4o_ptr) {
generate_c_il = new generate_c_il_c(s4o_ptr, name, scope, variable_prefix);
generate_c_st = new generate_c_st_c(s4o_ptr, name, scope, variable_prefix);
generate_c_code = new generate_c_SFC_IL_ST_c(s4o_ptr, name, scope, variable_prefix);
this->set_variable_prefix(variable_prefix);
}
~generate_c_sfc_elements_c(void) {
transition_list.clear();
delete generate_c_il;
delete generate_c_st;
delete generate_c_code;
}
void reset_transition_number(void) {transition_number = 0;}
void generate(symbol_c *symbol, sfcgeneration_t generation_type) {
wanted_sfcgeneration = generation_type;
switch (wanted_sfcgeneration) {
case transitiontest_sg:
{
std::list<TRANSITION>::iterator pt;
for(pt = transition_list.begin(); pt != transition_list.end(); pt++) {
transition_number = pt->index;
pt->symbol->accept(*this);
}
}
break;
default:
symbol->accept(*this);
break;
}
}
void print_step_argument(symbol_c *step_name, const char* argument, bool setter=false) {
print_variable_prefix();
if (setter) s4o.print(",");
s4o.print("__step_list[");
s4o.print(SFC_STEP_ACTION_PREFIX);
step_name->accept(*this);
s4o.print("].");
s4o.print(argument);
}
void print_action_argument(symbol_c *action_name, const char* argument, bool setter=false) {
print_variable_prefix();
if (setter) s4o.print(",");
s4o.print("__action_list[");
s4o.print(SFC_STEP_ACTION_PREFIX);
action_name->accept(*this);
s4o.print("].");
s4o.print(argument);
}
void print_transition_number(void) {
s4o.print(transition_number);
}
void print_reset_step(symbol_c *step_name) {
s4o.print(s4o.indent_spaces);
s4o.print(SET_VAR);
s4o.print("(");
print_step_argument(step_name, "state", true);
s4o.print(",0);\n");
}
void print_set_step(symbol_c *step_name) {
s4o.print(s4o.indent_spaces);
s4o.print(SET_VAR);
s4o.print("(");
print_step_argument(step_name, "state", true);
s4o.print(",1);\n" + s4o.indent_spaces);
print_step_argument(step_name, "elapsed_time");
s4o.print(" = __time_to_timespec(1, 0, 0, 0, 0, 0);\n");
}
/*********************************************/
/* B.1.6 Sequential function chart elements */
/*********************************************/
void *visit(initial_step_c *symbol) {
switch (wanted_sfcgeneration) {
case actionassociation_sg:
if (((list_c*)symbol->action_association_list)->n > 0) {
s4o.print(s4o.indent_spaces + "// ");
symbol->step_name->accept(*this);
s4o.print(" action associations\n");
current_step = symbol->step_name;
s4o.print(s4o.indent_spaces + "{\n");
s4o.indent_right();
s4o.print(s4o.indent_spaces + "char activated = ");
s4o.print(GET_VAR);
s4o.print("(");
print_step_argument(current_step, "state");
s4o.print(") && !");
print_step_argument(current_step, "prev_state");
s4o.print(";\n");
s4o.print(s4o.indent_spaces + "char desactivated = !");
s4o.print(GET_VAR);
s4o.print("(");
print_step_argument(current_step, "state");
s4o.print(") && ");
print_step_argument(current_step, "prev_state");
s4o.print(";\n");
s4o.print(s4o.indent_spaces + "char active = ");
s4o.print(GET_VAR);
s4o.print("(");
print_step_argument(current_step, "state");
s4o.print(");\n");
symbol->action_association_list->accept(*this);
s4o.indent_left();
s4o.print(s4o.indent_spaces + "}\n\n");
}
break;
default:
break;
}
return NULL;
}
void *visit(step_c *symbol) {
switch (wanted_sfcgeneration) {
case actionassociation_sg:
if (((list_c*)symbol->action_association_list)->n > 0) {
s4o.print(s4o.indent_spaces + "// ");
symbol->step_name->accept(*this);
s4o.print(" action associations\n");
current_step = symbol->step_name;
s4o.print(s4o.indent_spaces + "{\n");
s4o.indent_right();
s4o.print(s4o.indent_spaces + "char activated = ");
s4o.print(GET_VAR);
s4o.print("(");
print_step_argument(current_step, "state");
s4o.print(") && !");
print_step_argument(current_step, "prev_state");
s4o.print(";\n");
s4o.print(s4o.indent_spaces + "char desactivated = !");
s4o.print(GET_VAR);
s4o.print("(");
print_step_argument(current_step, "state");
s4o.print(") && ");
print_step_argument(current_step, "prev_state");
s4o.print(";\n");
s4o.print(s4o.indent_spaces + "char active = ");
s4o.print(GET_VAR);
s4o.print("(");
print_step_argument(current_step, "state");
s4o.print(");\n");
symbol->action_association_list->accept(*this);
s4o.indent_left();
s4o.print(s4o.indent_spaces + "}\n\n");
}
break;
default:
break;
}
return NULL;
}
void *visit(transition_c *symbol) {
switch (wanted_sfcgeneration) {
case transitionlist_sg:
{
TRANSITION *transition;
transition = new TRANSITION;
transition->symbol = symbol;
transition->index = transition_number;
if (symbol->integer != NULL) {
transition->priority = atoi(((token_c *)symbol->integer)->value);
std::list<TRANSITION>::iterator pt = transition_list.begin();
while (pt != transition_list.end() && pt->priority <= transition->priority) {
pt++;
}
transition_list.insert(pt, *transition);
}
else {
transition->priority = 0;
transition_list.push_back(*transition);
}
transition_number++;
}
break;
case transitiontest_sg:
s4o.print(s4o.indent_spaces + "if (");
symbol->from_steps->accept(*this);
s4o.print(") {\n");
s4o.indent_right();
// Calculate transition value
symbol->transition_condition->accept(*this);
if (symbol->integer != NULL) {
s4o.print(s4o.indent_spaces + "if (");
s4o.print(GET_VAR);
s4o.print("(");
print_variable_prefix();
s4o.print("__transition_list[");
print_transition_number();
s4o.print("])) {\n");
s4o.indent_right();
wanted_sfcgeneration = stepreset_sg;
symbol->from_steps->accept(*this);
wanted_sfcgeneration = transitiontest_sg;
s4o.indent_left();
s4o.print(s4o.indent_spaces + "}\n");
}
s4o.indent_left();
s4o.print(s4o.indent_spaces + "}\n");
s4o.print(s4o.indent_spaces + "else {\n");
s4o.indent_right();
// Calculate transition value for debug
s4o.print(s4o.indent_spaces + "if (__DEBUG) {\n");
s4o.indent_right();
wanted_sfcgeneration = transitiontestdebug_sg;
symbol->transition_condition->accept(*this);
wanted_sfcgeneration = transitiontest_sg;
s4o.indent_left();
s4o.print(s4o.indent_spaces + "}\n");
s4o.print(s4o.indent_spaces);
s4o.print(SET_VAR);
s4o.print("(");
print_variable_prefix();
s4o.print(",__transition_list[");
print_transition_number();
s4o.print("],0);\n");
s4o.indent_left();
s4o.print(s4o.indent_spaces + "}\n");
break;
case stepset_sg:
s4o.print(s4o.indent_spaces + "if (");
s4o.print(GET_VAR);
s4o.print("(");
print_variable_prefix();
s4o.print("__transition_list[");
print_transition_number();
s4o.print("])) {\n");
s4o.indent_right();
symbol->to_steps->accept(*this);
s4o.indent_left();
s4o.print(s4o.indent_spaces + "}\n");
transition_number++;
break;
case stepreset_sg:
if (symbol->integer == NULL) {
s4o.print(s4o.indent_spaces + "if (");
s4o.print(GET_VAR);
s4o.print("(");
print_variable_prefix();
s4o.print("__transition_list[");
print_transition_number();
s4o.print("])) {\n");
s4o.indent_right();
symbol->from_steps->accept(*this);
s4o.indent_left();
s4o.print(s4o.indent_spaces + "}\n");
}
transition_number++;
break;
default:
break;
}
return NULL;
}
void *visit(transition_condition_c *symbol) {
switch (wanted_sfcgeneration) {
case transitiontest_sg:
case transitiontestdebug_sg:
// Transition condition is in IL
if (symbol->transition_condition_il != NULL) {
generate_c_il->declare_backup_variable();
s4o.print(s4o.indent_spaces);
symbol->transition_condition_il->accept(*generate_c_il);
s4o.print(SET_VAR);
s4o.print("(");
print_variable_prefix();
s4o.print(",");
if (wanted_sfcgeneration == transitiontestdebug_sg)
s4o.print("__debug_");
else
s4o.print("__");
s4o.print("transition_list[");
print_transition_number();
s4o.print("],");
generate_c_il->print_backup_variable();
generate_c_il->reset_default_variable_name();
s4o.print(");\n");
}
// Transition condition is in ST
if (symbol->transition_condition_st != NULL) {
s4o.print(s4o.indent_spaces);
s4o.print(SET_VAR);
s4o.print("(");
print_variable_prefix();
s4o.print(",");
if (wanted_sfcgeneration == transitiontestdebug_sg)
s4o.print("__debug_");
else
s4o.print("__");
s4o.print("transition_list[");
print_transition_number();
s4o.print("],");
symbol->transition_condition_st->accept(*generate_c_st);
s4o.print(");\n");
}
if (wanted_sfcgeneration == transitiontest_sg) {
s4o.print(s4o.indent_spaces + "if (__DEBUG) {\n");
s4o.indent_right();
s4o.print(s4o.indent_spaces);
s4o.print(SET_VAR);
s4o.print("(");
print_variable_prefix();
s4o.print(",__debug_transition_list[");
print_transition_number();
s4o.print("],");
s4o.print(GET_VAR);
s4o.print("(");
print_variable_prefix();
s4o.print("__transition_list[");
print_transition_number();
s4o.print("]));\n");
s4o.indent_left();
s4o.print(s4o.indent_spaces + "}\n");
}
break;
default:
break;
}
return NULL;
}
void *visit(action_c *symbol) {
switch (wanted_sfcgeneration) {
case actionbody_sg:
s4o.print(s4o.indent_spaces + "if(");
s4o.print(GET_VAR);
s4o.print("(");
print_variable_prefix();
s4o.print("__action_list[");
s4o.print(SFC_STEP_ACTION_PREFIX);
symbol->action_name->accept(*this);
s4o.print("].state)) {\n");
s4o.indent_right();
// generate action code
symbol->function_block_body->accept(*generate_c_code);
s4o.indent_left();
s4o.print(s4o.indent_spaces + "}\n\n");
break;
default:
break;
}
return NULL;
}
void *visit(steps_c *symbol) {
if (symbol->step_name != NULL) {
switch (wanted_sfcgeneration) {
case transitiontest_sg:
s4o.print(GET_VAR);
s4o.print("(");
print_step_argument(symbol->step_name, "state");
s4o.print(")");
break;
case stepset_sg:
print_set_step(symbol->step_name);
break;
case stepreset_sg:
print_reset_step(symbol->step_name);
break;
default:
break;
}
}
else if (symbol->step_name_list != NULL) {
symbol->step_name_list->accept(*this);
}
return NULL;
}
void *visit(step_name_list_c *symbol) {
switch (wanted_sfcgeneration) {
case transitiontest_sg:
for(int i = 0; i < symbol->n; i++) {
s4o.print(GET_VAR);
s4o.print("(");
print_step_argument(symbol->elements[i], "state");
s4o.print(")");
if (i < symbol->n - 1) {
s4o.print(" && ");
}
}
break;
case stepset_sg:
for(int i = 0; i < symbol->n; i++) {
print_set_step(symbol->elements[i]);
}
break;
case stepreset_sg:
for(int i = 0; i < symbol->n; i++) {
print_reset_step(symbol->elements[i]);
}
break;
default:
break;
}
return NULL;
}
void *visit(action_association_list_c* symbol) {
switch (wanted_sfcgeneration) {
case actionassociation_sg:
print_list(symbol, "", "\n", "\n");
break;
default:
break;
}
return NULL;
}
void *visit(action_association_c *symbol) {
switch (wanted_sfcgeneration) {
case actionassociation_sg:
if (symbol->action_qualifier != NULL) {
current_action = symbol->action_name;
symbol->action_qualifier->accept(*this);
}
else {
s4o.print(s4o.indent_spaces + "if (");
s4o.print(GET_VAR);
s4o.print("(");
print_step_argument(current_step, "state");
s4o.print(")) {\n");
s4o.indent_right();
s4o.print(s4o.indent_spaces);
s4o.print(SET_VAR);
s4o.print("(");
print_action_argument(symbol->action_name, "state", true);
s4o.print(",1);\n");
s4o.indent_left();
s4o.print(s4o.indent_spaces + "}");
}
break;
default:
break;
}
return NULL;
}
void *visit(action_qualifier_c *symbol) {
switch (wanted_sfcgeneration) {
case actionassociation_sg:
{
char *qualifier = (char *)symbol->action_qualifier->accept(*this);
s4o.print(s4o.indent_spaces + "if (");
if (strcmp(qualifier, "N") == 0 || strcmp(qualifier, "S") == 0 ||
strcmp(qualifier, "R") == 0) {
s4o.print("active");
}
else if (strcmp(qualifier, "P") == 0 || strcmp(qualifier, "SD") == 0 ||
strcmp(qualifier, "DS") == 0 || strcmp(qualifier, "SL") == 0 ||
strcmp(qualifier, "P0") == 0) {
s4o.print("activated");
}
else if (strcmp(qualifier, "P1") == 0) {
s4o.print("desactivated");
}
else if (strcmp(qualifier, "D") == 0 || strcmp(qualifier, "L") == 0) {
s4o.print("active && __time_cmp(");
print_step_argument(current_step, "elapsed_time");
s4o.print(", ");
symbol->action_time->accept(*this);
if (strcmp(qualifier, "D") == 0) {
s4o.print(") >= 0");
}
else {
s4o.print(") < 0");
}
}
s4o.print(") {\n");
s4o.indent_right();
s4o.print(s4o.indent_spaces);
if (strcmp(qualifier, "N") == 0 || strcmp(qualifier, "P") == 0 ||
strcmp(qualifier, "D") == 0 || strcmp(qualifier, "L") == 0 ||
strcmp(qualifier, "P0") == 0 || strcmp(qualifier, "P1") == 0) {
s4o.print(SET_VAR);
s4o.print("(");
print_action_argument(current_action, "state", true);
s4o.print(",1);\n");
}
if (strcmp(qualifier, "S") == 0 || strcmp(qualifier, "SL") == 0) {
print_action_argument(current_action, "set");
s4o.print(" = 1;\n");
}
if (strcmp(qualifier, "R") == 0) {
print_action_argument(current_action, "reset");
s4o.print(" = 1;\n");
}
if (strcmp(qualifier, "SD") == 0 || strcmp(qualifier, "DS") == 0 ||
strcmp(qualifier, "SL") == 0) {
if (strcmp(qualifier, "SL") == 0) {
print_action_argument(current_action, "reset_remaining_time");
}
else {
print_action_argument(current_action, "set_remaining_time");
}
s4o.print(" = ");
symbol->action_time->accept(*this);
s4o.print(";\n");
}
s4o.indent_left();
s4o.print(s4o.indent_spaces + "}\n");
if (strcmp(qualifier, "DS") == 0) {
s4o.print(s4o.indent_spaces + "if (");
s4o.print("desactivated");
s4o.print(") {\n");
s4o.indent_right();
s4o.print(s4o.indent_spaces);
print_action_argument(current_action, "set_remaining_time");
s4o.print(" = __time_to_timespec(1, 0, 0, 0, 0, 0);\n");
s4o.indent_left();
s4o.print(s4o.indent_spaces + "}\n");
}
}
break;
default:
break;
}
return NULL;
}
void *visit(qualifier_c *symbol) {
return (void *)symbol->value;
}
void *visit(timed_qualifier_c *symbol) {
return (void *)symbol->value;
}
}; /* generate_c_sfc_actiondecl_c */
/***********************************************************************/
/***********************************************************************/
/***********************************************************************/
/***********************************************************************/
class generate_c_sfc_c: public generate_c_typedecl_c {
private:
std::list<VARIABLE> variable_list;
generate_c_sfc_elements_c *generate_c_sfc_elements;
search_var_instance_decl_c *search_var_instance_decl;
public:
generate_c_sfc_c(stage4out_c *s4o_ptr, symbol_c *name, symbol_c *scope, const char *variable_prefix = NULL)
: generate_c_typedecl_c(s4o_ptr) {
generate_c_sfc_elements = new generate_c_sfc_elements_c(s4o_ptr, name, scope, variable_prefix);
search_var_instance_decl = new search_var_instance_decl_c(scope);
this->set_variable_prefix(variable_prefix);
}
virtual ~generate_c_sfc_c(void) {
variable_list.clear();
delete generate_c_sfc_elements;
delete search_var_instance_decl;
}
bool is_variable(symbol_c *symbol) {
/* we try to find the variable instance declaration, to determine if symbol is variable... */
symbol_c *var_decl = search_var_instance_decl->get_decl(symbol);
return var_decl != NULL;
}
/*********************************************/
/* B.1.6 Sequential function chart elements */
/*********************************************/
void *visit(sequential_function_chart_c *symbol) {
int i;
generate_c_sfc_elements->reset_transition_number();
for(i = 0; i < symbol->n; i++) {
symbol->elements[i]->accept(*this);
generate_c_sfc_elements->generate(symbol->elements[i], generate_c_sfc_elements_c::transitionlist_sg);
}
s4o.print(s4o.indent_spaces +"INT i;\n");
s4o.print(s4o.indent_spaces +"BOOL transition;\n");
s4o.print(s4o.indent_spaces +"TIME elapsed_time, current_time;\n\n");
/* generate elapsed_time initializations */
s4o.print(s4o.indent_spaces + "// Calculate elapsed_time\n");
s4o.print(s4o.indent_spaces +"current_time = __CURRENT_TIME;\n");
// s4o.print(s4o.indent_spaces +"elapsed_time = __time_sub(__BOOL_LITERAL(TRUE), NULL, current_time, ");
// s4o.print(s4o.indent_spaces +"elapsed_time = SUB_TIME(__BOOL_LITERAL(TRUE), NULL, current_time, ");
s4o.print(s4o.indent_spaces +"elapsed_time = __time_sub(current_time, ");
print_variable_prefix();
s4o.print("__lasttick_time);\n");
s4o.print(s4o.indent_spaces);
print_variable_prefix();
s4o.print("__lasttick_time = current_time;\n");
/* generate transition initializations */
s4o.print(s4o.indent_spaces + "// Transitions initialization\n");
s4o.print(s4o.indent_spaces + "if (__DEBUG) {\n");
s4o.indent_right();
s4o.print(s4o.indent_spaces + "for (i = 0; i < ");
print_variable_prefix();
s4o.print("__nb_transitions; i++) {\n");
s4o.indent_right();
s4o.print(s4o.indent_spaces);
print_variable_prefix();
s4o.print("__transition_list[i] = ");
print_variable_prefix();
s4o.print("__debug_transition_list[i];\n");
s4o.indent_left();
s4o.print(s4o.indent_spaces + "}\n");
s4o.indent_left();
s4o.print(s4o.indent_spaces + "}\n");
/* generate step initializations */
s4o.print(s4o.indent_spaces + "// Steps initialization\n");
s4o.print(s4o.indent_spaces + "for (i = 0; i < ");
print_variable_prefix();
s4o.print("__nb_steps; i++) {\n");
s4o.indent_right();
s4o.print(s4o.indent_spaces);
print_variable_prefix();
s4o.print("__step_list[i].prev_state = ");
s4o.print(GET_VAR);
s4o.print("(");
print_variable_prefix();
s4o.print("__step_list[i].state);\n");
s4o.print(s4o.indent_spaces + "if (");
s4o.print(GET_VAR);
s4o.print("(");
print_variable_prefix();
s4o.print("__step_list[i].state)) {\n");
s4o.indent_right();
s4o.print(s4o.indent_spaces);
print_variable_prefix();
// s4o.print("__step_list[i].elapsed_time = __time_add(__BOOL_LITERAL(TRUE), NULL, ");
// s4o.print("__step_list[i].elapsed_time = ADD_TIME(__BOOL_LITERAL(TRUE), NULL, ");
s4o.print("__step_list[i].elapsed_time = __time_add(");
print_variable_prefix();
s4o.print("__step_list[i].elapsed_time, elapsed_time);\n");
s4o.indent_left();
s4o.print(s4o.indent_spaces + "}\n");
s4o.indent_left();
s4o.print(s4o.indent_spaces + "}\n");
/* generate action initializations */
s4o.print(s4o.indent_spaces + "// Actions initialization\n");
s4o.print(s4o.indent_spaces + "for (i = 0; i < ");
print_variable_prefix();
s4o.print("__nb_actions; i++) {\n");
s4o.indent_right();
s4o.print(s4o.indent_spaces);
s4o.print(SET_VAR);
s4o.print("(");
print_variable_prefix();
s4o.print(",__action_list[i].state,0);\n");
s4o.print(s4o.indent_spaces);
print_variable_prefix();
s4o.print("__action_list[i].set = 0;\n");
s4o.print(s4o.indent_spaces);
print_variable_prefix();
s4o.print("__action_list[i].reset = 0;\n");
s4o.print(s4o.indent_spaces + "if (");
s4o.print("__time_cmp(");
print_variable_prefix();
s4o.print("__action_list[i].set_remaining_time, __time_to_timespec(1, 0, 0, 0, 0, 0)) > 0) {\n");
s4o.indent_right();
s4o.print(s4o.indent_spaces);
print_variable_prefix();
// s4o.print("__action_list[i].set_remaining_time = __time_sub(__BOOL_LITERAL(TRUE), NULL, ");
// s4o.print("__action_list[i].set_remaining_time = SUB_TIME(__BOOL_LITERAL(TRUE), NULL, ");
s4o.print("__action_list[i].set_remaining_time = __time_sub(");
print_variable_prefix();
s4o.print("__action_list[i].set_remaining_time, elapsed_time);\n");
s4o.print(s4o.indent_spaces + "if (");
s4o.print("__time_cmp(");
print_variable_prefix();
s4o.print("__action_list[i].set_remaining_time, __time_to_timespec(1, 0, 0, 0, 0, 0)) <= 0) {\n");
s4o.indent_right();
s4o.print(s4o.indent_spaces);
print_variable_prefix();
s4o.print("__action_list[i].set_remaining_time = __time_to_timespec(1, 0, 0, 0, 0, 0);\n");
s4o.print(s4o.indent_spaces);
print_variable_prefix();
s4o.print("__action_list[i].set = 1;\n");
s4o.indent_left();
s4o.print(s4o.indent_spaces + "}\n");
s4o.indent_left();
s4o.print(s4o.indent_spaces + "}\n");
s4o.print(s4o.indent_spaces + "if (");
s4o.print("__time_cmp(");
print_variable_prefix();
s4o.print("__action_list[i].reset_remaining_time, __time_to_timespec(1, 0, 0, 0, 0, 0)) > 0) {\n");
s4o.indent_right();
s4o.print(s4o.indent_spaces);
print_variable_prefix();
// s4o.print("__action_list[i].reset_remaining_time = __time_sub(__BOOL_LITERAL(TRUE), NULL, ");
// s4o.print("__action_list[i].reset_remaining_time = SUB_TIME(__BOOL_LITERAL(TRUE), NULL, ");
s4o.print("__action_list[i].reset_remaining_time = __time_sub(");
print_variable_prefix();
s4o.print("__action_list[i].reset_remaining_time, elapsed_time);\n");
s4o.print(s4o.indent_spaces + "if (");
s4o.print("__time_cmp(");
print_variable_prefix();
s4o.print("__action_list[i].reset_remaining_time, __time_to_timespec(1, 0, 0, 0, 0, 0)) <= 0) {\n");
s4o.indent_right();
s4o.print(s4o.indent_spaces);
print_variable_prefix();
s4o.print("__action_list[i].reset_remaining_time = __time_to_timespec(1, 0, 0, 0, 0, 0);\n");
s4o.print(s4o.indent_spaces);
print_variable_prefix();
s4o.print("__action_list[i].reset = 1;\n");
s4o.indent_left();
s4o.print(s4o.indent_spaces + "}\n");
s4o.indent_left();
s4o.print(s4o.indent_spaces + "}\n");
s4o.indent_left();
s4o.print(s4o.indent_spaces + "}\n\n");
/* generate transition tests */
s4o.print(s4o.indent_spaces + "// Transitions fire test\n");
generate_c_sfc_elements->generate((symbol_c *)symbol, generate_c_sfc_elements_c::transitiontest_sg);
s4o.print("\n");
/* generate transition reset steps */
s4o.print(s4o.indent_spaces + "// Transitions reset steps\n");
generate_c_sfc_elements->reset_transition_number();
for(i = 0; i < symbol->n; i++) {
generate_c_sfc_elements->generate(symbol->elements[i], generate_c_sfc_elements_c::stepreset_sg);
}
s4o.print("\n");
/* generate transition set steps */
s4o.print(s4o.indent_spaces + "// Transitions set steps\n");
generate_c_sfc_elements->reset_transition_number();
for(i = 0; i < symbol->n; i++) {
generate_c_sfc_elements->generate(symbol->elements[i], generate_c_sfc_elements_c::stepset_sg);
}
s4o.print("\n");
/* generate step association */
s4o.print(s4o.indent_spaces + "// Steps association\n");
for(i = 0; i < symbol->n; i++) {
generate_c_sfc_elements->generate(symbol->elements[i], generate_c_sfc_elements_c::actionassociation_sg);
}
s4o.print("\n");
/* generate action state evaluation */
s4o.print(s4o.indent_spaces + "// Actions state evaluation\n");
s4o.print(s4o.indent_spaces + "for (i = 0; i < ");
print_variable_prefix();
s4o.print("__nb_actions; i++) {\n");
s4o.indent_right();
s4o.print(s4o.indent_spaces + "if (");
print_variable_prefix();
s4o.print("__action_list[i].set) {\n");
s4o.indent_right();
s4o.print(s4o.indent_spaces);
print_variable_prefix();
s4o.print("__action_list[i].stored = 1;\n");
s4o.indent_left();
s4o.print(s4o.indent_spaces + "}\n" + s4o.indent_spaces + "if (");
print_variable_prefix();
s4o.print("__action_list[i].reset) {\n");
s4o.indent_right();
s4o.print(s4o.indent_spaces);
print_variable_prefix();
s4o.print("__action_list[i].set_remaining_time = __time_to_timespec(1, 0, 0, 0, 0, 0);\n" + s4o.indent_spaces);
print_variable_prefix();
s4o.print("__action_list[i].reset_remaining_time = __time_to_timespec(1, 0, 0, 0, 0, 0);\n" + s4o.indent_spaces);
print_variable_prefix();
s4o.print("__action_list[i].stored = 0;\n");
s4o.indent_left();
s4o.print(s4o.indent_spaces + "}\n" + s4o.indent_spaces);
s4o.print(SET_VAR);
s4o.print("(");
print_variable_prefix();
s4o.print(",__action_list[i].state,");
s4o.print(GET_VAR);
s4o.print("(");
print_variable_prefix();
s4o.print("__action_list[i].state) | ");
print_variable_prefix();
s4o.print("__action_list[i].stored);\n");
s4o.indent_left();
s4o.print(s4o.indent_spaces + "}\n\n");
/* generate action execution */
s4o.print(s4o.indent_spaces + "// Actions execution\n");
{
std::list<VARIABLE>::iterator pt;
for(pt = variable_list.begin(); pt != variable_list.end(); pt++) {
symbol_c *var_decl = search_var_instance_decl->get_decl(pt->symbol);
if (var_decl != NULL) {
unsigned int vartype = search_var_instance_decl->get_vartype(pt->symbol);
s4o.print(s4o.indent_spaces);
if (vartype == search_var_instance_decl_c::external_vt)
s4o.print(SET_EXTERNAL);
else if (vartype == search_var_instance_decl_c::located_vt)
s4o.print(SET_LOCATED);
else
s4o.print(SET_VAR);
s4o.print("(");
print_variable_prefix();
s4o.print(",");
pt->symbol->accept(*this);
s4o.print(",");
s4o.print(GET_VAR);
s4o.print("(");
print_variable_prefix();
s4o.print("__action_list[");
s4o.print(SFC_STEP_ACTION_PREFIX);
pt->symbol->accept(*this);
s4o.print("].state));\n");
}
}
}
for(i = 0; i < symbol->n; i++) {
generate_c_sfc_elements->generate(symbol->elements[i], generate_c_sfc_elements_c::actionbody_sg);
}
s4o.print("\n");
return NULL;
}
void *visit(initial_step_c *symbol) {
symbol->action_association_list->accept(*this);
return NULL;
}
void *visit(step_c *symbol) {
symbol->action_association_list->accept(*this);
return NULL;
}
void *visit(action_association_c *symbol) {
symbol_c *var_decl = search_var_instance_decl->get_decl(symbol->action_name);
if (var_decl != NULL) {
std::list<VARIABLE>::iterator pt;
for(pt = variable_list.begin(); pt != variable_list.end(); pt++) {
if (!compare_identifiers(pt->symbol, symbol->action_name))
return NULL;
}
VARIABLE *variable;
variable = new VARIABLE;
variable->symbol = (identifier_c*)(symbol->action_name);
variable_list.push_back(*variable);
}
return NULL;
}
void *visit(transition_c *symbol) {
return NULL;
}
void *visit(action_c *symbol) {
return NULL;
}
void generate(sequential_function_chart_c *sfc) {
sfc->accept(*this);
}
}; /* generate_c_sfc_c */