source: asp3_tinet_ecnl_arm/trunk/asp3_dcre/tecsgen/tecslib/plugin/TECSInfoPlugin.rb@ 374

# -*- coding: utf-8 -*-
#
#  TECS Generator
#      Generator for TOPPERS Embedded Component System
# 
#   Copyright (C) 2017-2018 by TOPPERS Project
#--
#   上記著作権者
は，以下の(1)～(4)ã®æ¡ä»¶ã‚’æº€ãŸã™å ´åˆã«é™ã‚Šï¼Œæœ¬ã‚½ãƒ•ãƒˆã‚¦ã‚§
#   ア（本ソフトウェアを改変したものを含む．以下同じ）を使用・複製・改
#   変・再é…
å¸ƒï¼ˆä»¥ä¸‹ï¼Œåˆ©ç”¨ã¨å‘¼ã¶ï¼‰ã™ã‚‹ã“とを無償で許諾する．
#   (1) æœ¬ã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢ã‚’ã‚½ãƒ¼ã‚¹ã‚³ãƒ¼ãƒ‰ã®å½¢ã§åˆ©ç”¨ã™ã‚‹å ´åˆã«ã¯ï¼Œä¸Šè¨˜ã®è‘—ä½œ
#       権表示，この利用条件および下記の無保証規定が，そのままの形でソー
#       スコード中に含まれていること．
#   (2) 本ソフトウェアを，ライブラリ形式など，他のソフトウェア開発に使
#       用できる形で再é…
å¸ƒã™ã‚‹å ´åˆã«ã¯ï¼Œå†é…
å¸ƒã«ä¼´ã†ãƒ‰ã‚­ãƒ¥ãƒ¡ãƒ³ãƒˆï¼ˆåˆ©ç”¨
#       者
マニュアルなど）に，上記の著作権表示，この利用条件および下記
#       の無保証規定を掲載すること．
#   (3) 本ソフトウェアを，機器に組み込むなど，他のソフトウェア開発に使
#       用できない形で再é…
å¸ƒã™ã‚‹å ´åˆã«ã¯ï¼Œæ¬¡ã®ã„ずれかの条件を満たすこ
#       と．
#     (a) 再é…
å¸ƒã«ä¼´ã†ãƒ‰ã‚­ãƒ¥ãƒ¡ãƒ³ãƒˆï¼ˆåˆ©ç”¨è€…
マニュアルなど）に，上記の著
#         作権表示，この利用条件および下記の無保証規定を掲載すること．
#     (b) 再é…
å¸ƒã®å½¢æ…
‹ã‚’，別に定める方法によって，TOPPERSプロジェクトに
#         å ±å‘Šã™ã‚‹ã“ã¨ï¼Ž
#   (4) 本ソフトウェアの利用により直接的または間接的に生じるいかなる損
#       害からも，上記著作権者
およびTOPPERSプロジェクトをå…
è²¬ã™ã‚‹ã“と．
#       また，本ソフトウェアのユーザまたはエンドユーザからのいかなる理
#       由に基づく請求からも，上記著作権者
およびTOPPERSプロジェクトを
#       å…
è²¬ã™ã‚‹ã“と．
#  
#   本ソフトウェアは，無保証で提供されているものである．上記著作権者
お
#   よびTOPPERSプロジェクトは，本ソフトウェアに関して，特定の使用目的
#   に対する適合性も含めて，いかなる保証も行わない．また，本ソフトウェ
#   アの利用により直接的または間接的に生じたいかなる損害に関しても，そ
#   ã®è²¬ä»»ã‚’è² ã‚ãªã„ï¼Ž
#  
#   $Id$
#++

#== CelltypePlugin for tTECSInfo
class TECSInfoPlugin < CelltypePlugin

  @@cell_list = []
  #@celltype::Celltype
  #@plugin_arg_str::String
  #@plugin_arg_list::{argNameString=>argOptionString}
  #@cell_list::[Cell]

  #celltype::     Celltype        セルタイプ（インスタンス）
  def initialize( celltype, option )
    super
    if $unopt_entry == false then
      cdl_info( "TIF0001 forcely set --unoptimize-entry by TECSInfoPlugin (by importing TECSInfo.cdl)" )
      $unopt_entry = true
    end
  end

  #=== 新しいセル
  #cell::        Cell            セル
  #
  # celltype プラグインを指定されたセルタイプのセルが生成された
  # ã‚»ãƒ«ã‚¿ã‚¤ãƒ—ãƒ—ãƒ©ã‚°ã‚¤ãƒ³ã«å¯¾ã™ã‚‹æ–°ã—ã„ã‚»ãƒ«ã®å ±å‘Š
  def new_cell( cell )
    @@cell_list << cell

    # AppFile は、重ね書きようなので、やめる
    # p "import: cell nTECSInfo::tTECSInfoSub #{cell.get_namespace_path.to_s} under #{cell.get_region.get_name}"
    # cell.show_tree 0
    # TECSInfoSub セルのプロトタイプ宣言
    fn = "#{$gen}/tmp_#{cell.get_region.get_global_name}_TECSInfoSub.cdl"
    File.open( fn, "w" ){ |f|
      f.print "/* prototype declaration of TECSInfoSub */\n"
      nest = cell.get_region.gen_region_str_pre f
      indent = "    " * nest
      f.print <<EOT
#{indent}[in_through()]
#{indent}region rTECSInfo {
#{indent}    cell nTECSInfo::tTECSInfoSub TECSInfoSub;
#{indent}}; /* rTECSInfo} */
EOT
      cell.get_region.gen_region_str_post f
    }
    Import.new fn

    # セルに cTECSInfo の結合があるか？
    if cell.get_join_list.get_item( :cTECSInfo ) == nil then
      # cTECSInfo = rTECSInfo::TECSInfosub.eTECSInfo; ã®è¿½åŠ 
      nsp = NamespacePath.new( :rTECSInfo, false )
      nsp.append! :TECSInfoSub
      rhs = Expression.create_cell_join_expression nsp, nil, :eTECSInfo
      join = Join.new :cTECSInfo, nil, rhs
      cell.new_join join
    end
  end

  #=== tCelltype_factory.h に挿å…
¥ã™ã‚‹ã‚³ãƒ¼ãƒ‰ã‚’生成する
  # file 以外の他のファイルにファクトリコードを生成してもよい
  # セルタイププラグインが指定されたセルタイプのみ呼び出される
  def gen_factory file
    File.open( "#{$gen}/include_all_signature_header.h", "w" ){ |f|
      f.print <<EOT
#ifndef include_all_signature_header_h
#define include_all_signature_header_h

EOT
      Namespace.get_root.travers_all_signature{ |sig|
        f.print "#include \"#{sig.get_global_name}_tecsgen.h\"\n"
      }
      f.print <<EOT

#endif /* include_all_signature_header_h */
EOT
    }

    undefs2 = [ :INITIALIZE_CB, :FOREACH_CELL, :END_FOREACH_CELL ]
    f = AppFile.open( "#{$gen}/nTECSInfo_tVarDeclInfo_factory.h" )
    Namespace.get_root.print_struct_define f

    undefs = [ :VALID_IDX, :GET_CELLCB, :CELLCB, :CELLIDX,
               :tVarDeclInfo_IDX, :ATTR_name, :ATTR_sizeIsExpr,
               :ATTR_declType, :ATTR_offset ]

    f.print <<EOT

/***** Offset of attr & var of celltype  *****/
#define TOPPERS_CB_TYPE_ONLY

/* In case a celltype has 'inline' entry,
 * some macros are temporally defined
 * even if TOPPERS_CB_TYPE_ONLY is defined.
 * To avoid redefinition warning, undef these macros.
 */
#{ str=""; undefs.each{|u| str += "#undef #{u}\n" }; str }
EOT
    if $ram_initializer then
      undefs2.each{|u|
        f.print "#undef #{u}\n"
      }
    end
    Namespace.get_root.print_celltype_define_offset f
    f.print <<EOT

/* redefine macros */
#define tVarDeclInfo_IDX  nTECSInfo_tVarDeclInfo_IDX

EOT
    if $ram_initializer then
      f.print <<EOT
#define FOREACH_CELL(i,p_cb)   { (void)(i);
#define END_FOREACH_CELL   }
#define INITIALIZE_CB(p_that)   (void)(p_that);
#define SET_CB_INIB_POINTER(i,p_that)
EOT
    end
    f.close

    undefs = [ :N_CP_cEntryInfo, :NCP_cEntryInfo, :N_CP_cCallInfo, :NCP_cCallInfo,
               :N_CP_cAttrInfo, :NCP_cAttrInfo, :N_CP_cVarInfo, :NCP_cVarInfo,
               :VALID_IDX, :GET_CELLCB, :CELLCB, :CELLIDX, :ATTR_name, :ATTR_b_singleton,
               :ATTR_b_IDX_is_ID_act, :ATTR_sizeOfCB, :ATTR_sizeOfINIB, :ATTR_n_cellInLinUnit,
               :ATTR_n_cellInSystem, :cEntryInfo_getName, :cEntryInfo_getNameLength,
               :cEntryInfo_getSignatureInfo, :cEntryInfo_getArraySize, :cEntryInfo_isInline,
               :cCallInfo_getName, :cCallInfo_getNameLength, :cCallInfo_getSignatureInfo,
               :cCallInfo_getArraySize, :cCallInfo_getSpecifierInfo, :cCallInfo_getInternalInfo,
               :cCallInfo_getLocationInfo, :cCallInfo_getOptimizeInfo, :cAttrInfo_getName,
               :cAttrInfo_getOffset, :cAttrInfo_getTypeInfo, :cAttrInfo_getSizeIsExpr,
               :cAttrInfo_getSizeIs, :cVarInfo_getName, :cVarInfo_getOffset, :cVarInfo_getTypeInfo,
               :cVarInfo_getSizeIsExpr, :cVarInfo_getSizeIs, :cEntryInfo_refer_to_descriptor,
               :cEntryInfo_ref_desc, :cCallInfo_refer_to_descriptor, :cCallInfo_ref_desc,
               :cAttrInfo_refer_to_descriptor, :cAttrInfo_ref_desc, :cVarInfo_refer_to_descriptor,
               :cVarInfo_ref_desc, :is_cEntryInfo_joined, :is_cCallInfo_joined,
               :is_cAttrInfo_joined, :is_cVarInfo_joined, :eCelltypeInfo_getName,
               :eCelltypeInfo_getNameLength, :eCelltypeInfo_getNAttr, :eCelltypeInfo_getAttrInfo,
               :eCelltypeInfo_getNVar, :eCelltypeInfo_getVarInfo, :eCelltypeInfo_getNCall,
               :eCelltypeInfo_getCallInfo, :eCelltypeInfo_getNEntry, :eCelltypeInfo_getEntryInfo,
               :eCelltypeInfo_isSingleton, :eCelltypeInfo_isIDX_is_ID, :eCelltypeInfo_hasCB,
               :eCelltypeInfo_hasINIB, :FOREACH_CELL, :END_FOREACH_CELL ]

    f = AppFile.open( "#{$gen}/nTECSInfo_tCelltypeInfo_factory.h" )
    undefs.each{ |u|
      f.print "#undef #{u}\n"
    }
    f.print "#define TOPPERS_CB_TYPE_ONLY\n"
    Namespace.get_root.print_celltype_define f
    # FOREACH_CELL を出しなおす
    ct = Namespace.find [ "::", :nTECSInfo, :tCelltypeInfo ]
    ct.gen_ph_foreach_cell f
    ct.gen_ph_cb_initialize_macro f
    f.print "\n"
    f.close
   
    undefs = [ :VALID_IDX, :GET_CELLCB, :CELLCB, :CELLIDX,
               :tCallInfo_IDX, :ATTR_name, :ATTR_offset, :ATTR_b_inCB,
               :ATTR_b_optional, :ATTR_b_omit, :ATTR_b_dynamic,
               :ATTR_b_ref_desc, :ATTR_b_allocator_port,
               :ATTR_b_require_port, :ATTR_b_VMT_useless,
               :ATTR_b_skelton_useless, :ATTR_b_cell_unique,
               :cSignatureInfo_getName, :cSignatureInfo_getNameLength,
               :cSignatureInfo_getNFunction,
               :cSignatureInfo_getFunctionInfo,
               :cSignatureInfo_refer_to_descriptor,
               :cSignatureInfo_ref_desc, :eCallInfo_getName,
               :eCallInfo_getNameLength, :eCallInfo_getSignatureInfo,
               :eCallInfo_getArraySize, :eCallInfo_isOptional,
               :eCallInfo_isDynamic, :eCallInfo_isRefDesc,
               :eCallInfo_isOmit ]

    f = AppFile.open( "#{$gen}/nTECSInfo_tCallInfo_factory.h" )
    f.print <<EOT

/***** Offset of attr & var of celltype  *****/
#define TOPPERS_CB_TYPE_ONLY

/* In case a celltype has 'inline' entry,
 * some macros are temporally defined
 * even if TOPPERS_CB_TYPE_ONLY is defined.
 * To avoid redefinition warning, undef these macros.
 */
#{ str=""; undefs.each{|u| str += "#undef #{u}\n" }; str }
EOT
    if $ram_initializer then
      undefs2.each{|u|
        f.print "#undef #{u}\n"
      }
    end

    Namespace.get_root.print_call_define f
    f.print <<EOT

/* redefine macros */
#define tCallInfo_IDX  nTECSInfo_tCallInfo_IDX

EOT
    if $ram_initializer then
      f.print <<EOT
#define FOREACH_CELL(i,p_cb)   { (void)(i);
#define END_FOREACH_CELL   }
#define INITIALIZE_CB(p_that)   (void)(p_that);
#define SET_CB_INIB_POINTER(i,p_that)

EOT
    end
    f.close

    f = AppFile.open( "#{$gen}/nTECSInfo_tEntryInfo_factory.h" )
    Namespace.get_root.print_entry_define f
    f.close

    undefs = [ :GET_CELLCB, :CELLCB, :CELLIDX, :ATTR_name, :INITIALIZE_CB, :FOREACH_CELL ]
    f = AppFile.open( "#{$gen}/nTECSInfo_tCellInfo_factory.h" )
    undefs.each{ |u|
      f.print "#undef #{u}\n"
    }
    Region.get_root.print_cell_define f
    # FOREACH_CELL を出しなおす
    ct = Namespace.find [ "::", :nTECSInfo, :tCellInfo ]
    ct.gen_ph_foreach_cell f
    ct.gen_ph_cb_initialize_macro f
    f.close

    f = AppFile.open( "#{$gen}/nTECSInfo_tRawEntryDescriptorInfo_factory.h" )
    Region.get_root.print_entry_descriptor_define f
    f.close
  end

  #=== 後ろの CDL コードを生成
  #プラグインの後ろの CDL コードを生成
  #file:: File:
  def self.gen_post_code( file )
    if Generator.get_n_error > 0 then
      Generator.info( "I9999 TECSInfoPlugin does not generate TECSInfo code because of early error" )
      return
    end
    # 複数のプラグインの post_code が一つのファイルに含まれるため、以下のような見出しをつけること
    file.print <<EOT
/*------------ #{self.name} post code ------------*/
EOT
    @@cell_list.each{|cell|
      root = cell.get_region # .get_link_root
      TECSInfo.print_info file, root
    }
  end
end