73 class CapExprSet : public SmallVector<CapabilityExpr, 4> {
76   void push_back_nodup(const CapabilityExpr &CapE) {  in push_back_nodup()
78                                [=](const CapabilityExpr &CapE2) {  in push_back_nodup()
97 class FactEntry : public CapabilityExpr {
105   FactEntry(const CapabilityExpr &CE, LockKind LK, SourceLocation Loc,  in FactEntry()
107       : CapabilityExpr(CE), LKind(LK), AcquireLoc(Loc), Asserted(Asrt),  in FactEntry()
124                             const CapabilityExpr &Cp, SourceLocation UnlockLoc,
196   bool removeLock(FactManager& FM, const CapabilityExpr &CapE) {  in removeLock()
215   iterator findLockIter(FactManager &FM, const CapabilityExpr &CapE) {  in findLockIter()
221   FactEntry *findLock(FactManager &FM, const CapabilityExpr &CapE) const {  in findLock()
228   FactEntry *findLockUniv(FactManager &FM, const CapabilityExpr &CapE) const {  in findLockUniv()
236                               const CapabilityExpr &CapE) const {  in findPartialMatch()
818   LockableFactEntry(const CapabilityExpr &CE, LockKind LK, SourceLocation Loc,  in LockableFactEntry()
833                     const CapabilityExpr &Cp, SourceLocation UnlockLoc,  in handleUnlock()
849   ScopedLockableFactEntry(const CapabilityExpr &CE, SourceLocation Loc,  in ScopedLockableFactEntry()
863       if (FSet.findLock(FactMan, CapabilityExpr(UnderlyingMutex, false))) {  in handleRemovalFromIntersection()
873                     const CapabilityExpr &Cp, SourceLocation UnlockLoc,  in handleUnlock()
878       CapabilityExpr UnderCp(UnderlyingMutex, false);  in handleUnlock()
926   bool inCurrentScope(const CapabilityExpr &CapE);
930   void removeLock(FactSet &FSet, const CapabilityExpr &CapE,
987           CapabilityExpr Cp =  in insertAttrExprs()
1003           CapabilityExpr Cp =  in insertAttrExprs()
1169 inline bool ThreadSafetyAnalyzer::inCurrentScope(const CapabilityExpr &CapE) {  in inCurrentScope()
1191     CapabilityExpr NegC = !*Entry;  in addLock()
1222 void ThreadSafetyAnalyzer::removeLock(FactSet &FSet, const CapabilityExpr &Cp,  in removeLock()
1255     CapabilityExpr Cp = SxBuilder.translateAttrExpr(nullptr, D, Exp, SelfDecl);  in getMutexIDs()
1267     CapabilityExpr Cp = SxBuilder.translateAttrExpr(Arg, D, Exp, SelfDecl);  in getMutexIDs()
1507   CapabilityExpr Cp = Analyzer->SxBuilder.translateAttrExpr(MutexExp, D, Exp);  in warnIfMutexNotHeld()
1566   CapabilityExpr Cp = Analyzer->SxBuilder.translateAttrExpr(MutexExp, D, Exp);  in warnIfMutexHeld()
1805     CapabilityExpr Scp = Analyzer->SxBuilder.translateAttrExpr(&DRE, nullptr);  in handleCall()