tecscde 0.6.0

data/lib/tecsgen/core/tecsinfo.rb

@@ -0,0 +1,860 @@
+#
+#  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: tecsinfo.rb 2850 2018-04-01 12:38:45Z okuma-top $
+#++
+
+# TECS 情報セルの生成
+module TECSInfo
+  # region は Link root のこと
+  def self.print_info(f, region)
+    # p "region: "+ region.get_name.to_s
+    nest = region.gen_region_str_pre f
+    indent0 = "    " * nest
+    indent = "    " * (nest + 1)
+    f.print <<EOT
+#{indent0}region rTECSInfo {
+EOT
+    Type.reset_print_info
+
+    # mikan 全部生成するのではなく、region 下のセルのセルタイプと、そこから参照されるシグニチャ、セルタイプに限定して出力すべき
+    # しかし、意味解析後に出力するため、これは容易ではない．最適化とコード生成は、リンクルートごとに行われる．
+    Namespace.print_info f, indent
+    region.get_link_root.print_info f, indent
+
+    f.print "\n#{indent}/*** TYPE information cell ***/\n"
+    Type.print_info_post f, indent
+
+    f.print "\n#{indent}/*** TECS information cell ***/\n"
+    f.print <<EOT
+#{indent}cell nTECSInfo::tTECSInfoSub TECSInfoSub {
+#{indent}    cNamespaceInfo = _RootNamespaceInfo.eNamespaceInfo;
+#{indent}    cRegionInfo    = _LinkRootRegionInfo.eRegionInfo;
+#{indent}} /* TECSInfoSub */;
+#{indent0}}; /* rTECSInfo */
+EOT
+    region.gen_region_str_post f
+  end
+end
+
+class Namespace
+  # RootRegion と LinkRegion は同じ Region クラスのオブジェクトである
+  # 子ネームスペースは Namespace クラスの、子リージョンは Region クラスのオブジェクトである
+  # これは、意味解析段階で呼び出されるため、リンクユニットごとに出しわけることができない
+  # 出しわけるには、2パスにする必要がある
+  def print_info_ns_sub(f, indent)
+    if @name == "::"
+      name = "_Root"
+    else
+      name = @global_name
+    end
+    f.print "\n#{indent}/*** #{get_namespace_path} namespace information cell ***/\n"
+    f.print <<EOT
+#{indent}cell nTECSInfo::tNamespaceInfo #{name}NamespaceInfo{
+#{indent}    name = "#{@name}";
+EOT
+    if @signature_list.length > 0
+      f.print "\n#{indent}    /* SIGNATURE info */\n"
+    end
+    @signature_list.each{|sig|
+      f.print <<EOT
+#{indent}    cSignatureInfo[] = #{sig.get_global_name}SignatureInfo.eSignatureInfo;
+EOT
+    }
+    if @celltype_list.length > 0
+      f.print "\n#{indent}    /* CELLTYPE info */\n"
+    end
+    @celltype_list.each{|ct|
+      if ct.get_cell_list.length > 0
+        f.print <<EOT
+#{indent}    cCelltypeInfo[] = #{ct.get_global_name}CelltypeInfo.eCelltypeInfo;
+EOT
+      end
+    }
+    if @namespace_list.length > 0
+      f.print "\n#{indent}    /* NAMESPACE info */\n"
+    end
+    @namespace_list.each{|ns|
+      if ns.instance_of? Namespace
+        f.print <<EOT
+#{indent}    cNamespaceInfo[] = #{ns.get_global_name}NamespaceInfo.eNamespaceInfo;
+EOT
+      end
+    }
+    f.print <<EOT
+#{indent}};   /* cell nTECSInfo::tNamespaceInfo #{name}NamespaceInfo */
+EOT
+  end
+
+  def print_info_ns(f, indent)
+    # p "print_info: #{self.get_global_name}"
+    print_info_ns_sub f, indent
+    @signature_list.each {|sig|
+      sig.print_info f, indent
+    }
+    @celltype_list.each {|ct|
+      if ct.get_cell_list.length > 0
+        ct.print_info f, indent
+      end
+    }
+    @namespace_list.each {|ns|
+      if ns.instance_of? Namespace # region を含めない
+        ns.print_info_ns f, indent
+      end
+    }
+  end
+
+  def self.print_info(f, indent)
+    @@root_namespace.print_info_ns f, indent
+  end
+
+  #=== Namespace# 構造体メンバーのオフセット定義
+  def print_struct_define(f)
+    f.print "\n/***** Offset of members of structures  *****/\n"
+    @struct_tag_list.get_items.each{|tag, sttype|
+      # print "sttype: #{tag.get_name} #{sttype}\n"
+      tag.get_members_decl.get_items.each{|decl|
+        f.printf "#define OFFSET_OF_%-30s  (%s)\n",
+                 "#{tag.get_ID_str}_#{decl.get_name}",
+                 "(uint32_t)(intptr_t)&(((#{tag.get_type_str}#{tag.get_type_str_post}*)0)->#{decl.get_name})"
+        f.printf "#define PLACE_OF_%-30s  (%s)\n",
+                 "#{tag.get_ID_str}_#{decl.get_name}",
+                 "VARDECL_PLACE_STRUCT"
+      }
+    }
+  end
+
+  def print_celltype_define_offset(f)
+    @celltype_list.each {|ct|
+      if ct.get_cell_list.length > 0
+        ct.print_define_offset f
+      end
+    }
+    @namespace_list.each {|ns|
+      if ns.instance_of? Namespace   # region を含めない
+        ns.print_celltype_define_offset f
+      end
+    }
+  end
+
+  def print_celltype_define(f)
+    @celltype_list.each {|ct|
+      if ct.get_cell_list.length > 0
+        ct.print_celltype_define f
+      end
+    }
+    @namespace_list.each {|ns|
+      if ns.instance_of? Namespace   # region を含めない
+        ns.print_celltype_define f
+      end
+    }
+  end
+
+  def print_call_define(f)
+    @celltype_list.each {|ct|
+      if ct.get_cell_list.length > 0
+        ct.print_call_define f
+      end
+    }
+    @namespace_list.each {|ns|
+      if ns.instance_of? Namespace   # region を含めない
+        ns.print_call_define f
+      end
+    }
+  end
+
+  def print_entry_define(f)
+    @celltype_list.each {|ct|
+      if ct.get_cell_list.length > 0
+        ct.print_entry_define f
+      end
+    }
+    @namespace_list.each {|ns|
+      if ns.instance_of? Namespace   # region を含めない
+        ns.print_entry_define f
+      end
+    }
+  end
+end
+
+class Region
+  def print_info_region_sub(f, indent)
+    if get_link_root == self
+      name = "_LinkRoot"
+    else
+      name = @global_name
+    end
+    # p "region:#{get_name}"
+    f.print "\n#{indent}/*** #{get_namespace_path} region information cell ***/\n"
+    f.print <<EOT
+#{indent}cell nTECSInfo::tRegionInfo #{name}RegionInfo{
+#{indent}    name = "#{@name}";
+EOT
+    @cell_list.each{|cell|
+        # print "cell class="+cell.get_celltype.class.name+", " + cell.get_celltype.get_name.to_s + " 1\n"
+      if !cell.exclude_info?
+        # print "cell class="+cell.get_celltype.class.name+", " + cell.get_celltype.get_name.to_s + " 2\n"
+        f.print "#{indent}    cCellInfo[] = #{cell.get_global_name}CellInfo.eCellInfo;\n"
+      end
+    }
+    @namespace_list.each {|region|
+      if region.instance_of? Region
+        f.print "#{indent}    cRegionInfo[] = #{region.get_global_name}RegionInfo.eRegionInfo;\n"
+       end
+    }
+    f.print "#{indent}};\n"
+    @cell_list.each{|cell|
+      if !cell.exclude_info?
+        cell.print_info f, indent
+      end
+    }
+  end
+
+  def print_info_region(f, indent)
+    self.print_info_region_sub f, indent
+    @namespace_list.each {|region|
+      if region.instance_of? Region
+        region.print_info_region f, indent
+      end
+    }
+  end
+
+  def print_info(f, indent)
+    # p "print_info: #{self.get_global_name}"
+    self.print_info_region f, indent
+  end
+
+  def self.print_cell_define(f)
+    region.get_link_root.print_cell_define f
+    region.get_link_root.get_region{|region|
+      if region.instance_of? Region
+        region.print_cell_define_offset f
+      end
+
+    }
+  end
+
+  def print_cell_define(f)
+    ct_list = {}
+    @cell_list.each{|cell|
+      next if cell.exclude_info_factory?
+      ct_list[cell.get_celltype] = true
+    }
+    f.print "#define TOPPERS_CB_TYPE_ONLY\n"
+    ct_list.each{|ct, val|
+      f.print "#include \"#{ct.get_global_name}_tecsgen.h\"\n"
+    }
+    f.print "\n"
+    @cell_list.each{|cell|
+      next if cell.exclude_info_factory?
+      name_array = cell.get_celltype.get_name_array cell
+      if cell.get_celltype.has_CB?
+        cb = "(void*)#{name_array[8]}"
+        cb_proto = "extern #{cell.get_celltype.get_global_name}_CB #{name_array[4]};\n"
+      else
+        cb = "0"
+        cb_proto = ""
+      end
+      if cell.get_celltype.has_INIB?
+        inib = "(void*)&#{name_array[5]}"
+        inib_proto = "extern #{cell.get_celltype.get_global_name}_INIB #{name_array[11]};\n"
+      else
+        inib = "0"
+        inib_proto = ""
+      end
+      if !cell.exclude_info_factory?
+        f.print <<EOT
+#{cb_proto}#define  #{cell.get_global_name}__CBP   #{cb}
+#{inib_proto}#define  #{cell.get_global_name}__INIBP #{inib}
+EOT
+      end
+    }
+    @namespace_list.each {|region|
+      if region.instance_of? Region
+        region.print_cell_define f
+      end
+    }
+  end
+
+  def print_entry_descriptor_define(f)
+    @cell_list.each{|cell|
+      next if cell.exclude_info_factory?
+
+      signatures = {}
+      cell.get_celltype.get_port_list.each{|port|
+        next if port.get_port_type != :ENTRY
+
+        if signatures[port.get_signature].nil?
+          f.print "#include \"#{port.get_signature.get_global_name}_tecsgen.h\"\n"
+        end
+        if cell.get_celltype.get_global_name == :nTECSInfo_tRawEntryDescriptorInfo
+          f.print "const struct tag_#{cell.get_celltype.get_global_name}_#{port.get_name}_DES "
+          f.print "#{cell.get_global_name}_#{port.get_name}_des;\n"
+        else
+          f.print "extern struct tag_#{port.get_signature.get_global_name}_VDES "
+          f.print "#{cell.get_global_name}_#{port.get_name}_des;\n"
+        end
+      }
+    }
+    @namespace_list.each {|region|
+      if region.instance_of? Region
+        region.print_entry_descriptor_define f
+      end
+    }
+  end
+end
+
+class Celltype
+  def print_info(f, indent)
+    f.print <<EOT
+#{indent}cell nTECSInfo::tCelltypeInfo #{@global_name}CelltypeInfo {
+#{indent}    name             = "#{@name}";
+#{indent}    b_singleton      = #{@singleton};
+#{indent}    b_IDX_is_ID_act  = C_EXP( "#{@global_name}__IDX_is_ID_act" );
+#{indent}    sizeOfCB         = C_EXP( "#{@global_name}__sizeOfCB" );
+#{indent}    sizeOfINIB       = C_EXP( "#{@global_name}__sizeOfINIB" );
+#{indent}    n_cellInLinkUnit = C_EXP( "#{@global_name}__NCELLINLINKUNIT" );
+#{indent}    n_cellInSystem   = #{@cell_list.length};
+EOT
+    @port.each{|port|
+      if port.get_port_type == :ENTRY
+        f.print <<EOT
+#{indent}    cEntryInfo[]    = #{@global_name}_#{port.get_name}EntryInfo.eEntryInfo;
+EOT
+      end
+    }
+    @port.each{|port|
+      if port.get_port_type == :CALL
+        f.print <<EOT
+#{indent}    cCallInfo[]     = #{@global_name}_#{port.get_name}CallInfo.eCallInfo;
+EOT
+      end
+    }
+    @attribute.each{|decl|
+      f.print <<EOT
+#{indent}    cAttrInfo[]     = #{@global_name}_#{decl.get_name}VarDeclInfo.eVarDeclInfo;
+EOT
+    }
+    @var.each{|decl|
+      f.print <<EOT
+#{indent}    cVarInfo[]      = #{@global_name}_#{decl.get_name}VarDeclInfo.eVarDeclInfo;
+EOT
+    }
+    f.print <<EOT
+#{indent}};
+EOT
+    @port.each{|port|
+      if port.get_port_type == :ENTRY
+        port.print_info f, @global_name, indent
+      end
+    }
+    @port.each{|port|
+      if port.get_port_type == :CALL
+        port.print_info f, @global_name, indent
+      end
+    }
+    @attribute.each{|decl|
+      decl.print_info f, @global_name, indent, :DECLTYPE_ATTR
+    }
+    @var.each{|decl|
+      decl.print_info f, @global_name, indent, :DECLTYPE_VAR
+    }
+  end
+
+  def print_define_offset(f)
+    # intptr_t に一回キャストするのは 64bit 版を考量してのこと．しかし 32bit としているので 4GB を超える構造体等は扱えない
+    if @n_cell_gen > 0
+      f.print <<EOT
+
+#include "#{@global_name}_tecsgen.h"
+EOT
+      @attribute.each{|decl|
+        if has_INIB?
+          inib_cb = "INIB"
+        else
+          inib_cb = "CB"
+        end
+        if !decl.is_omit?
+          offset = "(uint32_t)(intptr_t)&(((#{@global_name}_#{inib_cb}*)0)->#{decl.get_name})"
+          place = inib_cb
+        else
+          offset = "0xffffffff"
+          place = "NON"
+        end
+        f.printf "#define OFFSET_OF_%-30s  (%s)\n", "#{@global_name}_#{decl.get_name}", offset
+        f.printf "#define PLACE_OF_%-30s  VARDECL_PLACE_%s\n", "#{@global_name}_#{decl.get_name}", place
+      }
+      @var.each{|decl|
+        if decl.get_size_is && has_INIB?
+          inib_cb = "INIB"
+        else
+          inib_cb = "CB"
+        end
+        place = inib_cb
+        f.printf "#define OFFSET_OF_%-30s  (%s)\n", "#{@global_name}_#{decl.get_name}", "(uint32_t)(intptr_t)&(((#{@global_name}_#{inib_cb}*)0)->#{decl.get_name})"
+        f.printf "#define PLACE_OF_%-30s  VARDECL_PLACE_%s\n", "#{@global_name}_#{decl.get_name}", place
+      }
+    else
+      f.print <<EOT
+
+// #include "#{@global_name}_tecsgen.h"   // no cell exist
+EOT
+      # 生成されないセルタイプ
+      @attribute.each{|decl|
+        f.printf "#define OFFSET_OF_%-30s  (%s)\n", "#{@global_name}_#{decl.get_name}", "0xffffffff"
+        f.printf "#define PLACE_OF_%-30s   VARDECL_PLACE_NON\n", "#{@global_name}_#{decl.get_name}"
+      }
+      @var.each{|decl|
+        f.printf "#define OFFSET_OF_%-30s  (%s)\n", "#{@global_name}_#{decl.get_name}", "0xffffffff"
+        f.printf "#define PLACE_OF_%-30s   VARDECL_PLACE_NON\n", "#{@global_name}_#{decl.get_name}"
+      }
+    end
+  end
+
+  def print_celltype_define(f)
+    if has_INIB?
+      size_INIB = "(sizeof(#{@global_name}_INIB))"
+    else
+      size_INIB = "(0)"
+    end
+    if has_CB?
+      size_CB = "(sizeof(#{@global_name}_CB))"
+    else
+      size_CB = "(0)"
+    end
+
+    if @n_cell_gen > 0
+      f.printf "\n#include \"#{@global_name}_tecsgen.h\"\n"
+      f.printf "#define %-50s (#{@idx_is_id_act})\n",     "#{@global_name}__IDX_is_ID_act"
+      f.printf "#define %-50s (#{size_CB})\n",            "#{@global_name}__sizeOfCB"
+      f.printf "#define %-50s (#{size_INIB})\n",          "#{@global_name}__sizeOfINIB"
+      f.printf "#define %-30s (%d)\n", "#{@global_name}__NCELLINLINKUNIT", @n_cell_gen
+    else
+      f.printf "#define %-50s (false)\n",                 "#{@global_name}__IDX_is_ID_act"
+      f.printf "#define %-50s (0)\n",                     "#{@global_name}__sizeOfCB"
+      f.printf "#define %-50s (0)\n",                     "#{@global_name}__sizeOfINIB"
+      f.printf "#define %-30s (%d)\n", "#{@global_name}__NCELLINLINKUNIT", @n_cell_gen
+    end
+  end
+
+  def print_call_define(f)
+    if @n_cell_gen > 0
+      f.print <<EOT
+
+#include "#{@global_name}_tecsgen.h"
+EOT
+    else
+      f.print <<EOT
+
+// #include "#{@global_name}_tecsgen.h"   // no cell exist
+EOT
+    end
+    @port.each{|port|
+      next if port.get_port_type == :ENTRY
+      if port.is_omit? || (port.is_VMT_useless? && port.is_cell_unique?) || @n_cell_gen == 0
+        place = "CALL_PLACE_NON"
+      elsif port.is_dynamic?
+        if port.get_array_size
+          place = "CALL_PLACE_INIB_DES"
+        else
+          place = "CALL_PLACE_CB_DES"
+        end
+      elsif !has_INIB?
+        if port.is_VMT_useless?
+          place = "CALL_PLACE_CB_IDX"
+        else
+          place = "CALL_PLACE_CB_DES"
+        end
+      else
+        if port.is_VMT_useless?
+          place = "CALL_PLACE_INIB_IDX"
+        else
+          place = "CALL_PLACE_INIB_DES"
+        end
+      end
+      if (port.is_VMT_useless? && port.is_cell_unique?) || port.is_omit? || @n_cell_gen == 0
+        offset = "0xffffffff"
+      else
+        if port.is_dynamic? || !has_INIB?
+          cb_inib = "CB"
+        else
+          cb_inib = "INIB"
+        end
+        offset = "(uint32_t)(intptr_t)&((#{@global_name}_#{cb_inib}*)0)->#{port.get_name}"
+      end
+      array_size = port.get_array_size
+      if array_size == "[]"
+        array_size = "0xffffffff"
+      elsif array_size.nil?
+        array_size = "0"
+      end
+
+      f.printf "#define %-50s (#{offset})\n",                   "#{@global_name}_#{port.get_name}__offset"
+      f.printf "#define %-50s (#{array_size})\n",               "#{@global_name}_#{port.get_name}__array_size"
+      f.printf "#define %-50s (#{place})\n",                    "#{@global_name}_#{port.get_name}__place"
+      f.printf "#define %-50s (#{port.is_VMT_useless?})\n",     "#{@global_name}_#{port.get_name}__b_VMT_useless"
+      f.printf "#define %-50s (#{port.is_skelton_useless?})\n", "#{@global_name}_#{port.get_name}__b_skelton_useless"
+      f.printf "#define %-50s (#{port.is_cell_unique?})\n",     "#{@global_name}_#{port.get_name}__b_cell_unique"
+    }
+  end
+
+  def print_entry_define(f)
+    @port.each{|port|
+      next if port.get_port_type == :CALL
+      array_size = port.get_array_size
+      if array_size == "[]"
+        array_size = "0xffffffff"
+      elsif array_size.nil?
+        array_size = "0"
+      end
+
+      f.printf "#define %-50s (#{array_size})\n", "#{@global_name}_#{port.get_name}__array_size"
+    }
+  end
+end
+
+class Port
+  def print_info(f, ct_global, indent)
+    return if @signature.nil? # signature not found error in cdl
+    if @port_type == :ENTRY
+      f.print <<EOT
+#{indent}cell nTECSInfo::tEntryInfo #{ct_global}_#{@name}EntryInfo{
+#{indent}    name            = "#{@name}";
+#{indent}    cSignatureInfo  = #{@signature.get_global_name}SignatureInfo.eSignatureInfo;
+#{indent}    b_inline        = #{@b_inline};
+#{indent}    array_size      = C_EXP( "#{ct_global}_#{@name}__array_size" );
+#{indent}};
+EOT
+    else
+      f.print <<EOT
+#{indent}cell nTECSInfo::tCallInfo #{ct_global}_#{@name}CallInfo{
+#{indent}    name            = "#{@name}";
+#{indent}    cSignatureInfo  = #{@signature.get_global_name}SignatureInfo.eSignatureInfo;
+#{indent}    offset            = C_EXP( "#{ct_global}_#{@name}__offset" );
+#{indent}    array_size        = C_EXP( "#{ct_global}_#{@name}__array_size" );
+#{indent}    b_optional        = #{@b_optional};
+#{indent}    b_omit            = #{@b_omit};
+#{indent}    b_dynamic         = #{@b_dynamic};
+#{indent}    b_ref_desc        = #{@b_ref_desc};
+#{indent}    b_allocator_port  = #{!@allocator_port.nil? ? true : false};
+#{indent}    b_require_port    = #{@b_require};
+#{indent}    place             = C_EXP( "#{ct_global}_#{@name}__place" );
+#{indent}    b_VMT_useless     = C_EXP( "#{ct_global}_#{@name}__b_VMT_useless" );
+#{indent}    b_skelton_useless = C_EXP( "#{ct_global}_#{@name}__b_skelton_useless" );
+#{indent}    b_cell_unique     = C_EXP( "#{ct_global}_#{@name}__b_cell_unique" );
+
+#{indent}};
+EOT
+    end
+  end
+end
+
+class Cell
+  def print_info(f, indent)
+    if exclude_info?
+      return
+    end
+    f.print <<EOT
+
+#{indent}/*** #{@global_name} cell information ****/
+#{indent}cell nTECSInfo::tCellInfo #{@global_name}CellInfo {
+#{indent}    name            = "#{@name}";
+#{indent}    cbp             = C_EXP( \"#{@global_name}__CBP\" );
+#{indent}    inibp           = C_EXP( \"#{@global_name}__INIBP\" );
+#{indent}    cCelltypeInfo   = #{@celltype.get_global_name}CelltypeInfo.eCelltypeInfo;
+EOT
+    @celltype.get_port_list.each{|port|
+      next if port.get_port_type != :ENTRY
+
+      f.print <<EOT
+#{indent}    cRawEntryDescriptor[] = #{@global_name}_#{port.get_name}RawEntryDescriptorInfo.eRawEntryDescriptor;
+EOT
+    }
+    f.print "#{indent}};\n"
+
+    # RawEntryDescriptorInfo cells
+    @celltype.get_port_list.each{|port|
+      next if port.get_port_type != :ENTRY
+
+      size = port.get_array_size
+      if size.nil?
+        size = 1
+      elsif size == "[]"
+        size = @entry_array_max_subscript[port]
+      end
+      if !port.is_omit?
+        red = "C_EXP( \"&#{@global_name}_#{port.get_name}_des\" )"
+      else
+        red = "(void *)0"
+      end
+      # mikan 受け口配列
+      f.print <<EOT
+#{indent}cell nTECSInfo::tRawEntryDescriptorInfo #{@global_name}_#{port.get_name}RawEntryDescriptorInfo {
+#{indent}   size = #{size};
+#{indent}   rawEntryDescriptor = { #{red} };
+EOT
+#  #{indent}   cEntryInfo = #{@celltype.get_global_name}_#{port.get_name}EntryInfo.eEntryInfo;
+      f.print "#{indent}};\n"
+    }
+  end
+
+  def exclude_info?
+    # print "exclude_info?: name=" + get_name.to_s
+    if @celltype.nil? ||
+       is_of_composite? ||
+       @celltype.get_global_name == :nTECSInfo_tTECSInfoSub ||
+       post_code_generated? ||
+       @b_defined == false
+      # print ": true celltype_is_of_composite=#{is_of_composite?} celltype_name=#{@celltype.get_global_name} celltype.need_generate=#{@celltype.need_generate?}\n"
+      return true
+    else
+      # print ": false\n"
+      return false
+    end
+  end
+
+  def exclude_info_factory?
+    # print "exclude_info_factory?: name=" + get_name.to_s
+    if @celltype.nil? ||
+       is_of_composite? ||
+       @celltype.get_global_name == :nTECSInfo_tTECSInfoSub ||
+       !@celltype.need_generate?
+      # print ": true celltype_is_of_composite=#{is_of_composite?} celltype_name=#{@celltype.get_global_name} celltype.need_generate=#{@celltype.need_generate?}\n"
+      return true
+    else
+      # print ": false\n"
+      return false
+    end
+  end
+end
+
+class Signature
+  def print_info(f, indent)
+    f.print <<EOT
+
+#{indent}/*** #{@global_name} signature information ****/
+#{indent}cell nTECSInfo::tSignatureInfo #{@global_name}SignatureInfo {
+#{indent}    name            = "#{@name}";
+EOT
+    @function_head_list.get_items.each{|fh|
+      f.print <<EOT
+#{indent}    cFunctionInfo[] = #{@global_name}_#{fh.get_name}FunctionInfo.eFunctionInfo;
+EOT
+    }
+    f.print <<EOT
+#{indent}};
+EOT
+    @function_head_list.get_items.each{|fh|
+      fh.print_info f, indent
+    }
+  end
+end
+
+class FuncHead
+  def print_info(f, indent)
+    sig_name = @owner.get_global_name
+    func_name = get_name
+    f.print <<EOT
+#{indent}cell nTECSInfo::tFunctionInfo #{sig_name}_#{func_name}FunctionInfo {
+#{indent}    name            = "#{get_name}";
+#{indent}    bOneway         = #{is_oneway?};
+EOT
+    get_paramlist.get_items.each{|param|
+      f.print <<EOT
+#{indent}    cParamInfo[]    = #{sig_name}_#{func_name}_#{param.get_name}ParamInfo.eParamInfo;
+EOT
+    }
+    f.print <<EOT
+#{indent}    cReturnTypeInfo = #{get_return_type.get_ID_str}TypeInfo.eTypeInfo;
+#{indent}};
+EOT
+    get_paramlist.get_items.each{|param|
+      dbgPrint "param_list #{sig_name}, #{func_name}, #{param.get_name}\n"
+      param.print_info f, sig_name, func_name, get_paramlist, indent
+    }
+    get_return_type.print_info f, indent
+  end
+end
+
+class ParamDecl
+  def print_info(f, signature_global_name, func_name, paramdecl_list, indent)
+    if @size
+      size = "\"#{@size.get_rpn(paramdecl_list)}\""
+    else
+      size = "(char_t*)0"
+    end
+    if @count
+      count = "\"#{@count.get_rpn(paramdecl_list)}\""
+    else
+      count = "(char_t*)0"
+    end
+    if @string
+      if @string == -1
+        string = '""'
+      else
+        string =  "\"#{@string.get_rpn(paramdecl_list)}\""
+      end
+    else
+      string = "(char_t*)0"
+    end
+    f.print <<EOT
+#{indent}cell nTECSInfo::tParamInfo #{signature_global_name}_#{func_name}_#{get_name}ParamInfo {
+#{indent}    name            = "#{get_name}";
+#{indent}    dir             = PARAM_DIR_#{@direction};
+#{indent}    sizeIsExpr      = #{size};
+#{indent}    countIsExpr     = #{count};
+#{indent}    stringExpr      = #{string};
+#{indent}    cTypeInfo       = #{get_type.get_ID_str}TypeInfo.eTypeInfo;
+#{indent}};
+EOT
+    get_type.print_info f, indent
+  end
+end
+
+class Decl
+  def print_info(f, parent_ID_str, indent, decl_type)
+    if @size_is
+      size = "\"mikan\""
+    else
+      size = "(char_t*)0"
+    end
+    f.print <<EOT
+#{indent}cell nTECSInfo::tVarDeclInfo #{parent_ID_str}_#{get_name}VarDeclInfo {
+#{indent}    name            = "#{get_name}";
+#{indent}    sizeIsExpr      = #{size};
+#{indent}    declType        = #{decl_type};
+#{indent}    offset          = C_EXP( "OFFSET_OF_#{parent_ID_str}_#{get_name}" );
+#{indent}    place           = C_EXP( "PLACE_OF_#{parent_ID_str}_#{get_name}" );
+#{indent}    cTypeInfo       = #{get_type.get_ID_str}TypeInfo.eTypeInfo;
+#{indent}};
+EOT
+    get_type.print_info f, indent
+  end
+end
+
+class Type
+  @@typeinfo_printed = {}
+
+  def self.reset_print_info
+    @@typeinfo_printed = {}
+  end
+
+  def print_info(f, indent)
+    # Type の info は、最後にまとめて出力するので、ここでは記録するだけ
+    if @@typeinfo_printed[get_ID_str]
+      return
+    end
+    # p "ID Str: #{get_ID_str}"
+    @@typeinfo_printed[get_ID_str] = self
+    if self.is_a? PtrType
+      get_referto.print_info f, indent
+    elsif self.is_a? ArrayType
+      get_type.print_info f, indent
+    elsif self.is_a? DefinedType
+      get_type.print_info f, indent
+    elsif self.is_a? StructType
+      get_members_decl.get_items.each{|decl|
+        decl.print_info f, get_ID_str, indent, :DECLTYPE_STMEMBER
+      }
+    end
+  end
+
+  def self.print_info_post(f, indent)
+    @@typeinfo_printed.each{|nm, type|
+      type.print_info_post f, indent
+    }
+  end
+
+  def print_info_post(f, indent)
+    if self.class.superclass == Type # 親クラスが Type の場合 types.rb のクラス
+      type_name = self.class.name
+    else
+      type_name = self.class.superclass.name # ctypes.rb のクラス (親クラスが types.rb のクラス)
+    end
+    # p "type: #{type_name}, #{self.class.name}"
+
+    # p "class=#{self.class.name} size=#{bit_size}"
+    f.print <<EOT
+#{indent}cell nTECSInfo::t#{type_name}Info #{get_ID_str}TypeInfo{
+#{indent}    name           = "#{get_type_str}#{get_type_str_post}";
+#{indent}    typeKind       = TECSTypeKind_#{type_name};
+#{indent}    size           = C_EXP( "sizeof(#{get_type_str}#{get_type_str_post})" );
+#{indent}    b_const        = #{is_const?};
+#{indent}    b_volatile     = #{is_volatile?};
+EOT
+    if self.is_a? PtrType
+      f.print "#{indent}    cTypeInfo        = #{get_referto.get_ID_str}TypeInfo.eTypeInfo;\n"
+    elsif self.is_a? ArrayType
+      f.print "#{indent}    cTypeInfo        = #{get_type.get_ID_str}TypeInfo.eTypeInfo;\n"
+    elsif self.is_a? DefinedType
+      f.print "#{indent}    cTypeInfo        = #{get_type.get_ID_str}TypeInfo.eTypeInfo;\n"
+    elsif self.is_a? StructType
+      get_members_decl.get_items.each{|decl|
+        f.print "#{indent}    cVarDeclInfo[] = #{get_ID_str}_#{decl.get_name}VarDeclInfo.eVarDeclInfo;\n"
+      }
+    elsif self.is_a? DescriptorType
+      f.print "#{indent}    cSignatureInfo   = #{get_signature.get_global_name}SignatureInfo.eSignatureInfo;\n"
+    end
+
+    f.print <<EOT
+#{indent}};
+EOT
+  end
+
+  #=== Type# 型文字列の識別子化
+  # 型文字列に含まれる識別子として用いることのできない文字を用いることのできる文字列に置き換える
+  # 空白 => __
+  # * => _Ptr_
+  # [] => _Array_
+  # Descriptor() => Descriptor_of_
+  def get_ID_str
+    # puts "get_ID_str: #{self.class.name}"
+    if is_a? PtrType
+      str = get_referto.get_ID_str + "_Ptr_"
+    elsif is_a? ArrayType
+      str = get_type.get_ID_str + "_Array" + get_subscript.eval_const(nil).to_s + "_"
+    elsif is_a? StructType
+      str = "struct #{@tag}"
+    elsif is_a? DescriptorType
+      str = "Descriptor_of_" + get_signature.get_global_name.to_s
+    else
+      str = get_type_str + get_type_str_post
+    end
+    # p "before: #{str}"
+    str.gsub!(/ /, "__")
+    # p "after: #{str}"
+    return str
+  end
+end