Searched refs:CapKind (Results 1 – 2 of 2) sorted by relevance
282 StringRef CapKind; variable288 CapKind(Kind) {} in CapabilityExpr()297 StringRef getKind() const { return CapKind; } in getKind()302 return CapabilityExpr(CapExpr.getPointer(), CapKind, !negative(),
315 SourceLocation Loc, StringRef CapKind);1230 SourceLocation Loc, StringRef CapKind) { in checkBeforeAfter() argument1257 Analyzer.Handler.handleLockAcquiredBefore(CapKind, L1, L2, Loc); in checkBeforeAfter()