Changeset 389 for azure_iot_hub/trunk/asp3_dcre/tecsgen/tecslib/core/C_parser.y.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/C_parser.y.rb (modified) (35 diffs, 1 prop)

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

@@ -6 +6 @@
 #   Copyright (C) 2008-2018 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$
@@ -55 +40 @@
 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 は、すべて配列で第一要素が識別シンボル、第二要素以下が引数
 #
-# 2019/3/28 長島 下記のC99の構文に近づくよう変更
-#（読めないヘッダーファイルがあったため）
+# 2019/3/28 長島 下記のC99の構文に近づくよう変更
+#（読めないヘッダーファイルがあったため）
 # http://www.quut.com/c/ANSI-C-grammar-y-1999.html
-# å
-ƒã€
-のコメントと合わなくなっています
+# 元々のコメントと合わなくなっています
 
 primary_expression
                 : namespace_identifier
                 { result = [ :IDENTIFIER, val[0] ] }     #1ok
-#        : IDENTIFIER   # mikan namespace への対応
+#        : IDENTIFIER   # mikan namespace への対応
 #               { result = [ :IDENTIFIER, val[0] ] }
 #        | TRUE
@@ -103 +84 @@
                 { result << val[1] }
 
-# 関数呼び出しと後置インクリメント、デクリメント演算子がない
+# 関数呼び出しと後置インクリメント、デクリメント演算子がない
 postfix_expression
                 : primary_expression
@@ -115 +96 @@
                 | 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] }
                 | '(' type_name ')' '{' initializer_list '}'
@@ -125 +106 @@
 
 
-# 前置インクリメント、デクリメント演算子がない
+# 前置インクリメント、デクリメント演算子がない
 unary_expression
                 : postfix_expression
@@ -134 +115 @@
                 | SIZEOF '(' type_name ')'
                 { result = [ :OP_SIZEOF_TYPE, val[1] ] }
-                | '++' unary_expression                 { result = val[1] }   # ++, -- は無視する
+                | '++' unary_expression                 { result = val[1] }   # ++, -- は無視する
                 | '--' unary_expression                 { result = val[1] }
 
@@ -246 +227 @@
                 | expression ',' assignment_expression
                 {
-                        result = Expression.new( val[2] )    # ',' の後ろを採用
+                        result = Expression.new( val[2] )    # ',' の後ろを採用
                 }
 
@@ -264 +245 @@
 
 # Types
-##########################  宣言  ##########################
-# 宣言もK&Rと一部異なる
-
-# declarationはセルの属性で使われる
-# K&Rとの違い: storage classが指定できない、型が省略できない
+##########################  宣言  ##########################
+# 宣言もK&Rと一部異なる
+
+# declarationはセルの属性で使われる
+# K&Rとの違い: storage classが指定できない、型が省略できない
 declaration
                 : declaration_specifiers init_declarator_list ';'
 #        : specifier_qualifier_list init_declarator_list ';'
 
-# declaration_specifiersは関数のパラメータで使われるが、
-# specifier_qualifier_listで十分かもしれない
+# declaration_specifiersは関数のパラメータで使われるが、
+# specifier_qualifier_listで十分かもしれない
 
 declaration_specifiers
                 : storage_class_specifier
                 {
-                        result = CIntType.new( -3 )    # storage class は無視
+                        result = CIntType.new( -3 )    # storage class は無視
                 }
                 | storage_class_specifier declaration_specifiers
                 {
-                        result = val[1]                # storage class は無視
+                        result = val[1]                # storage class は無視
                 }
                 | type_specifier
@@ -350 +331 @@
                 { 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 でも呼ばれる
+                { 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 が宣言されたとする
+                { set_no_type_name true; result = CVoidType.new }  # void が宣言されたとする
                 | enum_specifier
-                { set_no_type_name true; result = CVoidType.new }  # void が宣言されたとする
+                { set_no_type_name true; result = CVoidType.new }  # void が宣言されたとする
                 | TYPE_NAME
                 { set_no_type_name true; result = CDefinedType.new( val[0].val ) }
 
-# 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 '{'
@@ -379 +360 @@
                         result = val[1]
                 }
-#        | STRUCT struct_tag   # mikan struct_tag は namespace 対応がå¿
-要
-                | struct_term struct_tag   # mikan struct_tag は namespace 対応がå¿
-要
+#        | STRUCT struct_tag   # mikan struct_tag は namespace 対応が必要
+                | struct_term struct_tag   # mikan struct_tag は namespace 対応が必要
                 {
                         StructType.set_define( false )
@@ -403 +382 @@
                 }
 
-# ãƒã‚¤ãƒ³ã‚¿ä¿®é£¾å­ã‚’è¿½åŠ 
+# ポインタ修飾子を追加
 struct_declaration
                 : declaration_specifiers struct_declarator_list ';'
@@ -416 +395 @@
                         result = val[1]
                 }
-                # ビットフィールドを読み飛ばし
+                # ビットフィールドを読み飛ばし
                 | declaration_specifiers struct_declarator_list ':' constant_expression ';'
                 {
@@ -427 +406 @@
                         result = val[1]
                 }
-                | union_specifier ';'                       # 無名
-                | struct_specifier ';'                       # 無名
-
-
-
-# K&Rのspecifier_qualifier_listと同じ
-# 名前がまぎらわしかったのでtype_を付けた
+                | union_specifier ';'                       # 無名
+                | struct_specifier ';'                       # 無名
+
+
+
+# K&Rのspecifier_qualifier_listと同じ
+# 名前がまぎらわしかったのでtype_を付けた
 specifier_qualifier_list
                 : type_specifier specifier_qualifier_list
@@ -457 +436 @@
                 { result << val[2] }
 
-# ビットフィールドは使えない
+# ビットフィールドは使えない
 struct_declarator
                 : declarator
@@ -466 +445 @@
 #        : 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_term union_tag '{' union_declaration_list '}'
                 | union_term '{' union_declaration_list '}'
-                | union_term union_tag   # mikan struct_tag は namespace 対応がå¿
-要
+                | union_term union_tag   # mikan struct_tag は namespace 対応が必要
 
 union_term
@@ -485 +462 @@
 union_declaration
                 : declaration_specifiers union_declarator_list ';'
-                | union_specifier ';'                       # 無名
-                | struct_specifier ';'                      # 無名
+                | union_specifier ';'                       # 無名
+                | struct_specifier ';'                      # 無名
 
 union_declarator_list
@@ -535 +512 @@
                 }
                 | direct_declarator
-                | pointer TYPE_NAME     # 関数ポインタの typedef ãŒäºŒé‡å®šç¾©ã®å ´åˆ
+                | pointer TYPE_NAME     # 関数ポインタの typedef が二重定義の場合
                 {
                         result = Decl.new( val[1].val )
@@ -562 +539 @@
                         result = val[0]
                 }
-                | direct_declarator '(' identifier_list ')'  # これは何のためにå¿
-要？ 060211
+                | direct_declarator '(' identifier_list ')'  # これは何のために必要？ 060211
                 | direct_declarator '(' ')'
                 {
@@ -599 +575 @@
                 : parameter_list
                 | parameter_list ',' '.' '.' '.'
-                # mikan 可変長パラメータ,  ... の間のスペースが許される（手抜き）
+                # mikan 可変長パラメータ,  ... の間のスペースが許される（手抜き）
 
 parameter_list
@@ -607 +583 @@
 #               {
 #                       val[0].add_param( val[2] )
-#                       # result = val[0] 不要
+#                       # result = val[0] 不要
 #               }
 
 
-# ãƒ‘ãƒ©ãƒ¡ãƒ¼ã‚¿ä¿®é£¾å­ã‚’è¿½åŠ 
+# パラメータ修飾子を追加
 parameter_declaration
                 : declaration_specifiers declarator
@@ -620 +596 @@
 #               }
 
-        # 以下はエラーとする
-#        | declaration_specifiers       # 仮引数なしは、とりあえず扱わない 060210
+        # 以下はエラーとする
+#        | declaration_specifiers       # 仮引数なしは、とりあえず扱わない 060210
 #               {
 #                       unless val[0].kind_of?( VoidType ) then
@@ -628 +604 @@
 #                       result = nil
 #               }
-                | declaration_specifiers abstract_declarator    # 仮引数なし
-                | declaration_specifiers                                                # 仮引数なし
-
-
-identifier_list       # 060211  不用になった
+                | declaration_specifiers abstract_declarator    # 仮引数なし
+                | declaration_specifiers                                                # 仮引数なし
+
+
+identifier_list       # 060211  不用になった
         : IDENTIFIER
         | identifier_list ',' IDENTIFIER
@@ -662 +638 @@
                 | direct_abstract_declarator '(' parameter_type_list ')'
 
-# assignment_expressionをconstant_expressionに変更
+# assignment_expressionをconstant_expressionに変更
 initializer                     # mikan
                 : assignment_expression
@@ -685 +661 @@
 
 
-##########################  ここからはCDL独自  ##########################
-
-#トップレベルの構文規則
+##########################  ここからはCDL独自  ##########################
+
+#トップレベルの構文規則
 C_parser
                 :
@@ -703 +679 @@
                 | declaration
                 | ';'
-                | error   # エラー回復ポイント
+                | error   # エラー回復ポイント
 
 typedef
@@ -792 +768 @@
                 : _ASM {
                 while true
-                        # ';' が表れるまで、トークンを読み飛ばす。
-                        # gcc の構文拡張に対応すべきだが、単純な実è£
-として、';' まで読み飛ばす。
-                        # トークン単位で読み飛ばしているので、文字列やコメントå†
-の ';' は対象にならない。
+                        # ';' が表れるまで、トークンを読み飛ばす。
+                        # gcc の構文拡張に対応すべきだが、単純な実装として、';' まで読み飛ばす。
+                        # トークン単位で読み飛ばしているので、文字列やコメント内の ';' は対象にならない。
                         token = next_token
                         if token[1].val == ";"
@@ -906 +880 @@
 #               b_asm   = 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])?"
 
@@ -925 +898 @@
                                 if comment
                                         case line
-                                        # コメント終了
+                                        # コメント終了
                                         when /\A\*\//
                                                 comment = false
@@ -933 +906 @@
                                 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
@@ -995 +968 @@
         }
 
-        # 終了の印
+        # 終了の印
         @q << nil
 
@@ -1022 +995 @@
                         end
 
-                        # TYPE_NAME トークンへ置き換え
+                        # TYPE_NAME トークンへ置き換え
                         if @b_no_type_name == false
                                 if token[0] == :IDENTIFIER && Namespace.is_typename?( token[1].val ) then
@@ -1031 +1004 @@
                         end
 
-                        if $debug then     # 070107 token 無効時ここを通さないようした (through 対応 -d の時に例外発生) 
+                        if $debug then     # 070107 token 無効時ここを通さないようした (through 対応 -d の時に例外発生) 
                                 locale = @@current_locale[@@generator_nest]
                                 if token then
@@ -1061 +1034 @@
         @@n_info = 0
 
-        # このメソッドは構文解析、意味解析からのみ呼出し可（コード生成でエラー発生は不適切）
+        # このメソッドは構文解析、意味解析からのみ呼出し可（コード生成でエラー発生は不適切）
         def self.error( msg )
                 @@n_error += 1
@@ -1073 +1046 @@
         end
 
-        # このメソッドは構文解析、意味解析からのみ呼出し可（コード生成でウォーニング発生は不適切）
+        # このメソッドは構文解析、意味解析からのみ呼出し可（コード生成でウォーニング発生は不適切）
         def self.warning( msg )
                 @@n_warning += 1
@@ -1080 +1053 @@
         end
 
-        # このメソッドは構文解析、意味解析からのみ呼出し可
+        # このメソッドは構文解析、意味解析からのみ呼出し可
         def self.info( msg )
                 @@n_info += 1