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