Bugs on SFC transition list generation and search expression type with structured_variables corrected
/*
* (c) 2007 Mario de Sousa, Laurent Bessard
*
* Offered to the public under the terms of the GNU General Public License
* as published by the Free Software Foundation; either version 2 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.
*
* This code is made available on the understanding that it will not be
* used in safety-critical situations without a full and competent review.
*/
/*
* An IEC 61131-3 IL and ST compiler.
*
* Based on the
* FINAL DRAFT - IEC 61131-3, 2nd Ed. (2001-12-10)
*
*/
/*
* Conversion of sfc networks (i.e. SFC code).
*
* This is part of the 4th stage that generates
* a c++ source program equivalent to the SFC, IL and ST
* code.
*/
/***********************************************************************/
/***********************************************************************/
/***********************************************************************/
/***********************************************************************/
class generate_cc_sfc_steptable_c: public generate_cc_base_c {
private:
char step_number;
public:
generate_cc_sfc_steptable_c(stage4out_c *s4o_ptr): generate_cc_base_c(s4o_ptr) {}
~generate_cc_sfc_steptable_c(void) {}
void reset_step_number(void) {step_number = 0;}
void print_step_number(void) {
char str[10];
sprintf(str, "%d", step_number);
s4o.print(str);
}
/*********************************************/
/* B.1.6 Sequential function chart elements */
/*********************************************/
void *visit(initial_step_c *symbol) {
if (step_number > 0) {
s4o.print(",\n");
}
s4o.print(s4o.indent_spaces + "{1, 0, 0}");
step_number++;
return NULL;
}
void *visit(step_c *symbol) {
if (step_number > 0) {
s4o.print(",\n");
}
s4o.print(s4o.indent_spaces + "{0, 0, 0}");
step_number++;
return NULL;
}
void *visit(transition_c *symbol) {return NULL;}
void *visit(action_c *symbol) {return NULL;}
}; /* generate_cc_sfc_steptable_c */
/***********************************************************************/
/***********************************************************************/
/***********************************************************************/
/***********************************************************************/
class generate_cc_sfc_actiontable_c: public generate_cc_base_c {
private:
char action_number;
public:
generate_cc_sfc_actiontable_c(stage4out_c *s4o_ptr): generate_cc_base_c(s4o_ptr) {}
~generate_cc_sfc_actiontable_c(void) {}
void reset_action_number(void) {action_number = 0;}
void print_action_number(void) {
char str[10];
sprintf(str, "%d", action_number);
s4o.print(str);
}
/*********************************************/
/* B.1.6 Sequential function chart elements */
/*********************************************/
void *visit(initial_step_c *symbol) {return NULL;}
void *visit(step_c *symbol) {return NULL;}
void *visit(transition_c *symbol) {return NULL;}
void *visit(action_c *symbol) {
if (action_number > 0) {
s4o.print(",\n");
}
s4o.print(s4o.indent_spaces + "{0, 0, 0, 0, 0, 0}");
action_number++;
return NULL;
}
}; /* generate_cc_sfc_actiontable_c */
/***********************************************************************/
/***********************************************************************/
/***********************************************************************/
/***********************************************************************/
class generate_cc_sfc_transitiontable_c: public generate_cc_base_c {
private:
char transition_number;
public:
generate_cc_sfc_transitiontable_c(stage4out_c *s4o_ptr): generate_cc_base_c(s4o_ptr) {}
~generate_cc_sfc_transitiontable_c(void) {}
void reset_transition_number(void) {transition_number = 0;}
void print_transition_number(void) {
char str[10];
sprintf(str, "%d", transition_number);
s4o.print(str);
}
/*********************************************/
/* B.1.6 Sequential function chart elements */
/*********************************************/
void *visit(initial_step_c *symbol) {return NULL;}
void *visit(step_c *symbol) {return NULL;}
void *visit(transition_c *symbol) {
transition_number++;
return NULL;
}
void *visit(action_c *symbol) {return NULL;}
}; /* generate_cc_sfc_steptable_c */
/***********************************************************************/
/***********************************************************************/
/***********************************************************************/
/***********************************************************************/
class generate_cc_sfctables_c: public iterator_visitor_c {
protected:
stage4out_c &s4o;
private:
generate_cc_sfc_steptable_c *generate_cc_sfc_steptable;
generate_cc_sfc_actiontable_c *generate_cc_sfc_actiontable;
generate_cc_sfc_transitiontable_c *generate_cc_sfc_transitiontable;
public:
generate_cc_sfctables_c(stage4out_c *s4o_ptr) : s4o(*s4o_ptr) {
generate_cc_sfc_steptable = new generate_cc_sfc_steptable_c(s4o_ptr);
generate_cc_sfc_actiontable = new generate_cc_sfc_actiontable_c(s4o_ptr);
generate_cc_sfc_transitiontable = new generate_cc_sfc_transitiontable_c(s4o_ptr);
}
virtual ~generate_cc_sfctables_c(void) {
delete generate_cc_sfc_steptable;
delete generate_cc_sfc_actiontable;
delete generate_cc_sfc_transitiontable;
}
public:
/* generate steps and actions tables */
void *visit(sequential_function_chart_c *symbol) {
/* generate steps table */
generate_cc_sfc_steptable->reset_step_number();
s4o.print(s4o.indent_spaces + "STEP step_list[] = {\n");
s4o.indent_right();
symbol->accept(*generate_cc_sfc_steptable);
s4o.indent_left();
s4o.print("\n" + s4o.indent_spaces + "};\n" + s4o.indent_spaces + "nb_steps = ");
generate_cc_sfc_steptable->print_step_number();
s4o.print(";\n");
/* generate actions table */
generate_cc_sfc_actiontable->reset_action_number();
s4o.print(s4o.indent_spaces + "ACTION action_list[] = {\n");
s4o.indent_right();
symbol->accept(*generate_cc_sfc_actiontable);
s4o.indent_left();
s4o.print("\n" + s4o.indent_spaces + "};\n" + s4o.indent_spaces + "nb_actions = ");
generate_cc_sfc_actiontable->print_action_number();
s4o.print(";\n");
/* generate transitions table */
generate_cc_sfc_transitiontable->reset_transition_number();
symbol->accept(*generate_cc_sfc_transitiontable);
s4o.print(s4o.indent_spaces + "char transition_list[");
generate_cc_sfc_transitiontable->print_transition_number();
s4o.print("];\n");
return NULL;
}
/***********************************/
/* B 2.1 Instructions and Operands */
/***********************************/
/*| instruction_list il_instruction */
void *visit(instruction_list_c *symbol) {return NULL;}
/***************************************/
/* B.3 - Language ST (Structured Text) */
/***************************************/
/********************/
/* B 3.2 Statements */
/********************/
void *visit(statement_list_c *symbol) {return NULL;}
/* Remainder implemented in generate_cc_sfcdecl_c... */
};
/***********************************************************************/
/***********************************************************************/
/***********************************************************************/
/***********************************************************************/
class generate_cc_sfc_stepdecl_c: public generate_cc_base_c {
private:
char step_number;
public:
generate_cc_sfc_stepdecl_c(stage4out_c *s4o_ptr): generate_cc_base_c(s4o_ptr) {}
~generate_cc_sfc_stepdecl_c(void) {}
void reset_step_number(void) {step_number = 0;}
void print_step_number(void) {
char str[10];
sprintf(str, "%d", step_number);
s4o.print(str);
}
/*********************************************/
/* B.1.6 Sequential function chart elements */
/*********************************************/
void *visit(initial_step_c *symbol) {
s4o.print("#define ");
s4o.print(SFC_STEP_ACTION_PREFIX);
symbol->step_name->accept(*this);
s4o.print(" ");
print_step_number();
s4o.print("\n");
step_number++;
return NULL;
}
void *visit(step_c *symbol) {
s4o.print("#define ");
s4o.print(SFC_STEP_ACTION_PREFIX);
symbol->step_name->accept(*this);
s4o.print(" ");
print_step_number();
s4o.print("\n");
step_number++;
return NULL;
}
void *visit(transition_c *symbol) {return NULL;}
void *visit(action_c *symbol) {return NULL;}
}; /* generate_cc_sfc_stepdecl_c */
/***********************************************************************/
/***********************************************************************/
/***********************************************************************/
/***********************************************************************/
class generate_cc_sfc_actiondecl_c: public generate_cc_base_c {
private:
char action_number;
public:
generate_cc_sfc_actiondecl_c(stage4out_c *s4o_ptr): generate_cc_base_c(s4o_ptr) {}
~generate_cc_sfc_actiondecl_c(void) {}
void reset_action_number(void) {action_number = 0;}
void print_action_number(void) {
char str[10];
sprintf(str, "%d", action_number);
s4o.print(str);
}
/*********************************************/
/* B.1.6 Sequential function chart elements */
/*********************************************/
void *visit(initial_step_c *symbol) {return NULL;}
void *visit(step_c *symbol) {return NULL;}
void *visit(transition_c *symbol) {return NULL;}
void *visit(action_c *symbol) {
s4o.print("#define ");
s4o.print(SFC_STEP_ACTION_PREFIX);
symbol->action_name->accept(*this);
s4o.print(" ");
print_action_number();
s4o.print("\n");
action_number++;
return NULL;
}
}; /* generate_cc_sfc_actiondecl_c */
/***********************************************************************/
/***********************************************************************/
/***********************************************************************/
/***********************************************************************/
class generate_cc_sfcdecl_c: public iterator_visitor_c {
protected:
stage4out_c &s4o;
private:
generate_cc_sfc_stepdecl_c *generate_cc_sfc_stepdecl;
generate_cc_sfc_actiondecl_c *generate_cc_sfc_actiondecl;
public:
generate_cc_sfcdecl_c(stage4out_c *s4o_ptr) : s4o(*s4o_ptr) {
generate_cc_sfc_stepdecl = new generate_cc_sfc_stepdecl_c(s4o_ptr);
generate_cc_sfc_actiondecl = new generate_cc_sfc_actiondecl_c(s4o_ptr);
}
virtual ~generate_cc_sfcdecl_c(void) {
delete generate_cc_sfc_stepdecl;
delete generate_cc_sfc_actiondecl;
}
public:
/* generate steps and actions tables */
void *visit(sequential_function_chart_c *symbol) {
/* generate steps definitions */
generate_cc_sfc_stepdecl->reset_step_number();
s4o.print("// Steps definitions\n");
symbol->accept(*generate_cc_sfc_stepdecl);
s4o.print("\n");
/* generate actions definitions */
generate_cc_sfc_actiondecl->reset_action_number();
s4o.print("// Actions definitions\n");
symbol->accept(*generate_cc_sfc_actiondecl);
s4o.print("\n");
return NULL;
}
/***********************************/
/* B 2.1 Instructions and Operands */
/***********************************/
/*| instruction_list il_instruction */
void *visit(instruction_list_c *symbol) {return NULL;}
/***************************************/
/* B.3 - Language ST (Structured Text) */
/***************************************/
/********************/
/* B 3.2 Statements */
/********************/
void *visit(statement_list_c *symbol) {return NULL;}
/* Remainder implemented in generate_cc_sfcdecl_c... */
};
/***********************************************************************/
/***********************************************************************/
/***********************************************************************/
/***********************************************************************/
class generate_cc_sfc_stepundecl_c: public generate_cc_base_c {
public:
generate_cc_sfc_stepundecl_c(stage4out_c *s4o_ptr): generate_cc_base_c(s4o_ptr) {}
~generate_cc_sfc_stepundecl_c(void) {}
/*********************************************/
/* B.1.6 Sequential function chart elements */
/*********************************************/
void *visit(initial_step_c *symbol) {
s4o.print("#undef ");
s4o.print(SFC_STEP_ACTION_PREFIX);
symbol->step_name->accept(*this);
s4o.print("\n");
return NULL;
}
void *visit(step_c *symbol) {
s4o.print("#undef ");
s4o.print(SFC_STEP_ACTION_PREFIX);
symbol->step_name->accept(*this);
s4o.print("\n");
return NULL;
}
void *visit(transition_c *symbol) {return NULL;}
void *visit(action_c *symbol) {return NULL;}
}; /* generate_cc_sfc_stepdecl_c */
/***********************************************************************/
/***********************************************************************/
/***********************************************************************/
/***********************************************************************/
class generate_cc_sfc_actionundecl_c: public generate_cc_base_c {
public:
generate_cc_sfc_actionundecl_c(stage4out_c *s4o_ptr): generate_cc_base_c(s4o_ptr) {}
~generate_cc_sfc_actionundecl_c(void) {}
/*********************************************/
/* B.1.6 Sequential function chart elements */
/*********************************************/
void *visit(initial_step_c *symbol) {return NULL;}
void *visit(step_c *symbol) {return NULL;}
void *visit(transition_c *symbol) {return NULL;}
void *visit(action_c *symbol) {
s4o.print("#undef ");
s4o.print(SFC_STEP_ACTION_PREFIX);
symbol->action_name->accept(*this);
s4o.print("\n");
return NULL;
}
}; /* generate_cc_sfc_stepdecl_c */
/***********************************************************************/
/***********************************************************************/
/***********************************************************************/
/***********************************************************************/
class generate_cc_sfcundecl_c: public iterator_visitor_c {
protected:
stage4out_c &s4o;
private:
generate_cc_sfc_stepundecl_c *generate_cc_sfc_stepundecl;
generate_cc_sfc_actionundecl_c *generate_cc_sfc_actionundecl;
public:
generate_cc_sfcundecl_c(stage4out_c *s4o_ptr) : s4o(*s4o_ptr) {
generate_cc_sfc_stepundecl = new generate_cc_sfc_stepundecl_c(s4o_ptr);
generate_cc_sfc_actionundecl = new generate_cc_sfc_actionundecl_c(s4o_ptr);
}
virtual ~generate_cc_sfcundecl_c(void) {
delete generate_cc_sfc_stepundecl;
delete generate_cc_sfc_actionundecl;
}
public:
/*********************************************/
/* B.1.6 Sequential function chart elements */
/*********************************************/
/* generate steps and actions tables */
void *visit(sequential_function_chart_c *symbol) {
/* generate steps undefinitions */
s4o.print("// Steps undefinitions\n");
symbol->accept(*generate_cc_sfc_stepundecl);
s4o.print("\n");
/* generate actions table */
s4o.print("// Actions undefinitions\n");
symbol->accept(*generate_cc_sfc_actionundecl);
s4o.print("\n");
return NULL;
}
/***********************************/
/* B 2.1 Instructions and Operands */
/***********************************/
/*| instruction_list il_instruction */
void *visit(instruction_list_c *symbol) {return NULL;}
/***************************************/
/* B.3 - Language ST (Structured Text) */
/***************************************/
/********************/
/* B 3.2 Statements */
/********************/
void *visit(statement_list_c *symbol) {return NULL;}
/* Remainder implemented in generate_cc_sfcdecl_c... */
};