[398] | 1 | # coding: utf-8
|
---|
| 2 | #
|
---|
| 3 | # TECS Generator
|
---|
| 4 | # Generator for TOPPERS Embedded Component System
|
---|
| 5 | #
|
---|
| 6 | # Copyright (C) 2008-2018 by TOPPERS Project
|
---|
| 7 | #--
|
---|
| 8 | # 上記著作権者は,以下の(1)~(4)の条件を満たす場合に限り,本ソフトウェ
|
---|
| 9 | # ア(本ソフトウェアを改変したものを含む.以下同じ)を使用・複製・改
|
---|
| 10 | # 変・再配布(以下,利用と呼ぶ)することを無償で許諾する.
|
---|
| 11 | # (1) 本ソフトウェアをソースコードの形で利用する場合には,上記の著作
|
---|
| 12 | # 権表示,この利用条件および下記の無保証規定が,そのままの形でソー
|
---|
| 13 | # スコード中に含まれていること.
|
---|
| 14 | # (2) 本ソフトウェアを,ライブラリ形式など,他のソフトウェア開発に使
|
---|
| 15 | # 用できる形で再配布する場合には,再配布に伴うドキュメント(利用
|
---|
| 16 | # 者マニュアルなど)に,上記の著作権表示,この利用条件および下記
|
---|
| 17 | # の無保証規定を掲載すること.
|
---|
| 18 | # (3) 本ソフトウェアを,機器に組み込むなど,他のソフトウェア開発に使
|
---|
| 19 | # 用できない形で再配布する場合には,次のいずれかの条件を満たすこ
|
---|
| 20 | # と.
|
---|
| 21 | # (a) 再配布に伴うドキュメント(利用者マニュアルなど)に,上記の著
|
---|
| 22 | # 作権表示,この利用条件および下記の無保証規定を掲載すること.
|
---|
| 23 | # (b) 再配布の形態を,別に定める方法によって,TOPPERSプロジェクトに
|
---|
| 24 | # 報告すること.
|
---|
| 25 | # (4) 本ソフトウェアの利用により直接的または間接的に生じるいかなる損
|
---|
| 26 | # 害からも,上記著作権者およびTOPPERSプロジェクトを免責すること.
|
---|
| 27 | # また,本ソフトウェアのユーザまたはエンドユーザからのいかなる理
|
---|
| 28 | # 由に基づく請求からも,上記著作権者およびTOPPERSプロジェクトを
|
---|
| 29 | # 免責すること.
|
---|
| 30 | #
|
---|
| 31 | # 本ソフトウェアは,無保証で提供されているものである.上記著作権者お
|
---|
| 32 | # よびTOPPERSプロジェクトは,本ソフトウェアに関して,特定の使用目的
|
---|
| 33 | # に対する適合性も含めて,いかなる保証も行わない.また,本ソフトウェ
|
---|
| 34 | # アの利用により直接的または間接的に生じたいかなる損害に関しても,そ
|
---|
| 35 | # の責任を負わない.
|
---|
| 36 | #
|
---|
| 37 | #
|
---|
| 38 | # $Id$
|
---|
| 39 | #++
|
---|
| 40 |
|
---|
| 41 | #== celltype プラグインの共通の親クラス
|
---|
| 42 | class HRPKernelObjectPlugin < CelltypePlugin
|
---|
| 43 | # @@obj_hash = {}
|
---|
| 44 |
|
---|
| 45 | #@celltype:: Celltype
|
---|
| 46 | #@option:: String :オプション文字列
|
---|
| 47 | def initialize( celltype, option )
|
---|
| 48 | super
|
---|
| 49 | #
|
---|
| 50 | # それぞれのカーネルオブジェクトを解析対象セルタイプに追加
|
---|
| 51 | # 目的:
|
---|
| 52 | # - カーネルオブジェクトのセルをメモリ保護対象外とする
|
---|
| 53 | # - カーネルオブジェクト本体の管理はTECSでなくOSで実施するため
|
---|
| 54 | # - カーネルオブジェクトのセルへのアクセスを直接関数呼出し
|
---|
| 55 | # とする
|
---|
| 56 | # - システムサービス呼出しはOSが提供するため
|
---|
| 57 | HRPKernelObjectPlugin.set_celltype(celltype)
|
---|
| 58 | end
|
---|
| 59 |
|
---|
| 60 | #=== HRPKernelObjectPlugin#print_cfg_cre
|
---|
| 61 | # 各種カーネルオブジェクトのCRE_*の出力
|
---|
| 62 | # file:: FILE: 出力先ファイル
|
---|
| 63 | # val :: string: カーネルオブジェクトの属性の解析結果
|
---|
| 64 | # tab :: string: インデント用のtab
|
---|
| 65 | def print_cfg_cre(file, cell, val, tab)
|
---|
| 66 | raise "called virtual method print_cfg_cre in #{@celltype.get_name} plugin"
|
---|
| 67 | end
|
---|
| 68 |
|
---|
| 69 | #=== HRPKernelObjectPlugin#print_cfg_sac
|
---|
| 70 | # 各種カーネルオブジェクトのSAC_*の出力
|
---|
| 71 | # file:: FILE: 出力先ファイル
|
---|
| 72 | # val :: string: カーネルオブジェクトの属性の解析結果
|
---|
| 73 | # acv :: string: アクセスベクタ
|
---|
| 74 | def print_cfg_sac(file, val, acv)
|
---|
| 75 | raise "called virtual method print_cfg_sac in #{@celltype.get_name} plugin"
|
---|
| 76 | end
|
---|
| 77 |
|
---|
| 78 | #
|
---|
| 79 | # セルタイププラグインの本体メソッド
|
---|
| 80 | # - 静的APIの生成
|
---|
| 81 | # file:: FILE: 出力先ファイル
|
---|
| 82 | #
|
---|
| 83 | def gen_factory file
|
---|
| 84 | dbgPrint "===== begin #{@celltype.get_name.to_s} plugin =====\n"
|
---|
| 85 |
|
---|
| 86 | #
|
---|
| 87 | # 対象となるすべてのセルについて、受け口に結合されている
|
---|
| 88 | # セルの所属ドメインを解析
|
---|
| 89 | # - 生成すべきcfgファイル名を取得するために必要
|
---|
| 90 | #
|
---|
| 91 | if !HRPKernelObjectPlugin.isChecked()
|
---|
| 92 | HRPKernelObjectPlugin.check_referenced_cells()
|
---|
| 93 | else
|
---|
| 94 | dbgPrint "***** already checked\n"
|
---|
| 95 | end
|
---|
| 96 |
|
---|
| 97 | # 追記するために AppFile を使う(文字コード変換されない)
|
---|
| 98 | file2 = AppFile.open( "#{$gen}/tecsgen.cfg" )
|
---|
| 99 | file2.print "\n/* Generated by #{self.class.name} */\n\n"
|
---|
| 100 |
|
---|
| 101 | @celltype.get_cell_list.each { |cell|
|
---|
| 102 | if cell.is_generate?
|
---|
| 103 | dbgPrint "===== begin check my domain #{cell.get_name} =====\n"
|
---|
| 104 | #
|
---|
| 105 | # カーネルオブジェクトの属性を,valにコピー
|
---|
| 106 | #
|
---|
| 107 | val = {}
|
---|
| 108 | @celltype.get_attribute_list.each{ |a|
|
---|
| 109 | # p a.get_name
|
---|
| 110 | if a.get_type.kind_of?( ArrayType )
|
---|
| 111 | val[a.get_name] = []
|
---|
| 112 | if j = cell.get_join_list.get_item(a.get_name)
|
---|
| 113 | # セル生成時に初期化する場合
|
---|
| 114 | j.get_rhs.each { |elem|
|
---|
| 115 | val[a.get_name] << elem.to_s
|
---|
| 116 | }
|
---|
| 117 | elsif i = a.get_initializer
|
---|
| 118 | # セルタイプの初期化値を使う場合
|
---|
| 119 | i.each { |elem|
|
---|
| 120 | val[a.get_name] << elem.to_s
|
---|
| 121 | }
|
---|
| 122 | else
|
---|
| 123 | raise "attribute is not initialized"
|
---|
| 124 | end
|
---|
| 125 | else
|
---|
| 126 | if j = cell.get_join_list.get_item(a.get_name)
|
---|
| 127 | # セル生成時に初期化する場合
|
---|
| 128 | val[a.get_name] = j.get_rhs.to_s
|
---|
| 129 | elsif i = a.get_initializer
|
---|
| 130 | # セルタイプの初期化値を使う場合
|
---|
| 131 | val[a.get_name] = i.to_s
|
---|
| 132 | else
|
---|
| 133 | raise "attribute is not initialized"
|
---|
| 134 | end
|
---|
| 135 | end
|
---|
| 136 | }
|
---|
| 137 | # generate.rbを参考に
|
---|
| 138 | # $id$を置換
|
---|
| 139 | if val[:id].nil? != true
|
---|
| 140 | name_array = @celltype.get_name_array( cell )
|
---|
| 141 | val[:id] = @celltype.subst_name( val[:id], name_array )
|
---|
| 142 | end
|
---|
| 143 | # $cbp$の代わり
|
---|
| 144 | cell_domain_root = cell.get_region.get_domain_root
|
---|
| 145 | cell_domain_type = cell.get_region.get_domain_root.get_domain_type
|
---|
| 146 |
|
---|
| 147 | # CRE_XXX/DEF_XXXの生成
|
---|
| 148 | if cell_domain_type.get_option.to_s != "OutOfDomain"
|
---|
| 149 | # 保護ドメインに属する場合
|
---|
| 150 | if !HRPKernelObjectPlugin.include_region(cell_domain_root.get_name.to_s)
|
---|
| 151 | # その保護ドメインの.cfgが生成されていない場合
|
---|
| 152 | HRPKernelObjectPlugin.set_region_list(cell_domain_root.get_name.to_s)
|
---|
| 153 | dbgPrint "~~~~~ #{cell_domain_root.get_name.to_s} is registered!\n"
|
---|
| 154 |
|
---|
| 155 | # # if cell.get_region.get_param == :KERNEL_DOMAIN
|
---|
| 156 | # if cell_domain_type.get_option.to_s == "kernel"
|
---|
| 157 | # file2.print "KERNEL_DOMAIN{\n"
|
---|
| 158 | # else
|
---|
| 159 | # file2.print "DOMAIN(#{cell_domain_root.get_name.to_s}){\n"
|
---|
| 160 | # end
|
---|
| 161 | # file2.puts "\tINCLUDE(\"#{$gen}/tecsgen_#{cell_domain_root.get_name.to_s}.cfg\");"
|
---|
| 162 | # file2.puts "}\n"
|
---|
| 163 | else
|
---|
| 164 | dbgPrint "~~~~~ #{cell.get_region.get_namespace_path} is included in"
|
---|
| 165 | #p @@region_list
|
---|
| 166 | end
|
---|
| 167 | file3 = AppFile.open( "#{$gen}/tecsgen_#{cell_domain_root.get_global_name}.cfg" )
|
---|
| 168 | print_cfg_cre(file3, cell, val,"")
|
---|
| 169 | file3.close
|
---|
| 170 | else
|
---|
| 171 | # 無所属の場合
|
---|
| 172 | dbgPrint "~~~~~ #{cell_domain_root.get_namespace_path} is OutOfDomain\n"
|
---|
| 173 | # print "~~~~~ #{cell_domain_root.get_namespace_path} is OutOfDomain\n"
|
---|
| 174 | # p cell_domain_root.get_name
|
---|
| 175 | if cell_domain_root.get_name == "::" then
|
---|
| 176 | print_cfg_cre(file2, cell, val, "")
|
---|
| 177 | else
|
---|
| 178 | # if !HRPKernelObjectPlugin.include_region(cell_domain_root.get_name.to_s)
|
---|
| 179 | # # その保護ドメインの.cfgが生成されていない場合
|
---|
| 180 | # HRPKernelObjectPlugin.set_region_list(cell_domain_root.get_name.to_s)
|
---|
| 181 | # file2.puts "INCLUDE(\"#{$gen}/tecsgen_#{cell_domain_root.get_name.to_s}.cfg\");\n"
|
---|
| 182 | # end
|
---|
| 183 | file3 = AppFile.open( "#{$gen}/tecsgen_#{cell_domain_root.get_name.to_s}.cfg" )
|
---|
| 184 | print_cfg_cre(file3, cell, val,"")
|
---|
| 185 | file3.close
|
---|
| 186 | end
|
---|
| 187 |
|
---|
| 188 | end
|
---|
| 189 |
|
---|
| 190 | dbgPrint "===== end check my domain #{cell.get_name} =====\n"
|
---|
| 191 |
|
---|
| 192 | #
|
---|
| 193 | # SAC_XXXの生成
|
---|
| 194 | #
|
---|
| 195 | if !val[:accessPattern1].nil?
|
---|
| 196 | dbgPrint "===== begin check regions #{cell.get_name} =====\n"
|
---|
| 197 | i = 0
|
---|
| 198 | acv = { \
|
---|
| 199 | :accessPattern1 => val[:accessPattern1], \
|
---|
| 200 | :accessPattern2 => val[:accessPattern2], \
|
---|
| 201 | :accessPattern3 => val[:accessPattern3], \
|
---|
| 202 | :accessPattern4 => val[:accessPattern4] \
|
---|
| 203 | }
|
---|
| 204 | acv_tmp = []
|
---|
| 205 | domain_roots = HRPPlugin.get_inter_domain_join_roots cell
|
---|
| 206 | # 結合先セルのドメインを加える
|
---|
| 207 | if cell_domain_type.get_kind != :OutOfDomain then
|
---|
| 208 | domain_roots << cell_domain_root
|
---|
| 209 | end
|
---|
| 210 | domain_roots.each{ |dr|
|
---|
| 211 | case dr.get_domain_type.get_kind
|
---|
| 212 | when :user
|
---|
| 213 | acv_tmp << "TACP(#{dr.get_name})"
|
---|
| 214 | when :kernel
|
---|
| 215 | acv_tmp << "TACP_KERNEL"
|
---|
| 216 | when :OutOfDomain
|
---|
| 217 | if cell_domain_type.get_kind == :OutOfDomain then
|
---|
| 218 | # 呼び元も、呼び先も OutOfDomain の場合
|
---|
| 219 | acv_tmp << "TACP_SHARED"
|
---|
| 220 | end
|
---|
| 221 | end
|
---|
| 222 | }
|
---|
| 223 | acv_tmp.uniq!
|
---|
| 224 | if acv_tmp.length == 0 then
|
---|
| 225 | # 呼び先セルが無所属かつ、呼び元も無所属のみ、または結合無しの場合
|
---|
| 226 | acv_tmp = [ "TACP_SHARED" ]
|
---|
| 227 | end
|
---|
| 228 | b_info = false
|
---|
| 229 | b_warn = false
|
---|
| 230 | acv.each { |key, acp|
|
---|
| 231 | if !acp.nil?
|
---|
| 232 | if acp != "OMIT"
|
---|
| 233 | elsif cell_domain_type.get_kind != :OutOfDomain
|
---|
| 234 | # p "UserDomainCell or KernelDomainCell"
|
---|
| 235 | domain_roots = HRPPlugin.get_inter_domain_join_roots cell
|
---|
| 236 | domain_roots.each{ |dr|
|
---|
| 237 | #
|
---|
| 238 | case dr.get_domain_type.get_kind
|
---|
| 239 | when :kernel
|
---|
| 240 | when :user
|
---|
| 241 | if dr.get_namespace_path != cell.get_region.get_domain_root.get_namespace_path
|
---|
| 242 | # 他のユーザードメインからの結合
|
---|
| 243 | if( b_warn == false ) then
|
---|
| 244 | 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 )
|
---|
| 245 | b_warn = true
|
---|
| 246 | end
|
---|
| 247 | end
|
---|
| 248 | when :OutOfDomain
|
---|
| 249 | if( b_info == false ) then
|
---|
| 250 | # 無所属からの結合
|
---|
| 251 | # cdl_error( "HRP9999 kernel object joined from out of domain" )
|
---|
| 252 | if cell_domain_type.get_kind == :OutOfDomain
|
---|
| 253 | # この情報は、不要と判断する (無所属から無所属へ結合があると、アクセス許可ベクタが設定されない)
|
---|
| 254 | # cdl_info2( cell.get_locale, "HRP9999 '$1': kernel object joined from out of domain, access vector is not set", cell.get_name )
|
---|
| 255 | b_info = true
|
---|
| 256 | end
|
---|
| 257 | end
|
---|
| 258 | else
|
---|
| 259 | raise "unknown domain kind"
|
---|
| 260 | end
|
---|
| 261 | }
|
---|
| 262 | # acv[key] = "TACP(#{cell_domain_root.get_name.to_s})"
|
---|
| 263 | else
|
---|
| 264 | # p "OutOfDomainCell"
|
---|
| 265 | # 無所属のセル
|
---|
| 266 | # 結合元ドメインに許可する
|
---|
| 267 | # 結合元に無所属のセルがあると、TACP_SHARED が設定される. フロー解析してドメインを特定できるのが、あるべき仕様
|
---|
| 268 | end
|
---|
| 269 | if acp == "OMIT"
|
---|
| 270 | acv[key] = acv_tmp.join( '|' )
|
---|
| 271 | end
|
---|
| 272 | end
|
---|
| 273 | }
|
---|
| 274 | #各種SACの生成
|
---|
| 275 | domainOption = cell_domain_type.get_option
|
---|
| 276 | # p "domain_root ", cell.get_region.get_domain_root.get_name
|
---|
| 277 | if domainOption != "OutOfDomain" || cell.get_region.get_domain_root.get_name != "::"
|
---|
| 278 | # 保護ドメインに属する場合
|
---|
| 279 | file3 = AppFile.open( "#{$gen}/tecsgen_#{cell.get_region.get_name.to_s}.cfg" )
|
---|
| 280 | print_cfg_sac(file3, val, acv)
|
---|
| 281 | file3.close
|
---|
| 282 | else
|
---|
| 283 | # 無所属の場合
|
---|
| 284 | print_cfg_sac(file2, val, acv)
|
---|
| 285 | end
|
---|
| 286 |
|
---|
| 287 | dbgPrint "===== end check regions #{cell.get_name} =====\n"
|
---|
| 288 | end
|
---|
| 289 | end
|
---|
| 290 | }
|
---|
| 291 | dbgPrint "===== end #{@celltype.get_name.to_s} plugin =====\n"
|
---|
| 292 | file2.close
|
---|
| 293 | end
|
---|
| 294 |
|
---|
| 295 | # カーネルオブジェクトセルタイプの管理
|
---|
| 296 | # HRPKernelObjectPluginクラスに対してメソッド呼出しを行うことを想定
|
---|
| 297 | @@checked = false
|
---|
| 298 | @@celltype_list = []
|
---|
| 299 | @@region_list = []
|
---|
| 300 |
|
---|
| 301 | def self.isChecked()
|
---|
| 302 | return @@checked
|
---|
| 303 | end
|
---|
| 304 |
|
---|
| 305 | def self.check_referenced_cells()
|
---|
| 306 | dbgPrint "===== begin check registered celltype =====\n"
|
---|
| 307 | self.get_celltype_list.each { |ct|
|
---|
| 308 | dbgPrint( ct.get_name.to_s + "\n" )
|
---|
| 309 | }
|
---|
| 310 | dbgPrint "===== end check registered celltype =====\n"
|
---|
| 311 |
|
---|
| 312 | @@checked = true
|
---|
| 313 | end
|
---|
| 314 |
|
---|
| 315 | def self.set_celltype( celltype )
|
---|
| 316 | @@celltype_list << celltype
|
---|
| 317 | end
|
---|
| 318 |
|
---|
| 319 | def self.get_celltype_list
|
---|
| 320 | return @@celltype_list
|
---|
| 321 | end
|
---|
| 322 |
|
---|
| 323 | def self.set_region_list( region )
|
---|
| 324 | @@region_list << region
|
---|
| 325 | end
|
---|
| 326 |
|
---|
| 327 | def self.include_region( region )
|
---|
| 328 | return @@region_list.include?(region)
|
---|
| 329 | end
|
---|
| 330 |
|
---|
| 331 | def self.include_celltype?( celltype )
|
---|
| 332 | return @@celltype_list.include?(celltype)
|
---|
| 333 | end
|
---|
| 334 |
|
---|
| 335 | end
|
---|
| 336 |
|
---|