Predicate Monitors::getNodeToBeDominated
Gets the control flow node that must dominate e when e is synchronized on a lock.
Import path
import semmle.code.java.ConcurrencyGets the control flow node that must dominate e when e is synchronized on a lock.
import semmle.code.java.Concurrency