thirdson/jsr-305

A contrary for GuardedBy

Opened this issue · 0 comments

A new annotation would be nice to mark a piece of code for deadlock problems.

example:

@NeverBy("this")
Object canCauseDeadlock = ...

...
synchronized (this) {
   canCauseDealock...   // <-- Warning
}


https://github.com/google/error-prone/issues/366

Original issue reported on code.google.com by andr...@mager.eu on 25 Sep 2015 at 11:20