Changeset 389 for azure_iot_hub/trunk/asp3_dcre/tecsgen/tecslib/core/expression.rb

Timestamp:

May 22, 2019, 10:03:37 PM (5 years ago)

Author:

coas-nagasima

Message:

ビルドが通るよう更新

File:

• azure_iot_hub/trunk/asp3_dcre/tecsgen/tecslib/core/expression.rb (modified) (32 diffs, 1 prop)

azure_iot_hub/trunk/asp3_dcre/tecsgen/tecslib/core/expression.rb

@@ -6 +6 @@
 #   Copyright (C) 2008-2017 by TOPPERS Project
 #--
-#   上記著作権è€
-は，以下の(1)～(4)ã®æ¡ä»¶ã‚’æº€ãŸã™å ´åˆã«é™ã‚Šï¼Œæœ¬ã‚½ãƒ•ãƒˆã‚¦ã‚§
-#   ア（本ソフトウェアを改変したものを含む．以下同じ）を使用・複製・改
-#   変・再é
-å¸ƒï¼ˆä»¥ä¸‹ï¼Œåˆ©ç”¨ã¨å‘¼ã¶ï¼‰ã™ã‚‹ã“とを無償で許諾する．
-#   (1) æœ¬ã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢ã‚’ã‚½ãƒ¼ã‚¹ã‚³ãƒ¼ãƒ‰ã®å½¢ã§åˆ©ç”¨ã™ã‚‹å ´åˆã«ã¯ï¼Œä¸Šè¨˜ã®è‘—ä½œ
-#       権表示，この利用条件および下記の無保証規定が，そのままの形でソー
-#       スコード中に含まれていること．
-#   (2) 本ソフトウェアを，ライブラリ形式など，他のソフトウェア開発に使
-#       用できる形で再é
-å¸ƒã™ã‚‹å ´åˆã«ã¯ï¼Œå†é
-å¸ƒã«ä¼´ã†ãƒ‰ã‚­ãƒ¥ãƒ¡ãƒ³ãƒˆï¼ˆåˆ©ç”¨
-#       è€
-マニュアルなど）に，上記の著作権表示，この利用条件および下記
-#       の無保証規定を掲載すること．
-#   (3) 本ソフトウェアを，機器に組み込むなど，他のソフトウェア開発に使
-#       用できない形で再é
-å¸ƒã™ã‚‹å ´åˆã«ã¯ï¼Œæ¬¡ã®ã„ずれかの条件を満たすこ
-#       と．
-#     (a) 再é
-å¸ƒã«ä¼´ã†ãƒ‰ã‚­ãƒ¥ãƒ¡ãƒ³ãƒˆï¼ˆåˆ©ç”¨è€
-マニュアルなど）に，上記の著
-#         作権表示，この利用条件および下記の無保証規定を掲載すること．
-#     (b) 再é
-å¸ƒã®å½¢æ
-‹ã‚’，別に定める方法によって，TOPPERSプロジェクトに
-#         å ±å‘Šã™ã‚‹ã“ã¨ï¼Ž
-#   (4) 本ソフトウェアの利用により直接的または間接的に生じるいかなる損
-#       害からも，上記著作権è€
-およびTOPPERSプロジェクトをå
-è²¬ã™ã‚‹ã“と．
-#       また，本ソフトウェアのユーザまたはエンドユーザからのいかなる理
-#       由に基づく請求からも，上記著作権è€
-およびTOPPERSプロジェクトを
-#       å
-è²¬ã™ã‚‹ã“と．
+#   上記著作権者は，以下の(1)～(4)の条件を満たす場合に限り，本ソフトウェ
+#   ア（本ソフトウェアを改変したものを含む．以下同じ）を使用・複製・改
+#   変・再配布（以下，利用と呼ぶ）することを無償で許諾する．
+#   (1) 本ソフトウェアをソースコードの形で利用する場合には，上記の著作
+#       権表示，この利用条件および下記の無保証規定が，そのままの形でソー
+#       スコード中に含まれていること．
+#   (2) 本ソフトウェアを，ライブラリ形式など，他のソフトウェア開発に使
+#       用できる形で再配布する場合には，再配布に伴うドキュメント（利用
+#       者マニュアルなど）に，上記の著作権表示，この利用条件および下記
+#       の無保証規定を掲載すること．
+#   (3) 本ソフトウェアを，機器に組み込むなど，他のソフトウェア開発に使
+#       用できない形で再配布する場合には，次のいずれかの条件を満たすこ
+#       と．
+#     (a) 再配布に伴うドキュメント（利用者マニュアルなど）に，上記の著
+#         作権表示，この利用条件および下記の無保証規定を掲載すること．
+#     (b) 再配布の形態を，別に定める方法によって，TOPPERSプロジェクトに
+#         報告すること．
+#   (4) 本ソフトウェアの利用により直接的または間接的に生じるいかなる損
+#       害からも，上記著作権者およびTOPPERSプロジェクトを免責すること．
+#       また，本ソフトウェアのユーザまたはエンドユーザからのいかなる理
+#       由に基づく請求からも，上記著作権者およびTOPPERSプロジェクトを
+#       免責すること．
 #  
-#   本ソフトウェアは，無保証で提供されているものである．上記著作権è€
-お
-#   よびTOPPERSプロジェクトは，本ソフトウェアに関して，特定の使用目的
-#   に対する適合性も含めて，いかなる保証も行わない．また，本ソフトウェ
-#   アの利用により直接的または間接的に生じたいかなる損害に関しても，そ
-#   ã®è²¬ä»»ã‚’è² ã‚ãªã„ï¼Ž
+#   本ソフトウェアは，無保証で提供されているものである．上記著作権者お
+#   よびTOPPERSプロジェクトは，本ソフトウェアに関して，特定の使用目的
+#   に対する適合性も含めて，いかなる保証も行わない．また，本ソフトウェ
+#   アの利用により直接的または間接的に生じたいかなる損害に関しても，そ
+#   の責任を負わない．
 #  
 #   $Id$
@@ -71 +56 @@
 
   #=== Expression# to_s
-  # C 言語ソース向きの文字列を生成 (globa_name)
+  # C 言語ソース向きの文字列を生成 (globa_name)
   def to_s
     elements_to_s( @elements )
@@ -77 +62 @@
 
   #=== Expression# to_str
-  # C 言語ソース向きの文字列を生成 (globa_name)
+  # C 言語ソース向きの文字列を生成 (globa_name)
   def to_str( name_list, pre, post )
     elements_to_s( @elements, name_list, pre, post )
@@ -83 +68 @@
 
   #=== Expression#to_CDL_str
-  # CDL 表現の文字列を生成
+  # CDL 表現の文字列を生成
   def to_CDL_str
     return to_s
   end
 
-  #=== 定数式として評価する(トライしてみる)
+  #=== 定数式として評価する(トライしてみる)
   #
-  # このメソッドは、定数式を評価する
-  # ・attribute, var の初期化子
-  # ・size_is, count_is 引数
-  # ・é
-åˆ—の添数
+  # このメソッドは、定数式を評価する
+  # ・attribute, var の初期化子
+  # ・size_is, count_is 引数
+  # ・配列の添数
   #
-  # name_list(NamedList|Nil): 式から参ç
-§å¯èƒ½ãªãƒªã‚¹ãƒˆï¼Ž
-  # NamedList ã®è¦ç´ ã¯  size_is, count_is ã®å¼•æ•°è©•ä¾¡ã®å ´åˆ ParamDecl (関数仮引数)
+  # name_list(NamedList|Nil): 式から参照可能なリスト．
+  # NamedList の要素は  size_is, count_is の引数評価の場合 ParamDecl (関数仮引数)
   #
-  # name_list2(NamedList|Nil) : NamedList ã®è¦ç´ ã¯ Decl (attribute, var) である．省略時 nil
+  # name_list2(NamedList|Nil) : NamedList の要素は Decl (attribute, var) である．省略時 nil
   # 
-  # RETURN: è©•ä¾¡ã—ãŸå®šæ•°ï¼Žè©•ä¾¡ã§ããªã‹ã£ãŸå ´åˆã¯ nil を返す
+  # RETURN: 評価した定数．評価できなかった場合は nil を返す
   #
-  # 型は get_type で、評価する（定数として求められないときに使用できる）
-  # Array を返すのは attr{ int *a = {1, 2, 3}; int *b = a; }; の b ã®å³è¾ºã‚’è©•ä¾¡ã—ãŸå ´åˆ
+  # 型は get_type で、評価する（定数として求められないときに使用できる）
+  # Array を返すのは attr{ int *a = {1, 2, 3}; int *b = a; }; の b の右辺を評価した場合
 
   def eval_const( name_list, name_list2 = nil )
@@ -116 +99 @@
       return val.to_i
     elsif val.kind_of? PointerVal then
-      return val.to_i           # mikan エラー V1008 が発生してしまう
+      return val.to_i           # mikan エラー V1008 が発生してしまう
       # elsif val.kind_of? EnumVal then
       # enum mikan
     else
-      # C_EXP, Array または nil ：そのまま返す
+      # C_EXP, Array または nil ：そのまま返す
       return val
     end
   end
 
-  #=== 定数式として評価する2(トライしてみる)
+  #=== 定数式として評価する2(トライしてみる)
   #
-  # IntegerVal, FloatVal をそのまま返す（eval_const では Integer, Float に変換）
+  # IntegerVal, FloatVal をそのまま返す（eval_const では Integer, Float に変換）
   def eval_const2( name_list, name_list2 = nil, nest = 0 )
     val = elements_eval_const( @elements, name_list, name_list2, nest )
   end
 
-  #=== 式の型を評価する
+  #=== 式の型を評価する
   #
-  # eval_const ã§å€¤ãŒå¾—ã‚‰ã‚Œãªã„å ´åˆã€åž‹ã‚’å°Žå‡ºå¯èƒ½ã§ã‚ã‚Œã°åž‹ã‚’å¾—ã‚‹
-  # param を含んだ式は定数値を求められないが、型を得ることはできる
-  # 未定義変数を含んだ型は、得ることができない (ダミー型定義が返る)
-  def get_type( namedList )        # 名前空間の NamedList を指定
+  # eval_const で値が得られない場合、型を導出可能であれば型を得る
+  # param を含んだ式は定数値を求められないが、型を得ることはできる
+  # 未定義変数を含んだ型は、得ることができない (ダミー型定義が返る)
+  def get_type( namedList )        # 名前空間の NamedList を指定
     elements_get_type( @elements, namedList )
   end
@@ -150 +133 @@
 
   def show_tree( indent )
-    # mikan override してしまった print を呼出す方法がわからないのでこうした
+    # mikan override してしまった print を呼出す方法がわからないのでこうした
     str = ""
     indent.times { str += "  " }
@@ -158 +141 @@
 ## private
 
-  #=== 式を文字列に変換
-  #name_list:: attribute (Celltype::@attribute_list), struct の @member_list を仮定している
+  #=== 式を文字列に変換
+  #name_list:: attribute (Celltype::@attribute_list), struct の @member_list を仮定している
   def elements_to_s( elements, name_list = nil, pre = nil, post = nil )
     if elements.instance_of? Token then
-      return elements.to_s    # OP_DOT, OP_REF の右辺
+      return elements.to_s    # OP_DOT, OP_REF の右辺
     end
 
@@ -247 +230 @@
   end
 
-  #=== Expression# 逆ポーランド文字列化
-  #param_list:: ParamlList  関数の引数リスト
+  #=== Expression# 逆ポーランド文字列化
+  #param_list:: ParamlList  関数の引数リスト
   def get_rpn( param_list = nil, name_list2 = nil )
     return elements_rpn( @elements, param_list, name_list2 )
   end
 
-  #=== Expression# 逆ポーランド文字列化 (private)
-  #name_list:: ParamlList  関数の引数リスト
+  #=== Expression# 逆ポーランド文字列化 (private)
+  #name_list:: ParamlList  関数の引数リスト
   def elements_rpn( elements, name_list = nil, name_list2 = nil )
     if elements.instance_of? Token then
       print "rpn: #{elements.to_s}\n"
-      return elements.to_s    # OP_DOT, OP_REF の右辺
+      return elements.to_s    # OP_DOT, OP_REF の右辺
     end
 
@@ -354 +337 @@
   end
 
-  # 定数式(elements)を評価する
+  # 定数式(elements)を評価する
   #
-  # このメソッドは Expression クラスのメソッドであるå¿
-要はない（関数化できる）
+  # このメソッドは Expression クラスのメソッドである必要はない（関数化できる）
   #
-  # elements ã¯å¼ã®è¦ç´ 
+  # elements は式の要素
   #
-  # name_list, name_list2 は eval_const を参ç
-§
+  # name_list, name_list2 は eval_const を参照
   #
-  # RETURN: è©•ä¾¡ã—ãŸå®šæ•°ã€è©•ä¾¡ã§ããªã‹ã£ãŸå ´åˆã¯ nil を返す
-
-  MAX_NEST_LEVEL = 64    # 簡易のループ検出（参ç
-§ã®ãƒã‚¹ãƒˆã‚’ 64 まで許可する）
+  # RETURN: 評価した定数、評価できなかった場合は nil を返す
+
+  MAX_NEST_LEVEL = 64    # 簡易のループ検出（参照のネストを 64 まで許可する）
   def elements_eval_const( elements, name_list, name_list2 = nil, nest = nil )
 
@@ -374 +354 @@
       nsp = elements[1]
 
-      # #809 の修正しかけ (別の問題が解決しきれていない)
-      # nest += 1     # 参ç
-§ãŒãƒ«ãƒ¼ãƒ—になっていないかのチェック
-      #               # mikan 本当にループしているかどうかではなく、単純に多数の参ç
-§ã‚’繰り返していることで判定している
+      # #809 の修正しかけ (別の問題が解決しきれていない)
+      # nest += 1     # 参照がループになっていないかのチェック
+      #               # mikan 本当にループしているかどうかではなく、単純に多数の参照を繰り返していることで判定している
       # if nest > MAX_NEST_LEVEL then
       #   cdl_error( "E9999: '$1' too many reference (maybe loop) max=$1" , nsp.to_s, MAX_NEST_LEVEL )
@@ -393 +371 @@
       end
 
-      # 見つからなければ定数定義から探す
+      # 見つからなければ定数定義から探す
       if object == nil then
-        object = Namespace.find( nsp )# mikan namespace の対応 #1
-      end
-
-# この実è£
-は、もう少し整理されるべき
-# ã“ã‚ŒãŒå‘¼å‡ºã•ã‚Œã‚‹ã®ã¯ã€ä»¥ä¸‹ã®å ´åˆ
-#   ・attribute, var の右辺式の評価
-#   ・size_is å¼•æ•°ã®è©•ä¾¡ï¼šé–¢æ•°ãƒ‘ãƒ©ãƒ¡ãƒ¼ã‚¿ã®å ´åˆã¨attribute, var ã®å ´åˆãŒã‚ã‚‹
-# 以下のエラーチェックでは、これらがごっちゃになって誤りを検出しようとしている
-
-      # IDENTIFIER は見つからなかった？
+        object = Namespace.find( nsp )# mikan namespace の対応 #1
+      end
+
+# この実装は、もう少し整理されるべき
+# これが呼出されるのは、以下の場合
+#   ・attribute, var の右辺式の評価
+#   ・size_is 引数の評価：関数パラメータの場合とattribute, var の場合がある
+# 以下のエラーチェックでは、これらがごっちゃになって誤りを検出しようとしている
+
+      # IDENTIFIER は見つからなかった？
       if object == nil then
         cdl_error( "E1001 $1: not found" , nsp.get_path_str )
@@ -411 +388 @@
         return nil
       elsif object.instance_of?( Join ) then
-        # Join ã®å ´åˆï¼š cell の中の attribute, var, call のどれかが見つかった
-        # Decl (attribute, var) でない？
+        # Join の場合： cell の中の attribute, var, call のどれかが見つかった
+        # Decl (attribute, var) でない？
         if ! object.get_definition.instance_of?( Decl ) then
           cdl_error( "E1002 $1: not constant (port)" , nsp.get_path_str )
@@ -419 +396 @@
         return object.get_rhs.eval_const2( name_list, name_list2, nest )
       elsif ! object.instance_of?( Decl ) then
-        # Decl ã§ãªã„å ´åˆï¼š 定数でもない
+        # Decl でない場合： 定数でもない
         if ( ! object.instance_of?( ParamDecl ) ) then
-                                                      # mikan paramdecl は無視する
-                                                      # ParamList から呼ばれたとき
+                                                      # mikan paramdecl は無視する
+                                                      # ParamList から呼ばれたとき
           cdl_error( "E1003 $1: not constant" , nsp.get_path_str )
         else
@@ -432 +409 @@
         object.referenced
         if object.get_initializer == nil then
-          # 初期化子の存在しない変数   # mikan ここへくるのは、通常ありえないはず（未検証）
+          # 初期化子の存在しない変数   # mikan ここへくるのは、通常ありえないはず（未検証）
           return IntegerVal.new( 0 )
         else
-          # Decl の右辺の評価
-          # mikan size_is 引数に現れる変数の型が適切かのチェックする
+          # Decl の右辺の評価
+          # mikan size_is 引数に現れる変数の型が適切かのチェックする
           if object.get_initializer.instance_of?( Expression ) || object.get_initializer.instance_of?( C_EXP ) then
             return object.get_initializer.eval_const2( name_list, name_list2, nest )
           else
-            # Array ã®å ´åˆ
+            # Array の場合
             return object.get_initializer
           end
@@ -556 +533 @@
 # p "val.respond_to?( \"-@\" )=#{val.respond_to?( "-@" )} #{val.class}"
 # p "val.respond_to?( \"~@\" )=#{val.respond_to?( "~@" )}"
-#2.0      if val.respond_to?( "~@" ) then  # Ruby 1.9, 2.0 preview 版では例外が発生してしまう
+#2.0      if val.respond_to?( "~@" ) then  # Ruby 1.9, 2.0 preview 版では例外が発生してしまう
       if val.kind_of? IntegerVal then
         return ~ val
@@ -702 +679 @@
   def elements_get_type( elements, namedList )
     type = elements_get_type_sub( elements, namedList )
-    # 返された方が DefinedType ã®å ´åˆ å
-ƒã®åž‹ã‚’返す
+    # 返された方が DefinedType の場合 元の型を返す
     if type.kind_of?( DefinedType ) then
       type = type.get_type
@@ -742 +718 @@
       unless type.kind_of?( PtrType ) then
         cdl_error( "E1013 \'*\': operand is not pointer value"  )
-        return IntType.new( 8 )    # IntType を返しておく
+        return IntType.new( 8 )    # IntType を返しておく
       end
       return type.get_referto
 
     when :OP_U_PLUS, :OP_U_MINUS
-      # mikan operand が適切な型かチェックしていない
+      # mikan operand が適切な型かチェックしていない
       return elements_get_type( elements[1], namedList )
 
     when :OP_ADD, :OP_SUB, :OP_MULT, :OP_DIV, :OP_REMAIN
-      # mikan operand が適切な型かチェックしていない＆左辺の型を採用している
+      # mikan operand が適切な型かチェックしていない＆左辺の型を採用している
       return elements_get_type( elements[1], namedList )
 
     when :OP_U_TILDE
-      # mikan operand が整数かチェックしていない
+      # mikan operand が整数かチェックしていない
       return elements_get_type( elements[1], namedList )
     when :OP_AND, :OP_EOR, :OP_OR, :OP_LSFT, :OP_RSFT
-      # mikan operand が整数かチェックしていない
+      # mikan operand が整数かチェックしていない
       return BoolType.new
     when :OP_U_EXCLAM
-      # mikan operand が整数かチェックしていない
+      # mikan operand が整数かチェックしていない
       return BoolType.new
 
@@ -771 +747 @@
   end
 
-  # 式が size_is, count_is, string ã®å¼•æ•°ã§ã‚ã‚‹å ´åˆã®æ–¹å‘ã®ãƒã‚§ãƒƒã‚¯
+  # 式が size_is, count_is, string の引数である場合の方向のチェック
   def elements_check_dir_for_param( elements, namedList, dir, spec )
-   # dir ： å
-ƒã®å¼•æ•°ã®æ–¹å‘
-   # direct: size_is などの引数の変数の方向
+   # dir ： 元の引数の方向
+   # direct: size_is などの引数の変数の方向
 
     case elements[0]
@@ -806 +781 @@
           judge = true if ( direct == :IN || direct == :INOUT )
           req_direct = "in or inout"
-        when :OUT, :RECEIVE     # mikan out で count_is ã®ã¿æŒ‡å®šã•ã‚Œã¦ã„ã‚‹å ´åˆ in でなくてはならない
+        when :OUT, :RECEIVE     # mikan out で count_is のみ指定されている場合 in でなくてはならない
           judge = true if ( direct == :OUT || direct == :INOUT )
           req_direct = "out or inout"
@@ -822 +797 @@
       return true
 
-    # 単é 
-演算子
+    # 単項演算子
     when :OP_U_ASTER, :OP_SIZEOF_EXPR, :OP_SIZEOF_TYPE, :OP_U_PLUS, :OP_U_MINUS, :OP_U_TILDE, :OP_U_EXCLAM, :CAST, :OP_U_AMP, :PARENTHESES,
       elements_check_dir_for_param( elements[1], namedList, dir, spec )
 
-    # 2é 
-演算子
+    # 2項演算子
     when :OP_SUBSC, :OP_DOT, :OP_REF, :OP_MULT, :OP_DIV, :OP_REMAIN, :OP_ADD, :OP_SUB, :OP_LSFT, :OP_RSFT, :OP_LT, :OP_GT, :OP_LE, :OP_GE, :OP_EQ, :OP_NE, :OP_AND, :OP_EOR, :OP_OR, :OP_LAND, :OP_LOR
       return elements_check_dir_for_param( elements[1], namedList, dir, spec ) && elements_check_dir_for_param( elements[2], namedList, dir, spec )
 
-    # 3é 
-演算子
+    # 3項演算子
     when :OP_CEX
       return elements_check_dir_for_param( elements[1], namedList, dir, spec ) && elements_check_dir_for_param( elements[2], namedList, dir, spec ) && elements_check_dir_for_param( elements[3], namedList, dir, spec )
@@ -845 +817 @@
   #Express# get_allocator_rhs_elem
   #alloc_type::Symbol  :NORMAL_ALLOC|:INTERNAL_ALLOC|:RELAY_ALLOC
-  #式がアロケータ指定子の右辺として妥当かチェックし、正しければ分解した値を返す
+  #式がアロケータ指定子の右辺として妥当かチェックし、正しければ分解した値を返す
   #return:
   #  :NORMAL_ALLOC      [ cell_nsp, ep_name ]               # rhs = cell_nsp.ep_name    ex) Alloc.eAlloc
@@ -883 +855 @@
   end
 
-  #Expression#Expression のクローンを作成する
+  #Expression#Expression のクローンを作成する
   def clone_for_composite
     cl = self.clone
@@ -891 +863 @@
   end
 
-  #Expression#elements のクローンを作成
+  #Expression#elements のクローンを作成
   #elements::Array
-  # このメソッドは、Array のディープコピーを行う
+  # このメソッドは、Array のディープコピーを行う
   def clone_elements elements
     elements = elements.clone
@@ -910 +882 @@
   end
 
-  #=== Expression#セル結合の式を解析する
+  #=== Expression#セル結合の式を解析する
   # Cell.eEntry  => [ :OP_DOT, [ :IDENTIFIER, token ], token ]
   # Cell.eEntry[expression] => [ :OP_SUBSC, [ :OP_DOT, [ :IDENTIFIER, token ], token ], expression ]
   # Return: [ NamespacePath(cell_name), Integer(subscript) or nil, Token(port_name)]
   def analyze_cell_join_expression
-    # 右辺の Expression ã®è¦ç´ ã‚’å–ã‚Šå‡ºã™
+    # 右辺の Expression の要素を取り出す
     elements = @elements
-    if elements[0] == :OP_SUBSC then  # 右辺：受け口é
-åˆ—？
+    if elements[0] == :OP_SUBSC then  # 右辺：受け口配列？
       # elements = [ :OP_SUBSC, [ :OP_DOT, [ :IDENTIFIER, token ], token ], expression ]
-      subscript = elements[2].eval_const(nil)  # 受け口é
-åˆ—の添数
-      elements  = elements[1]          # mikan é
-åˆ—ã ã£ãŸå ´åˆ
+      subscript = elements[2].eval_const(nil)  # 受け口配列の添数
+      elements  = elements[1]          # mikan 配列だった場合
     else
       subscript = nil
@@ -939 +908 @@
   end
 
-  #=== Expression# セルへの結合の式を生成する
+  #=== Expression# セルへの結合の式を生成する
   #nsp:: NamespacePath
   #subscript:: Integer
   #port_name:: Symbol
-  # analyze_cell_join_expression と対になっている
+  # analyze_cell_join_expression と対になっている
   def self.create_cell_join_expression( nsp, subscript, port_name, locale = nil )
     if ! port_name.instance_of?( Symbol ) then
@@ -959 +928 @@
   end
 
-  #=== Expression#整数定数の式を生成する
-  #val:: Integer : 値： 整数
+  #=== Expression#整数定数の式を生成する
+  #val:: Integer : 値： 整数
   def self.create_integer_constant( val, locale = nil )
     if val != Integer( val ) || val < 0 then
@@ -968 +937 @@
   end
 
-  #=== Expression#単一の識別子の式を解析する
+  #=== Expression#単一の識別子の式を解析する
   # Identifier  => [ :IDENTIFIER, token ]
   # Return: NamespacePath(Identifier)
   def analyze_single_identifier
-    # 右辺の Expression ã®è¦ç´ ã‚’å–ã‚Šå‡ºã™
+    # 右辺の Expression の要素を取り出す
     elements = @elements
     if elements[0] == :IDENTIFIER
@@ -982 +951 @@
 
   #=== Expression#
-  #nsp:: NamespacePath :  参ç
-§ã™ã‚‹ã‚‚の識別子
+  #nsp:: NamespacePath :  参照するもの識別子
   def self.create_single_identifier( nsp, locale )
     if ! nsp.instance_of?( NamespacePath ) then
@@ -991 +959 @@
   end
 
-  #=== 評価可能かチェックする
-  #*v:: 可変個引数（任意の型）
-  # すべてが BaseVal の子クラス（値）であれば、評価可能と判断する
+  #=== 評価可能かチェックする
+  #*v:: 可変個引数（任意の型）
+  # すべてが BaseVal の子クラス（値）であれば、評価可能と判断する
   def evaluable?( *v )
     v.each{ |val|
@@ -1012 +980 @@
 
   #c_exp_string::String
-  #b_renew::Bool  : true なら C_EXP の clone 作成（エスケープ処理等をしない）
+  #b_renew::Bool  : true なら C_EXP の clone 作成（エスケープ処理等をしない）
   def initialize( c_exp_string, b_renew = false )
     if b_renew then
       @c_exp_string = c_exp_string
     else
-      # 前後の " を取り除く
+      # 前後の " を取り除く
       # str = c_exp_string.to_s.sub( /^\"(.*)\"$/, "\\1" )
       str = CDLString.remove_dquote c_exp_string.to_s
@@ -1024 +992 @@
   end
 
-  #=== composite 用に C_EXP を clone する
+  #=== composite 用に C_EXP を clone する
   #ct_name::
   #cell_name::
-  # composite の attribute に現れる C_EXP を文字列置換して生成しなおす．
-  # この文字列置換は、意味解釈段階で行う．
-  # 他の C_EXP の文字列置換は、コード生成段階で行う．
+  # composite の attribute に現れる C_EXP を文字列置換して生成しなおす．
+  # この文字列置換は、意味解釈段階で行う．
+  # 他の C_EXP の文字列置換は、コード生成段階で行う．
   def clone_for_composite( ct_name, cell_name, locale )
     dbgPrint "C_EXP: #{ct_name} #{cell_name} #{@c_exp_string}\n"
@@ -1044 +1012 @@
   end
 
-  #=== C_EXP を評価する
-  # C_EXP の引き数文字列を返す
-  # 本来 C_EXP は eval_const する対象ではないが、便宜上 eval_const で対応
+  #=== C_EXP を評価する
+  # C_EXP の引き数文字列を返す
+  # 本来 C_EXP は eval_const する対象ではないが、便宜上 eval_const で対応
   def eval_const( name_list, name_list2 = nil )
      return self