Lines Matching defs:LK

129   FactEntry(FactEntryKind FK, const CapabilityExpr &CE, LockKind LK,
131       : CapabilityExpr(CE), Kind(FK), LKind(LK), Source(Src), AcquireLoc(Loc) {}
154   // Return true if LKind >= LK, where exclusive > shared
155   bool isAtLeast(LockKind LK) const {
156     return  (LKind == LK_Exclusive) || (LK == LK_Shared);
863   LockableFactEntry(const CapabilityExpr &CE, LockKind LK, SourceLocation Loc,
865       : FactEntry(Lockable, CE, LK, Loc, Src) {}
1618   LockKind LK = getLockKindFromAccessKind(AK);
1658       Handler.handleMutexNotHeld(Cp.getKind(), D, POK, Cp.toString(), LK, Loc,
1662       Handler.handleMutexNotHeld(Cp.getKind(), D, POK, Cp.toString(), LK, Loc);
1667   if (NoError && LDat && !LDat->isAtLeast(LK)) {
1668     Handler.handleMutexNotHeld(Cp.getKind(), D, POK, Cp.toString(), LK, Loc);