(********************************************************************)
(*                                                                  *)
(*  sct_act.s7i   Generate code for actions of structure types.     *)
(*  Copyright (C) 1990 - 1994, 2004 - 2014  Thomas Mertes           *)
(*                                                                  *)
(*  This file is part of the Seed7 compiler.                        *)
(*                                                                  *)
(*  This program is free software; you can redistribute it and/or   *)
(*  modify it under the terms of the GNU General Public License as  *)
(*  published by the Free Software Foundation; either version 2 of  *)
(*  the License, or (at your option) any later version.             *)
(*                                                                  *)
(*  This program is distributed in the hope that it will be useful, *)
(*  but WITHOUT ANY WARRANTY; without even the implied warranty of  *)
(*  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the   *)
(*  GNU General Public License for more details.                    *)
(*                                                                  *)
(*  You should have received a copy of the GNU General Public       *)
(*  License along with this program; if not, write to the           *)
(*  Free Software Foundation, Inc., 51 Franklin Street,             *)
(*  Fifth Floor, Boston, MA  02110-1301, USA.                       *)
(*                                                                  *)
(********************************************************************)


const ACTION: SCT_CONV    is action "SCT_CONV";
const ACTION: SCT_CPY     is action "SCT_CPY";
const ACTION: SCT_SELECT  is action "SCT_SELECT";


const proc: process (SCT_CONV, in reference: function,
    in ref_list: params, inout expr_type: c_expr) is func

  begin
    process_expr(params[3], c_expr);
  end func;


const proc: process (SCT_CPY, in reference: function,
    in ref_list: params, inout expr_type: c_expr) is func

  local
    var expr_type: statement is expr_type.value;
    var expr_type: c_param1 is expr_type.value;
    var expr_type: c_param3 is expr_type.value;
  begin
    statement.temp_num := c_expr.temp_num;
    prepareAnyParamTemporarys(params[1], c_param1, statement);
    c_param3.demand := ASSIGN_RESULT;
    prepareAnyParamTemporarys(params[3], c_param3, statement);
    if c_param3.result_expr <> "" then
      statement.temp_decls &:= "structType new_struct;\n";
      statement.expr &:= "new_struct=";
      statement.expr &:= c_param3.result_expr;
      statement.expr &:= ";\n";
      process_destr_declaration(getExprResultType(params[1]), global_c_expr);
      if isNormalVariable(params[1]) then
        statement.expr &:= "new_struct->type_num = (";
        statement.expr &:= c_param1.expr;
        statement.expr &:= ")->type_num;\n";
        process_destr_call(getExprResultType(params[1]),
            c_param1.expr, statement.expr);
        statement.expr &:= c_param1.expr;
        statement.expr &:= "=new_struct;\n";
      else
        statement.temp_decls &:= "structType *struct_ptr=&(";
        statement.temp_decls &:= c_param1.expr;
        statement.temp_decls &:= ");\n";
        statement.expr &:= "new_struct->type_num = (*struct_ptr)->type_num;\n";
        process_destr_call(getExprResultType(params[1]),
            "*struct_ptr", statement.expr);
        statement.expr &:= "*struct_ptr=new_struct;\n";
      end if;
    else
      process_cpy_declaration(getExprResultType(params[1]), global_c_expr);
      process_cpy_call(getExprResultType(params[1]),
          c_param1.expr, c_param3.expr, statement.expr);
      statement.expr &:= ";\n";
    end if;
    doLocalDeclsOfStatement(statement, c_expr);
  end func;


const proc: process (SCT_SELECT, in reference: function,
    in ref_list: params, inout expr_type: c_expr) is func

  local
    var type: object_type is void;
    var type: result_type is void;
    var expr_type: c_param1 is expr_type.value;
    var string: result_name is "";
    var string: temp_name is "";
    var string: source is "";
  begin
    object_type := getExprResultType(params[1]);
    result_type := resultType(getType(function));
    if object_type in typeData.struct_element_idx and
        params[3] in typeData.struct_element_idx[object_type] then
      prepareAnyParamTemporarys(params[1], c_param1, c_expr);
      c_expr.temp_decls &:= c_param1.result_decl;
      c_expr.temp_frees &:= c_param1.result_free;
      c_expr.temp_to_null &:= c_param1.result_to_null;
      if c_param1.result_expr <> "" then
        if valueIsAtHeap(result_type) then
          incr(c_expr.temp_num);
          result_name := "tmp_" & str(c_expr.temp_num);
          c_expr.temp_decls &:= type_name(result_type);
          c_expr.temp_decls &:= " ";
          c_expr.temp_decls &:= result_name;
          c_expr.temp_decls &:= ";\n";
          incr(c_expr.temp_num);
          temp_name := "tmp_" & str(c_expr.temp_num);
          c_expr.temp_decls &:= type_name(result_type);
          c_expr.temp_decls &:= " *";
          c_expr.temp_decls &:= temp_name;
          c_expr.temp_decls &:= ";\n";
          prepare_typed_result(result_type, c_expr);
          c_expr.result_expr := "(";
          c_expr.result_expr &:= temp_name;
          c_expr.result_expr &:= "=&((structType)(";
          c_expr.result_expr &:= c_param1.result_intro;
          c_expr.result_expr &:= c_param1.result_expr;
          c_expr.result_expr &:= c_param1.result_finish;
          c_expr.result_expr &:= "))->stru[";
          c_expr.result_expr &:= str(typeData.struct_element_idx[object_type][params[3]]);
          c_expr.result_expr &:= "]";
          c_expr.result_expr &:= select_value_from_rtlObjectStruct(result_type);
          c_expr.result_expr &:= "/*->o_";
          create_name2(params[3], c_expr.result_expr);
          c_expr.result_expr &:= "*/,";
          c_expr.result_expr &:= result_name;
          c_expr.result_expr &:= "= *";
          c_expr.result_expr &:= temp_name;
          c_expr.result_expr &:= ",*";
          c_expr.result_expr &:= temp_name;
          c_expr.result_expr &:= "=(";
          c_expr.result_expr &:= type_name(result_type);
          c_expr.result_expr &:= ")(NULL),";
          c_expr.result_expr &:= result_name;
          c_expr.result_expr &:= ")";
        else
          source := "((structType)(";
          source &:= c_param1.result_intro;
          source &:= c_param1.result_expr;
          source &:= c_param1.result_finish;
          source &:= "))->stru[";
          source &:= str(typeData.struct_element_idx[object_type][params[3]]);
          source &:= "]";
          source &:= select_value_from_rtlObjectStruct(result_type);
          source &:= "/*->o_";
          create_name2(params[3], source);
          source &:= "*/";
          process_create_declaration(result_type, global_c_expr);
          process_create_call(result_type, source, c_expr.expr);
        end if;
      else
        c_expr.expr &:= "((structType)(";
        c_expr.expr &:= c_param1.expr;
        c_expr.expr &:= "))->stru[";
        c_expr.expr &:= str(typeData.struct_element_idx[object_type][params[3]]);
        c_expr.expr &:= "]";
        c_expr.expr &:= select_value_from_rtlObjectStruct(result_type);
        c_expr.expr &:= "/*->o_";
        create_name2(params[3], c_expr.expr);
        c_expr.expr &:= "*/";
      end if;
    end if;
  end func;