source: EcnlProtoTool/trunk/asp3_dcre/tecsgen/tecslib/plugin/ThroughPlugin.rb@ 270

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

# mikan through plugin: namespace が考æ…
®ã•ã‚Œã¦ã„ない

#==  スループラグインのå…
±é€šã®è¦ªã‚¯ãƒ©ã‚¹ã€€ã‹ã¤ （何もせず）スルーするセルを挿å…
¥ã™ã‚‹ã‚¹ãƒ«ãƒ¼ãƒ—ラグイン
#    スループラグインは ThroughPlugin の子クラスとして定義する
class ThroughPlugin < Plugin
#@cell_name::      Symbol             ç”Ÿæˆã™ã‚‹ã‚»ãƒ«åï¼ˆè¤‡æ•°ã‚»ãƒ«ã‚’ç”Ÿæˆã™ã‚‹å ´åˆã€å—ã‘å£å´ã®ã‚»ãƒ«ï¼‰
#@plugin_arg_str:: string             through で指定された引数
#@next_cell:: Cell                    呼び口を結合するセル
#@next_cell_port_name:: Symbol       呼び口を結合する受口の名前
#@signature::      Signature          シグニチャ
#@celltype::       Celltype           呼びå…
ˆã®ã‚»ãƒ«ã®ã‚»ãƒ«ã‚¿ã‚¤ãƒ—. through ãŒé€£æŽ¥ã™ã‚‹å ´åˆã€æœ€çµ‚çš„ãªå‘¼ã³å…
ˆã®ã‚»ãƒ«ã®ã‚»ãƒ«ã‚¿ã‚¤ãƒ—
#@entry_port_name::Symbol             生成するセルの受け口名  "eThroughEntry"
#@call_port_name:: Symbol             生成するセルの呼び口名  "cCall"
#@ct_name::        Symbol             生成するセルのセルタイプ名   "t#{self.class.name}_#{@signature.get_global_name}"
#@plugin_arg_list:: Hash              プラグイン引数をパースした結果のハッシュ変数
#@caller_cell::    Cell               呼びå…
ƒã®ã‚»ãƒ«ï¼Žthrough ãƒ—ãƒ©ã‚°ã‚¤ãƒ³ãŒé€£æŽ¥ã™ã‚‹å ´åˆã§ã¯ã€æœ€ã‚‚å‘¼ã³å…
ƒã®ã‚»ãƒ«ï¼Ž($source$)
#                                     through プラグインが合流するケースでは、1つ目の呼びå…
ƒã‚»ãƒ«ã®ã¿å¼•æ•°ã¨ã—て与えられる
#                                     従って TracePlugin の呼びå…
ƒã®åˆ¤åˆ¥ã«åˆ©ç”¨ã™ã‚‹å ´åˆã¯ã€ç•°ãªã‚‹å‘¼ã³å…
ƒã‹ã‚‰å‘¼ã°ã‚Œã‚‹å¯èƒ½æ€§ãŒã‚ることに注意しなくてはならない
#@callee_cell:: Cell                  呼びå…
ˆã®ã‚»ãƒ«($destination$)
#@plugin_arg_check_proc_tab:: [string => Proc]  プラグイン引数名⇒チェック関数
# 以下の変数は、initialize ではなく、後から設定される
#@start_@region::  Region             始まりのリージョン： caller_cell のリージョンとは異なる可能性がある ($start_region$)
#@end_region::  Region                終わりのリージョン： next_cell のリージョンとは異なる可能性がある ($end_region$)
#@region:: Region                     @start_region と @end_region のいずれかで、cell を置くのが好ましいリージョン ($preferred_region$)
#@through_type:: Symbol              :THROUGH, :TO_THROUGH, :IN_THROUGH, :OUT_THROUGH のいずれか

  # この Plugin が生成したセルタイプのリスト
  @@generated_celltype = {}

  #=== ThroughPlugin の初期化
  #     through が指定された時点で生成が行われる
  #         初期化では、指定された引数を記録するに留める
  #cell_name::      Symbol             生成すべきセル名（受口側）
  #plugin_arg::     string             through で指定された引数
  #next_cell::      Cell               呼び口を接続するセル
  #next_cell_port_name:: Symbol        呼び口を接続する受口の名前
  #signature::      Signature          シグニチャ
  #celltype::       Celltype           セルタイプ (呼びå…
ˆã®ã‚»ãƒ«ã®ã‚»ãƒ«ã‚¿ã‚¤ãƒ—)
  #caller_cell::    Cell               呼びå…
ƒã®ã‚»ãƒ«ï¼Ž@caller_cell ã®é …
を参ç…
§
  def initialize( cell_name, plugin_arg, next_cell, next_cell_port_name, signature, celltype, caller_cell )
    super()
    @cell_name = cell_name                      # 生成すべきセル名（受け口側のセル名）
                                                # この呼びå…
ˆã«åˆ¥ã‚»ãƒ«ã‚’ç”Ÿæˆã™ã‚‹å ´åˆã€ã“ã®åå‰ã‚’æŽ¥é ­è¾žã¨ã™ã¹ã
    @next_cell = next_cell                      # 呼びå…
ˆã®ã‚»ãƒ«
    @next_cell_port_name = next_cell_port_name
    @signature = signature
    @entry_port_name = :"eThroughEntry"
    @call_port_name = :"cCall"
    @ct_name = :"t#{self.class.name}_#{@signature.get_global_name}"
    @celltype = celltype
    @plugin_arg_str = plugin_arg
    @plugin_arg_list = {}                       # プラグイン引数をパースした結果のハッシュ変数
    @caller_cell     = caller_cell
    Join.set_through_info self                  # 引数で渡らない(å¾Œã‹ã‚‰è¿½åŠ ã•ã‚ŒãŸ)ものは set_through_info で設定される
    print( "#{self.class.name}.new( '#{cell_name}', '#{plugin_arg}', '#{next_cell.get_name}', '#{next_cell_port_name}', #{celltype.get_name} )\n" )
  end

  #=== 情
å ±ã‚’è¨­å®šã™ã‚‹
  # å…
±æœ‰ãƒãƒ£ãƒ³ãƒãƒ«ã®å ´åˆ caller_cell, next_cell のいずれの region でもないケースがある
  # å¾Œã‹ã‚‰è¿½åŠ ã—ãŸã®ã§ initialize の引数ではなく、別メソッドで設定
  # このメソッドは、オーバーライドしないでください
  # Join と ThrougPlugin ã®é–“ã®é€£çµ¡ç”¨ã§ã€ä»Šå¾Œã¨ã‚‚å¼•æ•°ãŒè¿½åŠ ã•ã‚Œã‚‹å¯èƒ½æ€§ãŒã‚ã‚‹ãŸã‚
  # このメソッドは V1.C.0.34 で位置が移動され、ThroughPlugin#initialize で呼び出される
  def set_through_info( start_region, end_region, through_type, join, callee_cell, count )
    @start_region = start_region
    @end_region = end_region
    @through_type = through_type
    @join = join
    @callee_cell = callee_cell
    @count = count

    # preferred_region の設定
    case through_type
    when :IN_THROUGH, :THROUGH
      @region = end_region
    when :OUT_THROUGH, :TO_THROUGH
      @region = start_region
    else
      raise "Unknown through_type #{through_type}"
    end
  end

  #===  セルの名前を得る
  def get_cell_name
    @cell_name
  end

  #=== NamespacePath を得る
  # 生成するセルの namespace path を生成する
  def get_cell_namespace_path
#    nsp = @region.get_namespace.get_namespace_path
    nsp = @region.get_namespace_path
    return nsp.append( @cell_name )
  end

  #===  生成されたセルの受け口の名前を得る
  def get_through_entry_port_name
    @entry_port_name
  end

  #===  宣言コードの生成
  #      typedef, signature, celltype など（cell 以外）のコードを生成
  #          é‡è¤‡ã—ã¦ç”Ÿæˆã—ã¦ã¯ãªã‚‰ãªã„ï¼ˆã™ã§ã«ç”Ÿæˆã•ã‚Œã¦ã„ã‚‹å ´åˆã¯å‡ºåŠ›ã—ãªã„ã“ã¨ï¼‰
  #file::        FILE       生成するファイル
  def gen_plugin_decl_code( file )

    # このセルタイプ（同じシグニチャ）は既に生成されているか？
    if @@generated_celltype[ @ct_name ] == nil then
      @@generated_celltype[ @ct_name ] = [ self ]
    else
      @@generated_celltype[ @ct_name ] << self
      return
    end

    file2 = CFile.open( "#{$gen}/#{@ct_name}.cdl", "w" )

    send_receive = []
    if @signature != nil then
      @signature.each_param{ |fd,param|
        dir =param.get_direction
        case dir
        when :SEND, :RECEIVE
          send_receive << [ dir, fd, param ]
        end
      }
    end

    file2.print <<EOT
celltype #{@ct_name} {
EOT

    if send_receive.length > 0 then
      file2.print "  [ allocator(\n"
      delim = ""
      send_receive.each { |a|
        file2.print "#{delim}\t#{a[1].get_name}.#{a[2].get_name}<=#{@call_port_name}.#{a[1].get_name}.#{a[2].get_name}"
        delim = ",\n"
      }
      file2.print "\n  )]\n"
    end

    file2.print <<EOT
  entry #{@signature.get_namespace_path} #{@entry_port_name};
  call  #{@signature.get_namespace_path} #{@call_port_name};
};
EOT
    file2.close

    file.print "import( \"#{$gen}/#{@ct_name}.cdl\" );\n"
  end

  #=== CDL ファイルの生成
  #file::     FILE    生成するファイル
  def gen_cdl_file( file )
    gen_plugin_decl_code( file )
    gen_through_cell_code( file )
  end

  #===  セルコードの生成
  #     through 指定により生じるセルコード(CDL)を生成する
  #file::        FILE       生成するファイル
  def gen_through_cell_code( file )

    nest = @region.gen_region_str_pre file
    nest_str = "  " * nest

    file.print <<EOT
#{nest_str}cell #{@ct_name} #{@cell_name} {
#{nest_str}  #{@call_port_name} = #{@next_cell.get_namespace_path.get_path_str}.#{@next_cell_port_name};
#{nest_str}};
EOT
    @region.gen_region_str_post file

  end

  #=== 後ろのコードを生成
  #プラグインの後ろのコード (CDL) を生成
  #file:: File: 
  def self.gen_post_code( file )
    # 複数のプラグインの post_code が一つのファイルに含まれるため、以下のような見出しをつけること
    # file.print "/* '#{self.class.name}' post code */\n"
  end

  #===  受け口関数の本体(C言語)を生成する
  #     通常であれば、ジェネレータは受け口関数のテンプレートを生成する
  #     ãƒ—ãƒ©ã‚°ã‚¤ãƒ³ã®å ´åˆã€å¤‰æ›´ã™ã‚‹å¿…
要のないセルタイプコードを生成する
  #file::           FILE        出力å…
ˆãƒ•ã‚¡ã‚¤ãƒ«
  #b_singleton::    bool        true if singleton
  #ct_name::        Symbol
  #global_ct_name:: string
  #sig_name::       string
  #ep_name::        string
  #func_name::      string
  #func_global_name:: string
  #func_type::      class derived from Type
  def gen_ep_func_body( file, b_singleton, ct_name, global_ct_name, sig_name, ep_name, func_name, func_global_name, func_type, params )

    ret_type = func_type.get_type
    b_ret_void = ret_type.is_void?

    if ! b_ret_void then
      file.print( "  #{ret_type.get_type_str}  retval;\n" )
    end

    if ! b_singleton then

      file.print <<EOT
  #{ct_name}_CB    *p_cellcb;
  if( VALID_IDX( idx ) ){
    p_cellcb = #{global_ct_name}_GET_CELLCB(idx);
  }else{
     /* エラー処理コードをここに記述 */
  }

EOT
    end

    # p "celltype_name, sig_name, func_name, func_global_name"
    # p "#{ct_name}, #{sig_name}, #{func_name}, #{func_global_name}"

    delim = ""
    if ! b_ret_void then
      file.print( "  retval = " )
    end

    file.print( "#{@call_port_name}_#{func_name}(" )

#    if ( ! b_singleton ) then
#      file.print( " tecs_this" )
#      delim = ","
#    end

    params.each{ |param|
      file.printf( "#{delim} #{param.get_name}" )
      delim = ","
    }

    file.print( " );\n" )

    if ! b_ret_void then
      file.print( "  return retval;\n" )
    end
  end

  #=== Through プラグインの引数の名前を置換する
  def check_plugin_arg( ident, rhs )
    rhs = subst_name rhs
    super( ident, rhs )
  end

  #=== ThroughPlugin#名前の置換
  # プラグインオプション引数内
の文字列を置換する
  #   $source$       … 呼びå…
ƒã®ã‚»ãƒ«å
  #   $destination$  … 呼びå…
ˆã®ã‚»ãƒ«å
  #   $SOURCE$       … 呼びå…
ƒã®ã‚»ãƒ«å (リージョン名を '_' で連結した global_name)
  #   $DESTINATION$  … 呼びå…
ˆã®ã‚»ãƒ«å (リージョン名を '_' で連結した global_name)
  #   $next$         … 次のセル名
  #                     複数の through ãŒã¤ãªãŒã£ã¦ã„ã‚‹å ´åˆã€ã™ãå¾Œã‚ã«æ¥ã‚‹ã‚‚ã®
  #   $NEXT$         … 次のセル名 (リージョン名を '_' で連結した global_name)
  #                     複数の through ãŒã¤ãªãŒã£ã¦ã„ã‚‹å ´åˆã€ã™ãå¾Œã‚ã«æ¥ã‚‹ã‚‚ã®
  #   $start_region$ … $source$ のセルの存在する region (global_name)
  #   $end_region$   … $destination$ のセルの存在する region (global_name)
  #   $preferred_region$  … 適切な region (global_name), start_region または end_region
  #   $count$        … region 間の through の適用数
  #   $$             … $ に置換
  def subst_name( str )
    # セル名の置換
    str = str.gsub( /(^|[^\$])\$source\$/, "\\1#{@caller_cell.get_name}" )
    str = str.gsub( /(^|[^\$])\$destination\$/, "\\1#{@callee_cell.get_name}" )
    str = str.gsub( /(^|[^\$])\$SOURCE\$/, "\\1#{@caller_cell.get_global_name}" )
    str = str.gsub( /(^|[^\$])\$DESTINATION\$/, "\\1#{@callee_cell.get_global_name}" )
    str = str.gsub( /(^|[^\$])\$next\$/, "\\1#{@next_cell.get_name}" )
    str = str.gsub( /(^|[^\$])\$NEXT\$/, "\\1#{@next_cell.get_global_name}" )
    # region 名の置換
    str = str.gsub( /(^|[^\$])\$start_region\$/, "\\1#{@start_region.get_global_name}" )
    str = str.gsub( /(^|[^\$])\$end_region\$/, "\\1#{@end_region.get_global_name}" )
    str = str.gsub( /(^|[^\$])\$preferred_region\$/, "\\1#{@region.get_global_name}" )
    str = str.gsub( /(^|[^\$])\$count\$/, "\\1#{@count}" )

    str = str.gsub( /\$\$/, "\$" )                       # $$ を $ に置換

    return str
  end

  def show_tree( indent )
    indent.times { print "  " }
    puts "Plugin: celltype: #{@ct_name} cell: #{@cell_name}"
    (indent+1).times { print "  " }
    puts "next: signature: #{@signature.get_namespace_path} call = #{@next_cell.get_name}.#{@next_cell_port_name}"
  end
end