Reports accesses of fields declared as @GuardedBy that are not guarded by an appropriate synchronization structure.

Example:


    @GuardedBy("this")
    void x() {
        notify();
    }
    void y() {
        x(); // unguarded method call
    }

Supported @GuardedBy annotations are: