Changeset 429 for EcnlProtoTool/trunk/asp3_dcre/kernel/mutex.trb

Timestamp:

Jul 3, 2020, 7:19:17 PM (4 years ago)

Author:

coas-nagasima

Message:

ASP3, TINET, mbed を更新

File:

• EcnlProtoTool/trunk/asp3_dcre/kernel/mutex.trb (modified) (4 diffs)

EcnlProtoTool/trunk/asp3_dcre/kernel/mutex.trb

@@ -6 +6 @@
 # 
 #   Copyright (C) 2015 by FUJI SOFT INCORPORATED, JAPAN
-#   Copyright (C) 2015,2016 by Embedded and Real-Time Systems Laboratory
+#   Copyright (C) 2015-2019 by Embedded and Real-Time Systems Laboratory
 #               Graduate School of Information Science, Nagoya Univ., JAPAN
 # 
@@ -51 +51 @@
 
   def prepare(key, params)
-    # mtxatrが無効の場合（E_RSATR）［NGKI2025］
-    # （TA_NULL，TA_TPRI，TA_CEILINGのいずれでもない場合）
+    # mtxatrが無効の場合（E_RSATR）［NGKI2025］［NGKI2010］
+    #（TA_NULL，TA_TPRI，TA_CEILINGのいずれでもない場合）
     if !(params[:mtxatr] == $TA_NULL || params[:mtxatr] == $TA_TPRI \
                                                                                 || params[:mtxatr] == $TA_CEILING)
@@ -60 +60 @@
     if params[:mtxatr] == $TA_CEILING
       # 優先度上限ミューテックスの場合
-      # ceilpriが未指定の場合はエラーとする
-      if params[:ceilpri].nil?
+      # ceilpriの記述が省略されている場合［NGKI2035］
+      if !params.has_key?(:ceilpri)
         error_api(params, "ceilpri must be specified in %apiname of %mtxid")
 
-      # (TMIN_TPRI <= ceilpri && ceilpri <= TMAX_TPRI)でない場合（E_PAR）
-      # ［NGKI2037］
+      # ceilpriが有効範囲外の場合（E_PAR）［NGKI2037］
+      #（TMIN_TPRI <= ceilpri && ceilpri <= TMAX_TPRIでない場合）
       elsif !($TMIN_TPRI <= params[:ceilpri] && params[:ceilpri] <= $TMAX_TPRI)
         error_illegal_id("E_PAR", params, :ceilpri, :mtxid)
@@ -71 +71 @@
     else
       # 優先度上限ミューテックスでない場合
-      # ceilpriが指定されている場合は警告メッセージを出す
-      if !params[:ceilpri].nil?
+      # ceilpriが記述されている場合は警告メッセージを出す
+      if params.has_key?(:ceilpri)
         warning_api(params, "%%ceilpri is ignored in %apiname of %mtxid")
       end