adlint 1.18.6 → 2.0.0

data/etc/mesg.d/core/en_US/messages.yml

@@ -0,0 +1,134 @@
+#     ___    ____  __    ___   _________
+#    /   |  / _  |/ /   / / | / /__  __/           Source Code Static Analyzer
+#   / /| | / / / / /   / /  |/ /  / /                   AdLint - Advanced Lint
+#  / __  |/ /_/ / /___/ / /|  /  / /
+# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
+#
+# This file is part of AdLint.
+#
+# AdLint is free software: you can redistribute it and/or modify it under the
+# terms of the GNU General Public License as published by the Free Software
+# Foundation, either version 3 of the License, or (at your option) any later
+# version.
+#
+# AdLint is distributed in the hope that it will be useful, but WITHOUT ANY
+# WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR
+# A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License along with
+# AdLint.  If not, see <http://www.gnu.org/licenses/>.
+#
+#
+# Default message catalog of core package for en_US locale.
+#
+#                      *********************************
+#                      ***** DO NOT EDIT THIS FILE *****
+#                      *********************************
+#
+# To override default messages, edit `change_list' section of the traits file.
+#
+# [Example]
+#
+# % tail traits.yml
+# message_traits:
+#   change_list:
+#     W9999:
+#       package: "c_builtin"
+#       classes:
+#         - "REL:A10"
+#         - "PRT:B20"
+#       format: "Your custom message for the warning of W9999."
+#     X9999:
+#       package: "core"
+#       classes:
+#         - "ERR:X99"
+#       format: "Your custom message for the fatal error of X9999."
+#     E9999:
+#       package: "core"
+#       classes:
+#         - "ERR:X99"
+#       format: "Your custom message for the error of E9999."
+
+version: "2.0.0"
+
+message_definition:
+  X0001:
+    classes:
+      - "ERR:X99"
+    format: "An unknown exception `%s' is found."
+  X0002:
+    classes:
+      - "ERR:X99"
+    format: "An illegal message ID `%s:%s' is found."
+  X0003:
+    classes:
+      - "ERR:X99"
+    format: "Analysis processing has been stopped due to unrecoverable error. For the details, refer to `%s' and `%s'."
+  X0004:
+    classes:
+      - "ERR:X99"
+    format: "An illegal message format `%s' is found."
+  E0001:
+    classes:
+      - "ERR:X99"
+    format: "An identifier is required in this position."
+  E0002:
+    classes:
+      - "ERR:X99"
+    format: "A comma is required in this position."
+  E0003:
+    classes:
+      - "ERR:X99"
+    format: "Invalid token is found behind identifier list (identifier_list)."
+  E0004:
+    classes:
+      - "ERR:X99"
+    format: "Corresponding #endif doesn't found."
+  E0005:
+    classes:
+      - "ERR:X99"
+    format: "#else group (else_group) must describe after #elif group (elif_groups)."
+  E0006:
+    classes:
+      - "ERR:X99"
+    format: "Syntax error is found in token `%s'."
+  E0007:
+    classes:
+      - "ERR:X99"
+    format: "Syntax error is found in conditional expression token `%s'. Conditional expression evaluate as false."
+  E0008:
+    classes:
+      - "ERR:X99"
+    format: "Syntax error is found in token `%s'."
+  E0009:
+    classes:
+      - "ERR:X99"
+    format: "A header file of <%s> doesn't found."
+  E0010:
+    classes:
+      - "ERR:X99"
+    format: "A header file of \"%s\" doesn't found."
+  E0011:
+    classes:
+      - "ERR:X99"
+    format: "Syntax error is found under analysis of <%s>."
+  E0012:
+    classes:
+      - "ERR:X99"
+    format: "Syntax error is found under analysis of \"%s\"."
+  E0013:
+    classes:
+      - "ERR:X99"
+    format: "Statement cannot include in syntax."
+  E0014:
+    classes:
+      - "ERR:X99"
+    format: "'&&' monadic operator to get a label address is GCC original add-on."
+  E0015:
+    classes:
+      - "ERR:X99"
+    format: "'goto' statement with specified label address is GCC original add-on."
+  E0016:
+    classes:
+      - "ERR:X99"
+    format: "Unfinished comment block is found."

data/etc/mesg.d/core/ja_JP/messages.yml

@@ -0,0 +1,134 @@
+#     ___    ____  __    ___   _________
+#    /   |  / _  |/ /   / / | / /__  __/           Source Code Static Analyzer
+#   / /| | / / / / /   / /  |/ /  / /                   AdLint - Advanced Lint
+#  / __  |/ /_/ / /___/ / /|  /  / /
+# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
+#
+# This file is part of AdLint.
+#
+# AdLint is free software: you can redistribute it and/or modify it under the
+# terms of the GNU General Public License as published by the Free Software
+# Foundation, either version 3 of the License, or (at your option) any later
+# version.
+#
+# AdLint is distributed in the hope that it will be useful, but WITHOUT ANY
+# WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR
+# A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License along with
+# AdLint.  If not, see <http://www.gnu.org/licenses/>.
+#
+#
+# Default message catalog of core package for ja_JP locale.
+#
+#                      *********************************
+#                      ***** DO NOT EDIT THIS FILE *****
+#                      *********************************
+#
+# To override default messages, edit `change_list' section of the traits file.
+#
+# [Example]
+#
+# % tail traits.yml
+# message_traits:
+#   change_list:
+#     W9999:
+#       package: "c_builtin"
+#       classes:
+#         - "REL:A10"
+#         - "PRT:B20"
+#       format: "Your custom message for the warning of W9999."
+#     X9999:
+#       package: "core"
+#       classes:
+#         - "ERR:X99"
+#       format: "Your custom message for the fatal error of X9999."
+#     E9999:
+#       package: "core"
+#       classes:
+#         - "ERR:X99"
+#       format: "Your custom message for the error of E9999."
+
+version: "2.0.0"
+
+message_definition:
+  X0001:
+    classes:
+      - "ERR:X99"
+    format: "不明な例外条件 `%s' を検出しました。"
+  X0002:
+    classes:
+      - "ERR:X99"
+    format: "不正なメッセージ ID `%s:%s' を検出しました。"
+  X0003:
+    classes:
+      - "ERR:X99"
+    format: "回復不能なエラーにより解析処理を中断しました。詳細は `%s' 及び `%s' を確認して下さい。"
+  X0004:
+    classes:
+      - "ERR:X99"
+    format: "不正なメッセージフォーマット `%s:%s' を検出しました。"
+  E0001:
+    classes:
+      - "ERR:X99"
+    format: "この位置には識別子が必要です。"
+  E0002:
+    classes:
+      - "ERR:X99"
+    format: "この位置にはコンマが必要です。"
+  E0003:
+    classes:
+      - "ERR:X99"
+    format: "識別子リスト(identifier_list)の後に不正なトークンが見つかりました。"
+  E0004:
+    classes:
+      - "ERR:X99"
+    format: "対応する #endif 行がありません。"
+  E0005:
+    classes:
+      - "ERR:X99"
+    format: "#else グループ(else_group)は、#elif グループ(elif_groups)の後に記述しなければなりません。"
+  E0006:
+    classes:
+      - "ERR:X99"
+    format: "トークン `%s' で構文エラーを検知しました。"
+  E0007:
+    classes:
+      - "ERR:X99"
+    format: "条件式中のトークン `%s' で構文エラーを検出しました。条件式を偽として評価します。"
+  E0008:
+    classes:
+      - "ERR:X99"
+    format: "トークン `%s' で構文エラーを検知しました。"
+  E0009:
+    classes:
+      - "ERR:X99"
+    format: "ヘッダファイル <%s> が見つかりません。"
+  E0010:
+    classes:
+      - "ERR:X99"
+    format: "ヘッダファイル \"%s\"が見つかりません。"
+  E0011:
+    classes:
+      - "ERR:X99"
+    format: "ヘッダファイル <%s> の解析中に構文エラーを検出しました。"
+  E0012:
+    classes:
+      - "ERR:X99"
+    format: "ヘッダファイル \"%s\"の解析中に構文エラーを検出しました。"
+  E0013:
+    classes:
+      - "ERR:X99"
+    format: "式に文を含めることはできません。"
+  E0014:
+    classes:
+      - "ERR:X99"
+    format: "ラベルのアドレスを取得するための && 単項演算子は GCC 独自の拡張機能です。"
+  E0015:
+    classes:
+      - "ERR:X99"
+    format: "ラベルのアドレスを指定した goto 文は GCC 独自の拡張機能です。"
+  E0016:
+    classes:
+      - "ERR:X99"
+    format: "終了しないコメントブロックが見つかりました。"

data/features/{message_detection → code_check}/E0013.feature

@@ -3,7 +3,7 @@ Feature: E0013
   E0013 detects that an expression contains statements.
 
   Scenario: statements in initializer
-    Given a target source named "E0013.c" with:
+    Given a target source named "fixture.c" with:
       """
       int foo(int i)
       {
@@ -17,7 +17,7 @@ Feature: E0013
           }
       }
       """
-    When I successfully run `adlint E0013.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | E0013 | 3    | 13     |

data/features/{message_detection → code_check}/W0001.feature

@@ -3,7 +3,7 @@ Feature: W0001
   W0001 detects that a number of the expression grouping is greater than 32.
 
   Scenario: deeply grouped in initializer
-    Given a target source named "W0001.c" with:
+    Given a target source named "fixture.c" with:
       """
       static void foo(void)
       {
@@ -12,7 +12,7 @@ Feature: W0001
           const int c = (((((((((((((((((((((((((((((((((a + b))))))))))))))))))))))))))))))))); /* W0001 */
       }
       """
-    When I successfully run `adlint W0001.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W1076 | 1    | 13     |
@@ -21,7 +21,7 @@ Feature: W0001
       | W0628 | 1    | 13     |
 
   Scenario: deeply grouped in expression-statement
-    Given a target source named "W0001.c" with:
+    Given a target source named "fixture.c" with:
       """
       static void foo(void)
       {
@@ -31,7 +31,7 @@ Feature: W0001
           c = (((((((((((((((((((((((((((((((((a + b))))))))))))))))))))))))))))))))); /* W0001 */
       }
       """
-    When I successfully run `adlint W0001.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W1076 | 1    | 13     |

data/features/{message_detection → code_check}/W0002.feature

@@ -3,7 +3,7 @@ Feature: W0002
   W0002 detects that an old style function-definition is found.
 
   Scenario: all arguments are type specified
-    Given a target source named "W0002.c" with:
+    Given a target source named "fixture.c" with:
       """
       int func(arg1, arg2) /* W0002 */
       int arg1;
@@ -12,7 +12,7 @@ Feature: W0002
           return 0;
       }
       """
-    When I successfully run `adlint W0002.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W0117 | 1    | 5      |
@@ -24,14 +24,14 @@ Feature: W0002
       | W0628 | 1    | 5      |
 
   Scenario: no arguments are type specified
-    Given a target source named "W0002.c" with:
+    Given a target source named "fixture.c" with:
       """
       int func(arg1, arg2) /* W0002 */
       {
           return 0;
       }
       """
-    When I successfully run `adlint W0002.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W0117 | 1    | 5      |
@@ -45,7 +45,7 @@ Feature: W0002
       | W0628 | 1    | 5      |
 
   Scenario: arguments are partly type specified
-    Given a target source named "W0002.c" with:
+    Given a target source named "fixture.c" with:
       """
       int func(arg1, arg2) /* W0002 */
       char arg2;
@@ -53,7 +53,7 @@ Feature: W0002
           return 0;
       }
       """
-    When I successfully run `adlint W0002.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W0117 | 1    | 5      |

data/features/{message_detection → code_check}/W0003.feature

@@ -3,7 +3,7 @@ Feature: W0003
   W0003 detects that no default clause is in the switch-statement.
 
   Scenario: no default clause
-    Given a target source named "W0003.c" with:
+    Given a target source named "fixture.c" with:
       """
       int foo(int i)
       {
@@ -24,7 +24,7 @@ Feature: W0003
           return j;
       }
       """
-    When I successfully run `adlint W0003.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W0117 | 1    | 5      |
@@ -34,7 +34,7 @@ Feature: W0003
       | W0628 | 1    | 5      |
 
   Scenario: a default clause at the bottom
-    Given a target source named "W0003.c" with:
+    Given a target source named "fixture.c" with:
       """
       int foo(int i)
       {
@@ -58,7 +58,7 @@ Feature: W0003
           return j;
       }
       """
-    When I successfully run `adlint W0003.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W0117 | 1    | 5      |
@@ -66,7 +66,7 @@ Feature: W0003
       | W0628 | 1    | 5      |
 
   Scenario: a default clause at the middle
-    Given a target source named "W0003.c" with:
+    Given a target source named "fixture.c" with:
       """
       int foo(int i)
       {
@@ -90,7 +90,7 @@ Feature: W0003
           return j;
       }
       """
-    When I successfully run `adlint W0003.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W0117 | 1    | 5      |
@@ -99,7 +99,7 @@ Feature: W0003
       | W0628 | 1    | 5      |
 
   Scenario: a default clause at the top
-    Given a target source named "W0003.c" with:
+    Given a target source named "fixture.c" with:
       """
       int foo(int i)
       {
@@ -123,7 +123,7 @@ Feature: W0003
           return j;
       }
       """
-    When I successfully run `adlint W0003.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W0117 | 1    | 5      |

data/features/{message_detection → code_check}/W0007.feature

@@ -4,7 +4,7 @@ Feature: W0007
   jump-statement at the last statement.
 
   Scenario: no jump-statement in the previous case clause
-    Given a target source named "W0007.c" with:
+    Given a target source named "fixture.c" with:
       """
       static int foo(const int i)
       {
@@ -27,7 +27,7 @@ Feature: W0007
           return j;
       }
       """
-    When I successfully run `adlint W0007.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W1076 | 1    | 12     |
@@ -36,7 +36,7 @@ Feature: W0007
       | W0628 | 1    | 12     |
 
   Scenario: a break-statement at the middle of the previous case clause
-    Given a target source named "W0007.c" with:
+    Given a target source named "fixture.c" with:
       """
       extern int rand(void);
 
@@ -65,7 +65,7 @@ Feature: W0007
           return j;
       }
       """
-    When I successfully run `adlint W0007.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W0118 | 1    | 12     |
@@ -76,7 +76,7 @@ Feature: W0007
       | W0628 | 3    | 12     |
 
   Scenario: a break-statement at the bottom of the previous case clause
-    Given a target source named "W0007.c" with:
+    Given a target source named "fixture.c" with:
       """
       static int foo(const int i)
       {
@@ -100,7 +100,7 @@ Feature: W0007
           return j;
       }
       """
-    When I successfully run `adlint W0007.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W1076 | 1    | 12     |
@@ -108,7 +108,7 @@ Feature: W0007
       | W0628 | 1    | 12     |
 
   Scenario: a return-statement at the bottom of the previous case clause
-    Given a target source named "W0007.c" with:
+    Given a target source named "fixture.c" with:
       """
       static int foo(const int i)
       {
@@ -132,7 +132,7 @@ Feature: W0007
           return j;
       }
       """
-    When I successfully run `adlint W0007.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W1076 | 1    | 12     |
@@ -141,7 +141,7 @@ Feature: W0007
       | W0628 | 1    | 12     |
 
   Scenario: no jump-statement in the previous default clause
-    Given a target source named "W0007.c" with:
+    Given a target source named "fixture.c" with:
       """
       static int foo(const int i)
       {
@@ -161,7 +161,7 @@ Feature: W0007
           return j;
       }
       """
-    When I successfully run `adlint W0007.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W1076 | 1    | 12     |
@@ -171,7 +171,7 @@ Feature: W0007
       | W0628 | 1    | 12     |
 
   Scenario: a break-statement at the middle of the previous default clause
-    Given a target source named "W0007.c" with:
+    Given a target source named "fixture.c" with:
       """
       extern int rand(void);
 
@@ -197,7 +197,7 @@ Feature: W0007
           return j;
       }
       """
-    When I successfully run `adlint W0007.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W0118 | 1    | 12     |
@@ -209,7 +209,7 @@ Feature: W0007
       | W0628 | 3    | 12     |
 
   Scenario: a break-statement at the bottom of the previous default clause
-    Given a target source named "W0007.c" with:
+    Given a target source named "fixture.c" with:
       """
       static int foo(const int i)
       {
@@ -233,7 +233,7 @@ Feature: W0007
           return j;
       }
       """
-    When I successfully run `adlint W0007.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W1076 | 1    | 12     |
@@ -241,7 +241,7 @@ Feature: W0007
       | W0628 | 1    | 12     |
 
   Scenario: a return-statement at the bottom of the previous default clause
-    Given a target source named "W0007.c" with:
+    Given a target source named "fixture.c" with:
       """
       static int foo(const int i)
       {
@@ -262,7 +262,7 @@ Feature: W0007
           return j;
       }
       """
-    When I successfully run `adlint W0007.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W1076 | 1    | 12     |