lbessard@70: /* lbessard@70: * (c) 2003 Mario de Sousa 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 variable declaration constructs. lbessard@70: * lbessard@70: * This is part of the 4th stage that generates lbessard@70: * a c++ source program equivalent to the IL and ST lbessard@70: * code. lbessard@70: */ lbessard@70: lbessard@70: lbessard@70: lbessard@70: lbessard@70: //#include /* required for NULL */ lbessard@70: //#include lbessard@70: //#include lbessard@70: lbessard@70: //#include "../../util/symtable.hh" lbessard@70: lbessard@70: lbessard@70: lbessard@70: lbessard@98: class generate_c_array_initialization_c: public generate_c_typedecl_c { lbessard@98: lbessard@98: public: lbessard@98: typedef enum { lbessard@98: none_am, lbessard@98: dimensioncount_am, lbessard@98: initializationvalue_am, lbessard@98: arrayassignment_am, lbessard@98: varlistparse_am lbessard@98: } arrayinitialization_mode_t; lbessard@98: lbessard@98: arrayinitialization_mode_t current_mode; lbessard@98: lbessard@98: symbol_c* array_default_value; lbessard@98: lbessard@98: private: lbessard@98: int dimension_number, current_dimension, array_size; lbessard@98: lbessard@98: public: lbessard@98: generate_c_array_initialization_c(stage4out_c *s4o_ptr): generate_c_typedecl_c(s4o_ptr) {} lbessard@98: ~generate_c_array_initialization_c(void) {} lbessard@98: lbessard@98: void init_array(symbol_c *var1_list, symbol_c *array_specification, symbol_c *array_initialization) { lbessard@98: int i; lbessard@98: lbessard@98: dimension_number = 0; lbessard@98: current_dimension = 0; lbessard@98: array_size = 1; lbessard@98: array_default_value = NULL; lbessard@98: lbessard@98: current_mode = dimensioncount_am; lbessard@98: array_specification->accept(*this); lbessard@98: lbessard@98: current_mode = initializationvalue_am; lbessard@98: s4o.print("\n"); lbessard@98: s4o.print(s4o.indent_spaces + "{\n"); lbessard@98: s4o.indent_right(); lbessard@98: s4o.print(s4o.indent_spaces + "int index["); lbessard@98: print_integer(dimension_number); lbessard@98: s4o.print("];\n"); lbessard@98: s4o.print(s4o.indent_spaces); lbessard@98: array_specification->accept(*this); lbessard@98: s4o.print(" temp = "); lbessard@98: array_initialization->accept(*this); lbessard@98: s4o.print(";\n"); lbessard@98: lbessard@98: current_mode = arrayassignment_am; lbessard@98: array_specification->accept(*this); lbessard@98: lbessard@98: current_mode = varlistparse_am; lbessard@98: var1_list->accept(*this); lbessard@98: lbessard@98: current_mode = arrayassignment_am; lbessard@98: for (i = 0; i < dimension_number; i++) { lbessard@98: s4o.indent_left(); lbessard@98: s4o.print(s4o.indent_spaces + "}\n"); lbessard@98: } lbessard@98: s4o.indent_left(); lbessard@98: s4o.print(s4o.indent_spaces + "}"); lbessard@98: } lbessard@98: lbessard@98: void *visit(identifier_c *type_name) { lbessard@98: symbol_c *type_decl; lbessard@98: switch (current_mode) { lbessard@98: case dimensioncount_am: lbessard@98: case arrayassignment_am: lbessard@98: /* look up the type declaration... */ lbessard@98: type_decl = type_symtable.find_value(type_name); lbessard@98: if (type_decl == type_symtable.end_value()) lbessard@98: /* Type declaration not found!! */ lbessard@98: ERROR; lbessard@98: type_decl->accept(*this); lbessard@98: break; lbessard@98: default: lbessard@98: print_token(type_name); lbessard@98: break; lbessard@98: } lbessard@98: return NULL; lbessard@98: } lbessard@98: lbessard@98: void *visit(var1_list_c *symbol) { lbessard@98: int i, j; lbessard@98: lbessard@98: for (i = 0; i < symbol->n; i++) { lbessard@98: s4o.print(s4o.indent_spaces); lbessard@98: print_variable_prefix(); lbessard@98: symbol->elements[i]->accept(*this); lbessard@98: for (j = 0; j < dimension_number; j++) { lbessard@98: s4o.print("[index["); lbessard@98: print_integer(j); lbessard@98: s4o.print("]]"); lbessard@98: } lbessard@98: s4o.print(" = temp"); lbessard@98: for (j = 0; j < dimension_number; j++) { lbessard@98: s4o.print("[index["); lbessard@98: print_integer(j); lbessard@98: s4o.print("]]"); lbessard@98: } lbessard@98: s4o.print(";\n"); lbessard@98: } lbessard@98: return NULL; lbessard@98: } lbessard@98: lbessard@98: /********************************/ lbessard@98: /* B 1.3.3 - Derived data types */ lbessard@98: /********************************/ lbessard@98: lbessard@98: /* ARRAY '[' array_subrange_list ']' OF non_generic_type_name */ lbessard@98: void *visit(array_specification_c *symbol) { lbessard@98: switch (current_mode) { lbessard@98: case dimensioncount_am: lbessard@98: symbol->array_subrange_list->accept(*this); lbessard@98: array_default_value = (symbol_c *)symbol->non_generic_type_name->accept(*type_initial_value_c::instance());; lbessard@98: break; lbessard@98: default: lbessard@98: symbol->array_subrange_list->accept(*this); lbessard@98: break; lbessard@98: } lbessard@98: return NULL; lbessard@98: } lbessard@98: lbessard@98: /* signed_integer DOTDOT signed_integer */ lbessard@98: //SYM_REF2(subrange_c, lower_limit, upper_limit) lbessard@98: void *visit(subrange_c *symbol) { lbessard@98: switch (current_mode) { lbessard@98: case dimensioncount_am: lbessard@98: dimension_number++; lbessard@98: array_size *= extract_integer(symbol->upper_limit) - extract_integer(symbol->lower_limit) + 1; lbessard@98: break; lbessard@98: case arrayassignment_am: lbessard@98: s4o.print(s4o.indent_spaces + "for (index["); lbessard@98: print_integer(current_dimension); lbessard@98: s4o.print("] = 0; index["); lbessard@98: print_integer(current_dimension); lbessard@98: s4o.print("] <= "); lbessard@98: print_integer(extract_integer(symbol->upper_limit) - extract_integer(symbol->lower_limit)); lbessard@98: s4o.print("; index["); lbessard@98: print_integer(current_dimension); lbessard@98: s4o.print("]++) {\n"); lbessard@98: s4o.indent_right(); lbessard@98: current_dimension++; lbessard@98: break; lbessard@98: default: lbessard@98: break; lbessard@98: } lbessard@98: return NULL; lbessard@98: } lbessard@98: lbessard@98: /* helper symbol for array_initialization */ lbessard@98: /* array_initial_elements_list ',' array_initial_elements */ lbessard@98: void *visit(array_initial_elements_list_c *symbol) { lbessard@98: switch (current_mode) { lbessard@98: case initializationvalue_am: lbessard@98: int i; lbessard@98: lbessard@98: s4o.print("{"); lbessard@98: for (i = 0; i < symbol->n; i++) { lbessard@98: if (i > 0) lbessard@98: s4o.print(", "); lbessard@98: symbol->elements[i]->accept(*this); lbessard@98: array_size--; lbessard@98: } lbessard@98: if (array_size > 0) { lbessard@98: if (symbol->n > 0) lbessard@98: s4o.print(", "); lbessard@98: for (i = 0; i < array_size; i++) { lbessard@98: if (i > 0) lbessard@98: s4o.print(", "); lbessard@98: array_default_value->accept(*this); lbessard@98: } lbessard@98: } lbessard@98: s4o.print("}"); lbessard@98: break; lbessard@98: default: lbessard@98: break; lbessard@98: } lbessard@98: return NULL; lbessard@98: } lbessard@98: lbessard@98: /* integer '(' [array_initial_element] ')' */ lbessard@98: /* array_initial_element may be NULL ! */ lbessard@98: void *visit(array_initial_elements_c *symbol) { lbessard@98: int initial_element_number; lbessard@98: lbessard@98: switch (current_mode) { lbessard@98: case initializationvalue_am: lbessard@98: initial_element_number = extract_integer(symbol->integer); lbessard@98: lbessard@98: for (int i = 0; i < initial_element_number; i++) { lbessard@98: if (i > 0) lbessard@98: s4o.print(", "); lbessard@98: if (symbol->array_initial_element != NULL) lbessard@98: symbol->array_initial_element->accept(*this); lbessard@98: else if (array_default_value != NULL) lbessard@98: array_default_value->accept(*this); lbessard@98: } lbessard@98: if (initial_element_number > 1) lbessard@98: array_size -= initial_element_number - 1; lbessard@98: break; lbessard@98: default: lbessard@98: break; lbessard@98: } lbessard@98: return NULL; lbessard@98: } lbessard@98: lbessard@98: }; lbessard@70: lbessard@70: /***********************************************************************/ lbessard@70: /***********************************************************************/ 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_vardecl_c: protected generate_c_typedecl_c { lbessard@70: lbessard@70: /* A Helper class to the main class... */ lbessard@70: /* print a string, except the first time it is called */ lbessard@70: /* used to print the separator "," before each variable lbessard@70: * declaration, except the first... lbessard@70: * lbessard@70: * Needs to be done in a seperate class because this is called lbessard@70: * from within various locations within the code. lbessard@70: */ lbessard@70: class next_var_c { lbessard@70: private: lbessard@70: bool print_flag; lbessard@70: std::string str1, str2; lbessard@70: lbessard@70: next_var_c *embedded_scope; lbessard@70: lbessard@70: public: lbessard@70: next_var_c(std::string s1, std::string s2) { lbessard@70: str1 = s1; lbessard@70: str2 = s2; lbessard@70: print_flag = false; lbessard@70: embedded_scope = NULL; lbessard@70: } lbessard@70: lbessard@70: std::string get(void) { lbessard@70: if (NULL != embedded_scope) lbessard@70: return embedded_scope->get(); lbessard@70: lbessard@70: bool old_print_flag = print_flag; lbessard@70: print_flag = true; lbessard@70: if (!old_print_flag) lbessard@70: return str1; lbessard@70: else lbessard@70: return str2; lbessard@70: } lbessard@70: lbessard@70: /* Create a new next_var_c for an embedded scope. lbessard@70: * From now on, every call to get() will return the lbessard@70: * inner-most scope...! lbessard@70: */ lbessard@70: void push(std::string s1, std::string s2) { lbessard@70: if (NULL != embedded_scope) lbessard@70: return embedded_scope->push(s1, s2); lbessard@70: lbessard@70: embedded_scope = new next_var_c(s1, s2); lbessard@70: if (NULL == embedded_scope) lbessard@70: ERROR; lbessard@70: return; lbessard@70: } lbessard@70: lbessard@70: /* Remove the inner-most scope... */ lbessard@70: void pop(void) { lbessard@70: if (NULL != embedded_scope) lbessard@70: return embedded_scope->pop(); lbessard@70: lbessard@70: delete embedded_scope; lbessard@70: embedded_scope = NULL; lbessard@70: } lbessard@70: }; lbessard@70: lbessard@70: private: lbessard@70: /* used to generate the ',' separating the parameters in a function call */ lbessard@70: next_var_c *nv; lbessard@70: lbessard@70: lbessard@70: public: lbessard@70: /* the types of variables that need to be processed... */ lbessard@70: static const unsigned int none_vt = 0x0000; lbessard@70: static const unsigned int input_vt = 0x0001; // VAR_INPUT lbessard@70: static const unsigned int output_vt = 0x0002; // VAR_OUTPUT lbessard@70: static const unsigned int inoutput_vt = 0x0004; // VAR_IN_OUT lbessard@70: static const unsigned int private_vt = 0x0008; // VAR lbessard@70: static const unsigned int temp_vt = 0x0010; // VAR_TEMP lbessard@70: static const unsigned int external_vt = 0x0020; // VAR_EXTERNAL lbessard@70: static const unsigned int global_vt = 0x0040; // VAR_GLOBAL lbessard@70: // Globals declared inside a resource will not be declared lbessard@70: // unless global_vt is acompanied by resource_vt lbessard@70: static const unsigned int located_vt = 0x0080; // VAR AT lbessard@70: static const unsigned int program_vt = 0x0100; // PROGRAM (inside a configuration!) lbessard@70: // Programs declared inside a resource will not be declared lbessard@70: // unless program_vt is acompanied by resource_vt lbessard@70: lbessard@70: static const unsigned int resource_vt = 0x8000; // RESOURCE (inside a configuration!) lbessard@70: // This, just of itself, will not print out any declarations!! lbessard@70: // It must be acompanied by either program_vt and/or global_vt lbessard@70: lbessard@70: /* How variables should be declared: as local variables or lbessard@70: * variables within a function call interface. lbessard@70: * lbessard@70: * This will define the format of the output generated lbessard@70: * by this class. lbessard@70: * lbessard@70: * finterface_vf: function interface parameters lbessard@70: * e.g. f( int a, long b, real c ); lbessard@70: * --------------------- lbessard@70: * This class/function will produce the lbessard@70: * underlined code of the above examples, lbessard@70: * and no more!! lbessard@70: * lbessard@70: * localinit_vf: local declaration. Will include variable lbessard@70: * initialisation if it is not a located variable. lbessard@70: * e.g. lbessard@70: * int a = 9; lbessard@70: * long b = 99; lbessard@70: * real c = 99.9; lbessard@70: * lbessard@70: * local_vf: local declaration. Will NOT include variable lbessard@70: * initialisation. lbessard@70: * e.g. lbessard@70: * int a; lbessard@70: * long b; lbessard@70: * real c; lbessard@70: * lbessard@70: * init_vf: local initialisation without declaration. lbessard@70: * e.g. lbessard@70: * a = 9; lbessard@70: * b = 99; lbessard@70: * c = 99.9; lbessard@70: * lbessard@70: * constructorinit_vf: initialising of member variables... lbessard@70: * e.g. for a constructor... lbessard@70: * class_name_c(void) lbessard@70: * : a(9), b(99), c(99.9) { // code... } lbessard@70: * -------------------- lbessard@70: * This class/function will produce the lbessard@70: * underlined code of the above examples, lbessard@70: * and no more!! lbessard@70: * lbessard@70: * globalinit_vf: initialising of static c++ variables. These lbessard@70: * variables may have been declared as static inside lbessard@70: * a class, in which case the scope within which they were lbessard@70: * previously delcared must be passed as the second parameter lbessard@70: * to the print() function. lbessard@70: * lbessard@70: * e.g. lbessard@70: * __plc_pt_c START_P::loc = __plc_pt_c("I2"); lbessard@70: */ lbessard@70: typedef enum {finterface_vf, lbessard@70: local_vf, lbessard@70: localinit_vf, lbessard@70: init_vf, lbessard@70: constructorinit_vf, lbessard@70: globalinit_vf lbessard@70: } varformat_t; lbessard@70: lbessard@70: lbessard@70: private: lbessard@98: generate_c_array_initialization_c *generate_c_array_initialization; lbessard@98: lbessard@70: /* variable used to store the types of variables that need to be processed... */ lbessard@70: /* Only set in the constructor...! */ lbessard@70: /* Will contain a set of values of generate_c_vardecl_c::XXXX_vt */ lbessard@70: unsigned int wanted_vartype; lbessard@70: /* variable used to store the type of variable currently being processed... */ lbessard@70: /* Will contain a single value of generate_c_vardecl_c::XXXX_vt */ lbessard@70: unsigned int current_vartype; lbessard@70: lbessard@70: /* How variables should be declared: as local variables or lbessard@70: * variables within a function interface... lbessard@70: */ lbessard@70: /* Only set in the constructor...! */ lbessard@70: varformat_t wanted_varformat; lbessard@70: lbessard@70: /* The number of variables already declared. */ lbessard@70: /* Used to declare 'void' in case no variables are declared in a function interface... */ lbessard@70: int finterface_var_count; lbessard@70: etisserant@138: /* Current parsed resource name, for resource etisserant@138: * specific global variable declaration (with #define...)*/ etisserant@138: symbol_c *resource_name; lbessard@70: lbessard@70: /* Holds the references to the type and initial value lbessard@70: * of the variables currently being declared. lbessard@70: * Please read the comment under var1_init_decl_c for further lbessard@70: * details... lbessard@70: * lbessard@70: * We make an effort to keep these pointers pointing to NULL lbessard@70: * whenever we are outside the scope of variable declaration lbessard@70: * (i.e. when we are traversing a part of the parse tree which lbessard@70: * is not part of variable declaration) in order tio try to catch lbessard@70: * any bugs as soon as possible. lbessard@70: */ lbessard@70: symbol_c *current_var_type_symbol; lbessard@70: symbol_c *current_var_init_symbol; lbessard@70: void update_type_init(symbol_c *symbol /* a spec_init_c, subrange_spec_init_c, etc... */ ) { lbessard@70: this->current_var_type_symbol = spec_init_sperator_c::get_spec(symbol); lbessard@70: this->current_var_init_symbol = spec_init_sperator_c::get_init(symbol); lbessard@70: if (NULL == this->current_var_type_symbol) lbessard@70: ERROR; lbessard@70: if (NULL == this->current_var_init_symbol) { lbessard@70: /* We try to find the data type's default value... */ lbessard@70: this->current_var_init_symbol = (symbol_c *)this->current_var_type_symbol->accept(*type_initial_value_c::instance()); lbessard@70: /* Note that Function Block 'data types' do not have a default value, so we cannot abort if no default value is found! */ lbessard@70: /* lbessard@70: if (NULL == this->current_var_init_symbol) lbessard@70: ERROR; lbessard@70: */ lbessard@70: } lbessard@70: } lbessard@70: lbessard@70: void void_type_init(void) { lbessard@70: this->current_var_type_symbol = NULL; lbessard@70: this->current_var_init_symbol = NULL; lbessard@70: } lbessard@70: lbessard@70: /* Only used when wanted_varformat == globalinit_vf lbessard@70: * Holds a pointer to an identifier_c, which in turns contains lbessard@70: * the identifier of the scope within which the static member was lbessard@70: * declared. lbessard@70: */ lbessard@70: symbol_c *globalnamespace; lbessard@70: lbessard@70: /* Actually produce the output where variables are declared... */ lbessard@70: /* Note that located variables are the exception, they lbessard@70: * being declared in the located_var_decl_c visitor... lbessard@70: */ lbessard@70: void *declare_variables(symbol_c *symbol, bool is_fb = false) { lbessard@70: list_c *list = dynamic_cast(symbol); lbessard@70: /* should NEVER EVER occur!! */ lbessard@70: if (list == NULL) ERROR; lbessard@70: lbessard@70: /* now to produce the c equivalent... */ lbessard@70: if ((wanted_varformat == local_vf) || lbessard@70: (wanted_varformat == init_vf) || lbessard@70: (wanted_varformat == localinit_vf)) { lbessard@70: for(int i = 0; i < list->n; i++) { lbessard@70: s4o.print(s4o.indent_spaces); lbessard@70: if (wanted_varformat != init_vf) { lbessard@70: this->current_var_type_symbol->accept(*this); lbessard@70: s4o.print(" "); lbessard@70: } lbessard@70: print_variable_prefix(); lbessard@70: list->elements[i]->accept(*this); lbessard@70: if (wanted_varformat != local_vf) { lbessard@70: if (this->current_var_init_symbol != NULL) { lbessard@70: s4o.print(" = "); lbessard@70: this->current_var_init_symbol->accept(*this); lbessard@70: } lbessard@70: } lbessard@70: s4o.print(";\n"); lbessard@70: } lbessard@70: } lbessard@70: lbessard@70: if (wanted_varformat == finterface_vf) { lbessard@70: for(int i = 0; i < list->n; i++) { lbessard@70: finterface_var_count++; lbessard@70: s4o.print(nv->get()); lbessard@70: s4o.print("\n" + s4o.indent_spaces); lbessard@70: this->current_var_type_symbol->accept(*this); lbessard@70: if ((current_vartype & (output_vt | inoutput_vt)) != 0) lbessard@70: s4o.print(" &"); lbessard@70: else lbessard@70: s4o.print(" "); lbessard@70: list->elements[i]->accept(*this); lbessard@70: /* We do not print the initial value at function declaration! lbessard@70: * It is up to the caller to pass the correct default value lbessard@70: * if none is specified in the ST source code lbessard@70: */ lbessard@70: /* if (this->current_var_init_symbol != NULL) { lbessard@70: s4o.print(" = "); this->current_var_init_symbol->accept(*this);} lbessard@70: */ lbessard@70: } lbessard@70: } lbessard@70: lbessard@70: if (wanted_varformat == constructorinit_vf) { lbessard@70: for(int i = 0; i < list->n; i++) { lbessard@70: if (is_fb) { lbessard@70: s4o.print(nv->get()); lbessard@70: this->current_var_type_symbol->accept(*this); lbessard@70: s4o.print(FB_INIT_SUFFIX); lbessard@70: s4o.print("(&"); lbessard@70: this->print_variable_prefix(); lbessard@70: list->elements[i]->accept(*this); lbessard@70: s4o.print(");"); lbessard@70: } lbessard@70: else if (this->current_var_init_symbol != NULL) { lbessard@70: s4o.print(nv->get()); lbessard@70: this->print_variable_prefix(); lbessard@70: list->elements[i]->accept(*this); lbessard@70: s4o.print(" = "); lbessard@70: this->current_var_init_symbol->accept(*this); lbessard@70: s4o.print(";"); lbessard@70: } lbessard@70: } lbessard@70: } lbessard@70: lbessard@70: return NULL; lbessard@70: } lbessard@70: lbessard@70: lbessard@70: lbessard@70: lbessard@70: public: etisserant@138: generate_c_vardecl_c(stage4out_c *s4o_ptr, varformat_t varformat, unsigned int vartype, symbol_c* res_name = NULL) lbessard@70: : generate_c_typedecl_c(s4o_ptr) { lbessard@98: generate_c_array_initialization = new generate_c_array_initialization_c(s4o_ptr); lbessard@70: wanted_varformat = varformat; lbessard@70: wanted_vartype = vartype; lbessard@70: current_vartype = none_vt; lbessard@70: current_var_type_symbol = NULL; lbessard@70: current_var_init_symbol = NULL; lbessard@70: globalnamespace = NULL; lbessard@70: nv = NULL; etisserant@138: resource_name = res_name; lbessard@70: } lbessard@70: lbessard@98: ~generate_c_vardecl_c(void) { lbessard@98: delete generate_c_array_initialization; lbessard@98: } lbessard@70: lbessard@70: lbessard@70: void print(symbol_c *symbol, symbol_c *scope = NULL, const char *variable_prefix = NULL) { lbessard@70: this->set_variable_prefix(variable_prefix); lbessard@98: this->generate_c_array_initialization->set_variable_prefix(variable_prefix); lbessard@70: if (globalinit_vf == wanted_varformat) lbessard@70: globalnamespace = scope; lbessard@70: lbessard@70: finterface_var_count = 0; lbessard@70: lbessard@70: switch (wanted_varformat) { lbessard@70: case constructorinit_vf: nv = new next_var_c("", "\n"+s4o.indent_spaces); break; lbessard@70: case finterface_vf: /* fall through... */ lbessard@70: case localinit_vf: /* fall through... */ lbessard@70: case local_vf: nv = new next_var_c("", ", "); break; lbessard@70: default: nv = NULL; lbessard@70: } /* switch() */ lbessard@70: lbessard@70: symbol->accept(*this); lbessard@70: lbessard@70: /* special case... */ lbessard@70: if (wanted_varformat == finterface_vf) lbessard@70: if (finterface_var_count == 0) lbessard@70: s4o.print("void"); lbessard@70: lbessard@70: delete nv; lbessard@70: nv = NULL; lbessard@70: globalnamespace = NULL; lbessard@70: } lbessard@70: lbessard@70: lbessard@70: protected: lbessard@70: /***************************/ lbessard@70: /* B 0 - Programming Model */ lbessard@70: /***************************/ lbessard@70: /* leave for derived classes... */ lbessard@70: lbessard@70: /*************************/ lbessard@70: /* B.1 - Common elements */ lbessard@70: /*************************/ lbessard@70: /*******************************************/ lbessard@70: /* B 1.1 - Letters, digits and identifiers */ lbessard@70: /*******************************************/ lbessard@70: /* done in base class(es) */ lbessard@70: lbessard@70: /*********************/ lbessard@70: /* B 1.2 - Constants */ lbessard@70: /*********************/ lbessard@70: /* originally empty... */ lbessard@70: lbessard@70: /******************************/ lbessard@70: /* B 1.2.1 - Numeric Literals */ lbessard@70: /******************************/ lbessard@70: /* done in base class(es) */ lbessard@70: lbessard@70: /*******************************/ lbessard@70: /* B.1.2.2 Character Strings */ lbessard@70: /*******************************/ lbessard@70: /* done in base class(es) */ lbessard@70: lbessard@70: /***************************/ lbessard@70: /* B 1.2.3 - Time Literals */ lbessard@70: /***************************/ lbessard@70: /************************/ lbessard@70: /* B 1.2.3.1 - Duration */ lbessard@70: /************************/ lbessard@70: /* done in base class(es) */ lbessard@70: lbessard@70: /************************************/ lbessard@70: /* B 1.2.3.2 - Time of day and Date */ lbessard@70: /************************************/ lbessard@70: /* done in base class(es) */ lbessard@70: lbessard@70: /**********************/ lbessard@70: /* B.1.3 - Data types */ lbessard@70: /**********************/ lbessard@70: /***********************************/ lbessard@70: /* B 1.3.1 - Elementary Data Types */ lbessard@70: /***********************************/ lbessard@70: /* done in base class(es) */ lbessard@70: lbessard@70: /********************************/ lbessard@70: /* B.1.3.2 - Generic data types */ lbessard@70: /********************************/ lbessard@70: /* originally empty... */ lbessard@70: lbessard@70: /********************************/ lbessard@70: /* B 1.3.3 - Derived data types */ lbessard@70: /********************************/ lbessard@70: /* done in base class(es) */ lbessard@70: lbessard@70: /*********************/ lbessard@70: /* B 1.4 - Variables */ lbessard@70: /*********************/ lbessard@70: /* done in base class(es) */ lbessard@70: lbessard@70: /********************************************/ lbessard@70: /* B.1.4.1 Directly Represented Variables */ lbessard@70: /********************************************/ lbessard@70: /* done in base class(es) */ lbessard@70: lbessard@70: /*************************************/ lbessard@70: /* B.1.4.2 Multi-element Variables */ lbessard@70: /*************************************/ lbessard@70: /* done in base class(es) */ lbessard@70: lbessard@70: /******************************************/ lbessard@70: /* B 1.4.3 - Declaration & Initialisation */ lbessard@70: /******************************************/ lbessard@70: void *visit(constant_option_c *symbol) {s4o.print("CONSTANT"); return NULL;} lbessard@70: void *visit(retain_option_c *symbol) {s4o.print("RETAIN"); return NULL;} lbessard@70: void *visit(non_retain_option_c *symbol) {s4o.print("NON_RETAIN"); return NULL;} lbessard@70: lbessard@70: void *visit(input_declarations_c *symbol) { lbessard@70: TRACE("input_declarations_c"); lbessard@70: if ((wanted_vartype & input_vt) != 0) { lbessard@70: /* lbessard@70: // TO DO ... lbessard@70: if (symbol->option != NULL) lbessard@70: symbol->option->accept(*this); lbessard@70: */ lbessard@70: //s4o.indent_right(); lbessard@70: current_vartype = input_vt; lbessard@70: symbol->input_declaration_list->accept(*this); lbessard@70: current_vartype = none_vt; lbessard@70: //s4o.indent_left(); lbessard@70: } lbessard@70: return NULL; lbessard@70: } lbessard@70: lbessard@70: /* helper symbol for input_declarations */ lbessard@70: void *visit(input_declaration_list_c *symbol) { lbessard@70: TRACE("input_declaration_list_c"); lbessard@70: print_list(symbol); lbessard@70: return NULL; lbessard@70: } lbessard@70: lbessard@70: void *visit(edge_declaration_c *symbol) { lbessard@70: TRACE("edge_declaration_c"); lbessard@70: // TO DO ... lbessard@70: symbol->var1_list->accept(*this); lbessard@70: s4o.print(" : BOOL "); lbessard@70: symbol->edge->accept(*this); lbessard@70: return NULL; lbessard@70: } lbessard@70: lbessard@70: void *visit(raising_edge_option_c *symbol) { lbessard@70: // TO DO ... lbessard@70: s4o.print("R_EDGE"); lbessard@70: return NULL; lbessard@70: } lbessard@70: lbessard@98: /* var1_list ':' array_spec_init */ lbessard@98: // SYM_REF2(array_var_init_decl_c, var1_list, array_spec_init) lbessard@98: void *visit(array_var_init_decl_c *symbol) { lbessard@98: TRACE("array_var_init_decl_c"); lbessard@98: /* Please read the comments inside the var1_init_decl_c lbessard@98: * visitor, as they apply here too. lbessard@98: */ lbessard@98: lbessard@98: /* Start off by setting the current_var_type_symbol and lbessard@98: * current_var_init_symbol private variables... lbessard@98: */ lbessard@98: update_type_init(symbol->array_spec_init); lbessard@98: lbessard@98: /* now to produce the c equivalent... */ lbessard@98: if (wanted_varformat == constructorinit_vf) lbessard@98: generate_c_array_initialization->init_array(symbol->var1_list, this->current_var_type_symbol, this->current_var_init_symbol); lbessard@98: else lbessard@98: symbol->var1_list->accept(*this); lbessard@98: lbessard@98: /* Values no longer in scope, and therefore no longer used. lbessard@98: * Make an effort to keep them set to NULL when not in use lbessard@98: * in order to catch bugs as soon as possible... lbessard@98: */ lbessard@98: void_type_init(); lbessard@98: lbessard@98: return NULL; lbessard@98: } lbessard@70: lbessard@70: /* var1_list ':' initialized_structure */ lbessard@70: // SYM_REF2(structured_var_init_decl_c, var1_list, initialized_structure) lbessard@70: void *visit(structured_var_init_decl_c *symbol) { lbessard@70: TRACE("structured_var_init_decl_c"); lbessard@70: /* Please read the comments inside the var1_init_decl_c lbessard@70: * visitor, as they apply here too. lbessard@70: */ lbessard@70: lbessard@70: /* Start off by setting the current_var_type_symbol and lbessard@70: * current_var_init_symbol private variables... lbessard@70: */ lbessard@70: update_type_init(symbol->initialized_structure); lbessard@70: lbessard@70: /* now to produce the c equivalent... */ lbessard@70: symbol->var1_list->accept(*this); lbessard@70: lbessard@70: /* Values no longer in scope, and therefore no longer used. lbessard@70: * Make an effort to keep them set to NULL when not in use lbessard@70: * in order to catch bugs as soon as possible... lbessard@70: */ lbessard@70: void_type_init(); lbessard@70: lbessard@70: return NULL; lbessard@70: } lbessard@70: lbessard@70: /* fb_name_list ':' function_block_type_name ASSIGN structure_initialization */ lbessard@70: /* structure_initialization -> may be NULL ! */ lbessard@70: void *visit(fb_name_decl_c *symbol) { lbessard@70: TRACE("fb_name_decl_c"); lbessard@70: /* Please read the comments inside the var1_init_decl_c lbessard@70: * visitor, as they apply here too. lbessard@70: */ lbessard@70: lbessard@70: /* Start off by setting the current_var_type_symbol and lbessard@70: * current_var_init_symbol private variables... lbessard@70: */ lbessard@70: update_type_init(symbol); lbessard@70: lbessard@70: /* now to produce the c equivalent... */ lbessard@70: symbol->fb_name_list->accept(*this); lbessard@70: lbessard@70: /* Values no longer in scope, and therefore no longer used. lbessard@70: * Make an effort to keep them set to NULL when not in use lbessard@70: * in order to catch bugs as soon as possible... lbessard@70: */ lbessard@70: void_type_init(); lbessard@70: lbessard@70: return NULL; lbessard@70: } lbessard@70: lbessard@70: /* fb_name_list ',' fb_name */ lbessard@70: void *visit(fb_name_list_c *symbol) { lbessard@70: TRACE("fb_name_list_c"); lbessard@70: declare_variables(symbol, true); lbessard@70: return NULL; lbessard@70: } lbessard@70: lbessard@70: lbessard@70: /* VAR_OUTPUT [RETAIN | NON_RETAIN] var_init_decl_list END_VAR */ lbessard@70: /* option -> may be NULL ! */ lbessard@70: void *visit(output_declarations_c *symbol) { lbessard@70: TRACE("output_declarations_c"); lbessard@70: if ((wanted_vartype & output_vt) != 0) { lbessard@70: /* lbessard@70: // TO DO ... lbessard@70: if (symbol->option != NULL) lbessard@70: symbol->option->accept(*this); lbessard@70: */ lbessard@70: //s4o.indent_right(); lbessard@70: current_vartype = output_vt; lbessard@70: symbol->var_init_decl_list->accept(*this); lbessard@70: current_vartype = none_vt; lbessard@70: //s4o.indent_left(); lbessard@70: } lbessard@70: return NULL; lbessard@70: } lbessard@70: lbessard@70: /* VAR_IN_OUT var_declaration_list END_VAR */ lbessard@70: void *visit(input_output_declarations_c *symbol) { lbessard@70: TRACE("input_output_declarations_c"); lbessard@70: if ((wanted_vartype & inoutput_vt) != 0) { lbessard@70: //s4o.indent_right(); lbessard@70: current_vartype = inoutput_vt; lbessard@70: symbol->var_declaration_list->accept(*this); lbessard@70: current_vartype = none_vt; lbessard@70: //s4o.indent_left(); lbessard@70: } lbessard@70: return NULL; lbessard@70: } lbessard@70: lbessard@70: /* helper symbol for input_output_declarations */ lbessard@70: /* var_declaration_list var_declaration ';' */ lbessard@70: void *visit(var_declaration_list_c *symbol) { lbessard@70: TRACE("var_declaration_list_c"); lbessard@70: print_list(symbol); lbessard@70: return NULL; lbessard@70: } lbessard@70: lbessard@70: #if 0 lbessard@70: /* var1_list ':' array_specification */ lbessard@70: SYM_REF2(array_var_declaration_c, var1_list, array_specification) lbessard@70: #endif lbessard@70: lbessard@98: void *visit(array_initial_elements_list_c *symbol) { lbessard@98: s4o.print(";// array initialisation"); lbessard@98: return NULL; lbessard@98: } lbessard@98: lbessard@70: /* var1_list ':' structure_type_name */ lbessard@70: //SYM_REF2(structured_var_declaration_c, var1_list, structure_type_name) lbessard@70: void *visit(structured_var_declaration_c *symbol) { lbessard@70: TRACE("structured_var_declaration_c"); lbessard@70: /* Please read the comments inside the var1_init_decl_c lbessard@70: * visitor, as they apply here too. lbessard@70: */ lbessard@70: lbessard@70: /* Start off by setting the current_var_type_symbol and lbessard@70: * current_var_init_symbol private variables... lbessard@70: */ lbessard@70: update_type_init(symbol->structure_type_name); lbessard@70: lbessard@70: /* now to produce the c equivalent... */ lbessard@70: symbol->var1_list->accept(*this); lbessard@70: lbessard@70: /* Values no longer in scope, and therefore no longer used. lbessard@70: * Make an effort to keep them set to NULL when not in use lbessard@70: * in order to catch bugs as soon as possible... lbessard@70: */ lbessard@70: void_type_init(); lbessard@70: lbessard@70: return NULL; lbessard@70: } lbessard@70: lbessard@70: lbessard@70: /* VAR [CONSTANT] var_init_decl_list END_VAR */ lbessard@70: /* option -> may be NULL ! */ lbessard@70: /* helper symbol for input_declarations */ lbessard@70: void *visit(var_declarations_c *symbol) { lbessard@70: TRACE("var_declarations_c"); lbessard@70: if ((wanted_vartype & private_vt) != 0) { lbessard@70: /* lbessard@70: // TO DO ... lbessard@70: if (symbol->option != NULL) lbessard@70: symbol->option->accept(*this); lbessard@70: */ lbessard@70: current_vartype = private_vt; lbessard@70: symbol->var_init_decl_list->accept(*this); lbessard@70: current_vartype = none_vt; lbessard@70: } lbessard@70: return NULL; lbessard@70: } lbessard@70: lbessard@70: /* VAR RETAIN var_init_decl_list END_VAR */ lbessard@70: void *visit(retentive_var_declarations_c *symbol) { lbessard@70: TRACE("retentive_var_declarations_c"); lbessard@70: if ((wanted_vartype & private_vt) != 0) { lbessard@70: current_vartype = private_vt; lbessard@70: symbol->var_init_decl_list->accept(*this); lbessard@70: current_vartype = none_vt; lbessard@70: } lbessard@70: return NULL; lbessard@70: } lbessard@70: lbessard@70: /* VAR [CONSTANT|RETAIN|NON_RETAIN] located_var_decl_list END_VAR */ lbessard@70: /* option -> may be NULL ! */ lbessard@70: //SYM_REF2(located_var_declarations_c, option, located_var_decl_list) lbessard@70: void *visit(located_var_declarations_c *symbol) { lbessard@70: TRACE("located_var_declarations_c"); lbessard@70: if ((wanted_vartype & located_vt) != 0) { lbessard@70: /* lbessard@70: // TO DO ... lbessard@70: if (symbol->option != NULL) lbessard@70: symbol->option->accept(*this); lbessard@70: */ lbessard@70: current_vartype = located_vt; lbessard@70: symbol->located_var_decl_list->accept(*this); lbessard@70: current_vartype = none_vt; lbessard@70: } lbessard@70: return NULL; lbessard@70: } lbessard@70: lbessard@70: /* helper symbol for located_var_declarations */ lbessard@70: /* located_var_decl_list located_var_decl ';' */ lbessard@70: //SYM_LIST(located_var_decl_list_c) lbessard@70: void *visit(located_var_decl_list_c *symbol) { lbessard@70: TRACE("located_var_decl_list_c"); lbessard@70: print_list(symbol); lbessard@70: return NULL; lbessard@70: } lbessard@70: lbessard@70: lbessard@70: /* [variable_name] location ':' located_var_spec_init */ lbessard@70: /* variable_name -> may be NULL ! */ lbessard@70: //SYM_REF4(located_var_decl_c, variable_name, location, located_var_spec_init, unused) lbessard@70: void *visit(located_var_decl_c *symbol) { lbessard@70: TRACE("located_var_decl_c"); lbessard@70: /* Please read the comments inside the var1_init_decl_c lbessard@70: * visitor, as they apply here too. lbessard@70: */ lbessard@70: lbessard@70: /* Start off by setting the current_var_type_symbol and lbessard@70: * current_var_init_symbol private variables... lbessard@70: */ lbessard@70: update_type_init(symbol->located_var_spec_init); lbessard@70: lbessard@70: /* now to produce the c equivalent... */ lbessard@70: switch(wanted_varformat) { lbessard@70: case local_vf: lbessard@70: s4o.print(s4o.indent_spaces); lbessard@70: this->current_var_type_symbol->accept(*this); lbessard@70: s4o.print(" *"); lbessard@70: if (symbol->variable_name != NULL) lbessard@70: symbol->variable_name->accept(*this); lbessard@70: else lbessard@70: symbol->location->accept(*this); lbessard@70: s4o.print(";\n"); lbessard@70: break; lbessard@70: lbessard@70: case constructorinit_vf: lbessard@70: s4o.print(nv->get()); lbessard@70: s4o.print("{extern "); lbessard@70: this->current_var_type_symbol->accept(*this); etisserant@122: s4o.print("* "); lbessard@70: symbol->location->accept(*this); lbessard@70: s4o.print("; "); lbessard@70: print_variable_prefix(); lbessard@70: if (symbol->variable_name != NULL) lbessard@70: symbol->variable_name->accept(*this); lbessard@70: else lbessard@70: symbol->location->accept(*this); etisserant@122: s4o.print(" = "); lbessard@70: symbol->location->accept(*this); lbessard@70: s4o.print(";}"); lbessard@70: break; lbessard@70: lbessard@70: case globalinit_vf: lbessard@70: s4o.print(s4o.indent_spaces + "__plc_pt_c<"); lbessard@70: this->current_var_type_symbol->accept(*this); lbessard@70: s4o.print(", 8*sizeof("); lbessard@70: this->current_var_type_symbol->accept(*this); lbessard@70: s4o.print(")> "); lbessard@70: if (this->globalnamespace != NULL) { lbessard@70: this->globalnamespace->accept(*this); lbessard@70: s4o.print("::"); lbessard@70: } lbessard@70: if (symbol->variable_name != NULL) lbessard@70: symbol->variable_name->accept(*this); lbessard@70: else lbessard@70: symbol->location->accept(*this); lbessard@70: lbessard@70: s4o.print(" = "); lbessard@70: lbessard@70: s4o.print(s4o.indent_spaces + "__plc_pt_c<"); lbessard@70: this->current_var_type_symbol->accept(*this); lbessard@70: s4o.print(", 8*sizeof("); lbessard@70: this->current_var_type_symbol->accept(*this); lbessard@70: s4o.print(")>(\""); lbessard@70: symbol->location->accept(*this); lbessard@70: s4o.print("\""); lbessard@70: if (this->current_var_init_symbol != NULL) { lbessard@70: s4o.print(", "); lbessard@70: this->current_var_init_symbol->accept(*this); lbessard@70: } lbessard@70: s4o.print(");\n"); lbessard@70: break; lbessard@70: lbessard@70: default: lbessard@70: ERROR; lbessard@70: } /* switch() */ lbessard@70: lbessard@70: /* Values no longer in scope, and therefore no longer used. lbessard@70: * Make an effort to keep them set to NULL when not in use lbessard@70: * in order to catch bugs as soon as possible... lbessard@70: */ lbessard@70: void_type_init(); lbessard@70: lbessard@70: return NULL; lbessard@70: } lbessard@70: lbessard@70: lbessard@70: lbessard@70: lbessard@70: /*| VAR_EXTERNAL [CONSTANT] external_declaration_list END_VAR */ lbessard@70: /* option -> may be NULL ! */ lbessard@70: //SYM_REF2(external_var_declarations_c, option, external_declaration_list) lbessard@70: void *visit(external_var_declarations_c *symbol) { lbessard@70: TRACE("external_var_declarations_c"); lbessard@70: if ((wanted_vartype & external_vt) != 0) { lbessard@70: /* lbessard@70: // TODO ... lbessard@70: if (symbol->option != NULL) lbessard@70: symbol->option->accept(*this); lbessard@70: */ lbessard@70: //s4o.indent_right(); lbessard@70: current_vartype = external_vt; lbessard@70: symbol->external_declaration_list->accept(*this); lbessard@70: current_vartype = none_vt; lbessard@70: //s4o.indent_left(); lbessard@70: } lbessard@70: return NULL; lbessard@70: } lbessard@70: lbessard@70: /* helper symbol for external_var_declarations */ lbessard@70: /*| external_declaration_list external_declaration';' */ lbessard@70: //SYM_LIST(external_declaration_list_c) lbessard@70: /* helper symbol for input_declarations */ lbessard@70: void *visit(external_declaration_list_c *symbol) { lbessard@70: TRACE("external_declaration_list_c"); lbessard@70: print_list(symbol); lbessard@70: return NULL; lbessard@70: } lbessard@70: lbessard@70: lbessard@70: /* global_var_name ':' (simple_specification|subrange_specification|enumerated_specification|array_specification|prev_declared_structure_type_name|function_block_type_name */ lbessard@70: //SYM_REF2(external_declaration_c, global_var_name, specification) lbessard@70: void *visit(external_declaration_c *symbol) { lbessard@70: TRACE("external_declaration_c"); lbessard@70: /* Please read the comments inside the var1_init_decl_c lbessard@70: * visitor, as they apply here too. lbessard@70: */ lbessard@70: lbessard@70: /* Start off by setting the current_var_type_symbol and lbessard@70: * current_var_init_symbol private variables... lbessard@70: */ lbessard@70: this->current_var_type_symbol = symbol->specification; lbessard@70: this->current_var_init_symbol = NULL; lbessard@70: lbessard@70: /* now to produce the c equivalent... */ lbessard@70: switch (wanted_varformat) { lbessard@70: case local_vf: lbessard@70: case localinit_vf: lbessard@70: s4o.print(s4o.indent_spaces); lbessard@70: this->current_var_type_symbol->accept(*this); lbessard@70: s4o.print(" *"); lbessard@70: symbol->global_var_name->accept(*this); lbessard@70: if ((wanted_varformat == localinit_vf) && lbessard@70: (this->current_var_init_symbol != NULL)) { lbessard@70: s4o.print(" = "); lbessard@70: this->current_var_init_symbol->accept(*this); lbessard@70: } lbessard@70: s4o.print(";\n"); lbessard@70: break; lbessard@70: lbessard@70: case constructorinit_vf: lbessard@70: s4o.print(nv->get()); lbessard@70: s4o.print("{extern "); lbessard@70: this->current_var_type_symbol->accept(*this); lbessard@70: s4o.print(" *"); lbessard@70: symbol->global_var_name->accept(*this); lbessard@70: s4o.print("; "); lbessard@70: print_variable_prefix(); lbessard@70: symbol->global_var_name->accept(*this); lbessard@70: s4o.print(" = "); lbessard@70: symbol->global_var_name->accept(*this); lbessard@70: s4o.print(";}"); lbessard@70: break; lbessard@70: lbessard@70: case finterface_vf: lbessard@70: finterface_var_count++; lbessard@70: s4o.print(nv->get()); lbessard@70: this->current_var_type_symbol->accept(*this); lbessard@70: s4o.print(" *"); lbessard@70: symbol->global_var_name->accept(*this); lbessard@70: break; lbessard@70: lbessard@70: default: lbessard@70: ERROR; lbessard@70: } lbessard@70: lbessard@70: /* Values no longer in scope, and therefore no longer used. lbessard@70: * Make an effort to keep them set to NULL when not in use lbessard@70: * in order to catch bugs as soon as possible... lbessard@70: */ lbessard@70: void_type_init(); lbessard@70: lbessard@70: return NULL; lbessard@70: } lbessard@70: lbessard@70: lbessard@70: lbessard@70: /*| VAR_GLOBAL [CONSTANT|RETAIN] global_var_decl_list END_VAR */ lbessard@70: /* option -> may be NULL ! */ lbessard@70: // SYM_REF2(global_var_declarations_c, option, global_var_decl_list) lbessard@70: void *visit(global_var_declarations_c *symbol) { lbessard@70: TRACE("global_var_declarations_c"); lbessard@70: if ((wanted_vartype & global_vt) != 0) { lbessard@70: /* lbessard@70: // TODO ... lbessard@70: if (symbol->option != NULL) lbessard@70: symbol->option->accept(*this); lbessard@70: */ lbessard@70: //s4o.indent_right(); lbessard@70: unsigned int previous_vartype = current_vartype; lbessard@70: // previous_vartype will be either none_vt, or resource_vt lbessard@70: current_vartype = global_vt; lbessard@70: symbol->global_var_decl_list->accept(*this); lbessard@70: current_vartype = previous_vartype; lbessard@70: //s4o.indent_left(); lbessard@70: } lbessard@70: return NULL; lbessard@70: } lbessard@70: lbessard@70: /* helper symbol for global_var_declarations */ lbessard@70: /*| global_var_decl_list global_var_decl ';' */ lbessard@70: //SYM_LIST(global_var_decl_list_c) lbessard@70: void *visit(global_var_decl_list_c *symbol) { lbessard@70: TRACE("global_var_decl_list_c"); lbessard@70: print_list(symbol); lbessard@70: return NULL; lbessard@70: } lbessard@70: lbessard@70: lbessard@70: lbessard@70: /*| global_var_spec ':' [located_var_spec_init|function_block_type_name] */ lbessard@70: /* type_specification ->may be NULL ! */ lbessard@70: // SYM_REF2(global_var_decl_c, global_var_spec, type_specification) lbessard@70: void *visit(global_var_decl_c *symbol) { lbessard@70: TRACE("global_var_decl_c"); lbessard@70: /* Please read the comments inside the var1_init_decl_c lbessard@70: * visitor, as they apply here too. lbessard@70: */ lbessard@70: lbessard@70: /* Start off by setting the current_var_type_symbol and lbessard@70: * current_var_init_symbol private variables... lbessard@70: */ lbessard@70: update_type_init(symbol->type_specification); lbessard@70: lbessard@70: /* now to produce the c equivalent... */ lbessard@70: symbol->global_var_spec->accept(*this); lbessard@70: lbessard@70: /* Values no longer in scope, and therefore no longer used. lbessard@70: * Make an effort to keep them set to NULL when not in use lbessard@70: * in order to catch bugs as soon as possible... lbessard@70: */ lbessard@70: void_type_init(); lbessard@70: lbessard@70: return NULL; lbessard@70: } lbessard@70: lbessard@70: lbessard@70: /*| global_var_name location */ lbessard@70: // SYM_REF2(global_var_spec_c, global_var_name, location) lbessard@70: void *visit(global_var_spec_c *symbol) { lbessard@70: TRACE("global_var_spec_c"); lbessard@70: lbessard@70: /* now to produce the c equivalent... */ lbessard@70: switch(wanted_varformat) { lbessard@70: case local_vf: lbessard@70: s4o.print(s4o.indent_spaces); lbessard@70: if (symbol->global_var_name != NULL) { lbessard@70: s4o.print("extern "); lbessard@70: this->current_var_type_symbol->accept(*this); etisserant@122: s4o.print("* "); lbessard@70: symbol->location->accept(*this); lbessard@70: s4o.print(";\n"); lbessard@70: this->current_var_type_symbol->accept(*this); lbessard@70: s4o.print(" *"); etisserant@138: if (this->resource_name != NULL) { etisserant@138: this->resource_name->accept(*this); etisserant@138: s4o.print("__"); etisserant@138: } lbessard@70: symbol->global_var_name->accept(*this); lbessard@70: s4o.print(";\n"); etisserant@138: if (this->resource_name != NULL) { etisserant@138: s4o.print("#define "); etisserant@138: symbol->global_var_name->accept(*this); etisserant@138: s4o.print(" "); etisserant@138: this->resource_name->accept(*this); etisserant@138: s4o.print("__"); etisserant@138: symbol->global_var_name->accept(*this); etisserant@138: s4o.print("\n"); etisserant@138: } lbessard@70: } lbessard@70: break; lbessard@70: lbessard@70: case constructorinit_vf: lbessard@70: s4o.print(nv->get()); lbessard@70: lbessard@70: if (symbol->global_var_name != NULL) { etisserant@128: symbol->global_var_name->accept(*this); etisserant@128: s4o.print(" = "); etisserant@128: symbol->location->accept(*this); etisserant@128: s4o.print(";"); etisserant@128: s4o.print(nv->get()); etisserant@128: s4o.print("*"); lbessard@70: symbol->global_var_name->accept(*this); lbessard@70: } lbessard@70: else lbessard@70: symbol->location->accept(*this); lbessard@70: s4o.print(" = "); lbessard@70: if (this->current_var_init_symbol != NULL) { lbessard@70: this->current_var_init_symbol->accept(*this); lbessard@70: } lbessard@70: s4o.print(";"); lbessard@70: break; lbessard@70: lbessard@70: default: lbessard@70: ERROR; lbessard@70: } /* switch() */ lbessard@70: lbessard@70: return NULL; lbessard@70: } lbessard@70: lbessard@70: lbessard@70: lbessard@70: /* AT direct_variable */ lbessard@70: // SYM_REF2(location_c, direct_variable, unused) lbessard@70: void *visit(location_c *symbol) { lbessard@70: TRACE("location_c"); lbessard@70: return symbol->direct_variable->accept(*this); lbessard@70: } lbessard@70: lbessard@70: lbessard@70: /*| global_var_list ',' global_var_name */ lbessard@70: //SYM_LIST(global_var_list_c) lbessard@70: void *visit(global_var_list_c *symbol) { lbessard@70: TRACE("global_var_list_c"); lbessard@70: list_c *list = dynamic_cast(symbol); lbessard@70: /* should NEVER EVER occur!! */ lbessard@70: if (list == NULL) ERROR; lbessard@70: lbessard@70: /* now to produce the c equivalent... */ lbessard@70: switch (wanted_varformat) { lbessard@70: case local_vf: lbessard@70: case localinit_vf: lbessard@70: for(int i = 0; i < list->n; i++) { lbessard@70: s4o.print(s4o.indent_spaces); lbessard@70: this->current_var_type_symbol->accept(*this); etisserant@138: s4o.print(" "); etisserant@138: if(this->resource_name != NULL) etisserant@138: this->resource_name->accept(*this); etisserant@138: s4o.print("__"); lbessard@70: list->elements[i]->accept(*this); lbessard@70: s4o.print(";\n"); etisserant@138: if(this->resource_name != NULL) etisserant@138: s4o.print("static "); lbessard@70: this->current_var_type_symbol->accept(*this); lbessard@70: s4o.print(" *"); lbessard@70: list->elements[i]->accept(*this); etisserant@138: s4o.print(" = &"); etisserant@138: if(this->resource_name != NULL) etisserant@138: this->resource_name->accept(*this); etisserant@138: s4o.print("__"); lbessard@70: list->elements[i]->accept(*this); lbessard@70: #if 0 lbessard@70: if (wanted_varformat == localinit_vf) { lbessard@70: if (this->current_var_init_symbol != NULL) { lbessard@70: s4o.print(" = "); lbessard@70: this->current_var_init_symbol->accept(*this); lbessard@70: } lbessard@70: } lbessard@70: #endif lbessard@70: s4o.print(";\n"); lbessard@70: } lbessard@70: break; lbessard@70: lbessard@70: case constructorinit_vf: lbessard@70: if (this->current_var_init_symbol != NULL) { lbessard@70: for(int i = 0; i < list->n; i++) { lbessard@70: s4o.print(nv->get()); lbessard@70: lbessard@70: s4o.print("*"); lbessard@70: list->elements[i]->accept(*this); lbessard@70: s4o.print(" = "); lbessard@70: this->current_var_init_symbol->accept(*this); lbessard@70: s4o.print(";"); lbessard@70: #if 0 lbessard@70: /* The following code would be for globalinit_vf !! lbessard@70: * But it is not currently required... lbessard@70: */ lbessard@70: s4o.print(s4o.indent_spaces + "__ext_element_c<"); lbessard@70: this->current_var_type_symbol->accept(*this); lbessard@70: s4o.print("> "); lbessard@70: if (this->globalnamespace != NULL) { lbessard@70: this->globalnamespace->accept(*this); lbessard@70: s4o.print("::"); lbessard@70: } lbessard@70: list->elements[i]->accept(*this); lbessard@70: lbessard@70: if (this->current_var_init_symbol != NULL) { lbessard@70: s4o.print(" = "); lbessard@70: s4o.print("__ext_element_c<"); lbessard@70: this->current_var_type_symbol->accept(*this); lbessard@70: s4o.print(">("); lbessard@70: this->current_var_init_symbol->accept(*this); lbessard@70: s4o.print(")"); lbessard@70: } lbessard@70: s4o.print(";\n"); lbessard@70: #endif lbessard@70: } lbessard@70: } lbessard@70: break; lbessard@70: lbessard@70: default: lbessard@70: ERROR; /* not supported, and not needed either... */ lbessard@70: } lbessard@70: lbessard@70: return NULL; lbessard@70: } lbessard@70: lbessard@70: lbessard@70: #if 0 lbessard@70: /* var1_list ':' single_byte_string_spec */ lbessard@70: SYM_REF2(single_byte_string_var_declaration_c, var1_list, single_byte_string_spec) lbessard@70: lbessard@70: /* STRING ['[' integer ']'] [ASSIGN single_byte_character_string] */ lbessard@70: /* integer ->may be NULL ! */ lbessard@70: /* single_byte_character_string ->may be NULL ! */ lbessard@70: SYM_REF2(single_byte_string_spec_c, integer, single_byte_character_string) lbessard@70: lbessard@70: /* var1_list ':' double_byte_string_spec */ lbessard@70: SYM_REF2(double_byte_string_var_declaration_c, var1_list, double_byte_string_spec) lbessard@70: lbessard@70: /* WSTRING ['[' integer ']'] [ASSIGN double_byte_character_string] */ lbessard@70: /* integer ->may be NULL ! */ lbessard@70: /* double_byte_character_string ->may be NULL ! */ lbessard@70: SYM_REF2(double_byte_string_spec_c, integer, double_byte_character_string) lbessard@70: lbessard@70: /*| VAR [RETAIN|NON_RETAIN] incompl_located_var_decl_list END_VAR */ lbessard@70: /* option ->may be NULL ! */ lbessard@70: SYM_REF2(incompl_located_var_declarations_c, option, incompl_located_var_decl_list) lbessard@70: lbessard@70: /* helper symbol for incompl_located_var_declarations */ lbessard@70: /*| incompl_located_var_decl_list incompl_located_var_decl ';' */ lbessard@70: SYM_LIST(incompl_located_var_decl_list_c) lbessard@70: lbessard@70: /* variable_name incompl_location ':' var_spec */ lbessard@70: SYM_REF4(incompl_located_var_decl_c, variable_name, incompl_location, var_spec, unused) lbessard@70: lbessard@70: /* AT incompl_location_token */ lbessard@70: SYM_TOKEN(incompl_location_c) lbessard@70: #endif lbessard@70: lbessard@70: lbessard@70: void *visit(falling_edge_option_c *symbol) { lbessard@70: // TO DO ... lbessard@70: s4o.print("F_EDGE"); lbessard@70: return NULL; lbessard@70: } lbessard@70: lbessard@70: lbessard@70: void *visit(var1_init_decl_c *symbol) { lbessard@70: TRACE("var1_init_decl_c"); lbessard@70: /* We have several implementation alternatives here... lbessard@70: * lbessard@70: * The issue is that generation of c code lbessard@70: * based on the abstract syntax tree requires the reversal lbessard@70: * of the symbol order compared to st. For e.g.: lbessard@70: * (ST) a, b, c: INT := 98; lbessard@70: * (C ) int a=98, b=98, c=98; lbessard@70: * The spec_init contains the references to 'INT' and '98'. lbessard@70: * The var1_list contains the references to 'a', 'b', and 'c'. lbessard@70: * The var1_init_decl_c contains the references to spec_init and var1_list. lbessard@70: * lbessard@70: * For c code generation, the var1_init_decl_c visitor lbessard@70: * would need to access the internals of other classes lbessard@70: * (e.g. the simple_spec_init_c). lbessard@70: * lbessard@70: * We can do this using one of three methods: lbessard@70: * 1) Create the abstract syntax tree differently; lbessard@70: * 2) Access other classes from within the var1_init_decl_c; lbessard@70: * 3) Pass info between the visitors using global variables lbessard@70: * only acessible by this class (private vars) lbessard@70: * lbessard@70: * In 1), the abstract syntax tree would be built so that lbessard@70: * var1_init_decl_c would contain direct references to lbessard@70: * var1_list_c, to the var type 'INT' and to the initialiser '98' lbessard@70: * (as per the example above). lbessard@70: * lbessard@70: * 2) would have several sub-options to obtain the references lbessard@70: * to 'INT' and '98' from within var1_init_decl_c. lbessard@70: * In 2a), the var1_init_decl_c would use dynamic casts to determine lbessard@70: * the class of spec_init (simple_spec_init_c, subrange_spec_init_c or lbessard@70: * enumerated_spec_init_c), and from there obtain the 'INT' and '98' lbessard@70: * In 2b) var1_init_decl_c would have one reference for each lbessard@70: * simple_spec_init_c, subrange_spec_init_c and enumerated_spec_init_c, lbessard@70: * the apropriate one being initialised by the var1_init_decl_c constructor. lbessard@70: * Note that the constructor would use dynamic casts. In essence, we lbessard@70: * would merely be changing the location of the code with the lbessard@70: * dynamic casts. lbessard@70: * In 2c) we would use three overloaded constructors for var1_init_decl_c lbessard@70: * one each for simple_spec_init_c, etc... This implies lbessard@70: * use type specific pointers to each symbol in the bison lbessard@70: * parser, instead of simply using a symbol_c * for all symbols; lbessard@70: * lbessard@70: * In 3), we use two global but private variables with references to lbessard@70: * 'INT' and '98', that would be initiliased by the visitors to lbessard@70: * simple_spec_init_c, subrange_spec_init_c and enumerated_spec_init_c. lbessard@70: * The visitor to var1_list_c would then use the references in the global lbessard@70: * variables. lbessard@70: * lbessard@70: * I (Mario) have chosen to use 3). lbessard@70: */ lbessard@70: lbessard@70: /* Start off by setting the current_var_type_symbol and lbessard@70: * current_var_init_symbol private variables... lbessard@70: */ lbessard@70: update_type_init(symbol->spec_init); lbessard@70: lbessard@70: /* now to produce the c equivalent... */ lbessard@70: symbol->var1_list->accept(*this); lbessard@70: lbessard@70: /* Values no longer in scope, and therefore no longer used. lbessard@70: * Make an effort to keep them set to NULL when not in use lbessard@70: * in order to catch bugs as soon as possible... lbessard@70: */ lbessard@70: void_type_init(); lbessard@70: lbessard@70: return NULL; lbessard@70: } lbessard@70: lbessard@70: lbessard@70: lbessard@70: void *visit(var1_list_c *symbol) { lbessard@70: TRACE("var1_list_c"); lbessard@70: declare_variables(symbol); lbessard@70: return NULL; lbessard@70: } lbessard@70: lbessard@70: lbessard@70: lbessard@70: lbessard@70: /* intermediate helper symbol for: lbessard@70: * - non_retentive_var_decls lbessard@70: * - output_declarations lbessard@70: */ lbessard@70: void *visit(var_init_decl_list_c *symbol) { lbessard@70: TRACE("var_init_decl_list_c"); lbessard@70: return print_list(symbol); lbessard@70: return NULL; lbessard@70: } lbessard@70: lbessard@70: lbessard@70: /**************************************/ lbessard@70: /* B.1.5 - Program organization units */ lbessard@70: /**************************************/ lbessard@70: /***********************/ lbessard@70: /* B 1.5.1 - Functions */ lbessard@70: /***********************/ lbessard@70: /* The missing function_declaration_c lbessard@70: * is handled in derived classes lbessard@70: */ lbessard@70: lbessard@70: lbessard@70: lbessard@70: /* intermediate helper symbol for function_declaration */ lbessard@70: void *visit(var_declarations_list_c *symbol) { lbessard@70: TRACE("var_declarations_list_c"); lbessard@70: return print_list(symbol); lbessard@70: } lbessard@70: lbessard@70: lbessard@70: void *visit(function_var_decls_c *symbol) { lbessard@70: TRACE("function_var_decls_c"); lbessard@70: lbessard@70: if ((wanted_vartype & private_vt) != 0) { lbessard@70: /* lbessard@70: // TO DO ... lbessard@70: if (symbol->option != NULL) lbessard@70: symbol->option->accept(*this); lbessard@70: */ lbessard@70: current_vartype = private_vt; lbessard@70: symbol->decl_list->accept(*this); lbessard@70: current_vartype = none_vt; lbessard@70: } lbessard@70: return NULL; lbessard@70: } lbessard@70: lbessard@70: lbessard@70: /* intermediate helper symbol for function_var_decls */ lbessard@70: void *visit(var2_init_decl_list_c *symbol) { lbessard@70: TRACE("var2_init_decl_list_c"); lbessard@70: print_list(symbol); lbessard@70: return NULL; lbessard@70: } lbessard@70: lbessard@70: lbessard@70: /*****************************/ lbessard@70: /* B 1.5.2 - Function Blocks */ lbessard@70: /*****************************/ lbessard@70: lbessard@70: /* The missing function_block_declaration_c lbessard@70: * is handled in derived classes lbessard@70: */ lbessard@70: lbessard@70: lbessard@70: /* VAR_TEMP temp_var_decl_list END_VAR */ lbessard@70: void *visit(temp_var_decls_c *symbol) { lbessard@70: TRACE("temp_var_decls_c"); lbessard@70: if ((wanted_vartype & temp_vt) != 0) { lbessard@70: current_vartype = temp_vt; lbessard@70: symbol->var_decl_list->accept(*this); lbessard@70: current_vartype = none_vt; lbessard@70: } lbessard@70: return NULL; lbessard@70: } lbessard@70: lbessard@70: /* intermediate helper symbol for temp_var_decls */ lbessard@70: void *visit(temp_var_decls_list_c *symbol) { lbessard@70: TRACE("temp_var_decls_list_c"); lbessard@70: return print_list(symbol); lbessard@70: } lbessard@70: lbessard@70: /* VAR NON_RETAIN var_init_decl_list END_VAR */ lbessard@70: void *visit(non_retentive_var_decls_c *symbol) { lbessard@70: TRACE("non_retentive_var_decls_c"); lbessard@70: // TODO ... guarantee the non-retain semantics! lbessard@70: if ((wanted_vartype & private_vt) != 0) { lbessard@70: current_vartype = private_vt; lbessard@70: symbol->var_decl_list->accept(*this); lbessard@70: current_vartype = none_vt; lbessard@70: } lbessard@70: return NULL; lbessard@70: } lbessard@70: lbessard@70: lbessard@70: lbessard@70: /**********************/ lbessard@70: /* B 1.5.3 - Programs */ lbessard@70: /**********************/ lbessard@70: /* leave for derived classes... */ lbessard@70: lbessard@70: /*********************************************/ lbessard@70: /* B.1.6 Sequential function chart elements */ lbessard@70: /*********************************************/ lbessard@70: lbessard@70: /********************************/ lbessard@70: /* B 1.7 Configuration elements */ lbessard@70: /********************************/ lbessard@70: /* Programs instantiated inside configurations are declared as variables!! */ lbessard@70: lbessard@70: /* lbessard@70: CONFIGURATION configuration_name lbessard@70: optional_global_var_declarations lbessard@70: (resource_declaration_list | single_resource_declaration) lbessard@70: optional_access_declarations lbessard@70: optional_instance_specific_initializations lbessard@70: END_CONFIGURATION lbessard@70: */ lbessard@70: /* lbessard@70: SYM_REF6(configuration_declaration_c, configuration_name, global_var_declarations, resource_declarations, access_declarations, instance_specific_initializations, unused) lbessard@70: */ lbessard@70: void *visit(configuration_declaration_c *symbol) { lbessard@70: TRACE("configuration_declaration_c"); lbessard@70: lbessard@70: if(symbol->global_var_declarations) lbessard@70: symbol->global_var_declarations->accept(*this); // will contain VAR_GLOBAL declarations!! lbessard@70: symbol->resource_declarations->accept(*this); // will contain PROGRAM declarations!! lbessard@70: return NULL; lbessard@70: } lbessard@70: lbessard@70: lbessard@70: /* helper symbol for configuration_declaration */ lbessard@70: // SYM_LIST(resource_declaration_list_c) lbessard@70: void *visit(resource_declaration_list_c *symbol) { lbessard@70: TRACE("resource_declaration_list_c"); lbessard@70: lbessard@70: return print_list(symbol); lbessard@70: } lbessard@70: lbessard@70: /* lbessard@70: RESOURCE resource_name ON resource_type_name lbessard@70: optional_global_var_declarations lbessard@70: single_resource_declaration lbessard@70: END_RESOURCE lbessard@70: */ lbessard@70: // SYM_REF4(resource_declaration_c, resource_name, resource_type_name, global_var_declarations, resource_declaration) lbessard@70: void *visit(resource_declaration_c *symbol) { lbessard@70: TRACE("resource_declaration_c"); etisserant@138: //// Not used anymore. Even resource list are processed as single resource etisserant@138: // if ((wanted_vartype & resource_vt) != 0) { etisserant@138: // s4o.print(s4o.indent_spaces + "struct {\n"); etisserant@138: // s4o.indent_right(); etisserant@138: // etisserant@138: // current_vartype = resource_vt; etisserant@138: // if (NULL != symbol->global_var_declarations) etisserant@138: // symbol->global_var_declarations->accept(*this); // will contain VAR_GLOBAL declarations!! etisserant@138: // if (NULL != symbol->resource_declaration) etisserant@138: // symbol->resource_declaration->accept(*this); // will contain PROGRAM declarations!! etisserant@138: // current_vartype = none_vt; etisserant@138: // etisserant@138: // s4o.indent_left(); etisserant@138: // s4o.print(s4o.indent_spaces + "} "); etisserant@138: // symbol->resource_name->accept(*this); etisserant@138: // s4o.print(";\n"); etisserant@138: // } lbessard@70: return NULL; lbessard@70: } lbessard@70: lbessard@70: /* task_configuration_list program_configuration_list */ lbessard@70: // SYM_REF2(single_resource_declaration_c, task_configuration_list, program_configuration_list) lbessard@70: void *visit(single_resource_declaration_c *symbol) { lbessard@70: TRACE("single_resource_declaration_c"); lbessard@70: lbessard@70: if ((wanted_vartype & program_vt) != 0) { lbessard@70: unsigned int previous_vartype = current_vartype; lbessard@70: // previous_vartype will be resource_vt lbessard@70: current_vartype = program_vt; lbessard@70: symbol->program_configuration_list->accept(*this); lbessard@70: current_vartype = previous_vartype; lbessard@70: } lbessard@70: return NULL; lbessard@70: } lbessard@70: lbessard@70: lbessard@70: /* helper symbol for single_resource_declaration */ lbessard@70: // SYM_LIST(task_configuration_list_c) lbessard@70: lbessard@70: lbessard@70: /* helper symbol for single_resource_declaration */ lbessard@70: /* | program_configuration_list program_configuration ';' */ lbessard@70: // SYM_LIST(program_configuration_list_c) lbessard@70: void *visit(program_configuration_list_c *symbol) { lbessard@70: TRACE("program_configuration_list_c"); lbessard@70: lbessard@70: return print_list(symbol); lbessard@70: } lbessard@70: lbessard@70: /* helper symbol for lbessard@70: * - access_path lbessard@70: * - instance_specific_init lbessard@70: */ lbessard@70: // SYM_LIST(any_fb_name_list_c) lbessard@70: lbessard@70: /* [resource_name '.'] global_var_name ['.' structure_element_name] */ lbessard@70: // SYM_REF4(global_var_reference_c, resource_name, global_var_name, structure_element_name, unused) lbessard@70: lbessard@70: /* prev_declared_program_name '.' symbolic_variable */ lbessard@70: // SYM_REF2(program_output_reference_c, program_name, symbolic_variable) lbessard@70: lbessard@70: /* TASK task_name task_initialization */ lbessard@70: // SYM_REF2(task_configuration_c, task_name, task_initialization) lbessard@70: lbessard@70: /* '(' [SINGLE ASSIGN data_source ','] [INTERVAL ASSIGN data_source ','] PRIORITY ASSIGN integer ')' */ lbessard@70: // SYM_REF4(task_initialization_c, single_data_source, interval_data_source, priority_data_source, unused) lbessard@70: lbessard@70: /* PROGRAM [RETAIN | NON_RETAIN] program_name [WITH task_name] ':' program_type_name ['(' prog_conf_elements ')'] */ lbessard@70: // SYM_REF6(program_configuration_c, retain_option, program_name, task_name, program_type_name, prog_conf_elements, unused) lbessard@70: private: lbessard@70: /* a helper function to the program_configuration_c visitor... */ lbessard@70: void program_constructor_call(program_configuration_c *symbol) { lbessard@70: program_declaration_c *p_decl = program_type_symtable.find_value(symbol->program_type_name); lbessard@70: lbessard@70: if (p_decl == program_type_symtable.end_value()) lbessard@70: /* should never occur. The program being called MUST be in the symtable... */ lbessard@70: ERROR; lbessard@70: lbessard@70: symbol->program_name->accept(*this); lbessard@70: s4o.print("("); lbessard@70: lbessard@70: /* loop through each function parameter, find the value we should pass lbessard@70: * to it, and then output the c equivalent... lbessard@70: */ lbessard@70: function_param_iterator_c fp_iterator(p_decl); lbessard@70: function_call_param_iterator_c function_call_param_iterator(symbol); lbessard@70: identifier_c *param_name; lbessard@70: nv->push("", ", "); lbessard@70: for(int i = 1; (param_name = fp_iterator.next()) != NULL; i++) { lbessard@70: lbessard@70: symbol_c *param_type = fp_iterator.param_type(); lbessard@70: if (param_type == NULL) ERROR; lbessard@70: lbessard@70: function_param_iterator_c::param_direction_t param_direction = fp_iterator.param_direction(); lbessard@70: lbessard@70: #if 0 lbessard@70: /* Get the value from a foo( = ) style call */ lbessard@70: symbol_c *param_value = function_call_param_iterator.search(param_name); lbessard@70: #endif lbessard@70: lbessard@70: switch (param_direction) { lbessard@70: case function_param_iterator_c::direction_in: lbessard@70: case function_param_iterator_c::direction_out: lbessard@70: case function_param_iterator_c::direction_inout: lbessard@70: /* ignore them all!! */ lbessard@70: break; lbessard@70: lbessard@70: case function_param_iterator_c::direction_extref: lbessard@70: #if 0 lbessard@70: if (param_value == NULL) lbessard@70: /* This is illegal in ST and IL languages. lbessard@70: * All variables declared in a VAR_EXTERNAL __must__ lbessard@70: * be initialised to reference a specific VAR_GLOBAL variable!! lbessard@70: * lbessard@70: * The semantic checker should have caught this, we check again just the lbessard@70: * same (especially since the semantic checker has not yet been written!). lbessard@70: */ lbessard@70: ERROR; lbessard@70: s4o.print(nv->get()); lbessard@70: s4o.print("&"); lbessard@70: param_value->accept(*this); lbessard@70: #endif lbessard@70: break; lbessard@70: #if 0 lbessard@70: if (param_value == NULL) { lbessard@70: /* no parameter value given, so we pass a previously declared temporary variable. */ lbessard@70: std::string *temp_var_name = temp_var_name_factory.new_name(); lbessard@70: s4o.print(*temp_var_name); lbessard@70: delete temp_var_name; lbessard@70: } else { lbessard@70: param_value->accept(*this); lbessard@70: } lbessard@70: #endif lbessard@70: break; lbessard@70: } /* switch */ lbessard@70: } /* for(...) */ lbessard@70: lbessard@70: // symbol->parameter_assignment->accept(*this); lbessard@70: s4o.print(")"); lbessard@70: nv->pop(); lbessard@70: return; lbessard@70: } lbessard@70: lbessard@70: lbessard@70: public: lbessard@70: void *visit(program_configuration_c *symbol) { lbessard@70: TRACE("program_configuration_c"); lbessard@70: lbessard@70: /* now to produce the c equivalent... */ lbessard@70: switch (wanted_varformat) { lbessard@70: case local_vf: lbessard@70: case localinit_vf: lbessard@70: s4o.print(s4o.indent_spaces); lbessard@70: symbol->program_type_name->accept(*this); lbessard@70: s4o.print(" "); lbessard@70: symbol->program_name->accept(*this); lbessard@70: if (wanted_varformat == localinit_vf) { lbessard@70: // TODO... lbessard@70: // program_call(symbol); lbessard@70: } lbessard@70: s4o.print(";\n"); lbessard@70: break; lbessard@70: lbessard@70: case constructorinit_vf: lbessard@70: s4o.print(nv->get()); lbessard@70: program_constructor_call(symbol); lbessard@70: /* lbessard@70: symbol->program_name->accept(*this); lbessard@70: s4o.print("("); lbessard@70: symbol->prog_conf_elements->accept(*this); lbessard@70: nv->pop(); lbessard@70: s4o.print(")"); lbessard@70: */ lbessard@70: break; lbessard@70: lbessard@70: default: lbessard@70: ERROR; /* not supported, and not needed either... */ lbessard@70: } lbessard@70: lbessard@70: return NULL; lbessard@70: } lbessard@70: lbessard@70: lbessard@70: lbessard@70: /* prog_conf_elements ',' prog_conf_element */ lbessard@70: //SYM_LIST(prog_conf_elements_c) lbessard@70: void *visit(prog_conf_elements_c *symbol) { lbessard@70: TRACE("prog_conf_elements_c"); lbessard@70: lbessard@70: return print_list(symbol); lbessard@70: } lbessard@70: lbessard@70: /* fb_name WITH task_name */ lbessard@70: //SYM_REF2(fb_task_c, fb_name, task_name) lbessard@70: void *visit(fb_task_c *symbol) { lbessard@70: TRACE("fb_task_c"); lbessard@70: lbessard@70: /* TODO... lbessard@70: * lbessard@70: * NOTE: Not yet supported... lbessard@70: * We do not support allocating specific function blocks declared lbessard@70: * inside a program to be executed by a different task from the one lbessard@70: * already executing the program itself. lbessard@70: * This is mostly because I (Mario) simply do not understand the lbessard@70: * semantics the standard expects us to implement in this case. It is all lbessard@70: * very confusing, and very poorly defined in the standard! lbessard@70: */ lbessard@70: ERROR; lbessard@70: return NULL; lbessard@70: } lbessard@70: lbessard@70: lbessard@70: lbessard@70: lbessard@70: lbessard@70: lbessard@70: lbessard@70: lbessard@70: lbessard@70: lbessard@70: lbessard@70: lbessard@70: lbessard@70: lbessard@70: lbessard@70: lbessard@70: lbessard@70: lbessard@70: lbessard@70: lbessard@70: lbessard@70: lbessard@70: lbessard@70: lbessard@70: lbessard@70: lbessard@70: lbessard@70: /* any_symbolic_variable ASSIGN prog_data_source */ lbessard@70: // SYM_REF2(prog_cnxn_assign_c, symbolic_variable, prog_data_source) lbessard@70: void *visit(prog_cnxn_assign_c *symbol) { lbessard@70: TRACE("prog_cnxn_assign_c"); lbessard@70: lbessard@70: /* TODO... */ lbessard@70: return NULL; lbessard@70: } lbessard@70: lbessard@70: /* any_symbolic_variable SENDTO data_sink */ lbessard@70: // SYM_REF2(prog_cnxn_sendto_c, symbolic_variable, prog_data_source) lbessard@70: void *visit(prog_cnxn_sendto_c *symbol) { lbessard@70: TRACE("prog_cnxn_sendto_c"); lbessard@70: lbessard@70: /* TODO... */ lbessard@70: return NULL; lbessard@70: } lbessard@70: lbessard@70: #if 0 lbessard@70: /* VAR_CONFIG instance_specific_init_list END_VAR_BOGUS */ lbessard@70: SYM_REF2(instance_specific_initializations_c, instance_specific_init_list, unused) lbessard@70: lbessard@70: /* helper symbol for instance_specific_initializations */ lbessard@70: SYM_LIST(instance_specific_init_list_c) lbessard@70: lbessard@70: /* resource_name '.' program_name '.' {fb_name '.'} lbessard@70: ((variable_name [location] ':' located_var_spec_init) | (fb_name ':' fb_initialization)) lbessard@70: */ lbessard@70: SYM_REF6(instance_specific_init_c, resource_name, program_name, any_fb_name_list, variable_name, location, initialization) lbessard@70: lbessard@70: /* helper symbol for instance_specific_init */ lbessard@70: /* function_block_type_name ':=' structure_initialization */ lbessard@70: SYM_REF2(fb_initialization_c, function_block_type_name, structure_initialization) lbessard@70: lbessard@70: #endif lbessard@70: lbessard@70: lbessard@70: lbessard@70: lbessard@70: /****************************************/ lbessard@70: /* B.2 - Language IL (Instruction List) */ lbessard@70: /****************************************/ lbessard@70: /***********************************/ lbessard@70: /* B 2.1 Instructions and Operands */ lbessard@70: /***********************************/ lbessard@70: /* leave for derived classes... */ lbessard@70: lbessard@70: /*******************/ lbessard@70: /* B 2.2 Operators */ lbessard@70: /*******************/ lbessard@70: /* leave for derived classes... */ lbessard@70: lbessard@70: lbessard@70: /***************************************/ lbessard@70: /* B.3 - Language ST (Structured Text) */ lbessard@70: /***************************************/ lbessard@70: /***********************/ lbessard@70: /* B 3.1 - Expressions */ lbessard@70: /***********************/ lbessard@70: /* leave for derived classes... */ lbessard@70: lbessard@70: /********************/ lbessard@70: /* B 3.2 Statements */ lbessard@70: /********************/ lbessard@70: /* leave for derived classes... */ lbessard@70: lbessard@70: /*********************************/ lbessard@70: /* B 3.2.1 Assignment Statements */ lbessard@70: /*********************************/ lbessard@70: /* leave for derived classes... */ lbessard@70: lbessard@70: /*****************************************/ lbessard@70: /* B 3.2.2 Subprogram Control Statements */ lbessard@70: /*****************************************/ lbessard@70: /* leave for derived classes... */ lbessard@70: lbessard@70: /********************************/ lbessard@70: /* B 3.2.3 Selection Statements */ lbessard@70: /********************************/ lbessard@70: /* leave for derived classes... */ lbessard@70: lbessard@70: /********************************/ lbessard@70: /* B 3.2.4 Iteration Statements */ lbessard@70: /********************************/ lbessard@70: /* leave for derived classes... */ lbessard@70: lbessard@70: lbessard@70: lbessard@70: }; /* generate_c_vardecl_c */ lbessard@70: lbessard@70: lbessard@70: