不明なガード対象フィールドを指定している @GuardedBy アノテーションを報告します。

例:


    private Object state;

    @GuardedBy("lock") //ガードの参照先が不明
    public void bar() {
        state = new Object();
    }

サポート対象の @GuardedBy アノテーションは以下の通りです。