885       Handler.handleMutexHeldEndOfScope(getKind(), toString(), loc(), JoinLoc,  in handleRemovalFromIntersection()
896       Handler.handleDoubleLock(entry.getKind(), entry.toString(), loc(),  in handleLock()
997                                           UnderlyingMutex.Cap.toString(), loc(),  in handleRemovalFromIntersection()
1050         Handler->handleDoubleLock(Cp.getKind(), Cp.toString(), Fact.loc(), loc);  in lock()
1076       Handler->handleUnmatchedUnlock(Cp.getKind(), Cp.toString(), loc, PrevLoc);  in unlock()
1335         Handler.handleNegativeNotHeld(Entry->getKind(), Entry->toString(),  in addLock()
1336                                       NegC.toString(), Entry->loc());  in addLock()
1368     Handler.handleUnmatchedUnlock(Cp.getKind(), Cp.toString(), UnlockLoc,  in removeLock()
1376     Handler.handleIncorrectUnlockKind(Cp.getKind(), Cp.toString(), LDat->kind(),  in removeLock()
1648                                     (!Cp).toString(), Loc);  in warnIfMutexNotHeld()
1660       Handler.handleNegativeNotHeld(D, Cp.toString(), Loc);  in warnIfMutexNotHeld()
1672       std::string PartMatchStr = LDat->toString();  in warnIfMutexNotHeld()
1674       Handler.handleMutexNotHeld(Cp.getKind(), D, POK, Cp.toString(), LK, Loc,  in warnIfMutexNotHeld()
1678       Handler.handleMutexNotHeld(Cp.getKind(), D, POK, Cp.toString(), LK, Loc);  in warnIfMutexNotHeld()
1684     Handler.handleMutexNotHeld(Cp.getKind(), D, POK, Cp.toString(), LK, Loc);  in warnIfMutexNotHeld()
1705                                   Cp.toString(), Loc);  in warnIfMutexHeld()
2028                                              Cp.toString(), LK_Exclusive,  in handleCall()
2037               Exp->getExprLoc(), D->getLocation(), Scope->toString(),  in handleCall()
2038               b.value().getKind(), b.value().toString());  in handleCall()
2041               Exp->getExprLoc(), D->getLocation(), Scope->toString(),  in handleCall()
2042               a.value().getKind(), a.value().toString());  in handleCall()
2045               Exp->getExprLoc(), D->getLocation(), Scope->toString(),  in handleCall()
2046               a.value().getKind(), a.value().toString(), b.value().toString());  in handleCall()
2333     Handler.handleMutexHeldEndOfScope(B.getKind(), B.toString(), B.loc(),  in join()
2348     Handler.handleExclusiveAndShared(B.getKind(), B.toString(), B.loc(),  in join()