Predicate Monitors::locallyMonitors
Holds if the expression e is synchronized on the monitor m.
Import path
import semmle.code.java.Concurrencypredicate locallyMonitors(Expr e, Monitor m)Holds if the expression e is synchronized on the monitor m.
import semmle.code.java.Concurrencypredicate locallyMonitors(Expr e, Monitor m)