Predicate LockOrder::getAReachableLockStmt

Gets a lock statement reachable from a callable.

LockStmt getAReachableLockStmt(Callable callable)