adlint 2.6.14 → 3.0.0

data/share/doc/users_guide_ja.texi

@@ -2,10 +2,10 @@
 @setfilename users_guide_ja.info
 @documentlanguage ja
 @documentencoding utf-8
-@settitle AdLint 2.6.14 利用者ガイド
+@settitle AdLint 3.0.0 利用者ガイド
 
 @copying
-Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
+Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
 @end copying
 
 @titlepage
@@ -37,7 +37,7 @@ Mac OS X、GNU/Linux、FreeBSD など Ruby がサポートする全てのプラ
 用することができます。
 
 @unnumberedsec ライセンス
-Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
+Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
 
 AdLint is free software: you can redistribute it and/or modify
 it under the terms of the GNU General Public License as published by
@@ -860,6 +860,7 @@ Options:
 * 入力ファイル:Input Files.
 * 特性ファイル:Traits.
 * メッセージ定義ファイル:Message Definition.
+* ソースコード注釈:Source Code Annotation.
 @end menu
 
 
@@ -1023,16 +1024,30 @@ exam_packages:
 @tab
 解析対象プロジェクトのルートディレクトリを設定します。
 @item 3
-@cindex project_traits:include_path
-@anchor{project_traits:include_path}
+@cindex project_traits:target_files:inclusion_paths
+@anchor{project_traits:target_files:inclusion_paths}
 @tab
-@code{include_path}
+@code{target_files:inclusion_paths}
 @tab
 文字列の配列
 @tab
-プロジェクト固有のインクルードパスを設定します。
-各エントリの文字列は、@code{`:'} を区切り文字として複数のパス名を設定できます。
+解析対象ソースファイルが存在する上位ディレクトリのパス名を設定します。
+各エントリの文字列は、@code{`:'} (Windows 環境では @code{`;'}) を区切り文字とし
+て複数のパス名を設定できます。
 @item 4
+@cindex project_traits:target_files:exclusion_paths
+@anchor{project_traits:target_files:exclusion_paths}
+@tab
+@code{target_files:exclusion_paths}
+@tab
+文字列の配列
+@tab
+@ref{project_traits:target_files:inclusion_paths, @code{target_files:inclusion_paths}} で指定したディレクトリ配下のファイルで、解析対象から除外するソースファイルが存在するディレクトリを設定します。
+解析対象プロジェクト中にサードパーティ製ライブラリのソースコードを含み、それら
+のソースファイルに関するコードチェックを行いたくない場合などに指定します。
+各エントリの文字列は、@code{`:'} (Windows 環境では @code{`;'}) を区切り文字とし
+て複数のパス名を設定できます。
+@item 5
 @cindex project_traits:initial_header
 @anchor{project_traits:initial_header}
 @tab
@@ -1042,7 +1057,18 @@ exam_packages:
 @tab
 解析対象ソースファイルの先頭に自動でインクルードされるヘッダファイルを指定しま
 す。このファイルには、プロジェクト固有のマクロ定義などを記述します。
-@item 5
+@item 6
+@cindex project_traits:file_search_paths
+@anchor{project_traits:file_search_paths}
+@tab
+@code{file_search_paths}
+@tab
+文字列の配列
+@tab
+プロジェクト固有のインクルードファイルの探索パスを設定します。
+各エントリの文字列は、@code{`:'} (Windows 環境では @code{`;'}) を区切り文字とし
+て複数のパス名を設定できます。
+@item 7
 @cindex project_traits:coding_style:indent_style
 @anchor{project_traits:coding_style:indent_style}
 @tab
@@ -1091,7 +1117,7 @@ foo(int i)
 @}
 @end example
 となります。
-@item 6
+@item 8
 @cindex project_traits:coding_style:tab_width
 @anchor{project_traits:coding_style:tab_width}
 @tab
@@ -1100,7 +1126,7 @@ foo(int i)
 整数値
 @tab
 タブ文字の見た目上の桁数を設定します。
-@item 7
+@item 9
 @cindex project_traits:coding_style:indent_width
 @anchor{project_traits:coding_style:indent_width}
 @tab
@@ -1109,7 +1135,7 @@ foo(int i)
 整数値
 @tab
 インデントの見た目上の桁数を設定します。
-@item 8
+@item 10
 @cindex project_traits:file_encoding
 @anchor{project_traits:file_encoding}
 @tab
@@ -1143,204 +1169,205 @@ foo(int i)
 イルを指定します。このファイルには、コンパイラ固有の定義済みマクロや型定義など
 を記述します。
 @item 2
-@cindex compiler_traits:standard_type:char_size
-@anchor{compiler_traits:standard_type:char_size}
+@cindex compiler_traits:file_search_paths
+@anchor{compiler_traits:file_search_paths}
 @tab
-@code{standard_type:char_size}
+@code{file_search_paths}
 @tab
-整数値
+文字列の配列
 @tab
-@code{char} 型ファミリのサイズをビット単位で設定します。
+コンパイラ固有のインクルードファイルの探索パスを設定します。
+各エントリの文字列は、@code{`:'} (Windows 環境では @code{`;'}) を区切り文字とし
+て複数のパス名を設定できます。
 @item 3
-@cindex compiler_traits:standard_type:char_alignment
-@anchor{compiler_traits:standard_type:char_alignment}
+@cindex compiler_traits:standard_types:char_size
+@anchor{compiler_traits:standard_types:char_size}
 @tab
-@code{standard_type:char_alignment}
+@code{standard_types:char_size}
 @tab
 整数値
 @tab
-@code{char} 型ファミリのメモリアライメントをビット単位で設定します。
+@code{char} 型ファミリのサイズをビット単位で設定します。
 @item 4
-@cindex compiler_traits:standard_type:short_size
-@anchor{compiler_traits:standard_type:short_size}
+@cindex compiler_traits:standard_types:char_alignment
+@anchor{compiler_traits:standard_types:char_alignment}
 @tab
-@code{standard_type:short_size}
+@code{standard_types:char_alignment}
 @tab
 整数値
 @tab
-@code{short} 型ファミリのサイズをビット単位で設定します。
+@code{char} 型ファミリのメモリアライメントをビット単位で設定します。
 @item 5
-@cindex compiler_traits:standard_type:short_alignment
-@anchor{compiler_traits:standard_type:short_alignment}
+@cindex compiler_traits:standard_types:short_size
+@anchor{compiler_traits:standard_types:short_size}
 @tab
-@code{standard_type:short_alignment}
+@code{standard_types:short_size}
 @tab
 整数値
 @tab
-@code{short} 型ファミリのメモリアライメントをビット単位で設定します。
+@code{short} 型ファミリのサイズをビット単位で設定します。
 @item 6
-@cindex compiler_traits:standard_type:int_size
-@anchor{compiler_traits:standard_type:int_size}
+@cindex compiler_traits:standard_types:short_alignment
+@anchor{compiler_traits:standard_types:short_alignment}
 @tab
-@code{standard_type:int_size}
+@code{standard_types:short_alignment}
 @tab
 整数値
 @tab
-@code{int} 型ファミリのサイズをビット単位で設定します。
+@code{short} 型ファミリのメモリアライメントをビット単位で設定します。
 @item 7
-@cindex compiler_traits:standard_type:int_alignment
-@anchor{compiler_traits:standard_type:int_alignment}
+@cindex compiler_traits:standard_types:int_size
+@anchor{compiler_traits:standard_types:int_size}
 @tab
-@code{standard_type:int_alignment}
+@code{standard_types:int_size}
 @tab
 整数値
 @tab
-@code{int} 型ファミリのメモリアライメントをビット単位で設定します。
+@code{int} 型ファミリのサイズをビット単位で設定します。
 @item 8
-@cindex compiler_traits:standard_type:long_size
-@anchor{compiler_traits:standard_type:long_size}
+@cindex compiler_traits:standard_types:int_alignment
+@anchor{compiler_traits:standard_types:int_alignment}
 @tab
-@code{standard_type:long_size}
+@code{standard_types:int_alignment}
 @tab
 整数値
 @tab
-@code{long int} 型ファミリのサイズをビット単位で設定します。
+@code{int} 型ファミリのメモリアライメントをビット単位で設定します。
 @item 9
-@cindex compiler_traits:standard_type:long_alignment
-@anchor{compiler_traits:standard_type:long_alignment}
+@cindex compiler_traits:standard_types:long_size
+@anchor{compiler_traits:standard_types:long_size}
 @tab
-@code{standard_type:long_alignment}
+@code{standard_types:long_size}
 @tab
 整数値
 @tab
-@code{long int} 型ファミリのメモリアライメントをビット単位で設定します。
+@code{long int} 型ファミリのサイズをビット単位で設定します。
 @item 10
-@cindex compiler_traits:standard_type:long_long_size
-@anchor{compiler_traits:standard_type:long_long_size}
+@cindex compiler_traits:standard_types:long_alignment
+@anchor{compiler_traits:standard_types:long_alignment}
 @tab
-@code{standard_type:long_long_size}
+@code{standard_types:long_alignment}
 @tab
 整数値
 @tab
-@code{long long int} 型ファミリのサイズをビット単位で設定します。
+@code{long int} 型ファミリのメモリアライメントをビット単位で設定します。
 @item 11
-@cindex compiler_traits:standard_type:long_long_alignment
-@anchor{compiler_traits:standard_type:long_long_alignment}
+@cindex compiler_traits:standard_types:long_long_size
+@anchor{compiler_traits:standard_types:long_long_size}
 @tab
-@code{standard_type:long_long_alignment}
+@code{standard_types:long_long_size}
 @tab
 整数値
 @tab
-@code{long long int} 型ファミリのメモリアライメントをビット単位で設定します。
+@code{long long int} 型ファミリのサイズをビット単位で設定します。
 @item 12
-@cindex compiler_traits:standard_type:float_size
-@anchor{compiler_traits:standard_type:float_size}
+@cindex compiler_traits:standard_types:long_long_alignment
+@anchor{compiler_traits:standard_types:long_long_alignment}
 @tab
-@code{standard_type:float_size}
+@code{standard_types:long_long_alignment}
 @tab
 整数値
 @tab
-@code{float} 型のサイズをビット単位で設定します。
+@code{long long int} 型ファミリのメモリアライメントをビット単位で設定します。
 @item 13
-@cindex compiler_traits:standard_type:float_alignment
-@anchor{compiler_traits:standard_type:float_alignment}
+@cindex compiler_traits:standard_types:float_size
+@anchor{compiler_traits:standard_types:float_size}
 @tab
-@code{standard_type:float_alignment}
+@code{standard_types:float_size}
 @tab
 整数値
 @tab
-@code{float} 型のメモリアライメントをビット単位で設定します。
+@code{float} 型のサイズをビット単位で設定します。
 @item 14
-@cindex compiler_traits:standard_type:double_size
-@anchor{compiler_traits:standard_type:double_size}
+@cindex compiler_traits:standard_types:float_alignment
+@anchor{compiler_traits:standard_types:float_alignment}
 @tab
-@code{standard_type:double_size}
+@code{standard_types:float_alignment}
 @tab
 整数値
 @tab
-@code{double} 型のサイズをビット単位で設定します。
+@code{float} 型のメモリアライメントをビット単位で設定します。
 @item 15
-@cindex compiler_traits:standard_type:double_alignment
-@anchor{compiler_traits:standard_type:double_alignment}
+@cindex compiler_traits:standard_types:double_size
+@anchor{compiler_traits:standard_types:double_size}
 @tab
-@code{standard_type:double_alignment}
+@code{standard_types:double_size}
 @tab
 整数値
 @tab
-@code{double} 型のメモリアライメントをビット単位で設定します。
+@code{double} 型のサイズをビット単位で設定します。
 @item 16
-@cindex compiler_traits:standard_type:long_double_size
-@anchor{compiler_traits:standard_type:long_double_size}
+@cindex compiler_traits:standard_types:double_alignment
+@anchor{compiler_traits:standard_types:double_alignment}
 @tab
-@code{standard_type:long_double_size}
+@code{standard_types:double_alignment}
 @tab
 整数値
 @tab
-@code{long double} 型のサイズをビット単位で設定します。
+@code{double} 型のメモリアライメントをビット単位で設定します。
 @item 17
-@cindex compiler_traits:standard_type:long_double_alignment
-@anchor{compiler_traits:standard_type:long_double_alignment}
+@cindex compiler_traits:standard_types:long_double_size
+@anchor{compiler_traits:standard_types:long_double_size}
 @tab
-@code{standard_type:long_double_alignment}
+@code{standard_types:long_double_size}
 @tab
 整数値
 @tab
-@code{long double} 型のメモリアライメントをビット単位で設定します。
+@code{long double} 型のサイズをビット単位で設定します。
 @item 18
-@cindex compiler_traits:standard_type:code_ptr_size
-@anchor{compiler_traits:standard_type:code_ptr_size}
+@cindex compiler_traits:standard_types:long_double_alignment
+@anchor{compiler_traits:standard_types:long_double_alignment}
 @tab
-@code{standard_type:code_ptr_size}
+@code{standard_types:long_double_alignment}
 @tab
 整数値
 @tab
-関数へのポインタ型のサイズをビット単位で設定します。
+@code{long double} 型のメモリアライメントをビット単位で設定します。
 @item 19
-@cindex compiler_traits:standard_type:code_ptr_alignment
-@anchor{compiler_traits:standard_type:code_ptr_alignment}
+@cindex compiler_traits:standard_types:code_ptr_size
+@anchor{compiler_traits:standard_types:code_ptr_size}
 @tab
-@code{standard_type:code_ptr_alignment}
+@code{standard_types:code_ptr_size}
 @tab
 整数値
 @tab
-関数へのポインタ型のメモリアライメントをビット単位で設定します。
+関数へのポインタ型のサイズをビット単位で設定します。
 @item 20
-@cindex compiler_traits:standard_type:data_ptr_size
-@anchor{compiler_traits:standard_type:data_ptr_size}
+@cindex compiler_traits:standard_types:code_ptr_alignment
+@anchor{compiler_traits:standard_types:code_ptr_alignment}
 @tab
-@code{standard_type:data_ptr_size}
+@code{standard_types:code_ptr_alignment}
 @tab
 整数値
 @tab
-データへのポインタ型のサイズをビット単位で設定します。
+関数へのポインタ型のメモリアライメントをビット単位で設定します。
 @item 21
-@cindex compiler_traits:standard_type:data_ptr_alignment
-@anchor{compiler_traits:standard_type:data_ptr_alignment}
+@cindex compiler_traits:standard_types:data_ptr_size
+@anchor{compiler_traits:standard_types:data_ptr_size}
 @tab
-@code{standard_type:data_ptr_alignment}
+@code{standard_types:data_ptr_size}
 @tab
 整数値
 @tab
-データへのポインタ型のメモリアライメントをビット単位で設定します。
+データへのポインタ型のサイズをビット単位で設定します。
 @item 22
-@cindex compiler_traits:standard_type:char_as_unsigned_char
-@anchor{compiler_traits:standard_type:char_as_unsigned_char}
+@cindex compiler_traits:standard_types:data_ptr_alignment
+@anchor{compiler_traits:standard_types:data_ptr_alignment}
 @tab
-@code{standard_type:char_as_unsigned_char}
+@code{standard_types:data_ptr_alignment}
 @tab
-真偽値
+整数値
 @tab
-@code{`char'} 型を @code{`unsigned char'} 型として扱う場合 true を指定します。
+データへのポインタ型のメモリアライメントをビット単位で設定します。
 @item 23
-@cindex compiler_traits:include_path
-@anchor{compiler_traits:include_path}
+@cindex compiler_traits:standard_types:char_as_unsigned_char
+@anchor{compiler_traits:standard_types:char_as_unsigned_char}
 @tab
-@code{include_path}
+@code{standard_types:char_as_unsigned_char}
 @tab
-文字列の配列
+真偽値
 @tab
-コンパイラ固有のインクルードパスを設定します。
-各エントリの文字列は、@code{`:'} を区切り文字として複数のパス名を設定できます。
+@code{`char'} 型を @code{`unsigned char'} 型として扱う場合 true を指定します。
 @item 24
 @cindex compiler_traits:arithmetic:logical_right_shift
 @anchor{compiler_traits:arithmetic:logical_right_shift}
@@ -1352,10 +1379,19 @@ foo(int i)
 右シフト式 @code{`>>'} を算術シフトではなく、論理シフトとして扱う場合 true を指
 定します。
 @item 25
-@cindex compiler_traits:extension_substitution
-@anchor{compiler_traits:extension_substitution}
+@cindex compiler_traits:identifier_max
+@anchor{compiler_traits:identifier_max}
 @tab
-@code{extension_substitution}
+@code{identifier_max}
+@tab
+整数値
+@tab
+コンパイラにより識別可能なシンボルの最大長を指定します。
+@item 26
+@cindex compiler_traits:extension_substitutions
+@anchor{compiler_traits:extension_substitutions}
+@tab
+@code{extension_substitutions}
 @tab
 文字列のマップ
 @tab
@@ -1367,36 +1403,27 @@ AdLint は、ここで指定した拡張機能の使用箇所を @ref{W0061} メ
 削除しつつ @ref{W0061} メッセージによる警告を出力する場合は、下記のように指定し
 ます。
 @example
-extension_substitution:
+extension_substitutions:
   "__attribute__(__adlint__any)": ""
 @end example
 
 また、@code{`__restrict'} というトークンを @code{`restrict'} に置換しつつ
 @ref{W0061} メッセージによる警告を出力する場合は、下記のように指定します。
 @example
-extension_substitution:
+extension_substitutions:
   "__restrict": "restrict"
 @end example
-@item 26
-@cindex compiler_traits:arbitrary_substitution
-@anchor{compiler_traits:arbitrary_substitution}
-@tab
-@code{arbitrary_substitution}
-@tab
-文字列のマップ
-@tab
-@ref{compiler_traits:extension_substitution, @code{extension_substitution}} と
-同様に、プリプロセス後にトークン列を置換するための項目ですが、@ref{W0061} メッ
-セージを出力しない点が異なります。
 @item 27
-@cindex compiler_traits:identifier_max
-@anchor{compiler_traits:identifier_max}
+@cindex compiler_traits:arbitrary_substitutions
+@anchor{compiler_traits:arbitrary_substitutions}
 @tab
-@code{identifier_max}
+@code{arbitrary_substitutions}
 @tab
-整数値
+文字列のマップ
 @tab
-コンパイラにより識別可能なシンボルの最大長を指定します。
+@ref{compiler_traits:extension_substitutions, @code{extension_substitutions}}
+と同様に、プリプロセス後にトークン列を置換するための項目ですが、@ref{W0061} メ
+ッセージを出力しない点が異なります。
 @end multitable
 
 
@@ -1446,57 +1473,17 @@ extension_substitution:
 メッセージ本文の言語を指定します。(現時点では) @code{"en_US"} か @code{"ja_JP"}
 が指定可能です。
 @item 2
-@cindex message_traits:message_with_class
-@anchor{message_traits:message_with_class}
+@cindex message_traits:individual_suppression
+@anchor{message_traits:individual_suppression}
 @tab
-@code{message_with_class}
+@code{individual_suppression}
 @tab
 真偽値
 @tab
-@code{true} の場合、@ref{Message File, メッセージファイル}に出力するメッセージ
-レコードに、ソースコード検査パッケージ名、カテゴリ、深刻度のフィールドを追加し
-ます。
-@item 3
-@cindex message_traits:
-@anchor{message_traits:warn_files_in}
-@tab
-@code{warn_files_in}
-@tab
-文字列の配列
-@tab
-@b{AdLint 2.6.14 では、この項目による設定は未サポートです。}
+解析対象ファイル内の @ref{Source Code Annotation, ソースコード注釈} による警告メッセージの抑止機能を有効化します。
 
-ディレクトリパス名を指定した場合は、そのディレクトリ配下のソースコードについて
-のみ、警告メッセージを出力します。
-省略した場合は、システムヘッダやサードパーティーライブラリのヘッダなど、解析対
-象ソースコードがインクルードする全てのファイルについて、警告メッセージを出力し
-ます。
-@item 4
-@cindex message_traits:
-@anchor{message_traits:warn_files_not_in}
-@tab
-@code{warn_files_not_in}
-@tab
-文字列の配列
-@tab
-@b{AdLint 2.6.14 では、この項目による設定は未サポートです。}
-
-ディレクトリパス名を指定した場合は、そのディレクトリ配下のソースコードについて
-は、警告メッセージを抑止します。
-@item 5
-@cindex message_traits:individual_selection
-@anchor{message_traits:individual_selection}
-@tab
-@code{individual_selection}
-@tab
-真偽値
-@tab
-@b{AdLint 2.6.14 では、この項目による設定は未サポートです。}
-
-解析対象ソースコード内の注釈によるコードチェックの選択機能を有効化します。
-
-@code{true} の場合、注釈によるコードチェックの選択が可能になります。
-@item 6
+@code{true} の場合、注釈によるメッセージ抑止が可能になります。
+@item 3
 @cindex message_traits:exclusion:categories
 @anchor{message_traits:exclusion:categories}
 @tab
@@ -1504,12 +1491,10 @@ extension_substitution:
 @tab
 文字列の配列
 @tab
-@b{AdLint 2.6.14 では、この項目による設定は未サポートです。}
-
 @ref{global_traits:exam_packages, exam_packages} で指定したソースコード検査パッ
 ケージ中のコードチェック機能で、実行を除外するものをメッセージのカテゴリにより
 指定します。
-@item 7
+@item 4
 @cindex message_traits:exclusion:severities
 @anchor{message_traits:exclusion:severities}
 @tab
@@ -1517,12 +1502,10 @@ extension_substitution:
 @tab
 正規表現を表す文字列
 @tab
-@b{AdLint 2.6.14 では、この項目による設定は未サポートです。}
-
 @ref{global_traits:exam_packages, exam_packages} で指定したソースコード検査パッ
 ケージ中のコードチェック機能で、実行を除外するものをメッセージの深刻度により指
 定します。
-@item 8
+@item 5
 @cindex message_traits:exclusion:messages
 @anchor{message_traits:exclusion:messages}
 @tab
@@ -1530,8 +1513,6 @@ extension_substitution:
 @tab
 メッセージ ID と文字列のマップ
 @tab
-@b{AdLint 2.6.14 では、この項目による設定は未サポートです。}
-
 @ref{global_traits:exam_packages, exam_packages} で指定したソースコード検査パッ
 ケージ中のコードチェック機能で、実行を除外するものをメッセージ ID により指定し
 ます。
@@ -1539,7 +1520,7 @@ extension_substitution:
 メッセージ ID は、ソースコード検査パッケージをまたいでユニークではない場合があ
 るため、文字列として該当するメッセージ ID が含まれるソースコード検査パッケージ
 名も指定してください。
-@item 9
+@item 6
 @cindex message_traits:inclusion:messages
 @anchor{message_traits:inclusion:messages}
 @tab
@@ -1547,15 +1528,13 @@ extension_substitution:
 @tab
 メッセージ ID と文字列のマップ
 @tab
-@b{AdLint 2.6.14 では、この項目による設定は未サポートです。}
-
 @code{exclusion} セクションの設定内容により除外しましたが、メッセージ ID 指定で
 特定のコードチェック機能を含める場合に指定します。
 
 例えば、@ref{message_traits:exclusion:categories, exclusion:categories} でカテ
 ゴリ指定により除外したコードチェック機能群のうち、特定のもののみを実行したい場
 合を想定した項目です。
-@item 10
+@item 7
 @cindex message_traits:change_list
 @anchor{message_traits:change_list}
 @tab
@@ -1582,6 +1561,7 @@ change_list:
 
 @node Message Definition
 @section メッセージ定義ファイル
+
 AdLint が出力する全てのエラー、警告メッセージを @uref{http://yaml.org/, YAML 形
 式}の設定ファイルに記述します。
 通常、このファイルは直接編集することはありません。
@@ -1589,6 +1569,81 @@ AdLint が出力する全てのエラー、警告メッセージを @uref{http:/
 @code{change_list}} 項目で変更内容を指定してください。
 
 
+@node Source Code Annotation
+@section ソースコード注釈
+
+解析対象のソースコード中にコメントとして、AdLint の解析動作を制御するための注釈
+を記述することができます。
+
+@subsection 警告メッセージ抑止注釈
+
+通常のコメントに @code{ADLINT:SF} で始まる注釈を含めることで、該当ファイルの解
+析時に指定した警告メッセージを抑止することができます。
+また、@code{ADLINT:SL} で始まる注釈を含めると、該当行の解析時に指定した警告メッ
+セージを抑止することができます。
+
+注釈の書式、および、使用例を下記に示します。
+
+@subheading @bullet{ 共通定義}
+@example
+@anchor{message_specifier_list}
+message_specifier_list : @ref{qualified_message_specifier}
+                       | @ref{unqualified_message_specifier}
+                       | @ref{message_specifier_list} @ref{qualified_message_specifier}
+                       | @ref{message_specifier_list} @ref{unqualified_message_specifier}
+
+@anchor{qualified_message_specifier}
+qualified_message_specifier : ':' @ref{package_name} @ref{unqualified_message_specifier}
+
+@anchor{unqualified_message_specifier}
+unqualified_message_specifier : ':' '[' @ref{message_name_list} ']'
+
+@anchor{message_name_list}
+message_name_list : @ref{message_name}
+                  | @ref{message_name_list} ',' @ref{message_name}
+
+@anchor{message_name}
+message_name : 'W' [0-9]@{4@}
+
+@anchor{package_name}
+package_name : 特性ファイルの @ref{global_traits:exam_packages, @code{exam_packages}} に指定した文字列
+@end example
+
+@subheading @bullet{ ファイル毎の警告メッセージ抑止注釈}
+@example
+@anchor{file_wise_suppressor_annotation}
+file_wise_suppressor_annotation : "/*" @ref{file_wise_suppressor_head} @ref{message_specifier_list} "*/"
+                                | "//" @ref{file_wise_suppressor_head} @ref{message_specifier_list}
+
+@anchor{file_wise_suppressor_head}
+file_wise_suppressor_head : "ADLINT:SF"
+@end example
+
+@subheading @bullet{ 行毎の警告メッセージ抑止注釈}
+@example
+@anchor{line_wise_suppressor_annotation}
+line_wise_suppressor_annotation : "/*" @ref{line_wise_suppressor_head} @ref{message_specifier_list} "*/"
+                                | "//" @ref{line_wise_suppressor_head} @ref{message_specifier_list}
+
+@anchor{line_wise_suppressor_head}
+line_wise_suppressor_head : "ADLINT:SL"
+@end example
+
+@subheading @bullet{ サンプルコード}
+@verbatim
+/* ADLINT:SF:[W0001,W0002] (to suppress W0001 and W0002 of all exam-packages in this file.) */
+#include <stdio.h>
+
+extern int i; /* ADLINT:SL:[W0003] (to suppress W0003 of all exam-packages only at this line.) */
+extern int j; /* ADLINT:SL:c_staging:[W2001] (to suppress W2001 of `c_staging' exam-package only at this line.) */
+
+void foo(void)
+{
+    printf("%d\n", i + j);
+}
+@end verbatim
+
+
 @node Output
 @chapter 出力仕様
 
@@ -1726,6 +1781,11 @@ function_scope_type
   : 'F'  <- File
   | 'B'  <- Block
 
+@anchor{function_declaration_type}
+function_declaration_type
+  : 'E'  <- Explicit
+  | 'I'  <- Implicit
+
 @anchor{type_name}
 type_name : c_identifier
 
@@ -1800,7 +1860,7 @@ metrics_version_head : "VER"
 @end example
 
 @anchor{Output_Metrics_Ver_Sample}
-@subheading @bullet{} 出力例
+@subheading @bullet{ 出力例}
 @example
 VER,0.6.4,2012-02-16 14:10:59 +0900,/home/yanoh/intro_demo
 @end example
@@ -1819,7 +1879,7 @@ declaration_record
 declaration_head : "DCL"
 @end example
 
-@subheading @bullet{} 型宣言レコード
+@subheading @bullet{ 型宣言レコード}
 @example
 @anchor{typedcl_record_body}
 typedcl_record_body
@@ -1833,22 +1893,22 @@ typedcl_type
   | 'E'  <- enum
 @end example
 
-@subheading @bullet{} 外部変数宣言レコード
+@subheading @bullet{ 外部変数宣言レコード}
 @example
 @anchor{gvardcl_record_body}
 gvardcl_record_body
   : 'V' ',' @ref{variable_name} ',' @ref{type_rep}
 @end example
 
-@subheading @bullet{} 関数宣言レコード
+@subheading @bullet{ 関数宣言レコード}
 @example
 @anchor{funcdcl_record_body}
 funcdcl_record_body
-  : 'F' ',' @ref{function_linkage_type} ',' @ref{function_scope_type} ',' @ref{function_identifier}
+  : 'F' ',' @ref{function_linkage_type} ',' @ref{function_scope_type} ',' @ref{function_declaration_type} ',' @ref{function_identifier}
 @end example
 
 @anchor{Output_Metrics_Dcl_Sample}
-@subheading @bullet{} 出力例
+@subheading @bullet{ 出力例}
 @verbatim
  1: typedef int *int_ptr;
  2:
@@ -1879,7 +1939,7 @@ DCL,test.c,3,8,T,S,Foo,struct Foo @{ int i; long l; @}
 DCL,test.c,8,7,T,U,Bar,union Bar @{ int i; char c; @}
 DCL,test.c,13,6,T,E,Color,"enum Color @{ RED = 1, GREEN, BLUE @}"
 DCL,test.c,19,12,V,global_1,int
-DCL,test.c,21,12,F,X,F,foo,int foo(long)
+DCL,test.c,21,12,F,X,F,E,foo,int foo(long)
 @end example
 
 @anchor{Output_Metrics_Def}
@@ -1897,20 +1957,20 @@ definition_record
 definition_head : "DEF"
 @end example
 
-@subheading @bullet{} 変数定義レコード
+@subheading @bullet{ 変数定義レコード}
 @example
 @anchor{vardef_record_body}
 vardef_record_body
-  : 'V' ',' @ref{var_linkage_type} ',' @ref{var_scope_type} ',' @ref{storage_class_type} ',' @ref{variable_name} ',' @ref{type_rep}
+  : 'V' ',' @ref{variable_linkage_type} ',' @ref{variable_scope_type} ',' @ref{storage_class_type} ',' @ref{variable_name} ',' @ref{type_rep}
 
-@anchor{var_linkage_type}
-var_linkage_type
+@anchor{variable_linkage_type}
+variable_linkage_type
   : 'I'  <- Internal
   | 'X'  <- eXternal
   | 'N'  <- None
 
-@anchor{var_scope_type}
-var_scope_type
+@anchor{variable_scope_type}
+variable_scope_type
   : 'F'  <- File
   | 'B'  <- Block
   | 'P'  <- Parameter
@@ -1923,14 +1983,14 @@ storage_class_type
   | 'N'  <- None
 @end example
 
-@subheading @bullet{} 関数定義レコード
+@subheading @bullet{ 関数定義レコード}
 @example
 @anchor{fundef_record_body}
 fundef_record_body
   : 'F' ',' @ref{function_linkage_type} ',' @ref{function_scope_type} ',' @ref{function_identifier} ',' @ref{lines}
 @end example
 
-@subheading @bullet{} マクロ定義レコード
+@subheading @bullet{ マクロ定義レコード}
 @example
 @anchor{macrodef_record_body}
 macrodef_record_body
@@ -1942,7 +2002,7 @@ macro_form_type
   | 'F'  <- Function
 @end example
 
-@subheading @bullet{} ラベル定義レコード
+@subheading @bullet{ ラベル定義レコード}
 @example
 @anchor{labeldef_record_body}
 labeldef_record_body
@@ -1953,7 +2013,7 @@ label_name : c_identifier
 @end example
 
 @anchor{Output_Metrics_Def_Sample}
-@subheading @bullet{} 出力例
+@subheading @bullet{ 出力例}
 @verbatim
  1: int global_1;
  2: struct { int i; long l; } global_2;
@@ -2009,7 +2069,7 @@ initialization_head : "INI"
 @end example
 
 @anchor{Output_Metrics_Ini_Sample}
-@subheading @bullet{} 出力例
+@subheading @bullet{ 出力例}
 @verbatim
 1: int global_1 = 1;
 2:
@@ -2041,7 +2101,7 @@ assignment_head : "ASN"
 @end example
 
 @anchor{Output_Metrics_Asn_Sample}
-@subheading @bullet{} 出力例
+@subheading @bullet{ 出力例}
 @verbatim
  1: int main(void)
  2: {
@@ -2076,7 +2136,7 @@ dependency_record
 dependency_head : "DEP"
 @end example
 
-@subheading @bullet{} インクルードレコード
+@subheading @bullet{ インクルードレコード}
 @example
 @anchor{include_record_body}
 include_record_body
@@ -2086,7 +2146,7 @@ include_record_body
 included_fpath : '<' @ref{file_path} '>' | '"' @ref{file_path} '"'
 @end example
 
-@subheading @bullet{} 呼び出しレコード
+@subheading @bullet{ 呼び出しレコード}
 @example
 @anchor{call_record_body}
 call_record_body
@@ -2099,7 +2159,7 @@ caller_function : @ref{function_identifier}
 callee_function : @ref{function_identifier}
 @end example
 
-@subheading @bullet{} 外部参照レコード
+@subheading @bullet{ 外部参照レコード}
 @example
 @anchor{xref_record_body}
 xref_record_body
@@ -2128,7 +2188,7 @@ accessee_function : @ref{function_identifier}
 @end example
 
 @anchor{Output_Metrics_Dep_Sample}
-@subheading @bullet{} 出力例
+@subheading @bullet{ 出力例}
 @verbatim
  1: #include <stdio.h>
  2: #include "test.h"
@@ -2187,20 +2247,20 @@ literal_type
 @anchor{literal_prefix}
 literal_prefix
   :
-  | 'l'
-  | 'L'
+  | 'l'  | 'L'
+  | '0'
+  | '0x' | '0X'
+  | '0b' | '0B'
 
 @anchor{literal_suffix}
 literal_suffix
   :
-  | 'u'
-  | 'U'
-  | 'l'
-  | 'L'
-  | 'll'
-  | 'LL'
-  | 'f'
-  | 'F'
+  | 'u'   | 'U'
+  | 'l'   | 'L'
+  | 'ul'  | 'Ul'  | 'uL'  | 'UL'
+  | 'ull' | 'Ull' | 'uLL' | 'ULL'
+  | 'll'  | 'LL'
+  | 'f'   | 'F'
 
 @anchor{literal_value}
 literal_value
@@ -2209,7 +2269,7 @@ literal_value
 @end example
 
 @anchor{Output_Metrics_Lit_Sample}
-@subheading @bullet{} 出力例
+@subheading @bullet{ 出力例}
 @verbatim
 1: unsigned int i = 0xFFU;
 2:
@@ -2255,7 +2315,7 @@ pp_directive
 @end example
 
 @anchor{Output_Metrics_Pre_Sample}
-@subheading @bullet{} 出力例
+@subheading @bullet{ 出力例}
 @verbatim
  1: #pragma once
  2:
@@ -2331,7 +2391,7 @@ metric_value : 整数値
 @anchor{message_file}
 message_file
   : @ref{message_version_record}
-  | @ref{message_version_record} @ref{message_list}
+  | @ref{message_version_record} @ref{new_line} @ref{message_list}
 
 @anchor{message_version_record}
 message_version_record
@@ -2349,34 +2409,25 @@ error_record
   : @ref{error_line} @ref{new_line} @ref{context_line_list}
 
 @anchor{error_line}
-error_line (in case of @ref{message_traits:message_with_class, message_with_class} == true)
+error_line
   : 'E' ',' @ref{file_path} ',' @ref{line_no} ',' @ref{column_no} ',' @ref{exam_package_name} ',' @ref{message_id} ',' @ref{message_category} ',' @ref{message_severity} ',' @ref{message_text}
 
-error_line (in case of @ref{message_traits:message_with_class, message_with_class} != true)
-  : 'E' ',' @ref{file_path} ',' @ref{line_no} ',' @ref{column_no} ',' @ref{message_id} ',' @ref{message_text}
-
 @anchor{warning_record}
 warning_record
   : @ref{warning_line} @ref{new_line} @ref{context_line_list}
 
 @anchor{warning_line}
-warning_line (in case of @ref{message_traits:message_with_class, message_with_class} == true)
+warning_line
   : 'W' ',' @ref{file_path} ',' @ref{line_no} ',' @ref{column_no} ',' @ref{exam_package_name} ',' @ref{message_id} ',' @ref{message_category} ',' @ref{message_severity} ',' @ref{message_text}
 
-warning_line (in case of @ref{message_traits:message_with_class, message_with_class} != true)
-  : 'W' ',' @ref{file_path} ',' @ref{line_no} ',' @ref{column_no} ',' @ref{message_id} ',' @ref{message_text}
-
 @anchor{context_line_list}
 context_line_list
   :
   | @ref{context_line} @ref{new_line} @ref{context_line_list}
 
 @anchor{context_line}
-context_line (in case of @ref{message_traits:message_with_class, message_with_class} == true)
+context_line
   : 'C' ',' @ref{file_path} ',' @ref{line_no} ',' @ref{column_no} ',' @ref{exam_package_name} ',' @ref{message_id} ',' @ref{message_category} ',' @ref{message_severity} ',' @ref{message_text}
-
-context_line (in case of @ref{message_traits:message_with_class, message_with_class} != true)
-  : 'C' ',' @ref{file_path} ',' @ref{line_no} ',' @ref{column_no} ',' @ref{message_id} ',' @ref{message_text}
 @end example
 
 
@@ -3108,9 +3159,9 @@ context_line (in case of @ref{message_traits:message_with_class, message_with_cl
 * W1058::戻り値が列挙型の関数から、異なる列挙型のオブジェクトが返されています。
 * W1059::仮引数が列挙型でない関数の実引数に列挙型が渡されています。
 * W1060::戻り値が列挙型でない関数から、列挙型が返されています。
-* W1061::仮引数が列挙型である関数の実引数に列挙型でない非定数式が渡されています。
-* W1062::非定数式が列挙型オブジェクトに代入されています。
-* W1063::戻り値が列挙型の関数から、非定数式が返されています。
+* W1061::仮引数が列挙型である関数の実引数に異なる型の非定数式の値が渡されています。
+* W1062::異なる型の非定数式の値が列挙型オブジェクトに代入されています。
+* W1063::戻り値が列挙型の関数から、異なる型の非定数式の値が返されています。
 * W1064::列挙型の制御式が使われている switch 文で、整数定数が case ラベルに使われています。
 * W1065::列挙型の制御式が使われている switch 文で、異なる列挙型の値が case ラベルに使われています。
 * W1066::明示的に float 型の複合式の値を double 型に変換しています。
@@ -34621,9 +34672,9 @@ void func2(void)
 @item @ref{W1058} 戻り値が列挙型の関数から、異なる列挙型のオブジェクトが返されています。
 @item @ref{W1059} 仮引数が列挙型でない関数の実引数に列挙型が渡されています。
 @item @ref{W1060} 戻り値が列挙型でない関数から、列挙型が返されています。
-@item @ref{W1061} 仮引数が列挙型である関数の実引数に列挙型でない非定数式が渡されています。
-@item @ref{W1062} 非定数式が列挙型オブジェクトに代入されています。
-@item @ref{W1063} 戻り値が列挙型の関数から、非定数式が返されています。
+@item @ref{W1061} 仮引数が列挙型である関数の実引数に異なる型の非定数式の値が渡されています。
+@item @ref{W1062} 異なる型の非定数式の値が列挙型オブジェクトに代入されています。
+@item @ref{W1063} 戻り値が列挙型の関数から、異なる型の非定数式の値が返されています。
 @item @ref{W1064} 列挙型の制御式が使われている switch 文で、整数定数が case ラベルに使われています。
 @item @ref{W1065} 列挙型の制御式が使われている switch 文で、異なる列挙型の値が case ラベルに使われています。
 @end itemize
@@ -34667,9 +34718,9 @@ void func2(void)
 @item @ref{W1058} 戻り値が列挙型の関数から、異なる列挙型のオブジェクトが返されています。
 @item @ref{W1059} 仮引数が列挙型でない関数の実引数に列挙型が渡されています。
 @item @ref{W1060} 戻り値が列挙型でない関数から、列挙型が返されています。
-@item @ref{W1061} 仮引数が列挙型である関数の実引数に列挙型でない非定数式が渡されています。
-@item @ref{W1062} 非定数式が列挙型オブジェクトに代入されています。
-@item @ref{W1063} 戻り値が列挙型の関数から、非定数式が返されています。
+@item @ref{W1061} 仮引数が列挙型である関数の実引数に異なる型の非定数式の値が渡されています。
+@item @ref{W1062} 異なる型の非定数式の値が列挙型オブジェクトに代入されています。
+@item @ref{W1063} 戻り値が列挙型の関数から、異なる型の非定数式の値が返されています。
 @item @ref{W1064} 列挙型の制御式が使われている switch 文で、整数定数が case ラベルに使われています。
 @item @ref{W1065} 列挙型の制御式が使われている switch 文で、異なる列挙型の値が case ラベルに使われています。
 @end itemize
@@ -34711,9 +34762,9 @@ enum Color func(void)
 @item @ref{W1058} 戻り値が列挙型の関数から、異なる列挙型のオブジェクトが返されています。
 @item @ref{W1059} 仮引数が列挙型でない関数の実引数に列挙型が渡されています。
 @item @ref{W1060} 戻り値が列挙型でない関数から、列挙型が返されています。
-@item @ref{W1061} 仮引数が列挙型である関数の実引数に列挙型でない非定数式が渡されています。
-@item @ref{W1062} 非定数式が列挙型オブジェクトに代入されています。
-@item @ref{W1063} 戻り値が列挙型の関数から、非定数式が返されています。
+@item @ref{W1061} 仮引数が列挙型である関数の実引数に異なる型の非定数式の値が渡されています。
+@item @ref{W1062} 異なる型の非定数式の値が列挙型オブジェクトに代入されています。
+@item @ref{W1063} 戻り値が列挙型の関数から、異なる型の非定数式の値が返されています。
 @item @ref{W1064} 列挙型の制御式が使われている switch 文で、整数定数が case ラベルに使われています。
 @item @ref{W1065} 列挙型の制御式が使われている switch 文で、異なる列挙型の値が case ラベルに使われています。
 @end itemize
@@ -34758,9 +34809,9 @@ void func2(enum Season ssn)
 @item @ref{W1058} 戻り値が列挙型の関数から、異なる列挙型のオブジェクトが返されています。
 @item @ref{W1059} 仮引数が列挙型でない関数の実引数に列挙型が渡されています。
 @item @ref{W1060} 戻り値が列挙型でない関数から、列挙型が返されています。
-@item @ref{W1061} 仮引数が列挙型である関数の実引数に列挙型でない非定数式が渡されています。
-@item @ref{W1062} 非定数式が列挙型オブジェクトに代入されています。
-@item @ref{W1063} 戻り値が列挙型の関数から、非定数式が返されています。
+@item @ref{W1061} 仮引数が列挙型である関数の実引数に異なる型の非定数式の値が渡されています。
+@item @ref{W1062} 異なる型の非定数式の値が列挙型オブジェクトに代入されています。
+@item @ref{W1063} 戻り値が列挙型の関数から、異なる型の非定数式の値が返されています。
 @item @ref{W1064} 列挙型の制御式が使われている switch 文で、整数定数が case ラベルに使われています。
 @item @ref{W1065} 列挙型の制御式が使われている switch 文で、異なる列挙型の値が case ラベルに使われています。
 @end itemize
@@ -34805,9 +34856,9 @@ void func(enum Season ssn)
 @item @ref{W1058} 戻り値が列挙型の関数から、異なる列挙型のオブジェクトが返されています。
 @item @ref{W1059} 仮引数が列挙型でない関数の実引数に列挙型が渡されています。
 @item @ref{W1060} 戻り値が列挙型でない関数から、列挙型が返されています。
-@item @ref{W1061} 仮引数が列挙型である関数の実引数に列挙型でない非定数式が渡されています。
-@item @ref{W1062} 非定数式が列挙型オブジェクトに代入されています。
-@item @ref{W1063} 戻り値が列挙型の関数から、非定数式が返されています。
+@item @ref{W1061} 仮引数が列挙型である関数の実引数に異なる型の非定数式の値が渡されています。
+@item @ref{W1062} 異なる型の非定数式の値が列挙型オブジェクトに代入されています。
+@item @ref{W1063} 戻り値が列挙型の関数から、異なる型の非定数式の値が返されています。
 @item @ref{W1064} 列挙型の制御式が使われている switch 文で、整数定数が case ラベルに使われています。
 @item @ref{W1065} 列挙型の制御式が使われている switch 文で、異なる列挙型の値が case ラベルに使われています。
 @end itemize
@@ -34850,9 +34901,9 @@ enum Color func(enum Season ssn)
 @item @ref{W1057} 列挙型に、異なる列挙型のオブジェクトが代入されています。
 @item @ref{W1059} 仮引数が列挙型でない関数の実引数に列挙型が渡されています。
 @item @ref{W1060} 戻り値が列挙型でない関数から、列挙型が返されています。
-@item @ref{W1061} 仮引数が列挙型である関数の実引数に列挙型でない非定数式が渡されています。
-@item @ref{W1062} 非定数式が列挙型オブジェクトに代入されています。
-@item @ref{W1063} 戻り値が列挙型の関数から、非定数式が返されています。
+@item @ref{W1061} 仮引数が列挙型である関数の実引数に異なる型の非定数式の値が渡されています。
+@item @ref{W1062} 異なる型の非定数式の値が列挙型オブジェクトに代入されています。
+@item @ref{W1063} 戻り値が列挙型の関数から、異なる型の非定数式の値が返されています。
 @item @ref{W1064} 列挙型の制御式が使われている switch 文で、整数定数が case ラベルに使われています。
 @item @ref{W1065} 列挙型の制御式が使われている switch 文で、異なる列挙型の値が case ラベルに使われています。
 @end itemize
@@ -34896,9 +34947,9 @@ void func2(enum Color col)
 @item @ref{W1057} 列挙型に、異なる列挙型のオブジェクトが代入されています。
 @item @ref{W1058} 戻り値が列挙型の関数から、異なる列挙型のオブジェクトが返されています。
 @item @ref{W1060} 戻り値が列挙型でない関数から、列挙型が返されています。
-@item @ref{W1061} 仮引数が列挙型である関数の実引数に列挙型でない非定数式が渡されています。
-@item @ref{W1062} 非定数式が列挙型オブジェクトに代入されています。
-@item @ref{W1063} 戻り値が列挙型の関数から、非定数式が返されています。
+@item @ref{W1061} 仮引数が列挙型である関数の実引数に異なる型の非定数式の値が渡されています。
+@item @ref{W1062} 異なる型の非定数式の値が列挙型オブジェクトに代入されています。
+@item @ref{W1063} 戻り値が列挙型の関数から、異なる型の非定数式の値が返されています。
 @item @ref{W1064} 列挙型の制御式が使われている switch 文で、整数定数が case ラベルに使われています。
 @item @ref{W1065} 列挙型の制御式が使われている switch 文で、異なる列挙型の値が case ラベルに使われています。
 @end itemize
@@ -34940,9 +34991,9 @@ int func2(enum Color col)
 @item @ref{W1057} 列挙型に、異なる列挙型のオブジェクトが代入されています。
 @item @ref{W1058} 戻り値が列挙型の関数から、異なる列挙型のオブジェクトが返されています。
 @item @ref{W1059} 仮引数が列挙型でない関数の実引数に列挙型が渡されています。
-@item @ref{W1061} 仮引数が列挙型である関数の実引数に列挙型でない非定数式が渡されています。
-@item @ref{W1062} 非定数式が列挙型オブジェクトに代入されています。
-@item @ref{W1063} 戻り値が列挙型の関数から、非定数式が返されています。
+@item @ref{W1061} 仮引数が列挙型である関数の実引数に異なる型の非定数式の値が渡されています。
+@item @ref{W1062} 異なる型の非定数式の値が列挙型オブジェクトに代入されています。
+@item @ref{W1063} 戻り値が列挙型の関数から、異なる型の非定数式の値が返されています。
 @item @ref{W1064} 列挙型の制御式が使われている switch 文で、整数定数が case ラベルに使われています。
 @item @ref{W1065} 列挙型の制御式が使われている switch 文で、異なる列挙型の値が case ラベルに使われています。
 @end itemize
@@ -34957,7 +35008,7 @@ int func2(enum Color col)
 
 @subsection メッセージ本文
 
-仮引数が列挙型である関数の実引数に列挙型でない非定数式が渡されています。
+仮引数が列挙型である関数の実引数に異なる型の非定数式の値が渡されています。
 
 @subsection 内容
 
@@ -34987,8 +35038,8 @@ void func2(int num)
 @item @ref{W1058} 戻り値が列挙型の関数から、異なる列挙型のオブジェクトが返されています。
 @item @ref{W1059} 仮引数が列挙型でない関数の実引数に列挙型が渡されています。
 @item @ref{W1060} 戻り値が列挙型でない関数から、列挙型が返されています。
-@item @ref{W1062} 非定数式が列挙型オブジェクトに代入されています。
-@item @ref{W1063} 戻り値が列挙型の関数から、非定数式が返されています。
+@item @ref{W1062} 異なる型の非定数式の値が列挙型オブジェクトに代入されています。
+@item @ref{W1063} 戻り値が列挙型の関数から、異なる型の非定数式の値が返されています。
 @item @ref{W1064} 列挙型の制御式が使われている switch 文で、整数定数が case ラベルに使われています。
 @item @ref{W1065} 列挙型の制御式が使われている switch 文で、異なる列挙型の値が case ラベルに使われています。
 @end itemize
@@ -35003,7 +35054,7 @@ void func2(int num)
 
 @subsection メッセージ本文
 
-非定数式が列挙型オブジェクトに代入されています。
+異なる型の非定数式の値が列挙型オブジェクトに代入されています。
 
 @subsection 内容
 
@@ -35033,8 +35084,8 @@ void func(int num)
 @item @ref{W1058} 戻り値が列挙型の関数から、異なる列挙型のオブジェクトが返されています。
 @item @ref{W1059} 仮引数が列挙型でない関数の実引数に列挙型が渡されています。
 @item @ref{W1060} 戻り値が列挙型でない関数から、列挙型が返されています。
-@item @ref{W1061} 仮引数が列挙型である関数の実引数に列挙型でない非定数式が渡されています。
-@item @ref{W1063} 戻り値が列挙型の関数から、非定数式が返されています。
+@item @ref{W1061} 仮引数が列挙型である関数の実引数に異なる型の非定数式の値が渡されています。
+@item @ref{W1063} 戻り値が列挙型の関数から、異なる型の非定数式の値が返されています。
 @item @ref{W1064} 列挙型の制御式が使われている switch 文で、整数定数が case ラベルに使われています。
 @item @ref{W1065} 列挙型の制御式が使われている switch 文で、異なる列挙型の値が case ラベルに使われています。
 @end itemize
@@ -35049,7 +35100,7 @@ void func(int num)
 
 @subsection メッセージ本文
 
-戻り値が列挙型の関数から、非定数式が返されています。
+戻り値が列挙型の関数から、異なる型の非定数式の値が返されています。
 
 @subsection 内容
 
@@ -35077,8 +35128,8 @@ enum Color func(int num)
 @item @ref{W1058} 戻り値が列挙型の関数から、異なる列挙型のオブジェクトが返されています。
 @item @ref{W1059} 仮引数が列挙型でない関数の実引数に列挙型が渡されています。
 @item @ref{W1060} 戻り値が列挙型でない関数から、列挙型が返されています。
-@item @ref{W1061} 仮引数が列挙型である関数の実引数に列挙型でない非定数式が渡されています。
-@item @ref{W1062} 非定数式が列挙型オブジェクトに代入されています。
+@item @ref{W1061} 仮引数が列挙型である関数の実引数に異なる型の非定数式の値が渡されています。
+@item @ref{W1062} 異なる型の非定数式の値が列挙型オブジェクトに代入されています。
 @item @ref{W1064} 列挙型の制御式が使われている switch 文で、整数定数が case ラベルに使われています。
 @item @ref{W1065} 列挙型の制御式が使われている switch 文で、異なる列挙型の値が case ラベルに使われています。
 @end itemize
@@ -35128,9 +35179,9 @@ int func(enum Color c)
 @item @ref{W1058} 戻り値が列挙型の関数から、異なる列挙型のオブジェクトが返されています。
 @item @ref{W1059} 仮引数が列挙型でない関数の実引数に列挙型が渡されています。
 @item @ref{W1060} 戻り値が列挙型でない関数から、列挙型が返されています。
-@item @ref{W1061} 仮引数が列挙型である関数の実引数に列挙型でない非定数式が渡されています。
-@item @ref{W1062} 非定数式が列挙型オブジェクトに代入されています。
-@item @ref{W1063} 戻り値が列挙型の関数から、非定数式が返されています。
+@item @ref{W1061} 仮引数が列挙型である関数の実引数に異なる型の非定数式の値が渡されています。
+@item @ref{W1062} 異なる型の非定数式の値が列挙型オブジェクトに代入されています。
+@item @ref{W1063} 戻り値が列挙型の関数から、異なる型の非定数式の値が返されています。
 @item @ref{W1065} 列挙型の制御式が使われている switch 文で、異なる列挙型の値が case ラベルに使われています。
 @end itemize
 
@@ -35180,9 +35231,9 @@ int func(enum Color c)
 @item @ref{W1058} 戻り値が列挙型の関数から、異なる列挙型のオブジェクトが返されています。
 @item @ref{W1059} 仮引数が列挙型でない関数の実引数に列挙型が渡されています。
 @item @ref{W1060} 戻り値が列挙型でない関数から、列挙型が返されています。
-@item @ref{W1061} 仮引数が列挙型である関数の実引数に列挙型でない非定数式が渡されています。
-@item @ref{W1062} 非定数式が列挙型オブジェクトに代入されています。
-@item @ref{W1063} 戻り値が列挙型の関数から、非定数式が返されています。
+@item @ref{W1061} 仮引数が列挙型である関数の実引数に異なる型の非定数式の値が渡されています。
+@item @ref{W1062} 異なる型の非定数式の値が列挙型オブジェクトに代入されています。
+@item @ref{W1063} 戻り値が列挙型の関数から、異なる型の非定数式の値が返されています。
 @item @ref{W1064} 列挙型の制御式が使われている switch 文で、整数定数が case ラベルに使われています。
 @end itemize