Predicate Monitors::locallyLockedOn
Holds if e is synchronized on the Lock lock by a locking call.
Import path
import semmle.code.java.Concurrencypredicate locallyLockedOn(Expr e, LockField lock)Holds if e is synchronized on the Lock lock by a locking call.
import semmle.code.java.Concurrencypredicate locallyLockedOn(Expr e, LockField lock)