Predicate locallySynchronizedOn
Holds if e is synchronized by a local synchronized statement sync on the variable v.
Import path
import semmle.code.java.Concurrencypredicate locallySynchronizedOn(Expr e, SynchronizedStmt sync, Variable v)Holds if e is synchronized by a local synchronized statement sync on the variable v.
import semmle.code.java.Concurrencypredicate locallySynchronizedOn(Expr e, SynchronizedStmt sync, Variable v)