Predicate locallySynchronizedOnThis
Holds if e
is synchronized by a local synchronized statement on a this
of type thisType
, or by a synchronized
modifier on the enclosing (non-static) method.
Import path
import semmle.code.java.Concurrency
predicate locallySynchronizedOnThis(Expr e, RefType thisType)