tecscde 0.6.0

data/lib/tecsgen/plugin/HRPKernelObjectPlugin.rb

@@ -0,0 +1,333 @@
+#
+#  TECS Generator
+#      Generator for TOPPERS Embedded Component System
+#
+#   Copyright (C) 2008-2018 by TOPPERS Project
+#--
+#   上記著作権者は，以下の(1)〜(4)の条件を満たす場合に限り，本ソフトウェ
+#   ア（本ソフトウェアを改変したものを含む．以下同じ）を使用・複製・改
+#   変・再配布（以下，利用と呼ぶ）することを無償で許諾する．
+#   (1) 本ソフトウェアをソースコードの形で利用する場合には，上記の著作
+#       権表示，この利用条件および下記の無保証規定が，そのままの形でソー
+#       スコード中に含まれていること．
+#   (2) 本ソフトウェアを，ライブラリ形式など，他のソフトウェア開発に使
+#       用できる形で再配布する場合には，再配布に伴うドキュメント（利用
+#       者マニュアルなど）に，上記の著作権表示，この利用条件および下記
+#       の無保証規定を掲載すること．
+#   (3) 本ソフトウェアを，機器に組み込むなど，他のソフトウェア開発に使
+#       用できない形で再配布する場合には，次のいずれかの条件を満たすこ
+#       と．
+#     (a) 再配布に伴うドキュメント（利用者マニュアルなど）に，上記の著
+#         作権表示，この利用条件および下記の無保証規定を掲載すること．
+#     (b) 再配布の形態を，別に定める方法によって，TOPPERSプロジェクトに
+#         報告すること．
+#   (4) 本ソフトウェアの利用により直接的または間接的に生じるいかなる損
+#       害からも，上記著作権者およびTOPPERSプロジェクトを免責すること．
+#       また，本ソフトウェアのユーザまたはエンドユーザからのいかなる理
+#       由に基づく請求からも，上記著作権者およびTOPPERSプロジェクトを
+#       免責すること．
+#
+#   本ソフトウェアは，無保証で提供されているものである．上記著作権者お
+#   よびTOPPERSプロジェクトは，本ソフトウェアに関して，特定の使用目的
+#   に対する適合性も含めて，いかなる保証も行わない．また，本ソフトウェ
+#   アの利用により直接的または間接的に生じたいかなる損害に関しても，そ
+#   の責任を負わない．
+#
+#
+#  $Id: HRPKernelObjectPlugin.rb 2952 2018-05-07 10:19:07Z okuma-top $
+#++
+
+#== celltype プラグインの共通の親クラス
+class HRPKernelObjectPlugin < CelltypePlugin
+    # @@obj_hash = {}
+
+    # @celltype:: Celltype
+    # @option:: String     :オプション文字列
+  def initialize(celltype, option)
+    super
+      #
+      #  それぞれのカーネルオブジェクトを解析対象セルタイプに追加
+      #  目的：
+      #   - カーネルオブジェクトのセルをメモリ保護対象外とする
+      #    - カーネルオブジェクト本体の管理はTECSでなくOSで実施するため
+      #   - カーネルオブジェクトのセルへのアクセスを直接関数呼出し
+      #   　とする
+      #    - システムサービス呼出しはOSが提供するため
+      HRPKernelObjectPlugin.set_celltype(celltype)
+  end
+
+    #=== HRPKernelObjectPlugin#print_cfg_cre
+    # 各種カーネルオブジェクトのCRE_*の出力
+    # file:: FILE:     出力先ファイル
+    # val :: string:   カーネルオブジェクトの属性の解析結果
+    # tab :: string:   インデント用のtab
+  def print_cfg_cre(file, cell, val, tab)
+    raise "called virtual method print_cfg_cre in #{@celltype.get_name} plugin"
+  end
+
+    #=== HRPKernelObjectPlugin#print_cfg_sac
+    # 各種カーネルオブジェクトのSAC_*の出力
+    # file:: FILE:     出力先ファイル
+    # val :: string:   カーネルオブジェクトの属性の解析結果
+    # acv :: string:   アクセスベクタ
+  def print_cfg_sac(file, val, acv)
+    raise "called virtual method print_cfg_sac in #{@celltype.get_name} plugin"
+  end
+
+    #
+    #  セルタイププラグインの本体メソッド
+    #   - 静的APIの生成
+    #  file:: FILE:     出力先ファイル
+    #
+  def gen_factory(file)
+    dbgPrint "===== begin #{@celltype.get_name} plugin =====\n"
+
+      #
+      # 対象となるすべてのセルについて、受け口に結合されている
+      # セルの所属ドメインを解析
+      #  - 生成すべきcfgファイル名を取得するために必要
+      #
+      if !HRPKernelObjectPlugin.isChecked
+        HRPKernelObjectPlugin.check_referenced_cells
+      else
+        dbgPrint "***** already checked\n"
+      end
+
+      # 追記するために AppFile を使う（文字コード変換されない）
+      file2 = AppFile.open("#{$gen}/tecsgen.cfg")
+      file2.print "\n/* Generated by #{self.class.name} */\n\n"
+
+      @celltype.get_cell_list.each {|cell|
+        if cell.is_generate?
+          dbgPrint "===== begin check my domain #{cell.get_name} =====\n"
+            #
+            #  カーネルオブジェクトの属性を，valにコピー
+            #
+            val = {}
+            @celltype.get_attribute_list.each{|a|
+                # p a.get_name
+              if a.get_type.is_a?(ArrayType)
+                val[a.get_name] = []
+                  if j = cell.get_join_list.get_item(a.get_name)
+                      # セル生成時に初期化する場合
+                    j.get_rhs.each {|elem|
+                      val[a.get_name] << elem.to_s
+                    }
+                  elsif i = a.get_initializer
+                      # セルタイプの初期化値を使う場合
+                    i.each {|elem|
+                      val[a.get_name] << elem.to_s
+                    }
+                  else
+                    raise "attribute is not initialized"
+                  end
+              else
+                if j = cell.get_join_list.get_item(a.get_name)
+                    # セル生成時に初期化する場合
+                  val[a.get_name] = j.get_rhs.to_s
+                elsif i = a.get_initializer
+                    # セルタイプの初期化値を使う場合
+                  val[a.get_name] = i.to_s
+                else
+                  raise "attribute is not initialized"
+                end
+              end
+            }
+            # generate.rbを参考に
+            # $id$を置換
+            if val[:id].nil? != true
+              name_array = @celltype.get_name_array(cell)
+                val[:id] = @celltype.subst_name(val[:id], name_array)
+            end
+            # $cbp$の代わり
+            cell_domain_root = cell.get_region.get_domain_root
+            cell_domain_type = cell.get_region.get_domain_root.get_domain_type
+
+            # CRE_XXX/DEF_XXXの生成
+            if cell_domain_type.get_option.to_s != "OutOfDomain"
+                # 保護ドメインに属する場合
+              if !HRPKernelObjectPlugin.include_region(cell_domain_root.get_name.to_s)
+                  # その保護ドメインの.cfgが生成されていない場合
+                HRPKernelObjectPlugin.set_region_list(cell_domain_root.get_name.to_s)
+                  dbgPrint "~~~~~ #{cell_domain_root.get_name} is registered!\n"
+
+#                        # if cell.get_region.get_param == :KERNEL_DOMAIN
+#                        if cell_domain_type.get_option.to_s == "kernel"
+#                            file2.print "KERNEL_DOMAIN{\n"
+#                        else
+#                            file2.print "DOMAIN(#{cell_domain_root.get_name.to_s}){\n"
+#                        end
+#                        file2.puts "\tINCLUDE(\"#{$gen}/tecsgen_#{cell_domain_root.get_name.to_s}.cfg\");"
+#                        file2.puts "}\n"
+              else
+                dbgPrint "~~~~~ #{cell.get_region.get_namespace_path} is included in"
+                  # p @@region_list
+              end
+                file3 = AppFile.open("#{$gen}/tecsgen_#{cell_domain_root.get_global_name}.cfg")
+                print_cfg_cre(file3, cell, val, "")
+                file3.close
+            else
+                # 無所属の場合
+              dbgPrint "~~~~~ #{cell_domain_root.get_namespace_path} is OutOfDomain\n"
+                # print "~~~~~ #{cell_domain_root.get_namespace_path} is OutOfDomain\n"
+                # p cell_domain_root.get_name
+                if cell_domain_root.get_name == "::"
+                  print_cfg_cre(file2, cell, val, "")
+                else
+#                      if !HRPKernelObjectPlugin.include_region(cell_domain_root.get_name.to_s)
+#                        # その保護ドメインの.cfgが生成されていない場合
+#                        HRPKernelObjectPlugin.set_region_list(cell_domain_root.get_name.to_s)
+#                        file2.puts "INCLUDE(\"#{$gen}/tecsgen_#{cell_domain_root.get_name.to_s}.cfg\");\n"
+#                      end
+                  file3 = AppFile.open("#{$gen}/tecsgen_#{cell_domain_root.get_name}.cfg")
+                  print_cfg_cre(file3, cell, val, "")
+                  file3.close
+                end
+
+            end
+
+            dbgPrint "===== end check my domain #{cell.get_name} =====\n"
+
+            #
+            # SAC_XXXの生成
+            #
+            if !val[:accessPattern1].nil?
+              dbgPrint "===== begin check regions #{cell.get_name} =====\n"
+                i = 0
+                acv = { \
+                        :accessPattern1 => val[:accessPattern1], \
+                        :accessPattern2 => val[:accessPattern2], \
+                        :accessPattern3 => val[:accessPattern3], \
+                        :accessPattern4 => val[:accessPattern4] \
+                }
+                acv_tmp = []
+                domain_roots = HRPPlugin.get_inter_domain_join_roots cell
+                # 結合先セルのドメインを加える
+                if cell_domain_type.get_kind != :OutOfDomain
+                  domain_roots << cell_domain_root
+                end
+                domain_roots.each{|dr|
+                  case dr.get_domain_type.get_kind
+                  when :user
+                    acv_tmp << "TACP(#{dr.get_name})"
+                  when :kernel
+                    acv_tmp << "TACP_KERNEL"
+                  when :OutOfDomain
+                    if cell_domain_type.get_kind == :OutOfDomain
+                      # 呼び元も、呼び先も OutOfDomain の場合
+                      acv_tmp << "TACP_SHARED"
+                    end
+                  end
+                }
+                acv_tmp.uniq!
+                if acv_tmp.length == 0
+                  # 呼び先セルが無所属かつ、呼び元も無所属のみ、または結合無しの場合
+                  acv_tmp = ["TACP_SHARED"]
+                end
+                b_info = false
+                b_warn = false
+                acv.each {|key, acp|
+                  if !acp.nil?
+                    if acp != "OMIT"
+                    elsif cell_domain_type.get_kind != :OutOfDomain
+                      # p "UserDomainCell or KernelDomainCell"
+                      domain_roots = HRPPlugin.get_inter_domain_join_roots cell
+                      domain_roots.each{|dr|
+                        #
+                        case dr.get_domain_type.get_kind
+                        when :kernel
+                        when :user
+                          if dr.get_namespace_path != cell.get_region.get_domain_root.get_namespace_path
+                            # 他のユーザードメインからの結合
+                            if b_warn == false
+                              cdl_error("HRP9999 '$1': kernel object joined from other user domain. kernel object joined from multi-user-domain must be placed out of domain", cell.get_name)
+                              b_warn = true
+                            end
+                          end
+                        when :OutOfDomain
+                          if b_info == false
+                            # 無所属からの結合
+                            # cdl_error( "HRP9999 kernel object joined from out of domain" )
+                            if cell_domain_type.get_kind == :OutOfDomain
+                              # この情報は、不要と判断する (無所属から無所属へ結合があると、アクセス許可ベクタが設定されない)
+                              # cdl_info2( cell.get_locale, "HRP9999 '$1': kernel object joined from out of domain, access vector is not set", cell.get_name )
+                              b_info = true
+                            end
+                          end
+                        else
+                          raise "unknown domain kind"
+                        end
+                      }
+                      # acv[key] = "TACP(#{cell_domain_root.get_name.to_s})"
+                    else
+                      # p "OutOfDomainCell"
+                      # 無所属のセル
+                      # 結合元ドメインに許可する
+                      # 結合元に無所属のセルがあると、TACP_SHARED が設定される. フロー解析してドメインを特定できるのが、あるべき仕様
+                    end
+                      if acp == "OMIT"
+                        acv[key] = acv_tmp.join("|")
+                      end
+                  end
+                }
+                # 各種SACの生成
+                domainOption = cell_domain_type.get_option
+                # p "domain_root ", cell.get_region.get_domain_root.get_name
+                if domainOption != "OutOfDomain" || cell.get_region.get_domain_root.get_name != "::"
+                    # 保護ドメインに属する場合
+                  file3 = AppFile.open("#{$gen}/tecsgen_#{cell.get_region.get_name}.cfg")
+                    print_cfg_sac(file3, val, acv)
+                    file3.close
+                else
+                    # 無所属の場合
+                  print_cfg_sac(file2, val, acv)
+                end
+
+                dbgPrint "===== end check regions #{cell.get_name} =====\n"
+            end
+        end
+      }
+      dbgPrint "===== end #{@celltype.get_name} plugin =====\n"
+      file2.close
+  end
+
+    # カーネルオブジェクトセルタイプの管理
+    # HRPKernelObjectPluginクラスに対してメソッド呼出しを行うことを想定
+  @@checked = false
+  @@celltype_list = []
+  @@region_list = []
+
+  def self.isChecked
+    return @@checked
+  end
+
+  def self.check_referenced_cells
+    dbgPrint "===== begin check registered celltype =====\n"
+      self.get_celltype_list.each {|ct|
+        dbgPrint(ct.get_name.to_s + "\n")
+      }
+      dbgPrint "===== end check registered celltype =====\n"
+
+      @@checked = true
+  end
+
+  def self.set_celltype(celltype)
+    @@celltype_list << celltype
+  end
+
+  def self.get_celltype_list
+    return @@celltype_list
+  end
+
+  def self.set_region_list(region)
+    @@region_list << region
+  end
+
+  def self.include_region(region)
+    return @@region_list.include?(region)
+  end
+
+  def self.include_celltype?(celltype)
+    return @@celltype_list.include?(celltype)
+  end
+end

data/lib/tecsgen/plugin/HRPObjectPlugin.rb

@@ -0,0 +1,93 @@
+#
+#  TECS Generator
+#      Generator for TOPPERS Embedded Component System
+#
+#   Copyright (C) 2008-2018 by TOPPERS Project
+#--
+#   上記著作権者は，以下の(1)〜(4)の条件を満たす場合に限り，本ソフトウェ
+#   ア（本ソフトウェアを改変したものを含む．以下同じ）を使用・複製・改
+#   変・再配布（以下，利用と呼ぶ）することを無償で許諾する．
+#   (1) 本ソフトウェアをソースコードの形で利用する場合には，上記の著作
+#       権表示，この利用条件および下記の無保証規定が，そのままの形でソー
+#       スコード中に含まれていること．
+#   (2) 本ソフトウェアを，ライブラリ形式など，他のソフトウェア開発に使
+#       用できる形で再配布する場合には，再配布に伴うドキュメント（利用
+#       者マニュアルなど）に，上記の著作権表示，この利用条件および下記
+#       の無保証規定を掲載すること．
+#   (3) 本ソフトウェアを，機器に組み込むなど，他のソフトウェア開発に使
+#       用できない形で再配布する場合には，次のいずれかの条件を満たすこ
+#       と．
+#     (a) 再配布に伴うドキュメント（利用者マニュアルなど）に，上記の著
+#         作権表示，この利用条件および下記の無保証規定を掲載すること．
+#     (b) 再配布の形態を，別に定める方法によって，TOPPERSプロジェクトに
+#         報告すること．
+#   (4) 本ソフトウェアの利用により直接的または間接的に生じるいかなる損
+#       害からも，上記著作権者およびTOPPERSプロジェクトを免責すること．
+#       また，本ソフトウェアのユーザまたはエンドユーザからのいかなる理
+#       由に基づく請求からも，上記著作権者およびTOPPERSプロジェクトを
+#       免責すること．
+#
+#   本ソフトウェアは，無保証で提供されているものである．上記著作権者お
+#   よびTOPPERSプロジェクトは，本ソフトウェアに関して，特定の使用目的
+#   に対する適合性も含めて，いかなる保証も行わない．また，本ソフトウェ
+#   アの利用により直接的または間接的に生じたいかなる損害に関しても，そ
+#   の責任を負わない．
+#
+#  $Id: HRPObjectPlugin.rb 2952 2018-05-07 10:19:07Z okuma-top $
+#++
+
+require_tecsgen_lib "HRPKernelObjectPlugin.rb"
+
+
+class HRPObjectPlugin < HRPKernelObjectPlugin
+  @@api = {
+      "SEMAPHORE" => ["SEM", :id, :attribute, :initialCount, :maxCount],
+      "EVENTFLAG" => ["FLG", :id, :attribute, :flagPattern],
+      "DATAQUEUE" => ["DTQ", :id, :attribute, :dataCount, :dataqueueManagementBuffer],
+      "PRIORITY_DATAQUEUE" => ["PDQ", :id, :attribute, :dataCount, :maxDataPriority, :priorityDataqueueManagementBuffer],
+      "FIXED_SIZE_MEMORYPOOL" => ["MPF", :id, :attribute, :blockCount, :blockSize, :memoryPool, :memoryPoolManagementBuffer],
+      "KERNEL" => ["SYS"],
+      "MESSAGE_BUFFER" => ["MBF", :id, :attribute, :maxMessageSize, :bufferSize, :mbfmb],
+      "MUTEX" => ["MTX", :id, :attribute, :ceilingPriority]
+  }
+
+    #=== HRPObjectPlugin#print_cfg_cre
+    # CRE_XXXの出力
+    # file:: FILE:     出力先ファイル
+    # val :: string:   カーネルオブジェクトの属性の解析結果
+    # tab :: string:   インデント用のtab
+  def print_cfg_cre(file, cell, val, tab)
+    if @@api.has_key?(@plugin_arg_str) == false
+      raise "#{@plugin_arg_str} is unknown"
+    elsif @plugin_arg_str != "KERNEL"
+      arg_list = []
+        params = @@api[@plugin_arg_str]
+        if @plugin_arg_str == "MUTEX" && (val[:attribute] =~ /\bTA_CEILING\b/).nil?
+          slice_end = -2 # :ceilingPriority を外す
+        else
+          slice_end = -1
+        end
+        # p @plugin_arg_str, slice_end, val[:attribute], (val[:attribute] =~ /\bTA_CEILING\b/)
+        params.slice(2..slice_end).each {|attr|
+          arg_list << val[attr].to_s
+        }
+        file.print tab
+        file.puts "CRE_#{@@api[@plugin_arg_str].at(0)}(#{val[:id]}, { #{arg_list.join(", ")} });"
+    end
+  end
+
+    #=== HRPObjectPlugin#print_cfg_sac
+    # SAC_XXXの出力
+    # file:: FILE:     出力先ファイル
+    # val :: string:   カーネルオブジェクトの属性の解析結果
+    # acv :: string:   アクセスベクタ
+  def print_cfg_sac(file, val, acv)
+    if @@api.has_key?(@plugin_arg_str) == false
+      raise "#{@plugin_arg_str} is unknown"
+    elsif @plugin_arg_str != "KERNEL"
+      file.puts "SAC_#{@@api[@plugin_arg_str].at(0)}(#{val[:id]}, { #{acv[:accessPattern1]}, #{acv[:accessPattern2]}, #{acv[:accessPattern3]}, #{acv[:accessPattern4]} });"
+    else
+      file.puts "SAC_#{@@api[@plugin_arg_str].at(0)}({ #{acv[:accessPattern1]}, #{acv[:accessPattern2]}, #{acv[:accessPattern3]}, #{acv[:accessPattern4]} });"
+    end
+  end
+end

data/lib/tecsgen/plugin/HRPPlugin.rb

@@ -0,0 +1,356 @@
+#
+#  TECS Generator
+#      Generator for TOPPERS Embedded Component System
+#
+#   Copyright (C) 2014-2018 by TOPPERS Project
+#--
+#   上記著作権者は，以下の(1)〜(4)の条件を満たす場合に限り，本ソフトウェ
+#   ア（本ソフトウェアを改変したものを含む．以下同じ）を使用・複製・改
+#   変・再配布（以下，利用と呼ぶ）することを無償で許諾する．
+#   (1) 本ソフトウェアをソースコードの形で利用する場合には，上記の著作
+#       権表示，この利用条件および下記の無保証規定が，そのままの形でソー
+#       スコード中に含まれていること．
+#   (2) 本ソフトウェアを，ライブラリ形式など，他のソフトウェア開発に使
+#       用できる形で再配布する場合には，再配布に伴うドキュメント（利用
+#       者マニュアルなど）に，上記の著作権表示，この利用条件および下記
+#       の無保証規定を掲載すること．
+#   (3) 本ソフトウェアを，機器に組み込むなど，他のソフトウェア開発に使
+#       用できない形で再配布する場合には，次のいずれかの条件を満たすこ
+#       と．
+#     (a) 再配布に伴うドキュメント（利用者マニュアルなど）に，上記の著
+#         作権表示，この利用条件および下記の無保証規定を掲載すること．
+#     (b) 再配布の形態を，別に定める方法によって，TOPPERSプロジェクトに
+#         報告すること．
+#   (4) 本ソフトウェアの利用により直接的または間接的に生じるいかなる損
+#       害からも，上記著作権者およびTOPPERSプロジェクトを免責すること．
+#       また，本ソフトウェアのユーザまたはエンドユーザからのいかなる理
+#       由に基づく請求からも，上記著作権者およびTOPPERSプロジェクトを
+#       免責すること．
+#
+#   本ソフトウェアは，無保証で提供されているものである．上記著作権者お
+#   よびTOPPERSプロジェクトは，本ソフトウェアに関して，特定の使用目的
+#   に対する適合性も含めて，いかなる保証も行わない．また，本ソフトウェ
+#   アの利用により直接的または間接的に生じたいかなる損害に関しても，そ
+#   の責任を負わない．
+#
+#  $Id: HRPPlugin.rb 2952 2018-05-07 10:19:07Z okuma-top $
+#++
+
+
+require_tecsgen_lib "HRPKernelObjectManager.rb"
+#
+# 各メソッドの役割りは、DomainPlugin.rb を参照のこと
+# HRPカーネル用ドメインプラグイン
+class HRPPlugin < DomainPlugin
+
+  def initialize(region, name, option)
+    super
+    dbgPrint "HRPPlugin: initialize: region=#{region.get_name}, domainName=#{name}, option=#{option}\n"
+    @region = region
+    @name   = name
+    case option
+    when "kernel", "user", "OutOfDomain"
+      # OK
+      @option = option
+    else
+      cdl_error("HRPPlugin: '$1' is unacceptable domain kind, specify 'kernel' or 'user'", option)
+      @option = "kernel" # とりあえず kernel を設定しておく
+    end
+  end
+
+  def add_through_plugin(join, current_region, next_region, through_type)
+    # join.get_owner:Cell  左辺のセル
+    # join.get_definition:Port 呼び口
+    # join.get_subscript:Integer or nil 呼び口配列の添数 (Join::@subscript の説明参照)
+    # join.get_cell:Cell 右辺のセル
+    # join.get_port_name:Symbol 受け口
+    # get_rhs_subscript:Integer or nil 受け口配列の添数 (Join::@rhs_subscript の説明参照)
+    # return []
+    dbgPrint "MyDomainPlugin: add_through_plugin: #{current_region.get_name}=>#{next_region.get_name}, #{join.get_owner.get_name}.#{join.get_definition.get_name}=>#{join.get_cell.get_name}.#{join.get_port_name}, #{through_type}\n"
+
+    # puts "=====Join Check Start====="
+    # puts "caller: #{join.get_owner.get_name.to_s}, callee: #{join.get_cell.get_name.to_s}"
+    # puts "=====Join Check param====="
+    current_domain = current_region.get_domain_root.get_domain_type
+    next_domain = next_region.get_domain_root.get_domain_type
+    # puts current_domain.get_option.to_s
+    # if !next_domain.nil?
+    #     puts next_domain.get_option.to_s
+    # else
+    #     puts "next domain is nil!"
+    # end
+
+    HRPPlugin.add_inter_domain_join_set join
+    # p join.get_cell.get_name
+    # p join.get_cell.get_real_celltype(join.get_rhs_port1).get_name
+    # if HRPKernelObjectManager.include_celltype?(join.get_cell.get_celltype.get_global_name)   #oyama: get_name => get_global_name
+    if HRPKernelObjectManager.include_celltype?(join.
+                                                 get_cell.
+                                                 get_real_celltype(join.get_rhs_port1).
+                                                 get_global_name) # oyama: get_name => get_global_name
+        # 結合先がカーネルオブジェクトセル
+        # @plugin_body = HRP2SVCPlugin.new(cell_name, plugin_arg, next_cell, next_cell_port_name, signature, celltype, caller_cell)
+        # 何もしないthrough
+        # puts "***** #{join.get_cell.get_celltype.get_name} is kernel object"
+      return []
+        # return [ :HRP2SVCPlugin, "channelCelltype=tMessagebufferChannel,noClientSemaphore=true" ]
+    # elsif @end_region.is_root?
+    # elsif next_region.get_option == OutOfDomain
+    # elsif next_domain.nil?
+    elsif next_domain.get_option.to_s == "OutOfDomain"
+    #     # 結合先が無所属
+    #     # 何もしないthrough
+    #     # @plugin_body = HRP2SVCPlugin.new(cell_name, plugin_arg, next_cell, next_cell_port_name, signature, celltype, caller_cell)
+        # puts "***** nil"
+      return []
+    # elsif @start_region.get_param != :KERNEL_DOMAIN && @end_region.get_param == :KERNEL_DOMAIN
+    elsif current_domain.get_option.to_s != "kernel" && next_domain.get_option.to_s == "kernel"
+        # ユーザドメインからカーネルドメインへの結合
+        # @plugin_body = HRP2SVCPlugin.new(cell_name, plugin_arg, next_cell, next_cell_port_name, signature, celltype, caller_cell)
+        # puts "***** svc"
+      return [:HRPSVCPlugin, ""]
+    elsif current_domain != next_domain
+        # 別のユーザドメインへの結合
+        # @plugin_body = HRP2RPCPlugin.new(cell_name, plugin_arg, next_cell, next_cell_port_name, signature, celltype, caller_cell)
+        # puts "***** rpc"
+        # return [ :HRPRPCPlugin, "channelCelltype=tMessagebufferChannel,noClientSemaphore=true" ]
+        # puts "HRPPlugin:RPC:PPAllocatorSize=256"
+      return [:HRPRPCPlugin, "noClientSemaphore=false,PPAllocatorSize=256"]
+    else
+        # その他
+        # 何もしないthrough
+        # @plugin_body = HRP2SVCPlugin.new(cell_name, plugin_arg, next_cell, next_cell_port_name, signature, celltype, caller_cell)
+      dbgPrint "warning: at HRP Join Check"
+        return nil
+    end
+
+    # puts "=====Join Check End====="
+  end
+
+  def joinable?(current_region, next_region, through_type)
+    dbgPrint "MyDomainPlugin: joinable? from #{current_region.get_name} to #{next_region.get_name} (#{through_type})\n"
+    return true
+  end
+
+  #== ドメイン種別を返す
+  # return::Symbol :kernel, :user, :OutOfDomain
+  def get_kind
+    return @option.to_sym
+  end
+
+  def self.gen_post_code(file)
+  end
+
+  # ATT_MODを生成済みかどうか                   # 2017.8.27
+  @@generate_memory_module = false
+
+  @@include_extsvc_fncd = false # 17.07.26 暫定
+  #
+  #  ATT_MODの生成
+  #  gen_factory実行時には，すべてのセルタイププラグインを生成済みのはずなので，
+  #  カーネルAPIコードのメモリ保護を省略できる．
+  #
+  def gen_factory
+    super
+
+    if @@include_extsvc_fncd == false
+      file = AppFile.open("#{$gen}/tecsgen.cfg")
+      file.print "/* HRPPlugin 001 */\n"
+      file.print "#include \"extsvc_fncode.h\"\n" ## 2017.7.26
+      file.close
+      @@include_extsvc_fncd = true
+    end
+
+    if @@generate_memory_module == false
+
+      # INCLUDE を出力
+      #  すべてのドメインに対する cfg を先に生成しておく
+      #  もし、ドメインに属するカーネルオブジェクトも、モジュールもない場合でも、cfg が出力される
+      regions = DomainType.get_domain_regions[:HRP]
+      file = AppFile.open("#{$gen}/tecsgen.cfg")
+      file.print "/* HRPPlugin 002 */\n"
+      regions.each{|region|
+        if !region.is_root?
+          nsp = region.get_global_name.to_s
+          file2 = AppFile.open("#{$gen}/tecsgen_#{nsp}.cfg")
+          file2.close
+          case region.get_domain_type.get_kind
+          when :kernel
+            pre = "KERNEL_DOMAIN{\n    "
+            post = "}\n"
+          when :user
+            pre = "DOMAIN(#{region.get_name}){\n    "
+            post = "}\n"
+          when :OutOfDomain
+            pre = ""
+            post = "\n"
+          end
+          file.puts "#{pre}INCLUDE(\"#{$gen}/tecsgen_#{nsp}.cfg\");\n#{post}"
+        end
+      }
+      file.print "/* HRPPlugin 002 end */\n\n"
+      file.close
+
+      check_celltype_list = []
+
+      #
+      #  ATT_MODの生成
+      #
+      Cell.get_cell_list2.each {|cell|
+        # すべてのセルを走査してセルタイプをチェック
+        ct = cell.get_celltype
+        if ct.class == Celltype && check_celltype_list.include?(ct) == false
+          # チェック済みセルタイプに登録
+          check_celltype_list << ct
+
+          # 未チェックのセルタイプだった場合
+          # puts "check for ATT_MOD : #{ct.classget_global_name}"
+          # puts "check for ATT_MOD : #{ct.get_global_name}"
+
+          # カーネルAPIのコード，データはメモリ保護しない # HRP3 oyama delete by Takada's request
+          # next if HRPKernelObjectManager.include_celltype?( ct.get_name )
+
+          # 必要のないセルタイプのコード，データはメモリ保護しない
+          next if !ct.need_generate?
+
+          # HRPのドメインリージョンを取得
+          regions = ct.get_domain_roots
+          regions_hrp = regions[:HRP]
+          dbgPrint "HRP domain in #{ct.get_name}: "
+          regions_hrp.each {|reg|
+            dbgPrint reg.get_name
+          }
+          # puts ""
+
+          # セル管理ブロックとスケルトンのメモリ保護
+          # gen_celltype_names_domain 相当の処理
+          if regions_hrp.include?(Region.get_root) == false && regions_hrp.length > 1
+            # ドメインが複数で，OutOfDomainにセルが存在しないセルタイプの場合
+            # 共有のセル管理ブロックとスケルトンコードを登録する
+            file = AppFile.open("#{$gen}/tecsgen.cfg")
+            file.printf "%-60s/* HRPPlugin 003 */\n", "ATT_MOD(\"#{ct.get_global_name}_tecsgen.o\");"
+            file.close
+          end
+
+          regions_hrp.each {|reg|
+            if reg.is_root?
+              nsp = ""
+            else
+              nsp = "_#{reg.get_global_name}"
+            end
+            file = AppFile.open("#{$gen}/tecsgen#{nsp}.cfg")
+            file.printf "%-50s/* HRPPlugin 004 */\n", "ATT_MOD(\"#{ct.get_global_name}#{nsp}_tecsgen.o\");"
+            file.close
+          }
+
+          # セルタイプコードがない場合はスキップ
+          next if ct.is_all_entry_inline? && !ct.is_active?
+
+          # セルタイプコードのメモリ保護
+          # gen_celltype_names_domain2 相当の処理
+          if regions_hrp.include?(Region.get_root) == true || regions_hrp.length > 1
+            # OutOfDomainにセルが存在するセルタイプの場合
+            # または，複数のドメインにセルが存在するセルタイプの場合
+            # セルタイプコードを共有するように登録する
+            file = AppFile.open("#{$gen}/tecsgen.cfg")
+          else
+            # OutOfDomainでない単一のドメインにセルが存在するセルタイプの場合
+            # セルタイプコードを専有するように登録する
+            file = AppFile.open("#{$gen}/tecsgen_#{regions_hrp[0].get_global_name}.cfg")
+          end
+
+          file.printf "%-50s/* HRPPlugin 005 */\n", "ATT_MOD(\"#{ct.get_global_name}.o\");"
+          file.close
+        else
+          # 何もしない
+        end
+      }
+
+      @@generate_memory_module = true
+    else
+      # 何もしない
+    end
+  end
+
+  #----- Inter Domain Join Set -----#
+  @@inter_domain_join_set = {} # {entry_cell =>{domain_root=>count} }  Hash of inter domain join
+  def self.add_inter_domain_join_set(join)
+    rhs_cell = join.get_cell
+    dbgPrint "--------- add_inter_domain:#{join.get_owner.get_namespace_path} => #{join.get_cell.get_namespace_path}-----\n"
+    domain_root = join.get_owner.get_region.get_domain_root # lhs cell's domain root
+    if @@inter_domain_join_set[rhs_cell].nil?
+      @@inter_domain_join_set[rhs_cell] = []
+    end
+    # 左辺のドメインルートを記録
+    @@inter_domain_join_set[rhs_cell] << join
+  end
+
+  def self.get_inter_domain_join_set(rhs_cell)
+    if @@inter_domain_join_set[rhs_cell]
+      @@inter_domain_join_set[rhs_cell].uniq!
+    else
+      @@inter_domain_join_set[rhs_cell] = []
+    end
+    return @@inter_domain_join_set[rhs_cell]
+  end
+
+  def self.get_inter_domain_join_roots(rhs_cell)
+    dbgPrint "--------- get_inter_domain #{rhs_cell.get_namespace_path} -----\n"
+    domain_roots = []
+    set = get_inter_domain_join_set rhs_cell
+    set.each{|join|
+      dbgPrint "--------- get_inter_domain:#{join.get_owner.get_namespace_path} => #{join.get_cell.get_namespace_path}-----\n"
+      # if join.get_owner.get_region.get_domain_root.get_domain_type.get_option == "user" then
+        domain_roots << join.get_owner.get_region.get_domain_root
+      # end
+    }
+    return domain_roots.uniq
+  end
+
+  def self.get_sac_str(cell)
+    domain_roots = self.get_inter_domain_join_roots cell
+    delim = ""
+    acv = ""
+    cell_domain_root = cell.get_region.get_domain_root
+    if cell_domain_root.get_domain_type.get_kind != :OutOfDomain
+      domain_roots << cell.get_region.get_domain_root # 結合先のドメインも含める
+    end
+    domain_roots.each{|dr|
+      case dr.get_domain_type.get_kind
+      when :kernel
+        acv += "#{delim}TACP_KERNEL"
+        delim = "|"
+      when :user
+        acv += "#{delim}TACP(#{dr.get_name})"
+        delim = "|"
+        if cell_domain_root.get_domain_type.get_kind != :OutOfDomain &&
+           dr.get_namespace_path != cell_domain_root.get_namespace_path
+          cdl_error("HRP9999 '$1': kernel object joined from other user domain. kernel object joined from multi-user-domain must be placed out of domain", cell.get_name)
+        end
+      when :OutOfDomain
+        if cell_domain_root.get_domain_type.get_kind == :OutOfDomain
+          acv += "#{delim}TACP_SHARED"
+          delim = "|"
+        end
+      else
+        raise "unkown domain kind"
+      end
+    }
+    if acv == ""
+      # 呼び先セルが無所属かつ、呼び元も無所属のみ、または結合無しの場合
+      acv = "TACP_SHARED"
+    end
+    sac_str = "{"
+    delim = ""
+    [:accessPattern1, :accessPattern2, :accessPattern3, :accessPattern4].each{|acp|
+      init = (cell.get_attr_initializer acp).to_s
+      if init != "OMIT"
+        sac_str += delim + init
+      else
+        sac_str += delim + acv
+      end
+      delim = ", "
+    }
+    return sac_str + "}"
+  end
+end