members

members は以下の構文を持っています。

members struct_tag

指定されたタグを持つ struct のメンバーを 1 行につき 1 つずつリストします。タグが割り当てられていない struct の場合、ファイル名@行番号という形式が使用され (例：x.c@29)、ファイル名と行番号は struct 宣言におけるソース位置となります。

members は、ほかのロック lint サブコマンドに対する入力として利用する場合に特に便利です。たとえば、ロックが struct の全メンバーを保護していることをアサートしようと試みる場合、以下のコマンドで十分です。

% lock_lint assert foo::lock protects `lock_lint members foo`

members サブコマンドは、mutex_t、rwlock_t、krwlock_t、kmutex_t 型として定義された struct のいずれのフィールドもリストすることはありません。