tecscde 0.6.0

data/lib/tecsgen/plugin/HRPTaskPlugin.rb

@@ -0,0 +1,107 @@
+#
+#  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: HRPTaskPlugin.rb 2952 2018-05-07 10:19:07Z okuma-top $
+#++
+
+require_tecsgen_lib "HRPKernelObjectPlugin.rb"
+require_tecsgen_lib "HRPKernelObjectManager.rb"
+#== celltype プラグインの共通の親クラス
+class HRPTaskPlugin < HRPKernelObjectPlugin
+    ##
+    # oyama: add to avoid Ruby exception in code generation phase.
+  def new_cell(cell)
+    region = cell.get_region
+    dbgPrint "HRPTaskCelltypePlugin new_cell=#{cell.get_name} region=#{region.get_name}\n"
+    domainOption = cell.get_region.get_domain_root.get_domain_type.get_option
+    if domainOption == "OutOfDomain"
+      cdl_error("HRP9999 HRP task '$1' must belong to a domain", cell.get_name)
+    end
+  end
+
+    # # ATT_MODを生成済みかどうか                   # 2017.8.27
+    # @@generate_memory_module = false
+
+    #
+    #  CRE_TSKの出力
+    #  file:: FILE:     出力先ファイル
+    #  cell :: Cell タスクセルインスタンス
+    #  val :: Hash {attr => string}:   カーネルオブジェクトの属性の解析結果
+    #  tab :: string: タブ
+    #
+  def print_cfg_cre(file, cell, val, tab)
+    val[:id] = val[:id].gsub(/(^|[^\$])\$id\$/, "\\1#{@celltype.get_name}_#{cell.get_name}")
+      # $cbp$の代わり
+      cell_IDX = @celltype.get_name_array(cell)[7]
+      # CRE_TSKの生成
+      dbgPrint "assign task plugin\n"
+      domainOption = cell.get_region.get_domain_root.get_domain_type.get_option
+      # if cell.get_region.get_region_type == :DOMAIN
+      if domainOption != "OutOfDomain"
+        if val[:systemStackSize] == "0"
+            #
+            #  システムスタックの定義を省略
+            #
+          file.print <<EOT
+CRE_TSK(#{val[:id]}, { #{val[:attribute]}, #{cell_IDX}, tTask_start, #{val[:priority]}, #{val[:stackSize]}, NULL });
+EOT
+        else
+            #
+            #  システムスタックの定義を追加
+            #
+          file.print <<EOT
+CRE_TSK(#{val[:id]}, { #{val[:attribute]}, #{cell_IDX}, tTask_start, #{val[:priority]}, #{val[:stackSize]}, NULL, #{val[:systemStackSize]}, NULL });
+EOT
+        end
+      else
+          #
+          #  無所属のタスクは存在してはならないため，エラーとする
+          #
+        raise "task #{val[:id]} must belong to a domain."
+      end
+  end
+
+    #
+    #  SAC_TSKの出力
+    #  file:: FILE:     出力先ファイル
+    #  val :: Hash {attr => string}:   カーネルオブジェクトの属性の解析結果
+    #  acv :: Hash {accessPatternx => string}:   アクセス許可ベクタ
+    #
+  def print_cfg_sac(file, val, acv)
+     # pp "SAC_TSK"
+     # pp val
+    file.puts "SAC_TSK(#{val[:id]}, { #{acv[:accessPattern1]}, #{acv[:accessPattern2]}, #{acv[:accessPattern3]}, #{acv[:accessPattern4]} });"
+  end
+end

data/lib/tecsgen/plugin/Mruby2CBridgePlugin.rb

@@ -0,0 +1,86 @@
+#
+#  mruby => TECS bridge
+#
+#   Copyright (C) 2008-2014 by TOPPERS Project
+#
+#   上記著作権者は，以下の(1)〜(4)の条件を満たす場合に限り，本ソフトウェ
+#   ア（本ソフトウェアを改変したものを含む．以下同じ）を使用・複製・改
+#   変・再配布（以下，利用と呼ぶ）することを無償で許諾する．
+#   (1) 本ソフトウェアをソースコードの形で利用する場合には，上記の著作
+#       権表示，この利用条件および下記の無保証規定が，そのままの形でソー
+#       スコード中に含まれていること．
+#   (2) 本ソフトウェアを，ライブラリ形式など，他のソフトウェア開発に使
+#       用できる形で再配布する場合には，再配布に伴うドキュメント（利用
+#       者マニュアルなど）に，上記の著作権表示，この利用条件および下記
+#       の無保証規定を掲載すること．
+#   (3) 本ソフトウェアを，機器に組み込むなど，他のソフトウェア開発に使
+#       用できない形で再配布する場合には，次のいずれかの条件を満たすこ
+#       と．
+#     (a) 再配布に伴うドキュメント（利用者マニュアルなど）に，上記の著
+#         作権表示，この利用条件および下記の無保証規定を掲載すること．
+#     (b) 再配布の形態を，別に定める方法によって，TOPPERSプロジェクトに
+#         報告すること．
+#   (4) 本ソフトウェアの利用により直接的または間接的に生じるいかなる損
+#       害からも，上記著作権者およびTOPPERSプロジェクトを免責すること．
+#       また，本ソフトウェアのユーザまたはエンドユーザからのいかなる理
+#       由に基づく請求からも，上記著作権者およびTOPPERSプロジェクトを
+#       免責すること．
+#
+#   本ソフトウェアは，無保証で提供されているものである．上記著作権者お
+#   よびTOPPERSプロジェクトは，本ソフトウェアに関して，特定の使用目的
+#   に対する適合性も含めて，いかなる保証も行わない．また，本ソフトウェ
+#   アの利用により直接的または間接的に生じたいかなる損害に関しても，そ
+#   の責任を負わない．
+#
+#   $Id: Mruby2CBridgePlugin.rb 2952 2018-05-07 10:19:07Z okuma-top $
+#
+
+class Mruby2CBridgePlugin < SignaturePlugin
+  @@signature_list = { }
+
+  def initialize(signature, option)
+    super
+
+    @celltype_name = :"t#{@signature.get_global_name}"
+    @class_name = :"T#{@signature.get_global_name}"
+
+    parse_plugin_arg
+  end
+
+  def gen_cdl_file(file)
+    if @@signature_list.length == 0
+      print_msg "  Mruby2CBridgePlugin: [initialize function] 'void initializeBridge( mrb_state *mrb )' must be called from VM.\n"
+      c2tecs = "generate( C2TECSBridgePlugin, nMruby::sInitializeBridge, \"silent=true\" );\n"
+    end
+
+    if @@signature_list[@signature.get_global_name]
+      @@signature_list[@signature.get_global_name] << self
+      cdl_warning("MRCW001 signature '$1' duplicate. ignored current one", @signature.get_namespace_path)
+      return
+    end
+
+    @@signature_list[@signature.get_global_name] = [self]
+    print_msg "  Mruby2CBridgePlugin: [object creattion]    object = TECS::#{@class_name}.new( 'C#{@signature.get_global_name}' )\n"
+    print_msg "  Mruby2CBridgePlugin: [function call]       result = object.function( params )  # substitute 'function' and params \n"
+
+    cf = CFile.open("#{$gen}/Mruby2C_tsInitializerBridge.cdl", "w")
+    cf.print <<EOT
+cell nC2TECS::tnMruby_sInitializeBridge C2TECS_tsInitializeBridge{
+    cCall = VM_TECSInitializer.eInitialize;
+};
+EOT
+    cf.close
+
+    file.print <<EOT
+generate( MrubyBridgePlugin, #{@signature.get_namespace_path}, "silent=true" );
+generate( TECS2CBridgePlugin, #{@signature.get_namespace_path}, "silent=true" );
+#{c2tecs}
+cell nMruby::t#{@signature.get_name} C#{@signature.get_name}{
+    cTECS = TECS2C_#{@signature.get_name}.eEnt;
+};
+cell nTECS2C::t#{@signature.get_name} TECS2C_#{@signature.get_name}{};
+
+import( "Mruby2C_tsInitializerBridge.cdl" );
+EOT
+  end
+end

data/lib/tecsgen/plugin/MrubyBridgeCellPlugin.rb

@@ -0,0 +1,264 @@
+#
+#  TECS Generator
+#      Generator for TOPPERS Embedded Component System
+#
+#   Copyright (C) 2008-2017 by TOPPERS Project
+#--
+#   上記著作権者は，以下の(1)〜(4)の条件を満たす場合に限り，本ソフトウェ
+#   ア（本ソフトウェアを改変したものを含む．以下同じ）を使用・複製・改
+#   変・再配布（以下，利用と呼ぶ）することを無償で許諾する．
+#   (1) 本ソフトウェアをソースコードの形で利用する場合には，上記の著作
+#       権表示，この利用条件および下記の無保証規定が，そのままの形でソー
+#       スコード中に含まれていること．
+#   (2) 本ソフトウェアを，ライブラリ形式など，他のソフトウェア開発に使
+#       用できる形で再配布する場合には，再配布に伴うドキュメント（利用
+#       者マニュアルなど）に，上記の著作権表示，この利用条件および下記
+#       の無保証規定を掲載すること．
+#   (3) 本ソフトウェアを，機器に組み込むなど，他のソフトウェア開発に使
+#       用できない形で再配布する場合には，次のいずれかの条件を満たすこ
+#       と．
+#     (a) 再配布に伴うドキュメント（利用者マニュアルなど）に，上記の著
+#         作権表示，この利用条件および下記の無保証規定を掲載すること．
+#     (b) 再配布の形態を，別に定める方法によって，TOPPERSプロジェクトに
+#         報告すること．
+#   (4) 本ソフトウェアの利用により直接的または間接的に生じるいかなる損
+#       害からも，上記著作権者およびTOPPERSプロジェクトを免責すること．
+#       また，本ソフトウェアのユーザまたはエンドユーザからのいかなる理
+#       由に基づく請求からも，上記著作権者およびTOPPERSプロジェクトを
+#       免責すること．
+#
+#   本ソフトウェアは，無保証で提供されているものである．上記著作権者お
+#   よびTOPPERSプロジェクトは，本ソフトウェアに関して，特定の使用目的
+#   に対する適合性も含めて，いかなる保証も行わない．また，本ソフトウェ
+#   アの利用により直接的または間接的に生じたいかなる損害に関しても，そ
+#   の責任を負わない．
+#
+#   $Id: MrubyBridgeCellPlugin.rb 2952 2018-05-07 10:19:07Z okuma-top $
+#++
+
+#== celltype プラグインの共通の親クラス
+class MrubyBridgeCellPlugin < CellPlugin
+  # プラグイン引数名 => Proc
+  MrubyBridgePluginArgProc = {
+      "ignoreUnsigned" => Proc.new {|obj, rhs| obj.set_ignoreUnsigned rhs },
+      "exclude_port" => Proc.new {|obj, rhs| obj.set_exclude_port rhs },
+      "exclude_port_func" => Proc.new {|obj, rhs| obj.set_exclude_port_func rhs },
+      "auto_exclude" => Proc.new {|obj, rhs| obj.set_auto_exclude rhs },
+  }
+  @@b_gen_post_code_by_dependent = false # true if gen_post_code is called by MrubyBridgeCelltypePlugin
+  @@cell_list = {} # gen_cdl_file'ed list to avoid duplicate generation
+  @@signature_list = {}
+
+  require_tecsgen_lib("MrubyBridgeSignaturePlugin.rb")
+
+  # @exclude_port::[ String(port_name) ] :
+  # @exclude_port_func::{ [ String(port_name) ] => [ String(func_name) ] } :
+  # @port_list::{ String(port_name) => String(include/exclude=func_name) }  : all included port and opt_string
+
+  #=== CellPlugin# initialize
+  # cell::     Cell        セル（インスタンス）
+  # このメソッドは、セルの構文解析が終わったところで呼び出される
+  # この段階では意味解析が終わっていない
+  def initialize(cell, option)
+    dbgPrint "  #{self.class.name}: initialzie=#{cell.get_name} option=#{option}\n"
+    super
+    @cell = cell
+
+    # option
+    @b_ignoreUnsigned = false
+    @exclude_port = []
+    @exclude_port_func = {}
+    @b_auto_exclude = true # auto_exclude = true by default
+    MrubyBridgeSignaturePlugin.set_gen_post_code_by_dependent
+
+    @plugin_arg_str = CDLString.remove_dquote option
+    # @plugin_arg_str = option.gsub( /\A"(.*)/, '\1' )    # 前後の "" を取り除く
+    # @plugin_arg_str.sub!( /(.*)"\z/, '\1' )
+    @plugin_arg_list = {}
+    dbgPrint "#{self.class.name}: initialzie: #{cell.get_name}\n"
+    @plugin_arg_check_proc_tab = MrubyBridgePluginArgProc
+    parse_plugin_arg
+
+    @port_list = {}         # set @port_list before return
+    ct = @cell.get_celltype
+    return if ct.nil?     # error case
+
+    port_list = ct.get_port_list
+    if @exclude_port.length > 0
+      # この実装では、存在しない port を指定されてもチェックできない
+      # print "MRBBridgeCellPlugin: exclude list\n"
+      port_list.each{|port|
+        if !@exclude_port.include?(port.get_name.to_s)
+          # print "MRBBridgeCellPlugin: #{port.get_name} included\n"
+          @port_list[port] = ""
+        else
+          # print "MRBBridgeCellPlugin: #{port.get_name} excluded\n"
+        end
+      }
+    else
+      port_list.each{|port|
+        @port_list[port] = ""
+      }
+    end
+
+    if @exclude_port_func.length > 0
+      @port_list.each{|port, opt_str|
+        delim = ""
+        if @exclude_port_func.include?(port.get_name.to_s)
+          @exclude_port_func[port.get_name.to_s].each{|func_name|
+            opt_str += delim + "exclude=" + func_name
+            delim = ","
+          }
+        end
+        @port_list[port] = opt_str
+      }
+    end
+  end
+
+  def gen_cdl_file(file)
+    dbgPrint "#{self.class.name}: gen_cdl_file: #{@cell.get_name}\n"
+
+    file.print <<EOT
+/* MrubyBridgeCellPlugin: generate for cell=#{@cell.get_name} */
+EOT
+
+    if @@cell_list[@cell]
+      file.print <<EOT
+
+/*
+ * generate for #{@cell.get_name} duplicate and ignored.
+ * This might comes from generate for celltype.
+ */
+EOT
+      cdl_info("MrubyBridgeCellPlugin: generate duplicate for cell '$1'", @cell.get_name)
+      return
+    end
+    @@cell_list[@cell] = @cell
+
+    @port_list.each{|port, opt_str|
+      next if port.get_signature.nil?
+
+      case port.get_signature.get_context
+      when "task", "any"
+      else
+        next
+      end
+
+      if port.get_port_type == :ENTRY
+        print "  MrubyBridgeCellPlugin: [cell.port] #{@cell.get_name}.#{port.get_name} => [mruby instance] TECS::T#{port.get_signature.get_name}.new( '#{@cell.get_name}#{port.get_name}Bridge' ) \n"
+        if @@signature_list[port.get_signature].nil?
+          opt_str = "ignoreUnsigned=#{@b_ignoreUnsigned}, auto_exclude=#{@b_auto_exclude}, " + opt_str
+          # p "opt_str=#{opt_str}"
+
+          file.print <<EOT
+
+/* cell.port=#{@cell.get_name}.#{port.get_name} */
+generate( MrubyBridgePlugin, #{port.get_signature.get_namespace_path}, "#{opt_str}" );
+EOT
+          @@signature_list[port.get_signature] = true
+        end
+
+        # mikan option
+        nest = @cell.get_region.gen_region_str_pre file
+        nest_str = "  " * nest
+
+        file.print <<EOT
+#{nest_str}/* BridgeCell */
+#{nest_str}cell nMruby::t#{port.get_signature.get_name} #{@cell.get_name}#{port.get_name}Bridge {
+#{nest_str}    cTECS = #{@cell.get_namespace_path}.#{port.get_name};
+#{nest_str}};
+EOT
+        @cell.get_region.gen_region_str_post file
+      end
+    }
+  end
+
+  #=== 後ろの CDL コードを生成
+  # プラグインの後ろの CDL コードを生成
+  # file:: File:
+  def self.gen_post_code(file)
+    dbgPrint "#{self.name}: gen_post_code\n"
+    if !@@b_gen_post_code_by_dependent
+      gen_post_code_body file
+    end
+  end
+
+  def self.set_gen_post_code_by_dependent # by MrubyBridgeCelltypePlugin
+    dbgPrint "#{self.name}: set_gen_post_code_by_dependent\n"
+    @@b_gen_post_code_by_dependent = true
+    MrubyBridgeSignaturePlugin.set_gen_post_code_by_dependent
+  end
+
+  def self.gen_post_code_body(file)
+    # 複数のプラグインの post_code が一つのファイルに含まれるため、以下のような見出しをつけること
+    # file.print "/* '#{self.class.name}' post code */\n"
+    dbgPrint "#{self.name}: gen_post_code_body\n"
+    MrubyBridgeSignaturePlugin.gen_post_code_body file
+  end
+
+  #=== プラグイン引数 ignoreUnsigned
+  def set_ignoreUnsigned(rhs)
+    if rhs == "true" || rhs.nil?
+      @b_ignoreUnsigned = true
+    end
+  end
+
+  #=== プラグイン引数 exclude_port
+  def set_exclude_port(rhs)
+    ports = rhs.split ","
+    ct = @cell.get_celltype
+    return if ct.nil? # error case
+    ports.each{|rhs_port|
+      obj = ct.find(rhs_port.to_sym)
+      if (!obj.instance_of? Port) || obj.get_port_type != :ENTRY
+        cdl_error("MRB9999 exclude_port '$1' not found or not entry in celltype '$2'", rhs_port, ct.get_name)
+      else
+        # print "MRBBridgeCellPlugin: exclude #{rhs_port}\n"
+        @exclude_port << rhs_port
+      end
+    }
+  end
+
+  #=== プラグイン引数 exclude_port_func
+  def set_exclude_port_func(rhs)
+    port_funcs = rhs.split ","
+    ct = @cell.get_celltype
+    return if ct.nil? # error case
+    port_funcs.each{|rhs_port_func|
+      port_func = rhs_port_func.split "."
+      if port_func.length != 2
+        cdl_error("MRB9999 exclude_port_func: '$1' not in 'port.func' form", rhs_port_func)
+      end
+      obj = ct.find(port_func[0].to_sym)
+      if (!obj.instance_of? Port) || obj.get_port_type != :ENTRY
+        cdl_error("MRB9999 exclude_port_func: port '$1' not found in celltype '$2'", rhs_port, ct.get_name)
+      else
+        signature = obj.get_signature
+        next if signature.nil? # error case
+        if signature.get_function_head port_func[1].to_sym
+          # print "MRBBridgeCellPlugin: #{port_func[0]}.#{port_func[1]} exclude\n"
+          if @exclude_port_func[port_func[0]]
+            @exclude_port_func[port_func[0]] <<  port_func[1]
+          else
+            @exclude_port_func[port_func[0]] = [port_func[1]]
+          end
+        else
+          cdl_error("MRB9999 exclude_port_func: func '$1' not found in port '$2' celltype $3",
+                     port_func[1], port_func[0], ct.get_name)
+        end
+      end
+    }
+  end
+
+  #=== プラグイン引数 auto_exclude
+  def set_auto_exclude(rhs)
+    # print "MrubyBridgeCellPlugin: auto_exclude=#{rhs}\n"
+    if rhs == "false"
+      @b_auto_exclude = false
+    elsif rhs == "true"
+      @b_auto_exclude = true # auto_exclude = true by default
+    else
+      cdl_warning("MRB9999 auto_exclude: unknown rhs value ignored. specify true or false")
+    end
+  end
+end