Changeset 321 for EcnlProtoTool/trunk/asp3_dcre/tecsgen/tecslib/core/C_parser.y.rb

Timestamp:

Aug 23, 2017, 9:27:43 AM (7 years ago)

Author:

coas-nagasima

Message:

文字コードを設定

File:

• EcnlProtoTool/trunk/asp3_dcre/tecsgen/tecslib/core/C_parser.y.rb (modified) (35 diffs, 1 prop)

EcnlProtoTool/trunk/asp3_dcre/tecsgen/tecslib/core/C_parser.y.rb

@@ -6 +6 @@
 #   Copyright (C) 2008-2014 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: C_parser.y.rb 1011 2016-07-11 02:20:01Z coas-nagasima $
+#   $Id$
 #++
 
 class C_parser
 rule
-# ãƒˆãƒƒãƒ—ãƒ¬ãƒ™ãƒ«ã®æ§‹æ–‡è¦ç´ ã¯ C_parser
+# トップレベルの構文要素は C_parser
 all: C_parser
 
 # Expr
-##########################  式  ##########################
-# K&Rの文法(プログラミング言語C 第2版 付録)と一部異なる
-# argument_expression_list(関数引数), assignment_expression(代å
-¥)がない
-# 式の result は、すべてé
-åˆ—ã§ç¬¬ä¸€è¦ç´ ãŒè­˜åˆ¥ã‚·ãƒ³ãƒœãƒ«ã€ç¬¬äºŒè¦ç´ ä»¥ä¸‹ãŒå¼•æ•°
+##########################  式  ##########################
+# K&Rの文法(プログラミング言語C 第2版 付録)と一部異なる
+# argument_expression_list(関数引数), assignment_expression(代入)がない
+# 式の result は、すべて配列で第一要素が識別シンボル、第二要素以下が引数
 
 primary_expression
         : namespace_identifier
                 { result = [ :IDENTIFIER, val[0] ] }     #1ok
-#        : IDENTIFIER   # mikan namespace への対応
+#        : IDENTIFIER   # mikan namespace への対応
 #               { result = [ :IDENTIFIER, val[0] ] }
 #        | TRUE
@@ -96 +79 @@
                 { result << val[1] }
 
-# 関数呼び出しと後置インクリメント、デクリメント演算子がない
+# 関数呼び出しと後置インクリメント、デクリメント演算子がない
 postfix_expression
         : primary_expression
@@ -107 +90 @@
         | postfix_expression '->' IDENTIFIER
                 { result = [ :OP_REF, val[0], val[2] ] }
-        | postfix_expression '++'       { result = val[0] }   # ++, -- は無視する
+        | postfix_expression '++'       { result = val[0] }   # ++, -- は無視する
         | postfix_expression '--'       { result = val[0] }
 
@@ -116 +99 @@
 
 
-# 前置インクリメント、デクリメント演算子がない
+# 前置インクリメント、デクリメント演算子がない
 unary_expression
         : postfix_expression
@@ -125 +108 @@
         | SIZEOF '(' type_name ')'
                 { result = [ :OP_SIZEOF_TYPE, val[1] ] }
-                | '++' unary_expression                 { result = val[1] }   # ++, -- は無視する
+                | '++' unary_expression                 { result = val[1] }   # ++, -- は無視する
                 | '--' unary_expression                 { result = val[1] }
 
@@ -213 +196 @@
 
 
-# コンマ演算子が使えない
+# コンマ演算子が使えない
 expression
         : conditional_expression
@@ -238 +221 @@
 
 # Types
-##########################  宣言  ##########################
-# 宣言もK&Rと一部異なる
-
-# declarationはセルの属性で使われる
-# K&Rとの違い: storage classが指定できない、型が省略できない
+##########################  宣言  ##########################
+# 宣言もK&Rと一部異なる
+
+# declarationはセルの属性で使われる
+# K&Rとの違い: storage classが指定できない、型が省略できない
 declaration
         : declaration_specifiers init_declarator_list ';'
 #        : type_specifier_qualifier_list init_declarator_list ';'
 
-# declaration_specifiersは関数のパラメータで使われるが、
-# type_specifier_qualifier_listで十分かもしれない
+# declaration_specifiersは関数のパラメータで使われるが、
+# type_specifier_qualifier_listで十分かもしれない
 
 declaration_specifiers
         : storage_class
                 {
-                        result = CIntType.new( -3 )    # storage class は無視
+                        result = CIntType.new( -3 )    # storage class は無視
                 }
         | type_specifier
@@ -263 +246 @@
         | storage_class declaration_specifiers
                 {
-                        result = val[1]                # storage class は無視
+                        result = val[1]                # storage class は無視
                 }
         | type_specifier declaration_specifiers
@@ -292 +275 @@
         | DOUBLE        { set_no_type_name true; result = CFloatType.new(-64) }
         | BOOL  { set_no_type_name true; result = CBoolType.new }
-        | struct_specifier      { set_no_type_name true; result = val[0] } # set_no_type_name true は struct_tag でも呼ばれる
-        | union_specifier       { set_no_type_name true; result = CVoidType.new }  # void が宣言されたとする
-        | enum_specifier        { set_no_type_name true; result = CVoidType.new }  # void が宣言されたとする
+        | struct_specifier      { set_no_type_name true; result = val[0] } # set_no_type_name true は struct_tag でも呼ばれる
+        | union_specifier       { set_no_type_name true; result = CVoidType.new }  # void が宣言されたとする
+        | enum_specifier        { set_no_type_name true; result = CVoidType.new }  # void が宣言されたとする
         | TYPE_NAME     { set_no_type_name true; result = CDefinedType.new( val[0].val ) }
 
@@ -314 +297 @@
                 }
 
-# mikan K&Rのstruct_or_union_specifierに相当するが、unionは使えない, bit field にも対応しない
+# mikan K&Rのstruct_or_union_specifierに相当するが、unionは使えない, bit field にも対応しない
 struct_specifier                # mikan
         : STRUCT struct_tag '{'
@@ -333 +316 @@
                         result = val[1]
                 }
-        | STRUCT struct_tag   # mikan struct_tag は namespace 対応がå¿
-要
+        | STRUCT struct_tag   # mikan struct_tag は namespace 対応が必要
                 {
                         StructType.set_define( false )
@@ -352 +334 @@
                 }
 
-# ãƒã‚¤ãƒ³ã‚¿ä¿®é£¾å­ã‚’è¿½åŠ 
+# ポインタ修飾子を追加
 struct_declaration
         : declaration_specifiers struct_declarator_list ';'
@@ -365 +347 @@
                         result = val[1]
                 }
-        | union_specifier ';'                       # 無名
-        | struct_specifier ';'                       # 無名
-
-
-
-# K&Rのspecifier_qualifier_listと同じ
-# 名前がまぎらわしかったのでtype_を付けた
+        | union_specifier ';'                       # 無名
+        | struct_specifier ';'                       # 無名
+
+
+
+# K&Rのspecifier_qualifier_listと同じ
+# 名前がまぎらわしかったのでtype_を付けた
 type_specifier_qualifier_list
         : type_specifier
@@ -395 +377 @@
                 { result << val[2] }
 
-# ビットフィールドは使えない
+# ビットフィールドは使えない
 struct_declarator
         : declarator
@@ -404 +386 @@
         : UNION union_tag '{' union_declaration_list '}'
         | UNION '{' union_declaration_list '}'
-        | UNION union_tag   # mikan struct_tag は namespace 対応がå¿
-要
+        | UNION union_tag   # mikan struct_tag は namespace 対応が必要
 
 union_declaration_list
@@ -416 +397 @@
 union_declaration
         : declaration_specifiers union_declarator_list ';'
-                | union_specifier ';'                       # 無名
-                | struct_specifier ';'                      # 無名
+                | union_specifier ';'                       # 無名
+                | struct_specifier ';'                      # 無名
 
 union_declarator_list
@@ -423 +404 @@
         | union_declarator_list ',' union_declarator
 
-# ビットフィールドは使えない
+# ビットフィールドは使えない
 union_declarator
         : declarator
@@ -429 +410 @@
 
 
-# enumã®ç¨®é¡žã‚’è¿½åŠ 
+# enumの種類を追加
 enum_specifier          # mikan
         : enum_type            '{' enumerator_list '}'
@@ -462 +443 @@
                 }
         | direct_declarator
-        | pointer TYPE_NAME     # 関数ポインタの typedef ãŒäºŒé‡å®šç¾©ã®å ´åˆ
+        | pointer TYPE_NAME     # 関数ポインタの typedef が二重定義の場合
                 {
                         result = Decl.new( val[1].val )
@@ -490 +471 @@
                 }
 
-#        | direct_declarator '(' identifier_list ')'  # これは何のためにå¿
-要？ 060211
+#        | direct_declarator '(' identifier_list ')'  # これは何のために必要？ 060211
         | direct_declarator '(' ')'
                 {
@@ -524 +504 @@
         : parameter_list
         | parameter_list ',' '.' '.' '.'
-                # mikan 可変長パラメータ,  ... の間のスペースが許される（手抜き）
+                # mikan 可変長パラメータ,  ... の間のスペースが許される（手抜き）
 
 parameter_list
@@ -532 +512 @@
 #               {
 #                       val[0].add_param( val[2] )
-#                       # result = val[0] 不要
+#                       # result = val[0] 不要
 #               }
 
 
-# ãƒ‘ãƒ©ãƒ¡ãƒ¼ã‚¿ä¿®é£¾å­ã‚’è¿½åŠ 
+# パラメータ修飾子を追加
 parameter_declaration
         : declaration_specifiers declarator
@@ -545 +525 @@
 #               }
 
-        # 以下はエラーとする
-#        | declaration_specifiers       # 仮引数なしは、とりあえず扱わない 060210
+        # 以下はエラーとする
+#        | declaration_specifiers       # 仮引数なしは、とりあえず扱わない 060210
 #               {
 #                       unless val[0].kind_of?( VoidType ) then
@@ -553 +533 @@
 #                       result = nil
 #               }
-        | declaration_specifiers abstract_declarator    # 仮引数なし
-        | declaration_specifiers                                                # 仮引数なし
-
-
-#identifier_list       # 060211  不用になった
+        | declaration_specifiers abstract_declarator    # 仮引数なし
+        | declaration_specifiers                                                # 仮引数なし
+
+
+#identifier_list       # 060211  不用になった
 #        : IDENTIFIER
 #        | identifier_list ',' IDENTIFIER
@@ -587 +567 @@
         | direct_abstract_declarator '(' parameter_type_list ')'
 
-# assignment_expressionをconstant_expressionに変更
+# assignment_expressionをconstant_expressionに変更
 initializer                     # mikan
         : constant_expression
@@ -610 +590 @@
 
 
-##########################  ここからはCDL独自  ##########################
-
-#トップレベルの構文規則
+##########################  ここからはCDL独自  ##########################
+
+#トップレベルの構文規則
 C_parser
         :
@@ -628 +608 @@
         | declaration
         | ';'
-        | error   # エラー回復ポイント
+        | error   # エラー回復ポイント
 
 typedef
@@ -826 +806 @@
     comment = false
 
-    # euc のコメントを utf8 として扱うと、コメントの終わりを誤る問題の対策
+    # euc のコメントを utf8 として扱うと、コメントの終わりを誤る問題の対策
     TECS_LANG::set_kcode_binary
 
-    # 800U, 0xffLL など (整数リテラルにå
-±é€šã®ä¿®é£¾å­)
+    # 800U, 0xffLL など (整数リテラルに共通の修飾子)
     integer_qualifier = "([Uu][Ll][Ll]|[Uu][Ll]|[Uu]|[Ll][Ll]|[Ll])?"
 
@@ -845 +824 @@
           if comment
             case line
-            # コメント終了
+            # コメント終了
             when /\A\*\//
               comment = false
@@ -853 +832 @@
           else
             case line
-            # 空白、プリプロセスディレクティブ
+            # 空白、プリプロセスディレクティブ
             when /\A\s+/
               ;
-            # 識別子
+            # 識別子
             when /\A[a-zA-Z_]\w*/
               word = $&
               @q << [RESERVED[word] || :IDENTIFIER, Token.new(word.intern, file, lineno, col)]
-            # 16 進数定数
+            # 16 進数定数
             when /\A0x[0-9A-Fa-f]+#{integer_qualifier}/
               @q << [:HEX_CONSTANT, Token.new($&, file, lineno, col)]
-            # 8 進数定数
+            # 8 進数定数
             when /\A0[0-7]+#{integer_qualifier}/
               @q << [:OCTAL_CONSTANT, Token.new($&, file, lineno, col)]
-            # 浮動小数定数
+            # 浮動小数定数
             when /\A[0-9]+\.([0-9]*)?([Ee][+-]?[0-9]+)?/
               @q << [:FLOATING_CONSTANT, Token.new($&, file, lineno, col)]
-            # 整数定数
+            # 整数定数
             when /\A\d+#{integer_qualifier}/
             # when /\A\d+/
               @q << [:INTEGER_CONSTANT, Token.new($&.to_i, file, lineno, col)]
-            # 文字
+            # 文字
             when /\A'(?:[^'\\]|\\.)'/
               @q << [:CHARACTER_LITERAL, Token.new($&, file, lineno, col)]
-            # 文字列
-#              "#include  #include #include \"../systask/logtask.cfg\"       最後の " 忘れ)で無限ループ
+            # 文字列
+#              "#include  #include #include \"../systask/logtask.cfg\"       最後の " 忘れ)で無限ループ
 #            when /\A"(?:[^"\\]+|\\.)*"/
-            when /\A"(?:[^"\\]|\\.)*"/   # これはうまく行くようだ
+            when /\A"(?:[^"\\]|\\.)*"/   # これはうまく行くようだ
               @q << [:STRING_LITERAL, Token.new($&, file, lineno, col)]
-            # 行コメント
+            # 行コメント
             when /\A\/\/.*$/
-              # 読み飛ばすだけ
-            # コメント開始
+              # 読み飛ばすだけ
+            # コメント開始
             when /\A\/\*/
               comment = true
@@ -913 +892 @@
     }
 
-    # 終了の印
+    # 終了の印
     @q << nil
 
@@ -940 +919 @@
       end
 
-      # TYPE_NAME トークンへ置き換え
+      # TYPE_NAME トークンへ置き換え
       if @b_no_type_name == false
         if token[0] == :IDENTIFIER && Namespace.is_typename?( token[1].val ) then
@@ -947 +926 @@
       end
 
-      if $debug then     # 070107 token 無効時ここを通さないようした (through 対応 -d の時に例外発生) 
+      if $debug then     # 070107 token 無効時ここを通さないようした (through 対応 -d の時に例外発生) 
         locale = @@current_locale[@@generator_nest]
         if token then
@@ -976 +955 @@
   @@n_warning = 0
 
-  # このメソッドは構文解析、意味解析からのみ呼出し可（コード生成でエラー発生は不適切）
+  # このメソッドは構文解析、意味解析からのみ呼出し可（コード生成でエラー発生は不適切）
   def self.error( msg )
     @@n_error += 1
@@ -988 +967 @@
   end
 
-  # このメソッドは構文解析、意味解析からのみ呼出し可（コード生成でウォーニング発生は不適切）
+  # このメソッドは構文解析、意味解析からのみ呼出し可（コード生成でウォーニング発生は不適切）
   def self.warning( msg )
     @@n_warning += 1