stage4/generate_c/generate_c_inlinefcall.cc
author laurent
Mon, 30 Nov 2009 15:36:12 +0100
changeset 219 9bb38736f126
child 221 c6aed7e5f070
permissions -rwxr-xr-x
Adding support for declare, init, get and set macros
219
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
     1
/*
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
     2
 * (c) 2007 Mario de Sousa and Laurent Bessard
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
     3
 *
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
     4
 * Offered to the public under the terms of the GNU General Public License
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
     5
 * as published by the Free Software Foundation; either version 2 of the
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
     6
 * License, or (at your option) any later version.
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
     7
 *
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
     8
 * This program is distributed in the hope that it will be useful, but
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
     9
 * WITHOUT ANY WARRANTY; without even the implied warranty of
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    10
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    11
 * Public License for more details.
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    12
 *
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    13
 * This code is made available on the understanding that it will not be
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    14
 * used in safety-critical situations without a full and competent review.
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    15
 */
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    16
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    17
/*
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    18
 * An IEC 61131-3 IL and ST compiler.
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    19
 *
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    20
 * Based on the
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    21
 * FINAL DRAFT - IEC 61131-3, 2nd Ed. (2001-12-10)
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    22
 *
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    23
 */
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    24
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    25
/*
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    26
 * This is one of the versions available for the 4th stage.
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    27
 *
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    28
 * This 4th stage generates a c++ source program equivalent
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    29
 * to the IL and ST code.
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    30
 */
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    31
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    32
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    33
#define INLINE_RESULT_TEMP_VAR "__res"
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    34
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    35
class generate_c_inline_c: public generate_c_typedecl_c {
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    36
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    37
  private:
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    38
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    39
    /* The name of the IL default variable... */
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    40
	#define IL_DEFVAR   VAR_LEADER "IL_DEFVAR"
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    41
	/* The name of the variable used to pass the result of a
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    42
	 * parenthesised instruction list to the immediately preceding
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    43
	 * scope ...
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    44
	 */
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    45
	il_default_variable_c default_variable_name;
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    46
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    47
	int fcall_number;
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    48
	symbol_c *fbname;
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    49
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    50
    search_expression_type_c *search_expression_type;
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    51
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    52
    search_varfb_instance_type_c *search_varfb_instance_type;
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    53
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    54
    search_base_type_c search_base_type;
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    55
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    56
  public:
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    57
    generate_c_inline_c(stage4out_c *s4o_ptr, symbol_c *name, symbol_c *scope, const char *variable_prefix = NULL)
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    58
    : generate_c_typedecl_c(s4o_ptr),
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    59
      default_variable_name(IL_DEFVAR, NULL)
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    60
    {
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    61
      search_expression_type = new search_expression_type_c(scope);
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    62
      search_varfb_instance_type = new search_varfb_instance_type_c(scope);
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    63
      this->set_variable_prefix(variable_prefix);
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    64
      fcall_number = 0;
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    65
      fbname = name;
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    66
    }
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    67
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    68
    virtual ~generate_c_inline_c(void) {
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    69
      delete search_varfb_instance_type;
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    70
    }
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    71
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    72
    void *generate_inline(symbol_c *function_name,
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    73
    		symbol_c *return_data_type,
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    74
    		std::list<FUNCTION_PARAM*> param_list) {
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    75
      std::list<FUNCTION_PARAM*>::iterator pt;
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    76
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    77
      fcall_number++;
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    78
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    79
      s4o.print(s4o.indent_spaces);
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    80
      s4o.print("inline ");
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    81
      return_data_type->accept(*this);
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    82
      s4o.print(" __");
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    83
      fbname->accept(*this);
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    84
      s4o.print("_");
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    85
      function_name->accept(*this);
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    86
      s4o.print_integer(fcall_number);
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    87
      s4o.print("(");
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    88
      s4o.indent_right();
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    89
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    90
      PARAM_LIST_ITERATOR() {
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    91
        if (PARAM_DIRECTION == function_param_iterator_c::direction_in) {
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    92
          PARAM_TYPE->accept(*this);
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    93
          s4o.print(" ");
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    94
          PARAM_NAME->accept(*this);
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    95
          s4o.print(",\n" + s4o.indent_spaces);
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    96
        }
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    97
      }
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    98
      fbname->accept(*this);
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
    99
	  s4o.print(" *");
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   100
	  s4o.print(FB_FUNCTION_PARAM);
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   101
	  s4o.indent_left();
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   102
	  s4o.print(")\n" + s4o.indent_spaces);
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   103
	  s4o.print("{\n");
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   104
      s4o.indent_right();
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   105
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   106
      s4o.print(s4o.indent_spaces);
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   107
      return_data_type->accept(*this);
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   108
      s4o.print(" "),
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   109
      s4o.print(INLINE_RESULT_TEMP_VAR);
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   110
      s4o.print(";\n");
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   111
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   112
	  PARAM_LIST_ITERATOR() {
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   113
		if ((PARAM_DIRECTION == function_param_iterator_c::direction_out ||
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   114
		     PARAM_DIRECTION == function_param_iterator_c::direction_inout) &&
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   115
		    PARAM_VALUE != NULL) {
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   116
		  s4o.print(s4o.indent_spaces);
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   117
		  PARAM_TYPE->accept(*this);
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   118
          s4o.print(" ");
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   119
          s4o.print(TEMP_VAR);
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   120
          PARAM_NAME->accept(*this);
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   121
          s4o.print(" = ");
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   122
          print_check_function(PARAM_TYPE, PARAM_VALUE);
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   123
          s4o.print(";\n");
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   124
		}
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   125
	  }
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   126
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   127
	  s4o.print(s4o.indent_spaces + INLINE_RESULT_TEMP_VAR),
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   128
			  s4o.print(" = ");
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   129
	  function_name->accept(*this);
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   130
	  s4o.print("(");
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   131
	  s4o.indent_right();
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   132
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   133
	  PARAM_LIST_ITERATOR() {
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   134
		if (pt != param_list.begin())
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   135
		  s4o.print(",\n" + s4o.indent_spaces);
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   136
		if (PARAM_DIRECTION == function_param_iterator_c::direction_in)
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   137
		  PARAM_NAME->accept(*this);
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   138
		else if (PARAM_VALUE != NULL){
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   139
          s4o.print("&");
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   140
          s4o.print(TEMP_VAR);
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   141
          PARAM_NAME->accept(*this);
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   142
        }
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   143
		else {
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   144
		  s4o.print("NULL");
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   145
		}
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   146
	  }
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   147
	  s4o.print(");\n");
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   148
	  s4o.indent_left();
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   149
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   150
	  PARAM_LIST_ITERATOR() {
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   151
        if ((PARAM_DIRECTION == function_param_iterator_c::direction_out ||
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   152
        	 PARAM_DIRECTION == function_param_iterator_c::direction_inout) &&
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   153
        	PARAM_VALUE != NULL) {
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   154
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   155
          s4o.print(s4o.indent_spaces);
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   156
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   157
          unsigned int vartype = search_varfb_instance_type->get_vartype(PARAM_VALUE);
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   158
          if (vartype == search_var_instance_decl_c::external_vt)
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   159
            s4o.print(SET_EXTERNAL);
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   160
          else if (vartype == search_var_instance_decl_c::located_vt)
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   161
            s4o.print(SET_LOCATED);
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   162
          else
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   163
            s4o.print(SET_VAR);
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   164
          s4o.print("(");
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   165
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   166
          PARAM_VALUE->accept(*this);
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   167
          s4o.print(", ");
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   168
          print_check_function(PARAM_TYPE, PARAM_NAME, NULL, true);
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   169
          s4o.print(");\n");
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   170
		}
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   171
	  }
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   172
	  s4o.print(s4o.indent_spaces + "return ");
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   173
	  s4o.print(INLINE_RESULT_TEMP_VAR);
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   174
	  s4o.print(";\n");
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   175
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   176
      s4o.indent_left();
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   177
      s4o.print(s4o.indent_spaces + "}\n\n");
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   178
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   179
      return NULL;
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   180
    }
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   181
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   182
  private:
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   183
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   184
    /*********************/
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   185
    /* B 1.4 - Variables */
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   186
    /*********************/
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   187
    void *visit(symbolic_variable_c *symbol) {
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   188
      unsigned int vartype = search_varfb_instance_type->get_vartype(symbol);
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   189
      if (vartype == search_var_instance_decl_c::external_vt) {
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   190
        s4o.print(GET_EXTERNAL);
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   191
        s4o.print("(");
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   192
        symbol->var_name->accept(*this);
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   193
      }
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   194
      else {
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   195
        if (vartype == search_var_instance_decl_c::located_vt)
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   196
          s4o.print(GET_LOCATED);
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   197
        else
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   198
          s4o.print(GET_VAR);
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   199
        s4o.print("(");
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   200
        generate_c_base_c::visit(symbol);
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   201
      }
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   202
      s4o.print(")");
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   203
      return NULL;
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   204
    }
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   205
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   206
    /********************************************/
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   207
    /* B.1.4.1   Directly Represented Variables */
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   208
    /********************************************/
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   209
    // direct_variable: direct_variable_token   {$$ = new direct_variable_c($1);};
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   210
    void *visit(direct_variable_c *symbol) {
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   211
      TRACE("direct_variable_c");
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   212
      /* Do not use print_token() as it will change everything into uppercase */
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   213
      if (strlen(symbol->value) == 0) ERROR;
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   214
      s4o.print(GET_LOCATED);
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   215
      s4o.print("(");
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   216
      this->print_variable_prefix();
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   217
      s4o.printlocation(symbol->value + 1);
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   218
      s4o.print(")");
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   219
      return NULL;
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   220
    }
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   221
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   222
    /****************************************/
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   223
    /* B.2 - Language IL (Instruction List) */
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   224
    /****************************************/
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   225
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   226
    /***********************************/
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   227
    /* B 2.1 Instructions and Operands */
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   228
    /***********************************/
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   229
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   230
    void *visit(il_function_call_c *symbol) {
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   231
	  function_declaration_c *f_decl = function_symtable.find_value(symbol->function_name);
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   232
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   233
	  if (f_decl != function_symtable.end_value()) {
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   234
		DECLARE_PARAM_LIST()
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   235
		bool has_output_params = false;
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   236
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   237
		/* determine the base data type returned by the function being called... */
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   238
		search_base_type_c search_base_type;
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   239
		symbol_c *return_data_type = (symbol_c *)f_decl->type_name->accept(search_base_type);
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   240
		if (NULL == return_data_type) ERROR;
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   241
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   242
		/* loop through each function parameter, find the value we should pass
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   243
		 * to it, and then output the c equivalent...
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   244
		 */
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   245
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   246
		function_param_iterator_c fp_iterator(f_decl);
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   247
		identifier_c *param_name;
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   248
		function_call_param_iterator_c function_call_param_iterator(symbol);
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   249
		for(int i = 1; (param_name = fp_iterator.next()) != NULL; i++) {
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   250
		  symbol_c *param_type = fp_iterator.param_type();
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   251
		  if (param_type == NULL) ERROR;
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   252
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   253
		  function_param_iterator_c::param_direction_t param_direction = fp_iterator.param_direction();
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   254
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   255
		  symbol_c *param_value = NULL;
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   256
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   257
		  /* if it is the first parameter, semantics specifies that we should
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   258
		   * get the value off the IL default variable!
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   259
		   */
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   260
		 if (1 == i)
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   261
		   param_value = &this->default_variable_name;
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   262
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   263
		  /* Get the value from a foo(<param_name> = <param_value>) style call */
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   264
		  /* NOTE: the following line of code is not required in this case, but it doesn't
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   265
		   * harm to leave it in, as in the case of a non-formal syntax function call,
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   266
		   * it will always return NULL.
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   267
		   * We leave it in in case we later decide to merge this part of the code together
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   268
		   * with the function calling code in generate_c_st_c, which does require
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   269
		   * the following line...
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   270
		   */
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   271
		  if (param_value == NULL)
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   272
			param_value = function_call_param_iterator.search_f(param_name);
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   273
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   274
		  /* Get the value from a foo(<param_value>) style call */
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   275
		  if (param_value == NULL)
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   276
			param_value = function_call_param_iterator.next_nf();
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   277
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   278
		  if (param_value == NULL && param_direction == function_param_iterator_c::direction_in) {
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   279
			/* No value given for parameter, so we must use the default... */
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   280
			/* First check whether default value specified in function declaration...*/
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   281
			param_value = fp_iterator.default_value();
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   282
		  }
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   283
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   284
		  ADD_PARAM_LIST(param_name, param_value, param_type, fp_iterator.param_direction())
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   285
		} /* for(...) */
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   286
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   287
		PARAM_LIST_ITERATOR() {
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   288
			if ((PARAM_DIRECTION == function_param_iterator_c::direction_out ||
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   289
				 PARAM_DIRECTION == function_param_iterator_c::direction_inout) &&
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   290
				PARAM_VALUE != NULL) {
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   291
			  has_output_params = true;
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   292
			}
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   293
		}
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   294
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   295
	    if (has_output_params)
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   296
	      generate_inline(symbol->function_name, return_data_type, param_list);
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   297
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   298
	    CLEAR_PARAM_LIST()
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   299
	  }
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   300
	  return NULL;
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   301
    }
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   302
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   303
    void *visit(il_formal_funct_call_c *symbol) {
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   304
	  function_declaration_c *f_decl = function_symtable.find_value(symbol->function_name);
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   305
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   306
	  if (f_decl != function_symtable.end_value()) {
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   307
		DECLARE_PARAM_LIST()
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   308
		bool has_output_params = false;
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   309
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   310
		/* determine the base data type returned by the function being called... */
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   311
		search_base_type_c search_base_type;
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   312
		symbol_c *return_data_type = (symbol_c *)f_decl->type_name->accept(search_base_type);
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   313
		if (NULL == return_data_type) ERROR;
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   314
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   315
		/* loop through each function parameter, find the value we should pass
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   316
		 * to it, and then output the c equivalent...
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   317
		 */
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   318
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   319
		function_param_iterator_c fp_iterator(f_decl);
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   320
		identifier_c *param_name;
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   321
		function_call_param_iterator_c function_call_param_iterator(symbol);
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   322
		for(int i = 1; (param_name = fp_iterator.next()) != NULL; i++) {
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   323
		  symbol_c *param_type = fp_iterator.param_type();
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   324
		  if (param_type == NULL) ERROR;
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   325
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   326
		  function_param_iterator_c::param_direction_t param_direction = fp_iterator.param_direction();
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   327
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   328
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   329
		  symbol_c *param_value = NULL;
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   330
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   331
		  /* Get the value from a foo(<param_name> = <param_value>) style call */
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   332
		  if (param_value == NULL)
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   333
			param_value = function_call_param_iterator.search_f(param_name);
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   334
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   335
		  /* Get the value from a foo(<param_value>) style call */
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   336
		  /* NOTE: the following line of code is not required in this case, but it doesn't
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   337
		   * harm to leave it in, as in the case of a formal syntax function call,
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   338
		   * it will always return NULL.
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   339
		   * We leave it in in case we later decide to merge this part of the code together
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   340
		   * with the function calling code in generate_c_st_c, which does require
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   341
		   * the following line...
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   342
		   */
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   343
		  if (param_value == NULL)
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   344
			param_value = function_call_param_iterator.next_nf();
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   345
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   346
		  if (param_value == NULL) {
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   347
			/* No value given for parameter, so we must use the default... */
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   348
			/* First check whether default value specified in function declaration...*/
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   349
			param_value = fp_iterator.default_value();
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   350
		  }
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   351
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   352
		  ADD_PARAM_LIST(param_name, param_value, param_type, fp_iterator.param_direction())
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   353
		}
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   354
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   355
		PARAM_LIST_ITERATOR() {
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   356
      	  if ((PARAM_DIRECTION == function_param_iterator_c::direction_out ||
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   357
      		   PARAM_DIRECTION == function_param_iterator_c::direction_inout) &&
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   358
      	      PARAM_VALUE != NULL) {
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   359
      	    has_output_params = true;
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   360
      	  }
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   361
        }
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   362
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   363
        if (has_output_params)
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   364
	      generate_inline(symbol->function_name, return_data_type, param_list);
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   365
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   366
        CLEAR_PARAM_LIST()
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   367
	  }
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   368
      return NULL;
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   369
    }
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   370
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   371
    /***************************************/
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   372
    /* B.3 - Language ST (Structured Text) */
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   373
    /***************************************/
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   374
    /***********************/
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   375
    /* B 3.1 - Expressions */
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   376
    /***********************/
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   377
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   378
    void *visit(function_invocation_c *symbol) {
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   379
      function_declaration_c *f_decl = function_symtable.find_value(symbol->function_name);
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   380
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   381
      if (f_decl != function_symtable.end_value()) {
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   382
    	DECLARE_PARAM_LIST()
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   383
    	bool has_output_params = false;
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   384
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   385
    	symbol_c *parameter_assignment_list = NULL;
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   386
	    if (NULL != symbol->   formal_param_list) parameter_assignment_list = symbol->   formal_param_list;
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   387
	    if (NULL != symbol->nonformal_param_list) parameter_assignment_list = symbol->nonformal_param_list;
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   388
	    if (NULL == parameter_assignment_list) ERROR;
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   389
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   390
	    /* determine the base data type returned by the function being called... */
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   391
		search_base_type_c search_base_type;
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   392
		symbol_c *return_data_type = (symbol_c *)f_decl->type_name->accept(search_base_type);
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   393
		if (NULL == return_data_type) ERROR;
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   394
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   395
    	/* loop through each function parameter, find the value we should pass
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   396
         * to it, and then output the c equivalent...
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   397
         */
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   398
        function_param_iterator_c fp_iterator(f_decl);
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   399
        identifier_c *param_name;
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   400
        function_call_param_iterator_c function_call_param_iterator(symbol);
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   401
        for(int i = 1; (param_name = fp_iterator.next()) != NULL; i++) {
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   402
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   403
          function_param_iterator_c::param_direction_t param_direction = fp_iterator.param_direction();
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   404
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   405
          /* Get the value from a foo(<param_name> = <param_value>) style call */
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   406
          symbol_c *param_value = function_call_param_iterator.search_f(param_name);
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   407
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   408
          /* Get the value from a foo(<param_value>) style call */
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   409
          if (param_value == NULL)
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   410
            param_value = function_call_param_iterator.next_nf();
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   411
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   412
          if (param_value == NULL && param_direction == function_param_iterator_c::direction_in) {
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   413
            /* No value given for parameter, so we must use the default... */
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   414
            /* First check whether default value specified in function declaration...*/
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   415
            param_value = fp_iterator.default_value();
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   416
          }
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   417
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   418
          symbol_c *param_type = fp_iterator.param_type();
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   419
          if (param_type == NULL) ERROR;
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   420
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   421
          ADD_PARAM_LIST(param_name, param_value, param_type, param_direction)
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   422
        } /* for(...) */
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   423
        // symbol->parameter_assignment->accept(*this);
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   424
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   425
        PARAM_LIST_ITERATOR() {
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   426
      	  if ((PARAM_DIRECTION == function_param_iterator_c::direction_out ||
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   427
      			PARAM_DIRECTION == function_param_iterator_c::direction_inout) &&
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   428
              PARAM_VALUE != NULL) {
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   429
      	    has_output_params = true;
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   430
      	  }
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   431
        }
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   432
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   433
        if (has_output_params)
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   434
	      generate_inline(symbol->function_name, return_data_type, param_list);
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   435
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   436
        CLEAR_PARAM_LIST()
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   437
      }
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   438
	  return NULL;
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   439
    }
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   440
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   441
};  /* generate_c_inline_c */
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   442
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   443
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   444
/***********************************************************************/
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   445
/***********************************************************************/
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   446
/***********************************************************************/
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   447
/***********************************************************************/
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   448
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   449
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   450
class generate_c_inlinefcall_c: public iterator_visitor_c {
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   451
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   452
  private:
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   453
	generate_c_inline_c *generate_c_inline;
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   454
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   455
  public:
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   456
	generate_c_inlinefcall_c(stage4out_c *s4o_ptr, symbol_c *name, symbol_c *scope, const char *variable_prefix = NULL) {
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   457
	  generate_c_inline = new generate_c_inline_c(s4o_ptr, name, scope, variable_prefix);
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   458
	}
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   459
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   460
	virtual ~generate_c_inlinefcall_c(void) {
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   461
	  delete generate_c_inline;
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   462
	}
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   463
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   464
  private:
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   465
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   466
	void *visit(function_invocation_c *symbol) {
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   467
	  return symbol->accept(*generate_c_inline);
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   468
	}
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   469
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   470
	void *visit(il_function_call_c *symbol) {
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   471
	  return symbol->accept(*generate_c_inline);
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   472
	}
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   473
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   474
	void *visit(il_formal_funct_call_c *symbol) {
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   475
	  return symbol->accept(*generate_c_inline);
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   476
	}
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   477
}; /* generate_c_inlinefcall_c */
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   478
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   479
9bb38736f126 Adding support for declare, init, get and set macros
laurent
parents:
diff changeset
   480