122   FactEntry(FactEntryKind FK, const CapabilityExpr &CE, LockKind LK,  in FactEntry()  argument
124       : CapabilityExpr(CE), Kind(FK), LKind(LK), Source(Src), AcquireLoc(Loc) {}  in FactEntry()
148   bool isAtLeast(LockKind LK) const {  in isAtLeast()
149     return  (LKind == LK_Exclusive) || (LK == LK_Shared);  in isAtLeast()
874   LockableFactEntry(const CapabilityExpr &CE, LockKind LK, SourceLocation Loc,  in LockableFactEntry()  argument
876       : FactEntry(Lockable, CE, LK, Loc, Src) {}  in LockableFactEntry()
1634   LockKind LK = getLockKindFromAccessKind(AK);  in warnIfMutexNotHeld()  local
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()
1683   if (NoError && LDat && !LDat->isAtLeast(LK)) {  in warnIfMutexNotHeld()
1684     Handler.handleMutexNotHeld(Cp.getKind(), D, POK, Cp.toString(), LK, Loc);  in warnIfMutexNotHeld()