source: EcnlProtoTool/trunk/asp3_dcre/cfg/pass2.rb@ 270

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

#
#               パス2の処理
#

#
#  パス1の生成物の読み込み
#
module Cfg1Out
  #
  #  Sレコードファイルからシンボルの値を取り出す
  #
  def self.GetSymbolValue(symbol, size, signed)
    if @symbolAddress.has_key?(symbol)
      return(@cfg1SRec.get_value(@symbolAddress[symbol], size, signed))
    else
      return(nil)
    end
  end

  #
  #  パス1の生成物の読み込み（メインの処理）
  #
  def self.Read
    # cfg1_out.symsの読み込み
    @symbolAddress = ReadSymbolFile(CFG1_OUT_SYMS)

    # cfg1_out.srecの読み込み
    begin
      @cfg1SRec = SRecord.new(CFG1_OUT_SREC)
    rescue Errno::ENOENT, Errno::EACCES => ex
      abort(ex.message)
    end

    # マジックナンバーの取得
    if @symbolAddress.has_key?(CFG1_MAGIC_NUM)
      $asmLabel = ""
      $cfg1_prefix = CFG1_PREFIX
    elsif @symbolAddress.has_key?("_" + CFG1_MAGIC_NUM)
      $asmLabel = "_"
      $cfg1_prefix = "_" + CFG1_PREFIX
    else
      error_exit("`#{CFG1_MAGIC_NUM}' is not found in `#{CFG1_OUT_SYMS}'")
    end

    magicNumberData = @cfg1SRec.get_data(@symbolAddress \
                                                        [$asmLabel + CFG1_MAGIC_NUM], 4)
    if (magicNumberData == "12345678")
      $endianLittle = false
    elsif (magicNumberData == "78563412")
      $endianLittle = true
    else
      error_exit("`#{CFG1_MAGIC_NUM}' is invalid in `#{CFG1_OUT_SREC}'")
    end

    # 固定出力した変数の取得
    $sizeOfSigned = GetSymbolValue($asmLabel + CFG1_SIZEOF_SIGNED, 4, false)

    # 値取得シンボルの取得
    $symbolValueTable.each do |symbolName, symbolData|
      symbol = $cfg1_prefix + symbolName
      if symbolData.has_key?(:BOOL)
        value = GetSymbolValue(symbol, $sizeOfSigned, true)
        if !value.nil?
          # C言語の真偽値をRubyの真偽値に変換して取り込む
          symbolData[:VALUE] = (value != 0)
        end
      else
        value = GetSymbolValue(symbol, $sizeOfSigned, \
                                                                                symbolData.has_key?(:SIGNED))
        if !value.nil?
          symbolData[:VALUE] = value
        end
      end
    end

    #
    #  ハッシュの初期化
    #
    $cfgData = {}
    @objidValues = {}
    $apiDefinition.each do |apiName, apiDef|
      if apiDef.has_key?(:API)
        if !$cfgData.has_key?(apiDef[:API].to_sym)
          $cfgData[apiDef[:API].to_sym] = {}
        end
      end
      apiDef[:PARAM].each do |apiParam|
        if apiParam.has_key?(:NAME) && apiParam.has_key?(:ID_DEF)
          @objidValues[apiParam[:NAME]] = {}
        end
      end
    end

    #
    #  ドメイン生成データをコンフィギュレーションデータ（$cfgDataï¼‰ã«æ ¼ç´
    #
    $cfgData[:CRE_DOM] = {}
    $domainId.each do |domainName, domainVal|
      domid = NumStr.new(domainVal, domainName)
      $cfgData[:CRE_DOM][domainVal] = { :domid => domid }
    end

    ReadPhase(nil)
  end

  #
  #  パラメータの値を取り出す
  #
  def self.GetParamValue(paramName, param, apiIndex, index, apiParam, cfgInfo)
    if apiParam.has_key?(:ID_DEF)                               # オブジェクト識別名（定義）
      value = @objidValues[paramName][param]
    elsif apiParam.has_key?(:ID_REF)                    # オブジェクト識別名（参ç…
§ï¼‰
      if @objidValues[paramName].has_key?(param)
        value = @objidValues[paramName][param]
      else
        error("#{apiDef.has_key?(:KEYPAR) ? "E_NOEXS" : "E_ID"}: " \
                                        "`#{param}' in #{cfgInfo[:APINAME]} is not defined", \
                                        "#{cfgInfo[:_FILE_]}:#{cfgInfo[:_LINE_]}:")
        value = nil
      end
    elsif apiParam.has_key?(:EXPTYPE)                   # 整数定数式パラメータ
      if apiIndex.nil?
        if param.is_a?(NumStr)
          return(param)
        else
          return(NumStr.new(param))
        end
      else
        symbol = "#{$cfg1_prefix}valueof_#{paramName}_#{apiIndex}#{index}"
        value = GetSymbolValue(symbol, $sizeOfSigned, \
                                                                        apiParam.has_key?(:SIGNED))
      end
    else                                                                                # 一般定数式／文字列パラメータ
      return(param)
    end
    return(NumStr.new(value, param))
  end

  #
  #  指定したフェーズのためのパス1の生成物の読み込み
  #
  def self.ReadPhase(phase)
    #
    #  オブジェクトIDの割当て
    #
    # 割り当てたオブジェクトIDは，@objidValuesに保持する．@objidValuesは，
    # 2重のハッシュ（ハッシュのハッシュ）である．
    #
    # å…
·ä½“的には，@objidValuesは，オブジェクトIDのパラメータ名（例えば，セ
    # マフォIDであれば"semid"．これを保持する変数名は，objidParamNameとす
    # る）をキーとし，そのオブジェクトIDの割当て表（これを保持する変数名
    # は，objidListとする）を値とするハッシュである．オブジェクトIDの割当
    # て表は，オブジェクト名（これを保持する変数名は，objNameとする）をキー
    # とし，そのID番号（これを保持する変数名は，objidNumberとする）を値と
    # するハッシュである．
    #
    # 例えば，セマフォSEM1のID番号が1ã®å ´åˆã«ã¯ï¼Œæ¬¡ã®ã‚ˆã†ã«è¨­å®šã•ã‚Œã‚‹ï¼Ž
    #   @objidValues["semid"]["SEM1"] == 1
    #

    # ID番号割り当ての前処理
    objidParamNameList = []
    $cfgFileInfo.each do |cfgInfo|
      # プリプロセッサディレクティブは読み飛ばす
      next if cfgInfo.has_key?(:DIRECTIVE)

      apiDef = $apiDefinition[cfgInfo[:APINAME]]
      # 異なるフェーズの静的APIは読み飛ばす
      next if apiDef[:PHASE] != phase

      apiIndex = cfgInfo[:INDEX]
      if !apiIndex.nil?
        # シンボルファイルに静的APIのインデックスが存在しなければ読み飛
        # ばす（ifdef等で消えた静的API）
        symbol = "#{$cfg1_prefix}static_api_#{apiIndex}"
        next unless @symbolAddress.has_key?(symbol)
      end

      apiDef[:PARAM].each do |apiParam|
        if apiParam.has_key?(:NAME) && apiParam.has_key?(:ID_DEF)
          objidParamName = apiParam[:NAME]
          objName = cfgInfo[objidParamName]
          if $inputObjid.has_key?(objName)
            # ID番号å…
¥åŠ›ãƒ•ã‚¡ã‚¤ãƒ«ã«å®šç¾©ã•ã‚Œã¦ã„ãŸå ´åˆ
            @objidValues[objidParamName][objName] = $inputObjid[objName]
          else
            @objidValues[objidParamName][objName] = nil
          end
          objidParamNameList.push(objidParamName)
        end
      end
    end

    # ID番号の割当て処理
    objidParamNameList.each do |objidParamName|
      objidList = @objidValues[objidParamName]

      # 未使用のID番号のリスト（使用したものから消していく）
      unusedObjidList = (1.upto(objidList.keys.size)).to_a

      # 割り当て済みのID番号の処理
      objidList.each do |objName, objidNumber|
        if $inputObjid.has_key?(objName)
          objidIndex = unusedObjidList.index($inputObjid[objName])
          if objidIndex.nil?
            # ID番号å…
¥åŠ›ãƒ•ã‚¡ã‚¤ãƒ«ã§æŒ‡å®šã•ã‚ŒãŸå€¤ãŒä¸æ­£
            error_exit("value of `#{objName}' in ID input file is illegal")
          else
            # 未使用のID番号のリストから削除
            unusedObjidList.delete_at(objidIndex)
          end
        end
      end

      # ID番号の割当て
      objidList.each do |objName, objidNumber|
        if objidList[objName].nil?
          # 以下で，@objidValuesを書き換えている
          objidList[objName] = unusedObjidList.shift
        end
      end
    end

    #
    #  静的APIデータをコンフィギュレーションデータ（$cfgDataï¼‰ã«æ ¼ç´
    #
    $cfgFileInfo.each do |cfgInfo|
      # プリプロセッサディレクティブは読み飛ばす
      next if cfgInfo.has_key?(:DIRECTIVE)

      apiDef = $apiDefinition[cfgInfo[:APINAME]]
      # 異なるフェーズの静的APIは読み飛ばす
      next if apiDef[:PHASE] != phase

      apiSym = apiDef[:API].to_sym
      apiIndex = cfgInfo[:INDEX]
      if !apiIndex.nil?
        # シンボルファイルに静的APIのインデックスが存在しなければ読み飛
        # ばす（ifdef等で消えた静的API）
        symbol = "#{$cfg1_prefix}static_api_#{apiIndex}"
        next unless @symbolAddress.has_key?(symbol)
      end

      # ãƒ‘ãƒ©ãƒ¡ãƒ¼ã‚¿ã®å€¤ã‚’ãƒãƒƒã‚·ãƒ¥å½¢å¼ã«æ ¼ç´
      params = {}
      apiDef[:PARAM].each do |apiParam|
        next unless apiParam.has_key?(:NAME)
        paramName = apiParam[:NAME]
        next unless cfgInfo.has_key?(paramName)         # ãƒ‘ãƒ©ãƒ¡ãƒ¼ã‚¿ãŒãªã„å ´åˆ
        paramData = cfgInfo[paramName]

        if apiParam.has_key?(:LIST)
          params[paramName.to_sym] = []
          paramData.each.with_index(1) do |param, index|
            params[paramName.to_sym].push(GetParamValue(paramName, param, \
                                                                apiIndex, "_#{index}", apiParam, cfgInfo))
          end
        else
          params[paramName.to_sym] = GetParamValue(paramName, paramData, \
                                                                                apiIndex, "", apiParam, cfgInfo)
        end
      end

      # ドメインIDã‚’è¿½åŠ 
      if cfgInfo.has_key?(:DOMAIN)
        domainName = cfgInfo[:DOMAIN]
        params[:domain] = $domainId[domainName]
      end

      # クラスIDã‚’è¿½åŠ 
      if cfgInfo.has_key?(:CLASS)
        if apiIndex.nil?
          params[:class] = cfgInfo[:CLASS]
        else
          symbol = "#{$cfg1_prefix}valueof_CLASS_#{apiIndex}"
          value = GetSymbolValue(symbol, $sizeOfSigned, true)
          params[:class] = NumStr.new(value, cfgInfo[:CLASS])
        end
      end

      # APIåï¼Œãƒ•ã‚¡ã‚¤ãƒ«åï¼Œè¡Œç•ªå·ã‚’è¿½åŠ 
      params[:apiname] = cfgInfo[:APINAME]
      params[:_file_] = cfgInfo[:_FILE_]
      params[:_line_] = cfgInfo[:_LINE_]

      # 登録キーを決定する
      if apiDef.has_key?(:KEYPAR)
        keyParam = params[apiDef[:KEYPAR].to_sym]
        key = keyParam.val
        if $cfgData[apiSym].has_key?(key)
          # 登録キーの重複
          error("E_OBJ: #{apiDef[:KEYPAR]} `#{keyParam}' " \
                                                                "is duplicated in #{cfgInfo[:APINAME]}",
                                                                "#{cfgInfo[:_FILE_]}:#{cfgInfo[:_LINE_]}:")
        end
      else
        key = $cfgData[apiSym].count + 1
      end
      $cfgData[apiSym][key] = params
    end
  end

  #
  #  ID番号出力ファイルの生成
  #
  def self.OutputId(fileName)
    idOutputFile = GenFile.new(fileName)
    @objidValues.each do |objidParamName, objidList|
      objidList.each do |objName, objidNumber|
        idOutputFile.add("#{objName} #{objidNumber}")
      end
    end
  end
end

#
#  パス2の処理
#
def Pass2
  #
  #  パス1から引き渡される情
å ±ã‚’ãƒ•ã‚¡ã‚¤ãƒ«ã‹ã‚‰èª­ã¿è¾¼ã‚€
  #
  db = PStore.new(CFG1_OUT_DB)
  db.transaction(true) do
    $apiDefinition = db[:apiDefinition]
    $symbolValueTable = db[:symbolValueTable]
    $cfgFileInfo = db[:cfgFileInfo]
    $includeFiles = db[:includeFiles]
    $domainId = db[:domainId]
  end
  $cfg2Data = {}

  #
  #  パス1の生成物を読み込む
  #
  Cfg1Out.Read()
  abort if $errorFlag                                   # エラー発生時はabortする

  #
  #  値取得シンボルをグローバル変数として定義する
  #
  DefineSymbolValue()

  #
  #  生成スクリプト（trbファイル）を実行する
  #
  $trbFileNames.each do |trbFileName|
    if /^(.+):(\w+)$/ =~ trbFileName
      trbFileName = $1
      Cfg1Out.ReadPhase($2.to_sym)
    end
    IncludeTrb(trbFileName)
  end

  #
  #  ID番号出力ファイルの生成
  #
  if !$idOutputFileName.nil?
    Cfg1Out.OutputId($idOutputFileName)
  end

  #
  #  パス3に引き渡す情
å ±ã‚’ãƒ•ã‚¡ã‚¤ãƒ«ã«ç”Ÿæˆ
  #
  if $omitOutputDb.nil?
    db = PStore.new(CFG2_OUT_DB)
    db.transaction do
      db[:apiDefinition] = $apiDefinition
      db[:symbolValueTable] = $symbolValueTable
      db[:cfgFileInfo] = $cfgFileInfo
      db[:includeFiles] = $includeFiles
      db[:cfgData] = $cfgData
      db[:asmLabel] = $asmLabel
      db[:endianLittle] = $endianLittle
      db[:cfg2Data] = $cfg2Data
    end
  end
end